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/8680dd8a-8600-11e0-b285-00163e1e087d.cudf.dudf-real.log.runsolver ./gj-trendy-solver-1.0 /home/misc2010/data/2011/dudf-real//8680dd8a-8600-11e0-b285-00163e1e087d.cudf /home/misc2010/tmp/201108241238/gj-trendy-solver-1.0/8680dd8a-8600-11e0-b285-00163e1e087d.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.12 1.06 1.07 4/34 28577
/proc/meminfo: memFree=334288/1048576 swapFree=0/0
[pid=28576] ppid=28575 vsize=2568 CPUtime=0
/proc/28576/stat : 28576 (gj-trendy-solve) S 28575 28576 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 18 0 1 0 4927452 2629632 269 1283457024 134512640 135304128 4294066448 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28576/statm: 642 269 229 194 0 29 0
[pid=28577] ppid=28576 vsize=11048 CPUtime=0.01
/proc/28577/stat : 28577 (java) R 28576 28576 1511 34817 1511 4202496 659 0 0 0 0 1 0 0 25 0 1 0 4927452 11313152 395 1283457024 134512640 134550932 4287287744 18446744073709551615 4160661218 0 0 0 0 0 0 0 17 0 0 0 0
/proc/28577/statm: 2762 395 177 10 0 1104 0

[startup+0.155282 s]
/proc/loadavg: 1.12 1.06 1.07 4/34 28577
/proc/meminfo: memFree=334288/1048576 swapFree=0/0
[pid=28576] ppid=28575 vsize=2568 CPUtime=0
/proc/28576/stat : 28576 (gj-trendy-solve) S 28575 28576 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 18 0 1 0 4927452 2629632 269 1283457024 134512640 135304128 4294066448 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28576/statm: 642 269 229 194 0 29 0
[pid=28577] ppid=28576 vsize=409804 CPUtime=0.15
/proc/28577/stat : 28577 (java) S 28576 28576 1511 34817 1511 4202496 3949 0 1 0 13 2 0 0 25 0 9 0 4927452 419639296 3377 1283457024 134512640 134550932 4287287744 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28577/statm: 102451 3377 1910 10 0 96599 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 412372

[startup+0.205275 s]
/proc/loadavg: 1.12 1.06 1.07 4/34 28577
/proc/meminfo: memFree=334288/1048576 swapFree=0/0
[pid=28576] ppid=28575 vsize=2568 CPUtime=0
/proc/28576/stat : 28576 (gj-trendy-solve) S 28575 28576 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 18 0 1 0 4927452 2629632 269 1283457024 134512640 135304128 4294066448 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28576/statm: 642 269 229 194 0 29 0
[pid=28577] ppid=28576 vsize=409804 CPUtime=0.2
/proc/28577/stat : 28577 (java) S 28576 28576 1511 34817 1511 4202496 4062 0 1 0 18 2 0 0 25 0 9 0 4927452 419639296 3490 1283457024 134512640 134550932 4287287744 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28577/statm: 102451 3490 1910 10 0 96599 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 412372

[startup+0.305294 s]
/proc/loadavg: 1.12 1.06 1.07 4/34 28577
/proc/meminfo: memFree=334288/1048576 swapFree=0/0
[pid=28576] ppid=28575 vsize=2568 CPUtime=0
/proc/28576/stat : 28576 (gj-trendy-solve) S 28575 28576 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 18 0 1 0 4927452 2629632 269 1283457024 134512640 135304128 4294066448 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28576/statm: 642 269 229 194 0 29 0
[pid=28577] ppid=28576 vsize=410388 CPUtime=0.3
/proc/28577/stat : 28577 (java) S 28576 28576 1511 34817 1511 4202496 4410 0 1 0 28 2 0 0 25 0 9 0 4927452 420237312 3838 1283457024 134512640 134550932 4287287744 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28577/statm: 102597 3838 1933 10 0 96745 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 412956

[startup+0.70539 s]
/proc/loadavg: 1.12 1.06 1.07 4/34 28577
/proc/meminfo: memFree=334288/1048576 swapFree=0/0
[pid=28576] ppid=28575 vsize=2568 CPUtime=0
/proc/28576/stat : 28576 (gj-trendy-solve) S 28575 28576 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 18 0 1 0 4927452 2629632 269 1283457024 134512640 135304128 4294066448 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28576/statm: 642 269 229 194 0 29 0
[pid=28577] ppid=28576 vsize=410656 CPUtime=0.7
/proc/28577/stat : 28577 (java) S 28576 28576 1511 34817 1511 4202496 12045 0 1 0 67 3 0 0 25 0 9 0 4927452 420511744 11285 1283457024 134512640 134550932 4287287744 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28577/statm: 102664 11285 2901 10 0 96812 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 413224

[startup+1.50559 s]
/proc/loadavg: 1.12 1.06 1.07 2/43 28586
/proc/meminfo: memFree=275800/1048576 swapFree=0/0
[pid=28576] ppid=28575 vsize=2568 CPUtime=0
/proc/28576/stat : 28576 (gj-trendy-solve) S 28575 28576 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 18 0 1 0 4927452 2629632 269 1283457024 134512640 135304128 4294066448 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28576/statm: 642 269 229 194 0 29 0
[pid=28577] ppid=28576 vsize=410788 CPUtime=1.5
/proc/28577/stat : 28577 (java) S 28576 28576 1511 34817 1511 4202496 26068 0 1 0 144 6 0 0 25 0 9 0 4927452 420646912 25308 1283457024 134512640 134550932 4287287744 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28577/statm: 102697 25308 2901 10 0 96845 0
[pid=28577/tid=28579] ppid=28576 vsize=410788 CPUtime=0.84
/proc/28577/task/28579/stat : 28579 (java) R 28576 28576 1511 34817 1511 4202560 6769 0 1 0 83 1 0 0 25 0 9 0 4927453 420646912 25308 1283457024 134512640 134550932 4287287744 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28577/tid=28580] ppid=28576 vsize=410788 CPUtime=0.61
/proc/28577/task/28580/stat : 28580 (java) R 28576 28576 1511 34817 1511 4202560 17909 0 0 0 57 4 0 0 18 0 9 0 4927454 420646912 25308 1283457024 134512640 134550932 4287287744 18446744073709551615 4153654138 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=28577/tid=28581] ppid=28576 vsize=410788 CPUtime=0
/proc/28577/task/28581/stat : 28581 (java) S 28576 28576 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 20 0 9 0 4927454 420646912 25308 1283457024 134512640 134550932 4287287744 18446744073709551615 4294960130 0 4 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
[pid=28577/tid=28582] ppid=28576 vsize=410788 CPUtime=0
/proc/28577/task/28582/stat : 28582 (java) S 28576 28576 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 20 0 9 0 4927454 420646912 25308 1283457024 134512640 134550932 4287287744 18446744073709551615 4294960130 0 4 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
[pid=28577/tid=28583] ppid=28576 vsize=410788 CPUtime=0
/proc/28577/task/28583/stat : 28583 (java) S 28576 28576 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 4927455 420646912 25308 1283457024 134512640 134550932 4287287744 18446744073709551615 4294960130 0 4 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
[pid=28577/tid=28584] ppid=28576 vsize=410788 CPUtime=0.03
/proc/28577/task/28584/stat : 28584 (java) S 28576 28576 1511 34817 1511 4202560 448 0 0 0 3 0 0 0 17 0 9 0 4927455 420646912 25308 1283457024 134512640 134550932 4287287744 18446744073709551615 4294960130 0 4 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
[pid=28577/tid=28585] ppid=28576 vsize=410788 CPUtime=0
/proc/28577/task/28585/stat : 28585 (java) S 28576 28576 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 4927455 420646912 25308 1283457024 134512640 134550932 4287287744 18446744073709551615 4294960130 0 4 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
[pid=28577/tid=28586] ppid=28576 vsize=410788 CPUtime=0
/proc/28577/task/28586/stat : 28586 (java) S 28576 28576 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 9 0 4927455 420646912 25308 1283457024 134512640 134550932 4287287744 18446744073709551615 4294960130 0 4 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 413356

[startup+3.10612 s]
/proc/loadavg: 1.12 1.06 1.07 2/43 28586
/proc/meminfo: memFree=201896/1048576 swapFree=0/0
[pid=28576] ppid=28575 vsize=2568 CPUtime=0
/proc/28576/stat : 28576 (gj-trendy-solve) S 28575 28576 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 18 0 1 0 4927452 2629632 269 1283457024 134512640 135304128 4294066448 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28576/statm: 642 269 229 194 0 29 0
[pid=28577] ppid=28576 vsize=410920 CPUtime=3.11
/proc/28577/stat : 28577 (java) S 28576 28576 1511 34817 1511 4202496 48233 0 1 0 298 13 0 0 25 0 9 0 4927452 420782080 47473 1283457024 134512640 134550932 4287287744 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28577/statm: 102730 47473 2901 10 0 96878 0
[pid=28577/tid=28579] ppid=28576 vsize=410920 CPUtime=1.5
/proc/28577/task/28579/stat : 28579 (java) R 28576 28576 1511 34817 1511 4202560 13757 0 1 0 146 4 0 0 25 0 9 0 4927453 420782080 47473 1283457024 134512640 134550932 4287287744 18446744073709551615 4115798445 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28577/tid=28580] ppid=28576 vsize=410920 CPUtime=1.55
/proc/28577/task/28580/stat : 28580 (java) S 28576 28576 1511 34817 1511 4202560 33082 0 0 0 148 7 0 0 16 0 9 0 4927454 420782080 47473 1283457024 134512640 134550932 4287287744 18446744073709551615 4294960130 0 0 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
[pid=28577/tid=28581] ppid=28576 vsize=410920 CPUtime=0
/proc/28577/task/28581/stat : 28581 (java) S 28576 28576 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 20 0 9 0 4927454 420782080 47473 1283457024 134512640 134550932 4287287744 18446744073709551615 4294960130 0 4 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
[pid=28577/tid=28582] ppid=28576 vsize=410920 CPUtime=0
/proc/28577/task/28582/stat : 28582 (java) S 28576 28576 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 20 0 9 0 4927454 420782080 47473 1283457024 134512640 134550932 4287287744 18446744073709551615 4294960130 0 4 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
[pid=28577/tid=28583] ppid=28576 vsize=410920 CPUtime=0
/proc/28577/task/28583/stat : 28583 (java) S 28576 28576 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 4927455 420782080 47473 1283457024 134512640 134550932 4287287744 18446744073709551615 4294960130 0 4 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
[pid=28577/tid=28584] ppid=28576 vsize=410920 CPUtime=0.03
/proc/28577/task/28584/stat : 28584 (java) S 28576 28576 1511 34817 1511 4202560 452 0 0 0 3 0 0 0 15 0 9 0 4927455 420782080 47473 1283457024 134512640 134550932 4287287744 18446744073709551615 4294960130 0 4 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
[pid=28577/tid=28585] ppid=28576 vsize=410920 CPUtime=0
/proc/28577/task/28585/stat : 28585 (java) S 28576 28576 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 4927455 420782080 47473 1283457024 134512640 134550932 4287287744 18446744073709551615 4294960130 0 4 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
[pid=28577/tid=28586] ppid=28576 vsize=410920 CPUtime=0
/proc/28577/task/28586/stat : 28586 (java) S 28576 28576 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 9 0 4927455 420782080 47473 1283457024 134512640 134550932 4287287744 18446744073709551615 4294960130 0 4 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.11
Current children cumulated vsize (KiB) 413488

[startup+6.3074 s]
/proc/loadavg: 1.11 1.06 1.07 2/44 28587
/proc/meminfo: memFree=89792/1048576 swapFree=0/0
[pid=28576] ppid=28575 vsize=2568 CPUtime=0
/proc/28576/stat : 28576 (gj-trendy-solve) S 28575 28576 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 18 0 1 0 4927452 2629632 269 1283457024 134512640 135304128 4294066448 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28576/statm: 642 269 229 194 0 29 0
[pid=28577] ppid=28576 vsize=411256 CPUtime=6.31
/proc/28577/stat : 28577 (java) S 28576 28576 1511 34817 1511 4202496 65991 0 1 0 612 19 0 0 25 0 10 0 4927452 421126144 65137 1283457024 134512640 134550932 4287287744 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28577/statm: 102814 65137 2920 10 0 96959 0
[pid=28577/tid=28579] ppid=28576 vsize=411256 CPUtime=3.8
/proc/28577/task/28579/stat : 28579 (java) R 28576 28576 1511 34817 1511 4202560 14385 0 1 0 376 4 0 0 25 0 10 0 4927453 421126144 65137 1283457024 134512640 134550932 4287287744 18446744073709551615 4116176407 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28577/tid=28580] ppid=28576 vsize=411256 CPUtime=2.35
/proc/28577/task/28580/stat : 28580 (java) S 28576 28576 1511 34817 1511 4202560 50105 0 0 0 222 13 0 0 16 0 10 0 4927454 421126144 65137 1283457024 134512640 134550932 4287287744 18446744073709551615 4294960130 0 0 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
[pid=28577/tid=28581] ppid=28576 vsize=411256 CPUtime=0
/proc/28577/task/28581/stat : 28581 (java) S 28576 28576 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 4927454 421126144 65137 1283457024 134512640 134550932 4287287744 18446744073709551615 4294960130 0 4 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
[pid=28577/tid=28582] ppid=28576 vsize=411256 CPUtime=0
/proc/28577/task/28582/stat : 28582 (java) S 28576 28576 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 4927454 421126144 65137 1283457024 134512640 134550932 4287287744 18446744073709551615 4294960130 0 4 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
[pid=28577/tid=28583] ppid=28576 vsize=411256 CPUtime=0
/proc/28577/task/28583/stat : 28583 (java) S 28576 28576 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4927455 421126144 65137 1283457024 134512640 134550932 4287287744 18446744073709551615 4294960130 0 4 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
[pid=28577/tid=28584] ppid=28576 vsize=411256 CPUtime=0.13
/proc/28577/task/28584/stat : 28584 (java) S 28576 28576 1511 34817 1511 4202560 554 0 0 0 13 0 0 0 15 0 10 0 4927455 421126144 65137 1283457024 134512640 134550932 4287287744 18446744073709551615 4294960130 0 4 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
[pid=28577/tid=28585] ppid=28576 vsize=411256 CPUtime=0
/proc/28577/task/28585/stat : 28585 (java) S 28576 28576 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4927455 421126144 65137 1283457024 134512640 134550932 4287287744 18446744073709551615 4294960130 0 4 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
[pid=28577/tid=28586] ppid=28576 vsize=411256 CPUtime=0
/proc/28577/task/28586/stat : 28586 (java) S 28576 28576 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 4927455 421126144 65137 1283457024 134512640 134550932 4287287744 18446744073709551615 4294960130 0 4 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
[pid=28577/tid=28587] ppid=28576 vsize=411256 CPUtime=0
/proc/28577/task/28587/stat : 28587 (java) S 28576 28576 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 4927880 421126144 65137 1283457024 134512640 134550932 4287287744 18446744073709551615 4294960130 0 4 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.31
Current children cumulated vsize (KiB) 413824

[startup+12.7089 s]
/proc/loadavg: 1.10 1.06 1.07 2/44 28587
/proc/meminfo: memFree=85212/1048576 swapFree=0/0
[pid=28576] ppid=28575 vsize=2568 CPUtime=0
/proc/28576/stat : 28576 (gj-trendy-solve) S 28575 28576 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 18 0 1 0 4927452 2629632 269 1283457024 134512640 135304128 4294066448 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28576/statm: 642 269 229 194 0 29 0
[pid=28577] ppid=28576 vsize=411256 CPUtime=12.7
/proc/28577/stat : 28577 (java) S 28576 28576 1511 34817 1511 4202496 65997 0 1 0 1250 20 0 0 25 0 10 0 4927452 421126144 65143 1283457024 134512640 134550932 4287287744 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28577/statm: 102814 65143 2920 10 0 96959 0
[pid=28577/tid=28579] ppid=28576 vsize=411256 CPUtime=10.15
/proc/28577/task/28579/stat : 28579 (java) R 28576 28576 1511 34817 1511 4202560 14386 0 1 0 1010 5 0 0 25 0 10 0 4927453 421126144 65143 1283457024 134512640 134550932 4287287744 18446744073709551615 4116273106 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28577/tid=28580] ppid=28576 vsize=411256 CPUtime=2.39
/proc/28577/task/28580/stat : 28580 (java) S 28576 28576 1511 34817 1511 4202560 50105 0 0 0 226 13 0 0 15 0 10 0 4927454 421126144 65143 1283457024 134512640 134550932 4287287744 18446744073709551615 4294960130 0 0 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
[pid=28577/tid=28581] ppid=28576 vsize=411256 CPUtime=0
/proc/28577/task/28581/stat : 28581 (java) S 28576 28576 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 4927454 421126144 65143 1283457024 134512640 134550932 4287287744 18446744073709551615 4294960130 0 4 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
[pid=28577/tid=28582] ppid=28576 vsize=411256 CPUtime=0
/proc/28577/task/28582/stat : 28582 (java) S 28576 28576 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 4927454 421126144 65143 1283457024 134512640 134550932 4287287744 18446744073709551615 4294960130 0 4 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
[pid=28577/tid=28583] ppid=28576 vsize=411256 CPUtime=0
/proc/28577/task/28583/stat : 28583 (java) S 28576 28576 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4927455 421126144 65143 1283457024 134512640 134550932 4287287744 18446744073709551615 4294960130 0 4 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
[pid=28577/tid=28584] ppid=28576 vsize=411256 CPUtime=0.13
/proc/28577/task/28584/stat : 28584 (java) S 28576 28576 1511 34817 1511 4202560 559 0 0 0 13 0 0 0 15 0 10 0 4927455 421126144 65143 1283457024 134512640 134550932 4287287744 18446744073709551615 4294960130 0 4 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
[pid=28577/tid=28585] ppid=28576 vsize=411256 CPUtime=0
/proc/28577/task/28585/stat : 28585 (java) S 28576 28576 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4927455 421126144 65143 1283457024 134512640 134550932 4287287744 18446744073709551615 4294960130 0 4 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
[pid=28577/tid=28586] ppid=28576 vsize=411256 CPUtime=0
/proc/28577/task/28586/stat : 28586 (java) S 28576 28576 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 4927455 421126144 65143 1283457024 134512640 134550932 4287287744 18446744073709551615 4294960130 0 4 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
[pid=28577/tid=28587] ppid=28576 vsize=411256 CPUtime=0
/proc/28577/task/28587/stat : 28587 (java) S 28576 28576 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 4927880 421126144 65143 1283457024 134512640 134550932 4287287744 18446744073709551615 4294960130 0 4 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 413824

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

[startup+12.8089 s]
/proc/loadavg: 1.10 1.06 1.07 2/44 28587
/proc/meminfo: memFree=85212/1048576 swapFree=0/0
[pid=28576] ppid=28575 vsize=2568 CPUtime=0
/proc/28576/stat : 28576 (gj-trendy-solve) S 28575 28576 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 18 0 1 0 4927452 2629632 269 1283457024 134512640 135304128 4294066448 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28576/statm: 642 269 229 194 0 29 0
[pid=28577] ppid=28576 vsize=411256 CPUtime=12.8
/proc/28577/stat : 28577 (java) S 28576 28576 1511 34817 1511 4202496 65997 0 1 0 1260 20 0 0 25 0 10 0 4927452 421126144 65143 1283457024 134512640 134550932 4287287744 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28577/statm: 102814 65143 2920 10 0 96959 0
[pid=28577/tid=28579] ppid=28576 vsize=411256 CPUtime=10.25
/proc/28577/task/28579/stat : 28579 (java) R 28576 28576 1511 34817 1511 4202560 14386 0 1 0 1020 5 0 0 25 0 10 0 4927453 421126144 65143 1283457024 134512640 134550932 4287287744 18446744073709551615 4115409399 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28577/tid=28580] ppid=28576 vsize=411256 CPUtime=2.39
/proc/28577/task/28580/stat : 28580 (java) S 28576 28576 1511 34817 1511 4202560 50105 0 0 0 226 13 0 0 15 0 10 0 4927454 421126144 65143 1283457024 134512640 134550932 4287287744 18446744073709551615 4294960130 0 0 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
[pid=28577/tid=28581] ppid=28576 vsize=411256 CPUtime=0
/proc/28577/task/28581/stat : 28581 (java) S 28576 28576 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 4927454 421126144 65143 1283457024 134512640 134550932 4287287744 18446744073709551615 4294960130 0 4 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
[pid=28577/tid=28582] ppid=28576 vsize=411256 CPUtime=0
/proc/28577/task/28582/stat : 28582 (java) S 28576 28576 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 4927454 421126144 65143 1283457024 134512640 134550932 4287287744 18446744073709551615 4294960130 0 4 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
[pid=28577/tid=28583] ppid=28576 vsize=411256 CPUtime=0
/proc/28577/task/28583/stat : 28583 (java) S 28576 28576 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4927455 421126144 65143 1283457024 134512640 134550932 4287287744 18446744073709551615 4294960130 0 4 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
[pid=28577/tid=28584] ppid=28576 vsize=411256 CPUtime=0.13
/proc/28577/task/28584/stat : 28584 (java) S 28576 28576 1511 34817 1511 4202560 559 0 0 0 13 0 0 0 15 0 10 0 4927455 421126144 65143 1283457024 134512640 134550932 4287287744 18446744073709551615 4294960130 0 4 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
[pid=28577/tid=28585] ppid=28576 vsize=411256 CPUtime=0
/proc/28577/task/28585/stat : 28585 (java) S 28576 28576 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4927455 421126144 65143 1283457024 134512640 134550932 4287287744 18446744073709551615 4294960130 0 4 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
[pid=28577/tid=28586] ppid=28576 vsize=411256 CPUtime=0
/proc/28577/task/28586/stat : 28586 (java) S 28576 28576 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 4927455 421126144 65143 1283457024 134512640 134550932 4287287744 18446744073709551615 4294960130 0 4 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
[pid=28577/tid=28587] ppid=28576 vsize=411256 CPUtime=0
/proc/28577/task/28587/stat : 28587 (java) S 28576 28576 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 4927880 421126144 65143 1283457024 134512640 134550932 4287287744 18446744073709551615 4294960130 0 4 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.8
Current children cumulated vsize (KiB) 413824

[startup+13.209 s]
/proc/loadavg: 1.10 1.06 1.07 3/44 28587
/proc/meminfo: memFree=85212/1048576 swapFree=0/0
[pid=28576] ppid=28575 vsize=2568 CPUtime=0
/proc/28576/stat : 28576 (gj-trendy-solve) S 28575 28576 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 18 0 1 0 4927452 2629632 269 1283457024 134512640 135304128 4294066448 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28576/statm: 642 269 229 194 0 29 0
[pid=28577] ppid=28576 vsize=411256 CPUtime=13.2
/proc/28577/stat : 28577 (java) S 28576 28576 1511 34817 1511 4202496 65998 0 1 0 1300 20 0 0 25 0 10 0 4927452 421126144 65144 1283457024 134512640 134550932 4287287744 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28577/statm: 102814 65144 2920 10 0 96959 0
[pid=28577/tid=28579] ppid=28576 vsize=411256 CPUtime=10.65
/proc/28577/task/28579/stat : 28579 (java) R 28576 28576 1511 34817 1511 4202560 14386 0 1 0 1060 5 0 0 25 0 10 0 4927453 421126144 65144 1283457024 134512640 134550932 4287287744 18446744073709551615 4116145743 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28577/tid=28580] ppid=28576 vsize=411256 CPUtime=2.39
/proc/28577/task/28580/stat : 28580 (java) S 28576 28576 1511 34817 1511 4202560 50105 0 0 0 226 13 0 0 15 0 10 0 4927454 421126144 65144 1283457024 134512640 134550932 4287287744 18446744073709551615 4294960130 0 0 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
[pid=28577/tid=28581] ppid=28576 vsize=411256 CPUtime=0
/proc/28577/task/28581/stat : 28581 (java) S 28576 28576 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 4927454 421126144 65144 1283457024 134512640 134550932 4287287744 18446744073709551615 4294960130 0 4 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
[pid=28577/tid=28582] ppid=28576 vsize=411256 CPUtime=0
/proc/28577/task/28582/stat : 28582 (java) S 28576 28576 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 4927454 421126144 65144 1283457024 134512640 134550932 4287287744 18446744073709551615 4294960130 0 4 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
[pid=28577/tid=28583] ppid=28576 vsize=411256 CPUtime=0
/proc/28577/task/28583/stat : 28583 (java) S 28576 28576 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4927455 421126144 65144 1283457024 134512640 134550932 4287287744 18446744073709551615 4294960130 0 4 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
[pid=28577/tid=28584] ppid=28576 vsize=411256 CPUtime=0.13
/proc/28577/task/28584/stat : 28584 (java) S 28576 28576 1511 34817 1511 4202560 560 0 0 0 13 0 0 0 15 0 10 0 4927455 421126144 65144 1283457024 134512640 134550932 4287287744 18446744073709551615 4294960130 0 4 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
[pid=28577/tid=28585] ppid=28576 vsize=411256 CPUtime=0
/proc/28577/task/28585/stat : 28585 (java) S 28576 28576 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4927455 421126144 65144 1283457024 134512640 134550932 4287287744 18446744073709551615 4294960130 0 4 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
[pid=28577/tid=28586] ppid=28576 vsize=411256 CPUtime=0
/proc/28577/task/28586/stat : 28586 (java) R 28576 28576 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 4927455 421126144 65144 1283457024 134512640 134550932 4287287744 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28577/tid=28587] ppid=28576 vsize=411256 CPUtime=0
/proc/28577/task/28587/stat : 28587 (java) S 28576 28576 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 4927880 421126144 65144 1283457024 134512640 134550932 4287287744 18446744073709551615 4294960130 0 4 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 13.2
Current children cumulated vsize (KiB) 413824

[startup+13.409 s]
/proc/loadavg: 1.10 1.06 1.07 3/44 28587
/proc/meminfo: memFree=85212/1048576 swapFree=0/0
[pid=28576] ppid=28575 vsize=2568 CPUtime=0
/proc/28576/stat : 28576 (gj-trendy-solve) S 28575 28576 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 18 0 1 0 4927452 2629632 269 1283457024 134512640 135304128 4294066448 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28576/statm: 642 269 229 194 0 29 0
[pid=28577] ppid=28576 vsize=411256 CPUtime=13.39
/proc/28577/stat : 28577 (java) S 28576 28576 1511 34817 1511 4202496 65998 0 1 0 1319 20 0 0 25 0 10 0 4927452 421126144 65144 1283457024 134512640 134550932 4287287744 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28577/statm: 102814 65144 2920 10 0 96959 0
[pid=28577/tid=28579] ppid=28576 vsize=411256 CPUtime=10.85
/proc/28577/task/28579/stat : 28579 (java) R 28576 28576 1511 34817 1511 4202560 14386 0 1 0 1080 5 0 0 25 0 10 0 4927453 421126144 65144 1283457024 134512640 134550932 4287287744 18446744073709551615 4116154368 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28577/tid=28580] ppid=28576 vsize=411256 CPUtime=2.39
/proc/28577/task/28580/stat : 28580 (java) S 28576 28576 1511 34817 1511 4202560 50105 0 0 0 226 13 0 0 15 0 10 0 4927454 421126144 65144 1283457024 134512640 134550932 4287287744 18446744073709551615 4294960130 0 0 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
[pid=28577/tid=28581] ppid=28576 vsize=411256 CPUtime=0
/proc/28577/task/28581/stat : 28581 (java) S 28576 28576 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 4927454 421126144 65144 1283457024 134512640 134550932 4287287744 18446744073709551615 4294960130 0 4 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
[pid=28577/tid=28582] ppid=28576 vsize=411256 CPUtime=0
/proc/28577/task/28582/stat : 28582 (java) S 28576 28576 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 4927454 421126144 65144 1283457024 134512640 134550932 4287287744 18446744073709551615 4294960130 0 4 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
[pid=28577/tid=28583] ppid=28576 vsize=411256 CPUtime=0
/proc/28577/task/28583/stat : 28583 (java) S 28576 28576 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4927455 421126144 65144 1283457024 134512640 134550932 4287287744 18446744073709551615 4294960130 0 4 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
[pid=28577/tid=28584] ppid=28576 vsize=411256 CPUtime=0.13
/proc/28577/task/28584/stat : 28584 (java) S 28576 28576 1511 34817 1511 4202560 560 0 0 0 13 0 0 0 15 0 10 0 4927455 421126144 65144 1283457024 134512640 134550932 4287287744 18446744073709551615 4294960130 0 4 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
[pid=28577/tid=28585] ppid=28576 vsize=411256 CPUtime=0
/proc/28577/task/28585/stat : 28585 (java) S 28576 28576 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4927455 421126144 65144 1283457024 134512640 134550932 4287287744 18446744073709551615 4294960130 0 4 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
[pid=28577/tid=28586] ppid=28576 vsize=411256 CPUtime=0
/proc/28577/task/28586/stat : 28586 (java) S 28576 28576 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 4927455 421126144 65144 1283457024 134512640 134550932 4287287744 18446744073709551615 4294960130 0 4 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
[pid=28577/tid=28587] ppid=28576 vsize=411256 CPUtime=0
/proc/28577/task/28587/stat : 28587 (java) S 28576 28576 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 4927880 421126144 65144 1283457024 134512640 134550932 4287287744 18446744073709551615 4294960130 0 4 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 13.39
Current children cumulated vsize (KiB) 413824

[startup+13.5021 s]
/proc/loadavg: 1.10 1.06 1.07 3/44 28587
/proc/meminfo: memFree=85212/1048576 swapFree=0/0
[pid=28576] ppid=28575 vsize=2568 CPUtime=0
/proc/28576/stat : 28576 (gj-trendy-solve) S 28575 28576 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 18 0 1 0 4927452 2629632 269 1283457024 134512640 135304128 4294066448 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28576/statm: 642 269 229 194 0 29 0
[pid=28577] ppid=28576 vsize=411256 CPUtime=13.43
/proc/28577/stat : 28577 (java) S 28576 28576 1511 34817 1511 4202496 66007 0 1 0 1323 20 0 0 25 0 9 0 4927452 421126144 65153 1283457024 134512640 134550932 4287287744 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28577/statm: 102814 65153 2921 10 0 96959 0
[pid=28577/tid=28579] ppid=28576 vsize=411256 CPUtime=10.89
/proc/28577/task/28579/stat : 28579 (java) S 28576 28576 1511 34817 1511 4202560 14386 0 1 0 1084 5 0 0 25 0 9 0 4927453 421126144 65153 1283457024 134512640 134550932 4287287744 18446744073709551615 4294960130 0 4 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
[pid=28577/tid=28580] ppid=28576 vsize=411256 CPUtime=2.39
/proc/28577/task/28580/stat : 28580 (java) S 28576 28576 1511 34817 1511 4202560 50105 0 0 0 226 13 0 0 16 0 9 0 4927454 421126144 65153 1283457024 134512640 134550932 4287287744 18446744073709551615 4294960130 0 0 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
[pid=28577/tid=28581] ppid=28576 vsize=411256 CPUtime=0
/proc/28577/task/28581/stat : 28581 (java) S 28576 28576 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 9 0 4927454 421126144 65153 1283457024 134512640 134550932 4287287744 18446744073709551615 4294960130 0 4 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
[pid=28577/tid=28582] ppid=28576 vsize=411256 CPUtime=0
/proc/28577/task/28582/stat : 28582 (java) S 28576 28576 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 9 0 4927454 421126144 65153 1283457024 134512640 134550932 4287287744 18446744073709551615 4294960130 0 4 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
[pid=28577/tid=28583] ppid=28576 vsize=411256 CPUtime=0
/proc/28577/task/28583/stat : 28583 (java) S 28576 28576 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 4927455 421126144 65153 1283457024 134512640 134550932 4287287744 18446744073709551615 4294960130 0 4 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
[pid=28577/tid=28584] ppid=28576 vsize=411256 CPUtime=0.13
/proc/28577/task/28584/stat : 28584 (java) S 28576 28576 1511 34817 1511 4202560 568 0 0 0 13 0 0 0 16 0 9 0 4927455 421126144 65153 1283457024 134512640 134550932 4287287744 18446744073709551615 4294960130 0 4 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
[pid=28577/tid=28585] ppid=28576 vsize=411256 CPUtime=0
/proc/28577/task/28585/stat : 28585 (java) S 28576 28576 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 4927455 421126144 65153 1283457024 134512640 134550932 4287287744 18446744073709551615 4294960130 0 4 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
[pid=28577/tid=28586] ppid=28576 vsize=411256 CPUtime=0
/proc/28577/task/28586/stat : 28586 (java) R 28576 28576 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 9 0 4927455 421126144 65153 1283457024 134512640 134550932 4287287744 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 13.43
Current children cumulated vsize (KiB) 413824

Child status: 0
Real time (s): 13.523
CPU time (s): 13.4608
CPU user time (s): 13.2368
CPU system time (s): 0.224014
CPU usage (%): 99.54
Max. virtual memory (cumulated for all children) (KiB): 413824

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 13.2368
system time used= 0.224014
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66395
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= 1018
involuntary context switches= 1161

runsolver used 0 second user time and 0 second system time

The end