runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (9077 MiB free)
memory of node 1: 16384 MiB (15653 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4263330-1502624790/watcher-4263330-1502624790 -o /tmp/evaluation-result-4263330-1502624790/solver-4263330-1502624790 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502602071-18557 --watchdog 2580 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4263330-1502624790.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=23372, runsolver pid=23369
[startup+0.100093 s]*
/proc/loadavg: 4.06 3.70 3.38 3/205 23378
/proc/meminfo: memFree=25316396/32770624 swapFree=67108776/67108860
[pid=23372] ppid=23369 vsize=10018544 memory=17804 CPUtime=0.01 cores=1,3,5,7
/proc/23372/stat : 23372 (java) S 23369 23372 7084 0 -1 1077944320 3751 0 0 0 1 0 0 0 20 0 7 0 162131699 10258989056 4451 18446744073709551615 4194304 4196468 140732238066368 140732238048912 140525062389495 0 0 1 16784584 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 24551424 140732238070160 140732238070313 140732238070313 140732238073807 0
/proc/23372/statm: 2504636 4451 2022 1 0 2494133 0
[pid=23372/tid=23374] ppid=23369 vsize=10018544 memory=-6439968830534014599 CPUtime=0.01 cores=1,3,5,7
/proc/23372/task/23374/stat : 23374 (java) R 23369 23372 7084 0 -1 4202560 2457 0 0 0 1 0 0 0 20 0 7 0 162131708 10258989056 4451 18446744073709551615 4194304 4196468 140732238066368 140525066631952 140525046469982 0 4 1 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24551424 140732238070160 140732238070313 140732238070313 140732238073807 0
[pid=23372/tid=23375] ppid=23369 vsize=10018544 memory=6735269665564437106 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23375/stat : 23375 (java) S 23369 23372 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 162131709 10258989056 4451 18446744073709551615 4194304 4196468 140732238066368 140525023287952 140525062399701 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24551424 140732238070160 140732238070313 140732238070313 140732238073807 0
[pid=23372/tid=23376] ppid=23369 vsize=10018544 memory=140118786537088 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23376/stat : 23376 (java) S 23369 23372 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 162131709 10258989056 4451 18446744073709551615 4194304 4196468 140732238066368 140524672440848 140525062399701 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24551424 140732238070160 140732238070313 140732238070313 140732238073807 0
[pid=23372/tid=23377] ppid=23369 vsize=10018544 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23377/stat : 23377 (java) S 23369 23372 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 162131709 10258989056 4451 18446744073709551615 4194304 4196468 140732238066368 140524671388048 140525062399701 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24551424 140732238070160 140732238070313 140732238070313 140732238073807 0
[pid=23372/tid=23378] ppid=23369 vsize=10018544 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23378/stat : 23378 (java) S 23369 23372 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 162131709 10258989056 4451 18446744073709551615 4194304 4196468 140732238066368 140524670335248 140525062399701 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24551424 140732238070160 140732238070313 140732238070313 140732238073807 0
[pid=23372/tid=23379] ppid=23369 vsize=10018544 memory=140118786537088 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23379/stat : 23379 (java) S 23369 23372 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 162131710 10258989056 4451 18446744073709551615 4194304 4196468 140732238066368 140524626434928 140525062400642 0 0 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24551424 140732238070160 140732238070313 140732238070313 140732238073807 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 10018544 KiB
Current children cumulated memory: 17804 KiB
[startup+0.209913 s]*
/proc/loadavg: 4.06 3.70 3.38 2/213 23386
/proc/meminfo: memFree=25311128/32770624 swapFree=67108776/67108860
[pid=23372] ppid=23369 vsize=10551156 memory=23908 CPUtime=0.07 cores=1,3,5,7
/proc/23372/stat : 23372 (java) S 23369 23372 7084 0 -1 1077944320 4982 0 0 0 6 1 0 0 20 0 15 0 162131699 10804383744 5977 18446744073709551615 4194304 4196468 140732238066368 140732238048912 140525062389495 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 24551424 140732238070160 140732238070313 140732238070313 140732238073807 0
/proc/23372/statm: 2637789 5977 2604 1 0 2627261 0
[pid=23372/tid=23374] ppid=23369 vsize=10551156 memory=8318255677412212789 CPUtime=0.05 cores=1,3,5,7
/proc/23372/task/23374/stat : 23374 (java) R 23369 23372 7084 0 -1 4202560 3077 0 0 0 5 0 0 0 20 0 15 0 162131708 10804383744 5977 18446744073709551615 4194304 4196468 140732238066368 140525066628688 140525062411421 0 4 1 16800974 0 0 0 -1 5 0 0 6 0 0 6293624 6294260 24551424 140732238070160 140732238070313 140732238070313 140732238073807 0
[pid=23372/tid=23375] ppid=23369 vsize=10551156 memory=329 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23375/stat : 23375 (java) S 23369 23372 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 162131709 10804383744 5977 18446744073709551615 4194304 4196468 140732238066368 140525023287952 140525062399701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24551424 140732238070160 140732238070313 140732238070313 140732238073807 0
[pid=23372/tid=23376] ppid=23369 vsize=10551156 memory=3546223659331057312 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23376/stat : 23376 (java) S 23369 23372 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 162131709 10804383744 5977 18446744073709551615 4194304 4196468 140732238066368 140524672440848 140525062399701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24551424 140732238070160 140732238070313 140732238070313 140732238073807 0
[pid=23372/tid=23377] ppid=23369 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23377/stat : 23377 (java) S 23369 23372 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 162131709 10804383744 5977 18446744073709551615 4194304 4196468 140732238066368 140524671388048 140525062399701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24551424 140732238070160 140732238070313 140732238070313 140732238073807 0
[pid=23372/tid=23378] ppid=23369 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23378/stat : 23378 (java) S 23369 23372 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 162131709 10804383744 5977 18446744073709551615 4194304 4196468 140732238066368 140524670335248 140525062399701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24551424 140732238070160 140732238070313 140732238070313 140732238073807 0
[pid=23372/tid=23379] ppid=23369 vsize=10551156 memory=140118786537088 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23379/stat : 23379 (java) S 23369 23372 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 162131710 10804383744 5977 18446744073709551615 4194304 4196468 140732238066368 140524626434928 140525062400642 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24551424 140732238070160 140732238070313 140732238070313 140732238073807 0
[pid=23372/tid=23380] ppid=23369 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23380/stat : 23380 (java) S 23369 23372 7084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 162131710 10804383744 5977 18446744073709551615 4194304 4196468 140732238066368 140524625380896 140525062399701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24551424 140732238070160 140732238070313 140732238070313 140732238073807 0
[pid=23372/tid=23381] ppid=23369 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23381/stat : 23381 (java) S 23369 23372 7084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 162131711 10804383744 5977 18446744073709551615 4194304 4196468 140732238066368 140524624328048 140525062399701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24551424 140732238070160 140732238070313 140732238070313 140732238073807 0
[pid=23372/tid=23382] ppid=23369 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23382/stat : 23382 (java) S 23369 23372 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 162131713 10804383744 5977 18446744073709551615 4194304 4196468 140732238066368 140524623276368 140525062408091 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24551424 140732238070160 140732238070313 140732238070313 140732238073807 0
[pid=23372/tid=23383] ppid=23369 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23383/stat : 23383 (java) S 23369 23372 7084 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 162131713 10804383744 5977 18446744073709551615 4194304 4196468 140732238066368 140524622223728 140525062400642 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24551424 140732238070160 140732238070313 140732238070313 140732238073807 0
[pid=23372/tid=23384] ppid=23369 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23384/stat : 23384 (java) S 23369 23372 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 162131713 10804383744 5977 18446744073709551615 4194304 4196468 140732238066368 140524621170928 140525062400642 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24551424 140732238070160 140732238070313 140732238070313 140732238073807 0
[pid=23372/tid=23385] ppid=23369 vsize=10551156 memory=140118786537088 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23385/stat : 23385 (java) S 23369 23372 7084 0 -1 1077944384 231 0 0 0 0 0 0 0 20 0 15 0 162131713 10804383744 5977 18446744073709551615 4194304 4196468 140732238066368 140524620118128 140525062400642 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24551424 140732238070160 140732238070313 140732238070313 140732238073807 0
[pid=23372/tid=23386] ppid=23369 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23386/stat : 23386 (java) S 23369 23372 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 162131713 10804383744 5977 18446744073709551615 4194304 4196468 140732238066368 140524551923936 140525062399701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24551424 140732238070160 140732238070313 140732238070313 140732238073807 0
[pid=23372/tid=23387] ppid=23369 vsize=10551156 memory=140118786537088 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23387/stat : 23387 (java) S 23369 23372 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 162131720 10804383744 5977 18446744073709551615 4194304 4196468 140732238066368 140524550872240 140525062400642 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24551424 140732238070160 140732238070313 140732238070313 140732238073807 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 23908 KiB
[startup+0.310646 s]*
/proc/loadavg: 4.06 3.70 3.38 5/214 23387
/proc/meminfo: memFree=25298504/32770624 swapFree=67108776/67108860
[pid=23372] ppid=23369 vsize=10551156 memory=36068 CPUtime=0.22 cores=1,3,5,7
/proc/23372/stat : 23372 (java) S 23369 23372 7084 0 -1 1077944320 8289 0 0 0 19 3 0 0 20 0 15 0 162131699 10804383744 9017 18446744073709551615 4194304 4196468 140732238066368 140732238048912 140525062389495 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 24551424 140732238070160 140732238070313 140732238070313 140732238073807 0
/proc/23372/statm: 2637789 9017 2866 1 0 2627261 0
[pid=23372/tid=23374] ppid=23369 vsize=10551156 memory=-8774313645642428999 CPUtime=0.15 cores=1,3,5,7
/proc/23372/task/23374/stat : 23374 (java) R 23369 23372 7084 0 -1 4202560 5922 0 0 0 13 2 0 0 20 0 15 0 162131708 10804383744 9017 18446744073709551615 4194304 4196468 140732238066368 140525066601328 140525046469982 0 4 1 16800974 0 0 0 -1 3 0 0 6 0 0 6293624 6294260 24551424 140732238070160 140732238070313 140732238070313 140732238073807 0
[pid=23372/tid=23375] ppid=23369 vsize=10551156 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23375/stat : 23375 (java) S 23369 23372 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 162131709 10804383744 9017 18446744073709551615 4194304 4196468 140732238066368 140525023287952 140525062399701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24551424 140732238070160 140732238070313 140732238070313 140732238073807 0
[pid=23372/tid=23376] ppid=23369 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23376/stat : 23376 (java) S 23369 23372 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 162131709 10804383744 9017 18446744073709551615 4194304 4196468 140732238066368 140524672440848 140525062399701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24551424 140732238070160 140732238070313 140732238070313 140732238073807 0
[pid=23372/tid=23377] ppid=23369 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23377/stat : 23377 (java) S 23369 23372 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 162131709 10804383744 9017 18446744073709551615 4194304 4196468 140732238066368 140524671388048 140525062399701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24551424 140732238070160 140732238070313 140732238070313 140732238073807 0
[pid=23372/tid=23378] ppid=23369 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23378/stat : 23378 (java) S 23369 23372 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 162131709 10804383744 9017 18446744073709551615 4194304 4196468 140732238066368 140524670335248 140525062399701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24551424 140732238070160 140732238070313 140732238070313 140732238073807 0
[pid=23372/tid=23379] ppid=23369 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23379/stat : 23379 (java) S 23369 23372 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 162131710 10804383744 9017 18446744073709551615 4194304 4196468 140732238066368 140524626434928 140525062400642 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24551424 140732238070160 140732238070313 140732238070313 140732238073807 0
[pid=23372/tid=23380] ppid=23369 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23380/stat : 23380 (java) S 23369 23372 7084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 162131710 10804383744 9017 18446744073709551615 4194304 4196468 140732238066368 140524625380896 140525062399701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24551424 140732238070160 140732238070313 140732238070313 140732238073807 0
[pid=23372/tid=23381] ppid=23369 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23381/stat : 23381 (java) S 23369 23372 7084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 162131711 10804383744 9017 18446744073709551615 4194304 4196468 140732238066368 140524624328048 140525062399701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24551424 140732238070160 140732238070313 140732238070313 140732238073807 0
[pid=23372/tid=23382] ppid=23369 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23382/stat : 23382 (java) S 23369 23372 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 162131713 10804383744 9017 18446744073709551615 4194304 4196468 140732238066368 140524623276368 140525062408091 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24551424 140732238070160 140732238070313 140732238070313 140732238073807 0
[pid=23372/tid=23383] ppid=23369 vsize=10551156 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/23372/task/23383/stat : 23383 (java) S 23369 23372 7084 0 -1 1077944384 382 0 0 0 1 0 0 0 20 0 15 0 162131713 10804383744 9017 18446744073709551615 4194304 4196468 140732238066368 140524622223728 140525062400642 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24551424 140732238070160 140732238070313 140732238070313 140732238073807 0
[pid=23372/tid=23384] ppid=23369 vsize=10551156 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/23372/task/23384/stat : 23384 (java) S 23369 23372 7084 0 -1 1077944384 201 0 0 0 1 0 0 0 20 0 15 0 162131713 10804383744 9017 18446744073709551615 4194304 4196468 140732238066368 140524621170928 140525062400642 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24551424 140732238070160 140732238070313 140732238070313 140732238073807 0
[pid=23372/tid=23385] ppid=23369 vsize=10551156 memory=140118786537088 CPUtime=0.03 cores=1,3,5,7
/proc/23372/task/23385/stat : 23385 (java) S 23369 23372 7084 0 -1 1077944384 418 0 0 0 3 0 0 0 20 0 15 0 162131713 10804383744 9017 18446744073709551615 4194304 4196468 140732238066368 140524620118128 140525062400642 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24551424 140732238070160 140732238070313 140732238070313 140732238073807 0
[pid=23372/tid=23386] ppid=23369 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23386/stat : 23386 (java) S 23369 23372 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 162131713 10804383744 9017 18446744073709551615 4194304 4196468 140732238066368 140524551923936 140525062399701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24551424 140732238070160 140732238070313 140732238070313 140732238073807 0
[pid=23372/tid=23387] ppid=23369 vsize=10551156 memory=140118786537088 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23387/stat : 23387 (java) S 23369 23372 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 162131720 10804383744 9017 18446744073709551615 4194304 4196468 140732238066368 140524550872240 140525062400642 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24551424 140732238070160 140732238070313 140732238070313 140732238073807 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 36068 KiB
[startup+0.700899 s]
/proc/loadavg: 4.06 3.70 3.38 4/214 23387
/proc/meminfo: memFree=25289424/32770624 swapFree=67108776/67108860
[pid=23372] ppid=23369 vsize=10617796 memory=73636 CPUtime=1.26 cores=1,3,5,7
/proc/23372/stat : 23372 (java) S 23369 23372 7084 0 -1 1077944320 13208 0 0 0 121 5 0 0 20 0 16 0 162131699 10872623104 18409 18446744073709551615 4194304 4196468 140732238066368 140732238048912 140525062389495 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 24551424 140732238070160 140732238070313 140732238070313 140732238073807 0
/proc/23372/statm: 2654449 18409 3057 1 0 2643902 0
[pid=23372/tid=23374] ppid=23369 vsize=10617796 memory=0 CPUtime=0.53 cores=1,3,5,7
/proc/23372/task/23374/stat : 23374 (java) R 23369 23372 7084 0 -1 4202560 7480 0 0 0 50 3 0 0 20 0 16 0 162131708 10872623104 18409 18446744073709551615 4194304 4196468 140732238066368 140525066626192 140524706022003 0 4 1 16800974 0 0 0 -1 1 0 0 6 0 0 6293624 6294260 24551424 140732238070160 140732238070313 140732238070313 140732238073807 0
[pid=23372/tid=23375] ppid=23369 vsize=10617796 memory=280237355044560 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23375/stat : 23375 (java) S 23369 23372 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 162131709 10872623104 18409 18446744073709551615 4194304 4196468 140732238066368 140525023287952 140525062399701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24551424 140732238070160 140732238070313 140732238070313 140732238073807 0
[pid=23372/tid=23376] ppid=23369 vsize=10617796 memory=31602393 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23376/stat : 23376 (java) S 23369 23372 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 162131709 10872623104 18409 18446744073709551615 4194304 4196468 140732238066368 140524672440848 140525062399701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24551424 140732238070160 140732238070313 140732238070313 140732238073807 0
[pid=23372/tid=23377] ppid=23369 vsize=10617796 memory=-7886167514736700194 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23377/stat : 23377 (java) S 23369 23372 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 162131709 10872623104 18409 18446744073709551615 4194304 4196468 140732238066368 140524671388048 140525062399701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24551424 140732238070160 140732238070313 140732238070313 140732238073807 0
[pid=23372/tid=23378] ppid=23369 vsize=10617796 memory=6298654963638032225 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23378/stat : 23378 (java) S 23369 23372 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 162131709 10872623104 18409 18446744073709551615 4194304 4196468 140732238066368 140524670335248 140525062399701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24551424 140732238070160 140732238070313 140732238070313 140732238073807 0
[pid=23372/tid=23379] ppid=23369 vsize=10617796 memory=7453282923410058349 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23379/stat : 23379 (java) S 23369 23372 7084 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 16 0 162131710 10872623104 18409 18446744073709551615 4194304 4196468 140732238066368 140524626434928 140525062400642 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24551424 140732238070160 140732238070313 140732238070313 140732238073807 0
[pid=23372/tid=23380] ppid=23369 vsize=10617796 memory=6502580487379 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23380/stat : 23380 (java) S 23369 23372 7084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 162131710 10872623104 18409 18446744073709551615 4194304 4196468 140732238066368 140524625380896 140525062399701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24551424 140732238070160 140732238070313 140732238070313 140732238073807 0
[pid=23372/tid=23381] ppid=23369 vsize=10617796 memory=288230621803970871 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23381/stat : 23381 (java) S 23369 23372 7084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 162131711 10872623104 18409 18446744073709551615 4194304 4196468 140732238066368 140524624328048 140525062399701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24551424 140732238070160 140732238070313 140732238070313 140732238073807 0
[pid=23372/tid=23382] ppid=23369 vsize=10617796 memory=13563786715989427 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23382/stat : 23382 (java) S 23369 23372 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 162131713 10872623104 18409 18446744073709551615 4194304 4196468 140732238066368 140524623276368 140525062408091 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24551424 140732238070160 140732238070313 140732238070313 140732238073807 0
[pid=23372/tid=23383] ppid=23369 vsize=10617796 memory=39388 CPUtime=0.21 cores=1,3,5,7
/proc/23372/task/23383/stat : 23383 (java) R 23369 23372 7084 0 -1 4202560 1368 0 0 0 21 0 0 0 20 0 16 0 162131713 10872623104 18409 18446744073709551615 4194304 4196468 140732238066368 140524622203992 140525045800310 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24551424 140732238070160 140732238070313 140732238070313 140732238073807 0
[pid=23372/tid=23384] ppid=23369 vsize=10617796 memory=636 CPUtime=0.22 cores=1,3,5,7
/proc/23372/task/23384/stat : 23384 (java) R 23369 23372 7084 0 -1 4202560 1186 0 0 0 22 0 0 0 20 0 16 0 162131713 10872623104 18409 18446744073709551615 4194304 4196468 140732238066368 140524621167296 140525046779613 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24551424 140732238070160 140732238070313 140732238070313 140732238073807 0
[pid=23372/tid=23385] ppid=23369 vsize=10617796 memory=1796 CPUtime=0.26 cores=1,3,5,7
/proc/23372/task/23385/stat : 23385 (java) S 23369 23372 7084 0 -1 1077944384 1782 0 0 0 26 0 0 0 20 0 16 0 162131713 10872623104 18409 18446744073709551615 4194304 4196468 140732238066368 140524620118128 140525062400642 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24551424 140732238070160 140732238070313 140732238070313 140732238073807 0
[pid=23372/tid=23386] ppid=23369 vsize=10617796 memory=960 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23386/stat : 23386 (java) S 23369 23372 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 162131713 10872623104 18409 18446744073709551615 4194304 4196468 140732238066368 140524551923936 140525062399701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24551424 140732238070160 140732238070313 140732238070313 140732238073807 0
[pid=23372/tid=23387] ppid=23369 vsize=10617796 memory=1236 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23387/stat : 23387 (java) S 23369 23372 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 162131720 10872623104 18409 18446744073709551615 4194304 4196468 140732238066368 140524550872240 140525062400642 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24551424 140732238070160 140732238070313 140732238070313 140732238073807 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 10617796 KiB
Current children cumulated memory: 73636 KiB
[startup+1.50076 s]
/proc/loadavg: 4.06 3.70 3.38 5/215 23388
/proc/meminfo: memFree=25258180/32770624 swapFree=67108776/67108860
[pid=23372] ppid=23369 vsize=10750924 memory=85184 CPUtime=2.83 cores=1,3,5,7
/proc/23372/stat : 23372 (java) S 23369 23372 7084 0 -1 1077944320 18184 0 0 0 277 6 0 0 20 0 16 0 162131699 11008946176 21296 18446744073709551615 4194304 4196468 140732238066368 140732238048912 140525062389495 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 24551424 140732238070160 140732238070313 140732238070313 140732238073807 0
/proc/23372/statm: 2687731 21296 3073 1 0 2677184 0
[pid=23372/tid=23374] ppid=23369 vsize=10750924 memory=0 CPUtime=1.15 cores=1,3,5,7
/proc/23372/task/23374/stat : 23374 (java) S 23369 23372 7084 0 -1 1077944384 8182 0 0 0 112 3 0 0 20 0 16 0 162131708 11008946176 21296 18446744073709551615 4194304 4196468 140732238066368 140525066630176 140525062399701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 24551424 140732238070160 140732238070313 140732238070313 140732238073807 0
[pid=23372/tid=23375] ppid=23369 vsize=10750924 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23375/stat : 23375 (java) S 23369 23372 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 162131709 11008946176 21296 18446744073709551615 4194304 4196468 140732238066368 140525023287952 140525062399701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24551424 140732238070160 140732238070313 140732238070313 140732238073807 0
[pid=23372/tid=23376] ppid=23369 vsize=10750924 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23376/stat : 23376 (java) S 23369 23372 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 162131709 11008946176 21296 18446744073709551615 4194304 4196468 140732238066368 140524672440848 140525062399701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24551424 140732238070160 140732238070313 140732238070313 140732238073807 0
[pid=23372/tid=23377] ppid=23369 vsize=10750924 memory=8247907794334132811 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23377/stat : 23377 (java) S 23369 23372 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 162131709 11008946176 21296 18446744073709551615 4194304 4196468 140732238066368 140524671388048 140525062399701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24551424 140732238070160 140732238070313 140732238070313 140732238073807 0
[pid=23372/tid=23378] ppid=23369 vsize=10750924 memory=-8253362664378451598 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23378/stat : 23378 (java) S 23369 23372 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 162131709 11008946176 21296 18446744073709551615 4194304 4196468 140732238066368 140524670335248 140525062399701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24551424 140732238070160 140732238070313 140732238070313 140732238073807 0
[pid=23372/tid=23379] ppid=23369 vsize=10750924 memory=-8033973737701895300 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23379/stat : 23379 (java) S 23369 23372 7084 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 16 0 162131710 11008946176 21296 18446744073709551615 4194304 4196468 140732238066368 140524626434928 140525062400642 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24551424 140732238070160 140732238070313 140732238070313 140732238073807 0
[pid=23372/tid=23380] ppid=23369 vsize=10750924 memory=-7533522213388100735 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23380/stat : 23380 (java) S 23369 23372 7084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 162131710 11008946176 21296 18446744073709551615 4194304 4196468 140732238066368 140524625380896 140525062399701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24551424 140732238070160 140732238070313 140732238070313 140732238073807 0
[pid=23372/tid=23381] ppid=23369 vsize=10750924 memory=75924 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23381/stat : 23381 (java) S 23369 23372 7084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 162131711 11008946176 21296 18446744073709551615 4194304 4196468 140732238066368 140524624328048 140525062399701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24551424 140732238070160 140732238070313 140732238070313 140732238073807 0
[pid=23372/tid=23382] ppid=23369 vsize=10750924 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23382/stat : 23382 (java) S 23369 23372 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 162131713 11008946176 21296 18446744073709551615 4194304 4196468 140732238066368 140524623276368 140525062408091 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24551424 140732238070160 140732238070313 140732238070313 140732238073807 0
[pid=23372/tid=23383] ppid=23369 vsize=10750924 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/23372/task/23383/stat : 23383 (java) S 23369 23372 7084 0 -1 1077944384 3551 0 0 0 66 1 0 0 20 0 16 0 162131713 11008946176 21296 18446744073709551615 4194304 4196468 140732238066368 140524622223728 140525062400642 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24551424 140732238070160 140732238070313 140732238070313 140732238073807 0
[pid=23372/tid=23384] ppid=23369 vsize=10750924 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/23372/task/23384/stat : 23384 (java) S 23369 23372 7084 0 -1 1077944384 2970 0 0 0 67 0 0 0 20 0 16 0 162131713 11008946176 21296 18446744073709551615 4194304 4196468 140732238066368 140524621170928 140525062400642 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24551424 140732238070160 140732238070313 140732238070313 140732238073807 0
[pid=23372/tid=23385] ppid=23369 vsize=10750924 memory=0 CPUtime=0.3 cores=1,3,5,7
/proc/23372/task/23385/stat : 23385 (java) S 23369 23372 7084 0 -1 1077944384 1942 0 0 0 30 0 0 0 20 0 16 0 162131713 11008946176 21296 18446744073709551615 4194304 4196468 140732238066368 140524620118128 140525062400642 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24551424 140732238070160 140732238070313 140732238070313 140732238073807 0
[pid=23372/tid=23386] ppid=23369 vsize=10750924 memory=280237355382080 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23386/stat : 23386 (java) S 23369 23372 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 162131713 11008946176 21296 18446744073709551615 4194304 4196468 140732238066368 140524551923936 140525062399701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24551424 140732238070160 140732238070313 140732238070313 140732238073807 0
[pid=23372/tid=23387] ppid=23369 vsize=10750924 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23387/stat : 23387 (java) S 23369 23372 7084 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 16 0 162131720 11008946176 21296 18446744073709551615 4194304 4196468 140732238066368 140524550872240 140525062400642 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24551424 140732238070160 140732238070313 140732238070313 140732238073807 0
Current children cumulated CPU time: 2.83 s
Current children cumulated vsize: 10750924 KiB
Current children cumulated memory: 85184 KiB
[startup+1.53505 s]
# the end of solver process 23372 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2.78847 s, system=0.069177 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.50076 s]
/proc/loadavg: 4.06 3.70 3.38 5/215 23388
/proc/meminfo: memFree=25258180/32770624 swapFree=67108776/67108860
[pid=23372] ppid=23369 vsize=10750924 memory=85184 CPUtime=2.83 cores=1,3,5,7
/proc/23372/stat : 23372 (java) S 23369 23372 7084 0 -1 1077944320 18184 0 0 0 277 6 0 0 20 0 16 0 162131699 11008946176 21296 18446744073709551615 4194304 4196468 140732238066368 140732238048912 140525062389495 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 24551424 140732238070160 140732238070313 140732238070313 140732238073807 0
/proc/23372/statm: 2687731 21296 3073 1 0 2677184 0
[pid=23372/tid=23374] ppid=23369 vsize=10750924 memory=0 CPUtime=1.15 cores=1,3,5,7
/proc/23372/task/23374/stat : 23374 (java) S 23369 23372 7084 0 -1 1077944384 8182 0 0 0 112 3 0 0 20 0 16 0 162131708 11008946176 21296 18446744073709551615 4194304 4196468 140732238066368 140525066630176 140525062399701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 24551424 140732238070160 140732238070313 140732238070313 140732238073807 0
[pid=23372/tid=23375] ppid=23369 vsize=10750924 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23375/stat : 23375 (java) S 23369 23372 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 162131709 11008946176 21296 18446744073709551615 4194304 4196468 140732238066368 140525023287952 140525062399701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24551424 140732238070160 140732238070313 140732238070313 140732238073807 0
[pid=23372/tid=23376] ppid=23369 vsize=10750924 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23376/stat : 23376 (java) S 23369 23372 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 162131709 11008946176 21296 18446744073709551615 4194304 4196468 140732238066368 140524672440848 140525062399701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24551424 140732238070160 140732238070313 140732238070313 140732238073807 0
[pid=23372/tid=23377] ppid=23369 vsize=10750924 memory=8247907794334132811 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23377/stat : 23377 (java) S 23369 23372 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 162131709 11008946176 21296 18446744073709551615 4194304 4196468 140732238066368 140524671388048 140525062399701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24551424 140732238070160 140732238070313 140732238070313 140732238073807 0
[pid=23372/tid=23378] ppid=23369 vsize=10750924 memory=-8253362664378451598 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23378/stat : 23378 (java) S 23369 23372 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 162131709 11008946176 21296 18446744073709551615 4194304 4196468 140732238066368 140524670335248 140525062399701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24551424 140732238070160 140732238070313 140732238070313 140732238073807 0
[pid=23372/tid=23379] ppid=23369 vsize=10750924 memory=-8033973737701895300 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23379/stat : 23379 (java) S 23369 23372 7084 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 16 0 162131710 11008946176 21296 18446744073709551615 4194304 4196468 140732238066368 140524626434928 140525062400642 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24551424 140732238070160 140732238070313 140732238070313 140732238073807 0
[pid=23372/tid=23380] ppid=23369 vsize=10750924 memory=-7533522213388100735 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23380/stat : 23380 (java) S 23369 23372 7084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 162131710 11008946176 21296 18446744073709551615 4194304 4196468 140732238066368 140524625380896 140525062399701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24551424 140732238070160 140732238070313 140732238070313 140732238073807 0
[pid=23372/tid=23381] ppid=23369 vsize=10750924 memory=75924 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23381/stat : 23381 (java) S 23369 23372 7084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 162131711 11008946176 21296 18446744073709551615 4194304 4196468 140732238066368 140524624328048 140525062399701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24551424 140732238070160 140732238070313 140732238070313 140732238073807 0
[pid=23372/tid=23382] ppid=23369 vsize=10750924 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23382/stat : 23382 (java) S 23369 23372 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 162131713 11008946176 21296 18446744073709551615 4194304 4196468 140732238066368 140524623276368 140525062408091 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24551424 140732238070160 140732238070313 140732238070313 140732238073807 0
[pid=23372/tid=23383] ppid=23369 vsize=10750924 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/23372/task/23383/stat : 23383 (java) S 23369 23372 7084 0 -1 1077944384 3551 0 0 0 66 1 0 0 20 0 16 0 162131713 11008946176 21296 18446744073709551615 4194304 4196468 140732238066368 140524622223728 140525062400642 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24551424 140732238070160 140732238070313 140732238070313 140732238073807 0
[pid=23372/tid=23384] ppid=23369 vsize=10750924 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/23372/task/23384/stat : 23384 (java) S 23369 23372 7084 0 -1 1077944384 2970 0 0 0 67 0 0 0 20 0 16 0 162131713 11008946176 21296 18446744073709551615 4194304 4196468 140732238066368 140524621170928 140525062400642 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24551424 140732238070160 140732238070313 140732238070313 140732238073807 0
[pid=23372/tid=23385] ppid=23369 vsize=10750924 memory=0 CPUtime=0.3 cores=1,3,5,7
/proc/23372/task/23385/stat : 23385 (java) S 23369 23372 7084 0 -1 1077944384 1942 0 0 0 30 0 0 0 20 0 16 0 162131713 11008946176 21296 18446744073709551615 4194304 4196468 140732238066368 140524620118128 140525062400642 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24551424 140732238070160 140732238070313 140732238070313 140732238073807 0
[pid=23372/tid=23386] ppid=23369 vsize=10750924 memory=280237355382080 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23386/stat : 23386 (java) S 23369 23372 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 162131713 11008946176 21296 18446744073709551615 4194304 4196468 140732238066368 140524551923936 140525062399701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24551424 140732238070160 140732238070313 140732238070313 140732238073807 0
[pid=23372/tid=23387] ppid=23369 vsize=10750924 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23372/task/23387/stat : 23387 (java) S 23369 23372 7084 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 16 0 162131720 11008946176 21296 18446744073709551615 4194304 4196468 140732238066368 140524550872240 140525062400642 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24551424 140732238070160 140732238070313 140732238070313 140732238073807 0
Current children cumulated CPU time: 2.83 s
Current children cumulated vsize: 10750924 KiB
Current children cumulated memory: 85184 KiB
Child status: 0
Real time (s): 1.53509
CPU time (s): 2.85765
CPU user time (s): 2.78847
CPU system time (s): 0.069177
CPU usage (%): 186.155
Max. virtual memory (cumulated for all children) (KiB): 10750924
Max. memory (cumulated for all children) (KiB): 85184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.78847
system time used= 0.069177
maximum resident set size= 87668
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18604
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1530
involuntary context switches= 9
# summary of solver processes directly reported to runsolver:
# pid: 23372
# total CPU time (s): 2.85765
# total CPU user time (s): 2.78847
# total CPU system time (s): 0.069177
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.03048 second user time and 0.059185 second system time
The end