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-3458180-1307158292/watcher-3458180-1307158292 -o /tmp/evaluation-result-3458180-1307158292/solver-3458180-1307158292 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458180-1307158292.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: 2.16 2.10 2.02 2/533 15787
/proc/meminfo: memFree=23053996/32950928 swapFree=58671692/67111528
[pid=15787] ppid=15785 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/15787/stat : 15787 (java) S 15785 15787 10738 0 -1 4202496 4030 0 1 0 0 0 0 0 25 0 2 0 906059893 13850947584 3732 33554432000 1073741824 1073778376 140737047932112 18446744073709551615 256427194341 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/15787/statm: 3381579 3747 917 9 0 3372735 0
[pid=15787/tid=15788] ppid=15785 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/15787/task/15788/stat : 15788 (java) R 15785 15787 10738 0 -1 4202560 7872 0 1 0 0 0 0 0 25 0 2 0 906059894 13850947584 8688 33554432000 1073741824 1073778376 140737047932112 18446744073709551615 256415085627 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.090322 s]
/proc/loadavg: 2.16 2.10 2.02 2/533 15787
/proc/meminfo: memFree=23053996/32950928 swapFree=58671692/67111528
[pid=15787] ppid=15785 vsize=13622296 CPUtime=0.08 cores=0,2,4,6
/proc/15787/stat : 15787 (java) S 15785 15787 10738 0 -1 4202496 15338 0 1 0 7 1 0 0 25 0 18 0 906059893 13949231104 15010 33554432000 1073741824 1073778376 140737047932112 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15787/statm: 3405574 15010 2082 9 0 3396308 0
[pid=15787/tid=15788] ppid=15785 vsize=13622296 CPUtime=0.07 cores=0,2,4,6
/proc/15787/task/15788/stat : 15788 (java) R 15785 15787 10738 0 -1 4202560 13417 0 1 0 6 1 0 0 23 0 18 0 906059894 13949231104 15010 33554432000 1073741824 1073778376 140737047932112 18446744073709551615 47030369598291 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 13622296
[startup+0.105956 s]
/proc/loadavg: 2.16 2.10 2.02 2/533 15787
/proc/meminfo: memFree=23053996/32950928 swapFree=58671692/67111528
[pid=15787] ppid=15785 vsize=13622296 CPUtime=0.11 cores=0,2,4,6
/proc/15787/stat : 15787 (java) S 15785 15787 10738 0 -1 4202496 15556 0 1 0 9 2 0 0 25 0 18 0 906059893 13949231104 15228 33554432000 1073741824 1073778376 140737047932112 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15787/statm: 3405574 15229 2092 9 0 3396308 0
[pid=15787/tid=15788] ppid=15785 vsize=13622296 CPUtime=0.08 cores=0,2,4,6
/proc/15787/task/15788/stat : 15788 (java) R 15785 15787 10738 0 -1 4202560 13624 0 1 0 7 1 0 0 23 0 18 0 906059894 13949231104 15229 33554432000 1073741824 1073778376 140737047932112 18446744073709551615 47030369258595 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) 13622296
[startup+0.337857 s]
/proc/loadavg: 2.16 2.10 2.02 2/533 15787
/proc/meminfo: memFree=23053996/32950928 swapFree=58671692/67111528
[pid=15787] ppid=15785 vsize=13625772 CPUtime=0.6 cores=0,2,4,6
/proc/15787/stat : 15787 (java) S 15785 15787 10738 0 -1 4202496 18410 0 1 0 58 2 0 0 25 0 19 0 906059893 13952790528 17338 33554432000 1073741824 1073778376 140737047932112 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15787/statm: 3406443 17338 2216 9 0 3397177 0
[pid=15787/tid=15788] ppid=15785 vsize=13625772 CPUtime=0.31 cores=0,2,4,6
/proc/15787/task/15788/stat : 15788 (java) R 15785 15787 10738 0 -1 4202560 14373 0 1 0 30 1 0 0 25 0 19 0 906059894 13952790528 17338 33554432000 1073741824 1073778376 140737047932112 18446744073709551615 46912505646767 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 13625772
[startup+0.700842 s]
/proc/loadavg: 2.16 2.10 2.02 2/533 15787
/proc/meminfo: memFree=23053996/32950928 swapFree=58671692/67111528
[pid=15787] ppid=15785 vsize=13625772 CPUtime=1.05 cores=0,2,4,6
/proc/15787/stat : 15787 (java) S 15785 15787 10738 0 -1 4202496 19709 0 1 0 103 2 0 0 25 0 19 0 906059893 13952790528 18521 33554432000 1073741824 1073778376 140737047932112 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15787/statm: 3406443 18521 2248 9 0 3397177 0
[pid=15787/tid=15788] ppid=15785 vsize=13625772 CPUtime=0.66 cores=0,2,4,6
/proc/15787/task/15788/stat : 15788 (java) R 15785 15787 10738 0 -1 4202560 14763 0 1 0 65 1 0 0 25 0 19 0 906059894 13952790528 18521 33554432000 1073741824 1073778376 140737047932112 18446744073709551615 46912505568189 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.05
Current children cumulated vsize (KiB) 13625772
[startup+1.50069 s]
/proc/loadavg: 2.16 2.10 2.02 4/552 15806
/proc/meminfo: memFree=22953600/32950928 swapFree=58671692/67111528
[pid=15787] ppid=15785 vsize=13648072 CPUtime=2.27 cores=0,2,4,6
/proc/15787/stat : 15787 (java) S 15785 15787 10738 0 -1 4202496 27682 0 1 0 224 3 0 0 25 0 19 0 906059893 13975625728 24428 33554432000 1073741824 1073778376 140737047932112 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15787/statm: 3412018 24428 2248 9 0 3402752 0
[pid=15787/tid=15788] ppid=15785 vsize=13648072 CPUtime=1.43 cores=0,2,4,6
/proc/15787/task/15788/stat : 15788 (java) R 15785 15787 10738 0 -1 4202560 14770 0 1 0 142 1 0 0 25 0 19 0 906059894 13975625728 24428 33554432000 1073741824 1073778376 140737047932112 18446744073709551615 46912505547045 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=15787/tid=15790] ppid=15785 vsize=13648072 CPUtime=0 cores=0,2,4,6
/proc/15787/task/15790/stat : 15790 (java) S 15785 15787 10738 0 -1 4202560 183 0 0 0 0 0 0 0 15 0 19 0 906059896 13975625728 24428 33554432000 1073741824 1073778376 140737047932112 18446744073709551615 256427207577 0 4 0 16800975 18446604450679857472 0 0 -1 6 0 0 0
[pid=15787/tid=15791] ppid=15785 vsize=13648072 CPUtime=0 cores=0,2,4,6
/proc/15787/task/15791/stat : 15791 (java) S 15785 15787 10738 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906059896 13975625728 24428 33554432000 1073741824 1073778376 140737047932112 18446744073709551615 256427207577 0 4 0 16800975 18446604450679857472 0 0 -1 6 0 0 0
[pid=15787/tid=15792] ppid=15785 vsize=13648072 CPUtime=0 cores=0,2,4,6
/proc/15787/task/15792/stat : 15792 (java) S 15785 15787 10738 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 906059896 13975625728 24428 33554432000 1073741824 1073778376 140737047932112 18446744073709551615 256427207577 0 4 0 16800975 18446604450679857472 0 0 -1 6 0 0 0
[pid=15787/tid=15793] ppid=15785 vsize=13648072 CPUtime=0 cores=0,2,4,6
/proc/15787/task/15793/stat : 15793 (java) S 15785 15787 10738 0 -1 4202560 160 0 0 0 0 0 0 0 15 0 19 0 906059896 13975625728 24428 33554432000 1073741824 1073778376 140737047932112 18446744073709551615 256427207577 0 4 0 16800975 18446604450679857472 0 0 -1 4 0 0 0
[pid=15787/tid=15794] ppid=15785 vsize=13648072 CPUtime=0 cores=0,2,4,6
/proc/15787/task/15794/stat : 15794 (java) S 15785 15787 10738 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906059896 13975625728 24428 33554432000 1073741824 1073778376 140737047932112 18446744073709551615 256427207577 0 4 0 16800975 18446604450679857472 0 0 -1 6 0 0 0
[pid=15787/tid=15795] ppid=15785 vsize=13648072 CPUtime=0 cores=0,2,4,6
/proc/15787/task/15795/stat : 15795 (java) S 15785 15787 10738 0 -1 4202560 63 0 0 0 0 0 0 0 15 0 19 0 906059896 13975625728 24428 33554432000 1073741824 1073778376 140737047932112 18446744073709551615 256427207577 0 4 0 16800975 18446604450679857472 0 0 -1 6 0 0 0
[pid=15787/tid=15796] ppid=15785 vsize=13648072 CPUtime=0 cores=0,2,4,6
/proc/15787/task/15796/stat : 15796 (java) S 15785 15787 10738 0 -1 4202560 111 0 0 0 0 0 0 0 15 0 19 0 906059896 13975625728 24428 33554432000 1073741824 1073778376 140737047932112 18446744073709551615 256427207577 0 4 0 16800975 18446604450679857472 0 0 -1 4 0 0 0
[pid=15787/tid=15797] ppid=15785 vsize=13648072 CPUtime=0 cores=0,2,4,6
/proc/15787/task/15797/stat : 15797 (java) S 15785 15787 10738 0 -1 4202560 214 0 0 0 0 0 0 0 15 0 19 0 906059896 13975625728 24428 33554432000 1073741824 1073778376 140737047932112 18446744073709551615 256427207577 0 4 0 16800975 18446604450679857472 0 0 -1 6 0 0 0
[pid=15787/tid=15798] ppid=15785 vsize=13648072 CPUtime=0.03 cores=0,2,4,6
/proc/15787/task/15798/stat : 15798 (java) S 15785 15787 10738 0 -1 4202560 769 0 0 0 3 0 0 0 16 0 19 0 906059897 13975625728 24428 33554432000 1073741824 1073778376 140737047932112 18446744073709551615 256427208192 0 0 0 16800975 18446604450679857472 0 0 -1 2 0 0 0
[pid=15787/tid=15799] ppid=15785 vsize=13648072 CPUtime=0 cores=0,2,4,6
/proc/15787/task/15799/stat : 15799 (java) S 15785 15787 10738 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 906059897 13975625728 24428 33554432000 1073741824 1073778376 140737047932112 18446744073709551615 256427207577 0 4 0 16800975 18446604450679857472 0 0 -1 4 0 0 0
[pid=15787/tid=15800] ppid=15785 vsize=13648072 CPUtime=0 cores=0,2,4,6
/proc/15787/task/15800/stat : 15800 (java) S 15785 15787 10738 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 906059897 13975625728 24428 33554432000 1073741824 1073778376 140737047932112 18446744073709551615 256427207577 0 4 0 16800975 18446604450679857472 0 0 -1 2 0 0 0
[pid=15787/tid=15801] ppid=15785 vsize=13648072 CPUtime=0 cores=0,2,4,6
/proc/15787/task/15801/stat : 15801 (java) S 15785 15787 10738 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 906059899 13975625728 24428 33554432000 1073741824 1073778376 140737047932112 18446744073709551615 256427215281 0 4 0 16800975 18446604450679857472 0 0 -1 6 0 0 0
[pid=15787/tid=15802] ppid=15785 vsize=13648072 CPUtime=0.25 cores=0,2,4,6
/proc/15787/task/15802/stat : 15802 (java) S 15785 15787 10738 0 -1 4202560 1808 0 0 0 25 0 0 0 15 0 19 0 906059899 13975625728 24428 33554432000 1073741824 1073778376 140737047932112 18446744073709551615 256427207577 0 4 0 16800975 18446604450679857472 0 0 -1 6 0 0 0
[pid=15787/tid=15803] ppid=15785 vsize=13648072 CPUtime=0.52 cores=0,2,4,6
/proc/15787/task/15803/stat : 15803 (java) R 15785 15787 10738 0 -1 4202560 8443 0 0 0 51 1 0 0 16 0 19 0 906059899 13975625728 24428 33554432000 1073741824 1073778376 140737047932112 18446744073709551615 47030369589942 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=15787/tid=15804] ppid=15785 vsize=13648072 CPUtime=0 cores=0,2,4,6
/proc/15787/task/15804/stat : 15804 (java) S 15785 15787 10738 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 906059899 13975625728 24428 33554432000 1073741824 1073778376 140737047932112 18446744073709551615 256427207577 0 4 0 16800975 18446604450679857472 0 0 -1 6 0 0 0
[pid=15787/tid=15805] ppid=15785 vsize=13648072 CPUtime=0 cores=0,2,4,6
/proc/15787/task/15805/stat : 15805 (java) S 15785 15787 10738 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906059899 13975625728 24428 33554432000 1073741824 1073778376 140737047932112 18446744073709551615 256427208192 0 4 0 16800975 18446604450679857472 0 0 -1 2 0 0 0
[pid=15787/tid=15806] ppid=15785 vsize=13648072 CPUtime=0 cores=0,2,4,6
/proc/15787/task/15806/stat : 15806 (java) S 15785 15787 10738 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 906059913 13975625728 24428 33554432000 1073741824 1073778376 140737047932112 18446744073709551615 256427208192 0 4 0 16800975 18446604450679857472 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.27
Current children cumulated vsize (KiB) 13648072
[startup+3.10139 s]
/proc/loadavg: 2.16 2.10 2.02 3/552 15806
/proc/meminfo: memFree=22945044/32950928 swapFree=58671692/67111528
[pid=15787] ppid=15785 vsize=13644408 CPUtime=4.19 cores=0,2,4,6
/proc/15787/stat : 15787 (java) S 15785 15787 10738 0 -1 4202496 28340 0 1 0 416 3 0 0 25 0 19 0 906059893 13971873792 24315 33554432000 1073741824 1073778376 140737047932112 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15787/statm: 3411102 24315 2249 9 0 3401836 0
[pid=15787/tid=15788] ppid=15785 vsize=13644408 CPUtime=2.99 cores=0,2,4,6
/proc/15787/task/15788/stat : 15788 (java) R 15785 15787 10738 0 -1 4202560 14772 0 1 0 298 1 0 0 25 0 19 0 906059894 13971873792 24315 33554432000 1073741824 1073778376 140737047932112 18446744073709551615 46912505611474 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=15787/tid=15790] ppid=15785 vsize=13644408 CPUtime=0 cores=0,2,4,6
/proc/15787/task/15790/stat : 15790 (java) S 15785 15787 10738 0 -1 4202560 183 0 0 0 0 0 0 0 15 0 19 0 906059896 13971873792 24315 33554432000 1073741824 1073778376 140737047932112 18446744073709551615 256427207577 0 4 0 16800975 18446604450679857472 0 0 -1 6 0 0 0
[pid=15787/tid=15791] ppid=15785 vsize=13644408 CPUtime=0 cores=0,2,4,6
/proc/15787/task/15791/stat : 15791 (java) S 15785 15787 10738 0 -1 4202560 31 0 0 0 0 0 0 0 15 0 19 0 906059896 13971873792 24315 33554432000 1073741824 1073778376 140737047932112 18446744073709551615 256427207577 0 4 0 16800975 18446604450679857472 0 0 -1 4 0 0 0
[pid=15787/tid=15792] ppid=15785 vsize=13644408 CPUtime=0 cores=0,2,4,6
/proc/15787/task/15792/stat : 15792 (java) S 15785 15787 10738 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 906059896 13971873792 24315 33554432000 1073741824 1073778376 140737047932112 18446744073709551615 256427207577 0 4 0 16800975 18446604450679857472 0 0 -1 4 0 0 0
[pid=15787/tid=15793] ppid=15785 vsize=13644408 CPUtime=0 cores=0,2,4,6
/proc/15787/task/15793/stat : 15793 (java) S 15785 15787 10738 0 -1 4202560 199 0 0 0 0 0 0 0 15 0 19 0 906059896 13971873792 24315 33554432000 1073741824 1073778376 140737047932112 18446744073709551615 256427207577 0 4 0 16800975 18446604450679857472 0 0 -1 4 0 0 0
[pid=15787/tid=15794] ppid=15785 vsize=13644408 CPUtime=0 cores=0,2,4,6
/proc/15787/task/15794/stat : 15794 (java) S 15785 15787 10738 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 19 0 906059896 13971873792 24315 33554432000 1073741824 1073778376 140737047932112 18446744073709551615 256427207577 0 4 0 16800975 18446604450679857472 0 0 -1 6 0 0 0
[pid=15787/tid=15795] ppid=15785 vsize=13644408 CPUtime=0 cores=0,2,4,6
/proc/15787/task/15795/stat : 15795 (java) S 15785 15787 10738 0 -1 4202560 65 0 0 0 0 0 0 0 15 0 19 0 906059896 13971873792 24315 33554432000 1073741824 1073778376 140737047932112 18446744073709551615 256427207577 0 4 0 16800975 18446604450679857472 0 0 -1 6 0 0 0
[pid=15787/tid=15796] ppid=15785 vsize=13644408 CPUtime=0 cores=0,2,4,6
/proc/15787/task/15796/stat : 15796 (java) S 15785 15787 10738 0 -1 4202560 111 0 0 0 0 0 0 0 15 0 19 0 906059896 13971873792 24315 33554432000 1073741824 1073778376 140737047932112 18446744073709551615 256427207577 0 4 0 16800975 18446604450679857472 0 0 -1 4 0 0 0
[pid=15787/tid=15797] ppid=15785 vsize=13644408 CPUtime=0 cores=0,2,4,6
/proc/15787/task/15797/stat : 15797 (java) S 15785 15787 10738 0 -1 4202560 214 0 0 0 0 0 0 0 15 0 19 0 906059896 13971873792 24315 33554432000 1073741824 1073778376 140737047932112 18446744073709551615 256427207577 0 4 0 16800975 18446604450679857472 0 0 -1 4 0 0 0
[pid=15787/tid=15798] ppid=15785 vsize=13644408 CPUtime=0.06 cores=0,2,4,6
/proc/15787/task/15798/stat : 15798 (java) S 15785 15787 10738 0 -1 4202560 981 0 0 0 6 0 0 0 16 0 19 0 906059897 13971873792 24315 33554432000 1073741824 1073778376 140737047932112 18446744073709551615 256427208192 0 0 0 16800975 18446604450679857472 0 0 -1 2 0 0 0
[pid=15787/tid=15799] ppid=15785 vsize=13644408 CPUtime=0 cores=0,2,4,6
/proc/15787/task/15799/stat : 15799 (java) S 15785 15787 10738 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 906059897 13971873792 24315 33554432000 1073741824 1073778376 140737047932112 18446744073709551615 256427207577 0 4 0 16800975 18446604450679857472 0 0 -1 4 0 0 0
[pid=15787/tid=15800] ppid=15785 vsize=13644408 CPUtime=0 cores=0,2,4,6
/proc/15787/task/15800/stat : 15800 (java) S 15785 15787 10738 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 906059897 13971873792 24315 33554432000 1073741824 1073778376 140737047932112 18446744073709551615 256427207577 0 4 0 16800975 18446604450679857472 0 0 -1 2 0 0 0
[pid=15787/tid=15801] ppid=15785 vsize=13644408 CPUtime=0 cores=0,2,4,6
/proc/15787/task/15801/stat : 15801 (java) S 15785 15787 10738 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 906059899 13971873792 24315 33554432000 1073741824 1073778376 140737047932112 18446744073709551615 256427215281 0 4 0 16800975 18446604450679857472 0 0 -1 6 0 0 0
[pid=15787/tid=15802] ppid=15785 vsize=13644408 CPUtime=0.26 cores=0,2,4,6
/proc/15787/task/15802/stat : 15802 (java) S 15785 15787 10738 0 -1 4202560 1808 0 0 0 26 0 0 0 15 0 19 0 906059899 13971873792 24315 33554432000 1073741824 1073778376 140737047932112 18446744073709551615 256427207577 0 4 0 16800975 18446604450679857472 0 0 -1 6 0 0 0
[pid=15787/tid=15803] ppid=15785 vsize=13644408 CPUtime=0.82 cores=0,2,4,6
/proc/15787/task/15803/stat : 15803 (java) S 15785 15787 10738 0 -1 4202560 8768 0 0 0 81 1 0 0 16 0 19 0 906059899 13971873792 24315 33554432000 1073741824 1073778376 140737047932112 18446744073709551615 256427207577 0 4 0 16800975 18446604450679857472 0 0 -1 4 0 0 0
[pid=15787/tid=15804] ppid=15785 vsize=13644408 CPUtime=0 cores=0,2,4,6
/proc/15787/task/15804/stat : 15804 (java) S 15785 15787 10738 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 906059899 13971873792 24315 33554432000 1073741824 1073778376 140737047932112 18446744073709551615 256427207577 0 4 0 16800975 18446604450679857472 0 0 -1 6 0 0 0
[pid=15787/tid=15805] ppid=15785 vsize=13644408 CPUtime=0 cores=0,2,4,6
/proc/15787/task/15805/stat : 15805 (java) S 15785 15787 10738 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906059899 13971873792 24315 33554432000 1073741824 1073778376 140737047932112 18446744073709551615 256427208192 0 4 0 16800975 18446604450679857472 0 0 -1 4 0 0 0
[pid=15787/tid=15806] ppid=15785 vsize=13644408 CPUtime=0 cores=0,2,4,6
/proc/15787/task/15806/stat : 15806 (java) S 15785 15787 10738 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 906059913 13971873792 24315 33554432000 1073741824 1073778376 140737047932112 18446744073709551615 256427208192 0 4 0 16800975 18446604450679857472 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4.19
Current children cumulated vsize (KiB) 13644408
[startup+6.30079 s]
/proc/loadavg: 2.15 2.10 2.02 3/552 15806
/proc/meminfo: memFree=22941076/32950928 swapFree=58671692/67111528
[pid=15787] ppid=15785 vsize=13644408 CPUtime=7.41 cores=0,2,4,6
/proc/15787/stat : 15787 (java) S 15785 15787 10738 0 -1 4202496 29151 0 1 0 738 3 0 0 25 0 19 0 906059893 13971873792 25110 33554432000 1073741824 1073778376 140737047932112 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15787/statm: 3411102 25110 2249 9 0 3401836 0
[pid=15787/tid=15788] ppid=15785 vsize=13644408 CPUtime=6.08 cores=0,2,4,6
/proc/15787/task/15788/stat : 15788 (java) S 15785 15787 10738 0 -1 4202560 14787 0 1 0 607 1 0 0 25 0 19 0 906059894 13971873792 25110 33554432000 1073741824 1073778376 140737047932112 18446744073709551615 256427207577 0 4 0 16800975 18446604450679857472 0 0 -1 2 0 0 0
[pid=15787/tid=15790] ppid=15785 vsize=13644408 CPUtime=0 cores=0,2,4,6
/proc/15787/task/15790/stat : 15790 (java) S 15785 15787 10738 0 -1 4202560 231 0 0 0 0 0 0 0 15 0 19 0 906059896 13971873792 25110 33554432000 1073741824 1073778376 140737047932112 18446744073709551615 256427207577 0 4 0 16800975 18446604450679857472 0 0 -1 6 0 0 0
[pid=15787/tid=15791] ppid=15785 vsize=13644408 CPUtime=0 cores=0,2,4,6
/proc/15787/task/15791/stat : 15791 (java) S 15785 15787 10738 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 906059896 13971873792 25110 33554432000 1073741824 1073778376 140737047932112 18446744073709551615 256427207577 0 4 0 16800975 18446604450679857472 0 0 -1 4 0 0 0
[pid=15787/tid=15792] ppid=15785 vsize=13644408 CPUtime=0 cores=0,2,4,6
/proc/15787/task/15792/stat : 15792 (java) S 15785 15787 10738 0 -1 4202560 75 0 0 0 0 0 0 0 15 0 19 0 906059896 13971873792 25110 33554432000 1073741824 1073778376 140737047932112 18446744073709551615 256427207577 0 4 0 16800975 18446604450679857472 0 0 -1 6 0 0 0
[pid=15787/tid=15793] ppid=15785 vsize=13644408 CPUtime=0 cores=0,2,4,6
/proc/15787/task/15793/stat : 15793 (java) S 15785 15787 10738 0 -1 4202560 226 0 0 0 0 0 0 0 15 0 19 0 906059896 13971873792 25110 33554432000 1073741824 1073778376 140737047932112 18446744073709551615 256427207577 0 4 0 16800975 18446604450679857472 0 0 -1 4 0 0 0
[pid=15787/tid=15794] ppid=15785 vsize=13644408 CPUtime=0 cores=0,2,4,6
/proc/15787/task/15794/stat : 15794 (java) S 15785 15787 10738 0 -1 4202560 50 0 0 0 0 0 0 0 15 0 19 0 906059896 13971873792 25110 33554432000 1073741824 1073778376 140737047932112 18446744073709551615 256427207577 0 4 0 16800975 18446604450679857472 0 0 -1 4 0 0 0
[pid=15787/tid=15795] ppid=15785 vsize=13644408 CPUtime=0 cores=0,2,4,6
/proc/15787/task/15795/stat : 15795 (java) S 15785 15787 10738 0 -1 4202560 70 0 0 0 0 0 0 0 16 0 19 0 906059896 13971873792 25110 33554432000 1073741824 1073778376 140737047932112 18446744073709551615 256427207577 0 4 0 16800975 18446604450679857472 0 0 -1 4 0 0 0
[pid=15787/tid=15796] ppid=15785 vsize=13644408 CPUtime=0 cores=0,2,4,6
/proc/15787/task/15796/stat : 15796 (java) S 15785 15787 10738 0 -1 4202560 113 0 0 0 0 0 0 0 15 0 19 0 906059896 13971873792 25110 33554432000 1073741824 1073778376 140737047932112 18446744073709551615 256427207577 0 4 0 16800975 18446604450679857472 0 0 -1 4 0 0 0
[pid=15787/tid=15797] ppid=15785 vsize=13644408 CPUtime=0 cores=0,2,4,6
/proc/15787/task/15797/stat : 15797 (java) S 15785 15787 10738 0 -1 4202560 224 0 0 0 0 0 0 0 15 0 19 0 906059896 13971873792 25110 33554432000 1073741824 1073778376 140737047932112 18446744073709551615 256427207577 0 4 0 16800975 18446604450679857472 0 0 -1 4 0 0 0
[pid=15787/tid=15798] ppid=15785 vsize=13644408 CPUtime=0.17 cores=0,2,4,6
/proc/15787/task/15798/stat : 15798 (java) R 15785 15787 10738 0 -1 4202560 1549 0 0 0 17 0 0 0 15 0 19 0 906059897 13971873792 25110 33554432000 1073741824 1073778376 140737047932112 18446744073709551615 256415085641 0 0 0 16800975 0 0 0 -1 2 0 0 0
[pid=15787/tid=15799] ppid=15785 vsize=13644408 CPUtime=0 cores=0,2,4,6
/proc/15787/task/15799/stat : 15799 (java) S 15785 15787 10738 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 906059897 13971873792 25110 33554432000 1073741824 1073778376 140737047932112 18446744073709551615 256427207577 0 4 0 16800975 18446604450679857472 0 0 -1 4 0 0 0
[pid=15787/tid=15800] ppid=15785 vsize=13644408 CPUtime=0 cores=0,2,4,6
/proc/15787/task/15800/stat : 15800 (java) S 15785 15787 10738 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 906059897 13971873792 25110 33554432000 1073741824 1073778376 140737047932112 18446744073709551615 256427207577 0 4 0 16800975 18446604450679857472 0 0 -1 2 0 0 0
[pid=15787/tid=15801] ppid=15785 vsize=13644408 CPUtime=0 cores=0,2,4,6
/proc/15787/task/15801/stat : 15801 (java) S 15785 15787 10738 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 906059899 13971873792 25110 33554432000 1073741824 1073778376 140737047932112 18446744073709551615 256427215281 0 4 0 16800975 18446604450679857472 0 0 -1 6 0 0 0
[pid=15787/tid=15802] ppid=15785 vsize=13644408 CPUtime=0.26 cores=0,2,4,6
/proc/15787/task/15802/stat : 15802 (java) S 15785 15787 10738 0 -1 4202560 1808 0 0 0 26 0 0 0 15 0 19 0 906059899 13971873792 25110 33554432000 1073741824 1073778376 140737047932112 18446744073709551615 256427207577 0 4 0 16800975 18446604450679857472 0 0 -1 6 0 0 0
[pid=15787/tid=15803] ppid=15785 vsize=13644408 CPUtime=0.84 cores=0,2,4,6
/proc/15787/task/15803/stat : 15803 (java) S 15785 15787 10738 0 -1 4202560 8768 0 0 0 83 1 0 0 15 0 19 0 906059899 13971873792 25110 33554432000 1073741824 1073778376 140737047932112 18446744073709551615 256427207577 0 4 0 16800975 18446604450679857472 0 0 -1 4 0 0 0
[pid=15787/tid=15804] ppid=15785 vsize=13644408 CPUtime=0 cores=0,2,4,6
/proc/15787/task/15804/stat : 15804 (java) S 15785 15787 10738 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 906059899 13971873792 25110 33554432000 1073741824 1073778376 140737047932112 18446744073709551615 256427207577 0 4 0 16800975 18446604450679857472 0 0 -1 6 0 0 0
[pid=15787/tid=15805] ppid=15785 vsize=13644408 CPUtime=0 cores=0,2,4,6
/proc/15787/task/15805/stat : 15805 (java) S 15785 15787 10738 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906059899 13971873792 25110 33554432000 1073741824 1073778376 140737047932112 18446744073709551615 256427208192 0 4 0 16800975 18446604450679857472 0 0 -1 4 0 0 0
[pid=15787/tid=15806] ppid=15785 vsize=13644408 CPUtime=0 cores=0,2,4,6
/proc/15787/task/15806/stat : 15806 (java) S 15785 15787 10738 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 906059913 13971873792 25110 33554432000 1073741824 1073778376 140737047932112 18446744073709551615 256427208192 0 4 0 16800975 18446604450679857472 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 7.41
Current children cumulated vsize (KiB) 13644408
Solver just ended. Dumping a history of the last processes samples
[startup+7.10163 s]
/proc/loadavg: 2.15 2.10 2.02 3/552 15806
/proc/meminfo: memFree=22940688/32950928 swapFree=58671692/67111528
[pid=15787] ppid=15785 vsize=13644408 CPUtime=8.21 cores=0,2,4,6
/proc/15787/stat : 15787 (java) S 15785 15787 10738 0 -1 4202496 29265 0 1 0 818 3 0 0 25 0 19 0 906059893 13971873792 25222 33554432000 1073741824 1073778376 140737047932112 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15787/statm: 3411102 25222 2249 9 0 3401836 0
[pid=15787/tid=15788] ppid=15785 vsize=13644408 CPUtime=6.83 cores=0,2,4,6
/proc/15787/task/15788/stat : 15788 (java) R 15785 15787 10738 0 -1 4202560 14789 0 1 0 682 1 0 0 25 0 19 0 906059894 13971873792 25222 33554432000 1073741824 1073778376 140737047932112 18446744073709551615 46912505600203 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=15787/tid=15790] ppid=15785 vsize=13644408 CPUtime=0 cores=0,2,4,6
/proc/15787/task/15790/stat : 15790 (java) S 15785 15787 10738 0 -1 4202560 231 0 0 0 0 0 0 0 15 0 19 0 906059896 13971873792 25222 33554432000 1073741824 1073778376 140737047932112 18446744073709551615 256427207577 0 4 0 16800975 18446604450679857472 0 0 -1 6 0 0 0
[pid=15787/tid=15791] ppid=15785 vsize=13644408 CPUtime=0 cores=0,2,4,6
/proc/15787/task/15791/stat : 15791 (java) S 15785 15787 10738 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 906059896 13971873792 25222 33554432000 1073741824 1073778376 140737047932112 18446744073709551615 256427207577 0 4 0 16800975 18446604450679857472 0 0 -1 4 0 0 0
[pid=15787/tid=15792] ppid=15785 vsize=13644408 CPUtime=0 cores=0,2,4,6
/proc/15787/task/15792/stat : 15792 (java) S 15785 15787 10738 0 -1 4202560 75 0 0 0 0 0 0 0 15 0 19 0 906059896 13971873792 25222 33554432000 1073741824 1073778376 140737047932112 18446744073709551615 256427207577 0 4 0 16800975 18446604450679857472 0 0 -1 6 0 0 0
[pid=15787/tid=15793] ppid=15785 vsize=13644408 CPUtime=0 cores=0,2,4,6
/proc/15787/task/15793/stat : 15793 (java) S 15785 15787 10738 0 -1 4202560 227 0 0 0 0 0 0 0 15 0 19 0 906059896 13971873792 25222 33554432000 1073741824 1073778376 140737047932112 18446744073709551615 256427207577 0 4 0 16800975 18446604450679857472 0 0 -1 4 0 0 0
[pid=15787/tid=15794] ppid=15785 vsize=13644408 CPUtime=0 cores=0,2,4,6
/proc/15787/task/15794/stat : 15794 (java) S 15785 15787 10738 0 -1 4202560 50 0 0 0 0 0 0 0 15 0 19 0 906059896 13971873792 25222 33554432000 1073741824 1073778376 140737047932112 18446744073709551615 256427207577 0 4 0 16800975 18446604450679857472 0 0 -1 4 0 0 0
[pid=15787/tid=15795] ppid=15785 vsize=13644408 CPUtime=0 cores=0,2,4,6
/proc/15787/task/15795/stat : 15795 (java) S 15785 15787 10738 0 -1 4202560 70 0 0 0 0 0 0 0 15 0 19 0 906059896 13971873792 25222 33554432000 1073741824 1073778376 140737047932112 18446744073709551615 256427207577 0 4 0 16800975 18446604450679857472 0 0 -1 6 0 0 0
[pid=15787/tid=15796] ppid=15785 vsize=13644408 CPUtime=0 cores=0,2,4,6
/proc/15787/task/15796/stat : 15796 (java) S 15785 15787 10738 0 -1 4202560 113 0 0 0 0 0 0 0 15 0 19 0 906059896 13971873792 25222 33554432000 1073741824 1073778376 140737047932112 18446744073709551615 256427207577 0 4 0 16800975 18446604450679857472 0 0 -1 4 0 0 0
[pid=15787/tid=15797] ppid=15785 vsize=13644408 CPUtime=0 cores=0,2,4,6
/proc/15787/task/15797/stat : 15797 (java) S 15785 15787 10738 0 -1 4202560 224 0 0 0 0 0 0 0 15 0 19 0 906059896 13971873792 25222 33554432000 1073741824 1073778376 140737047932112 18446744073709551615 256427207577 0 4 0 16800975 18446604450679857472 0 0 -1 4 0 0 0
[pid=15787/tid=15798] ppid=15785 vsize=13644408 CPUtime=0.21 cores=0,2,4,6
/proc/15787/task/15798/stat : 15798 (java) S 15785 15787 10738 0 -1 4202560 1660 0 0 0 21 0 0 0 16 0 19 0 906059897 13971873792 25222 33554432000 1073741824 1073778376 140737047932112 18446744073709551615 256427208192 0 0 0 16800975 18446604450679857472 0 0 -1 2 0 0 0
[pid=15787/tid=15799] ppid=15785 vsize=13644408 CPUtime=0 cores=0,2,4,6
/proc/15787/task/15799/stat : 15799 (java) S 15785 15787 10738 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 906059897 13971873792 25222 33554432000 1073741824 1073778376 140737047932112 18446744073709551615 256427207577 0 4 0 16800975 18446604450679857472 0 0 -1 4 0 0 0
[pid=15787/tid=15800] ppid=15785 vsize=13644408 CPUtime=0 cores=0,2,4,6
/proc/15787/task/15800/stat : 15800 (java) S 15785 15787 10738 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 906059897 13971873792 25222 33554432000 1073741824 1073778376 140737047932112 18446744073709551615 256427207577 0 4 0 16800975 18446604450679857472 0 0 -1 2 0 0 0
[pid=15787/tid=15801] ppid=15785 vsize=13644408 CPUtime=0 cores=0,2,4,6
/proc/15787/task/15801/stat : 15801 (java) S 15785 15787 10738 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 906059899 13971873792 25222 33554432000 1073741824 1073778376 140737047932112 18446744073709551615 256427215281 0 4 0 16800975 18446604450679857472 0 0 -1 6 0 0 0
[pid=15787/tid=15802] ppid=15785 vsize=13644408 CPUtime=0.26 cores=0,2,4,6
/proc/15787/task/15802/stat : 15802 (java) S 15785 15787 10738 0 -1 4202560 1808 0 0 0 26 0 0 0 15 0 19 0 906059899 13971873792 25222 33554432000 1073741824 1073778376 140737047932112 18446744073709551615 256427207577 0 4 0 16800975 18446604450679857472 0 0 -1 6 0 0 0
[pid=15787/tid=15803] ppid=15785 vsize=13644408 CPUtime=0.84 cores=0,2,4,6
/proc/15787/task/15803/stat : 15803 (java) S 15785 15787 10738 0 -1 4202560 8768 0 0 0 83 1 0 0 15 0 19 0 906059899 13971873792 25222 33554432000 1073741824 1073778376 140737047932112 18446744073709551615 256427207577 0 4 0 16800975 18446604450679857472 0 0 -1 4 0 0 0
[pid=15787/tid=15804] ppid=15785 vsize=13644408 CPUtime=0 cores=0,2,4,6
/proc/15787/task/15804/stat : 15804 (java) S 15785 15787 10738 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 906059899 13971873792 25222 33554432000 1073741824 1073778376 140737047932112 18446744073709551615 256427207577 0 4 0 16800975 18446604450679857472 0 0 -1 6 0 0 0
[pid=15787/tid=15805] ppid=15785 vsize=13644408 CPUtime=0 cores=0,2,4,6
/proc/15787/task/15805/stat : 15805 (java) S 15785 15787 10738 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906059899 13971873792 25222 33554432000 1073741824 1073778376 140737047932112 18446744073709551615 256427208192 0 4 0 16800975 18446604450679857472 0 0 -1 4 0 0 0
[pid=15787/tid=15806] ppid=15785 vsize=13644408 CPUtime=0 cores=0,2,4,6
/proc/15787/task/15806/stat : 15806 (java) S 15785 15787 10738 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 906059913 13971873792 25222 33554432000 1073741824 1073778376 140737047932112 18446744073709551615 256427208192 0 4 0 16800975 18446604450679857472 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 8.21
Current children cumulated vsize (KiB) 13644408
[startup+7.90148 s]
/proc/loadavg: 2.15 2.10 2.02 3/552 15806
/proc/meminfo: memFree=22940672/32950928 swapFree=58671692/67111528
[pid=15787] ppid=15785 vsize=13644408 CPUtime=9.02 cores=0,2,4,6
/proc/15787/stat : 15787 (java) S 15785 15787 10738 0 -1 4202496 29337 0 1 0 899 3 0 0 25 0 19 0 906059893 13971873792 25293 33554432000 1073741824 1073778376 140737047932112 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15787/statm: 3411102 25293 2249 9 0 3401836 0
[pid=15787/tid=15788] ppid=15785 vsize=13644408 CPUtime=7.61 cores=0,2,4,6
/proc/15787/task/15788/stat : 15788 (java) R 15785 15787 10738 0 -1 4202560 14790 0 1 0 760 1 0 0 25 0 19 0 906059894 13971873792 25293 33554432000 1073741824 1073778376 140737047932112 18446744073709551615 46912505529920 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=15787/tid=15790] ppid=15785 vsize=13644408 CPUtime=0 cores=0,2,4,6
/proc/15787/task/15790/stat : 15790 (java) S 15785 15787 10738 0 -1 4202560 231 0 0 0 0 0 0 0 15 0 19 0 906059896 13971873792 25293 33554432000 1073741824 1073778376 140737047932112 18446744073709551615 256427207577 0 4 0 16800975 18446604450679857472 0 0 -1 6 0 0 0
[pid=15787/tid=15791] ppid=15785 vsize=13644408 CPUtime=0 cores=0,2,4,6
/proc/15787/task/15791/stat : 15791 (java) S 15785 15787 10738 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 906059896 13971873792 25293 33554432000 1073741824 1073778376 140737047932112 18446744073709551615 256427207577 0 4 0 16800975 18446604450679857472 0 0 -1 2 0 0 0
[pid=15787/tid=15792] ppid=15785 vsize=13644408 CPUtime=0 cores=0,2,4,6
/proc/15787/task/15792/stat : 15792 (java) S 15785 15787 10738 0 -1 4202560 75 0 0 0 0 0 0 0 16 0 19 0 906059896 13971873792 25293 33554432000 1073741824 1073778376 140737047932112 18446744073709551615 256427207577 0 4 0 16800975 18446604450679857472 0 0 -1 6 0 0 0
[pid=15787/tid=15793] ppid=15785 vsize=13644408 CPUtime=0 cores=0,2,4,6
/proc/15787/task/15793/stat : 15793 (java) S 15785 15787 10738 0 -1 4202560 227 0 0 0 0 0 0 0 15 0 19 0 906059896 13971873792 25293 33554432000 1073741824 1073778376 140737047932112 18446744073709551615 256427207577 0 4 0 16800975 18446604450679857472 0 0 -1 4 0 0 0
[pid=15787/tid=15794] ppid=15785 vsize=13644408 CPUtime=0 cores=0,2,4,6
/proc/15787/task/15794/stat : 15794 (java) S 15785 15787 10738 0 -1 4202560 50 0 0 0 0 0 0 0 15 0 19 0 906059896 13971873792 25293 33554432000 1073741824 1073778376 140737047932112 18446744073709551615 256427207577 0 4 0 16800975 18446604450679857472 0 0 -1 4 0 0 0
[pid=15787/tid=15795] ppid=15785 vsize=13644408 CPUtime=0 cores=0,2,4,6
/proc/15787/task/15795/stat : 15795 (java) S 15785 15787 10738 0 -1 4202560 70 0 0 0 0 0 0 0 16 0 19 0 906059896 13971873792 25293 33554432000 1073741824 1073778376 140737047932112 18446744073709551615 256427207577 0 4 0 16800975 18446604450679857472 0 0 -1 6 0 0 0
[pid=15787/tid=15796] ppid=15785 vsize=13644408 CPUtime=0 cores=0,2,4,6
/proc/15787/task/15796/stat : 15796 (java) S 15785 15787 10738 0 -1 4202560 116 0 0 0 0 0 0 0 16 0 19 0 906059896 13971873792 25293 33554432000 1073741824 1073778376 140737047932112 18446744073709551615 256427207577 0 4 0 16800975 18446604450679857472 0 0 -1 4 0 0 0
[pid=15787/tid=15797] ppid=15785 vsize=13644408 CPUtime=0 cores=0,2,4,6
/proc/15787/task/15797/stat : 15797 (java) S 15785 15787 10738 0 -1 4202560 224 0 0 0 0 0 0 0 15 0 19 0 906059896 13971873792 25293 33554432000 1073741824 1073778376 140737047932112 18446744073709551615 256427207577 0 4 0 16800975 18446604450679857472 0 0 -1 4 0 0 0
[pid=15787/tid=15798] ppid=15785 vsize=13644408 CPUtime=0.23 cores=0,2,4,6
/proc/15787/task/15798/stat : 15798 (java) S 15785 15787 10738 0 -1 4202560 1728 0 0 0 23 0 0 0 16 0 19 0 906059897 13971873792 25293 33554432000 1073741824 1073778376 140737047932112 18446744073709551615 256427208192 0 0 0 16800975 18446604450679857472 0 0 -1 2 0 0 0
[pid=15787/tid=15799] ppid=15785 vsize=13644408 CPUtime=0 cores=0,2,4,6
/proc/15787/task/15799/stat : 15799 (java) S 15785 15787 10738 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 906059897 13971873792 25293 33554432000 1073741824 1073778376 140737047932112 18446744073709551615 256427207577 0 4 0 16800975 18446604450679857472 0 0 -1 4 0 0 0
[pid=15787/tid=15800] ppid=15785 vsize=13644408 CPUtime=0 cores=0,2,4,6
/proc/15787/task/15800/stat : 15800 (java) S 15785 15787 10738 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 906059897 13971873792 25293 33554432000 1073741824 1073778376 140737047932112 18446744073709551615 256427207577 0 4 0 16800975 18446604450679857472 0 0 -1 2 0 0 0
[pid=15787/tid=15801] ppid=15785 vsize=13644408 CPUtime=0 cores=0,2,4,6
/proc/15787/task/15801/stat : 15801 (java) S 15785 15787 10738 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 906059899 13971873792 25293 33554432000 1073741824 1073778376 140737047932112 18446744073709551615 256427215281 0 4 0 16800975 18446604450679857472 0 0 -1 6 0 0 0
[pid=15787/tid=15802] ppid=15785 vsize=13644408 CPUtime=0.26 cores=0,2,4,6
/proc/15787/task/15802/stat : 15802 (java) S 15785 15787 10738 0 -1 4202560 1808 0 0 0 26 0 0 0 15 0 19 0 906059899 13971873792 25293 33554432000 1073741824 1073778376 140737047932112 18446744073709551615 256427207577 0 4 0 16800975 18446604450679857472 0 0 -1 6 0 0 0
[pid=15787/tid=15803] ppid=15785 vsize=13644408 CPUtime=0.84 cores=0,2,4,6
/proc/15787/task/15803/stat : 15803 (java) S 15785 15787 10738 0 -1 4202560 8768 0 0 0 83 1 0 0 15 0 19 0 906059899 13971873792 25293 33554432000 1073741824 1073778376 140737047932112 18446744073709551615 256427207577 0 4 0 16800975 18446604450679857472 0 0 -1 4 0 0 0
[pid=15787/tid=15804] ppid=15785 vsize=13644408 CPUtime=0 cores=0,2,4,6
/proc/15787/task/15804/stat : 15804 (java) S 15785 15787 10738 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 906059899 13971873792 25293 33554432000 1073741824 1073778376 140737047932112 18446744073709551615 256427207577 0 4 0 16800975 18446604450679857472 0 0 -1 6 0 0 0
[pid=15787/tid=15805] ppid=15785 vsize=13644408 CPUtime=0 cores=0,2,4,6
/proc/15787/task/15805/stat : 15805 (java) S 15785 15787 10738 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906059899 13971873792 25293 33554432000 1073741824 1073778376 140737047932112 18446744073709551615 256427208192 0 4 0 16800975 18446604450679857472 0 0 -1 4 0 0 0
[pid=15787/tid=15806] ppid=15785 vsize=13644408 CPUtime=0 cores=0,2,4,6
/proc/15787/task/15806/stat : 15806 (java) S 15785 15787 10738 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 906059913 13971873792 25293 33554432000 1073741824 1073778376 140737047932112 18446744073709551615 256427208192 0 4 0 16800975 18446604450679857472 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 9.02
Current children cumulated vsize (KiB) 13644408
[startup+8.10144 s]
/proc/loadavg: 2.15 2.10 2.02 3/552 15806
/proc/meminfo: memFree=22940672/32950928 swapFree=58671692/67111528
[pid=15787] ppid=15785 vsize=13644408 CPUtime=9.22 cores=0,2,4,6
/proc/15787/stat : 15787 (java) S 15785 15787 10738 0 -1 4202496 29339 0 1 0 919 3 0 0 25 0 19 0 906059893 13971873792 25294 33554432000 1073741824 1073778376 140737047932112 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15787/statm: 3411102 25294 2249 9 0 3401836 0
[pid=15787/tid=15788] ppid=15785 vsize=13644408 CPUtime=7.79 cores=0,2,4,6
/proc/15787/task/15788/stat : 15788 (java) R 15785 15787 10738 0 -1 4202560 14791 0 1 0 778 1 0 0 25 0 19 0 906059894 13971873792 25294 33554432000 1073741824 1073778376 140737047932112 18446744073709551615 46912505611451 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=15787/tid=15790] ppid=15785 vsize=13644408 CPUtime=0 cores=0,2,4,6
/proc/15787/task/15790/stat : 15790 (java) S 15785 15787 10738 0 -1 4202560 231 0 0 0 0 0 0 0 15 0 19 0 906059896 13971873792 25294 33554432000 1073741824 1073778376 140737047932112 18446744073709551615 256427207577 0 4 0 16800975 18446604450679857472 0 0 -1 6 0 0 0
[pid=15787/tid=15791] ppid=15785 vsize=13644408 CPUtime=0 cores=0,2,4,6
/proc/15787/task/15791/stat : 15791 (java) S 15785 15787 10738 0 -1 4202560 99 0 0 0 0 0 0 0 16 0 19 0 906059896 13971873792 25294 33554432000 1073741824 1073778376 140737047932112 18446744073709551615 256427207577 0 4 0 16800975 18446604450679857472 0 0 -1 6 0 0 0
[pid=15787/tid=15792] ppid=15785 vsize=13644408 CPUtime=0 cores=0,2,4,6
/proc/15787/task/15792/stat : 15792 (java) S 15785 15787 10738 0 -1 4202560 75 0 0 0 0 0 0 0 15 0 19 0 906059896 13971873792 25294 33554432000 1073741824 1073778376 140737047932112 18446744073709551615 256427207577 0 4 0 16800975 18446604450679857472 0 0 -1 6 0 0 0
[pid=15787/tid=15793] ppid=15785 vsize=13644408 CPUtime=0 cores=0,2,4,6
/proc/15787/task/15793/stat : 15793 (java) S 15785 15787 10738 0 -1 4202560 227 0 0 0 0 0 0 0 15 0 19 0 906059896 13971873792 25294 33554432000 1073741824 1073778376 140737047932112 18446744073709551615 256427207577 0 4 0 16800975 18446604450679857472 0 0 -1 4 0 0 0
[pid=15787/tid=15794] ppid=15785 vsize=13644408 CPUtime=0 cores=0,2,4,6
/proc/15787/task/15794/stat : 15794 (java) S 15785 15787 10738 0 -1 4202560 50 0 0 0 0 0 0 0 15 0 19 0 906059896 13971873792 25294 33554432000 1073741824 1073778376 140737047932112 18446744073709551615 256427207577 0 4 0 16800975 18446604450679857472 0 0 -1 4 0 0 0
[pid=15787/tid=15795] ppid=15785 vsize=13644408 CPUtime=0 cores=0,2,4,6
/proc/15787/task/15795/stat : 15795 (java) S 15785 15787 10738 0 -1 4202560 70 0 0 0 0 0 0 0 15 0 19 0 906059896 13971873792 25294 33554432000 1073741824 1073778376 140737047932112 18446744073709551615 256427207577 0 4 0 16800975 18446604450679857472 0 0 -1 6 0 0 0
[pid=15787/tid=15796] ppid=15785 vsize=13644408 CPUtime=0 cores=0,2,4,6
/proc/15787/task/15796/stat : 15796 (java) S 15785 15787 10738 0 -1 4202560 116 0 0 0 0 0 0 0 15 0 19 0 906059896 13971873792 25294 33554432000 1073741824 1073778376 140737047932112 18446744073709551615 256427207577 0 4 0 16800975 18446604450679857472 0 0 -1 4 0 0 0
[pid=15787/tid=15797] ppid=15785 vsize=13644408 CPUtime=0 cores=0,2,4,6
/proc/15787/task/15797/stat : 15797 (java) S 15785 15787 10738 0 -1 4202560 224 0 0 0 0 0 0 0 15 0 19 0 906059896 13971873792 25294 33554432000 1073741824 1073778376 140737047932112 18446744073709551615 256427207577 0 4 0 16800975 18446604450679857472 0 0 -1 4 0 0 0
[pid=15787/tid=15798] ppid=15785 vsize=13644408 CPUtime=0.24 cores=0,2,4,6
/proc/15787/task/15798/stat : 15798 (java) S 15785 15787 10738 0 -1 4202560 1728 0 0 0 24 0 0 0 16 0 19 0 906059897 13971873792 25294 33554432000 1073741824 1073778376 140737047932112 18446744073709551615 256427208192 0 0 0 16800975 18446604450679857472 0 0 -1 2 0 0 0
[pid=15787/tid=15799] ppid=15785 vsize=13644408 CPUtime=0 cores=0,2,4,6
/proc/15787/task/15799/stat : 15799 (java) S 15785 15787 10738 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 906059897 13971873792 25294 33554432000 1073741824 1073778376 140737047932112 18446744073709551615 256427207577 0 4 0 16800975 18446604450679857472 0 0 -1 4 0 0 0
[pid=15787/tid=15800] ppid=15785 vsize=13644408 CPUtime=0 cores=0,2,4,6
/proc/15787/task/15800/stat : 15800 (java) S 15785 15787 10738 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 906059897 13971873792 25294 33554432000 1073741824 1073778376 140737047932112 18446744073709551615 256427207577 0 4 0 16800975 18446604450679857472 0 0 -1 2 0 0 0
[pid=15787/tid=15801] ppid=15785 vsize=13644408 CPUtime=0 cores=0,2,4,6
/proc/15787/task/15801/stat : 15801 (java) S 15785 15787 10738 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 906059899 13971873792 25294 33554432000 1073741824 1073778376 140737047932112 18446744073709551615 256427215281 0 4 0 16800975 18446604450679857472 0 0 -1 6 0 0 0
[pid=15787/tid=15802] ppid=15785 vsize=13644408 CPUtime=0.26 cores=0,2,4,6
/proc/15787/task/15802/stat : 15802 (java) S 15785 15787 10738 0 -1 4202560 1808 0 0 0 26 0 0 0 15 0 19 0 906059899 13971873792 25294 33554432000 1073741824 1073778376 140737047932112 18446744073709551615 256427207577 0 4 0 16800975 18446604450679857472 0 0 -1 6 0 0 0
[pid=15787/tid=15803] ppid=15785 vsize=13644408 CPUtime=0.84 cores=0,2,4,6
/proc/15787/task/15803/stat : 15803 (java) S 15785 15787 10738 0 -1 4202560 8768 0 0 0 83 1 0 0 15 0 19 0 906059899 13971873792 25294 33554432000 1073741824 1073778376 140737047932112 18446744073709551615 256427207577 0 4 0 16800975 18446604450679857472 0 0 -1 4 0 0 0
[pid=15787/tid=15804] ppid=15785 vsize=13644408 CPUtime=0 cores=0,2,4,6
/proc/15787/task/15804/stat : 15804 (java) S 15785 15787 10738 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 906059899 13971873792 25294 33554432000 1073741824 1073778376 140737047932112 18446744073709551615 256427207577 0 4 0 16800975 18446604450679857472 0 0 -1 6 0 0 0
[pid=15787/tid=15805] ppid=15785 vsize=13644408 CPUtime=0 cores=0,2,4,6
/proc/15787/task/15805/stat : 15805 (java) S 15785 15787 10738 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906059899 13971873792 25294 33554432000 1073741824 1073778376 140737047932112 18446744073709551615 256427208192 0 4 0 16800975 18446604450679857472 0 0 -1 4 0 0 0
[pid=15787/tid=15806] ppid=15785 vsize=13644408 CPUtime=0 cores=0,2,4,6
/proc/15787/task/15806/stat : 15806 (java) S 15785 15787 10738 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 906059913 13971873792 25294 33554432000 1073741824 1073778376 140737047932112 18446744073709551615 256427208192 0 4 0 16800975 18446604450679857472 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 9.22
Current children cumulated vsize (KiB) 13644408
[startup+8.20137 s]
/proc/loadavg: 2.15 2.10 2.02 3/552 15806
/proc/meminfo: memFree=22940672/32950928 swapFree=58671692/67111528
[pid=15787] ppid=15785 vsize=0 CPUtime=9.32 cores=0,2,4,6
/proc/15787/stat : 15787 (java) R 15785 15787 10738 0 -1 4203524 29359 0 1 0 928 4 0 0 18 0 1 0 906059893 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15787/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 9.32
Current children cumulated vsize (KiB) 0
Child status: 30
Real time (s): 8.20168
CPU time (s): 9.33358
CPU user time (s): 9.28859
CPU system time (s): 0.044993
CPU usage (%): 113.801
Max. virtual memory (cumulated for all children) (KiB): 13649212
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.28859
system time used= 0.044993
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29359
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= 842
involuntary context switches= 401
runsolver used 0.053991 second user time and 0.100984 second system time
The end