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 (12257 MiB free)
memory of node 1: 16384 MiB (13304 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4298261-1532753261/watcher-4298261-1532753261 -o /tmp/evaluation-result-4298261-1532753261/solver-4298261-1532753261 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532740893-4892 --watchdog 2580 java -jar minicp-1.0.jar HOME/instance-4298261-1532753261.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
solver pid=6256, runsolver pid=6253
Current StackSize limit: 8192 KiB
[startup+0.102463 s]*
/proc/loadavg: 1.72 1.66 1.57 4/215 6271
/proc/meminfo: memFree=26158972/32770624 swapFree=67108860/67108860
[pid=6256] ppid=6253 vsize=10658972 memory=27388 CPUtime=0.13 cores=1,3,5,7
/proc/6256/stat : 6256 (java) S 6253 6256 4860 0 -1 1077944320 5312 0 0 0 12 1 0 0 20 0 15 0 92889289 10914787328 6847 33554432000 4194304 4196468 140726533899872 140726533882416 140125374615287 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9121792 140726533907629 140726533907721 140726533907721 140726533910479 0
/proc/6256/statm: 2664743 6847 2823 1 0 2627263 0
[pid=6256/tid=6258] ppid=6253 vsize=10658972 memory=-8391718427187573952 CPUtime=0.09 cores=1,3,5,7
/proc/6256/task/6258/stat : 6258 (java) R 6253 6256 4860 0 -1 4202560 3147 0 0 0 9 0 0 0 20 0 15 0 92889289 10914787328 6847 33554432000 4194304 4196468 140726533899872 140125378844768 140125366856677 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9121792 140726533907629 140726533907721 140726533907721 140726533910479 0
[pid=6256/tid=6259] ppid=6253 vsize=10658972 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/6256/task/6259/stat : 6259 (java) S 6253 6256 4860 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92889290 10914787328 6847 33554432000 4194304 4196468 140726533899872 140125327236240 140125374625493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9121792 140726533907629 140726533907721 140726533907721 140726533910479 0
[pid=6256/tid=6260] ppid=6253 vsize=10658972 memory=139973006800512 CPUtime=0 cores=1,3,5,7
/proc/6256/task/6260/stat : 6260 (java) S 6253 6256 4860 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92889290 10914787328 6847 33554432000 4194304 4196468 140726533899872 140125326183440 140125374625493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9121792 140726533907629 140726533907721 140726533907721 140726533910479 0
[pid=6256/tid=6261] ppid=6253 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6256/task/6261/stat : 6261 (java) S 6253 6256 4860 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92889290 10914787328 6847 33554432000 4194304 4196468 140726533899872 140125325130640 140125374625493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9121792 140726533907629 140726533907721 140726533907721 140726533910479 0
[pid=6256/tid=6262] ppid=6253 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6256/task/6262/stat : 6262 (java) S 6253 6256 4860 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92889290 10914787328 6847 33554432000 4194304 4196468 140726533899872 140125324077840 140125374625493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9121792 140726533907629 140726533907721 140726533907721 140726533910479 0
[pid=6256/tid=6263] ppid=6253 vsize=10658972 memory=139973006800512 CPUtime=0 cores=1,3,5,7
/proc/6256/task/6263/stat : 6263 (java) S 6253 6256 4860 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92889291 10914787328 6847 33554432000 4194304 4196468 140726533899872 140124476934512 140125374626434 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9121792 140726533907629 140726533907721 140726533907721 140726533910479 0
[pid=6256/tid=6264] ppid=6253 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6256/task/6264/stat : 6264 (java) S 6253 6256 4860 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 92889292 10914787328 6847 33554432000 4194304 4196468 140726533899872 140124475880480 140125374625493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9121792 140726533907629 140726533907721 140726533907721 140726533910479 0
[pid=6256/tid=6265] ppid=6253 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6256/task/6265/stat : 6265 (java) S 6253 6256 4860 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 92889292 10914787328 6847 33554432000 4194304 4196468 140726533899872 140124474827632 140125374625493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9121792 140726533907629 140726533907721 140726533907721 140726533910479 0
[pid=6256/tid=6266] ppid=6253 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6256/task/6266/stat : 6266 (java) S 6253 6256 4860 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92889294 10914787328 6847 33554432000 4194304 4196468 140726533899872 140124473775952 140125374633883 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9121792 140726533907629 140726533907721 140726533907721 140726533910479 0
[pid=6256/tid=6267] ppid=6253 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6256/task/6267/stat : 6267 (java) R 6253 6256 4860 0 -1 1077944384 437 0 0 0 0 0 0 0 20 0 15 0 92889294 10914787328 6847 33554432000 4194304 4196468 140726533899872 140124472724336 140125374626434 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9121792 140726533907629 140726533907721 140726533907721 140726533910479 0
[pid=6256/tid=6268] ppid=6253 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6256/task/6268/stat : 6268 (java) R 6253 6256 4860 0 -1 4202560 45 0 0 0 0 0 0 0 20 0 15 0 92889294 10914787328 6847 33554432000 4194304 4196468 140726533899872 140124471671536 140125366856677 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9121792 140726533907629 140726533907721 140726533907721 140726533910479 0
[pid=6256/tid=6269] ppid=6253 vsize=10658972 memory=139973006800512 CPUtime=0.02 cores=1,3,5,7
/proc/6256/task/6269/stat : 6269 (java) S 6253 6256 4860 0 -1 1077944384 318 0 0 0 2 0 0 0 20 0 15 0 92889294 10914787328 6847 33554432000 4194304 4196468 140726533899872 140124470618736 140125374626434 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9121792 140726533907629 140726533907721 140726533907721 140726533910479 0
[pid=6256/tid=6270] ppid=6253 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6256/task/6270/stat : 6270 (java) S 6253 6256 4860 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92889294 10914787328 6847 33554432000 4194304 4196468 140726533899872 140124469566176 140125374625493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9121792 140726533907629 140726533907721 140726533907721 140726533910479 0
[pid=6256/tid=6271] ppid=6253 vsize=10658972 memory=139973006800512 CPUtime=0 cores=1,3,5,7
/proc/6256/task/6271/stat : 6271 (java) S 6253 6256 4860 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92889295 10914787328 6847 33554432000 4194304 4196468 140726533899872 140124468513456 140125374626434 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9121792 140726533907629 140726533907721 140726533907721 140726533910479 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10658972 KiB
Current children cumulated memory: 27388 KiB
[startup+0.210513 s]*
/proc/loadavg: 1.72 1.66 1.57 4/215 6271
/proc/meminfo: memFree=26147056/32770624 swapFree=67108860/67108860
[pid=6256] ppid=6253 vsize=10658972 memory=39960 CPUtime=0.33 cores=1,3,5,7
/proc/6256/stat : 6256 (java) S 6253 6256 4860 0 -1 1077944320 8083 0 0 0 31 2 0 0 20 0 15 0 92889289 10914787328 9990 33554432000 4194304 4196468 140726533899872 140726533882416 140125374615287 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9121792 140726533907629 140726533907721 140726533907721 140726533910479 0
/proc/6256/statm: 2664743 9990 2964 1 0 2627263 0
[pid=6256/tid=6258] ppid=6253 vsize=10658972 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/6256/task/6258/stat : 6258 (java) R 6253 6256 4860 0 -1 4202560 5090 0 0 0 18 1 0 0 20 0 15 0 92889289 10914787328 9990 33554432000 4194304 4196468 140726533899872 140125378854192 140125002681348 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9121792 140726533907629 140726533907721 140726533907721 140726533910479 0
[pid=6256/tid=6259] ppid=6253 vsize=10658972 memory=364 CPUtime=0 cores=1,3,5,7
/proc/6256/task/6259/stat : 6259 (java) S 6253 6256 4860 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92889290 10914787328 9990 33554432000 4194304 4196468 140726533899872 140125327236240 140125374625493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9121792 140726533907629 140726533907721 140726533907721 140726533910479 0
[pid=6256/tid=6260] ppid=6253 vsize=10658972 memory=139973006806937 CPUtime=0 cores=1,3,5,7
/proc/6256/task/6260/stat : 6260 (java) S 6253 6256 4860 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92889290 10914787328 9990 33554432000 4194304 4196468 140726533899872 140125326183440 140125374625493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9121792 140726533907629 140726533907721 140726533907721 140726533910479 0
[pid=6256/tid=6261] ppid=6253 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6256/task/6261/stat : 6261 (java) S 6253 6256 4860 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92889290 10914787328 9990 33554432000 4194304 4196468 140726533899872 140125325130640 140125374625493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9121792 140726533907629 140726533907721 140726533907721 140726533910479 0
[pid=6256/tid=6262] ppid=6253 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6256/task/6262/stat : 6262 (java) S 6253 6256 4860 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92889290 10914787328 9990 33554432000 4194304 4196468 140726533899872 140125324077840 140125374625493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9121792 140726533907629 140726533907721 140726533907721 140726533910479 0
[pid=6256/tid=6263] ppid=6253 vsize=10658972 memory=139973006800512 CPUtime=0 cores=1,3,5,7
/proc/6256/task/6263/stat : 6263 (java) S 6253 6256 4860 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92889291 10914787328 9990 33554432000 4194304 4196468 140726533899872 140124476934512 140125374626434 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9121792 140726533907629 140726533907721 140726533907721 140726533910479 0
[pid=6256/tid=6264] ppid=6253 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6256/task/6264/stat : 6264 (java) S 6253 6256 4860 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 92889292 10914787328 9990 33554432000 4194304 4196468 140726533899872 140124475880480 140125374625493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9121792 140726533907629 140726533907721 140726533907721 140726533910479 0
[pid=6256/tid=6265] ppid=6253 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6256/task/6265/stat : 6265 (java) S 6253 6256 4860 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 92889292 10914787328 9990 33554432000 4194304 4196468 140726533899872 140124474827632 140125374625493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9121792 140726533907629 140726533907721 140726533907721 140726533910479 0
[pid=6256/tid=6266] ppid=6253 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6256/task/6266/stat : 6266 (java) S 6253 6256 4860 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92889294 10914787328 9990 33554432000 4194304 4196468 140726533899872 140124473775952 140125374633883 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9121792 140726533907629 140726533907721 140726533907721 140726533910479 0
[pid=6256/tid=6267] ppid=6253 vsize=10658972 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/6256/task/6267/stat : 6267 (java) R 6253 6256 4860 0 -1 1077944384 590 0 0 0 2 0 0 0 20 0 15 0 92889294 10914787328 9990 33554432000 4194304 4196468 140726533899872 140124472724336 140125374626434 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9121792 140726533907629 140726533907721 140726533907721 140726533910479 0
[pid=6256/tid=6268] ppid=6253 vsize=10658972 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/6256/task/6268/stat : 6268 (java) R 6253 6256 4860 0 -1 4202560 146 0 0 0 2 0 0 0 20 0 15 0 92889294 10914787328 9990 33554432000 4194304 4196468 140726533899872 140124471671536 140125359439924 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9121792 140726533907629 140726533907721 140726533907721 140726533910479 0
[pid=6256/tid=6269] ppid=6253 vsize=10658972 memory=139973006800512 CPUtime=0.08 cores=1,3,5,7
/proc/6256/task/6269/stat : 6269 (java) R 6253 6256 4860 0 -1 4202560 889 0 0 0 8 0 0 0 20 0 15 0 92889294 10914787328 9990 33554432000 4194304 4196468 140726533899872 140124470616544 140125353737488 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9121792 140726533907629 140726533907721 140726533907721 140726533910479 0
[pid=6256/tid=6270] ppid=6253 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6256/task/6270/stat : 6270 (java) S 6253 6256 4860 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92889294 10914787328 9990 33554432000 4194304 4196468 140726533899872 140124469566176 140125374625493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9121792 140726533907629 140726533907721 140726533907721 140726533910479 0
[pid=6256/tid=6271] ppid=6253 vsize=10658972 memory=139973006800512 CPUtime=0 cores=1,3,5,7
/proc/6256/task/6271/stat : 6271 (java) S 6253 6256 4860 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92889295 10914787328 9990 33554432000 4194304 4196468 140726533899872 140124468513456 140125374626434 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9121792 140726533907629 140726533907721 140726533907721 140726533910479 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10658972 KiB
Current children cumulated memory: 39960 KiB
[startup+0.310569 s]*
/proc/loadavg: 1.72 1.66 1.57 5/215 6271
/proc/meminfo: memFree=26132420/32770624 swapFree=67108860/67108860
[pid=6256] ppid=6253 vsize=10659048 memory=54456 CPUtime=0.69 cores=1,3,5,7
/proc/6256/stat : 6256 (java) S 6253 6256 4860 0 -1 1077944320 10680 0 0 0 66 3 0 0 20 0 15 0 92889289 10914865152 13614 33554432000 4194304 4196468 140726533899872 140726533882416 140125374615287 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9121792 140726533907629 140726533907721 140726533907721 140726533910479 0
/proc/6256/statm: 2664762 13614 3066 1 0 2627263 0
[pid=6256/tid=6258] ppid=6253 vsize=10659048 memory=7311146985107750967 CPUtime=0.29 cores=1,3,5,7
/proc/6256/task/6258/stat : 6258 (java) R 6253 6256 4860 0 -1 4202560 5383 0 0 0 27 2 0 0 20 0 15 0 92889289 10914865152 13614 33554432000 4194304 4196468 140726533899872 140125378847088 140125374627222 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9121792 140726533907629 140726533907721 140726533907721 140726533910479 0
[pid=6256/tid=6259] ppid=6253 vsize=10659048 memory=304556149079015447 CPUtime=0 cores=1,3,5,7
/proc/6256/task/6259/stat : 6259 (java) S 6253 6256 4860 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92889290 10914865152 13614 33554432000 4194304 4196468 140726533899872 140125327236240 140125374625493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9121792 140726533907629 140726533907721 140726533907721 140726533910479 0
[pid=6256/tid=6260] ppid=6253 vsize=10659048 memory=14548184736806552 CPUtime=0 cores=1,3,5,7
/proc/6256/task/6260/stat : 6260 (java) S 6253 6256 4860 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92889290 10914865152 13614 33554432000 4194304 4196468 140726533899872 140125326183440 140125374625493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9121792 140726533907629 140726533907721 140726533907721 140726533910479 0
[pid=6256/tid=6261] ppid=6253 vsize=10659048 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6256/task/6261/stat : 6261 (java) S 6253 6256 4860 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92889290 10914865152 13614 33554432000 4194304 4196468 140726533899872 140125325130640 140125374625493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9121792 140726533907629 140726533907721 140726533907721 140726533910479 0
[pid=6256/tid=6262] ppid=6253 vsize=10659048 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6256/task/6262/stat : 6262 (java) S 6253 6256 4860 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92889290 10914865152 13614 33554432000 4194304 4196468 140726533899872 140125324077840 140125374625493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9121792 140726533907629 140726533907721 140726533907721 140726533910479 0
[pid=6256/tid=6263] ppid=6253 vsize=10659048 memory=139973006800512 CPUtime=0 cores=1,3,5,7
/proc/6256/task/6263/stat : 6263 (java) S 6253 6256 4860 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 92889291 10914865152 13614 33554432000 4194304 4196468 140726533899872 140124476934512 140125374626434 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9121792 140726533907629 140726533907721 140726533907721 140726533910479 0
[pid=6256/tid=6264] ppid=6253 vsize=10659048 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6256/task/6264/stat : 6264 (java) S 6253 6256 4860 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 92889292 10914865152 13614 33554432000 4194304 4196468 140726533899872 140124475880480 140125374625493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9121792 140726533907629 140726533907721 140726533907721 140726533910479 0
[pid=6256/tid=6265] ppid=6253 vsize=10659048 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6256/task/6265/stat : 6265 (java) S 6253 6256 4860 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 92889292 10914865152 13614 33554432000 4194304 4196468 140726533899872 140124474827632 140125374625493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9121792 140726533907629 140726533907721 140726533907721 140726533910479 0
[pid=6256/tid=6266] ppid=6253 vsize=10659048 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6256/task/6266/stat : 6266 (java) S 6253 6256 4860 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92889294 10914865152 13614 33554432000 4194304 4196468 140726533899872 140124473775952 140125374633883 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9121792 140726533907629 140726533907721 140726533907721 140726533910479 0
[pid=6256/tid=6267] ppid=6253 vsize=10659048 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/6256/task/6267/stat : 6267 (java) R 6253 6256 4860 0 -1 4202560 1227 0 0 0 10 0 0 0 20 0 15 0 92889294 10914865152 13614 33554432000 4194304 4196468 140726533899872 140124472724336 140125358106902 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9121792 140726533907629 140726533907721 140726533907721 140726533910479 0
[pid=6256/tid=6268] ppid=6253 vsize=10659048 memory=-1 CPUtime=0.11 cores=1,3,5,7
/proc/6256/task/6268/stat : 6268 (java) R 6253 6256 4860 0 -1 4202560 1307 0 0 0 11 0 0 0 20 0 15 0 92889294 10914865152 13614 33554432000 4194304 4196468 140726533899872 140124471656200 140125358002509 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9121792 140726533907629 140726533907721 140726533907721 140726533910479 0
[pid=6256/tid=6269] ppid=6253 vsize=10659048 memory=139973006800512 CPUtime=0.15 cores=1,3,5,7
/proc/6256/task/6269/stat : 6269 (java) R 6253 6256 4860 0 -1 1077944384 1392 0 0 0 15 0 0 0 20 0 15 0 92889294 10914865152 13614 33554432000 4194304 4196468 140726533899872 140124470618736 140125374626434 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9121792 140726533907629 140726533907721 140726533907721 140726533910479 0
[pid=6256/tid=6270] ppid=6253 vsize=10659048 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6256/task/6270/stat : 6270 (java) S 6253 6256 4860 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92889294 10914865152 13614 33554432000 4194304 4196468 140726533899872 140124469566176 140125374625493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9121792 140726533907629 140726533907721 140726533907721 140726533910479 0
[pid=6256/tid=6271] ppid=6253 vsize=10659048 memory=139973006800512 CPUtime=0 cores=1,3,5,7
/proc/6256/task/6271/stat : 6271 (java) S 6253 6256 4860 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92889295 10914865152 13614 33554432000 4194304 4196468 140726533899872 140124468513456 140125374626434 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9121792 140726533907629 140726533907721 140726533907721 140726533910479 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 54456 KiB
[startup+0.703476 s]
/proc/loadavg: 1.72 1.66 1.57 5/215 6271
/proc/meminfo: memFree=26097484/32770624 swapFree=67108860/67108860
[pid=6256] ppid=6253 vsize=10659048 memory=141936 CPUtime=1.99 cores=1,3,5,7
/proc/6256/stat : 6256 (java) S 6253 6256 4860 0 -1 1077944320 12048 0 0 0 195 4 0 0 20 0 15 0 92889289 10914865152 35484 33554432000 4194304 4196468 140726533899872 140726533882416 140125374615287 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9121792 140726533907629 140726533907721 140726533907721 140726533910479 0
/proc/6256/statm: 2664762 35484 3102 1 0 2627263 0
[pid=6256/tid=6258] ppid=6253 vsize=10659048 memory=1840 CPUtime=0.68 cores=1,3,5,7
/proc/6256/task/6258/stat : 6258 (java) R 6253 6256 4860 0 -1 4202560 5577 0 0 0 65 3 0 0 20 0 15 0 92889289 10914865152 35484 33554432000 4194304 4196468 140726533899872 140125378853520 140125374627222 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9121792 140726533907629 140726533907721 140726533907721 140726533910479 0
[pid=6256/tid=6259] ppid=6253 vsize=10659048 memory=1004 CPUtime=0 cores=1,3,5,7
/proc/6256/task/6259/stat : 6259 (java) S 6253 6256 4860 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92889290 10914865152 35484 33554432000 4194304 4196468 140726533899872 140125327236240 140125374625493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9121792 140726533907629 140726533907721 140726533907721 140726533910479 0
[pid=6256/tid=6260] ppid=6253 vsize=10659048 memory=12060 CPUtime=0 cores=1,3,5,7
/proc/6256/task/6260/stat : 6260 (java) S 6253 6256 4860 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92889290 10914865152 35484 33554432000 4194304 4196468 140726533899872 140125326183440 140125374625493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9121792 140726533907629 140726533907721 140726533907721 140726533910479 0
[pid=6256/tid=6261] ppid=6253 vsize=10659048 memory=5788 CPUtime=0 cores=1,3,5,7
/proc/6256/task/6261/stat : 6261 (java) S 6253 6256 4860 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92889290 10914865152 35484 33554432000 4194304 4196468 140726533899872 140125325130640 140125374625493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9121792 140726533907629 140726533907721 140726533907721 140726533910479 0
[pid=6256/tid=6262] ppid=6253 vsize=10659048 memory=792 CPUtime=0 cores=1,3,5,7
/proc/6256/task/6262/stat : 6262 (java) S 6253 6256 4860 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92889290 10914865152 35484 33554432000 4194304 4196468 140726533899872 140125324077840 140125374625493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9121792 140726533907629 140726533907721 140726533907721 140726533910479 0
[pid=6256/tid=6263] ppid=6253 vsize=10659048 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/6256/task/6263/stat : 6263 (java) S 6253 6256 4860 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 92889291 10914865152 35484 33554432000 4194304 4196468 140726533899872 140124476934512 140125374626434 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9121792 140726533907629 140726533907721 140726533907721 140726533910479 0
[pid=6256/tid=6264] ppid=6253 vsize=10659048 memory=1944 CPUtime=0 cores=1,3,5,7
/proc/6256/task/6264/stat : 6264 (java) S 6253 6256 4860 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 92889292 10914865152 35484 33554432000 4194304 4196468 140726533899872 140124475880480 140125374625493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9121792 140726533907629 140726533907721 140726533907721 140726533910479 0
[pid=6256/tid=6265] ppid=6253 vsize=10659048 memory=1416 CPUtime=0 cores=1,3,5,7
/proc/6256/task/6265/stat : 6265 (java) S 6253 6256 4860 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 92889292 10914865152 35484 33554432000 4194304 4196468 140726533899872 140124474827632 140125374625493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9121792 140726533907629 140726533907721 140726533907721 140726533910479 0
[pid=6256/tid=6266] ppid=6253 vsize=10659048 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/6256/task/6266/stat : 6266 (java) S 6253 6256 4860 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92889294 10914865152 35484 33554432000 4194304 4196468 140726533899872 140124473775952 140125374633883 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9121792 140726533907629 140726533907721 140726533907721 140726533910479 0
[pid=6256/tid=6267] ppid=6253 vsize=10659048 memory=7163631965283378496 CPUtime=0.44 cores=1,3,5,7
/proc/6256/task/6267/stat : 6267 (java) R 6253 6256 4860 0 -1 4202560 1777 0 0 0 44 0 0 0 20 0 15 0 92889294 10914865152 35484 33554432000 4194304 4196468 140726533899872 140124472724432 140125359361216 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9121792 140726533907629 140726533907721 140726533907721 140726533910479 0
[pid=6256/tid=6268] ppid=6253 vsize=10659048 memory=7667213801450137426 CPUtime=0.47 cores=1,3,5,7
/proc/6256/task/6268/stat : 6268 (java) R 6253 6256 4860 0 -1 4202560 1429 0 0 0 47 0 0 0 20 0 15 0 92889294 10914865152 35484 33554432000 4194304 4196468 140726533899872 140124471660208 140125358111809 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9121792 140726533907629 140726533907721 140726533907721 140726533910479 0
[pid=6256/tid=6269] ppid=6253 vsize=10659048 memory=7295946094789283920 CPUtime=0.38 cores=1,3,5,7
/proc/6256/task/6269/stat : 6269 (java) S 6253 6256 4860 0 -1 1077944384 1895 0 0 0 38 0 0 0 20 0 15 0 92889294 10914865152 35484 33554432000 4194304 4196468 140726533899872 140124470618736 140125374626434 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9121792 140726533907629 140726533907721 140726533907721 140726533910479 0
[pid=6256/tid=6270] ppid=6253 vsize=10659048 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6256/task/6270/stat : 6270 (java) S 6253 6256 4860 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92889294 10914865152 35484 33554432000 4194304 4196468 140726533899872 140124469566176 140125374625493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9121792 140726533907629 140726533907721 140726533907721 140726533910479 0
[pid=6256/tid=6271] ppid=6253 vsize=10659048 memory=31396 CPUtime=0 cores=1,3,5,7
/proc/6256/task/6271/stat : 6271 (java) S 6253 6256 4860 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92889295 10914865152 35484 33554432000 4194304 4196468 140726533899872 140124468513456 140125374626434 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9121792 140726533907629 140726533907721 140726533907721 140726533910479 0
Current children cumulated CPU time: 1.99 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 141936 KiB
[startup+1.30685 s]
# the end of solver process 6256 was just reported to runsolver
# cumulated CPU time of all completed processes: user=3.58086 s, system=0.095556 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.80091 s]
/proc/loadavg: 1.72 1.66 1.57 5/215 6271
/proc/meminfo: memFree=26097484/32770624 swapFree=67108860/67108860
[pid=6256] ppid=6253 vsize=10659048 memory=199916 CPUtime=2.3 cores=1,3,5,7
/proc/6256/stat : 6256 (java) S 6253 6256 4860 0 -1 1077944320 12349 0 0 0 223 7 0 0 20 0 15 0 92889289 10914865152 49979 33554432000 4194304 4196468 140726533899872 140726533882416 140125374615287 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9121792 140726533907629 140726533907721 140726533907721 140726533910479 0
/proc/6256/statm: 2664762 49979 3128 1 0 2627263 0
[pid=6256/tid=6258] ppid=6253 vsize=10659048 memory=8243114992657236055 CPUtime=0.76 cores=1,3,5,7
/proc/6256/task/6258/stat : 6258 (java) R 6253 6256 4860 0 -1 4202560 5598 0 0 0 72 4 0 0 20 0 15 0 92889289 10914865152 49979 33554432000 4194304 4196468 140726533899872 140125378852640 140125006764355 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9121792 140726533907629 140726533907721 140726533907721 140726533910479 0
[pid=6256/tid=6259] ppid=6253 vsize=10659048 memory=288291056406234294 CPUtime=0 cores=1,3,5,7
/proc/6256/task/6259/stat : 6259 (java) S 6253 6256 4860 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 92889290 10914865152 49979 33554432000 4194304 4196468 140726533899872 140125327236240 140125374625493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9121792 140726533907629 140726533907721 140726533907721 140726533910479 0
[pid=6256/tid=6260] ppid=6253 vsize=10659048 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6256/task/6260/stat : 6260 (java) S 6253 6256 4860 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 92889290 10914865152 49979 33554432000 4194304 4196468 140726533899872 140125326183440 140125374625493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9121792 140726533907629 140726533907721 140726533907721 140726533910479 0
[pid=6256/tid=6261] ppid=6253 vsize=10659048 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6256/task/6261/stat : 6261 (java) S 6253 6256 4860 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92889290 10914865152 49979 33554432000 4194304 4196468 140726533899872 140125325130640 140125374625493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9121792 140726533907629 140726533907721 140726533907721 140726533910479 0
[pid=6256/tid=6262] ppid=6253 vsize=10659048 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6256/task/6262/stat : 6262 (java) S 6253 6256 4860 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 92889290 10914865152 49979 33554432000 4194304 4196468 140726533899872 140125324077840 140125374625493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9121792 140726533907629 140726533907721 140726533907721 140726533910479 0
[pid=6256/tid=6263] ppid=6253 vsize=10659048 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6256/task/6263/stat : 6263 (java) S 6253 6256 4860 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 92889291 10914865152 49979 33554432000 4194304 4196468 140726533899872 140124476934512 140125374626434 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9121792 140726533907629 140726533907721 140726533907721 140726533910479 0
[pid=6256/tid=6264] ppid=6253 vsize=10659048 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6256/task/6264/stat : 6264 (java) S 6253 6256 4860 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 92889292 10914865152 49979 33554432000 4194304 4196468 140726533899872 140124475880480 140125374625493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9121792 140726533907629 140726533907721 140726533907721 140726533910479 0
[pid=6256/tid=6265] ppid=6253 vsize=10659048 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6256/task/6265/stat : 6265 (java) S 6253 6256 4860 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 92889292 10914865152 49979 33554432000 4194304 4196468 140726533899872 140124474827632 140125374625493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9121792 140726533907629 140726533907721 140726533907721 140726533910479 0
[pid=6256/tid=6266] ppid=6253 vsize=10659048 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6256/task/6266/stat : 6266 (java) S 6253 6256 4860 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92889294 10914865152 49979 33554432000 4194304 4196468 140726533899872 140124473775952 140125374633883 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9121792 140726533907629 140726533907721 140726533907721 140726533910479 0
[pid=6256/tid=6267] ppid=6253 vsize=10659048 memory=0 CPUtime=0.51 cores=1,3,5,7
/proc/6256/task/6267/stat : 6267 (java) S 6253 6256 4860 0 -1 1077944384 1796 0 0 0 51 0 0 0 20 0 15 0 92889294 10914865152 49979 33554432000 4194304 4196468 140726533899872 140124472724336 140125374626434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9121792 140726533907629 140726533907721 140726533907721 140726533910479 0
[pid=6256/tid=6268] ppid=6253 vsize=10659048 memory=0 CPUtime=0.57 cores=1,3,5,7
/proc/6256/task/6268/stat : 6268 (java) R 6253 6256 4860 0 -1 4202560 1542 0 0 0 57 0 0 0 20 0 15 0 92889294 10914865152 49979 33554432000 4194304 4196468 140726533899872 140124471660096 140125359014824 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9121792 140726533907629 140726533907721 140726533907721 140726533910479 0
[pid=6256/tid=6269] ppid=6253 vsize=10659048 memory=0 CPUtime=0.39 cores=1,3,5,7
/proc/6256/task/6269/stat : 6269 (java) S 6253 6256 4860 0 -1 1077944384 1913 0 0 0 39 0 0 0 20 0 15 0 92889294 10914865152 49979 33554432000 4194304 4196468 140726533899872 140124470618736 140125374626434 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9121792 140726533907629 140726533907721 140726533907721 140726533910479 0
[pid=6256/tid=6270] ppid=6253 vsize=10659048 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6256/task/6270/stat : 6270 (java) S 6253 6256 4860 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92889294 10914865152 49979 33554432000 4194304 4196468 140726533899872 140124469566176 140125374625493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9121792 140726533907629 140726533907721 140726533907721 140726533910479 0
[pid=6256/tid=6271] ppid=6253 vsize=10659048 memory=1200 CPUtime=0 cores=1,3,5,7
/proc/6256/task/6271/stat : 6271 (java) S 6253 6256 4860 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92889295 10914865152 49979 33554432000 4194304 4196468 140726533899872 140124468513456 140125374626434 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9121792 140726533907629 140726533907721 140726533907721 140726533910479 0
Current children cumulated CPU time: 2.3 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 199916 KiB
[startup+1.20076 s]
/proc/loadavg: 1.72 1.66 1.57 5/215 6271
/proc/meminfo: memFree=25986276/32770624 swapFree=67108860/67108860
[pid=6256] ppid=6253 vsize=10659048 memory=227888 CPUtime=3.45 cores=1,3,5,7
/proc/6256/stat : 6256 (java) S 6253 6256 4860 0 -1 1077944320 14243 0 0 0 338 7 0 0 20 0 15 0 92889289 10914865152 56972 33554432000 4194304 4196468 140726533899872 140726533882416 140125374615287 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9121792 140726533907629 140726533907721 140726533907721 140726533910479 0
/proc/6256/statm: 2664762 56972 3132 1 0 2627263 0
[pid=6256/tid=6258] ppid=6253 vsize=10659048 memory=0 CPUtime=1.14 cores=1,3,5,7
/proc/6256/task/6258/stat : 6258 (java) S 6253 6256 4860 0 -1 1077944384 5601 0 0 0 110 4 0 0 20 0 15 0 92889289 10914865152 56972 33554432000 4194304 4196468 140726533899872 140125378852640 140125374625493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9121792 140726533907629 140726533907721 140726533907721 140726533910479 0
[pid=6256/tid=6259] ppid=6253 vsize=10659048 memory=-7812193691855986592 CPUtime=0 cores=1,3,5,7
/proc/6256/task/6259/stat : 6259 (java) R 6253 6256 4860 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 92889290 10914865152 56972 33554432000 4194304 4196468 140726533899872 140125327236240 140125374625493 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9121792 140726533907629 140726533907721 140726533907721 140726533910479 0
[pid=6256/tid=6260] ppid=6253 vsize=10659048 memory=-6873162000112450758 CPUtime=0.01 cores=1,3,5,7
/proc/6256/task/6260/stat : 6260 (java) R 6253 6256 4860 0 -1 4202560 26 0 0 0 1 0 0 0 20 0 15 0 92889290 10914865152 56972 33554432000 4194304 4196468 140726533899872 140125326183640 140125367715156 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9121792 140726533907629 140726533907721 140726533907721 140726533910479 0
[pid=6256/tid=6261] ppid=6253 vsize=10659048 memory=-7088785026379990432 CPUtime=0.01 cores=1,3,5,7
/proc/6256/task/6261/stat : 6261 (java) R 6253 6256 4860 0 -1 4202560 17 0 0 0 1 0 0 0 20 0 15 0 92889290 10914865152 56972 33554432000 4194304 4196468 140726533899872 140125325130528 140125367715239 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9121792 140726533907629 140726533907721 140726533907721 140726533910479 0
[pid=6256/tid=6262] ppid=6253 vsize=10659048 memory=-8990767739041718176 CPUtime=0 cores=1,3,5,7
/proc/6256/task/6262/stat : 6262 (java) R 6253 6256 4860 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 15 0 92889290 10914865152 56972 33554432000 4194304 4196468 140726533899872 140125324077840 140125367715213 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9121792 140726533907629 140726533907721 140726533907721 140726533910479 0
[pid=6256/tid=6263] ppid=6253 vsize=10659048 memory=6944656425122700657 CPUtime=0 cores=1,3,5,7
/proc/6256/task/6263/stat : 6263 (java) S 6253 6256 4860 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 92889291 10914865152 56972 33554432000 4194304 4196468 140726533899872 140124476933024 140125374625493 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9121792 140726533907629 140726533907721 140726533907721 140726533910479 0
[pid=6256/tid=6264] ppid=6253 vsize=10659048 memory=-7673225154500992976 CPUtime=0 cores=1,3,5,7
/proc/6256/task/6264/stat : 6264 (java) S 6253 6256 4860 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 92889292 10914865152 56972 33554432000 4194304 4196468 140726533899872 140124475880480 140125374625493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9121792 140726533907629 140726533907721 140726533907721 140726533910479 0
[pid=6256/tid=6265] ppid=6253 vsize=10659048 memory=-6876588461455810464 CPUtime=0 cores=1,3,5,7
/proc/6256/task/6265/stat : 6265 (java) S 6253 6256 4860 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 92889292 10914865152 56972 33554432000 4194304 4196468 140726533899872 140124474827632 140125374625493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9121792 140726533907629 140726533907721 140726533907721 140726533910479 0
[pid=6256/tid=6266] ppid=6253 vsize=10659048 memory=-2672971631234216029 CPUtime=0 cores=1,3,5,7
/proc/6256/task/6266/stat : 6266 (java) S 6253 6256 4860 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92889294 10914865152 56972 33554432000 4194304 4196468 140726533899872 140124473775952 140125374633883 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9121792 140726533907629 140726533907721 140726533907721 140726533910479 0
[pid=6256/tid=6267] ppid=6253 vsize=10659048 memory=6944656592455359580 CPUtime=0.84 cores=1,3,5,7
/proc/6256/task/6267/stat : 6267 (java) R 6253 6256 4860 0 -1 4202560 2882 0 0 0 84 0 0 0 20 0 15 0 92889294 10914865152 56972 33554432000 4194304 4196468 140726533899872 140124472710360 140125354308391 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9121792 140726533907629 140726533907721 140726533907721 140726533910479 0
[pid=6256/tid=6268] ppid=6253 vsize=10659048 memory=6944656592455097440 CPUtime=0.97 cores=1,3,5,7
/proc/6256/task/6268/stat : 6268 (java) R 6253 6256 4860 0 -1 4202560 2199 0 0 0 97 0 0 0 20 0 15 0 92889294 10914865152 56972 33554432000 4194304 4196468 140726533899872 140124471652552 140125358026102 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9121792 140726533907629 140726533907721 140726533907721 140726533910479 0
[pid=6256/tid=6269] ppid=6253 vsize=10659048 memory=6655300316396806240 CPUtime=0.4 cores=1,3,5,7
/proc/6256/task/6269/stat : 6269 (java) S 6253 6256 4860 0 -1 1077944384 2033 0 0 0 40 0 0 0 20 0 15 0 92889294 10914865152 56972 33554432000 4194304 4196468 140726533899872 140124470618736 140125374626434 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9121792 140726533907629 140726533907721 140726533907721 140726533910479 0
[pid=6256/tid=6270] ppid=6253 vsize=10659048 memory=301741373374332954 CPUtime=0 cores=1,3,5,7
/proc/6256/task/6270/stat : 6270 (java) S 6253 6256 4860 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92889294 10914865152 56972 33554432000 4194304 4196468 140726533899872 140124469566176 140125374625493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9121792 140726533907629 140726533907721 140726533907721 140726533910479 0
[pid=6256/tid=6271] ppid=6253 vsize=10659048 memory=301741382048153914 CPUtime=0 cores=1,3,5,7
/proc/6256/task/6271/stat : 6271 (java) S 6253 6256 4860 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92889295 10914865152 56972 33554432000 4194304 4196468 140726533899872 140124468513456 140125374626434 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9121792 140726533907629 140726533907721 140726533907721 140726533910479 0
Current children cumulated CPU time: 3.45 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 227888 KiB
[startup+1.30076 s]
/proc/loadavg: 1.72 1.66 1.57 5/215 6271
/proc/meminfo: memFree=25986276/32770624 swapFree=67108860/67108860
[pid=6256] ppid=6253 vsize=10725612 memory=248640 CPUtime=3.66 cores=1,3,5,7
/proc/6256/stat : 6256 (java) S 6253 6256 4860 0 -1 1077944320 14902 0 0 0 357 9 0 0 20 0 14 0 92889289 10983026688 62160 33554432000 4194304 4196468 140726533899872 140726533882416 140125374615287 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9121792 140726533907629 140726533907721 140726533907721 140726533910479 0
/proc/6256/statm: 2681403 62160 3143 1 0 2643904 0
[pid=6256/tid=6258] ppid=6253 vsize=10725612 memory=205296 CPUtime=1.17 cores=1,3,5,7
/proc/6256/task/6258/stat : 6258 (java) S 6253 6256 4860 0 -1 1077944384 5613 0 0 0 113 4 0 0 20 0 14 0 92889289 10983026688 62160 33554432000 4194304 4196468 140726533899872 140125378858128 140125374625493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9121792 140726533907629 140726533907721 140726533907721 140726533910479 0
[pid=6256/tid=6259] ppid=6253 vsize=10725612 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/6256/task/6259/stat : 6259 (java) S 6253 6256 4860 0 -1 1077944384 23 0 0 0 1 0 0 0 20 0 14 0 92889290 10983026688 62160 33554432000 4194304 4196468 140726533899872 140125327236240 140125374625493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9121792 140726533907629 140726533907721 140726533907721 140726533910479 0
[pid=6256/tid=6260] ppid=6253 vsize=10725612 memory=-8754540793456063680 CPUtime=0.03 cores=1,3,5,7
/proc/6256/task/6260/stat : 6260 (java) S 6253 6256 4860 0 -1 1077944384 163 0 0 0 2 1 0 0 20 0 14 0 92889290 10983026688 62160 33554432000 4194304 4196468 140726533899872 140125326183440 140125374625493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9121792 140726533907629 140726533907721 140726533907721 140726533910479 0
[pid=6256/tid=6261] ppid=6253 vsize=10725612 memory=-2843869621055772062 CPUtime=0.01 cores=1,3,5,7
/proc/6256/task/6261/stat : 6261 (java) S 6253 6256 4860 0 -1 1077944384 18 0 0 0 1 0 0 0 20 0 14 0 92889290 10983026688 62160 33554432000 4194304 4196468 140726533899872 140125325130640 140125374625493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9121792 140726533907629 140726533907721 140726533907721 140726533910479 0
[pid=6256/tid=6262] ppid=6253 vsize=10725612 memory=5450919713671312938 CPUtime=0.01 cores=1,3,5,7
/proc/6256/task/6262/stat : 6262 (java) S 6253 6256 4860 0 -1 1077944384 160 0 0 0 1 0 0 0 20 0 14 0 92889290 10983026688 62160 33554432000 4194304 4196468 140726533899872 140125324077840 140125374625493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9121792 140726533907629 140726533907721 140726533907721 140726533910479 0
[pid=6256/tid=6263] ppid=6253 vsize=10725612 memory=7005738693937936738 CPUtime=0 cores=1,3,5,7
/proc/6256/task/6263/stat : 6263 (java) S 6253 6256 4860 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 14 0 92889291 10983026688 62160 33554432000 4194304 4196468 140726533899872 140124476934720 140125374626434 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9121792 140726533907629 140726533907721 140726533907721 140726533910479 0
[pid=6256/tid=6264] ppid=6253 vsize=10725612 memory=-7165351541977658656 CPUtime=0 cores=1,3,5,7
/proc/6256/task/6264/stat : 6264 (java) S 6253 6256 4860 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 92889292 10983026688 62160 33554432000 4194304 4196468 140726533899872 140124475880480 140125374625493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9121792 140726533907629 140726533907721 140726533907721 140726533910479 0
[pid=6256/tid=6265] ppid=6253 vsize=10725612 memory=7449640314486215272 CPUtime=0 cores=1,3,5,7
/proc/6256/task/6265/stat : 6265 (java) S 6253 6256 4860 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 14 0 92889292 10983026688 62160 33554432000 4194304 4196468 140726533899872 140124474827632 140125374625493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9121792 140726533907629 140726533907721 140726533907721 140726533910479 0
[pid=6256/tid=6266] ppid=6253 vsize=10725612 memory=6370158502951085138 CPUtime=0 cores=1,3,5,7
/proc/6256/task/6266/stat : 6266 (java) S 6253 6256 4860 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 14 0 92889294 10983026688 62160 33554432000 4194304 4196468 140726533899872 140124473775600 140125374625493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9121792 140726533907629 140726533907721 140726533907721 140726533910479 0
[pid=6256/tid=6267] ppid=6253 vsize=10725612 memory=7451894300419318880 CPUtime=0.89 cores=1,3,5,7
/proc/6256/task/6267/stat : 6267 (java) S 6253 6256 4860 0 -1 1077944384 3204 0 0 0 89 0 0 0 20 0 14 0 92889294 10983026688 62160 33554432000 4194304 4196468 140726533899872 140124472708848 140125374625493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9121792 140726533907629 140726533907721 140726533907721 140726533910479 0
[pid=6256/tid=6268] ppid=6253 vsize=10725612 memory=7526543493862773626 CPUtime=1.07 cores=1,3,5,7
/proc/6256/task/6268/stat : 6268 (java) S 6253 6256 4860 0 -1 1077944384 2218 0 0 0 107 0 0 0 20 0 14 0 92889294 10983026688 62160 33554432000 4194304 4196468 140726533899872 140124471652016 140125374625493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9121792 140726533907629 140726533907721 140726533907721 140726533910479 0
[pid=6256/tid=6269] ppid=6253 vsize=10725612 memory=0 CPUtime=0.4 cores=1,3,5,7
/proc/6256/task/6269/stat : 6269 (java) S 6253 6256 4860 0 -1 1077944384 2035 0 0 0 40 0 0 0 20 0 14 0 92889294 10983026688 62160 33554432000 4194304 4196468 140726533899872 140124470618736 140125374626434 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9121792 140726533907629 140726533907721 140726533907721 140726533910479 0
[pid=6256/tid=6270] ppid=6253 vsize=10725612 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6256/task/6270/stat : 6270 (java) S 6253 6256 4860 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 92889294 10983026688 62160 33554432000 4194304 4196468 140726533899872 140124469566176 140125374625493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9121792 140726533907629 140726533907721 140726533907721 140726533910479 0
Current children cumulated CPU time: 3.66 s
Current children cumulated vsize: 10725612 KiB
Current children cumulated memory: 248640 KiB
Child status: 0
Real time (s): 1.30689
CPU time (s): 3.67642
CPU user time (s): 3.58086
CPU system time (s): 0.095556
CPU usage (%): 281.311
Max. virtual memory (cumulated for all children) (KiB): 10725612
Max. memory (cumulated for all children) (KiB): 248640
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.58086
system time used= 0.095556
maximum resident set size= 249672
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14907
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= 1280
involuntary context switches= 14
# summary of solver processes directly reported to runsolver:
# pid: 6256
# total CPU time (s): 3.67642
# total CPU user time (s): 3.58086
# total CPU system time (s): 0.095556
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.025572 second user time and 0.062947 second system time
The end