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 (7840 MiB free)
memory of node 1: 16384 MiB (8946 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4290169-1532225294/watcher-4290169-1532225294 -o /tmp/evaluation-result-4290169-1532225294/solver-4290169-1532225294 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1532209713-28358 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4290169-1532225294.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=30414, runsolver pid=30411
[startup+0.100127 s]*
/proc/loadavg: 1.08 1.31 1.71 3/199 30429
/proc/meminfo: memFree=17174248/32770624 swapFree=67108860/67108860
[pid=30414] ppid=30411 vsize=10659012 memory=30116 CPUtime=0.13 cores=0,2,4,6
/proc/30414/stat : 30414 (java) S 30411 30414 26255 0 -1 1077944320 6597 0 0 0 11 2 0 0 20 0 15 0 40092552 10914828288 7529 33554432000 4194304 4196468 140724810946736 140724810929280 140116853026551 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8380416 140724810949745 140724810949897 140724810949897 140724810952655 0
/proc/30414/statm: 2664753 7529 2824 1 0 2627263 0
[pid=30414/tid=30416] ppid=30411 vsize=10659012 memory=8543466553346073208 CPUtime=0.09 cores=0,2,4,6
/proc/30414/task/30416/stat : 30416 (java) R 30411 30414 26255 0 -1 4202560 4429 0 0 0 8 1 0 0 20 0 15 0 40092553 10914828288 7529 33554432000 4194304 4196468 140724810946736 140116857247680 140116853048477 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8380416 140724810949745 140724810949897 140724810949897 140724810952655 0
[pid=30414/tid=30417] ppid=30411 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30414/task/30417/stat : 30417 (java) S 30411 30414 26255 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 40092554 10914828288 7529 33554432000 4194304 4196468 140724810946736 140116805646736 140116853036757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8380416 140724810949745 140724810949897 140724810949897 140724810952655 0
[pid=30414/tid=30418] ppid=30411 vsize=10659012 memory=139946192488064 CPUtime=0 cores=0,2,4,6
/proc/30414/task/30418/stat : 30418 (java) S 30411 30414 26255 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40092554 10914828288 7529 33554432000 4194304 4196468 140724810946736 140116804593936 140116853036757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8380416 140724810949745 140724810949897 140724810949897 140724810952655 0
[pid=30414/tid=30419] ppid=30411 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30414/task/30419/stat : 30419 (java) S 30411 30414 26255 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40092554 10914828288 7529 33554432000 4194304 4196468 140724810946736 140116803541648 140116853036757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8380416 140724810949745 140724810949897 140724810949897 140724810952655 0
[pid=30414/tid=30420] ppid=30411 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30414/task/30420/stat : 30420 (java) S 30411 30414 26255 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40092554 10914828288 7529 33554432000 4194304 4196468 140724810946736 140116802488848 140116853036757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8380416 140724810949745 140724810949897 140724810949897 140724810952655 0
[pid=30414/tid=30421] ppid=30411 vsize=10659012 memory=139946192488064 CPUtime=0 cores=0,2,4,6
/proc/30414/task/30421/stat : 30421 (java) S 30411 30414 26255 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 40092555 10914828288 7529 33554432000 4194304 4196468 140724810946736 140116412725872 140116853037698 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8380416 140724810949745 140724810949897 140724810949897 140724810952655 0
[pid=30414/tid=30422] ppid=30411 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30414/task/30422/stat : 30422 (java) S 30411 30414 26255 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 40092555 10914828288 7529 33554432000 4194304 4196468 140724810946736 140116411671840 140116853036757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8380416 140724810949745 140724810949897 140724810949897 140724810952655 0
[pid=30414/tid=30423] ppid=30411 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30414/task/30423/stat : 30423 (java) S 30411 30414 26255 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 40092556 10914828288 7529 33554432000 4194304 4196468 140724810946736 140116410619504 140116853036757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8380416 140724810949745 140724810949897 140724810949897 140724810952655 0
[pid=30414/tid=30424] ppid=30411 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30414/task/30424/stat : 30424 (java) S 30411 30414 26255 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40092558 10914828288 7529 33554432000 4194304 4196468 140724810946736 140116409567824 140116853045147 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8380416 140724810949745 140724810949897 140724810949897 140724810952655 0
[pid=30414/tid=30425] ppid=30411 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30414/task/30425/stat : 30425 (java) S 30411 30414 26255 0 -1 1077944384 436 0 0 0 0 0 0 0 20 0 15 0 40092558 10914828288 7529 33554432000 4194304 4196468 140724810946736 140116408514672 140116853037698 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8380416 140724810949745 140724810949897 140724810949897 140724810952655 0
[pid=30414/tid=30426] ppid=30411 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30414/task/30426/stat : 30426 (java) S 30411 30414 26255 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40092558 10914828288 7529 33554432000 4194304 4196468 140724810946736 140116407461872 140116853037698 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8380416 140724810949745 140724810949897 140724810949897 140724810952655 0
[pid=30414/tid=30427] ppid=30411 vsize=10659012 memory=139946192488064 CPUtime=0.01 cores=0,2,4,6
/proc/30414/task/30427/stat : 30427 (java) R 30411 30414 26255 0 -1 4202560 364 0 0 0 1 0 0 0 20 0 15 0 40092558 10914828288 7529 33554432000 4194304 4196468 140724810946736 140116406409584 140116853047898 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8380416 140724810949745 140724810949897 140724810949897 140724810952655 0
[pid=30414/tid=30428] ppid=30411 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30414/task/30428/stat : 30428 (java) S 30411 30414 26255 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40092558 10914828288 7529 33554432000 4194304 4196468 140724810946736 140116405357024 140116853036757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8380416 140724810949745 140724810949897 140724810949897 140724810952655 0
[pid=30414/tid=30429] ppid=30411 vsize=10659012 memory=139946192488064 CPUtime=0 cores=0,2,4,6
/proc/30414/task/30429/stat : 30429 (java) S 30411 30414 26255 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40092558 10914828288 7529 33554432000 4194304 4196468 140724810946736 140116404304816 140116853037698 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8380416 140724810949745 140724810949897 140724810949897 140724810952655 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 30116 KiB
[startup+0.210392 s]*
/proc/loadavg: 1.08 1.31 1.71 2/199 30429
/proc/meminfo: memFree=17161744/32770624 swapFree=67108860/67108860
[pid=30414] ppid=30411 vsize=10659012 memory=42068 CPUtime=0.33 cores=0,2,4,6
/proc/30414/stat : 30414 (java) S 30411 30414 26255 0 -1 1077944320 8105 0 0 0 31 2 0 0 20 0 15 0 40092552 10914828288 10517 33554432000 4194304 4196468 140724810946736 140724810929280 140116853026551 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8380416 140724810949745 140724810949897 140724810949897 140724810952655 0
/proc/30414/statm: 2664753 10517 3005 1 0 2627263 0
[pid=30414/tid=30416] ppid=30411 vsize=10659012 memory=8318255677412212789 CPUtime=0.19 cores=0,2,4,6
/proc/30414/task/30416/stat : 30416 (java) R 30411 30414 26255 0 -1 4202560 5007 0 0 0 18 1 0 0 20 0 15 0 40092553 10914828288 10517 33554432000 4194304 4196468 140724810946736 140116857262832 140116837070181 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8380416 140724810949745 140724810949897 140724810949897 140724810952655 0
[pid=30414/tid=30417] ppid=30411 vsize=10659012 memory=329 CPUtime=0 cores=0,2,4,6
/proc/30414/task/30417/stat : 30417 (java) S 30411 30414 26255 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 40092554 10914828288 10517 33554432000 4194304 4196468 140724810946736 140116805646736 140116853036757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8380416 140724810949745 140724810949897 140724810949897 140724810952655 0
[pid=30414/tid=30418] ppid=30411 vsize=10659012 memory=3618837455133427360 CPUtime=0 cores=0,2,4,6
/proc/30414/task/30418/stat : 30418 (java) S 30411 30414 26255 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40092554 10914828288 10517 33554432000 4194304 4196468 140724810946736 140116804593936 140116853036757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8380416 140724810949745 140724810949897 140724810949897 140724810952655 0
[pid=30414/tid=30419] ppid=30411 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30414/task/30419/stat : 30419 (java) S 30411 30414 26255 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40092554 10914828288 10517 33554432000 4194304 4196468 140724810946736 140116803541648 140116853036757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8380416 140724810949745 140724810949897 140724810949897 140724810952655 0
[pid=30414/tid=30420] ppid=30411 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30414/task/30420/stat : 30420 (java) S 30411 30414 26255 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40092554 10914828288 10517 33554432000 4194304 4196468 140724810946736 140116802488848 140116853036757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8380416 140724810949745 140724810949897 140724810949897 140724810952655 0
[pid=30414/tid=30421] ppid=30411 vsize=10659012 memory=139946192488064 CPUtime=0 cores=0,2,4,6
/proc/30414/task/30421/stat : 30421 (java) S 30411 30414 26255 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 40092555 10914828288 10517 33554432000 4194304 4196468 140724810946736 140116412725872 140116853037698 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8380416 140724810949745 140724810949897 140724810949897 140724810952655 0
[pid=30414/tid=30422] ppid=30411 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30414/task/30422/stat : 30422 (java) S 30411 30414 26255 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 40092555 10914828288 10517 33554432000 4194304 4196468 140724810946736 140116411671840 140116853036757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8380416 140724810949745 140724810949897 140724810949897 140724810952655 0
[pid=30414/tid=30423] ppid=30411 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30414/task/30423/stat : 30423 (java) S 30411 30414 26255 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 40092556 10914828288 10517 33554432000 4194304 4196468 140724810946736 140116410619504 140116853036757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8380416 140724810949745 140724810949897 140724810949897 140724810952655 0
[pid=30414/tid=30424] ppid=30411 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30414/task/30424/stat : 30424 (java) S 30411 30414 26255 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40092558 10914828288 10517 33554432000 4194304 4196468 140724810946736 140116409567824 140116853045147 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8380416 140724810949745 140724810949897 140724810949897 140724810952655 0
[pid=30414/tid=30425] ppid=30411 vsize=10659012 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/30414/task/30425/stat : 30425 (java) S 30411 30414 26255 0 -1 1077944384 761 0 0 0 2 0 0 0 20 0 15 0 40092558 10914828288 10517 33554432000 4194304 4196468 140724810946736 140116408514672 140116853037698 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8380416 140724810949745 140724810949897 140724810949897 140724810952655 0
[pid=30414/tid=30426] ppid=30411 vsize=10659012 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/30414/task/30426/stat : 30426 (java) S 30411 30414 26255 0 -1 1077944384 229 0 0 0 2 0 0 0 20 0 15 0 40092558 10914828288 10517 33554432000 4194304 4196468 140724810946736 140116407461872 140116853037698 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8380416 140724810949745 140724810949897 140724810949897 140724810952655 0
[pid=30414/tid=30427] ppid=30411 vsize=10659012 memory=139946192488064 CPUtime=0.07 cores=0,2,4,6
/proc/30414/task/30427/stat : 30427 (java) R 30411 30414 26255 0 -1 4202560 742 0 0 0 7 0 0 0 20 0 15 0 40092558 10914828288 10517 33554432000 4194304 4196468 140724810946736 140116406409584 140116845263678 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8380416 140724810949745 140724810949897 140724810949897 140724810952655 0
[pid=30414/tid=30428] ppid=30411 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30414/task/30428/stat : 30428 (java) S 30411 30414 26255 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40092558 10914828288 10517 33554432000 4194304 4196468 140724810946736 140116405357024 140116853036757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8380416 140724810949745 140724810949897 140724810949897 140724810952655 0
[pid=30414/tid=30429] ppid=30411 vsize=10659012 memory=139946192488064 CPUtime=0 cores=0,2,4,6
/proc/30414/task/30429/stat : 30429 (java) S 30411 30414 26255 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40092558 10914828288 10517 33554432000 4194304 4196468 140724810946736 140116404304816 140116853037698 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8380416 140724810949745 140724810949897 140724810949897 140724810952655 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 42068 KiB
[startup+0.315936 s]*
/proc/loadavg: 1.08 1.31 1.71 4/199 30429
/proc/meminfo: memFree=17154176/32770624 swapFree=67108860/67108860
[pid=30414] ppid=30411 vsize=10659088 memory=47732 CPUtime=0.55 cores=0,2,4,6
/proc/30414/stat : 30414 (java) S 30411 30414 26255 0 -1 1077944320 9019 0 0 0 52 3 0 0 20 0 15 0 40092552 10914906112 11933 33554432000 4194304 4196468 140724810946736 140724810929280 140116853026551 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8380416 140724810949745 140724810949897 140724810949897 140724810952655 0
/proc/30414/statm: 2664772 11933 3056 1 0 2627263 0
[pid=30414/tid=30416] ppid=30411 vsize=10659088 memory=6791534058613427641 CPUtime=0.31 cores=0,2,4,6
/proc/30414/task/30416/stat : 30416 (java) R 30411 30414 26255 0 -1 4202560 5620 0 0 0 29 2 0 0 20 0 15 0 40092553 10914906112 11933 33554432000 4194304 4196468 140724810946736 140116857263280 140116837070181 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8380416 140724810949745 140724810949897 140724810949897 140724810952655 0
[pid=30414/tid=30417] ppid=30411 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30414/task/30417/stat : 30417 (java) S 30411 30414 26255 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 40092554 10914906112 11933 33554432000 4194304 4196468 140724810946736 140116805646736 140116853036757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8380416 140724810949745 140724810949897 140724810949897 140724810952655 0
[pid=30414/tid=30418] ppid=30411 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30414/task/30418/stat : 30418 (java) S 30411 30414 26255 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40092554 10914906112 11933 33554432000 4194304 4196468 140724810946736 140116804593936 140116853036757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8380416 140724810949745 140724810949897 140724810949897 140724810952655 0
[pid=30414/tid=30419] ppid=30411 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30414/task/30419/stat : 30419 (java) S 30411 30414 26255 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40092554 10914906112 11933 33554432000 4194304 4196468 140724810946736 140116803541648 140116853036757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8380416 140724810949745 140724810949897 140724810949897 140724810952655 0
[pid=30414/tid=30420] ppid=30411 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30414/task/30420/stat : 30420 (java) S 30411 30414 26255 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40092554 10914906112 11933 33554432000 4194304 4196468 140724810946736 140116802488848 140116853036757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8380416 140724810949745 140724810949897 140724810949897 140724810952655 0
[pid=30414/tid=30421] ppid=30411 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30414/task/30421/stat : 30421 (java) S 30411 30414 26255 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 40092555 10914906112 11933 33554432000 4194304 4196468 140724810946736 140116412725872 140116853037698 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8380416 140724810949745 140724810949897 140724810949897 140724810952655 0
[pid=30414/tid=30422] ppid=30411 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30414/task/30422/stat : 30422 (java) S 30411 30414 26255 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 40092555 10914906112 11933 33554432000 4194304 4196468 140724810946736 140116411671840 140116853036757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8380416 140724810949745 140724810949897 140724810949897 140724810952655 0
[pid=30414/tid=30423] ppid=30411 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30414/task/30423/stat : 30423 (java) S 30411 30414 26255 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 40092556 10914906112 11933 33554432000 4194304 4196468 140724810946736 140116410619504 140116853036757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8380416 140724810949745 140724810949897 140724810949897 140724810952655 0
[pid=30414/tid=30424] ppid=30411 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30414/task/30424/stat : 30424 (java) S 30411 30414 26255 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40092558 10914906112 11933 33554432000 4194304 4196468 140724810946736 140116409567824 140116853045147 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8380416 140724810949745 140724810949897 140724810949897 140724810952655 0
[pid=30414/tid=30425] ppid=30411 vsize=10659088 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/30414/task/30425/stat : 30425 (java) S 30411 30414 26255 0 -1 1077944384 807 0 0 0 4 0 0 0 20 0 15 0 40092558 10914906112 11933 33554432000 4194304 4196468 140724810946736 140116408514672 140116853037698 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8380416 140724810949745 140724810949897 140724810949897 140724810952655 0
[pid=30414/tid=30426] ppid=30411 vsize=10659088 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/30414/task/30426/stat : 30426 (java) S 30411 30414 26255 0 -1 1077944384 395 0 0 0 5 0 0 0 20 0 15 0 40092558 10914906112 11933 33554432000 4194304 4196468 140724810946736 140116407461872 140116853037698 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8380416 140724810949745 140724810949897 140724810949897 140724810952655 0
[pid=30414/tid=30427] ppid=30411 vsize=10659088 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/30414/task/30427/stat : 30427 (java) R 30411 30414 26255 0 -1 4202560 831 0 0 0 12 0 0 0 20 0 15 0 40092558 10914906112 11933 33554432000 4194304 4196468 140724810946736 140116406409584 140116831865746 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8380416 140724810949745 140724810949897 140724810949897 140724810952655 0
[pid=30414/tid=30428] ppid=30411 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30414/task/30428/stat : 30428 (java) S 30411 30414 26255 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40092558 10914906112 11933 33554432000 4194304 4196468 140724810946736 140116405357024 140116853036757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8380416 140724810949745 140724810949897 140724810949897 140724810952655 0
[pid=30414/tid=30429] ppid=30411 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30414/task/30429/stat : 30429 (java) S 30411 30414 26255 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40092558 10914906112 11933 33554432000 4194304 4196468 140724810946736 140116404304816 140116853037698 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8380416 140724810949745 140724810949897 140724810949897 140724810952655 0
Current children cumulated CPU time: 0.55 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 47732 KiB
[startup+0.70128 s]
/proc/loadavg: 1.08 1.31 1.71 5/199 30429
/proc/meminfo: memFree=17124368/32770624 swapFree=67108860/67108860
[pid=30414] ppid=30411 vsize=10725652 memory=85200 CPUtime=1.76 cores=0,2,4,6
/proc/30414/stat : 30414 (java) S 30411 30414 26255 0 -1 1077944320 11901 0 0 0 171 5 0 0 20 0 16 0 40092552 10983067648 21300 33554432000 4194304 4196468 140724810946736 140724810929280 140116853026551 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8380416 140724810949745 140724810949897 140724810949897 140724810952655 0
/proc/30414/statm: 2681413 21300 3111 1 0 2643904 0
[pid=30414/tid=30416] ppid=30411 vsize=10725652 memory=2244 CPUtime=0.66 cores=0,2,4,6
/proc/30414/task/30416/stat : 30416 (java) R 30411 30414 26255 0 -1 4202560 5888 0 0 0 63 3 0 0 20 0 16 0 40092553 10983067648 21300 33554432000 4194304 4196468 140724810946736 140116857262936 140116483265749 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8380416 140724810949745 140724810949897 140724810949897 140724810952655 0
[pid=30414/tid=30417] ppid=30411 vsize=10725652 memory=796 CPUtime=0 cores=0,2,4,6
/proc/30414/task/30417/stat : 30417 (java) S 30411 30414 26255 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 40092554 10983067648 21300 33554432000 4194304 4196468 140724810946736 140116805646736 140116853036757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8380416 140724810949745 140724810949897 140724810949897 140724810952655 0
[pid=30414/tid=30418] ppid=30411 vsize=10725652 memory=1700 CPUtime=0 cores=0,2,4,6
/proc/30414/task/30418/stat : 30418 (java) S 30411 30414 26255 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 40092554 10983067648 21300 33554432000 4194304 4196468 140724810946736 140116804593936 140116853036757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8380416 140724810949745 140724810949897 140724810949897 140724810952655 0
[pid=30414/tid=30419] ppid=30411 vsize=10725652 memory=12984 CPUtime=0 cores=0,2,4,6
/proc/30414/task/30419/stat : 30419 (java) S 30411 30414 26255 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 40092554 10983067648 21300 33554432000 4194304 4196468 140724810946736 140116803541648 140116853036757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8380416 140724810949745 140724810949897 140724810949897 140724810952655 0
[pid=30414/tid=30420] ppid=30411 vsize=10725652 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/30414/task/30420/stat : 30420 (java) S 30411 30414 26255 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 40092554 10983067648 21300 33554432000 4194304 4196468 140724810946736 140116802488848 140116853036757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8380416 140724810949745 140724810949897 140724810949897 140724810952655 0
[pid=30414/tid=30421] ppid=30411 vsize=10725652 memory=4620 CPUtime=0 cores=0,2,4,6
/proc/30414/task/30421/stat : 30421 (java) S 30411 30414 26255 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 16 0 40092555 10983067648 21300 33554432000 4194304 4196468 140724810946736 140116412725872 140116853037698 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8380416 140724810949745 140724810949897 140724810949897 140724810952655 0
[pid=30414/tid=30422] ppid=30411 vsize=10725652 memory=8315167063544725677 CPUtime=0 cores=0,2,4,6
/proc/30414/task/30422/stat : 30422 (java) S 30411 30414 26255 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 40092555 10983067648 21300 33554432000 4194304 4196468 140724810946736 140116411671840 140116853036757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8380416 140724810949745 140724810949897 140724810949897 140724810952655 0
[pid=30414/tid=30423] ppid=30411 vsize=10725652 memory=9050155626366927021 CPUtime=0 cores=0,2,4,6
/proc/30414/task/30423/stat : 30423 (java) S 30411 30414 26255 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 40092556 10983067648 21300 33554432000 4194304 4196468 140724810946736 140116410619504 140116853036757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8380416 140724810949745 140724810949897 140724810949897 140724810952655 0
[pid=30414/tid=30424] ppid=30411 vsize=10725652 memory=9126232286719478932 CPUtime=0 cores=0,2,4,6
/proc/30414/task/30424/stat : 30424 (java) S 30411 30414 26255 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 40092558 10983067648 21300 33554432000 4194304 4196468 140724810946736 140116409567824 140116853045147 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8380416 140724810949745 140724810949897 140724810949897 140724810952655 0
[pid=30414/tid=30425] ppid=30411 vsize=10725652 memory=4206186544037388384 CPUtime=0.38 cores=0,2,4,6
/proc/30414/task/30425/stat : 30425 (java) R 30411 30414 26255 0 -1 4202560 1642 0 0 0 38 0 0 0 20 0 16 0 40092558 10983067648 21300 33554432000 4194304 4196468 140724810946736 140116408501520 140116832272962 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 8380416 140724810949745 140724810949897 140724810949897 140724810952655 0
[pid=30414/tid=30426] ppid=30411 vsize=10725652 memory=6656426216303648864 CPUtime=0.39 cores=0,2,4,6
/proc/30414/task/30426/stat : 30426 (java) R 30411 30414 26255 0 -1 4202560 1500 0 0 0 39 0 0 0 20 0 16 0 40092558 10983067648 21300 33554432000 4194304 4196468 140724810946736 140116407453328 140116834546642 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 8380416 140724810949745 140724810949897 140724810949897 140724810952655 0
[pid=30414/tid=30427] ppid=30411 vsize=10725652 memory=0 CPUtime=0.3 cores=0,2,4,6
/proc/30414/task/30427/stat : 30427 (java) S 30411 30414 26255 0 -1 1077944384 1477 0 0 0 30 0 0 0 20 0 16 0 40092558 10983067648 21300 33554432000 4194304 4196468 140724810946736 140116406409584 140116853037698 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 8380416 140724810949745 140724810949897 140724810949897 140724810952655 0
[pid=30414/tid=30428] ppid=30411 vsize=10725652 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30414/task/30428/stat : 30428 (java) S 30411 30414 26255 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 40092558 10983067648 21300 33554432000 4194304 4196468 140724810946736 140116405357024 140116853036757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8380416 140724810949745 140724810949897 140724810949897 140724810952655 0
[pid=30414/tid=30429] ppid=30411 vsize=10725652 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30414/task/30429/stat : 30429 (java) S 30411 30414 26255 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 40092558 10983067648 21300 33554432000 4194304 4196468 140724810946736 140116404304816 140116853037698 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8380416 140724810949745 140724810949897 140724810949897 140724810952655 0
Current children cumulated CPU time: 1.76 s
Current children cumulated vsize: 10725652 KiB
Current children cumulated memory: 85200 KiB
[startup+1.50073 s]
/proc/loadavg: 1.08 1.31 1.71 2/200 30430
/proc/meminfo: memFree=17114860/32770624 swapFree=67108860/67108860
[pid=30414] ppid=30411 vsize=10725652 memory=90264 CPUtime=3.01 cores=0,2,4,6
/proc/30414/stat : 30414 (java) S 30411 30414 26255 0 -1 1077944320 14025 0 0 0 296 5 0 0 20 0 16 0 40092552 10983067648 22566 33554432000 4194304 4196468 140724810946736 140724810929280 140116853026551 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8380416 140724810949745 140724810949897 140724810949897 140724810952655 0
/proc/30414/statm: 2681413 22566 3119 1 0 2643904 0
[pid=30414/tid=30416] ppid=30411 vsize=10725652 memory=7649399384214614067 CPUtime=1.46 cores=0,2,4,6
/proc/30414/task/30416/stat : 30416 (java) R 30411 30414 26255 0 -1 4202560 6191 0 0 0 143 3 0 0 20 0 16 0 40092553 10983067648 22566 33554432000 4194304 4196468 140724810946736 140116857263224 140116483350696 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8380416 140724810949745 140724810949897 140724810949897 140724810952655 0
[pid=30414/tid=30417] ppid=30411 vsize=10725652 memory=563 CPUtime=0 cores=0,2,4,6
/proc/30414/task/30417/stat : 30417 (java) S 30411 30414 26255 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 40092554 10983067648 22566 33554432000 4194304 4196468 140724810946736 140116805646736 140116853036757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8380416 140724810949745 140724810949897 140724810949897 140724810952655 0
[pid=30414/tid=30418] ppid=30411 vsize=10725652 memory=279892147353408 CPUtime=0 cores=0,2,4,6
/proc/30414/task/30418/stat : 30418 (java) S 30411 30414 26255 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 40092554 10983067648 22566 33554432000 4194304 4196468 140724810946736 140116804593936 140116853036757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8380416 140724810949745 140724810949897 140724810949897 140724810952655 0
[pid=30414/tid=30419] ppid=30411 vsize=10725652 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30414/task/30419/stat : 30419 (java) S 30411 30414 26255 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 40092554 10983067648 22566 33554432000 4194304 4196468 140724810946736 140116803541648 140116853036757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8380416 140724810949745 140724810949897 140724810949897 140724810952655 0
[pid=30414/tid=30420] ppid=30411 vsize=10725652 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30414/task/30420/stat : 30420 (java) S 30411 30414 26255 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 40092554 10983067648 22566 33554432000 4194304 4196468 140724810946736 140116802488848 140116853036757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8380416 140724810949745 140724810949897 140724810949897 140724810952655 0
[pid=30414/tid=30421] ppid=30411 vsize=10725652 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30414/task/30421/stat : 30421 (java) S 30411 30414 26255 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 16 0 40092555 10983067648 22566 33554432000 4194304 4196468 140724810946736 140116412725872 140116853037698 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8380416 140724810949745 140724810949897 140724810949897 140724810952655 0
[pid=30414/tid=30422] ppid=30411 vsize=10725652 memory=9233 CPUtime=0 cores=0,2,4,6
/proc/30414/task/30422/stat : 30422 (java) S 30411 30414 26255 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 40092555 10983067648 22566 33554432000 4194304 4196468 140724810946736 140116411671840 140116853036757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8380416 140724810949745 140724810949897 140724810949897 140724810952655 0
[pid=30414/tid=30423] ppid=30411 vsize=10725652 memory=-1624781813439352349 CPUtime=0 cores=0,2,4,6
/proc/30414/task/30423/stat : 30423 (java) S 30411 30414 26255 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 40092556 10983067648 22566 33554432000 4194304 4196468 140724810946736 140116410619504 140116853036757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8380416 140724810949745 140724810949897 140724810949897 140724810952655 0
[pid=30414/tid=30424] ppid=30411 vsize=10725652 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/30414/task/30424/stat : 30424 (java) S 30411 30414 26255 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 40092558 10983067648 22566 33554432000 4194304 4196468 140724810946736 140116409567824 140116853045147 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8380416 140724810949745 140724810949897 140724810949897 140724810952655 0
[pid=30414/tid=30425] ppid=30411 vsize=10725652 memory=6943526294502006880 CPUtime=0.58 cores=0,2,4,6
/proc/30414/task/30425/stat : 30425 (java) S 30411 30414 26255 0 -1 1077944384 2241 0 0 0 58 0 0 0 20 0 16 0 40092558 10983067648 22566 33554432000 4194304 4196468 140724810946736 140116408514672 140116853037698 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 8380416 140724810949745 140724810949897 140724810949897 140724810952655 0
[pid=30414/tid=30426] ppid=30411 vsize=10725652 memory=6791534058613427641 CPUtime=0.62 cores=0,2,4,6
/proc/30414/task/30426/stat : 30426 (java) S 30411 30414 26255 0 -1 1077944384 2582 0 0 0 62 0 0 0 20 0 16 0 40092558 10983067648 22566 33554432000 4194304 4196468 140724810946736 140116407461872 140116853037698 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 8380416 140724810949745 140724810949897 140724810949897 140724810952655 0
[pid=30414/tid=30427] ppid=30411 vsize=10725652 memory=0 CPUtime=0.31 cores=0,2,4,6
/proc/30414/task/30427/stat : 30427 (java) S 30411 30414 26255 0 -1 1077944384 1606 0 0 0 31 0 0 0 20 0 16 0 40092558 10983067648 22566 33554432000 4194304 4196468 140724810946736 140116406409584 140116853037698 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 8380416 140724810949745 140724810949897 140724810949897 140724810952655 0
[pid=30414/tid=30428] ppid=30411 vsize=10725652 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30414/task/30428/stat : 30428 (java) S 30411 30414 26255 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 40092558 10983067648 22566 33554432000 4194304 4196468 140724810946736 140116405357024 140116853036757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8380416 140724810949745 140724810949897 140724810949897 140724810952655 0
[pid=30414/tid=30429] ppid=30411 vsize=10725652 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30414/task/30429/stat : 30429 (java) S 30411 30414 26255 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 16 0 40092558 10983067648 22566 33554432000 4194304 4196468 140724810946736 140116404304816 140116853037698 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8380416 140724810949745 140724810949897 140724810949897 140724810952655 0
[pid=30414/tid=30430] ppid=30411 vsize=10725652 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30414/task/30430/stat : 30430 (java) S 30411 30414 26255 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 40092607 10983067648 22566 33554432000 4194304 4196468 140724810946736 140116403250352 140116853037698 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8380416 140724810949745 140724810949897 140724810949897 140724810952655 0
Current children cumulated CPU time: 3.01 s
Current children cumulated vsize: 10725652 KiB
Current children cumulated memory: 90264 KiB
[startup+1.74939 s]
# the end of solver process 30414 was just reported to runsolver
# cumulated CPU time of all completed processes: user=3.00781 s, system=0.061714 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60086 s]
/proc/loadavg: 1.08 1.31 1.71 2/200 30430
/proc/meminfo: memFree=17114860/32770624 swapFree=67108860/67108860
[pid=30414] ppid=30411 vsize=10793244 memory=94416 CPUtime=3.04 cores=0,2,4,6
/proc/30414/stat : 30414 (java) S 30411 30414 26255 0 -1 1077944320 14467 0 0 0 299 5 0 0 20 0 16 0 40092552 11052281856 23604 33554432000 4194304 4196468 140724810946736 140724810929280 140116853026551 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8380416 140724810949745 140724810949897 140724810949897 140724810952655 0
/proc/30414/statm: 2698311 23604 3121 1 0 2660802 0
[pid=30414/tid=30416] ppid=30411 vsize=10793244 memory=9217 CPUtime=1.49 cores=0,2,4,6
/proc/30414/task/30416/stat : 30416 (java) S 30411 30414 26255 0 -1 1077944384 6456 0 0 0 146 3 0 0 20 0 16 0 40092553 11052281856 23604 33554432000 4194304 4196468 140724810946736 140116857267232 140116853036757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8380416 140724810949745 140724810949897 140724810949897 140724810952655 0
[pid=30414/tid=30417] ppid=30411 vsize=10793244 memory=14690786151257859 CPUtime=0 cores=0,2,4,6
/proc/30414/task/30417/stat : 30417 (java) S 30411 30414 26255 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 40092554 11052281856 23604 33554432000 4194304 4196468 140724810946736 140116805646736 140116853036757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8380416 140724810949745 140724810949897 140724810949897 140724810952655 0
[pid=30414/tid=30418] ppid=30411 vsize=10793244 memory=14696292299329512 CPUtime=0 cores=0,2,4,6
/proc/30414/task/30418/stat : 30418 (java) S 30411 30414 26255 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 40092554 11052281856 23604 33554432000 4194304 4196468 140724810946736 140116804593936 140116853036757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8380416 140724810949745 140724810949897 140724810949897 140724810952655 0
[pid=30414/tid=30419] ppid=30411 vsize=10793244 memory=279892147613296 CPUtime=0 cores=0,2,4,6
/proc/30414/task/30419/stat : 30419 (java) S 30411 30414 26255 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 40092554 11052281856 23604 33554432000 4194304 4196468 140724810946736 140116803541648 140116853036757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8380416 140724810949745 140724810949897 140724810949897 140724810952655 0
[pid=30414/tid=30420] ppid=30411 vsize=10793244 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30414/task/30420/stat : 30420 (java) S 30411 30414 26255 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 40092554 11052281856 23604 33554432000 4194304 4196468 140724810946736 140116802488848 140116853036757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8380416 140724810949745 140724810949897 140724810949897 140724810952655 0
[pid=30414/tid=30421] ppid=30411 vsize=10793244 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30414/task/30421/stat : 30421 (java) S 30411 30414 26255 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 16 0 40092555 11052281856 23604 33554432000 4194304 4196468 140724810946736 140116412725872 140116853037698 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8380416 140724810949745 140724810949897 140724810949897 140724810952655 0
[pid=30414/tid=30422] ppid=30411 vsize=10793244 memory=6082202987142146135 CPUtime=0 cores=0,2,4,6
/proc/30414/task/30422/stat : 30422 (java) S 30411 30414 26255 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 40092555 11052281856 23604 33554432000 4194304 4196468 140724810946736 140116411671840 140116853036757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8380416 140724810949745 140724810949897 140724810949897 140724810952655 0
[pid=30414/tid=30423] ppid=30411 vsize=10793244 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/30414/task/30423/stat : 30423 (java) S 30411 30414 26255 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 40092556 11052281856 23604 33554432000 4194304 4196468 140724810946736 140116410619504 140116853036757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8380416 140724810949745 140724810949897 140724810949897 140724810952655 0
[pid=30414/tid=30424] ppid=30411 vsize=10793244 memory=8916 CPUtime=0 cores=0,2,4,6
/proc/30414/task/30424/stat : 30424 (java) S 30411 30414 26255 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 40092558 11052281856 23604 33554432000 4194304 4196468 140724810946736 140116409567824 140116853045147 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8380416 140724810949745 140724810949897 140724810949897 140724810952655 0
[pid=30414/tid=30425] ppid=30411 vsize=10793244 memory=0 CPUtime=0.58 cores=0,2,4,6
/proc/30414/task/30425/stat : 30425 (java) S 30411 30414 26255 0 -1 1077944384 2241 0 0 0 58 0 0 0 20 0 16 0 40092558 11052281856 23604 33554432000 4194304 4196468 140724810946736 140116408514672 140116853037698 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 8380416 140724810949745 140724810949897 140724810949897 140724810952655 0
[pid=30414/tid=30426] ppid=30411 vsize=10793244 memory=279892147567712 CPUtime=0.62 cores=0,2,4,6
/proc/30414/task/30426/stat : 30426 (java) S 30411 30414 26255 0 -1 1077944384 2582 0 0 0 62 0 0 0 20 0 16 0 40092558 11052281856 23604 33554432000 4194304 4196468 140724810946736 140116407461872 140116853037698 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 8380416 140724810949745 140724810949897 140724810949897 140724810952655 0
[pid=30414/tid=30427] ppid=30411 vsize=10793244 memory=7012506390005572717 CPUtime=0.31 cores=0,2,4,6
/proc/30414/task/30427/stat : 30427 (java) S 30411 30414 26255 0 -1 1077944384 1631 0 0 0 31 0 0 0 20 0 16 0 40092558 11052281856 23604 33554432000 4194304 4196468 140724810946736 140116406409584 140116853037698 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 8380416 140724810949745 140724810949897 140724810949897 140724810952655 0
[pid=30414/tid=30428] ppid=30411 vsize=10793244 memory=7954876911139121472 CPUtime=0 cores=0,2,4,6
/proc/30414/task/30428/stat : 30428 (java) S 30411 30414 26255 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 40092558 11052281856 23604 33554432000 4194304 4196468 140724810946736 140116405357024 140116853036757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8380416 140724810949745 140724810949897 140724810949897 140724810952655 0
[pid=30414/tid=30429] ppid=30411 vsize=10793244 memory=7597132098393106257 CPUtime=0 cores=0,2,4,6
/proc/30414/task/30429/stat : 30429 (java) S 30411 30414 26255 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 16 0 40092558 11052281856 23604 33554432000 4194304 4196468 140724810946736 140116404304816 140116853037698 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8380416 140724810949745 140724810949897 140724810949897 140724810952655 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 10793244 KiB
Current children cumulated memory: 94416 KiB
[startup+1.70073 s]
/proc/loadavg: 1.08 1.31 1.71 2/200 30430
/proc/meminfo: memFree=17114860/32770624 swapFree=67108860/67108860
[pid=30414] ppid=30411 vsize=10793244 memory=94416 CPUtime=3.04 cores=0,2,4,6
/proc/30414/stat : 30414 (java) S 30411 30414 26255 0 -1 1077944320 14467 0 0 0 299 5 0 0 20 0 16 0 40092552 11052281856 23604 33554432000 4194304 4196468 140724810946736 140724810929280 140116853026551 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8380416 140724810949745 140724810949897 140724810949897 140724810952655 0
/proc/30414/statm: 2698311 23604 3121 1 0 2660802 0
[pid=30414/tid=30416] ppid=30411 vsize=10793244 memory=0 CPUtime=1.49 cores=0,2,4,6
/proc/30414/task/30416/stat : 30416 (java) S 30411 30414 26255 0 -1 1077944384 6456 0 0 0 146 3 0 0 20 0 16 0 40092553 11052281856 23604 33554432000 4194304 4196468 140724810946736 140116857267232 140116853036757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8380416 140724810949745 140724810949897 140724810949897 140724810952655 0
[pid=30414/tid=30417] ppid=30411 vsize=10793244 memory=563 CPUtime=0 cores=0,2,4,6
/proc/30414/task/30417/stat : 30417 (java) S 30411 30414 26255 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 40092554 11052281856 23604 33554432000 4194304 4196468 140724810946736 140116805646736 140116853036757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8380416 140724810949745 140724810949897 140724810949897 140724810952655 0
[pid=30414/tid=30418] ppid=30411 vsize=10793244 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30414/task/30418/stat : 30418 (java) S 30411 30414 26255 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 40092554 11052281856 23604 33554432000 4194304 4196468 140724810946736 140116804593936 140116853036757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8380416 140724810949745 140724810949897 140724810949897 140724810952655 0
[pid=30414/tid=30419] ppid=30411 vsize=10793244 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30414/task/30419/stat : 30419 (java) S 30411 30414 26255 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 40092554 11052281856 23604 33554432000 4194304 4196468 140724810946736 140116803541648 140116853036757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8380416 140724810949745 140724810949897 140724810949897 140724810952655 0
[pid=30414/tid=30420] ppid=30411 vsize=10793244 memory=279892147353408 CPUtime=0 cores=0,2,4,6
/proc/30414/task/30420/stat : 30420 (java) S 30411 30414 26255 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 40092554 11052281856 23604 33554432000 4194304 4196468 140724810946736 140116802488848 140116853036757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8380416 140724810949745 140724810949897 140724810949897 140724810952655 0
[pid=30414/tid=30421] ppid=30411 vsize=10793244 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30414/task/30421/stat : 30421 (java) S 30411 30414 26255 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 16 0 40092555 11052281856 23604 33554432000 4194304 4196468 140724810946736 140116412725872 140116853037698 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8380416 140724810949745 140724810949897 140724810949897 140724810952655 0
[pid=30414/tid=30422] ppid=30411 vsize=10793244 memory=9233 CPUtime=0 cores=0,2,4,6
/proc/30414/task/30422/stat : 30422 (java) S 30411 30414 26255 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 40092555 11052281856 23604 33554432000 4194304 4196468 140724810946736 140116411671840 140116853036757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8380416 140724810949745 140724810949897 140724810949897 140724810952655 0
[pid=30414/tid=30423] ppid=30411 vsize=10793244 memory=-1624781813439352349 CPUtime=0 cores=0,2,4,6
/proc/30414/task/30423/stat : 30423 (java) S 30411 30414 26255 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 40092556 11052281856 23604 33554432000 4194304 4196468 140724810946736 140116410619504 140116853036757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8380416 140724810949745 140724810949897 140724810949897 140724810952655 0
[pid=30414/tid=30424] ppid=30411 vsize=10793244 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/30414/task/30424/stat : 30424 (java) S 30411 30414 26255 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 40092558 11052281856 23604 33554432000 4194304 4196468 140724810946736 140116409567824 140116853045147 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8380416 140724810949745 140724810949897 140724810949897 140724810952655 0
[pid=30414/tid=30425] ppid=30411 vsize=10793244 memory=6943526294502006880 CPUtime=0.58 cores=0,2,4,6
/proc/30414/task/30425/stat : 30425 (java) S 30411 30414 26255 0 -1 1077944384 2241 0 0 0 58 0 0 0 20 0 16 0 40092558 11052281856 23604 33554432000 4194304 4196468 140724810946736 140116408514672 140116853037698 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 8380416 140724810949745 140724810949897 140724810949897 140724810952655 0
[pid=30414/tid=30426] ppid=30411 vsize=10793244 memory=6791534058613427641 CPUtime=0.62 cores=0,2,4,6
/proc/30414/task/30426/stat : 30426 (java) S 30411 30414 26255 0 -1 1077944384 2582 0 0 0 62 0 0 0 20 0 16 0 40092558 11052281856 23604 33554432000 4194304 4196468 140724810946736 140116407461872 140116853037698 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 8380416 140724810949745 140724810949897 140724810949897 140724810952655 0
[pid=30414/tid=30427] ppid=30411 vsize=10793244 memory=0 CPUtime=0.31 cores=0,2,4,6
/proc/30414/task/30427/stat : 30427 (java) S 30411 30414 26255 0 -1 1077944384 1631 0 0 0 31 0 0 0 20 0 16 0 40092558 11052281856 23604 33554432000 4194304 4196468 140724810946736 140116406409584 140116853037698 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 8380416 140724810949745 140724810949897 140724810949897 140724810952655 0
[pid=30414/tid=30428] ppid=30411 vsize=10793244 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30414/task/30428/stat : 30428 (java) S 30411 30414 26255 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 40092558 11052281856 23604 33554432000 4194304 4196468 140724810946736 140116405357024 140116853036757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8380416 140724810949745 140724810949897 140724810949897 140724810952655 0
[pid=30414/tid=30429] ppid=30411 vsize=10793244 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30414/task/30429/stat : 30429 (java) S 30411 30414 26255 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 16 0 40092558 11052281856 23604 33554432000 4194304 4196468 140724810946736 140116404304816 140116853037698 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8380416 140724810949745 140724810949897 140724810949897 140724810952655 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 10793244 KiB
Current children cumulated memory: 94416 KiB
Child status: 0
Real time (s): 1.74944
CPU time (s): 3.06952
CPU user time (s): 3.00781
CPU system time (s): 0.061714
CPU usage (%): 175.458
Max. virtual memory (cumulated for all children) (KiB): 10793244
Max. memory (cumulated for all children) (KiB): 94416
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.00781
system time used= 0.061714
maximum resident set size= 96784
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15188
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1410
involuntary context switches= 14
# summary of solver processes directly reported to runsolver:
# pid: 30414
# total CPU time (s): 3.06952
# total CPU user time (s): 3.00781
# total CPU system time (s): 0.061714
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.031916 second user time and 0.058512 second system time
The end