runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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: BIN/runsolver --timestamp -w /tmp/evaluation-result-3457946-1307166036/watcher-3457946-1307166036 -o /tmp/evaluation-result-3457946-1307166036/solver-3457946-1307166036 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3457946-1307166036.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.10 2.07 2.02 2/507 28999
/proc/meminfo: memFree=27041896/32951124 swapFree=63649284/67111528
[pid=28999] ppid=28997 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/28999/stat : 28999 (java) S 28997 28999 28154 0 -1 4202496 3662 0 1 0 0 0 0 0 25 0 2 0 828202061 13850947584 3363 33554432000 1073741824 1073778376 140733380804400 18446744073709551615 210216450021 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/28999/statm: 3381579 3378 917 9 0 3372735 0
[pid=28999/tid=29000] ppid=28997 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/28999/task/29000/stat : 29000 (java) R 28997 28999 28154 0 -1 4202560 5002 0 1 0 0 0 0 0 25 0 2 0 828202061 13850947584 5818 33554432000 1073741824 1073778376 140733380804400 18446744073709551615 210204341307 0 4 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.039975 s]
/proc/loadavg: 2.10 2.07 2.02 2/507 28999
/proc/meminfo: memFree=27041896/32951124 swapFree=63649284/67111528
[pid=28999] ppid=28997 vsize=13547424 CPUtime=0.03 cores=1,3,5,7
/proc/28999/stat : 28999 (java) S 28997 28999 28154 0 -1 4202496 13469 0 1 0 2 1 0 0 25 0 11 0 828202061 13872562176 13167 33554432000 1073741824 1073778376 140733380804400 18446744073709551615 210216450021 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/28999/statm: 3386856 13169 1600 9 0 3377604 0
[pid=28999/tid=29000] ppid=28997 vsize=13547424 CPUtime=0.02 cores=1,3,5,7
/proc/28999/task/29000/stat : 29000 (java) R 28997 28999 28154 0 -1 4202560 12346 0 1 0 1 1 0 0 25 0 11 0 828202061 13872562176 13169 33554432000 1073741824 1073778376 140733380804400 18446744073709551615 46929728774051 0 4 0 16784584 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13547424
[startup+0.100928 s]
/proc/loadavg: 2.10 2.07 2.02 2/507 28999
/proc/meminfo: memFree=27041896/32951124 swapFree=63649284/67111528
[pid=28999] ppid=28997 vsize=13622048 CPUtime=0.09 cores=1,3,5,7
/proc/28999/stat : 28999 (java) S 28997 28999 28154 0 -1 4202496 15500 0 1 0 8 1 0 0 25 0 18 0 828202061 13948977152 15166 33554432000 1073741824 1073778376 140733380804400 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/28999/statm: 3405512 15167 2092 9 0 3396246 0
[pid=28999/tid=29000] ppid=28997 vsize=13622048 CPUtime=0.08 cores=1,3,5,7
/proc/28999/task/29000/stat : 29000 (java) R 28997 28999 28154 0 -1 4202560 13554 0 1 0 7 1 0 0 25 0 18 0 828202061 13948977152 15167 33554432000 1073741824 1073778376 140733380804400 18446744073709551615 46929733241683 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13622048
[startup+0.300897 s]
/proc/loadavg: 2.10 2.07 2.02 2/507 28999
/proc/meminfo: memFree=27041896/32951124 swapFree=63649284/67111528
[pid=28999] ppid=28997 vsize=13623748 CPUtime=0.47 cores=1,3,5,7
/proc/28999/stat : 28999 (java) S 28997 28999 28154 0 -1 4202496 18660 0 1 0 45 2 0 0 25 0 18 0 828202061 13950717952 17942 33554432000 1073741824 1073778376 140733380804400 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/28999/statm: 3405937 17942 2200 9 0 3396671 0
[pid=28999/tid=29000] ppid=28997 vsize=13623748 CPUtime=0.28 cores=1,3,5,7
/proc/28999/task/29000/stat : 29000 (java) R 28997 28999 28154 0 -1 4202560 15471 0 1 0 27 1 0 0 25 0 18 0 828202061 13950717952 17943 33554432000 1073741824 1073778376 140733380804400 18446744073709551615 46912505542761 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 13623748
[startup+0.70083 s]
/proc/loadavg: 2.10 2.07 2.02 2/507 28999
/proc/meminfo: memFree=27041896/32951124 swapFree=63649284/67111528
[pid=28999] ppid=28997 vsize=13627268 CPUtime=1.46 cores=1,3,5,7
/proc/28999/stat : 28999 (java) S 28997 28999 28154 0 -1 4202496 38694 0 1 0 141 5 0 0 25 0 19 0 828202061 13954322432 34597 33554432000 1073741824 1073778376 140733380804400 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/28999/statm: 3406817 34597 2234 9 0 3397551 0
[pid=28999/tid=29000] ppid=28997 vsize=13627268 CPUtime=0.68 cores=1,3,5,7
/proc/28999/task/29000/stat : 29000 (java) R 28997 28999 28154 0 -1 4202560 30617 0 1 0 64 4 0 0 19 0 19 0 828202061 13954322432 34597 33554432000 1073741824 1073778376 140733380804400 18446744073709551615 46912505852589 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 13627268
[startup+1.50074 s]
/proc/loadavg: 2.10 2.07 2.02 5/525 29063
/proc/meminfo: memFree=26954220/32951124 swapFree=63649284/67111528
[pid=28999] ppid=28997 vsize=13627660 CPUtime=2.51 cores=1,3,5,7
/proc/28999/stat : 28999 (java) S 28997 28999 28154 0 -1 4202496 41673 0 1 0 245 6 0 0 25 0 19 0 828202061 13954723840 37281 33554432000 1073741824 1073778376 140733380804400 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/28999/statm: 3406915 37281 2263 9 0 3397649 0
[pid=28999/tid=29000] ppid=28997 vsize=13627660 CPUtime=1.45 cores=1,3,5,7
/proc/28999/task/29000/stat : 29000 (java) R 28997 28999 28154 0 -1 4202560 31237 0 1 0 141 4 0 0 18 0 19 0 828202061 13954723840 37281 33554432000 1073741824 1073778376 140733380804400 18446744073709551615 46912505874250 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=28999/tid=29002] ppid=28997 vsize=13627660 CPUtime=0 cores=1,3,5,7
/proc/28999/task/29002/stat : 29002 (java) S 28997 28999 28154 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 828202063 13954723840 37281 33554432000 1073741824 1073778376 140733380804400 18446744073709551615 210216463257 0 4 0 16800975 18446604456872482048 0 0 -1 5 0 0 0
[pid=28999/tid=29003] ppid=28997 vsize=13627660 CPUtime=0 cores=1,3,5,7
/proc/28999/task/29003/stat : 29003 (java) S 28997 28999 28154 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 828202063 13954723840 37281 33554432000 1073741824 1073778376 140733380804400 18446744073709551615 210216463257 0 4 0 16800975 18446604456872482048 0 0 -1 5 0 0 0
[pid=28999/tid=29004] ppid=28997 vsize=13627660 CPUtime=0 cores=1,3,5,7
/proc/28999/task/29004/stat : 29004 (java) S 28997 28999 28154 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 828202063 13954723840 37281 33554432000 1073741824 1073778376 140733380804400 18446744073709551615 210216463257 0 4 0 16800975 18446604456872482048 0 0 -1 5 0 0 0
[pid=28999/tid=29005] ppid=28997 vsize=13627660 CPUtime=0 cores=1,3,5,7
/proc/28999/task/29005/stat : 29005 (java) S 28997 28999 28154 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 828202063 13954723840 37281 33554432000 1073741824 1073778376 140733380804400 18446744073709551615 210216463257 0 4 0 16800975 18446604456872482048 0 0 -1 5 0 0 0
[pid=28999/tid=29006] ppid=28997 vsize=13627660 CPUtime=0 cores=1,3,5,7
/proc/28999/task/29006/stat : 29006 (java) S 28997 28999 28154 0 -1 4202560 39 0 0 0 0 0 0 0 18 0 19 0 828202063 13954723840 37281 33554432000 1073741824 1073778376 140733380804400 18446744073709551615 210216463257 0 4 0 16800975 18446604456872482048 0 0 -1 5 0 0 0
[pid=28999/tid=29007] ppid=28997 vsize=13627660 CPUtime=0 cores=1,3,5,7
/proc/28999/task/29007/stat : 29007 (java) S 28997 28999 28154 0 -1 4202560 24 0 0 0 0 0 0 0 18 0 19 0 828202063 13954723840 37281 33554432000 1073741824 1073778376 140733380804400 18446744073709551615 210216463257 0 4 0 16800975 18446604456872482048 0 0 -1 5 0 0 0
[pid=28999/tid=29008] ppid=28997 vsize=13627660 CPUtime=0 cores=1,3,5,7
/proc/28999/task/29008/stat : 29008 (java) S 28997 28999 28154 0 -1 4202560 469 0 0 0 0 0 0 0 18 0 19 0 828202063 13954723840 37281 33554432000 1073741824 1073778376 140733380804400 18446744073709551615 210216463257 0 4 0 16800975 18446604456872482048 0 0 -1 1 0 0 0
[pid=28999/tid=29009] ppid=28997 vsize=13627660 CPUtime=0 cores=1,3,5,7
/proc/28999/task/29009/stat : 29009 (java) S 28997 28999 28154 0 -1 4202560 456 0 0 0 0 0 0 0 18 0 19 0 828202063 13954723840 37281 33554432000 1073741824 1073778376 140733380804400 18446744073709551615 210216463257 0 4 0 16800975 18446604456872482048 0 0 -1 1 0 0 0
[pid=28999/tid=29010] ppid=28997 vsize=13627660 CPUtime=0.02 cores=1,3,5,7
/proc/28999/task/29010/stat : 29010 (java) S 28997 28999 28154 0 -1 4202560 986 0 0 0 2 0 0 0 15 0 19 0 828202064 13954723840 37281 33554432000 1073741824 1073778376 140733380804400 18446744073709551615 210216463872 0 0 0 16800975 18446604456872482048 0 0 -1 7 0 0 0
[pid=28999/tid=29011] ppid=28997 vsize=13627660 CPUtime=0 cores=1,3,5,7
/proc/28999/task/29011/stat : 29011 (java) S 28997 28999 28154 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828202065 13954723840 37281 33554432000 1073741824 1073778376 140733380804400 18446744073709551615 210216463257 0 4 0 16800975 18446604456872482048 0 0 -1 1 0 0 0
[pid=28999/tid=29012] ppid=28997 vsize=13627660 CPUtime=0 cores=1,3,5,7
/proc/28999/task/29012/stat : 29012 (java) S 28997 28999 28154 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 828202065 13954723840 37281 33554432000 1073741824 1073778376 140733380804400 18446744073709551615 210216463257 0 4 0 16800975 18446604456872482048 0 0 -1 1 0 0 0
[pid=28999/tid=29013] ppid=28997 vsize=13627660 CPUtime=0 cores=1,3,5,7
/proc/28999/task/29013/stat : 29013 (java) S 28997 28999 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828202067 13954723840 37281 33554432000 1073741824 1073778376 140733380804400 18446744073709551615 210216470961 0 4 0 16800975 18446604456872482048 0 0 -1 1 0 0 0
[pid=28999/tid=29014] ppid=28997 vsize=13627660 CPUtime=0.48 cores=1,3,5,7
/proc/28999/task/29014/stat : 29014 (java) S 28997 28999 28154 0 -1 4202560 3857 0 0 0 48 0 0 0 20 0 19 0 828202067 13954723840 37281 33554432000 1073741824 1073778376 140733380804400 18446744073709551615 210216463257 0 4 0 16800975 18446604456872482048 0 0 -1 7 0 0 0
[pid=28999/tid=29015] ppid=28997 vsize=13627660 CPUtime=0.51 cores=1,3,5,7
/proc/28999/task/29015/stat : 29015 (java) S 28997 28999 28154 0 -1 4202560 3450 0 0 0 51 0 0 0 16 0 19 0 828202067 13954723840 37281 33554432000 1073741824 1073778376 140733380804400 18446744073709551615 210216463257 0 4 0 16800975 18446604456872482048 0 0 -1 5 0 0 0
[pid=28999/tid=29016] ppid=28997 vsize=13627660 CPUtime=0 cores=1,3,5,7
/proc/28999/task/29016/stat : 29016 (java) S 28997 28999 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828202067 13954723840 37281 33554432000 1073741824 1073778376 140733380804400 18446744073709551615 210216463257 0 4 0 16800975 18446604456872482048 0 0 -1 1 0 0 0
[pid=28999/tid=29017] ppid=28997 vsize=13627660 CPUtime=0 cores=1,3,5,7
/proc/28999/task/29017/stat : 29017 (java) S 28997 28999 28154 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828202067 13954723840 37281 33554432000 1073741824 1073778376 140733380804400 18446744073709551615 210216463872 0 4 0 16800975 18446604456872482048 0 0 -1 3 0 0 0
[pid=28999/tid=29040] ppid=28997 vsize=13627660 CPUtime=0 cores=1,3,5,7
/proc/28999/task/29040/stat : 29040 (java) S 28997 28999 28154 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 828202114 13954723840 37281 33554432000 1073741824 1073778376 140733380804400 18446744073709551615 210216463872 0 4 0 16800975 18446604456872482048 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.51
Current children cumulated vsize (KiB) 13627660
Solver just ended. Dumping a history of the last processes samples
[startup+1.90068 s]
/proc/loadavg: 2.10 2.07 2.02 5/525 29063
/proc/meminfo: memFree=26954220/32951124 swapFree=63649284/67111528
[pid=28999] ppid=28997 vsize=13627660 CPUtime=2.91 cores=1,3,5,7
/proc/28999/stat : 28999 (java) S 28997 28999 28154 0 -1 4202496 42077 0 1 0 285 6 0 0 25 0 19 0 828202061 13954723840 37683 33554432000 1073741824 1073778376 140733380804400 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/28999/statm: 3406915 37683 2263 9 0 3397649 0
[pid=28999/tid=29000] ppid=28997 vsize=13627660 CPUtime=1.81 cores=1,3,5,7
/proc/28999/task/29000/stat : 29000 (java) R 28997 28999 28154 0 -1 4202560 31238 0 1 0 177 4 0 0 18 0 19 0 828202061 13954723840 37683 33554432000 1073741824 1073778376 140733380804400 18446744073709551615 46912505843200 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=28999/tid=29002] ppid=28997 vsize=13627660 CPUtime=0 cores=1,3,5,7
/proc/28999/task/29002/stat : 29002 (java) S 28997 28999 28154 0 -1 4202560 94 0 0 0 0 0 0 0 15 0 19 0 828202063 13954723840 37683 33554432000 1073741824 1073778376 140733380804400 18446744073709551615 210216463257 0 4 0 16800975 18446604456872482048 0 0 -1 5 0 0 0
[pid=28999/tid=29003] ppid=28997 vsize=13627660 CPUtime=0 cores=1,3,5,7
/proc/28999/task/29003/stat : 29003 (java) S 28997 28999 28154 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828202063 13954723840 37683 33554432000 1073741824 1073778376 140733380804400 18446744073709551615 210216463257 0 4 0 16800975 18446604456872482048 0 0 -1 5 0 0 0
[pid=28999/tid=29004] ppid=28997 vsize=13627660 CPUtime=0 cores=1,3,5,7
/proc/28999/task/29004/stat : 29004 (java) S 28997 28999 28154 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828202063 13954723840 37683 33554432000 1073741824 1073778376 140733380804400 18446744073709551615 210216463257 0 4 0 16800975 18446604456872482048 0 0 -1 5 0 0 0
[pid=28999/tid=29005] ppid=28997 vsize=13627660 CPUtime=0 cores=1,3,5,7
/proc/28999/task/29005/stat : 29005 (java) S 28997 28999 28154 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 828202063 13954723840 37683 33554432000 1073741824 1073778376 140733380804400 18446744073709551615 210216463257 0 4 0 16800975 18446604456872482048 0 0 -1 3 0 0 0
[pid=28999/tid=29006] ppid=28997 vsize=13627660 CPUtime=0 cores=1,3,5,7
/proc/28999/task/29006/stat : 29006 (java) S 28997 28999 28154 0 -1 4202560 42 0 0 0 0 0 0 0 16 0 19 0 828202063 13954723840 37683 33554432000 1073741824 1073778376 140733380804400 18446744073709551615 210216463257 0 4 0 16800975 18446604456872482048 0 0 -1 3 0 0 0
[pid=28999/tid=29007] ppid=28997 vsize=13627660 CPUtime=0 cores=1,3,5,7
/proc/28999/task/29007/stat : 29007 (java) S 28997 28999 28154 0 -1 4202560 24 0 0 0 0 0 0 0 15 0 19 0 828202063 13954723840 37683 33554432000 1073741824 1073778376 140733380804400 18446744073709551615 210216463257 0 4 0 16800975 18446604456872482048 0 0 -1 5 0 0 0
[pid=28999/tid=29008] ppid=28997 vsize=13627660 CPUtime=0 cores=1,3,5,7
/proc/28999/task/29008/stat : 29008 (java) S 28997 28999 28154 0 -1 4202560 564 0 0 0 0 0 0 0 15 0 19 0 828202063 13954723840 37683 33554432000 1073741824 1073778376 140733380804400 18446744073709551615 210216463257 0 4 0 16800975 18446604456872482048 0 0 -1 1 0 0 0
[pid=28999/tid=29009] ppid=28997 vsize=13627660 CPUtime=0 cores=1,3,5,7
/proc/28999/task/29009/stat : 29009 (java) S 28997 28999 28154 0 -1 4202560 488 0 0 0 0 0 0 0 15 0 19 0 828202063 13954723840 37683 33554432000 1073741824 1073778376 140733380804400 18446744073709551615 210216463257 0 4 0 16800975 18446604456872482048 0 0 -1 1 0 0 0
[pid=28999/tid=29010] ppid=28997 vsize=13627660 CPUtime=0.05 cores=1,3,5,7
/proc/28999/task/29010/stat : 29010 (java) S 28997 28999 28154 0 -1 4202560 1163 0 0 0 5 0 0 0 15 0 19 0 828202064 13954723840 37683 33554432000 1073741824 1073778376 140733380804400 18446744073709551615 210216463872 0 0 0 16800975 18446604456872482048 0 0 -1 7 0 0 0
[pid=28999/tid=29011] ppid=28997 vsize=13627660 CPUtime=0 cores=1,3,5,7
/proc/28999/task/29011/stat : 29011 (java) S 28997 28999 28154 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828202065 13954723840 37683 33554432000 1073741824 1073778376 140733380804400 18446744073709551615 210216463257 0 4 0 16800975 18446604456872482048 0 0 -1 1 0 0 0
[pid=28999/tid=29012] ppid=28997 vsize=13627660 CPUtime=0 cores=1,3,5,7
/proc/28999/task/29012/stat : 29012 (java) S 28997 28999 28154 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 828202065 13954723840 37683 33554432000 1073741824 1073778376 140733380804400 18446744073709551615 210216463257 0 4 0 16800975 18446604456872482048 0 0 -1 1 0 0 0
[pid=28999/tid=29013] ppid=28997 vsize=13627660 CPUtime=0 cores=1,3,5,7
/proc/28999/task/29013/stat : 29013 (java) S 28997 28999 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828202067 13954723840 37683 33554432000 1073741824 1073778376 140733380804400 18446744073709551615 210216470961 0 4 0 16800975 18446604456872482048 0 0 -1 1 0 0 0
[pid=28999/tid=29014] ppid=28997 vsize=13627660 CPUtime=0.48 cores=1,3,5,7
/proc/28999/task/29014/stat : 29014 (java) S 28997 28999 28154 0 -1 4202560 3858 0 0 0 48 0 0 0 15 0 19 0 828202067 13954723840 37683 33554432000 1073741824 1073778376 140733380804400 18446744073709551615 210216463257 0 4 0 16800975 18446604456872482048 0 0 -1 7 0 0 0
[pid=28999/tid=29015] ppid=28997 vsize=13627660 CPUtime=0.52 cores=1,3,5,7
/proc/28999/task/29015/stat : 29015 (java) S 28997 28999 28154 0 -1 4202560 3452 0 0 0 52 0 0 0 15 0 19 0 828202067 13954723840 37683 33554432000 1073741824 1073778376 140733380804400 18446744073709551615 210216463257 0 4 0 16800975 18446604456872482048 0 0 -1 5 0 0 0
[pid=28999/tid=29016] ppid=28997 vsize=13627660 CPUtime=0 cores=1,3,5,7
/proc/28999/task/29016/stat : 29016 (java) S 28997 28999 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828202067 13954723840 37683 33554432000 1073741824 1073778376 140733380804400 18446744073709551615 210216463257 0 4 0 16800975 18446604456872482048 0 0 -1 1 0 0 0
[pid=28999/tid=29017] ppid=28997 vsize=13627660 CPUtime=0 cores=1,3,5,7
/proc/28999/task/29017/stat : 29017 (java) S 28997 28999 28154 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828202067 13954723840 37683 33554432000 1073741824 1073778376 140733380804400 18446744073709551615 210216463872 0 4 0 16800975 18446604456872482048 0 0 -1 3 0 0 0
[pid=28999/tid=29040] ppid=28997 vsize=13627660 CPUtime=0 cores=1,3,5,7
/proc/28999/task/29040/stat : 29040 (java) S 28997 28999 28154 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 828202114 13954723840 37683 33554432000 1073741824 1073778376 140733380804400 18446744073709551615 210216463872 0 4 0 16800975 18446604456872482048 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 13627660
[startup+2.00065 s]
/proc/loadavg: 2.10 2.07 2.02 5/525 29063
/proc/meminfo: memFree=26954220/32951124 swapFree=63649284/67111528
[pid=28999] ppid=28997 vsize=13627660 CPUtime=3.01 cores=1,3,5,7
/proc/28999/stat : 28999 (java) S 28997 28999 28154 0 -1 4202496 42077 0 1 0 295 6 0 0 25 0 19 0 828202061 13954723840 37683 33554432000 1073741824 1073778376 140733380804400 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/28999/statm: 3406915 37683 2263 9 0 3397649 0
[pid=28999/tid=29000] ppid=28997 vsize=13627660 CPUtime=1.91 cores=1,3,5,7
/proc/28999/task/29000/stat : 29000 (java) R 28997 28999 28154 0 -1 4202560 31238 0 1 0 187 4 0 0 18 0 19 0 828202061 13954723840 37683 33554432000 1073741824 1073778376 140733380804400 18446744073709551615 46912505939533 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=28999/tid=29002] ppid=28997 vsize=13627660 CPUtime=0 cores=1,3,5,7
/proc/28999/task/29002/stat : 29002 (java) S 28997 28999 28154 0 -1 4202560 94 0 0 0 0 0 0 0 15 0 19 0 828202063 13954723840 37683 33554432000 1073741824 1073778376 140733380804400 18446744073709551615 210216463257 0 4 0 16800975 18446604456872482048 0 0 -1 5 0 0 0
[pid=28999/tid=29003] ppid=28997 vsize=13627660 CPUtime=0 cores=1,3,5,7
/proc/28999/task/29003/stat : 29003 (java) S 28997 28999 28154 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828202063 13954723840 37683 33554432000 1073741824 1073778376 140733380804400 18446744073709551615 210216463257 0 4 0 16800975 18446604456872482048 0 0 -1 5 0 0 0
[pid=28999/tid=29004] ppid=28997 vsize=13627660 CPUtime=0 cores=1,3,5,7
/proc/28999/task/29004/stat : 29004 (java) S 28997 28999 28154 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828202063 13954723840 37683 33554432000 1073741824 1073778376 140733380804400 18446744073709551615 210216463257 0 4 0 16800975 18446604456872482048 0 0 -1 5 0 0 0
[pid=28999/tid=29005] ppid=28997 vsize=13627660 CPUtime=0 cores=1,3,5,7
/proc/28999/task/29005/stat : 29005 (java) S 28997 28999 28154 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 828202063 13954723840 37683 33554432000 1073741824 1073778376 140733380804400 18446744073709551615 210216463257 0 4 0 16800975 18446604456872482048 0 0 -1 3 0 0 0
[pid=28999/tid=29006] ppid=28997 vsize=13627660 CPUtime=0 cores=1,3,5,7
/proc/28999/task/29006/stat : 29006 (java) S 28997 28999 28154 0 -1 4202560 42 0 0 0 0 0 0 0 16 0 19 0 828202063 13954723840 37683 33554432000 1073741824 1073778376 140733380804400 18446744073709551615 210216463257 0 4 0 16800975 18446604456872482048 0 0 -1 3 0 0 0
[pid=28999/tid=29007] ppid=28997 vsize=13627660 CPUtime=0 cores=1,3,5,7
/proc/28999/task/29007/stat : 29007 (java) S 28997 28999 28154 0 -1 4202560 24 0 0 0 0 0 0 0 15 0 19 0 828202063 13954723840 37683 33554432000 1073741824 1073778376 140733380804400 18446744073709551615 210216463257 0 4 0 16800975 18446604456872482048 0 0 -1 5 0 0 0
[pid=28999/tid=29008] ppid=28997 vsize=13627660 CPUtime=0 cores=1,3,5,7
/proc/28999/task/29008/stat : 29008 (java) S 28997 28999 28154 0 -1 4202560 564 0 0 0 0 0 0 0 15 0 19 0 828202063 13954723840 37683 33554432000 1073741824 1073778376 140733380804400 18446744073709551615 210216463257 0 4 0 16800975 18446604456872482048 0 0 -1 1 0 0 0
[pid=28999/tid=29009] ppid=28997 vsize=13627660 CPUtime=0 cores=1,3,5,7
/proc/28999/task/29009/stat : 29009 (java) S 28997 28999 28154 0 -1 4202560 488 0 0 0 0 0 0 0 15 0 19 0 828202063 13954723840 37683 33554432000 1073741824 1073778376 140733380804400 18446744073709551615 210216463257 0 4 0 16800975 18446604456872482048 0 0 -1 1 0 0 0
[pid=28999/tid=29010] ppid=28997 vsize=13627660 CPUtime=0.05 cores=1,3,5,7
/proc/28999/task/29010/stat : 29010 (java) S 28997 28999 28154 0 -1 4202560 1163 0 0 0 5 0 0 0 15 0 19 0 828202064 13954723840 37683 33554432000 1073741824 1073778376 140733380804400 18446744073709551615 210216463872 0 0 0 16800975 18446604456872482048 0 0 -1 7 0 0 0
[pid=28999/tid=29011] ppid=28997 vsize=13627660 CPUtime=0 cores=1,3,5,7
/proc/28999/task/29011/stat : 29011 (java) S 28997 28999 28154 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828202065 13954723840 37683 33554432000 1073741824 1073778376 140733380804400 18446744073709551615 210216463257 0 4 0 16800975 18446604456872482048 0 0 -1 1 0 0 0
[pid=28999/tid=29012] ppid=28997 vsize=13627660 CPUtime=0 cores=1,3,5,7
/proc/28999/task/29012/stat : 29012 (java) S 28997 28999 28154 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 828202065 13954723840 37683 33554432000 1073741824 1073778376 140733380804400 18446744073709551615 210216463257 0 4 0 16800975 18446604456872482048 0 0 -1 1 0 0 0
[pid=28999/tid=29013] ppid=28997 vsize=13627660 CPUtime=0 cores=1,3,5,7
/proc/28999/task/29013/stat : 29013 (java) S 28997 28999 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828202067 13954723840 37683 33554432000 1073741824 1073778376 140733380804400 18446744073709551615 210216470961 0 4 0 16800975 18446604456872482048 0 0 -1 1 0 0 0
[pid=28999/tid=29014] ppid=28997 vsize=13627660 CPUtime=0.48 cores=1,3,5,7
/proc/28999/task/29014/stat : 29014 (java) S 28997 28999 28154 0 -1 4202560 3858 0 0 0 48 0 0 0 15 0 19 0 828202067 13954723840 37683 33554432000 1073741824 1073778376 140733380804400 18446744073709551615 210216463257 0 4 0 16800975 18446604456872482048 0 0 -1 7 0 0 0
[pid=28999/tid=29015] ppid=28997 vsize=13627660 CPUtime=0.52 cores=1,3,5,7
/proc/28999/task/29015/stat : 29015 (java) S 28997 28999 28154 0 -1 4202560 3452 0 0 0 52 0 0 0 15 0 19 0 828202067 13954723840 37683 33554432000 1073741824 1073778376 140733380804400 18446744073709551615 210216463257 0 4 0 16800975 18446604456872482048 0 0 -1 5 0 0 0
[pid=28999/tid=29016] ppid=28997 vsize=13627660 CPUtime=0 cores=1,3,5,7
/proc/28999/task/29016/stat : 29016 (java) S 28997 28999 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828202067 13954723840 37683 33554432000 1073741824 1073778376 140733380804400 18446744073709551615 210216463257 0 4 0 16800975 18446604456872482048 0 0 -1 1 0 0 0
[pid=28999/tid=29017] ppid=28997 vsize=13627660 CPUtime=0 cores=1,3,5,7
/proc/28999/task/29017/stat : 29017 (java) S 28997 28999 28154 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828202067 13954723840 37683 33554432000 1073741824 1073778376 140733380804400 18446744073709551615 210216463872 0 4 0 16800975 18446604456872482048 0 0 -1 3 0 0 0
[pid=28999/tid=29040] ppid=28997 vsize=13627660 CPUtime=0 cores=1,3,5,7
/proc/28999/task/29040/stat : 29040 (java) S 28997 28999 28154 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 828202114 13954723840 37683 33554432000 1073741824 1073778376 140733380804400 18446744073709551615 210216463872 0 4 0 16800975 18446604456872482048 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 13627660
Child status: 30
Real time (s): 2.08815
CPU time (s): 3.10453
CPU user time (s): 3.03654
CPU system time (s): 0.067989
CPU usage (%): 148.674
Max. virtual memory (cumulated for all children) (KiB): 13627660
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.03654
system time used= 0.067989
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42097
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= 408
involuntary context switches= 116
runsolver used 0.025996 second user time and 0.030995 second system time
The end