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-3453890-1307194385/watcher-3453890-1307194385 -o /tmp/evaluation-result-3453890-1307194385/solver-3453890-1307194385 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3453890-1307194385.opb
running on 4 cores: 0,2,4,6
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: 3.10 3.56 3.67 2/551 10600
/proc/meminfo: memFree=14369192/32951132 swapFree=46579808/67111528
[pid=10600] ppid=10598 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/10600/stat : 10600 (java) S 10598 10600 4029 0 -1 4202496 3963 0 1 0 0 0 0 0 25 0 2 0 831037187 10694979584 3665 33554432000 1073741824 1073778376 140735953424704 18446744073709551615 242982352869 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/10600/statm: 2611079 3680 917 9 0 2602235 0
[pid=10600/tid=10601] ppid=10598 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/10600/task/10601/stat : 10601 (java) R 10598 10600 4029 0 -1 4202560 7800 0 1 0 0 0 0 0 25 0 2 0 831037188 10694979584 8616 33554432000 1073741824 1073778376 140735953424704 18446744073709551615 242970244155 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.033073 s]
/proc/loadavg: 3.10 3.56 3.67 2/551 10600
/proc/meminfo: memFree=14369192/32951132 swapFree=46579808/67111528
[pid=10600] ppid=10598 vsize=10465424 CPUtime=0.03 cores=0,2,4,6
/proc/10600/stat : 10600 (java) S 10598 10600 4029 0 -1 4202496 10975 0 1 0 2 1 0 0 25 0 11 0 831037187 10716594176 10674 33554432000 1073741824 1073778376 140735953424704 18446744073709551615 242982352869 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/10600/statm: 2616356 10675 1604 9 0 2607104 0
[pid=10600/tid=10601] ppid=10598 vsize=10465424 CPUtime=0.01 cores=0,2,4,6
/proc/10600/task/10601/stat : 10601 (java) R 10598 10600 4029 0 -1 4202560 9851 0 1 0 1 0 0 0 25 0 11 0 831037188 10716594176 10675 33554432000 1073741824 1073778376 140735953424704 18446744073709551615 47151317915160 0 4 0 16784584 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10465424
[startup+0.101063 s]
/proc/loadavg: 3.10 3.56 3.67 2/551 10600
/proc/meminfo: memFree=14369192/32951132 swapFree=46579808/67111528
[pid=10600] ppid=10598 vsize=10540356 CPUtime=0.11 cores=0,2,4,6
/proc/10600/stat : 10600 (java) S 10598 10600 4029 0 -1 4202496 13140 0 1 0 10 1 0 0 25 0 18 0 831037187 10793324544 12820 33554432000 1073741824 1073778376 140735953424704 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/10600/statm: 2635089 12821 2093 9 0 2625823 0
[pid=10600/tid=10601] ppid=10598 vsize=10540356 CPUtime=0.09 cores=0,2,4,6
/proc/10600/task/10601/stat : 10601 (java) R 10598 10600 4029 0 -1 4202560 11199 0 1 0 8 1 0 0 18 0 18 0 831037188 10793324544 12822 33554432000 1073741824 1073778376 140735953424704 18446744073709551615 47151319350099 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10540356
[startup+0.507998 s]
/proc/loadavg: 3.10 3.56 3.67 2/551 10600
/proc/meminfo: memFree=14369192/32951132 swapFree=46579808/67111528
[pid=10600] ppid=10598 vsize=10558828 CPUtime=1.4 cores=0,2,4,6
/proc/10600/stat : 10600 (java) S 10598 10600 4029 0 -1 4202496 29199 0 1 0 137 3 0 0 25 0 19 0 831037187 10812239872 24122 33554432000 1073741824 1073778376 140735953424704 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/10600/statm: 2639707 24122 2203 9 0 2630441 0
[pid=10600/tid=10601] ppid=10598 vsize=10558828 CPUtime=0.15 cores=0,2,4,6
/proc/10600/task/10601/stat : 10601 (java) S 10598 10600 4029 0 -1 4202560 11707 0 1 0 14 1 0 0 19 0 19 0 831037188 10812239872 24122 33554432000 1073741824 1073778376 140735953424704 18446744073709551615 242982366720 0 4 0 16800975 18446604450021646400 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 10558828
[startup+0.700976 s]
/proc/loadavg: 3.10 3.56 3.67 2/551 10600
/proc/meminfo: memFree=14369192/32951132 swapFree=46579808/67111528
[pid=10600] ppid=10598 vsize=10558828 CPUtime=1.64 cores=0,2,4,6
/proc/10600/stat : 10600 (java) S 10598 10600 4029 0 -1 4202496 31362 0 1 0 161 3 0 0 25 0 22 0 831037187 10812239872 26284 33554432000 1073741824 1073778376 140735953424704 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/10600/statm: 2639707 26285 2206 9 0 2630441 0
[pid=10600/tid=10601] ppid=10598 vsize=10558828 CPUtime=0.15 cores=0,2,4,6
/proc/10600/task/10601/stat : 10601 (java) S 10598 10600 4029 0 -1 4202560 11709 0 1 0 14 1 0 0 16 0 22 0 831037188 10812239872 26286 33554432000 1073741824 1073778376 140735953424704 18446744073709551615 242982366720 0 4 0 16800975 18446604450021646400 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.64
Current children cumulated vsize (KiB) 10558828
[startup+1.50079 s]
/proc/loadavg: 3.10 3.56 3.67 6/573 10625
/proc/meminfo: memFree=14106892/32951132 swapFree=46579808/67111528
[pid=10600] ppid=10598 vsize=10564176 CPUtime=4.31 cores=0,2,4,6
/proc/10600/stat : 10600 (java) S 10598 10600 4029 0 -1 4202496 80798 0 1 0 420 11 0 0 25 0 22 0 831037187 10817716224 72746 33554432000 1073741824 1073778376 140735953424704 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/10600/statm: 2641044 72746 2252 9 0 2631778 0
[pid=10600/tid=10601] ppid=10598 vsize=10564176 CPUtime=0.15 cores=0,2,4,6
/proc/10600/task/10601/stat : 10601 (java) S 10598 10600 4029 0 -1 4202560 11709 0 1 0 14 1 0 0 15 0 22 0 831037188 10817716224 72746 33554432000 1073741824 1073778376 140735953424704 18446744073709551615 242982366720 0 4 0 16800975 18446604450021646400 0 0 -1 0 0 0 0
[pid=10600/tid=10603] ppid=10598 vsize=10564176 CPUtime=0 cores=0,2,4,6
/proc/10600/task/10603/stat : 10603 (java) S 10598 10600 4029 0 -1 4202560 305 0 0 0 0 0 0 0 15 0 22 0 831037189 10817716224 72746 33554432000 1073741824 1073778376 140735953424704 18446744073709551615 242982366105 0 4 0 16800975 18446604450021646400 0 0 -1 6 0 0 0
[pid=10600/tid=10604] ppid=10598 vsize=10564176 CPUtime=0 cores=0,2,4,6
/proc/10600/task/10604/stat : 10604 (java) S 10598 10600 4029 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 22 0 831037189 10817716224 72746 33554432000 1073741824 1073778376 140735953424704 18446744073709551615 242982366105 0 4 0 16800975 18446604450021646400 0 0 -1 6 0 0 0
[pid=10600/tid=10605] ppid=10598 vsize=10564176 CPUtime=0 cores=0,2,4,6
/proc/10600/task/10605/stat : 10605 (java) S 10598 10600 4029 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831037189 10817716224 72746 33554432000 1073741824 1073778376 140735953424704 18446744073709551615 242982366105 0 4 0 16800975 18446604450021646400 0 0 -1 0 0 0 0
[pid=10600/tid=10606] ppid=10598 vsize=10564176 CPUtime=0 cores=0,2,4,6
/proc/10600/task/10606/stat : 10606 (java) S 10598 10600 4029 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831037189 10817716224 72746 33554432000 1073741824 1073778376 140735953424704 18446744073709551615 242982366105 0 4 0 16800975 18446604450021646400 0 0 -1 6 0 0 0
[pid=10600/tid=10607] ppid=10598 vsize=10564176 CPUtime=0 cores=0,2,4,6
/proc/10600/task/10607/stat : 10607 (java) S 10598 10600 4029 0 -1 4202560 83 0 0 0 0 0 0 0 15 0 22 0 831037189 10817716224 72746 33554432000 1073741824 1073778376 140735953424704 18446744073709551615 242982366105 0 4 0 16800975 18446604450021646400 0 0 -1 0 0 0 0
[pid=10600/tid=10608] ppid=10598 vsize=10564176 CPUtime=0 cores=0,2,4,6
/proc/10600/task/10608/stat : 10608 (java) S 10598 10600 4029 0 -1 4202560 469 0 0 0 0 0 0 0 15 0 22 0 831037189 10817716224 72746 33554432000 1073741824 1073778376 140735953424704 18446744073709551615 242982366105 0 4 0 16800975 18446604450021646400 0 0 -1 0 0 0 0
[pid=10600/tid=10609] ppid=10598 vsize=10564176 CPUtime=0 cores=0,2,4,6
/proc/10600/task/10609/stat : 10609 (java) S 10598 10600 4029 0 -1 4202560 140 0 0 0 0 0 0 0 15 0 22 0 831037189 10817716224 72746 33554432000 1073741824 1073778376 140735953424704 18446744073709551615 242982366105 0 4 0 16800975 18446604450021646400 0 0 -1 2 0 0 0
[pid=10600/tid=10610] ppid=10598 vsize=10564176 CPUtime=0 cores=0,2,4,6
/proc/10600/task/10610/stat : 10610 (java) S 10598 10600 4029 0 -1 4202560 166 0 0 0 0 0 0 0 15 0 22 0 831037189 10817716224 72746 33554432000 1073741824 1073778376 140735953424704 18446744073709551615 242982366105 0 4 0 16800975 18446604450021646400 0 0 -1 6 0 0 0
[pid=10600/tid=10611] ppid=10598 vsize=10564176 CPUtime=0.03 cores=0,2,4,6
/proc/10600/task/10611/stat : 10611 (java) S 10598 10600 4029 0 -1 4202560 1060 0 0 0 3 0 0 0 15 0 22 0 831037190 10817716224 72746 33554432000 1073741824 1073778376 140735953424704 18446744073709551615 242982366720 0 0 0 16800975 18446604450021646400 0 0 -1 4 0 0 0
[pid=10600/tid=10612] ppid=10598 vsize=10564176 CPUtime=0 cores=0,2,4,6
/proc/10600/task/10612/stat : 10612 (java) S 10598 10600 4029 0 -1 4202560 17 0 0 0 0 0 0 0 17 0 22 0 831037191 10817716224 72746 33554432000 1073741824 1073778376 140735953424704 18446744073709551615 242982366105 0 4 0 16800975 18446604450021646400 0 0 -1 6 0 0 0
[pid=10600/tid=10613] ppid=10598 vsize=10564176 CPUtime=0 cores=0,2,4,6
/proc/10600/task/10613/stat : 10613 (java) S 10598 10600 4029 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 831037191 10817716224 72746 33554432000 1073741824 1073778376 140735953424704 18446744073709551615 242982366105 0 4 0 16800975 18446604450021646400 0 0 -1 6 0 0 0
[pid=10600/tid=10614] ppid=10598 vsize=10564176 CPUtime=0 cores=0,2,4,6
/proc/10600/task/10614/stat : 10614 (java) S 10598 10600 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831037193 10817716224 72746 33554432000 1073741824 1073778376 140735953424704 18446744073709551615 242982373809 0 4 0 16800975 18446604450021646400 0 0 -1 2 0 0 0
[pid=10600/tid=10615] ppid=10598 vsize=10564176 CPUtime=1.12 cores=0,2,4,6
/proc/10600/task/10615/stat : 10615 (java) R 10598 10600 4029 0 -1 4202560 10985 0 0 0 111 1 0 0 16 0 22 0 831037193 10817716224 72746 33554432000 1073741824 1073778376 140735953424704 18446744073709551615 47151315702486 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=10600/tid=10616] ppid=10598 vsize=10564176 CPUtime=0.82 cores=0,2,4,6
/proc/10600/task/10616/stat : 10616 (java) R 10598 10600 4029 0 -1 4202560 5799 0 0 0 82 0 0 0 23 0 22 0 831037193 10817716224 72746 33554432000 1073741824 1073778376 140735953424704 18446744073709551615 47151319320149 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=10600/tid=10617] ppid=10598 vsize=10564176 CPUtime=0 cores=0,2,4,6
/proc/10600/task/10617/stat : 10617 (java) S 10598 10600 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831037193 10817716224 72746 33554432000 1073741824 1073778376 140735953424704 18446744073709551615 242982366105 0 4 0 16800975 18446604450021646400 0 0 -1 2 0 0 0
[pid=10600/tid=10618] ppid=10598 vsize=10564176 CPUtime=0 cores=0,2,4,6
/proc/10600/task/10618/stat : 10618 (java) S 10598 10600 4029 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831037193 10817716224 72746 33554432000 1073741824 1073778376 140735953424704 18446744073709551615 242982366720 0 4 0 16800975 18446604450021646400 0 0 -1 6 0 0 0
[pid=10600/tid=10621] ppid=10598 vsize=10564176 CPUtime=0 cores=0,2,4,6
/proc/10600/task/10621/stat : 10621 (java) S 10598 10600 4029 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 831037204 10817716224 72746 33554432000 1073741824 1073778376 140735953424704 18446744073709551615 242982366720 0 4 0 16800975 18446604450021646400 0 0 -1 0 0 0 0
[pid=10600/tid=10623] ppid=10598 vsize=10564176 CPUtime=0.79 cores=0,2,4,6
/proc/10600/task/10623/stat : 10623 (java) R 10598 10600 4029 0 -1 4202560 153 0 0 0 79 0 0 0 17 0 22 0 831037254 10817716224 72746 33554432000 1073741824 1073778376 140735953424704 18446744073709551615 46912505561735 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=10600/tid=10624] ppid=10598 vsize=10564176 CPUtime=0.78 cores=0,2,4,6
/proc/10600/task/10624/stat : 10624 (java) R 10598 10600 4029 0 -1 4202560 44350 0 0 0 72 6 0 0 18 0 22 0 831037254 10817716224 72746 33554432000 1073741824 1073778376 140735953424704 18446744073709551615 46912505618604 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=10600/tid=10625] ppid=10598 vsize=10564176 CPUtime=0 cores=0,2,4,6
/proc/10600/task/10625/stat : 10625 (java) S 10598 10600 4029 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 831037254 10817716224 72746 33554432000 1073741824 1073778376 140735953424704 18446744073709551615 242982366720 0 4 0 16800975 18446604450021646400 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.31
Current children cumulated vsize (KiB) 10564176
Solver just ended. Dumping a history of the last processes samples
[startup+1.7008 s]
/proc/loadavg: 3.10 3.56 3.67 6/573 10625
/proc/meminfo: memFree=14106892/32951132 swapFree=46579808/67111528
[pid=10600] ppid=10598 vsize=10565228 CPUtime=4.88 cores=0,2,4,6
/proc/10600/stat : 10600 (java) S 10598 10600 4029 0 -1 4202496 90922 0 1 0 477 11 0 0 25 0 22 0 831037187 10818793472 82869 33554432000 1073741824 1073778376 140735953424704 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/10600/statm: 2641307 82875 2252 9 0 2632041 0
[pid=10600/tid=10601] ppid=10598 vsize=10565228 CPUtime=0.15 cores=0,2,4,6
/proc/10600/task/10601/stat : 10601 (java) S 10598 10600 4029 0 -1 4202560 11709 0 1 0 14 1 0 0 15 0 22 0 831037188 10818793472 82879 33554432000 1073741824 1073778376 140735953424704 18446744073709551615 242982366720 0 4 0 16800975 18446604450021646400 0 0 -1 0 0 0 0
[pid=10600/tid=10603] ppid=10598 vsize=10565228 CPUtime=0 cores=0,2,4,6
/proc/10600/task/10603/stat : 10603 (java) S 10598 10600 4029 0 -1 4202560 320 0 0 0 0 0 0 0 15 0 22 0 831037189 10818793472 82881 33554432000 1073741824 1073778376 140735953424704 18446744073709551615 242982366105 0 4 0 16800975 18446604450021646400 0 0 -1 6 0 0 0
[pid=10600/tid=10604] ppid=10598 vsize=10565228 CPUtime=0 cores=0,2,4,6
/proc/10600/task/10604/stat : 10604 (java) S 10598 10600 4029 0 -1 4202560 35 0 0 0 0 0 0 0 15 0 22 0 831037189 10818793472 82883 33554432000 1073741824 1073778376 140735953424704 18446744073709551615 242982366105 0 4 0 16800975 18446604450021646400 0 0 -1 6 0 0 0
[pid=10600/tid=10605] ppid=10598 vsize=10565228 CPUtime=0 cores=0,2,4,6
/proc/10600/task/10605/stat : 10605 (java) S 10598 10600 4029 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831037189 10818793472 82886 33554432000 1073741824 1073778376 140735953424704 18446744073709551615 242982366105 0 4 0 16800975 18446604450021646400 0 0 -1 0 0 0 0
[pid=10600/tid=10606] ppid=10598 vsize=10565228 CPUtime=0 cores=0,2,4,6
/proc/10600/task/10606/stat : 10606 (java) S 10598 10600 4029 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831037189 10818793472 82889 33554432000 1073741824 1073778376 140735953424704 18446744073709551615 242982366105 0 4 0 16800975 18446604450021646400 0 0 -1 6 0 0 0
[pid=10600/tid=10607] ppid=10598 vsize=10565228 CPUtime=0 cores=0,2,4,6
/proc/10600/task/10607/stat : 10607 (java) S 10598 10600 4029 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 22 0 831037189 10818793472 82892 33554432000 1073741824 1073778376 140735953424704 18446744073709551615 242982366105 0 4 0 16800975 18446604450021646400 0 0 -1 0 0 0 0
[pid=10600/tid=10608] ppid=10598 vsize=10565228 CPUtime=0 cores=0,2,4,6
/proc/10600/task/10608/stat : 10608 (java) S 10598 10600 4029 0 -1 4202560 469 0 0 0 0 0 0 0 15 0 22 0 831037189 10818793472 82895 33554432000 1073741824 1073778376 140735953424704 18446744073709551615 242982366105 0 4 0 16800975 18446604450021646400 0 0 -1 0 0 0 0
[pid=10600/tid=10609] ppid=10598 vsize=10565228 CPUtime=0 cores=0,2,4,6
/proc/10600/task/10609/stat : 10609 (java) S 10598 10600 4029 0 -1 4202560 166 0 0 0 0 0 0 0 16 0 22 0 831037189 10818793472 82897 33554432000 1073741824 1073778376 140735953424704 18446744073709551615 242982366105 0 4 0 16800975 18446604450021646400 0 0 -1 0 0 0 0
[pid=10600/tid=10610] ppid=10598 vsize=10565228 CPUtime=0 cores=0,2,4,6
/proc/10600/task/10610/stat : 10610 (java) S 10598 10600 4029 0 -1 4202560 166 0 0 0 0 0 0 0 15 0 22 0 831037189 10818793472 82900 33554432000 1073741824 1073778376 140735953424704 18446744073709551615 242982366105 0 4 0 16800975 18446604450021646400 0 0 -1 6 0 0 0
[pid=10600/tid=10611] ppid=10598 vsize=10565228 CPUtime=0.05 cores=0,2,4,6
/proc/10600/task/10611/stat : 10611 (java) S 10598 10600 4029 0 -1 4202560 1569 0 0 0 5 0 0 0 16 0 22 0 831037190 10818793472 82902 33554432000 1073741824 1073778376 140735953424704 18446744073709551615 242982366720 0 0 0 16800975 18446604450021646400 0 0 -1 4 0 0 0
[pid=10600/tid=10612] ppid=10598 vsize=10565228 CPUtime=0 cores=0,2,4,6
/proc/10600/task/10612/stat : 10612 (java) S 10598 10600 4029 0 -1 4202560 17 0 0 0 0 0 0 0 17 0 22 0 831037191 10818793472 82903 33554432000 1073741824 1073778376 140735953424704 18446744073709551615 242982366105 0 4 0 16800975 18446604450021646400 0 0 -1 6 0 0 0
[pid=10600/tid=10613] ppid=10598 vsize=10565228 CPUtime=0 cores=0,2,4,6
/proc/10600/task/10613/stat : 10613 (java) S 10598 10600 4029 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 831037191 10818793472 82905 33554432000 1073741824 1073778376 140735953424704 18446744073709551615 242982366105 0 4 0 16800975 18446604450021646400 0 0 -1 6 0 0 0
[pid=10600/tid=10614] ppid=10598 vsize=10565228 CPUtime=0 cores=0,2,4,6
/proc/10600/task/10614/stat : 10614 (java) S 10598 10600 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831037193 10818793472 82908 33554432000 1073741824 1073778376 140735953424704 18446744073709551615 242982373809 0 4 0 16800975 18446604450021646400 0 0 -1 2 0 0 0
[pid=10600/tid=10615] ppid=10598 vsize=10565228 CPUtime=1.27 cores=0,2,4,6
/proc/10600/task/10615/stat : 10615 (java) S 10598 10600 4029 0 -1 4202560 11272 0 0 0 126 1 0 0 16 0 22 0 831037193 10818793472 82912 33554432000 1073741824 1073778376 140735953424704 18446744073709551615 242982366105 0 4 0 16800975 18446604450021646400 0 0 -1 2 0 0 0
[pid=10600/tid=10616] ppid=10598 vsize=10565228 CPUtime=0.87 cores=0,2,4,6
/proc/10600/task/10616/stat : 10616 (java) S 10598 10600 4029 0 -1 4202560 5803 0 0 0 87 0 0 0 23 0 22 0 831037193 10818793472 82915 33554432000 1073741824 1073778376 140735953424704 18446744073709551615 242982366105 0 4 0 16800975 18446604450021646400 0 0 -1 6 0 0 0
[pid=10600/tid=10617] ppid=10598 vsize=10565228 CPUtime=0 cores=0,2,4,6
/proc/10600/task/10617/stat : 10617 (java) S 10598 10600 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831037193 10818793472 82918 33554432000 1073741824 1073778376 140735953424704 18446744073709551615 242982366105 0 4 0 16800975 18446604450021646400 0 0 -1 2 0 0 0
[pid=10600/tid=10618] ppid=10598 vsize=10565228 CPUtime=0 cores=0,2,4,6
/proc/10600/task/10618/stat : 10618 (java) S 10598 10600 4029 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831037193 10818793472 82921 33554432000 1073741824 1073778376 140735953424704 18446744073709551615 242982366720 0 4 0 16800975 18446604450021646400 0 0 -1 6 0 0 0
[pid=10600/tid=10621] ppid=10598 vsize=10565228 CPUtime=0 cores=0,2,4,6
/proc/10600/task/10621/stat : 10621 (java) S 10598 10600 4029 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 831037204 10818793472 82925 33554432000 1073741824 1073778376 140735953424704 18446744073709551615 242982366720 0 4 0 16800975 18446604450021646400 0 0 -1 0 0 0 0
[pid=10600/tid=10623] ppid=10598 vsize=10565228 CPUtime=0.96 cores=0,2,4,6
/proc/10600/task/10623/stat : 10623 (java) R 10598 10600 4029 0 -1 4202560 154 0 0 0 96 0 0 0 17 0 22 0 831037254 10818793472 82927 33554432000 1073741824 1073778376 140735953424704 18446744073709551615 46912505548006 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=10600/tid=10624] ppid=10598 vsize=10565228 CPUtime=0.96 cores=0,2,4,6
/proc/10600/task/10624/stat : 10624 (java) R 10598 10600 4029 0 -1 4202560 53641 0 0 0 89 7 0 0 18 0 22 0 831037254 10818793472 82931 33554432000 1073741824 1073778376 140735953424704 18446744073709551615 46912505700387 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=10600/tid=10625] ppid=10598 vsize=10565228 CPUtime=0 cores=0,2,4,6
/proc/10600/task/10625/stat : 10625 (java) S 10598 10600 4029 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 831037254 10818793472 82934 33554432000 1073741824 1073778376 140735953424704 18446744073709551615 242982366720 0 4 0 16800975 18446604450021646400 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.88
Current children cumulated vsize (KiB) 10565228
[startup+2.10075 s]
/proc/loadavg: 3.10 3.56 3.67 6/573 10625
/proc/meminfo: memFree=14106892/32951132 swapFree=46579808/67111528
[pid=10600] ppid=10598 vsize=10565228 CPUtime=4.94 cores=0,2,4,6
/proc/10600/stat : 10600 (java) S 10598 10600 4029 0 -1 4202496 93806 0 1 0 482 12 0 0 25 0 19 0 831037187 10818793472 85753 33554432000 1073741824 1073778376 140735953424704 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/10600/statm: 2641307 85753 2252 9 0 2632041 0
[pid=10600/tid=10601] ppid=10598 vsize=10565228 CPUtime=0.15 cores=0,2,4,6
/proc/10600/task/10601/stat : 10601 (java) S 10598 10600 4029 0 -1 4202560 11709 0 1 0 14 1 0 0 15 0 19 0 831037188 10818793472 85753 33554432000 1073741824 1073778376 140735953424704 18446744073709551615 242982366720 0 4 0 16800975 18446604450021646400 0 0 -1 0 0 0 0
[pid=10600/tid=10603] ppid=10598 vsize=10565228 CPUtime=0 cores=0,2,4,6
/proc/10600/task/10603/stat : 10603 (java) S 10598 10600 4029 0 -1 4202560 320 0 0 0 0 0 0 0 15 0 19 0 831037189 10818793472 85753 33554432000 1073741824 1073778376 140735953424704 18446744073709551615 242982366105 0 4 0 16800975 18446604450021646400 0 0 -1 6 0 0 0
[pid=10600/tid=10604] ppid=10598 vsize=10565228 CPUtime=0 cores=0,2,4,6
/proc/10600/task/10604/stat : 10604 (java) S 10598 10600 4029 0 -1 4202560 35 0 0 0 0 0 0 0 15 0 19 0 831037189 10818793472 85753 33554432000 1073741824 1073778376 140735953424704 18446744073709551615 242982366105 0 4 0 16800975 18446604450021646400 0 0 -1 6 0 0 0
[pid=10600/tid=10605] ppid=10598 vsize=10565228 CPUtime=0 cores=0,2,4,6
/proc/10600/task/10605/stat : 10605 (java) S 10598 10600 4029 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 831037189 10818793472 85753 33554432000 1073741824 1073778376 140735953424704 18446744073709551615 242982366105 0 4 0 16800975 18446604450021646400 0 0 -1 0 0 0 0
[pid=10600/tid=10606] ppid=10598 vsize=10565228 CPUtime=0 cores=0,2,4,6
/proc/10600/task/10606/stat : 10606 (java) S 10598 10600 4029 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 831037189 10818793472 85753 33554432000 1073741824 1073778376 140735953424704 18446744073709551615 242982366105 0 4 0 16800975 18446604450021646400 0 0 -1 6 0 0 0
[pid=10600/tid=10607] ppid=10598 vsize=10565228 CPUtime=0 cores=0,2,4,6
/proc/10600/task/10607/stat : 10607 (java) S 10598 10600 4029 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 831037189 10818793472 85753 33554432000 1073741824 1073778376 140735953424704 18446744073709551615 242982366105 0 4 0 16800975 18446604450021646400 0 0 -1 0 0 0 0
[pid=10600/tid=10608] ppid=10598 vsize=10565228 CPUtime=0 cores=0,2,4,6
/proc/10600/task/10608/stat : 10608 (java) S 10598 10600 4029 0 -1 4202560 469 0 0 0 0 0 0 0 15 0 19 0 831037189 10818793472 85753 33554432000 1073741824 1073778376 140735953424704 18446744073709551615 242982366105 0 4 0 16800975 18446604450021646400 0 0 -1 0 0 0 0
[pid=10600/tid=10609] ppid=10598 vsize=10565228 CPUtime=0 cores=0,2,4,6
/proc/10600/task/10609/stat : 10609 (java) S 10598 10600 4029 0 -1 4202560 166 0 0 0 0 0 0 0 16 0 19 0 831037189 10818793472 85753 33554432000 1073741824 1073778376 140735953424704 18446744073709551615 242982366105 0 4 0 16800975 18446604450021646400 0 0 -1 0 0 0 0
[pid=10600/tid=10610] ppid=10598 vsize=10565228 CPUtime=0 cores=0,2,4,6
/proc/10600/task/10610/stat : 10610 (java) S 10598 10600 4029 0 -1 4202560 166 0 0 0 0 0 0 0 15 0 19 0 831037189 10818793472 85753 33554432000 1073741824 1073778376 140735953424704 18446744073709551615 242982366105 0 4 0 16800975 18446604450021646400 0 0 -1 6 0 0 0
[pid=10600/tid=10611] ppid=10598 vsize=10565228 CPUtime=0.05 cores=0,2,4,6
/proc/10600/task/10611/stat : 10611 (java) S 10598 10600 4029 0 -1 4202560 1569 0 0 0 5 0 0 0 16 0 19 0 831037190 10818793472 85753 33554432000 1073741824 1073778376 140735953424704 18446744073709551615 242982366720 0 0 0 16800975 18446604450021646400 0 0 -1 4 0 0 0
[pid=10600/tid=10612] ppid=10598 vsize=10565228 CPUtime=0 cores=0,2,4,6
/proc/10600/task/10612/stat : 10612 (java) S 10598 10600 4029 0 -1 4202560 17 0 0 0 0 0 0 0 17 0 19 0 831037191 10818793472 85753 33554432000 1073741824 1073778376 140735953424704 18446744073709551615 242982366105 0 4 0 16800975 18446604450021646400 0 0 -1 6 0 0 0
[pid=10600/tid=10613] ppid=10598 vsize=10565228 CPUtime=0 cores=0,2,4,6
/proc/10600/task/10613/stat : 10613 (java) S 10598 10600 4029 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 831037191 10818793472 85753 33554432000 1073741824 1073778376 140735953424704 18446744073709551615 242982366105 0 4 0 16800975 18446604450021646400 0 0 -1 6 0 0 0
[pid=10600/tid=10614] ppid=10598 vsize=10565228 CPUtime=0 cores=0,2,4,6
/proc/10600/task/10614/stat : 10614 (java) S 10598 10600 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831037193 10818793472 85753 33554432000 1073741824 1073778376 140735953424704 18446744073709551615 242982373809 0 4 0 16800975 18446604450021646400 0 0 -1 2 0 0 0
[pid=10600/tid=10615] ppid=10598 vsize=10565228 CPUtime=1.27 cores=0,2,4,6
/proc/10600/task/10615/stat : 10615 (java) S 10598 10600 4029 0 -1 4202560 11272 0 0 0 126 1 0 0 16 0 19 0 831037193 10818793472 85753 33554432000 1073741824 1073778376 140735953424704 18446744073709551615 242982366105 0 4 0 16800975 18446604450021646400 0 0 -1 2 0 0 0
[pid=10600/tid=10616] ppid=10598 vsize=10565228 CPUtime=0.87 cores=0,2,4,6
/proc/10600/task/10616/stat : 10616 (java) S 10598 10600 4029 0 -1 4202560 5803 0 0 0 87 0 0 0 23 0 19 0 831037193 10818793472 85753 33554432000 1073741824 1073778376 140735953424704 18446744073709551615 242982366105 0 4 0 16800975 18446604450021646400 0 0 -1 6 0 0 0
[pid=10600/tid=10617] ppid=10598 vsize=10565228 CPUtime=0 cores=0,2,4,6
/proc/10600/task/10617/stat : 10617 (java) S 10598 10600 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831037193 10818793472 85753 33554432000 1073741824 1073778376 140735953424704 18446744073709551615 242982366105 0 4 0 16800975 18446604450021646400 0 0 -1 2 0 0 0
[pid=10600/tid=10618] ppid=10598 vsize=10565228 CPUtime=0 cores=0,2,4,6
/proc/10600/task/10618/stat : 10618 (java) S 10598 10600 4029 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 831037193 10818793472 85753 33554432000 1073741824 1073778376 140735953424704 18446744073709551615 242982366720 0 4 0 16800975 18446604450021646400 0 0 -1 6 0 0 0
[pid=10600/tid=10621] ppid=10598 vsize=10565228 CPUtime=0 cores=0,2,4,6
/proc/10600/task/10621/stat : 10621 (java) S 10598 10600 4029 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 831037204 10818793472 85753 33554432000 1073741824 1073778376 140735953424704 18446744073709551615 242982366720 0 4 0 16800975 18446604450021646400 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.94
Current children cumulated vsize (KiB) 10565228
[startup+2.20065 s]
/proc/loadavg: 3.10 3.56 3.67 6/573 10625
/proc/meminfo: memFree=14106892/32951132 swapFree=46579808/67111528
[pid=10600] ppid=10598 vsize=0 CPUtime=4.98 cores=0,2,4,6
/proc/10600/stat : 10600 (java) Z 10598 10600 4029 0 -1 4203548 93809 0 1 0 486 12 0 0 18 0 2 0 831037187 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/10600/statm: 0 0 0 0 0 0 0
[pid=10600/tid=10621] ppid=10598 vsize=0 CPUtime=0 cores=0,2,4,6
/proc/10600/task/10621/stat : 10621 (java) R 10598 10600 4029 0 -1 4203588 7 0 0 0 0 0 0 0 18 0 2 0 831037204 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.98
Current children cumulated vsize (KiB) 0
Child status: 30
Real time (s): 2.21365
CPU time (s): 4.99924
CPU user time (s): 4.86026
CPU system time (s): 0.138978
CPU usage (%): 225.837
Max. virtual memory (cumulated for all children) (KiB): 10565228
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.86026
system time used= 0.138978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 93809
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= 369
involuntary context switches= 98
runsolver used 0.018997 second user time and 0.040993 second system time
The end