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/bccf69ae-db9e-11df-9a24-00163e3d3b7c.cudf.dudf-real.log.runsolver ./gj-trendy-solver-1.0 /home/misc2010/data/2011/dudf-real//bccf69ae-db9e-11df-9a24-00163e3d3b7c.cudf /home/misc2010/tmp/201108241238/gj-trendy-solver-1.0/bccf69ae-db9e-11df-9a24-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.42 1.20 1.11 5/37 30362
/proc/meminfo: memFree=307152/1048576 swapFree=0/0
[pid=30360] ppid=30359 vsize=2572 CPUtime=0
/proc/30360/stat : 30360 (gj-trendy-solve) S 30359 30360 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 5027729 2633728 270 1283457024 134512640 135304128 4290196832 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30360/statm: 643 270 229 194 0 30 0
[pid=30361] ppid=30360 vsize=11360 CPUtime=0
/proc/30361/stat : 30361 (java) R 30360 30360 1511 34817 1511 4202496 918 0 0 0 0 0 0 0 25 0 2 0 5027729 11632640 651 1283457024 134512640 134550932 4289108864 18446744073709551615 4159360616 0 0 0 0 18446744073709551615 0 0 17 0 0 0 0
/proc/30361/statm: 2840 651 285 10 0 1186 0
[pid=30361/tid=30362] ppid=30360 vsize=11360 CPUtime=0
/proc/30361/task/30362/stat : 30362 (java) R 30360 30360 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 2 0 5027729 11632640 651 1283457024 134512640 134550932 4289108864 18446744073709551615 4159360616 0 0 0 0 0 0 0 -1 0 0 0 0

[startup+0.205494 s]
/proc/loadavg: 1.42 1.20 1.11 5/37 30362
/proc/meminfo: memFree=307152/1048576 swapFree=0/0
[pid=30360] ppid=30359 vsize=2572 CPUtime=0
/proc/30360/stat : 30360 (gj-trendy-solve) S 30359 30360 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 5027729 2633728 270 1283457024 134512640 135304128 4290196832 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30360/statm: 643 270 229 194 0 30 0
[pid=30361] ppid=30360 vsize=410104 CPUtime=0.2
/proc/30361/stat : 30361 (java) S 30360 30360 1511 34817 1511 4202496 4373 0 1 0 18 2 0 0 25 0 9 0 5027729 419946496 3800 1283457024 134512640 134550932 4289108864 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30361/statm: 102526 3800 1945 10 0 96674 0
[pid=30361/tid=30362] ppid=30360 vsize=410104 CPUtime=0.18
/proc/30361/task/30362/stat : 30362 (java) R 30360 30360 1511 34817 1511 4202560 3179 0 1 0 17 1 0 0 25 0 9 0 5027729 419946496 3800 1283457024 134512640 134550932 4289108864 18446744073709551615 4114722721 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 412676

[startup+0.305513 s]
/proc/loadavg: 1.42 1.20 1.11 5/37 30362
/proc/meminfo: memFree=307152/1048576 swapFree=0/0
[pid=30360] ppid=30359 vsize=2572 CPUtime=0
/proc/30360/stat : 30360 (gj-trendy-solve) S 30359 30360 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 5027729 2633728 270 1283457024 134512640 135304128 4290196832 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30360/statm: 643 270 229 194 0 30 0
[pid=30361] ppid=30360 vsize=410388 CPUtime=0.3
/proc/30361/stat : 30361 (java) S 30360 30360 1511 34817 1511 4202496 5408 0 1 0 28 2 0 0 25 0 9 0 5027729 420237312 4834 1283457024 134512640 134550932 4289108864 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30361/statm: 102597 4834 1956 10 0 96745 0
[pid=30361/tid=30362] ppid=30360 vsize=410388 CPUtime=0.25
/proc/30361/task/30362/stat : 30362 (java) R 30360 30360 1511 34817 1511 4202560 3530 0 1 0 24 1 0 0 25 0 9 0 5027729 420237312 4834 1283457024 134512640 134550932 4289108864 18446744073709551615 4115141276 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 412960

[startup+0.405532 s]
/proc/loadavg: 1.42 1.20 1.11 5/37 30362
/proc/meminfo: memFree=307152/1048576 swapFree=0/0
[pid=30360] ppid=30359 vsize=2572 CPUtime=0
/proc/30360/stat : 30360 (gj-trendy-solve) S 30359 30360 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 5027729 2633728 270 1283457024 134512640 135304128 4290196832 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30360/statm: 643 270 229 194 0 30 0
[pid=30361] ppid=30360 vsize=410388 CPUtime=0.4
/proc/30361/stat : 30361 (java) S 30360 30360 1511 34817 1511 4202496 6825 0 1 0 38 2 0 0 25 0 9 0 5027729 420237312 6251 1283457024 134512640 134550932 4289108864 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30361/statm: 102597 6251 1956 10 0 96745 0
[pid=30361/tid=30362] ppid=30360 vsize=410388 CPUtime=0.32
/proc/30361/task/30362/stat : 30362 (java) R 30360 30360 1511 34817 1511 4202560 3530 0 1 0 31 1 0 0 25 0 9 0 5027729 420237312 6251 1283457024 134512640 134550932 4289108864 18446744073709551615 4115134934 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 412960

[startup+0.705633 s]
/proc/loadavg: 1.42 1.20 1.11 5/37 30362
/proc/meminfo: memFree=307152/1048576 swapFree=0/0
[pid=30360] ppid=30359 vsize=2572 CPUtime=0
/proc/30360/stat : 30360 (gj-trendy-solve) S 30359 30360 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 5027729 2633728 270 1283457024 134512640 135304128 4290196832 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30360/statm: 643 270 229 194 0 30 0
[pid=30361] ppid=30360 vsize=410652 CPUtime=0.7
/proc/30361/stat : 30361 (java) S 30360 30360 1511 34817 1511 4202496 12905 0 1 0 66 4 0 0 25 0 9 0 5027729 420507648 12145 1283457024 134512640 134550932 4289108864 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30361/statm: 102663 12145 2901 10 0 96811 0
[pid=30361/tid=30362] ppid=30360 vsize=410652 CPUtime=0.46
/proc/30361/task/30362/stat : 30362 (java) R 30360 30360 1511 34817 1511 4202560 4218 0 1 0 44 2 0 0 25 0 9 0 5027729 420507648 12145 1283457024 134512640 134550932 4289108864 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 413224

[startup+1.50592 s]
/proc/loadavg: 1.38 1.20 1.11 2/45 30371
/proc/meminfo: memFree=242224/1048576 swapFree=0/0
[pid=30360] ppid=30359 vsize=2572 CPUtime=0
/proc/30360/stat : 30360 (gj-trendy-solve) S 30359 30360 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 5027729 2633728 270 1283457024 134512640 135304128 4290196832 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30360/statm: 643 270 229 194 0 30 0
[pid=30361] ppid=30360 vsize=410784 CPUtime=1.5
/proc/30361/stat : 30361 (java) S 30360 30360 1511 34817 1511 4202496 28117 0 1 0 139 11 0 0 25 0 9 0 5027729 420642816 27357 1283457024 134512640 134550932 4289108864 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30361/statm: 102696 27357 2901 10 0 96844 0
[pid=30361/tid=30362] ppid=30360 vsize=410784 CPUtime=0.79
/proc/30361/task/30362/stat : 30362 (java) R 30360 30360 1511 34817 1511 4202560 6842 0 1 0 76 3 0 0 25 0 9 0 5027729 420642816 27357 1283457024 134512640 134550932 4289108864 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30361/tid=30364] ppid=30360 vsize=410784 CPUtime=0.66
/proc/30361/task/30364/stat : 30364 (java) R 30360 30360 1511 34817 1511 4202560 19896 0 0 0 60 6 0 0 19 0 9 0 5027730 420642816 27357 1283457024 134512640 134550932 4289108864 18446744073709551615 4151344552 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=30361/tid=30365] ppid=30360 vsize=410784 CPUtime=0
/proc/30361/task/30365/stat : 30365 (java) S 30360 30360 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 20 0 9 0 5027730 420642816 27357 1283457024 134512640 134550932 4289108864 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
[pid=30361/tid=30366] ppid=30360 vsize=410784 CPUtime=0
/proc/30361/task/30366/stat : 30366 (java) S 30360 30360 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 21 0 9 0 5027730 420642816 27357 1283457024 134512640 134550932 4289108864 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
[pid=30361/tid=30367] ppid=30360 vsize=410784 CPUtime=0
/proc/30361/task/30367/stat : 30367 (java) S 30360 30360 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 5027732 420642816 27357 1283457024 134512640 134550932 4289108864 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
[pid=30361/tid=30368] ppid=30360 vsize=410784 CPUtime=0.03
/proc/30361/task/30368/stat : 30368 (java) S 30360 30360 1511 34817 1511 4202560 438 0 0 0 3 0 0 0 20 0 9 0 5027732 420642816 27357 1283457024 134512640 134550932 4289108864 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
[pid=30361/tid=30369] ppid=30360 vsize=410784 CPUtime=0
/proc/30361/task/30369/stat : 30369 (java) S 30360 30360 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 5027732 420642816 27357 1283457024 134512640 134550932 4289108864 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
[pid=30361/tid=30370] ppid=30360 vsize=410784 CPUtime=0
/proc/30361/task/30370/stat : 30370 (java) S 30360 30360 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 9 0 5027732 420642816 27357 1283457024 134512640 134550932 4289108864 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 413356

[startup+3.10664 s]
/proc/loadavg: 1.38 1.20 1.11 3/45 30371
/proc/meminfo: memFree=163856/1048576 swapFree=0/0
[pid=30360] ppid=30359 vsize=2572 CPUtime=0
/proc/30360/stat : 30360 (gj-trendy-solve) S 30359 30360 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 5027729 2633728 270 1283457024 134512640 135304128 4290196832 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30360/statm: 643 270 229 194 0 30 0
[pid=30361] ppid=30360 vsize=410928 CPUtime=3.1
/proc/30361/stat : 30361 (java) S 30360 30360 1511 34817 1511 4202496 44288 0 1 0 293 17 0 0 25 0 9 0 5027729 420790272 43438 1283457024 134512640 134550932 4289108864 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30361/statm: 102732 43438 2920 10 0 96877 0
[pid=30361/tid=30362] ppid=30360 vsize=410928 CPUtime=1.43
/proc/30361/task/30362/stat : 30362 (java) R 30360 30360 1511 34817 1511 4202560 9894 0 1 0 138 5 0 0 25 0 9 0 5027729 420790272 43438 1283457024 134512640 134550932 4289108864 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30361/tid=30364] ppid=30360 vsize=410928 CPUtime=1.56
/proc/30361/task/30364/stat : 30364 (java) S 30360 30360 1511 34817 1511 4202560 32953 0 0 0 146 10 0 0 16 0 9 0 5027730 420790272 43438 1283457024 134512640 134550932 4289108864 18446744073709551615 4294960130 0 0 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
[pid=30361/tid=30365] ppid=30360 vsize=410928 CPUtime=0
/proc/30361/task/30365/stat : 30365 (java) S 30360 30360 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 9 0 5027730 420790272 43438 1283457024 134512640 134550932 4289108864 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
[pid=30361/tid=30366] ppid=30360 vsize=410928 CPUtime=0
/proc/30361/task/30366/stat : 30366 (java) S 30360 30360 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 9 0 5027730 420790272 43438 1283457024 134512640 134550932 4289108864 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
[pid=30361/tid=30367] ppid=30360 vsize=410928 CPUtime=0
/proc/30361/task/30367/stat : 30367 (java) S 30360 30360 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 5027732 420790272 43438 1283457024 134512640 134550932 4289108864 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
[pid=30361/tid=30368] ppid=30360 vsize=410928 CPUtime=0.1
/proc/30361/task/30368/stat : 30368 (java) S 30360 30360 1511 34817 1511 4202560 500 0 0 0 9 1 0 0 15 0 9 0 5027732 420790272 43438 1283457024 134512640 134550932 4289108864 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
[pid=30361/tid=30369] ppid=30360 vsize=410928 CPUtime=0
/proc/30361/task/30369/stat : 30369 (java) S 30360 30360 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 5027732 420790272 43438 1283457024 134512640 134550932 4289108864 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
[pid=30361/tid=30370] ppid=30360 vsize=410928 CPUtime=0
/proc/30361/task/30370/stat : 30370 (java) S 30360 30360 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 9 0 5027732 420790272 43438 1283457024 134512640 134550932 4289108864 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 413500

[startup+6.30707 s]
/proc/loadavg: 1.38 1.20 1.11 2/46 30372
/proc/meminfo: memFree=143024/1048576 swapFree=0/0
[pid=30360] ppid=30359 vsize=2572 CPUtime=0
/proc/30360/stat : 30360 (gj-trendy-solve) S 30359 30360 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 5027729 2633728 270 1283457024 134512640 135304128 4290196832 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30360/statm: 643 270 229 194 0 30 0
[pid=30361] ppid=30360 vsize=411252 CPUtime=6.3
/proc/30361/stat : 30361 (java) S 30360 30360 1511 34817 1511 4202496 45339 0 1 0 612 18 0 0 25 0 10 0 5027729 421122048 44485 1283457024 134512640 134550932 4289108864 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30361/statm: 102813 44485 2920 10 0 96958 0
[pid=30361/tid=30362] ppid=30360 vsize=411252 CPUtime=4.62
/proc/30361/task/30362/stat : 30362 (java) R 30360 30360 1511 34817 1511 4202560 10920 0 1 0 456 6 0 0 25 0 10 0 5027729 421122048 44485 1283457024 134512640 134550932 4289108864 18446744073709551615 4115597476 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30361/tid=30364] ppid=30360 vsize=411252 CPUtime=1.56
/proc/30361/task/30364/stat : 30364 (java) S 30360 30360 1511 34817 1511 4202560 32953 0 0 0 146 10 0 0 15 0 10 0 5027730 421122048 44485 1283457024 134512640 134550932 4289108864 18446744073709551615 4294960130 0 0 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
[pid=30361/tid=30365] ppid=30360 vsize=411252 CPUtime=0
/proc/30361/task/30365/stat : 30365 (java) S 30360 30360 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 5027730 421122048 44485 1283457024 134512640 134550932 4289108864 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
[pid=30361/tid=30366] ppid=30360 vsize=411252 CPUtime=0
/proc/30361/task/30366/stat : 30366 (java) S 30360 30360 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 5027730 421122048 44485 1283457024 134512640 134550932 4289108864 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
[pid=30361/tid=30367] ppid=30360 vsize=411252 CPUtime=0
/proc/30361/task/30367/stat : 30367 (java) S 30360 30360 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 5027732 421122048 44485 1283457024 134512640 134550932 4289108864 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
[pid=30361/tid=30368] ppid=30360 vsize=411252 CPUtime=0.11
/proc/30361/task/30368/stat : 30368 (java) S 30360 30360 1511 34817 1511 4202560 520 0 0 0 10 1 0 0 15 0 10 0 5027732 421122048 44485 1283457024 134512640 134550932 4289108864 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
[pid=30361/tid=30369] ppid=30360 vsize=411252 CPUtime=0
/proc/30361/task/30369/stat : 30369 (java) S 30360 30360 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 5027732 421122048 44485 1283457024 134512640 134550932 4289108864 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
[pid=30361/tid=30370] ppid=30360 vsize=411252 CPUtime=0
/proc/30361/task/30370/stat : 30370 (java) S 30360 30360 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 5027732 421122048 44485 1283457024 134512640 134550932 4289108864 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
[pid=30361/tid=30372] ppid=30360 vsize=411252 CPUtime=0
/proc/30361/task/30372/stat : 30372 (java) S 30360 30360 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 5028040 421122048 44485 1283457024 134512640 134550932 4289108864 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 413824

Solver just ended. Dumping a history of the last processes samples

[startup+6.50711 s]
/proc/loadavg: 1.38 1.20 1.11 2/46 30372
/proc/meminfo: memFree=143024/1048576 swapFree=0/0
[pid=30360] ppid=30359 vsize=2572 CPUtime=0
/proc/30360/stat : 30360 (gj-trendy-solve) S 30359 30360 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 5027729 2633728 270 1283457024 134512640 135304128 4290196832 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30360/statm: 643 270 229 194 0 30 0
[pid=30361] ppid=30360 vsize=411252 CPUtime=6.51
/proc/30361/stat : 30361 (java) S 30360 30360 1511 34817 1511 4202496 45726 0 1 0 632 19 0 0 25 0 10 0 5027729 421122048 44872 1283457024 134512640 134550932 4289108864 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30361/statm: 102813 44872 2920 10 0 96958 0
[pid=30361/tid=30362] ppid=30360 vsize=411252 CPUtime=4.82
/proc/30361/task/30362/stat : 30362 (java) R 30360 30360 1511 34817 1511 4202560 11303 0 1 0 476 6 0 0 25 0 10 0 5027729 421122048 44872 1283457024 134512640 134550932 4289108864 18446744073709551615 4115566487 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30361/tid=30364] ppid=30360 vsize=411252 CPUtime=1.56
/proc/30361/task/30364/stat : 30364 (java) S 30360 30360 1511 34817 1511 4202560 32953 0 0 0 146 10 0 0 16 0 10 0 5027730 421122048 44872 1283457024 134512640 134550932 4289108864 18446744073709551615 4294960130 0 0 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
[pid=30361/tid=30365] ppid=30360 vsize=411252 CPUtime=0
/proc/30361/task/30365/stat : 30365 (java) S 30360 30360 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 5027730 421122048 44872 1283457024 134512640 134550932 4289108864 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
[pid=30361/tid=30366] ppid=30360 vsize=411252 CPUtime=0
/proc/30361/task/30366/stat : 30366 (java) S 30360 30360 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 5027730 421122048 44872 1283457024 134512640 134550932 4289108864 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
[pid=30361/tid=30367] ppid=30360 vsize=411252 CPUtime=0
/proc/30361/task/30367/stat : 30367 (java) S 30360 30360 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 5027732 421122048 44872 1283457024 134512640 134550932 4289108864 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
[pid=30361/tid=30368] ppid=30360 vsize=411252 CPUtime=0.11
/proc/30361/task/30368/stat : 30368 (java) S 30360 30360 1511 34817 1511 4202560 524 0 0 0 10 1 0 0 15 0 10 0 5027732 421122048 44872 1283457024 134512640 134550932 4289108864 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
[pid=30361/tid=30369] ppid=30360 vsize=411252 CPUtime=0
/proc/30361/task/30369/stat : 30369 (java) S 30360 30360 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 5027732 421122048 44872 1283457024 134512640 134550932 4289108864 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
[pid=30361/tid=30370] ppid=30360 vsize=411252 CPUtime=0
/proc/30361/task/30370/stat : 30370 (java) S 30360 30360 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 5027732 421122048 44872 1283457024 134512640 134550932 4289108864 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
[pid=30361/tid=30372] ppid=30360 vsize=411252 CPUtime=0
/proc/30361/task/30372/stat : 30372 (java) S 30360 30360 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 5028040 421122048 44872 1283457024 134512640 134550932 4289108864 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.51
Current children cumulated vsize (KiB) 413824

[startup+8.10743 s]
/proc/loadavg: 1.35 1.19 1.11 2/46 30372
/proc/meminfo: memFree=98136/1048576 swapFree=0/0
[pid=30360] ppid=30359 vsize=2572 CPUtime=0
/proc/30360/stat : 30360 (gj-trendy-solve) S 30359 30360 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 5027729 2633728 270 1283457024 134512640 135304128 4290196832 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30360/statm: 643 270 229 194 0 30 0
[pid=30361] ppid=30360 vsize=411252 CPUtime=8.1
/proc/30361/stat : 30361 (java) S 30360 30360 1511 34817 1511 4202496 56196 0 1 0 786 24 0 0 25 0 10 0 5027729 421122048 55342 1283457024 134512640 134550932 4289108864 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30361/statm: 102813 55342 2920 10 0 96958 0
[pid=30361/tid=30362] ppid=30360 vsize=411252 CPUtime=6.21
/proc/30361/task/30362/stat : 30362 (java) R 30360 30360 1511 34817 1511 4202560 14234 0 1 0 613 8 0 0 25 0 10 0 5027729 421122048 55342 1283457024 134512640 134550932 4289108864 18446744073709551615 4114692367 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30361/tid=30364] ppid=30360 vsize=411252 CPUtime=1.75
/proc/30361/task/30364/stat : 30364 (java) S 30360 30360 1511 34817 1511 4202560 40476 0 0 0 161 14 0 0 16 0 10 0 5027730 421122048 55342 1283457024 134512640 134550932 4289108864 18446744073709551615 4294960130 0 0 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
[pid=30361/tid=30365] ppid=30360 vsize=411252 CPUtime=0
/proc/30361/task/30365/stat : 30365 (java) S 30360 30360 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 5027730 421122048 55342 1283457024 134512640 134550932 4289108864 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
[pid=30361/tid=30366] ppid=30360 vsize=411252 CPUtime=0
/proc/30361/task/30366/stat : 30366 (java) S 30360 30360 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 5027730 421122048 55342 1283457024 134512640 134550932 4289108864 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
[pid=30361/tid=30367] ppid=30360 vsize=411252 CPUtime=0
/proc/30361/task/30367/stat : 30367 (java) S 30360 30360 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 5027732 421122048 55342 1283457024 134512640 134550932 4289108864 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
[pid=30361/tid=30368] ppid=30360 vsize=411252 CPUtime=0.13
/proc/30361/task/30368/stat : 30368 (java) S 30360 30360 1511 34817 1511 4202560 540 0 0 0 12 1 0 0 15 0 10 0 5027732 421122048 55342 1283457024 134512640 134550932 4289108864 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
[pid=30361/tid=30369] ppid=30360 vsize=411252 CPUtime=0
/proc/30361/task/30369/stat : 30369 (java) S 30360 30360 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 5027732 421122048 55342 1283457024 134512640 134550932 4289108864 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
[pid=30361/tid=30370] ppid=30360 vsize=411252 CPUtime=0
/proc/30361/task/30370/stat : 30370 (java) S 30360 30360 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 5027732 421122048 55342 1283457024 134512640 134550932 4289108864 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
[pid=30361/tid=30372] ppid=30360 vsize=411252 CPUtime=0
/proc/30361/task/30372/stat : 30372 (java) S 30360 30360 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 5028040 421122048 55342 1283457024 134512640 134550932 4289108864 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 8.1
Current children cumulated vsize (KiB) 413824

[startup+9.70779 s]
/proc/loadavg: 1.35 1.19 1.11 2/46 30372
/proc/meminfo: memFree=98136/1048576 swapFree=0/0
[pid=30360] ppid=30359 vsize=2572 CPUtime=0
/proc/30360/stat : 30360 (gj-trendy-solve) S 30359 30360 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 5027729 2633728 270 1283457024 134512640 135304128 4290196832 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30360/statm: 643 270 229 194 0 30 0
[pid=30361] ppid=30360 vsize=411252 CPUtime=9.7
/proc/30361/stat : 30361 (java) S 30360 30360 1511 34817 1511 4202496 56198 0 1 0 944 26 0 0 25 0 10 0 5027729 421122048 55344 1283457024 134512640 134550932 4289108864 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30361/statm: 102813 55344 2920 10 0 96958 0
[pid=30361/tid=30362] ppid=30360 vsize=411252 CPUtime=7.79
/proc/30361/task/30362/stat : 30362 (java) R 30360 30360 1511 34817 1511 4202560 14234 0 1 0 770 9 0 0 25 0 10 0 5027729 421122048 55344 1283457024 134512640 134550932 4289108864 18446744073709551615 4115581475 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30361/tid=30364] ppid=30360 vsize=411252 CPUtime=1.75
/proc/30361/task/30364/stat : 30364 (java) S 30360 30360 1511 34817 1511 4202560 40476 0 0 0 161 14 0 0 16 0 10 0 5027730 421122048 55344 1283457024 134512640 134550932 4289108864 18446744073709551615 4294960130 0 0 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
[pid=30361/tid=30365] ppid=30360 vsize=411252 CPUtime=0
/proc/30361/task/30365/stat : 30365 (java) S 30360 30360 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 5027730 421122048 55344 1283457024 134512640 134550932 4289108864 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
[pid=30361/tid=30366] ppid=30360 vsize=411252 CPUtime=0
/proc/30361/task/30366/stat : 30366 (java) S 30360 30360 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 5027730 421122048 55344 1283457024 134512640 134550932 4289108864 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
[pid=30361/tid=30367] ppid=30360 vsize=411252 CPUtime=0
/proc/30361/task/30367/stat : 30367 (java) S 30360 30360 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 5027732 421122048 55344 1283457024 134512640 134550932 4289108864 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
[pid=30361/tid=30368] ppid=30360 vsize=411252 CPUtime=0.14
/proc/30361/task/30368/stat : 30368 (java) S 30360 30360 1511 34817 1511 4202560 542 0 0 0 13 1 0 0 16 0 10 0 5027732 421122048 55344 1283457024 134512640 134550932 4289108864 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
[pid=30361/tid=30369] ppid=30360 vsize=411252 CPUtime=0
/proc/30361/task/30369/stat : 30369 (java) S 30360 30360 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 5027732 421122048 55344 1283457024 134512640 134550932 4289108864 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
[pid=30361/tid=30370] ppid=30360 vsize=411252 CPUtime=0
/proc/30361/task/30370/stat : 30370 (java) S 30360 30360 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 5027732 421122048 55344 1283457024 134512640 134550932 4289108864 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
[pid=30361/tid=30372] ppid=30360 vsize=411252 CPUtime=0
/proc/30361/task/30372/stat : 30372 (java) S 30360 30360 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 5028040 421122048 55344 1283457024 134512640 134550932 4289108864 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 9.7
Current children cumulated vsize (KiB) 413824

[startup+10.1079 s]
/proc/loadavg: 1.35 1.19 1.11 3/46 30372
/proc/meminfo: memFree=98012/1048576 swapFree=0/0
[pid=30360] ppid=30359 vsize=2572 CPUtime=0
/proc/30360/stat : 30360 (gj-trendy-solve) S 30359 30360 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 5027729 2633728 270 1283457024 134512640 135304128 4290196832 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30360/statm: 643 270 229 194 0 30 0
[pid=30361] ppid=30360 vsize=411252 CPUtime=10.1
/proc/30361/stat : 30361 (java) S 30360 30360 1511 34817 1511 4202496 56202 0 1 0 984 26 0 0 25 0 10 0 5027729 421122048 55348 1283457024 134512640 134550932 4289108864 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30361/statm: 102813 55348 2920 10 0 96958 0
[pid=30361/tid=30362] ppid=30360 vsize=411252 CPUtime=7.95
/proc/30361/task/30362/stat : 30362 (java) R 30360 30360 1511 34817 1511 4202560 14234 0 1 0 786 9 0 0 25 0 10 0 5027729 421122048 55348 1283457024 134512640 134550932 4289108864 18446744073709551615 4115242307 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30361/tid=30364] ppid=30360 vsize=411252 CPUtime=1.98
/proc/30361/task/30364/stat : 30364 (java) S 30360 30360 1511 34817 1511 4202560 40476 0 0 0 184 14 0 0 16 0 10 0 5027730 421122048 55348 1283457024 134512640 134550932 4289108864 18446744073709551615 4294960130 0 0 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
[pid=30361/tid=30365] ppid=30360 vsize=411252 CPUtime=0
/proc/30361/task/30365/stat : 30365 (java) S 30360 30360 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 5027730 421122048 55348 1283457024 134512640 134550932 4289108864 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
[pid=30361/tid=30366] ppid=30360 vsize=411252 CPUtime=0
/proc/30361/task/30366/stat : 30366 (java) S 30360 30360 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 5027730 421122048 55348 1283457024 134512640 134550932 4289108864 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
[pid=30361/tid=30367] ppid=30360 vsize=411252 CPUtime=0
/proc/30361/task/30367/stat : 30367 (java) S 30360 30360 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 5027732 421122048 55348 1283457024 134512640 134550932 4289108864 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
[pid=30361/tid=30368] ppid=30360 vsize=411252 CPUtime=0.14
/proc/30361/task/30368/stat : 30368 (java) S 30360 30360 1511 34817 1511 4202560 546 0 0 0 13 1 0 0 15 0 10 0 5027732 421122048 55348 1283457024 134512640 134550932 4289108864 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
[pid=30361/tid=30369] ppid=30360 vsize=411252 CPUtime=0
/proc/30361/task/30369/stat : 30369 (java) S 30360 30360 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 5027732 421122048 55348 1283457024 134512640 134550932 4289108864 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
[pid=30361/tid=30370] ppid=30360 vsize=411252 CPUtime=0
/proc/30361/task/30370/stat : 30370 (java) S 30360 30360 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 5027732 421122048 55348 1283457024 134512640 134550932 4289108864 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
[pid=30361/tid=30372] ppid=30360 vsize=411252 CPUtime=0
/proc/30361/task/30372/stat : 30372 (java) S 30360 30360 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 5028040 421122048 55348 1283457024 134512640 134550932 4289108864 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 10.1
Current children cumulated vsize (KiB) 413824

[startup+10.308 s]
/proc/loadavg: 1.35 1.19 1.11 3/46 30372
/proc/meminfo: memFree=98012/1048576 swapFree=0/0
[pid=30360] ppid=30359 vsize=2572 CPUtime=0
/proc/30360/stat : 30360 (gj-trendy-solve) S 30359 30360 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 5027729 2633728 270 1283457024 134512640 135304128 4290196832 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30360/statm: 643 270 229 194 0 30 0
[pid=30361] ppid=30360 vsize=0 CPUtime=10.26
/proc/30361/stat : 30361 (java) Z 30360 30360 1511 34817 1511 4202508 56215 0 1 0 1000 26 0 0 18 0 2 0 5027729 0 0 1283457024 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30361/statm: 0 0 0 0 0 0 0
[pid=30361/tid=30369] ppid=30360 vsize=0 CPUtime=0
/proc/30361/task/30369/stat : 30369 (java) R 30360 30360 1511 34817 1511 4203588 1 0 0 0 0 0 0 0 18 0 2 0 5027732 0 0 1283457024 0 0 0 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 10.26
Current children cumulated vsize (KiB) 2572

Child status: 0
Real time (s): 10.3201
CPU time (s): 10.2766
CPU user time (s): 10.0006
CPU system time (s): 0.276017
CPU usage (%): 99.5786
Max. virtual memory (cumulated for all children) (KiB): 413824

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.0006
system time used= 0.276017
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56599
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= 966
involuntary context switches= 1169

runsolver used 0 second user time and 0 second system time

The end