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 (9195 MiB free)
memory of node 1: 16384 MiB (14736 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4299097-1532792662/watcher-4299097-1532792662 -o /tmp/evaluation-result-4299097-1532792662/solver-4299097-1532792662 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532775187-6231 --watchdog 2580 java -jar minicp-1.0.jar HOME/instance-4299097-1532792662.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=8250, runsolver pid=8247
[startup+0.100993 s]*
/proc/loadavg: 1.68 1.85 1.94 5/215 8265
/proc/meminfo: memFree=24489768/32770624 swapFree=67108792/67108860
[pid=8250] ppid=8247 vsize=10658972 memory=27724 CPUtime=0.13 cores=1,3,5,7
/proc/8250/stat : 8250 (java) S 8247 8250 6199 0 -1 1077944320 5282 0 0 0 12 1 0 0 20 0 15 0 96829481 10914787328 6931 33554432000 4194304 4196468 140725602746480 140725602729024 140380707344119 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17076224 140725602747565 140725602747657 140725602747657 140725602750415 0
/proc/8250/statm: 2664743 6931 2854 1 0 2627263 0
[pid=8250/tid=8252] ppid=8247 vsize=10658972 memory=-8681633255153038528 CPUtime=0.09 cores=1,3,5,7
/proc/8250/task/8252/stat : 8252 (java) R 8247 8250 6199 0 -1 4202560 3146 0 0 0 9 0 0 0 20 0 15 0 96829482 10914787328 6931 33554432000 4194304 4196468 140725602746480 140380711574384 140380343316803 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17076224 140725602747565 140725602747657 140725602747657 140725602750415 0
[pid=8250/tid=8253] ppid=8247 vsize=10658972 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/8250/task/8253/stat : 8253 (java) S 8247 8250 6199 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96829483 10914787328 6931 33554432000 4194304 4196468 140725602746480 140380672625552 140380707354325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17076224 140725602747565 140725602747657 140725602747657 140725602750415 0
[pid=8250/tid=8254] ppid=8247 vsize=10658972 memory=139677064222336 CPUtime=0 cores=1,3,5,7
/proc/8250/task/8254/stat : 8254 (java) S 8247 8250 6199 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96829483 10914787328 6931 33554432000 4194304 4196468 140725602746480 140380671572752 140380707354325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17076224 140725602747565 140725602747657 140725602747657 140725602750415 0
[pid=8250/tid=8255] ppid=8247 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8250/task/8255/stat : 8255 (java) S 8247 8250 6199 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96829483 10914787328 6931 33554432000 4194304 4196468 140725602746480 140380312546448 140380707354325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17076224 140725602747565 140725602747657 140725602747657 140725602750415 0
[pid=8250/tid=8256] ppid=8247 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8250/task/8256/stat : 8256 (java) S 8247 8250 6199 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96829483 10914787328 6931 33554432000 4194304 4196468 140725602746480 140380311493648 140380707354325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17076224 140725602747565 140725602747657 140725602747657 140725602750415 0
[pid=8250/tid=8257] ppid=8247 vsize=10658972 memory=139677064222336 CPUtime=0 cores=1,3,5,7
/proc/8250/task/8257/stat : 8257 (java) S 8247 8250 6199 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96829484 10914787328 6931 33554432000 4194304 4196468 140725602746480 140380199704688 140380707355266 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17076224 140725602747565 140725602747657 140725602747657 140725602750415 0
[pid=8250/tid=8258] ppid=8247 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8250/task/8258/stat : 8258 (java) S 8247 8250 6199 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96829484 10914787328 6931 33554432000 4194304 4196468 140725602746480 140380198650656 140380707354325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17076224 140725602747565 140725602747657 140725602747657 140725602750415 0
[pid=8250/tid=8259] ppid=8247 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8250/task/8259/stat : 8259 (java) S 8247 8250 6199 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96829485 10914787328 6931 33554432000 4194304 4196468 140725602746480 140380197598320 140380707354325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17076224 140725602747565 140725602747657 140725602747657 140725602750415 0
[pid=8250/tid=8260] ppid=8247 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8250/task/8260/stat : 8260 (java) S 8247 8250 6199 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96829487 10914787328 6931 33554432000 4194304 4196468 140725602746480 140380196546640 140380707362715 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17076224 140725602747565 140725602747657 140725602747657 140725602750415 0
[pid=8250/tid=8261] ppid=8247 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8250/task/8261/stat : 8261 (java) S 8247 8250 6199 0 -1 1077944384 294 0 0 0 0 0 0 0 20 0 15 0 96829487 10914787328 6931 33554432000 4194304 4196468 140725602746480 140380195494512 140380707355266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17076224 140725602747565 140725602747657 140725602747657 140725602750415 0
[pid=8250/tid=8262] ppid=8247 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8250/task/8262/stat : 8262 (java) R 8247 8250 6199 0 -1 4202560 166 0 0 0 0 0 0 0 20 0 15 0 96829487 10914787328 6931 33554432000 4194304 4196468 140725602746480 140380194441712 140380685016224 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17076224 140725602747565 140725602747657 140725602747657 140725602750415 0
[pid=8250/tid=8263] ppid=8247 vsize=10658972 memory=139677064222336 CPUtime=0.02 cores=1,3,5,7
/proc/8250/task/8263/stat : 8263 (java) R 8247 8250 6199 0 -1 4202560 337 0 0 0 2 0 0 0 20 0 15 0 96829487 10914787328 6931 33554432000 4194304 4196468 140725602746480 140380193389424 140380691424606 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17076224 140725602747565 140725602747657 140725602747657 140725602750415 0
[pid=8250/tid=8264] ppid=8247 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8250/task/8264/stat : 8264 (java) S 8247 8250 6199 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96829487 10914787328 6931 33554432000 4194304 4196468 140725602746480 140380192336864 140380707354325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17076224 140725602747565 140725602747657 140725602747657 140725602750415 0
[pid=8250/tid=8265] ppid=8247 vsize=10658972 memory=139677064222336 CPUtime=0 cores=1,3,5,7
/proc/8250/task/8265/stat : 8265 (java) R 8247 8250 6199 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96829487 10914787328 6931 33554432000 4194304 4196468 140725602746480 140380191283632 140380707355266 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17076224 140725602747565 140725602747657 140725602747657 140725602750415 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10658972 KiB
Current children cumulated memory: 27724 KiB
[startup+0.210567 s]*
/proc/loadavg: 1.68 1.85 1.94 4/215 8265
/proc/meminfo: memFree=24477860/32770624 swapFree=67108792/67108860
[pid=8250] ppid=8247 vsize=10658972 memory=40604 CPUtime=0.34 cores=1,3,5,7
/proc/8250/stat : 8250 (java) S 8247 8250 6199 0 -1 1077944320 8188 0 0 0 32 2 0 0 20 0 15 0 96829481 10914787328 10151 33554432000 4194304 4196468 140725602746480 140725602729024 140380707344119 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17076224 140725602747565 140725602747657 140725602747657 140725602750415 0
/proc/8250/statm: 2664743 10151 2997 1 0 2627263 0
[pid=8250/tid=8252] ppid=8247 vsize=10658972 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/8250/task/8252/stat : 8252 (java) R 8247 8250 6199 0 -1 4202560 5178 0 0 0 19 1 0 0 20 0 15 0 96829482 10914787328 10151 33554432000 4194304 4196468 140725602746480 140380711574832 140380707366045 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17076224 140725602747565 140725602747657 140725602747657 140725602750415 0
[pid=8250/tid=8253] ppid=8247 vsize=10658972 memory=343 CPUtime=0 cores=1,3,5,7
/proc/8250/task/8253/stat : 8253 (java) S 8247 8250 6199 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96829483 10914787328 10151 33554432000 4194304 4196468 140725602746480 140380672625552 140380707354325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17076224 140725602747565 140725602747657 140725602747657 140725602750415 0
[pid=8250/tid=8254] ppid=8247 vsize=10658972 memory=139677064710532 CPUtime=0 cores=1,3,5,7
/proc/8250/task/8254/stat : 8254 (java) S 8247 8250 6199 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96829483 10914787328 10151 33554432000 4194304 4196468 140725602746480 140380671572752 140380707354325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17076224 140725602747565 140725602747657 140725602747657 140725602750415 0
[pid=8250/tid=8255] ppid=8247 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8250/task/8255/stat : 8255 (java) S 8247 8250 6199 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96829483 10914787328 10151 33554432000 4194304 4196468 140725602746480 140380312546448 140380707354325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17076224 140725602747565 140725602747657 140725602747657 140725602750415 0
[pid=8250/tid=8256] ppid=8247 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8250/task/8256/stat : 8256 (java) S 8247 8250 6199 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96829483 10914787328 10151 33554432000 4194304 4196468 140725602746480 140380311493648 140380707354325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17076224 140725602747565 140725602747657 140725602747657 140725602750415 0
[pid=8250/tid=8257] ppid=8247 vsize=10658972 memory=139677064222336 CPUtime=0 cores=1,3,5,7
/proc/8250/task/8257/stat : 8257 (java) S 8247 8250 6199 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96829484 10914787328 10151 33554432000 4194304 4196468 140725602746480 140380199704688 140380707355266 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17076224 140725602747565 140725602747657 140725602747657 140725602750415 0
[pid=8250/tid=8258] ppid=8247 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8250/task/8258/stat : 8258 (java) S 8247 8250 6199 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96829484 10914787328 10151 33554432000 4194304 4196468 140725602746480 140380198650656 140380707354325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17076224 140725602747565 140725602747657 140725602747657 140725602750415 0
[pid=8250/tid=8259] ppid=8247 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8250/task/8259/stat : 8259 (java) S 8247 8250 6199 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96829485 10914787328 10151 33554432000 4194304 4196468 140725602746480 140380197598320 140380707354325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17076224 140725602747565 140725602747657 140725602747657 140725602750415 0
[pid=8250/tid=8260] ppid=8247 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8250/task/8260/stat : 8260 (java) S 8247 8250 6199 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96829487 10914787328 10151 33554432000 4194304 4196468 140725602746480 140380196546640 140380707362715 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17076224 140725602747565 140725602747657 140725602747657 140725602750415 0
[pid=8250/tid=8261] ppid=8247 vsize=10658972 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/8250/task/8261/stat : 8261 (java) S 8247 8250 6199 0 -1 1077944384 530 0 0 0 2 0 0 0 20 0 15 0 96829487 10914787328 10151 33554432000 4194304 4196468 140725602746480 140380195494512 140380707355266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17076224 140725602747565 140725602747657 140725602747657 140725602750415 0
[pid=8250/tid=8262] ppid=8247 vsize=10658972 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/8250/task/8262/stat : 8262 (java) S 8247 8250 6199 0 -1 1077944384 207 0 0 0 1 0 0 0 20 0 15 0 96829487 10914787328 10151 33554432000 4194304 4196468 140725602746480 140380194441712 140380707355266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17076224 140725602747565 140725602747657 140725602747657 140725602750415 0
[pid=8250/tid=8263] ppid=8247 vsize=10658972 memory=139677064222336 CPUtime=0.08 cores=1,3,5,7
/proc/8250/task/8263/stat : 8263 (java) R 8247 8250 6199 0 -1 4202560 923 0 0 0 8 0 0 0 20 0 15 0 96829487 10914787328 10151 33554432000 4194304 4196468 140725602746480 140380193384688 140380707365466 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17076224 140725602747565 140725602747657 140725602747657 140725602750415 0
[pid=8250/tid=8264] ppid=8247 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8250/task/8264/stat : 8264 (java) S 8247 8250 6199 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96829487 10914787328 10151 33554432000 4194304 4196468 140725602746480 140380192336864 140380707354325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17076224 140725602747565 140725602747657 140725602747657 140725602750415 0
[pid=8250/tid=8265] ppid=8247 vsize=10658972 memory=139677064222336 CPUtime=0 cores=1,3,5,7
/proc/8250/task/8265/stat : 8265 (java) S 8247 8250 6199 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96829487 10914787328 10151 33554432000 4194304 4196468 140725602746480 140380191283632 140380707355266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17076224 140725602747565 140725602747657 140725602747657 140725602750415 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 10658972 KiB
Current children cumulated memory: 40604 KiB
[startup+0.31053 s]*
/proc/loadavg: 1.68 1.85 1.94 4/215 8265
/proc/meminfo: memFree=24472712/32770624 swapFree=67108792/67108860
[pid=8250] ppid=8247 vsize=10659048 memory=46736 CPUtime=0.55 cores=1,3,5,7
/proc/8250/stat : 8250 (java) S 8247 8250 6199 0 -1 1077944320 8759 0 0 0 53 2 0 0 20 0 15 0 96829481 10914865152 11684 33554432000 4194304 4196468 140725602746480 140725602729024 140380707344119 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17076224 140725602747565 140725602747657 140725602747657 140725602750415 0
/proc/8250/statm: 2664762 11684 3034 1 0 2627263 0
[pid=8250/tid=8252] ppid=8247 vsize=10659048 memory=7022364594140610616 CPUtime=0.3 cores=1,3,5,7
/proc/8250/task/8252/stat : 8252 (java) R 8247 8250 6199 0 -1 4202560 5524 0 0 0 29 1 0 0 20 0 15 0 96829482 10914865152 11684 33554432000 4194304 4196468 140725602746480 140380711582224 140380691424606 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17076224 140725602747565 140725602747657 140725602747657 140725602750415 0
[pid=8250/tid=8253] ppid=8247 vsize=10659048 memory=4294977868 CPUtime=0 cores=1,3,5,7
/proc/8250/task/8253/stat : 8253 (java) S 8247 8250 6199 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96829483 10914865152 11684 33554432000 4194304 4196468 140725602746480 140380672625552 140380707354325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17076224 140725602747565 140725602747657 140725602747657 140725602750415 0
[pid=8250/tid=8254] ppid=8247 vsize=10659048 memory=139677064701054 CPUtime=0 cores=1,3,5,7
/proc/8250/task/8254/stat : 8254 (java) S 8247 8250 6199 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96829483 10914865152 11684 33554432000 4194304 4196468 140725602746480 140380671572752 140380707354325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17076224 140725602747565 140725602747657 140725602747657 140725602750415 0
[pid=8250/tid=8255] ppid=8247 vsize=10659048 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8250/task/8255/stat : 8255 (java) S 8247 8250 6199 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96829483 10914865152 11684 33554432000 4194304 4196468 140725602746480 140380312546448 140380707354325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17076224 140725602747565 140725602747657 140725602747657 140725602750415 0
[pid=8250/tid=8256] ppid=8247 vsize=10659048 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8250/task/8256/stat : 8256 (java) S 8247 8250 6199 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96829483 10914865152 11684 33554432000 4194304 4196468 140725602746480 140380311493648 140380707354325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17076224 140725602747565 140725602747657 140725602747657 140725602750415 0
[pid=8250/tid=8257] ppid=8247 vsize=10659048 memory=139677064222336 CPUtime=0 cores=1,3,5,7
/proc/8250/task/8257/stat : 8257 (java) S 8247 8250 6199 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96829484 10914865152 11684 33554432000 4194304 4196468 140725602746480 140380199704688 140380707355266 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17076224 140725602747565 140725602747657 140725602747657 140725602750415 0
[pid=8250/tid=8258] ppid=8247 vsize=10659048 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8250/task/8258/stat : 8258 (java) S 8247 8250 6199 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96829484 10914865152 11684 33554432000 4194304 4196468 140725602746480 140380198650656 140380707354325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17076224 140725602747565 140725602747657 140725602747657 140725602750415 0
[pid=8250/tid=8259] ppid=8247 vsize=10659048 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8250/task/8259/stat : 8259 (java) S 8247 8250 6199 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96829485 10914865152 11684 33554432000 4194304 4196468 140725602746480 140380197598320 140380707354325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17076224 140725602747565 140725602747657 140725602747657 140725602750415 0
[pid=8250/tid=8260] ppid=8247 vsize=10659048 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8250/task/8260/stat : 8260 (java) S 8247 8250 6199 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96829487 10914865152 11684 33554432000 4194304 4196468 140725602746480 140380196546640 140380707362715 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17076224 140725602747565 140725602747657 140725602747657 140725602750415 0
[pid=8250/tid=8261] ppid=8247 vsize=10659048 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/8250/task/8261/stat : 8261 (java) S 8247 8250 6199 0 -1 1077944384 564 0 0 0 4 0 0 0 20 0 15 0 96829487 10914865152 11684 33554432000 4194304 4196468 140725602746480 140380195494512 140380707355266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17076224 140725602747565 140725602747657 140725602747657 140725602750415 0
[pid=8250/tid=8262] ppid=8247 vsize=10659048 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/8250/task/8262/stat : 8262 (java) S 8247 8250 6199 0 -1 1077944384 312 0 0 0 4 0 0 0 20 0 15 0 96829487 10914865152 11684 33554432000 4194304 4196468 140725602746480 140380194441712 140380707355266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17076224 140725602747565 140725602747657 140725602747657 140725602750415 0
[pid=8250/tid=8263] ppid=8247 vsize=10659048 memory=139677064222336 CPUtime=0.15 cores=1,3,5,7
/proc/8250/task/8263/stat : 8263 (java) R 8247 8250 6199 0 -1 4202560 995 0 0 0 15 0 0 0 20 0 15 0 96829487 10914865152 11684 33554432000 4194304 4196468 140725602746480 140380193389424 140380691424606 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17076224 140725602747565 140725602747657 140725602747657 140725602750415 0
[pid=8250/tid=8264] ppid=8247 vsize=10659048 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8250/task/8264/stat : 8264 (java) S 8247 8250 6199 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96829487 10914865152 11684 33554432000 4194304 4196468 140725602746480 140380192336864 140380707354325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17076224 140725602747565 140725602747657 140725602747657 140725602750415 0
[pid=8250/tid=8265] ppid=8247 vsize=10659048 memory=139677064222336 CPUtime=0 cores=1,3,5,7
/proc/8250/task/8265/stat : 8265 (java) S 8247 8250 6199 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96829487 10914865152 11684 33554432000 4194304 4196468 140725602746480 140380191283632 140380707355266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17076224 140725602747565 140725602747657 140725602747657 140725602750415 0
Current children cumulated CPU time: 0.55 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 46736 KiB
[startup+0.616115 s]
# the end of solver process 8250 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1.1932 s, system=0.04192 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.411099 s]*
/proc/loadavg: 1.68 1.85 1.94 5/215 8265
/proc/meminfo: memFree=24459808/32770624 swapFree=67108792/67108860
[pid=8250] ppid=8247 vsize=10659048 memory=64236 CPUtime=0.86 cores=1,3,5,7
/proc/8250/stat : 8250 (java) S 8247 8250 6199 0 -1 1077944320 10608 0 0 0 83 3 0 0 20 0 15 0 96829481 10914865152 16059 33554432000 4194304 4196468 140725602746480 140725602729024 140380707344119 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17076224 140725602747565 140725602747657 140725602747657 140725602750415 0
/proc/8250/statm: 2664762 16059 3094 1 0 2627263 0
[pid=8250/tid=8252] ppid=8247 vsize=10659048 memory=7022364594140610616 CPUtime=0.39 cores=1,3,5,7
/proc/8250/task/8252/stat : 8252 (java) R 8247 8250 6199 0 -1 4202560 5669 0 0 0 38 1 0 0 20 0 15 0 96829482 10914865152 16125 33554432000 4194304 4196468 140725602746480 140380711582816 140380345941141 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17076224 140725602747565 140725602747657 140725602747657 140725602750415 0
[pid=8250/tid=8253] ppid=8247 vsize=10659048 memory=343 CPUtime=0 cores=1,3,5,7
/proc/8250/task/8253/stat : 8253 (java) S 8247 8250 6199 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96829483 10914865152 16125 33554432000 4194304 4196468 140725602746480 140380672625552 140380707354325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17076224 140725602747565 140725602747657 140725602747657 140725602750415 0
[pid=8250/tid=8254] ppid=8247 vsize=10659048 memory=139677064710532 CPUtime=0 cores=1,3,5,7
/proc/8250/task/8254/stat : 8254 (java) S 8247 8250 6199 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96829483 10914865152 16125 33554432000 4194304 4196468 140725602746480 140380671572752 140380707354325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17076224 140725602747565 140725602747657 140725602747657 140725602750415 0
[pid=8250/tid=8255] ppid=8247 vsize=10659048 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8250/task/8255/stat : 8255 (java) S 8247 8250 6199 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96829483 10914865152 16125 33554432000 4194304 4196468 140725602746480 140380312546448 140380707354325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17076224 140725602747565 140725602747657 140725602747657 140725602750415 0
[pid=8250/tid=8256] ppid=8247 vsize=10659048 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8250/task/8256/stat : 8256 (java) S 8247 8250 6199 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96829483 10914865152 16125 33554432000 4194304 4196468 140725602746480 140380311493648 140380707354325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17076224 140725602747565 140725602747657 140725602747657 140725602750415 0
[pid=8250/tid=8257] ppid=8247 vsize=10659048 memory=139677064222336 CPUtime=0 cores=1,3,5,7
/proc/8250/task/8257/stat : 8257 (java) S 8247 8250 6199 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 96829484 10914865152 16125 33554432000 4194304 4196468 140725602746480 140380199704688 140380707355266 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17076224 140725602747565 140725602747657 140725602747657 140725602750415 0
[pid=8250/tid=8258] ppid=8247 vsize=10659048 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8250/task/8258/stat : 8258 (java) S 8247 8250 6199 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96829484 10914865152 16125 33554432000 4194304 4196468 140725602746480 140380198650656 140380707354325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17076224 140725602747565 140725602747657 140725602747657 140725602750415 0
[pid=8250/tid=8259] ppid=8247 vsize=10659048 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8250/task/8259/stat : 8259 (java) S 8247 8250 6199 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96829485 10914865152 16125 33554432000 4194304 4196468 140725602746480 140380197598320 140380707354325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17076224 140725602747565 140725602747657 140725602747657 140725602750415 0
[pid=8250/tid=8260] ppid=8247 vsize=10659048 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8250/task/8260/stat : 8260 (java) S 8247 8250 6199 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96829487 10914865152 16125 33554432000 4194304 4196468 140725602746480 140380196546640 140380707362715 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17076224 140725602747565 140725602747657 140725602747657 140725602750415 0
[pid=8250/tid=8261] ppid=8247 vsize=10659048 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/8250/task/8261/stat : 8261 (java) R 8247 8250 6199 0 -1 4202560 1187 0 0 0 10 0 0 0 20 0 15 0 96829487 10914865152 16125 33554432000 4194304 4196468 140725602746480 140380195485512 140380686561408 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17076224 140725602747565 140725602747657 140725602747657 140725602750415 0
[pid=8250/tid=8262] ppid=8247 vsize=10659048 memory=-1 CPUtime=0.11 cores=1,3,5,7
/proc/8250/task/8262/stat : 8262 (java) R 8247 8250 6199 0 -1 4202560 1178 0 0 0 11 0 0 0 20 0 15 0 96829487 10914865152 16125 33554432000 4194304 4196468 140725602746480 140380194432104 140380700440955 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17076224 140725602747565 140725602747657 140725602747657 140725602750415 0
[pid=8250/tid=8263] ppid=8247 vsize=10659048 memory=139677064222336 CPUtime=0.23 cores=1,3,5,7
/proc/8250/task/8263/stat : 8263 (java) R 8247 8250 6199 0 -1 1077944384 1253 0 0 0 23 0 0 0 20 0 15 0 96829487 10914865152 16125 33554432000 4194304 4196468 140725602746480 140380193389424 140380707355266 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17076224 140725602747565 140725602747657 140725602747657 140725602750415 0
[pid=8250/tid=8264] ppid=8247 vsize=10659048 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8250/task/8264/stat : 8264 (java) S 8247 8250 6199 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96829487 10914865152 16125 33554432000 4194304 4196468 140725602746480 140380192336864 140380707354325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17076224 140725602747565 140725602747657 140725602747657 140725602750415 0
[pid=8250/tid=8265] ppid=8247 vsize=10659048 memory=139677064222336 CPUtime=0 cores=1,3,5,7
/proc/8250/task/8265/stat : 8265 (java) S 8247 8250 6199 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96829487 10914865152 16125 33554432000 4194304 4196468 140725602746480 140380191283632 140380707355266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17076224 140725602747565 140725602747657 140725602747657 140725602750415 0
Current children cumulated CPU time: 0.86 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 64236 KiB
[startup+0.609942 s]
/proc/loadavg: 1.68 1.85 1.94 3/213 8266
/proc/meminfo: memFree=24419976/32770624 swapFree=67108792/67108860
[pid=8250] ppid=8247 vsize=10725612 memory=100580 CPUtime=1.22 cores=1,3,5,7
/proc/8250/stat : 8250 (java) S 8247 8250 6199 0 -1 1077944320 13526 0 0 0 119 3 0 0 20 0 13 0 96829481 10983026688 25145 33554432000 4194304 4196468 140725602746480 140725602729024 140380707344119 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17076224 140725602747565 140725602747657 140725602747657 140725602750415 0
/proc/8250/statm: 2681403 25145 3108 1 0 2643904 0
[pid=8250/tid=8252] ppid=8247 vsize=10725612 memory=288230574492221466 CPUtime=0.48 cores=1,3,5,7
/proc/8250/task/8252/stat : 8252 (java) S 8247 8250 6199 0 -1 1077944384 5708 0 0 0 46 2 0 0 20 0 13 0 96829482 10983026688 25145 33554432000 4194304 4196468 140725602746480 140380711586960 140380707354325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17076224 140725602747565 140725602747657 140725602747657 140725602750415 0
[pid=8250/tid=8253] ppid=8247 vsize=10725612 memory=288230583166042426 CPUtime=0 cores=1,3,5,7
/proc/8250/task/8253/stat : 8253 (java) S 8247 8250 6199 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 96829483 10983026688 25145 33554432000 4194304 4196468 140725602746480 140380672625552 140380707354325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17076224 140725602747565 140725602747657 140725602747657 140725602750415 0
[pid=8250/tid=8254] ppid=8247 vsize=10725612 memory=14976689222453353 CPUtime=0 cores=1,3,5,7
/proc/8250/task/8254/stat : 8254 (java) S 8247 8250 6199 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 96829483 10983026688 25145 33554432000 4194304 4196468 140725602746480 140380671572752 140380707354325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17076224 140725602747565 140725602747657 140725602747657 140725602750415 0
[pid=8250/tid=8255] ppid=8247 vsize=10725612 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8250/task/8255/stat : 8255 (java) S 8247 8250 6199 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 96829483 10983026688 25145 33554432000 4194304 4196468 140725602746480 140380312546448 140380707354325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17076224 140725602747565 140725602747657 140725602747657 140725602750415 0
[pid=8250/tid=8256] ppid=8247 vsize=10725612 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8250/task/8256/stat : 8256 (java) S 8247 8250 6199 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 96829483 10983026688 25145 33554432000 4194304 4196468 140725602746480 140380311493648 140380707354325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17076224 140725602747565 140725602747657 140725602747657 140725602750415 0
[pid=8250/tid=8257] ppid=8247 vsize=10725612 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/8250/task/8257/stat : 8257 (java) S 8247 8250 6199 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 13 0 96829484 10983026688 25145 33554432000 4194304 4196468 140725602746480 140380199704896 140380707355266 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17076224 140725602747565 140725602747657 140725602747657 140725602750415 0
[pid=8250/tid=8258] ppid=8247 vsize=10725612 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8250/task/8258/stat : 8258 (java) S 8247 8250 6199 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 13 0 96829484 10983026688 25145 33554432000 4194304 4196468 140725602746480 140380198650656 140380707354325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17076224 140725602747565 140725602747657 140725602747657 140725602750415 0
[pid=8250/tid=8259] ppid=8247 vsize=10725612 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8250/task/8259/stat : 8259 (java) S 8247 8250 6199 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 13 0 96829485 10983026688 25145 33554432000 4194304 4196468 140725602746480 140380197598320 140380707354325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17076224 140725602747565 140725602747657 140725602747657 140725602750415 0
[pid=8250/tid=8261] ppid=8247 vsize=10725612 memory=0 CPUtime=0.28 cores=1,3,5,7
/proc/8250/task/8261/stat : 8261 (java) S 8247 8250 6199 0 -1 1077944384 2519 0 0 0 28 0 0 0 20 0 13 0 96829487 10983026688 25145 33554432000 4194304 4196468 140725602746480 140380195474912 140380707354325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17076224 140725602747565 140725602747657 140725602747657 140725602750415 0
[pid=8250/tid=8262] ppid=8247 vsize=10725612 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/8250/task/8262/stat : 8262 (java) S 8247 8250 6199 0 -1 1077944384 2455 0 0 0 20 0 0 0 20 0 13 0 96829487 10983026688 25145 33554432000 4194304 4196468 140725602746480 140380194426224 140380707354325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17076224 140725602747565 140725602747657 140725602747657 140725602750415 0
[pid=8250/tid=8263] ppid=8247 vsize=10725612 memory=0 CPUtime=0.23 cores=1,3,5,7
/proc/8250/task/8263/stat : 8263 (java) S 8247 8250 6199 0 -1 1077944384 1432 0 0 0 23 0 0 0 20 0 13 0 96829487 10983026688 25145 33554432000 4194304 4196468 140725602746480 140380193389424 140380707355266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17076224 140725602747565 140725602747657 140725602747657 140725602750415 0
[pid=8250/tid=8264] ppid=8247 vsize=10725612 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8250/task/8264/stat : 8264 (java) S 8247 8250 6199 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 13 0 96829487 10983026688 25145 33554432000 4194304 4196468 140725602746480 140380192336864 140380707354325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17076224 140725602747565 140725602747657 140725602747657 140725602750415 0
Current children cumulated CPU time: 1.22 s
Current children cumulated vsize: 10725612 KiB
Current children cumulated memory: 100580 KiB
Child status: 0
Real time (s): 0.616155
CPU time (s): 1.23512
CPU user time (s): 1.1932
CPU system time (s): 0.04192
CPU usage (%): 200.456
Max. virtual memory (cumulated for all children) (KiB): 10725612
Max. memory (cumulated for all children) (KiB): 100580
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.1932
system time used= 0.04192
maximum resident set size= 101092
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13530
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= 1414
involuntary context switches= 1
# summary of solver processes directly reported to runsolver:
# pid: 8250
# total CPU time (s): 1.23512
# total CPU user time (s): 1.1932
# total CPU system time (s): 0.04192
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.028685 second user time and 0.044512 second system time
The end