runsolver Copyright (C) 2010 Olivier ROUSSEL This is runsolver version 3.2.9a (svn: 651) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201108241238/gj-trendy-solver-1.0/e599f3fc-360e-11e0-986e-00163e3d3b7c.cudf.dudf-real.log.runsolver ./gj-trendy-solver-1.0 /home/misc2010/data/2011/dudf-real//e599f3fc-360e-11e0-986e-00163e3d3b7c.cudf /home/misc2010/tmp/201108241238/gj-trendy-solver-1.0/e599f3fc-360e-11e0-986e-00163e3d3b7c.cudf.dudf-real.result Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.07 1.08 1.09 5/35 1492 /proc/meminfo: memFree=317476/1048576 swapFree=0/0 [pid=1491] ppid=1490 vsize=2568 CPUtime=0 /proc/1491/stat : 1491 (gj-trendy-solve) R 1490 1491 1511 34817 1511 4202496 356 0 0 0 0 0 0 0 25 0 1 0 5198111 2629632 269 1283457024 134512640 135304128 4292302688 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0 /proc/1491/statm: 642 269 228 194 0 29 0 [pid=1492] ppid=1491 vsize=2568 CPUtime=0 /proc/1492/stat : 1492 (gj-trendy-solve) R 1491 1491 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 1 0 5198111 2629632 41 1283457024 134512640 135304128 4292302688 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0 /proc/1492/statm: 642 41 0 194 0 29 0 [startup+0.205671 s] /proc/loadavg: 1.07 1.08 1.09 5/35 1492 /proc/meminfo: memFree=317476/1048576 swapFree=0/0 [pid=1491] ppid=1490 vsize=2568 CPUtime=0 /proc/1491/stat : 1491 (gj-trendy-solve) S 1490 1491 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 25 0 1 0 5198111 2629632 270 1283457024 134512640 135304128 4292302688 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/1491/statm: 642 270 229 194 0 29 0 [pid=1492] ppid=1491 vsize=409800 CPUtime=0.2 /proc/1492/stat : 1492 (java) S 1491 1491 1511 34817 1511 4202496 4064 0 1 0 20 0 0 0 25 0 9 0 5198111 419635200 3493 1283457024 134512640 134550932 4293863424 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/1492/statm: 102450 3493 1910 10 0 96598 0 Current children cumulated CPU time (s) 0.2 Current children cumulated vsize (KiB) 412368 [startup+0.305703 s] /proc/loadavg: 1.07 1.08 1.09 5/35 1492 /proc/meminfo: memFree=317476/1048576 swapFree=0/0 [pid=1491] ppid=1490 vsize=2568 CPUtime=0 /proc/1491/stat : 1491 (gj-trendy-solve) S 1490 1491 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 25 0 1 0 5198111 2629632 270 1283457024 134512640 135304128 4292302688 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/1491/statm: 642 270 229 194 0 29 0 [pid=1492] ppid=1491 vsize=410384 CPUtime=0.3 /proc/1492/stat : 1492 (java) S 1491 1491 1511 34817 1511 4202496 4415 0 1 0 30 0 0 0 25 0 9 0 5198111 420233216 3844 1283457024 134512640 134550932 4293863424 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/1492/statm: 102596 3844 1933 10 0 96744 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 412952 [startup+0.405732 s] /proc/loadavg: 1.07 1.08 1.09 5/35 1492 /proc/meminfo: memFree=317476/1048576 swapFree=0/0 [pid=1491] ppid=1490 vsize=2568 CPUtime=0 /proc/1491/stat : 1491 (gj-trendy-solve) S 1490 1491 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 25 0 1 0 5198111 2629632 270 1283457024 134512640 135304128 4292302688 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/1491/statm: 642 270 229 194 0 29 0 [pid=1492] ppid=1491 vsize=410384 CPUtime=0.4 /proc/1492/stat : 1492 (java) S 1491 1491 1511 34817 1511 4202496 6157 0 1 0 40 0 0 0 25 0 9 0 5198111 420233216 5585 1283457024 134512640 134550932 4293863424 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/1492/statm: 102596 5585 1945 10 0 96744 0 Current children cumulated CPU time (s) 0.4 Current children cumulated vsize (KiB) 412952 [startup+0.705809 s] /proc/loadavg: 1.07 1.08 1.09 5/35 1492 /proc/meminfo: memFree=317476/1048576 swapFree=0/0 [pid=1491] ppid=1490 vsize=2568 CPUtime=0 /proc/1491/stat : 1491 (gj-trendy-solve) S 1490 1491 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 25 0 1 0 5198111 2629632 270 1283457024 134512640 135304128 4292302688 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/1491/statm: 642 270 229 194 0 29 0 [pid=1492] ppid=1491 vsize=410652 CPUtime=0.7 /proc/1492/stat : 1492 (java) S 1491 1491 1511 34817 1511 4202496 11933 0 1 0 68 2 0 0 25 0 9 0 5198111 420507648 11177 1283457024 134512640 134550932 4293863424 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/1492/statm: 102663 11177 2896 10 0 96811 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 413220 [startup+1.506 s] /proc/loadavg: 1.07 1.08 1.09 2/44 1501 /proc/meminfo: memFree=257996/1048576 swapFree=0/0 [pid=1491] ppid=1490 vsize=2568 CPUtime=0 /proc/1491/stat : 1491 (gj-trendy-solve) S 1490 1491 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 25 0 1 0 5198111 2629632 270 1283457024 134512640 135304128 4292302688 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/1491/statm: 642 270 229 194 0 29 0 [pid=1492] ppid=1491 vsize=410784 CPUtime=1.5 /proc/1492/stat : 1492 (java) S 1491 1491 1511 34817 1511 4202496 25865 0 1 0 144 6 0 0 25 0 9 0 5198111 420642816 25109 1283457024 134512640 134550932 4293863424 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/1492/statm: 102696 25109 2896 10 0 96844 0 [pid=1492/tid=1494] ppid=1491 vsize=410784 CPUtime=0.81 /proc/1492/task/1494/stat : 1494 (java) R 1491 1491 1511 34817 1511 4202560 6786 0 1 0 79 2 0 0 25 0 9 0 5198112 420642816 25109 1283457024 134512640 134550932 4293863424 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=1492/tid=1495] ppid=1491 vsize=410784 CPUtime=0.63 /proc/1492/task/1495/stat : 1495 (java) R 1491 1491 1511 34817 1511 4202560 17693 0 0 0 61 2 0 0 18 0 9 0 5198113 420642816 25109 1283457024 134512640 134550932 4293863424 18446744073709551615 4151174004 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=1492/tid=1496] ppid=1491 vsize=410784 CPUtime=0 /proc/1492/task/1496/stat : 1496 (java) S 1491 1491 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 20 0 9 0 5198113 420642816 25109 1283457024 134512640 134550932 4293863424 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=1492/tid=1497] ppid=1491 vsize=410784 CPUtime=0 /proc/1492/task/1497/stat : 1497 (java) S 1491 1491 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 20 0 9 0 5198113 420642816 25109 1283457024 134512640 134550932 4293863424 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=1492/tid=1498] ppid=1491 vsize=410784 CPUtime=0 /proc/1492/task/1498/stat : 1498 (java) S 1491 1491 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 5198114 420642816 25109 1283457024 134512640 134550932 4293863424 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=1492/tid=1499] ppid=1491 vsize=410784 CPUtime=0.03 /proc/1492/task/1499/stat : 1499 (java) S 1491 1491 1511 34817 1511 4202560 448 0 0 0 3 0 0 0 16 0 9 0 5198114 420642816 25109 1283457024 134512640 134550932 4293863424 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=1492/tid=1500] ppid=1491 vsize=410784 CPUtime=0 /proc/1492/task/1500/stat : 1500 (java) S 1491 1491 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 9 0 5198114 420642816 25109 1283457024 134512640 134550932 4293863424 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=1492/tid=1501] ppid=1491 vsize=410784 CPUtime=0 /proc/1492/task/1501/stat : 1501 (java) S 1491 1491 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 9 0 5198114 420642816 25109 1283457024 134512640 134550932 4293863424 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 413352 [startup+3.10652 s] /proc/loadavg: 1.07 1.08 1.09 2/44 1501 /proc/meminfo: memFree=183844/1048576 swapFree=0/0 [pid=1491] ppid=1490 vsize=2568 CPUtime=0 /proc/1491/stat : 1491 (gj-trendy-solve) S 1490 1491 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 25 0 1 0 5198111 2629632 270 1283457024 134512640 135304128 4292302688 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/1491/statm: 642 270 229 194 0 29 0 [pid=1492] ppid=1491 vsize=411120 CPUtime=3.1 /proc/1492/stat : 1492 (java) S 1491 1491 1511 34817 1511 4202496 43488 0 1 0 296 14 0 0 25 0 10 0 5198111 420986880 42650 1283457024 134512640 134550932 4293863424 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/1492/statm: 102780 42650 2921 10 0 96925 0 [pid=1492/tid=1494] ppid=1491 vsize=411120 CPUtime=1.74 /proc/1492/task/1494/stat : 1494 (java) R 1491 1491 1511 34817 1511 4202560 9800 0 1 0 170 4 0 0 25 0 10 0 5198112 420986880 42650 1283457024 134512640 134550932 4293863424 18446744073709551615 4115534834 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=1492/tid=1495] ppid=1491 vsize=411120 CPUtime=1.24 /proc/1492/task/1495/stat : 1495 (java) S 1491 1491 1511 34817 1511 4202560 32213 0 0 0 115 9 0 0 16 0 10 0 5198113 420986880 42650 1283457024 134512640 134550932 4293863424 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=1492/tid=1496] ppid=1491 vsize=411120 CPUtime=0 /proc/1492/task/1496/stat : 1496 (java) S 1491 1491 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 5198113 420986880 42650 1283457024 134512640 134550932 4293863424 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=1492/tid=1497] ppid=1491 vsize=411120 CPUtime=0 /proc/1492/task/1497/stat : 1497 (java) S 1491 1491 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 5198113 420986880 42650 1283457024 134512640 134550932 4293863424 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=1492/tid=1498] ppid=1491 vsize=411120 CPUtime=0 /proc/1492/task/1498/stat : 1498 (java) S 1491 1491 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 5198114 420986880 42650 1283457024 134512640 134550932 4293863424 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=1492/tid=1499] ppid=1491 vsize=411120 CPUtime=0.1 /proc/1492/task/1499/stat : 1499 (java) S 1491 1491 1511 34817 1511 4202560 532 0 0 0 10 0 0 0 15 0 10 0 5198114 420986880 42650 1283457024 134512640 134550932 4293863424 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=1492/tid=1500] ppid=1491 vsize=411120 CPUtime=0 /proc/1492/task/1500/stat : 1500 (java) S 1491 1491 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 10 0 5198114 420986880 42650 1283457024 134512640 134550932 4293863424 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=1492/tid=1501] ppid=1491 vsize=411120 CPUtime=0 /proc/1492/task/1501/stat : 1501 (java) S 1491 1491 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 5198114 420986880 42650 1283457024 134512640 134550932 4293863424 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 413688 Solver just ended. Dumping a history of the last processes samples [startup+3.30654 s] /proc/loadavg: 1.07 1.08 1.09 2/44 1501 /proc/meminfo: memFree=183844/1048576 swapFree=0/0 [pid=1491] ppid=1490 vsize=2568 CPUtime=0 /proc/1491/stat : 1491 (gj-trendy-solve) S 1490 1491 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 25 0 1 0 5198111 2629632 270 1283457024 134512640 135304128 4292302688 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/1491/statm: 642 270 229 194 0 29 0 [pid=1492] ppid=1491 vsize=411120 CPUtime=3.3 /proc/1492/stat : 1492 (java) S 1491 1491 1511 34817 1511 4202496 43503 0 1 0 314 16 0 0 25 0 10 0 5198111 420986880 42665 1283457024 134512640 134550932 4293863424 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/1492/statm: 102780 42665 2921 10 0 96925 0 [pid=1492/tid=1494] ppid=1491 vsize=411120 CPUtime=1.92 /proc/1492/task/1494/stat : 1494 (java) R 1491 1491 1511 34817 1511 4202560 9803 0 1 0 187 5 0 0 25 0 10 0 5198112 420986880 42665 1283457024 134512640 134550932 4293863424 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=1492/tid=1495] ppid=1491 vsize=411120 CPUtime=1.24 /proc/1492/task/1495/stat : 1495 (java) S 1491 1491 1511 34817 1511 4202560 32213 0 0 0 115 9 0 0 16 0 10 0 5198113 420986880 42665 1283457024 134512640 134550932 4293863424 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=1492/tid=1496] ppid=1491 vsize=411120 CPUtime=0 /proc/1492/task/1496/stat : 1496 (java) S 1491 1491 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 5198113 420986880 42665 1283457024 134512640 134550932 4293863424 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=1492/tid=1497] ppid=1491 vsize=411120 CPUtime=0 /proc/1492/task/1497/stat : 1497 (java) S 1491 1491 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 5198113 420986880 42665 1283457024 134512640 134550932 4293863424 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=1492/tid=1498] ppid=1491 vsize=411120 CPUtime=0 /proc/1492/task/1498/stat : 1498 (java) S 1491 1491 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 5198114 420986880 42665 1283457024 134512640 134550932 4293863424 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=1492/tid=1499] ppid=1491 vsize=411120 CPUtime=0.11 /proc/1492/task/1499/stat : 1499 (java) S 1491 1491 1511 34817 1511 4202560 544 0 0 0 11 0 0 0 15 0 10 0 5198114 420986880 42665 1283457024 134512640 134550932 4293863424 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=1492/tid=1500] ppid=1491 vsize=411120 CPUtime=0 /proc/1492/task/1500/stat : 1500 (java) S 1491 1491 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 10 0 5198114 420986880 42665 1283457024 134512640 134550932 4293863424 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=1492/tid=1501] ppid=1491 vsize=411120 CPUtime=0 /proc/1492/task/1501/stat : 1501 (java) S 1491 1491 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 5198114 420986880 42665 1283457024 134512640 134550932 4293863424 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.3 Current children cumulated vsize (KiB) 413688 [startup+4.90688 s] /proc/loadavg: 1.07 1.08 1.09 2/44 1502 /proc/meminfo: memFree=155944/1048576 swapFree=0/0 [pid=1491] ppid=1490 vsize=2568 CPUtime=0 /proc/1491/stat : 1491 (gj-trendy-solve) S 1490 1491 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 25 0 1 0 5198111 2629632 270 1283457024 134512640 135304128 4292302688 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/1491/statm: 642 270 229 194 0 29 0 [pid=1492] ppid=1491 vsize=411252 CPUtime=4.9 /proc/1492/stat : 1492 (java) S 1491 1491 1511 34817 1511 4202496 44844 0 1 0 474 16 0 0 25 0 10 0 5198111 421122048 43020 1283457024 134512640 134550932 4293863424 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/1492/statm: 102813 43020 2915 10 0 96958 0 [pid=1492/tid=1494] ppid=1491 vsize=411252 CPUtime=3.31 /proc/1492/task/1494/stat : 1494 (java) R 1491 1491 1511 34817 1511 4202560 9803 0 1 0 326 5 0 0 25 0 10 0 5198112 421122048 43020 1283457024 134512640 134550932 4293863424 18446744073709551615 4115619186 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=1492/tid=1495] ppid=1491 vsize=411252 CPUtime=1.44 /proc/1492/task/1495/stat : 1495 (java) S 1491 1491 1511 34817 1511 4202560 33547 0 0 0 135 9 0 0 16 0 10 0 5198113 421122048 43020 1283457024 134512640 134550932 4293863424 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=1492/tid=1496] ppid=1491 vsize=411252 CPUtime=0 /proc/1492/task/1496/stat : 1496 (java) S 1491 1491 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 15 0 10 0 5198113 421122048 43020 1283457024 134512640 134550932 4293863424 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=1492/tid=1497] ppid=1491 vsize=411252 CPUtime=0 /proc/1492/task/1497/stat : 1497 (java) S 1491 1491 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 5198113 421122048 43020 1283457024 134512640 134550932 4293863424 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=1492/tid=1498] ppid=1491 vsize=411252 CPUtime=0 /proc/1492/task/1498/stat : 1498 (java) S 1491 1491 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 5198114 421122048 43020 1283457024 134512640 134550932 4293863424 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=1492/tid=1499] ppid=1491 vsize=411252 CPUtime=0.12 /proc/1492/task/1499/stat : 1499 (java) S 1491 1491 1511 34817 1511 4202560 551 0 0 0 12 0 0 0 15 0 10 0 5198114 421122048 43020 1283457024 134512640 134550932 4293863424 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=1492/tid=1500] ppid=1491 vsize=411252 CPUtime=0 /proc/1492/task/1500/stat : 1500 (java) S 1491 1491 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 10 0 5198114 421122048 43020 1283457024 134512640 134550932 4293863424 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=1492/tid=1501] ppid=1491 vsize=411252 CPUtime=0 /proc/1492/task/1501/stat : 1501 (java) S 1491 1491 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 5198114 421122048 43020 1283457024 134512640 134550932 4293863424 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=1492/tid=1502] ppid=1491 vsize=411252 CPUtime=0 /proc/1492/task/1502/stat : 1502 (java) S 1491 1491 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 5198388 421122048 43020 1283457024 134512640 134550932 4293863424 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4.9 Current children cumulated vsize (KiB) 413820 [startup+5.70705 s] /proc/loadavg: 1.07 1.08 1.09 2/44 1502 /proc/meminfo: memFree=155952/1048576 swapFree=0/0 [pid=1491] ppid=1490 vsize=2568 CPUtime=0 /proc/1491/stat : 1491 (gj-trendy-solve) S 1490 1491 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 25 0 1 0 5198111 2629632 270 1283457024 134512640 135304128 4292302688 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/1491/statm: 642 270 229 194 0 29 0 [pid=1492] ppid=1491 vsize=411252 CPUtime=5.7 /proc/1492/stat : 1492 (java) S 1491 1491 1511 34817 1511 4202496 44846 0 1 0 554 16 0 0 25 0 10 0 5198111 421122048 43022 1283457024 134512640 134550932 4293863424 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/1492/statm: 102813 43022 2916 10 0 96958 0 [pid=1492/tid=1494] ppid=1491 vsize=411252 CPUtime=4.11 /proc/1492/task/1494/stat : 1494 (java) R 1491 1491 1511 34817 1511 4202560 9804 0 1 0 406 5 0 0 25 0 10 0 5198112 421122048 43022 1283457024 134512640 134550932 4293863424 18446744073709551615 4115490521 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=1492/tid=1495] ppid=1491 vsize=411252 CPUtime=1.44 /proc/1492/task/1495/stat : 1495 (java) S 1491 1491 1511 34817 1511 4202560 33547 0 0 0 135 9 0 0 15 0 10 0 5198113 421122048 43022 1283457024 134512640 134550932 4293863424 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=1492/tid=1496] ppid=1491 vsize=411252 CPUtime=0 /proc/1492/task/1496/stat : 1496 (java) S 1491 1491 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 15 0 10 0 5198113 421122048 43022 1283457024 134512640 134550932 4293863424 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=1492/tid=1497] ppid=1491 vsize=411252 CPUtime=0 /proc/1492/task/1497/stat : 1497 (java) S 1491 1491 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 5198113 421122048 43022 1283457024 134512640 134550932 4293863424 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=1492/tid=1498] ppid=1491 vsize=411252 CPUtime=0 /proc/1492/task/1498/stat : 1498 (java) S 1491 1491 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 5198114 421122048 43022 1283457024 134512640 134550932 4293863424 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=1492/tid=1499] ppid=1491 vsize=411252 CPUtime=0.12 /proc/1492/task/1499/stat : 1499 (java) S 1491 1491 1511 34817 1511 4202560 552 0 0 0 12 0 0 0 15 0 10 0 5198114 421122048 43022 1283457024 134512640 134550932 4293863424 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=1492/tid=1500] ppid=1491 vsize=411252 CPUtime=0 /proc/1492/task/1500/stat : 1500 (java) S 1491 1491 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 10 0 5198114 421122048 43022 1283457024 134512640 134550932 4293863424 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=1492/tid=1501] ppid=1491 vsize=411252 CPUtime=0 /proc/1492/task/1501/stat : 1501 (java) S 1491 1491 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 5198114 421122048 43022 1283457024 134512640 134550932 4293863424 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=1492/tid=1502] ppid=1491 vsize=411252 CPUtime=0 /proc/1492/task/1502/stat : 1502 (java) S 1491 1491 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 5198388 421122048 43022 1283457024 134512640 134550932 4293863424 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 5.7 Current children cumulated vsize (KiB) 413820 [startup+5.90593 s] /proc/loadavg: 1.07 1.08 1.09 2/44 1502 /proc/meminfo: memFree=155952/1048576 swapFree=0/0 [pid=1491] ppid=1490 vsize=2568 CPUtime=0 /proc/1491/stat : 1491 (gj-trendy-solve) S 1490 1491 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 25 0 1 0 5198111 2629632 270 1283457024 134512640 135304128 4292302688 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/1491/statm: 642 270 229 194 0 29 0 [pid=1492] ppid=1491 vsize=411252 CPUtime=5.88 /proc/1492/stat : 1492 (java) S 1491 1491 1511 34817 1511 4202496 44857 0 1 0 572 16 0 0 25 0 9 0 5198111 421122048 43033 1283457024 134512640 134550932 4293863424 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/1492/statm: 102813 43033 2917 10 0 96958 0 [pid=1492/tid=1494] ppid=1491 vsize=411252 CPUtime=4.29 /proc/1492/task/1494/stat : 1494 (java) S 1491 1491 1511 34817 1511 4202560 9805 0 1 0 424 5 0 0 25 0 9 0 5198112 421122048 43033 1283457024 134512640 134550932 4293863424 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=1492/tid=1495] ppid=1491 vsize=411252 CPUtime=1.44 /proc/1492/task/1495/stat : 1495 (java) S 1491 1491 1511 34817 1511 4202560 33547 0 0 0 135 9 0 0 15 0 9 0 5198113 421122048 43033 1283457024 134512640 134550932 4293863424 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=1492/tid=1496] ppid=1491 vsize=411252 CPUtime=0 /proc/1492/task/1496/stat : 1496 (java) S 1491 1491 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 15 0 9 0 5198113 421122048 43033 1283457024 134512640 134550932 4293863424 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=1492/tid=1497] ppid=1491 vsize=411252 CPUtime=0 /proc/1492/task/1497/stat : 1497 (java) S 1491 1491 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 9 0 5198113 421122048 43033 1283457024 134512640 134550932 4293863424 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=1492/tid=1498] ppid=1491 vsize=411252 CPUtime=0 /proc/1492/task/1498/stat : 1498 (java) S 1491 1491 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 5198114 421122048 43033 1283457024 134512640 134550932 4293863424 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=1492/tid=1499] ppid=1491 vsize=411252 CPUtime=0.12 /proc/1492/task/1499/stat : 1499 (java) S 1491 1491 1511 34817 1511 4202560 561 0 0 0 12 0 0 0 16 0 9 0 5198114 421122048 43033 1283457024 134512640 134550932 4293863424 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=1492/tid=1500] ppid=1491 vsize=411252 CPUtime=0 /proc/1492/task/1500/stat : 1500 (java) S 1491 1491 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 9 0 5198114 421122048 43033 1283457024 134512640 134550932 4293863424 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=1492/tid=1501] ppid=1491 vsize=411252 CPUtime=0 /proc/1492/task/1501/stat : 1501 (java) S 1491 1491 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 9 0 5198114 421122048 43033 1283457024 134512640 134550932 4293863424 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 5.88 Current children cumulated vsize (KiB) 413820 Child status: 0 Real time (s): 5.95739 CPU time (s): 5.89237 CPU user time (s): 5.72036 CPU system time (s): 0.17201 CPU usage (%): 98.9085 Max. virtual memory (cumulated for all children) (KiB): 413820 getrusage(RUSAGE_CHILDREN,...) data: user time used= 5.72036 system time used= 0.17201 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 45246 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 858 involuntary context switches= 945 runsolver used 0 second user time and 0 second system time The end