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 (8359 MiB free)
memory of node 1: 16384 MiB (14740 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4298276-1532752762/watcher-4298276-1532752762 -o /tmp/evaluation-result-4298276-1532752762/solver-4298276-1532752762 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532740162-2005 --watchdog 2580 java -jar minicp-1.0.jar HOME/instance-4298276-1532752762.xml --timelimit 2520
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
solver pid=3853, runsolver pid=3850
Current StackSize limit: 8192 KiB
[startup+0.100116 s]*
/proc/loadavg: 3.21 2.43 2.21 5/215 3868
/proc/meminfo: memFree=23638468/32770624 swapFree=67108792/67108860
[pid=3853] ppid=3850 vsize=10661056 memory=27652 CPUtime=0.12 cores=1,3,5,7
/proc/3853/stat : 3853 (java) S 3850 3853 1972 0 -1 1077944320 5313 0 0 0 10 2 0 0 20 0 15 0 92839440 10916921344 6913 33554432000 4194304 4196468 140733143043072 140733143025616 140396274958071 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18067456 140733143049372 140733143049481 140733143049481 140733143052239 0
/proc/3853/statm: 2665264 6913 2838 1 0 2627263 0
[pid=3853/tid=3855] ppid=3850 vsize=10661056 memory=-8824905117810390208 CPUtime=0.09 cores=1,3,5,7
/proc/3853/task/3855/stat : 3855 (java) R 3850 3853 1972 0 -1 4202560 3185 0 0 0 8 1 0 0 20 0 15 0 92839441 10916921344 6913 33554432000 4194304 4196468 140733143043072 140396279187552 140396274970006 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18067456 140733143049372 140733143049481 140733143049481 140733143052239 0
[pid=3853/tid=3856] ppid=3850 vsize=10661056 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/3853/task/3856/stat : 3856 (java) S 3850 3853 1972 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92839441 10916921344 6913 33554432000 4194304 4196468 140733143043072 140395881802256 140396274968277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18067456 140733143049372 140733143049481 140733143049481 140733143052239 0
[pid=3853/tid=3857] ppid=3850 vsize=10661056 memory=140049952806528 CPUtime=0 cores=1,3,5,7
/proc/3853/task/3857/stat : 3857 (java) S 3850 3853 1972 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92839441 10916921344 6913 33554432000 4194304 4196468 140733143043072 140395880749712 140396274968277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18067456 140733143049372 140733143049481 140733143049481 140733143052239 0
[pid=3853/tid=3858] ppid=3850 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3853/task/3858/stat : 3858 (java) S 3850 3853 1972 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92839441 10916921344 6913 33554432000 4194304 4196468 140733143043072 140395879696656 140396274968277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18067456 140733143049372 140733143049481 140733143049481 140733143052239 0
[pid=3853/tid=3859] ppid=3850 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3853/task/3859/stat : 3859 (java) S 3850 3853 1972 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92839441 10916921344 6913 33554432000 4194304 4196468 140733143043072 140395878644112 140396274968277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18067456 140733143049372 140733143049481 140733143049481 140733143052239 0
[pid=3853/tid=3860] ppid=3850 vsize=10661056 memory=140049952806528 CPUtime=0 cores=1,3,5,7
/proc/3853/task/3860/stat : 3860 (java) S 3850 3853 1972 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92839443 10916921344 6913 33554432000 4194304 4196468 140733143043072 140395766856432 140396274969218 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18067456 140733143049372 140733143049481 140733143049481 140733143052239 0
[pid=3853/tid=3861] ppid=3850 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3853/task/3861/stat : 3861 (java) S 3850 3853 1972 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 92839443 10916921344 6913 33554432000 4194304 4196468 140733143043072 140395765802656 140396274968277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18067456 140733143049372 140733143049481 140733143049481 140733143052239 0
[pid=3853/tid=3862] ppid=3850 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3853/task/3862/stat : 3862 (java) S 3850 3853 1972 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 92839443 10916921344 6913 33554432000 4194304 4196468 140733143043072 140395764749552 140396274968277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18067456 140733143049372 140733143049481 140733143049481 140733143052239 0
[pid=3853/tid=3863] ppid=3850 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3853/task/3863/stat : 3863 (java) S 3850 3853 1972 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92839446 10916921344 6913 33554432000 4194304 4196468 140733143043072 140395763698128 140396274976667 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18067456 140733143049372 140733143049481 140733143049481 140733143052239 0
[pid=3853/tid=3864] ppid=3850 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3853/task/3864/stat : 3864 (java) R 3850 3853 1972 0 -1 1077944384 436 0 0 0 0 0 0 0 20 0 15 0 92839446 10916921344 6913 33554432000 4194304 4196468 140733143043072 140395762645232 140396274969218 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18067456 140733143049372 140733143049481 140733143049481 140733143052239 0
[pid=3853/tid=3865] ppid=3850 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3853/task/3865/stat : 3865 (java) R 3850 3853 1972 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 15 0 92839446 10916921344 6913 33554432000 4194304 4196468 140733143043072 140395761592688 140396252978873 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18067456 140733143049372 140733143049481 140733143049481 140733143052239 0
[pid=3853/tid=3866] ppid=3850 vsize=10661056 memory=140049952806528 CPUtime=0.02 cores=1,3,5,7
/proc/3853/task/3866/stat : 3866 (java) R 3850 3853 1972 0 -1 4202560 326 0 0 0 2 0 0 0 20 0 15 0 92839446 10916921344 6913 33554432000 4194304 4196468 140733143043072 140395760539632 140396259038558 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18067456 140733143049372 140733143049481 140733143049481 140733143052239 0
[pid=3853/tid=3867] ppid=3850 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3853/task/3867/stat : 3867 (java) S 3850 3853 1972 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92839446 10916921344 6913 33554432000 4194304 4196468 140733143043072 140395759487328 140396274968277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18067456 140733143049372 140733143049481 140733143049481 140733143052239 0
[pid=3853/tid=3868] ppid=3850 vsize=10661056 memory=140049952806528 CPUtime=0 cores=1,3,5,7
/proc/3853/task/3868/stat : 3868 (java) S 3850 3853 1972 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92839446 10916921344 6913 33554432000 4194304 4196468 140733143043072 140395758435376 140396274969218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18067456 140733143049372 140733143049481 140733143049481 140733143052239 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 27652 KiB
[startup+0.21043 s]*
/proc/loadavg: 3.21 2.43 2.21 4/215 3868
/proc/meminfo: memFree=23626700/32770624 swapFree=67108792/67108860
[pid=3853] ppid=3850 vsize=10661056 memory=40652 CPUtime=0.34 cores=1,3,5,7
/proc/3853/stat : 3853 (java) S 3850 3853 1972 0 -1 1077944320 8237 0 0 0 32 2 0 0 20 0 15 0 92839440 10916921344 10163 33554432000 4194304 4196468 140733143043072 140733143025616 140396274958071 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18067456 140733143049372 140733143049481 140733143049481 140733143052239 0
/proc/3853/statm: 2665264 10163 2976 1 0 2627263 0
[pid=3853/tid=3855] ppid=3850 vsize=10661056 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/3853/task/3855/stat : 3855 (java) R 3850 3853 1972 0 -1 4202560 5155 0 0 0 18 2 0 0 20 0 15 0 92839441 10916921344 10165 33554432000 4194304 4196468 140733143043072 140396279194352 140395912411126 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18067456 140733143049372 140733143049481 140733143049481 140733143052239 0
[pid=3853/tid=3856] ppid=3850 vsize=10661056 memory=343 CPUtime=0 cores=1,3,5,7
/proc/3853/task/3856/stat : 3856 (java) S 3850 3853 1972 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92839441 10916921344 10165 33554432000 4194304 4196468 140733143043072 140395881802256 140396274968277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18067456 140733143049372 140733143049481 140733143049481 140733143052239 0
[pid=3853/tid=3857] ppid=3850 vsize=10661056 memory=140049953294724 CPUtime=0 cores=1,3,5,7
/proc/3853/task/3857/stat : 3857 (java) S 3850 3853 1972 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92839441 10916921344 10165 33554432000 4194304 4196468 140733143043072 140395880749712 140396274968277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18067456 140733143049372 140733143049481 140733143049481 140733143052239 0
[pid=3853/tid=3858] ppid=3850 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3853/task/3858/stat : 3858 (java) S 3850 3853 1972 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92839441 10916921344 10165 33554432000 4194304 4196468 140733143043072 140395879696656 140396274968277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18067456 140733143049372 140733143049481 140733143049481 140733143052239 0
[pid=3853/tid=3859] ppid=3850 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3853/task/3859/stat : 3859 (java) S 3850 3853 1972 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92839441 10916921344 10165 33554432000 4194304 4196468 140733143043072 140395878644112 140396274968277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18067456 140733143049372 140733143049481 140733143049481 140733143052239 0
[pid=3853/tid=3860] ppid=3850 vsize=10661056 memory=140049952806528 CPUtime=0 cores=1,3,5,7
/proc/3853/task/3860/stat : 3860 (java) S 3850 3853 1972 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92839443 10916921344 10165 33554432000 4194304 4196468 140733143043072 140395766856432 140396274969218 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18067456 140733143049372 140733143049481 140733143049481 140733143052239 0
[pid=3853/tid=3861] ppid=3850 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3853/task/3861/stat : 3861 (java) S 3850 3853 1972 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 92839443 10916921344 10165 33554432000 4194304 4196468 140733143043072 140395765802656 140396274968277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18067456 140733143049372 140733143049481 140733143049481 140733143052239 0
[pid=3853/tid=3862] ppid=3850 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3853/task/3862/stat : 3862 (java) S 3850 3853 1972 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 92839443 10916921344 10165 33554432000 4194304 4196468 140733143043072 140395764749552 140396274968277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18067456 140733143049372 140733143049481 140733143049481 140733143052239 0
[pid=3853/tid=3863] ppid=3850 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3853/task/3863/stat : 3863 (java) S 3850 3853 1972 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92839446 10916921344 10165 33554432000 4194304 4196468 140733143043072 140395763698128 140396274976667 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18067456 140733143049372 140733143049481 140733143049481 140733143052239 0
[pid=3853/tid=3864] ppid=3850 vsize=10661056 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/3853/task/3864/stat : 3864 (java) R 3850 3853 1972 0 -1 1077944384 597 0 0 0 2 0 0 0 20 0 15 0 92839446 10916921344 10165 33554432000 4194304 4196468 140733143043072 140395762645232 140396274969218 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18067456 140733143049372 140733143049481 140733143049481 140733143052239 0
[pid=3853/tid=3865] ppid=3850 vsize=10661056 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/3853/task/3865/stat : 3865 (java) R 3850 3853 1972 0 -1 4202560 260 0 0 0 2 0 0 0 20 0 15 0 92839446 10916921344 10165 33554432000 4194304 4196468 140733143043072 140395761592688 140396256479250 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18067456 140733143049372 140733143049481 140733143049481 140733143052239 0
[pid=3853/tid=3866] ppid=3850 vsize=10661056 memory=140049952806528 CPUtime=0.08 cores=1,3,5,7
/proc/3853/task/3866/stat : 3866 (java) R 3850 3853 1972 0 -1 4202560 859 0 0 0 8 0 0 0 20 0 15 0 92839446 10916921344 10165 33554432000 4194304 4196468 140733143043072 140395760538816 140396254259824 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18067456 140733143049372 140733143049481 140733143049481 140733143052239 0
[pid=3853/tid=3867] ppid=3850 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3853/task/3867/stat : 3867 (java) S 3850 3853 1972 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92839446 10916921344 10165 33554432000 4194304 4196468 140733143043072 140395759487328 140396274968277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18067456 140733143049372 140733143049481 140733143049481 140733143052239 0
[pid=3853/tid=3868] ppid=3850 vsize=10661056 memory=140049952806528 CPUtime=0 cores=1,3,5,7
/proc/3853/task/3868/stat : 3868 (java) S 3850 3853 1972 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92839446 10916921344 10165 33554432000 4194304 4196468 140733143043072 140395758435376 140396274969218 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18067456 140733143049372 140733143049481 140733143049481 140733143052239 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 40652 KiB
[startup+0.311167 s]*
/proc/loadavg: 3.21 2.43 2.21 5/215 3868
/proc/meminfo: memFree=23611220/32770624 swapFree=67108792/67108860
[pid=3853] ppid=3850 vsize=10661132 memory=55648 CPUtime=0.64 cores=1,3,5,7
/proc/3853/stat : 3853 (java) S 3850 3853 1972 0 -1 1077944320 10401 0 0 0 61 3 0 0 20 0 15 0 92839440 10916999168 13912 33554432000 4194304 4196468 140733143043072 140733143025616 140396274958071 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18067456 140733143049372 140733143049481 140733143049481 140733143052239 0
/proc/3853/statm: 2665283 13912 3076 1 0 2627263 0
[pid=3853/tid=3855] ppid=3850 vsize=10661132 memory=7022364594140610616 CPUtime=0.28 cores=1,3,5,7
/proc/3853/task/3855/stat : 3855 (java) R 3850 3853 1972 0 -1 4202560 5481 0 0 0 26 2 0 0 20 0 15 0 92839441 10916999168 13912 33554432000 4194304 4196468 140733143043072 140396279195032 140396259038558 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18067456 140733143049372 140733143049481 140733143049481 140733143052239 0
[pid=3853/tid=3856] ppid=3850 vsize=10661132 memory=4294977868 CPUtime=0 cores=1,3,5,7
/proc/3853/task/3856/stat : 3856 (java) S 3850 3853 1972 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92839441 10916999168 13912 33554432000 4194304 4196468 140733143043072 140395881802256 140396274968277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18067456 140733143049372 140733143049481 140733143049481 140733143052239 0
[pid=3853/tid=3857] ppid=3850 vsize=10661132 memory=140049953285246 CPUtime=0 cores=1,3,5,7
/proc/3853/task/3857/stat : 3857 (java) S 3850 3853 1972 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92839441 10916999168 13912 33554432000 4194304 4196468 140733143043072 140395880749712 140396274968277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18067456 140733143049372 140733143049481 140733143049481 140733143052239 0
[pid=3853/tid=3858] ppid=3850 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3853/task/3858/stat : 3858 (java) S 3850 3853 1972 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92839441 10916999168 13912 33554432000 4194304 4196468 140733143043072 140395879696656 140396274968277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18067456 140733143049372 140733143049481 140733143049481 140733143052239 0
[pid=3853/tid=3859] ppid=3850 vsize=10661132 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3853/task/3859/stat : 3859 (java) S 3850 3853 1972 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92839441 10916999168 13912 33554432000 4194304 4196468 140733143043072 140395878644112 140396274968277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18067456 140733143049372 140733143049481 140733143049481 140733143052239 0
[pid=3853/tid=3860] ppid=3850 vsize=10661132 memory=140049952806528 CPUtime=0 cores=1,3,5,7
/proc/3853/task/3860/stat : 3860 (java) S 3850 3853 1972 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 92839443 10916999168 13912 33554432000 4194304 4196468 140733143043072 140395766856432 140396274969218 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18067456 140733143049372 140733143049481 140733143049481 140733143052239 0
[pid=3853/tid=3861] ppid=3850 vsize=10661132 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3853/task/3861/stat : 3861 (java) S 3850 3853 1972 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 92839443 10916999168 13912 33554432000 4194304 4196468 140733143043072 140395765802656 140396274968277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18067456 140733143049372 140733143049481 140733143049481 140733143052239 0
[pid=3853/tid=3862] ppid=3850 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3853/task/3862/stat : 3862 (java) S 3850 3853 1972 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 92839443 10916999168 13912 33554432000 4194304 4196468 140733143043072 140395764749552 140396274968277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18067456 140733143049372 140733143049481 140733143049481 140733143052239 0
[pid=3853/tid=3863] ppid=3850 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3853/task/3863/stat : 3863 (java) S 3850 3853 1972 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92839446 10916999168 13912 33554432000 4194304 4196468 140733143043072 140395763698128 140396274976667 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18067456 140733143049372 140733143049481 140733143049481 140733143052239 0
[pid=3853/tid=3864] ppid=3850 vsize=10661132 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/3853/task/3864/stat : 3864 (java) R 3850 3853 1972 0 -1 1077944384 859 0 0 0 6 0 0 0 20 0 15 0 92839446 10916999168 13912 33554432000 4194304 4196468 140733143043072 140395762645232 140396274969218 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18067456 140733143049372 140733143049481 140733143049481 140733143052239 0
[pid=3853/tid=3865] ppid=3850 vsize=10661132 memory=-1 CPUtime=0.12 cores=1,3,5,7
/proc/3853/task/3865/stat : 3865 (java) R 3850 3853 1972 0 -1 4202560 1338 0 0 0 12 0 0 0 20 0 15 0 92839446 10916999168 13912 33554432000 4194304 4196468 140733143043072 140395761578712 140396256501794 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18067456 140733143049372 140733143049481 140733143049481 140733143052239 0
[pid=3853/tid=3866] ppid=3850 vsize=10661132 memory=140049952806528 CPUtime=0.16 cores=1,3,5,7
/proc/3853/task/3866/stat : 3866 (java) R 3850 3853 1972 0 -1 4202560 1361 0 0 0 16 0 0 0 20 0 15 0 92839446 10916999168 13912 33554432000 4194304 4196468 140733143043072 140395760539632 140396259094856 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18067456 140733143049372 140733143049481 140733143049481 140733143052239 0
[pid=3853/tid=3867] ppid=3850 vsize=10661132 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3853/task/3867/stat : 3867 (java) S 3850 3853 1972 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92839446 10916999168 13912 33554432000 4194304 4196468 140733143043072 140395759487328 140396274968277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18067456 140733143049372 140733143049481 140733143049481 140733143052239 0
[pid=3853/tid=3868] ppid=3850 vsize=10661132 memory=140049952806528 CPUtime=0 cores=1,3,5,7
/proc/3853/task/3868/stat : 3868 (java) S 3850 3853 1972 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92839446 10916999168 13912 33554432000 4194304 4196468 140733143043072 140395758435376 140396274969218 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18067456 140733143049372 140733143049481 140733143049481 140733143052239 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 55648 KiB
[startup+0.70073 s]
/proc/loadavg: 3.21 2.43 2.21 5/215 3868
/proc/meminfo: memFree=23585656/32770624 swapFree=67108792/67108860
[pid=3853] ppid=3850 vsize=10661132 memory=107876 CPUtime=1.8 cores=1,3,5,7
/proc/3853/stat : 3853 (java) S 3850 3853 1972 0 -1 1077944320 11687 0 0 0 175 5 0 0 20 0 15 0 92839440 10916999168 26969 33554432000 4194304 4196468 140733143043072 140733143025616 140396274958071 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18067456 140733143049372 140733143049481 140733143049481 140733143052239 0
/proc/3853/statm: 2665283 26969 3116 1 0 2627263 0
[pid=3853/tid=3855] ppid=3850 vsize=10661132 memory=156628397597299 CPUtime=0.66 cores=1,3,5,7
/proc/3853/task/3855/stat : 3855 (java) R 3850 3853 1972 0 -1 4202560 5621 0 0 0 63 3 0 0 20 0 15 0 92839441 10916999168 26969 33554432000 4194304 4196468 140733143043072 140396279196016 140395912385639 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18067456 140733143049372 140733143049481 140733143049481 140733143052239 0
[pid=3853/tid=3856] ppid=3850 vsize=10661132 memory=551299 CPUtime=0 cores=1,3,5,7
/proc/3853/task/3856/stat : 3856 (java) S 3850 3853 1972 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92839441 10916999168 26969 33554432000 4194304 4196468 140733143043072 140395881802256 140396274968277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18067456 140733143049372 140733143049481 140733143049481 140733143052239 0
[pid=3853/tid=3857] ppid=3850 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3853/task/3857/stat : 3857 (java) S 3850 3853 1972 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92839441 10916999168 26969 33554432000 4194304 4196468 140733143043072 140395880749712 140396274968277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18067456 140733143049372 140733143049481 140733143049481 140733143052239 0
[pid=3853/tid=3858] ppid=3850 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3853/task/3858/stat : 3858 (java) S 3850 3853 1972 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92839441 10916999168 26969 33554432000 4194304 4196468 140733143043072 140395879696656 140396274968277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18067456 140733143049372 140733143049481 140733143049481 140733143052239 0
[pid=3853/tid=3859] ppid=3850 vsize=10661132 memory=7809523229951467576 CPUtime=0 cores=1,3,5,7
/proc/3853/task/3859/stat : 3859 (java) S 3850 3853 1972 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92839441 10916999168 26969 33554432000 4194304 4196468 140733143043072 140395878644112 140396274968277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18067456 140733143049372 140733143049481 140733143049481 140733143052239 0
[pid=3853/tid=3860] ppid=3850 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3853/task/3860/stat : 3860 (java) S 3850 3853 1972 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 92839443 10916999168 26969 33554432000 4194304 4196468 140733143043072 140395766856432 140396274969218 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18067456 140733143049372 140733143049481 140733143049481 140733143052239 0
[pid=3853/tid=3861] ppid=3850 vsize=10661132 memory=-3535359994705171810 CPUtime=0 cores=1,3,5,7
/proc/3853/task/3861/stat : 3861 (java) S 3850 3853 1972 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 92839443 10916999168 26969 33554432000 4194304 4196468 140733143043072 140395765802656 140396274968277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18067456 140733143049372 140733143049481 140733143049481 140733143052239 0
[pid=3853/tid=3862] ppid=3850 vsize=10661132 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/3853/task/3862/stat : 3862 (java) S 3850 3853 1972 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 92839443 10916999168 26969 33554432000 4194304 4196468 140733143043072 140395764749552 140396274968277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18067456 140733143049372 140733143049481 140733143049481 140733143052239 0
[pid=3853/tid=3863] ppid=3850 vsize=10661132 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/3853/task/3863/stat : 3863 (java) S 3850 3853 1972 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92839446 10916999168 26969 33554432000 4194304 4196468 140733143043072 140395763698128 140396274976667 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18067456 140733143049372 140733143049481 140733143049481 140733143052239 0
[pid=3853/tid=3864] ppid=3850 vsize=10661132 memory=0 CPUtime=0.37 cores=1,3,5,7
/proc/3853/task/3864/stat : 3864 (java) R 3850 3853 1972 0 -1 4202560 1483 0 0 0 37 0 0 0 20 0 15 0 92839446 10916999168 26969 33554432000 4194304 4196468 140733143043072 140395762645232 140396254147520 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18067456 140733143049372 140733143049481 140733143049481 140733143052239 0
[pid=3853/tid=3865] ppid=3850 vsize=10661132 memory=0 CPUtime=0.42 cores=1,3,5,7
/proc/3853/task/3865/stat : 3865 (java) R 3850 3853 1972 0 -1 4202560 1449 0 0 0 42 0 0 0 20 0 15 0 92839446 10916999168 26969 33554432000 4194304 4196468 140733143043072 140395761580304 140396253323206 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18067456 140733143049372 140733143049481 140733143049481 140733143052239 0
[pid=3853/tid=3866] ppid=3850 vsize=10661132 memory=0 CPUtime=0.31 cores=1,3,5,7
/proc/3853/task/3866/stat : 3866 (java) S 3850 3853 1972 0 -1 1077944384 1764 0 0 0 31 0 0 0 20 0 15 0 92839446 10916999168 26969 33554432000 4194304 4196468 140733143043072 140395760539632 140396274969218 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18067456 140733143049372 140733143049481 140733143049481 140733143052239 0
[pid=3853/tid=3867] ppid=3850 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3853/task/3867/stat : 3867 (java) S 3850 3853 1972 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92839446 10916999168 26969 33554432000 4194304 4196468 140733143043072 140395759487328 140396274968277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18067456 140733143049372 140733143049481 140733143049481 140733143052239 0
[pid=3853/tid=3868] ppid=3850 vsize=10661132 memory=18268 CPUtime=0 cores=1,3,5,7
/proc/3853/task/3868/stat : 3868 (java) S 3850 3853 1972 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92839446 10916999168 26969 33554432000 4194304 4196468 140733143043072 140395758435376 140396274969218 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18067456 140733143049372 140733143049481 140733143049481 140733143052239 0
Current children cumulated CPU time: 1.8 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 107876 KiB
[startup+1.50316 s]
/proc/loadavg: 3.21 2.43 2.21 5/215 3868
/proc/meminfo: memFree=23387684/32770624 swapFree=67108792/67108860
[pid=3853] ppid=3850 vsize=10661132 memory=463368 CPUtime=4.52 cores=1,3,5,7
/proc/3853/stat : 3853 (java) S 3850 3853 1972 0 -1 1077944320 13430 0 0 0 410 42 0 0 20 0 15 0 92839440 10916999168 115842 33554432000 4194304 4196468 140733143043072 140733143025616 140396274958071 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18067456 140733143049372 140733143049481 140733143049481 140733143052239 0
/proc/3853/statm: 2665283 115842 3156 1 0 2627263 0
[pid=3853/tid=3855] ppid=3850 vsize=10661132 memory=10799 CPUtime=0.92 cores=1,3,5,7
/proc/3853/task/3855/stat : 3855 (java) S 3850 3853 1972 0 -1 1077944384 5659 0 0 0 87 5 0 0 20 0 15 0 92839441 10916999168 115842 33554432000 4194304 4196468 140733143043072 140396279196144 140396274968277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18067456 140733143049372 140733143049481 140733143049481 140733143052239 0
[pid=3853/tid=3856] ppid=3850 vsize=10661132 memory=8112282956445269571 CPUtime=0.53 cores=1,3,5,7
/proc/3853/task/3856/stat : 3856 (java) R 3850 3853 1972 0 -1 4202560 450 0 0 0 45 8 0 0 20 0 15 0 92839441 10916999168 115842 33554432000 4194304 4196468 140733143043072 140395881802456 140396259658759 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18067456 140733143049372 140733143049481 140733143049481 140733143052239 0
[pid=3853/tid=3857] ppid=3850 vsize=10661132 memory=0 CPUtime=0.52 cores=1,3,5,7
/proc/3853/task/3857/stat : 3857 (java) R 3850 3853 1972 0 -1 4202560 403 0 0 0 44 8 0 0 20 0 15 0 92839441 10916999168 115842 33554432000 4194304 4196468 140733143043072 140395880749832 140396259947714 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18067456 140733143049372 140733143049481 140733143049481 140733143052239 0
[pid=3853/tid=3858] ppid=3850 vsize=10661132 memory=0 CPUtime=0.53 cores=1,3,5,7
/proc/3853/task/3858/stat : 3858 (java) R 3850 3853 1972 0 -1 4202560 236 0 0 0 45 8 0 0 20 0 15 0 92839441 10916999168 115842 33554432000 4194304 4196468 140733143043072 140395879696776 140396259658689 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18067456 140733143049372 140733143049481 140733143049481 140733143052239 0
[pid=3853/tid=3859] ppid=3850 vsize=10661132 memory=6943526294502006880 CPUtime=0.54 cores=1,3,5,7
/proc/3853/task/3859/stat : 3859 (java) R 3850 3853 1972 0 -1 4202560 355 0 0 0 45 9 0 0 20 0 15 0 92839441 10916999168 115842 33554432000 4194304 4196468 140733143043072 140395878643920 140396259657884 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18067456 140733143049372 140733143049481 140733143049481 140733143052239 0
[pid=3853/tid=3860] ppid=3850 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3853/task/3860/stat : 3860 (java) S 3850 3853 1972 0 -1 1077944384 95 0 0 0 0 0 0 0 20 0 15 0 92839443 10916999168 115842 33554432000 4194304 4196468 140733143043072 140395766854976 140396274968277 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18067456 140733143049372 140733143049481 140733143049481 140733143052239 0
[pid=3853/tid=3861] ppid=3850 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3853/task/3861/stat : 3861 (java) S 3850 3853 1972 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 92839443 10916999168 115842 33554432000 4194304 4196468 140733143043072 140395765802656 140396274968277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18067456 140733143049372 140733143049481 140733143049481 140733143052239 0
[pid=3853/tid=3862] ppid=3850 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3853/task/3862/stat : 3862 (java) S 3850 3853 1972 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 92839443 10916999168 115842 33554432000 4194304 4196468 140733143043072 140395764749552 140396274968277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18067456 140733143049372 140733143049481 140733143049481 140733143052239 0
[pid=3853/tid=3863] ppid=3850 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3853/task/3863/stat : 3863 (java) S 3850 3853 1972 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92839446 10916999168 115842 33554432000 4194304 4196468 140733143043072 140395763698128 140396274976667 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18067456 140733143049372 140733143049481 140733143049481 140733143052239 0
[pid=3853/tid=3864] ppid=3850 vsize=10661132 memory=0 CPUtime=0.53 cores=1,3,5,7
/proc/3853/task/3864/stat : 3864 (java) S 3850 3853 1972 0 -1 1077944384 1570 0 0 0 53 0 0 0 20 0 15 0 92839446 10916999168 115842 33554432000 4194304 4196468 140733143043072 140395762633648 140396274968277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18067456 140733143049372 140733143049481 140733143049481 140733143052239 0
[pid=3853/tid=3865] ppid=3850 vsize=10661132 memory=0 CPUtime=0.53 cores=1,3,5,7
/proc/3853/task/3865/stat : 3865 (java) S 3850 3853 1972 0 -1 1077944384 1473 0 0 0 53 0 0 0 20 0 15 0 92839446 10916999168 115842 33554432000 4194304 4196468 140733143043072 140395761577680 140396274968277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18067456 140733143049372 140733143049481 140733143049481 140733143052239 0
[pid=3853/tid=3866] ppid=3850 vsize=10661132 memory=0 CPUtime=0.34 cores=1,3,5,7
/proc/3853/task/3866/stat : 3866 (java) S 3850 3853 1972 0 -1 1077944384 1828 0 0 0 34 0 0 0 20 0 15 0 92839446 10916999168 115842 33554432000 4194304 4196468 140733143043072 140395760539632 140396274969218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18067456 140733143049372 140733143049481 140733143049481 140733143052239 0
[pid=3853/tid=3867] ppid=3850 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3853/task/3867/stat : 3867 (java) S 3850 3853 1972 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92839446 10916999168 115842 33554432000 4194304 4196468 140733143043072 140395759487328 140396274968277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18067456 140733143049372 140733143049481 140733143049481 140733143052239 0
[pid=3853/tid=3868] ppid=3850 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3853/task/3868/stat : 3868 (java) S 3850 3853 1972 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92839446 10916999168 115842 33554432000 4194304 4196468 140733143043072 140395758435376 140396274969218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18067456 140733143049372 140733143049481 140733143049481 140733143052239 0
Current children cumulated CPU time: 4.52 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 463368 KiB
[startup+1.73263 s]
# the end of solver process 3853 was just reported to runsolver
# cumulated CPU time of all completed processes: user=4.82804 s, system=0.431326 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.6012 s]
/proc/loadavg: 3.21 2.43 2.21 5/215 3868
/proc/meminfo: memFree=23387684/32770624 swapFree=67108792/67108860
[pid=3853] ppid=3850 vsize=10661132 memory=463368 CPUtime=4.91 cores=1,3,5,7
/proc/3853/stat : 3853 (java) S 3850 3853 1972 0 -1 1077944320 13430 0 0 0 449 42 0 0 20 0 15 0 92839440 10916999168 115842 33554432000 4194304 4196468 140733143043072 140733143025616 140396274958071 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18067456 140733143049372 140733143049481 140733143049481 140733143052239 0
/proc/3853/statm: 2665283 115842 3156 1 0 2627263 0
[pid=3853/tid=3855] ppid=3850 vsize=10661132 memory=140049952832721 CPUtime=0.92 cores=1,3,5,7
/proc/3853/task/3855/stat : 3855 (java) S 3850 3853 1972 0 -1 1077944384 5659 0 0 0 87 5 0 0 20 0 15 0 92839441 10916999168 115842 33554432000 4194304 4196468 140733143043072 140396279196144 140396274968277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18067456 140733143049372 140733143049481 140733143049481 140733143052239 0
[pid=3853/tid=3856] ppid=3850 vsize=10661132 memory=280099647895296 CPUtime=0.63 cores=1,3,5,7
/proc/3853/task/3856/stat : 3856 (java) R 3850 3853 1972 0 -1 4202560 450 0 0 0 55 8 0 0 20 0 15 0 92839441 10916999168 115842 33554432000 4194304 4196468 140733143043072 140395881802456 140396259658670 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18067456 140733143049372 140733143049481 140733143049481 140733143052239 0
[pid=3853/tid=3857] ppid=3850 vsize=10661132 memory=140049823939301 CPUtime=0.62 cores=1,3,5,7
/proc/3853/task/3857/stat : 3857 (java) R 3850 3853 1972 0 -1 4202560 403 0 0 0 54 8 0 0 20 0 15 0 92839441 10916999168 115842 33554432000 4194304 4196468 140733143043072 140395880749832 140396259658704 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18067456 140733143049372 140733143049481 140733143049481 140733143052239 0
[pid=3853/tid=3858] ppid=3850 vsize=10661132 memory=3467824671636873280 CPUtime=0.62 cores=1,3,5,7
/proc/3853/task/3858/stat : 3858 (java) R 3850 3853 1972 0 -1 4202560 236 0 0 0 54 8 0 0 20 0 15 0 92839441 10916999168 115842 33554432000 4194304 4196468 140733143043072 140395879696776 140396259658689 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18067456 140733143049372 140733143049481 140733143049481 140733143052239 0
[pid=3853/tid=3859] ppid=3850 vsize=10661132 memory=6154282490091891024 CPUtime=0.64 cores=1,3,5,7
/proc/3853/task/3859/stat : 3859 (java) R 3850 3853 1972 0 -1 4202560 355 0 0 0 55 9 0 0 20 0 15 0 92839441 10916999168 115842 33554432000 4194304 4196468 140733143043072 140395878643920 140396259658718 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18067456 140733143049372 140733143049481 140733143049481 140733143052239 0
[pid=3853/tid=3860] ppid=3850 vsize=10661132 memory=5859273620209619044 CPUtime=0 cores=1,3,5,7
/proc/3853/task/3860/stat : 3860 (java) S 3850 3853 1972 0 -1 1077944384 95 0 0 0 0 0 0 0 20 0 15 0 92839443 10916999168 115842 33554432000 4194304 4196468 140733143043072 140395766854976 140396274968277 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18067456 140733143049372 140733143049481 140733143049481 140733143052239 0
[pid=3853/tid=3861] ppid=3850 vsize=10661132 memory=6935649255759568978 CPUtime=0 cores=1,3,5,7
/proc/3853/task/3861/stat : 3861 (java) S 3850 3853 1972 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 92839443 10916999168 115842 33554432000 4194304 4196468 140733143043072 140395765802656 140396274968277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18067456 140733143049372 140733143049481 140733143049481 140733143052239 0
[pid=3853/tid=3862] ppid=3850 vsize=10661132 memory=10161 CPUtime=0 cores=1,3,5,7
/proc/3853/task/3862/stat : 3862 (java) S 3850 3853 1972 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 92839443 10916999168 115842 33554432000 4194304 4196468 140733143043072 140395764749552 140396274968277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18067456 140733143049372 140733143049481 140733143049481 140733143052239 0
[pid=3853/tid=3863] ppid=3850 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3853/task/3863/stat : 3863 (java) S 3850 3853 1972 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92839446 10916999168 115842 33554432000 4194304 4196468 140733143043072 140395763698128 140396274976667 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18067456 140733143049372 140733143049481 140733143049481 140733143052239 0
[pid=3853/tid=3864] ppid=3850 vsize=10661132 memory=0 CPUtime=0.53 cores=1,3,5,7
/proc/3853/task/3864/stat : 3864 (java) S 3850 3853 1972 0 -1 1077944384 1570 0 0 0 53 0 0 0 20 0 15 0 92839446 10916999168 115842 33554432000 4194304 4196468 140733143043072 140395762633648 140396274968277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18067456 140733143049372 140733143049481 140733143049481 140733143052239 0
[pid=3853/tid=3865] ppid=3850 vsize=10661132 memory=6655300316396806240 CPUtime=0.53 cores=1,3,5,7
/proc/3853/task/3865/stat : 3865 (java) S 3850 3853 1972 0 -1 1077944384 1473 0 0 0 53 0 0 0 20 0 15 0 92839446 10916999168 115842 33554432000 4194304 4196468 140733143043072 140395761577680 140396274968277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18067456 140733143049372 140733143049481 140733143049481 140733143052239 0
[pid=3853/tid=3866] ppid=3850 vsize=10661132 memory=6944656592387989600 CPUtime=0.34 cores=1,3,5,7
/proc/3853/task/3866/stat : 3866 (java) S 3850 3853 1972 0 -1 1077944384 1828 0 0 0 34 0 0 0 20 0 15 0 92839446 10916999168 115842 33554432000 4194304 4196468 140733143043072 140395760539632 140396274969218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18067456 140733143049372 140733143049481 140733143049481 140733143052239 0
[pid=3853/tid=3867] ppid=3850 vsize=10661132 memory=11763915425922 CPUtime=0 cores=1,3,5,7
/proc/3853/task/3867/stat : 3867 (java) S 3850 3853 1972 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92839446 10916999168 115842 33554432000 4194304 4196468 140733143043072 140395759487328 140396274968277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18067456 140733143049372 140733143049481 140733143049481 140733143052239 0
[pid=3853/tid=3868] ppid=3850 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3853/task/3868/stat : 3868 (java) S 3850 3853 1972 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92839446 10916999168 115842 33554432000 4194304 4196468 140733143043072 140395758435376 140396274969218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18067456 140733143049372 140733143049481 140733143049481 140733143052239 0
Current children cumulated CPU time: 4.91 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 463368 KiB
[startup+1.70075 s]
/proc/loadavg: 3.21 2.43 2.21 5/215 3868
/proc/meminfo: memFree=23387684/32770624 swapFree=67108792/67108860
[pid=3853] ppid=3850 vsize=10661132 memory=464116 CPUtime=5.18 cores=1,3,5,7
/proc/3853/stat : 3853 (java) S 3850 3853 1972 0 -1 1077944320 13645 0 0 0 476 42 0 0 20 0 15 0 92839440 10916999168 116029 33554432000 4194304 4196468 140733143043072 140733143025616 140396274958071 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18067456 140733143049372 140733143049481 140733143049481 140733143052239 0
/proc/3853/statm: 2665283 116029 3161 1 0 2627263 0
[pid=3853/tid=3855] ppid=3850 vsize=10661132 memory=463368 CPUtime=0.97 cores=1,3,5,7
/proc/3853/task/3855/stat : 3855 (java) R 3850 3853 1972 0 -1 4202560 5659 0 0 0 92 5 0 0 20 0 15 0 92839441 10916999168 116029 33554432000 4194304 4196468 140733143043072 140396279193528 140395916415498 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18067456 140733143049372 140733143049481 140733143049481 140733143052239 0
[pid=3853/tid=3856] ppid=3850 vsize=10661132 memory=10799 CPUtime=0.67 cores=1,3,5,7
/proc/3853/task/3856/stat : 3856 (java) S 3850 3853 1972 0 -1 1077944384 450 0 0 0 59 8 0 0 20 0 15 0 92839441 10916999168 116029 33554432000 4194304 4196468 140733143043072 140395881802256 140396274968277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18067456 140733143049372 140733143049481 140733143049481 140733143052239 0
[pid=3853/tid=3857] ppid=3850 vsize=10661132 memory=8112282956445269571 CPUtime=0.66 cores=1,3,5,7
/proc/3853/task/3857/stat : 3857 (java) S 3850 3853 1972 0 -1 1077944384 403 0 0 0 58 8 0 0 20 0 15 0 92839441 10916999168 116029 33554432000 4194304 4196468 140733143043072 140395880749712 140396274968277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18067456 140733143049372 140733143049481 140733143049481 140733143052239 0
[pid=3853/tid=3858] ppid=3850 vsize=10661132 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/3853/task/3858/stat : 3858 (java) S 3850 3853 1972 0 -1 1077944384 236 0 0 0 58 8 0 0 20 0 15 0 92839441 10916999168 116029 33554432000 4194304 4196468 140733143043072 140395879696656 140396274968277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18067456 140733143049372 140733143049481 140733143049481 140733143052239 0
[pid=3853/tid=3859] ppid=3850 vsize=10661132 memory=0 CPUtime=0.68 cores=1,3,5,7
/proc/3853/task/3859/stat : 3859 (java) S 3850 3853 1972 0 -1 1077944384 357 0 0 0 59 9 0 0 20 0 15 0 92839441 10916999168 116029 33554432000 4194304 4196468 140733143043072 140395878644112 140396274968277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18067456 140733143049372 140733143049481 140733143049481 140733143052239 0
[pid=3853/tid=3860] ppid=3850 vsize=10661132 memory=6943526294502006880 CPUtime=0.01 cores=1,3,5,7
/proc/3853/task/3860/stat : 3860 (java) S 3850 3853 1972 0 -1 1077944384 307 0 0 0 1 0 0 0 20 0 15 0 92839443 10916999168 116029 33554432000 4194304 4196468 140733143043072 140395766856432 140396274969218 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18067456 140733143049372 140733143049481 140733143049481 140733143052239 0
[pid=3853/tid=3861] ppid=3850 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3853/task/3861/stat : 3861 (java) S 3850 3853 1972 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 92839443 10916999168 116029 33554432000 4194304 4196468 140733143043072 140395765802656 140396274968277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18067456 140733143049372 140733143049481 140733143049481 140733143052239 0
[pid=3853/tid=3862] ppid=3850 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3853/task/3862/stat : 3862 (java) S 3850 3853 1972 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 92839443 10916999168 116029 33554432000 4194304 4196468 140733143043072 140395764749552 140396274968277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18067456 140733143049372 140733143049481 140733143049481 140733143052239 0
[pid=3853/tid=3863] ppid=3850 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3853/task/3863/stat : 3863 (java) S 3850 3853 1972 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92839446 10916999168 116029 33554432000 4194304 4196468 140733143043072 140395763698128 140396274976667 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18067456 140733143049372 140733143049481 140733143049481 140733143052239 0
[pid=3853/tid=3864] ppid=3850 vsize=10661132 memory=0 CPUtime=0.54 cores=1,3,5,7
/proc/3853/task/3864/stat : 3864 (java) R 3850 3853 1972 0 -1 4202560 1571 0 0 0 54 0 0 0 20 0 15 0 92839446 10916999168 116029 33554432000 4194304 4196468 140733143043072 140395762645232 140396252705521 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18067456 140733143049372 140733143049481 140733143049481 140733143052239 0
[pid=3853/tid=3865] ppid=3850 vsize=10661132 memory=0 CPUtime=0.58 cores=1,3,5,7
/proc/3853/task/3865/stat : 3865 (java) R 3850 3853 1972 0 -1 4202560 1473 0 0 0 58 0 0 0 20 0 15 0 92839446 10916999168 116029 33554432000 4194304 4196468 140733143043072 140395761592984 140396252705725 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18067456 140733143049372 140733143049481 140733143049481 140733143052239 0
[pid=3853/tid=3866] ppid=3850 vsize=10661132 memory=0 CPUtime=0.34 cores=1,3,5,7
/proc/3853/task/3866/stat : 3866 (java) S 3850 3853 1972 0 -1 1077944384 1828 0 0 0 34 0 0 0 20 0 15 0 92839446 10916999168 116029 33554432000 4194304 4196468 140733143043072 140395760539632 140396274969218 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18067456 140733143049372 140733143049481 140733143049481 140733143052239 0
[pid=3853/tid=3867] ppid=3850 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3853/task/3867/stat : 3867 (java) S 3850 3853 1972 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92839446 10916999168 116029 33554432000 4194304 4196468 140733143043072 140395759487328 140396274968277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18067456 140733143049372 140733143049481 140733143049481 140733143052239 0
[pid=3853/tid=3868] ppid=3850 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3853/task/3868/stat : 3868 (java) S 3850 3853 1972 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92839446 10916999168 116029 33554432000 4194304 4196468 140733143043072 140395758435376 140396274969218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18067456 140733143049372 140733143049481 140733143049481 140733143052239 0
Current children cumulated CPU time: 5.18 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 464116 KiB
Child status: 0
Real time (s): 1.73268
CPU time (s): 5.25937
CPU user time (s): 4.82804
CPU system time (s): 0.431326
CPU usage (%): 303.54
Max. virtual memory (cumulated for all children) (KiB): 10661132
Max. memory (cumulated for all children) (KiB): 464116
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.82804
system time used= 0.431326
maximum resident set size= 465656
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13795
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= 1298
involuntary context switches= 35
# summary of solver processes directly reported to runsolver:
# pid: 3853
# total CPU time (s): 5.25937
# total CPU user time (s): 4.82804
# total CPU system time (s): 0.431326
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.031589 second user time and 0.057913 second system time
The end