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 (10713 MiB free)
memory of node 1: 16384 MiB (9154 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4291467-1532243379/watcher-4291467-1532243379 -o /tmp/evaluation-result-4291467-1532243379/solver-4291467-1532243379 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532226532-29117 --watchdog 2560 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 350437571 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4291467-1532243379.xml
running on 4 cores: 1,3,5,7
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=31565, runsolver pid=31562
[startup+0.100122 s]*
/proc/loadavg: 3.22 2.23 1.88 4/215 31580
/proc/meminfo: memFree=20327104/32770624 swapFree=67108860/67108860
[pid=31565] ppid=31562 vsize=14082740 memory=32652 CPUtime=0.11 cores=1,3,5,7
/proc/31565/stat : 31565 (java) S 31562 31565 29085 0 -1 1077944320 7111 0 0 0 10 1 0 0 20 0 15 0 41901151 14420725760 8163 33554432000 4194304 4196468 140729201703824 140729201686368 140352300519159 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17149952 140729201710165 140729201710345 140729201710345 140729201713103 0
/proc/31565/statm: 3520685 8163 3142 1 0 3482761 0
[pid=31565/tid=31567] ppid=31562 vsize=14082740 memory=-8629632960754389117 CPUtime=0.09 cores=1,3,5,7
/proc/31565/task/31567/stat : 31567 (java) R 31562 31565 29085 0 -1 4202560 5168 0 0 0 8 1 0 0 20 0 15 0 41901151 14420725760 8163 33554432000 4194304 4196468 140729201703824 140352304722944 140352284599646 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17149952 140729201710165 140729201710345 140729201710345 140729201713103 0
[pid=31565/tid=31568] ppid=31562 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31565/task/31568/stat : 31568 (java) S 31562 31565 29085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41901152 14420725760 8163 33554432000 4194304 4196468 140729201703824 140352230607376 140352300529365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17149952 140729201710165 140729201710345 140729201710345 140729201713103 0
[pid=31565/tid=31569] ppid=31562 vsize=14082740 memory=140209912567424 CPUtime=0 cores=1,3,5,7
/proc/31565/task/31569/stat : 31569 (java) S 31562 31565 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41901152 14420725760 8163 33554432000 4194304 4196468 140729201703824 140352229554832 140352300529365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17149952 140729201710165 140729201710345 140729201710345 140729201713103 0
[pid=31565/tid=31570] ppid=31562 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31565/task/31570/stat : 31570 (java) S 31562 31565 29085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41901152 14420725760 8163 33554432000 4194304 4196468 140729201703824 140352228501776 140352300529365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17149952 140729201710165 140729201710345 140729201710345 140729201713103 0
[pid=31565/tid=31571] ppid=31562 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31565/task/31571/stat : 31571 (java) S 31562 31565 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41901152 14420725760 8163 33554432000 4194304 4196468 140729201703824 140352227449232 140352300529365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17149952 140729201710165 140729201710345 140729201710345 140729201713103 0
[pid=31565/tid=31572] ppid=31562 vsize=14082740 memory=140209912567424 CPUtime=0 cores=1,3,5,7
/proc/31565/task/31572/stat : 31572 (java) S 31562 31565 29085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41901153 14420725760 8163 33554432000 4194304 4196468 140729201703824 140351481871088 140352300530306 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17149952 140729201710165 140729201710345 140729201710345 140729201713103 0
[pid=31565/tid=31573] ppid=31562 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31565/task/31573/stat : 31573 (java) S 31562 31565 29085 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 41901154 14420725760 8163 33554432000 4194304 4196468 140729201703824 140351480817312 140352300529365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17149952 140729201710165 140729201710345 140729201710345 140729201713103 0
[pid=31565/tid=31574] ppid=31562 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31565/task/31574/stat : 31574 (java) S 31562 31565 29085 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 41901154 14420725760 8163 33554432000 4194304 4196468 140729201703824 140351479764208 140352300529365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17149952 140729201710165 140729201710345 140729201710345 140729201713103 0
[pid=31565/tid=31575] ppid=31562 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31565/task/31575/stat : 31575 (java) S 31562 31565 29085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41901156 14420725760 8163 33554432000 4194304 4196468 140729201703824 140351276837328 140352300537755 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17149952 140729201710165 140729201710345 140729201710345 140729201713103 0
[pid=31565/tid=31576] ppid=31562 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31565/task/31576/stat : 31576 (java) S 31562 31565 29085 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 15 0 41901156 14420725760 8163 33554432000 4194304 4196468 140729201703824 140351275784432 140352300530306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17149952 140729201710165 140729201710345 140729201710345 140729201713103 0
[pid=31565/tid=31577] ppid=31562 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31565/task/31577/stat : 31577 (java) S 31562 31565 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41901156 14420725760 8163 33554432000 4194304 4196468 140729201703824 140351274731888 140352300530306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17149952 140729201710165 140729201710345 140729201710345 140729201713103 0
[pid=31565/tid=31578] ppid=31562 vsize=14082740 memory=140209912567424 CPUtime=0.01 cores=1,3,5,7
/proc/31565/task/31578/stat : 31578 (java) R 31562 31565 29085 0 -1 4202560 257 0 0 0 1 0 0 0 20 0 15 0 41901156 14420725760 8163 33554432000 4194304 4196468 140729201703824 140351273678832 140352279219360 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17149952 140729201710165 140729201710345 140729201710345 140729201713103 0
[pid=31565/tid=31579] ppid=31562 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31565/task/31579/stat : 31579 (java) S 31562 31565 29085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41901156 14420725760 8163 33554432000 4194304 4196468 140729201703824 140351272626528 140352300529365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17149952 140729201710165 140729201710345 140729201710345 140729201713103 0
[pid=31565/tid=31580] ppid=31562 vsize=14082740 memory=140209912567424 CPUtime=0 cores=1,3,5,7
/proc/31565/task/31580/stat : 31580 (java) S 31562 31565 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41901157 14420725760 8163 33554432000 4194304 4196468 140729201703824 140351271574576 140352300530306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17149952 140729201710165 140729201710345 140729201710345 140729201713103 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 32652 KiB
[startup+0.217257 s]*
/proc/loadavg: 3.22 2.23 1.88 6/215 31580
/proc/meminfo: memFree=20310896/32770624 swapFree=67108860/67108860
[pid=31565] ppid=31562 vsize=14082740 memory=47068 CPUtime=0.33 cores=1,3,5,7
/proc/31565/stat : 31565 (java) S 31562 31565 29085 0 -1 1077944320 10419 0 0 0 31 2 0 0 20 0 15 0 41901151 14420725760 11767 33554432000 4194304 4196468 140729201703824 140729201686368 140352300519159 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17149952 140729201710165 140729201710345 140729201710345 140729201713103 0
/proc/31565/statm: 3520685 11767 3365 1 0 3482761 0
[pid=31565/tid=31567] ppid=31562 vsize=14082740 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/31565/task/31567/stat : 31567 (java) R 31562 31565 29085 0 -1 4202560 8099 0 0 0 19 1 0 0 20 0 15 0 41901151 14420725760 11767 33554432000 4194304 4196468 140729201703824 140352304749136 140352300541085 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17149952 140729201710165 140729201710345 140729201710345 140729201713103 0
[pid=31565/tid=31568] ppid=31562 vsize=14082740 memory=343 CPUtime=0 cores=1,3,5,7
/proc/31565/task/31568/stat : 31568 (java) S 31562 31565 29085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41901152 14420725760 11767 33554432000 4194304 4196468 140729201703824 140352230607376 140352300529365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17149952 140729201710165 140729201710345 140729201710345 140729201713103 0
[pid=31565/tid=31569] ppid=31562 vsize=14082740 memory=288370586064279168 CPUtime=0 cores=1,3,5,7
/proc/31565/task/31569/stat : 31569 (java) S 31562 31565 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41901152 14420725760 11767 33554432000 4194304 4196468 140729201703824 140352229554832 140352300529365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17149952 140729201710165 140729201710345 140729201710345 140729201713103 0
[pid=31565/tid=31570] ppid=31562 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31565/task/31570/stat : 31570 (java) S 31562 31565 29085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41901152 14420725760 11767 33554432000 4194304 4196468 140729201703824 140352228501776 140352300529365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17149952 140729201710165 140729201710345 140729201710345 140729201713103 0
[pid=31565/tid=31571] ppid=31562 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31565/task/31571/stat : 31571 (java) S 31562 31565 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41901152 14420725760 11767 33554432000 4194304 4196468 140729201703824 140352227449232 140352300529365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17149952 140729201710165 140729201710345 140729201710345 140729201713103 0
[pid=31565/tid=31572] ppid=31562 vsize=14082740 memory=140209912567424 CPUtime=0 cores=1,3,5,7
/proc/31565/task/31572/stat : 31572 (java) S 31562 31565 29085 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 41901153 14420725760 11767 33554432000 4194304 4196468 140729201703824 140351481871088 140352300530306 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17149952 140729201710165 140729201710345 140729201710345 140729201713103 0
[pid=31565/tid=31573] ppid=31562 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31565/task/31573/stat : 31573 (java) S 31562 31565 29085 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 41901154 14420725760 11767 33554432000 4194304 4196468 140729201703824 140351480817312 140352300529365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17149952 140729201710165 140729201710345 140729201710345 140729201713103 0
[pid=31565/tid=31574] ppid=31562 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31565/task/31574/stat : 31574 (java) S 31562 31565 29085 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 41901154 14420725760 11767 33554432000 4194304 4196468 140729201703824 140351479764208 140352300529365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17149952 140729201710165 140729201710345 140729201710345 140729201713103 0
[pid=31565/tid=31575] ppid=31562 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31565/task/31575/stat : 31575 (java) S 31562 31565 29085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41901156 14420725760 11767 33554432000 4194304 4196468 140729201703824 140351276837328 140352300537755 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17149952 140729201710165 140729201710345 140729201710345 140729201713103 0
[pid=31565/tid=31576] ppid=31562 vsize=14082740 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/31565/task/31576/stat : 31576 (java) S 31562 31565 29085 0 -1 1077944384 462 0 0 0 1 0 0 0 20 0 15 0 41901156 14420725760 11767 33554432000 4194304 4196468 140729201703824 140351275784432 140352300530306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17149952 140729201710165 140729201710345 140729201710345 140729201713103 0
[pid=31565/tid=31577] ppid=31562 vsize=14082740 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/31565/task/31577/stat : 31577 (java) S 31562 31565 29085 0 -1 1077944384 158 0 0 0 2 0 0 0 20 0 15 0 41901156 14420725760 11767 33554432000 4194304 4196468 140729201703824 140351274731888 140352300530306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17149952 140729201710165 140729201710345 140729201710345 140729201713103 0
[pid=31565/tid=31578] ppid=31562 vsize=14082740 memory=140209912567424 CPUtime=0.06 cores=1,3,5,7
/proc/31565/task/31578/stat : 31578 (java) R 31562 31565 29085 0 -1 4202560 317 0 0 0 6 0 0 0 20 0 15 0 41901156 14420725760 11767 33554432000 4194304 4196468 140729201703824 140351273678832 140352279457412 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17149952 140729201710165 140729201710345 140729201710345 140729201713103 0
[pid=31565/tid=31579] ppid=31562 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31565/task/31579/stat : 31579 (java) S 31562 31565 29085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41901156 14420725760 11767 33554432000 4194304 4196468 140729201703824 140351272626528 140352300529365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17149952 140729201710165 140729201710345 140729201710345 140729201713103 0
[pid=31565/tid=31580] ppid=31562 vsize=14082740 memory=140209912567424 CPUtime=0 cores=1,3,5,7
/proc/31565/task/31580/stat : 31580 (java) S 31562 31565 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41901157 14420725760 11767 33554432000 4194304 4196468 140729201703824 140351271574576 140352300530306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17149952 140729201710165 140729201710345 140729201710345 140729201713103 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 47068 KiB
[startup+0.310521 s]*
/proc/loadavg: 3.22 2.23 1.88 3/215 31580
/proc/meminfo: memFree=20307732/32770624 swapFree=67108860/67108860
[pid=31565] ppid=31562 vsize=14082740 memory=50280 CPUtime=0.43 cores=1,3,5,7
/proc/31565/stat : 31565 (java) S 31562 31565 29085 0 -1 1077944320 10736 0 0 0 41 2 0 0 20 0 15 0 41901151 14420725760 12570 33554432000 4194304 4196468 140729201703824 140729201686368 140352300519159 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17149952 140729201710165 140729201710345 140729201710345 140729201713103 0
/proc/31565/statm: 3520685 12570 3367 1 0 3482761 0
[pid=31565/tid=31567] ppid=31562 vsize=14082740 memory=7311146985107750967 CPUtime=0.3 cores=1,3,5,7
/proc/31565/task/31567/stat : 31567 (java) R 31562 31565 29085 0 -1 4202560 8405 0 0 0 28 2 0 0 20 0 15 0 41901151 14420725760 12570 33554432000 4194304 4196468 140729201703824 140352304700368 140352284599646 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17149952 140729201710165 140729201710345 140729201710345 140729201713103 0
[pid=31565/tid=31568] ppid=31562 vsize=14082740 memory=288230609002954775 CPUtime=0 cores=1,3,5,7
/proc/31565/task/31568/stat : 31568 (java) S 31562 31565 29085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41901152 14420725760 12570 33554432000 4194304 4196468 140729201703824 140352230607376 140352300529365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17149952 140729201710165 140729201710345 140729201710345 140729201713103 0
[pid=31565/tid=31569] ppid=31562 vsize=14082740 memory=288370586064279168 CPUtime=0 cores=1,3,5,7
/proc/31565/task/31569/stat : 31569 (java) S 31562 31565 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41901152 14420725760 12570 33554432000 4194304 4196468 140729201703824 140352229554832 140352300529365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17149952 140729201710165 140729201710345 140729201710345 140729201713103 0
[pid=31565/tid=31570] ppid=31562 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31565/task/31570/stat : 31570 (java) S 31562 31565 29085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41901152 14420725760 12570 33554432000 4194304 4196468 140729201703824 140352228501776 140352300529365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17149952 140729201710165 140729201710345 140729201710345 140729201713103 0
[pid=31565/tid=31571] ppid=31562 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31565/task/31571/stat : 31571 (java) S 31562 31565 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41901152 14420725760 12570 33554432000 4194304 4196468 140729201703824 140352227449232 140352300529365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17149952 140729201710165 140729201710345 140729201710345 140729201713103 0
[pid=31565/tid=31572] ppid=31562 vsize=14082740 memory=140209912567424 CPUtime=0 cores=1,3,5,7
/proc/31565/task/31572/stat : 31572 (java) S 31562 31565 29085 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 41901153 14420725760 12570 33554432000 4194304 4196468 140729201703824 140351481871088 140352300530306 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17149952 140729201710165 140729201710345 140729201710345 140729201713103 0
[pid=31565/tid=31573] ppid=31562 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31565/task/31573/stat : 31573 (java) S 31562 31565 29085 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 41901154 14420725760 12570 33554432000 4194304 4196468 140729201703824 140351480817312 140352300529365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17149952 140729201710165 140729201710345 140729201710345 140729201713103 0
[pid=31565/tid=31574] ppid=31562 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31565/task/31574/stat : 31574 (java) S 31562 31565 29085 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 41901154 14420725760 12570 33554432000 4194304 4196468 140729201703824 140351479764208 140352300529365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17149952 140729201710165 140729201710345 140729201710345 140729201713103 0
[pid=31565/tid=31575] ppid=31562 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31565/task/31575/stat : 31575 (java) S 31562 31565 29085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41901156 14420725760 12570 33554432000 4194304 4196468 140729201703824 140351276837328 140352300537755 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17149952 140729201710165 140729201710345 140729201710345 140729201713103 0
[pid=31565/tid=31576] ppid=31562 vsize=14082740 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/31565/task/31576/stat : 31576 (java) R 31562 31565 29085 0 -1 1077944384 462 0 0 0 2 0 0 0 20 0 15 0 41901156 14420725760 12570 33554432000 4194304 4196468 140729201703824 140351275784432 140352300530306 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17149952 140729201710165 140729201710345 140729201710345 140729201713103 0
[pid=31565/tid=31577] ppid=31562 vsize=14082740 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/31565/task/31577/stat : 31577 (java) S 31562 31565 29085 0 -1 1077944384 158 0 0 0 2 0 0 0 20 0 15 0 41901156 14420725760 12570 33554432000 4194304 4196468 140729201703824 140351274731888 140352300530306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17149952 140729201710165 140729201710345 140729201710345 140729201713103 0
[pid=31565/tid=31578] ppid=31562 vsize=14082740 memory=140209912567424 CPUtime=0.08 cores=1,3,5,7
/proc/31565/task/31578/stat : 31578 (java) R 31562 31565 29085 0 -1 4202560 328 0 0 0 8 0 0 0 20 0 15 0 41901156 14420725760 12570 33554432000 4194304 4196468 140729201703824 140351273678832 140352279017218 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17149952 140729201710165 140729201710345 140729201710345 140729201713103 0
[pid=31565/tid=31579] ppid=31562 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31565/task/31579/stat : 31579 (java) S 31562 31565 29085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41901156 14420725760 12570 33554432000 4194304 4196468 140729201703824 140351272626528 140352300529365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17149952 140729201710165 140729201710345 140729201710345 140729201713103 0
[pid=31565/tid=31580] ppid=31562 vsize=14082740 memory=140209912567424 CPUtime=0 cores=1,3,5,7
/proc/31565/task/31580/stat : 31580 (java) S 31562 31565 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41901157 14420725760 12570 33554432000 4194304 4196468 140729201703824 140351271574576 140352300530306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17149952 140729201710165 140729201710345 140729201710345 140729201713103 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 50280 KiB
[startup+0.700739 s]
/proc/loadavg: 3.22 2.23 1.88 3/215 31580
/proc/meminfo: memFree=20283176/32770624 swapFree=67108860/67108860
[pid=31565] ppid=31562 vsize=14084808 memory=88820 CPUtime=0.99 cores=1,3,5,7
/proc/31565/stat : 31565 (java) S 31562 31565 29085 0 -1 1077944320 17614 0 0 0 94 5 0 0 20 0 15 0 41901151 14422843392 22205 33554432000 4194304 4196468 140729201703824 140729201686368 140352300519159 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17149952 140729201710165 140729201710345 140729201710345 140729201713103 0
/proc/31565/statm: 3521202 22205 3488 1 0 3483273 0
[pid=31565/tid=31567] ppid=31562 vsize=14084808 memory=1728 CPUtime=0.68 cores=1,3,5,7
/proc/31565/task/31567/stat : 31567 (java) R 31562 31565 29085 0 -1 4202560 14857 0 0 0 64 4 0 0 20 0 15 0 41901151 14422843392 22205 33554432000 4194304 4196468 140729201703824 140352304747936 140352300541085 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17149952 140729201710165 140729201710345 140729201710345 140729201713103 0
[pid=31565/tid=31568] ppid=31562 vsize=14084808 memory=1004 CPUtime=0 cores=1,3,5,7
/proc/31565/task/31568/stat : 31568 (java) S 31562 31565 29085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41901152 14422843392 22205 33554432000 4194304 4196468 140729201703824 140352230607376 140352300529365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17149952 140729201710165 140729201710345 140729201710345 140729201713103 0
[pid=31565/tid=31569] ppid=31562 vsize=14084808 memory=11956 CPUtime=0 cores=1,3,5,7
/proc/31565/task/31569/stat : 31569 (java) S 31562 31565 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41901152 14422843392 22205 33554432000 4194304 4196468 140729201703824 140352229554832 140352300529365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17149952 140729201710165 140729201710345 140729201710345 140729201713103 0
[pid=31565/tid=31570] ppid=31562 vsize=14084808 memory=5520 CPUtime=0 cores=1,3,5,7
/proc/31565/task/31570/stat : 31570 (java) S 31562 31565 29085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41901152 14422843392 22205 33554432000 4194304 4196468 140729201703824 140352228501776 140352300529365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17149952 140729201710165 140729201710345 140729201710345 140729201713103 0
[pid=31565/tid=31571] ppid=31562 vsize=14084808 memory=792 CPUtime=0 cores=1,3,5,7
/proc/31565/task/31571/stat : 31571 (java) S 31562 31565 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41901152 14422843392 22205 33554432000 4194304 4196468 140729201703824 140352227449232 140352300529365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17149952 140729201710165 140729201710345 140729201710345 140729201713103 0
[pid=31565/tid=31572] ppid=31562 vsize=14084808 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/31565/task/31572/stat : 31572 (java) S 31562 31565 29085 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 41901153 14422843392 22205 33554432000 4194304 4196468 140729201703824 140351481871088 140352300530306 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17149952 140729201710165 140729201710345 140729201710345 140729201713103 0
[pid=31565/tid=31573] ppid=31562 vsize=14084808 memory=1944 CPUtime=0 cores=1,3,5,7
/proc/31565/task/31573/stat : 31573 (java) S 31562 31565 29085 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 41901154 14422843392 22205 33554432000 4194304 4196468 140729201703824 140351480817312 140352300529365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17149952 140729201710165 140729201710345 140729201710345 140729201713103 0
[pid=31565/tid=31574] ppid=31562 vsize=14084808 memory=1424 CPUtime=0 cores=1,3,5,7
/proc/31565/task/31574/stat : 31574 (java) S 31562 31565 29085 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 41901154 14422843392 22205 33554432000 4194304 4196468 140729201703824 140351479764208 140352300529365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17149952 140729201710165 140729201710345 140729201710345 140729201713103 0
[pid=31565/tid=31575] ppid=31562 vsize=14084808 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/31565/task/31575/stat : 31575 (java) S 31562 31565 29085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41901156 14422843392 22205 33554432000 4194304 4196468 140729201703824 140351276837328 140352300537755 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17149952 140729201710165 140729201710345 140729201710345 140729201713103 0
[pid=31565/tid=31576] ppid=31562 vsize=14084808 memory=7163631965283378496 CPUtime=0.05 cores=1,3,5,7
/proc/31565/task/31576/stat : 31576 (java) S 31562 31565 29085 0 -1 1077944384 611 0 0 0 5 0 0 0 20 0 15 0 41901156 14422843392 22205 33554432000 4194304 4196468 140729201703824 140351275784432 140352300530306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17149952 140729201710165 140729201710345 140729201710345 140729201713103 0
[pid=31565/tid=31577] ppid=31562 vsize=14084808 memory=6083353102074538087 CPUtime=0.09 cores=1,3,5,7
/proc/31565/task/31577/stat : 31577 (java) S 31562 31565 29085 0 -1 1077944384 318 0 0 0 9 0 0 0 20 0 15 0 41901156 14422843392 22205 33554432000 4194304 4196468 140729201703824 140351274731888 140352300530306 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17149952 140729201710165 140729201710345 140729201710345 140729201713103 0
[pid=31565/tid=31578] ppid=31562 vsize=14084808 memory=7368003688827211856 CPUtime=0.15 cores=1,3,5,7
/proc/31565/task/31578/stat : 31578 (java) S 31562 31565 29085 0 -1 1077944384 447 0 0 0 15 0 0 0 20 0 15 0 41901156 14422843392 22205 33554432000 4194304 4196468 140729201703824 140351273678832 140352300530306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17149952 140729201710165 140729201710345 140729201710345 140729201713103 0
[pid=31565/tid=31579] ppid=31562 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31565/task/31579/stat : 31579 (java) S 31562 31565 29085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41901156 14422843392 22205 33554432000 4194304 4196468 140729201703824 140351272626528 140352300529365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17149952 140729201710165 140729201710345 140729201710345 140729201713103 0
[pid=31565/tid=31580] ppid=31562 vsize=14084808 memory=31396 CPUtime=0 cores=1,3,5,7
/proc/31565/task/31580/stat : 31580 (java) S 31562 31565 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41901157 14422843392 22205 33554432000 4194304 4196468 140729201703824 140351271574576 140352300530306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17149952 140729201710165 140729201710345 140729201710345 140729201713103 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084808 KiB
Current children cumulated memory: 88820 KiB
[startup+1.31961 s]
# the end of solver process 31565 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2.58586 s, system=0.088991 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.802575 s]
/proc/loadavg: 3.22 2.23 1.88 3/215 31580
/proc/meminfo: memFree=20283176/32770624 swapFree=67108860/67108860
[pid=31565] ppid=31562 vsize=14086856 memory=95428 CPUtime=1.23 cores=1,3,5,7
/proc/31565/stat : 31565 (java) S 31562 31565 29085 0 -1 1077944320 18142 0 0 0 118 5 0 0 20 0 15 0 41901151 14424940544 23857 33554432000 4194304 4196468 140729201703824 140729201686368 140352300519159 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17149952 140729201710165 140729201710345 140729201710345 140729201713103 0
/proc/31565/statm: 3521714 23857 3511 1 0 3483785 0
[pid=31565/tid=31567] ppid=31562 vsize=14086856 memory=8243114992657236055 CPUtime=0.78 cores=1,3,5,7
/proc/31565/task/31567/stat : 31567 (java) R 31562 31565 29085 0 -1 4202560 15188 0 0 0 74 4 0 0 20 0 15 0 41901151 14424940544 23857 33554432000 4194304 4196468 140729201703824 140352304752608 140352300531094 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17149952 140729201710165 140729201710345 140729201710345 140729201713103 0
[pid=31565/tid=31568] ppid=31562 vsize=14086856 memory=288285567387698088 CPUtime=0 cores=1,3,5,7
/proc/31565/task/31568/stat : 31568 (java) S 31562 31565 29085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41901152 14424940544 23857 33554432000 4194304 4196468 140729201703824 140352230607376 140352300529365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17149952 140729201710165 140729201710345 140729201710345 140729201713103 0
[pid=31565/tid=31569] ppid=31562 vsize=14086856 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31565/task/31569/stat : 31569 (java) S 31562 31565 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41901152 14424940544 23857 33554432000 4194304 4196468 140729201703824 140352229554832 140352300529365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17149952 140729201710165 140729201710345 140729201710345 140729201713103 0
[pid=31565/tid=31570] ppid=31562 vsize=14086856 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31565/task/31570/stat : 31570 (java) S 31562 31565 29085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41901152 14424940544 23857 33554432000 4194304 4196468 140729201703824 140352228501776 140352300529365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17149952 140729201710165 140729201710345 140729201710345 140729201713103 0
[pid=31565/tid=31571] ppid=31562 vsize=14086856 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31565/task/31571/stat : 31571 (java) S 31562 31565 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41901152 14424940544 23857 33554432000 4194304 4196468 140729201703824 140352227449232 140352300529365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17149952 140729201710165 140729201710345 140729201710345 140729201713103 0
[pid=31565/tid=31572] ppid=31562 vsize=14086856 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31565/task/31572/stat : 31572 (java) S 31562 31565 29085 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 41901153 14424940544 23857 33554432000 4194304 4196468 140729201703824 140351481871088 140352300530306 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17149952 140729201710165 140729201710345 140729201710345 140729201713103 0
[pid=31565/tid=31573] ppid=31562 vsize=14086856 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31565/task/31573/stat : 31573 (java) S 31562 31565 29085 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 41901154 14424940544 23857 33554432000 4194304 4196468 140729201703824 140351480817312 140352300529365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17149952 140729201710165 140729201710345 140729201710345 140729201713103 0
[pid=31565/tid=31574] ppid=31562 vsize=14086856 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31565/task/31574/stat : 31574 (java) S 31562 31565 29085 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 41901154 14424940544 23857 33554432000 4194304 4196468 140729201703824 140351479764208 140352300529365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17149952 140729201710165 140729201710345 140729201710345 140729201713103 0
[pid=31565/tid=31575] ppid=31562 vsize=14086856 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31565/task/31575/stat : 31575 (java) S 31562 31565 29085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41901156 14424940544 23857 33554432000 4194304 4196468 140729201703824 140351276837328 140352300537755 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17149952 140729201710165 140729201710345 140729201710345 140729201713103 0
[pid=31565/tid=31576] ppid=31562 vsize=14086856 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/31565/task/31576/stat : 31576 (java) R 31562 31565 29085 0 -1 4202560 636 0 0 0 9 0 0 0 20 0 15 0 41901156 14424940544 23857 33554432000 4194304 4196468 140729201703824 140351275784432 140352278113969 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17149952 140729201710165 140729201710345 140729201710345 140729201713103 0
[pid=31565/tid=31577] ppid=31562 vsize=14086856 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/31565/task/31577/stat : 31577 (java) R 31562 31565 29085 0 -1 1077944384 335 0 0 0 12 0 0 0 20 0 15 0 41901156 14424940544 23857 33554432000 4194304 4196468 140729201703824 140351274731888 140352300530306 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17149952 140729201710165 140729201710345 140729201710345 140729201713103 0
[pid=31565/tid=31578] ppid=31562 vsize=14086856 memory=0 CPUtime=0.21 cores=1,3,5,7
/proc/31565/task/31578/stat : 31578 (java) R 31562 31565 29085 0 -1 4202560 600 0 0 0 21 0 0 0 20 0 15 0 41901156 14424940544 23857 33554432000 4194304 4196468 140729201703824 140351273672720 140352292756286 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17149952 140729201710165 140729201710345 140729201710345 140729201713103 0
[pid=31565/tid=31579] ppid=31562 vsize=14086856 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31565/task/31579/stat : 31579 (java) S 31562 31565 29085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41901156 14424940544 23857 33554432000 4194304 4196468 140729201703824 140351272626528 140352300529365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17149952 140729201710165 140729201710345 140729201710345 140729201713103 0
[pid=31565/tid=31580] ppid=31562 vsize=14086856 memory=1200 CPUtime=0 cores=1,3,5,7
/proc/31565/task/31580/stat : 31580 (java) S 31562 31565 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41901157 14424940544 23857 33554432000 4194304 4196468 140729201703824 140351271574576 140352300530306 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17149952 140729201710165 140729201710345 140729201710345 140729201713103 0
Current children cumulated CPU time: 1.23 s
Current children cumulated vsize: 14086856 KiB
Current children cumulated memory: 95428 KiB
[startup+1.2028 s]
/proc/loadavg: 3.22 2.23 1.88 3/215 31580
/proc/meminfo: memFree=20243844/32770624 swapFree=67108860/67108860
[pid=31565] ppid=31562 vsize=14090952 memory=136560 CPUtime=2.31 cores=1,3,5,7
/proc/31565/stat : 31565 (java) S 31562 31565 29085 0 -1 1077944320 22927 0 0 0 224 7 0 0 20 0 15 0 41901151 14429134848 34140 33554432000 4194304 4196468 140729201703824 140729201686368 140352300519159 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17149952 140729201710165 140729201710345 140729201710345 140729201713103 0
/proc/31565/statm: 3522738 34140 3541 1 0 3484809 0
[pid=31565/tid=31567] ppid=31562 vsize=14090952 memory=0 CPUtime=1.17 cores=1,3,5,7
/proc/31565/task/31567/stat : 31567 (java) R 31562 31565 29085 0 -1 4202560 17789 0 0 0 112 5 0 0 20 0 15 0 41901151 14429134848 34140 33554432000 4194304 4196468 140729201703824 140352304754176 140352300531094 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17149952 140729201710165 140729201710345 140729201710345 140729201713103 0
[pid=31565/tid=31568] ppid=31562 vsize=14090952 memory=-7812193691855986592 CPUtime=0 cores=1,3,5,7
/proc/31565/task/31568/stat : 31568 (java) S 31562 31565 29085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41901152 14429134848 34140 33554432000 4194304 4196468 140729201703824 140352230607376 140352300529365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17149952 140729201710165 140729201710345 140729201710345 140729201713103 0
[pid=31565/tid=31569] ppid=31562 vsize=14090952 memory=-6873162000112450758 CPUtime=0 cores=1,3,5,7
/proc/31565/task/31569/stat : 31569 (java) S 31562 31565 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41901152 14429134848 34140 33554432000 4194304 4196468 140729201703824 140352229554832 140352300529365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17149952 140729201710165 140729201710345 140729201710345 140729201713103 0
[pid=31565/tid=31570] ppid=31562 vsize=14090952 memory=-7088785026379990432 CPUtime=0 cores=1,3,5,7
/proc/31565/task/31570/stat : 31570 (java) S 31562 31565 29085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41901152 14429134848 34140 33554432000 4194304 4196468 140729201703824 140352228501776 140352300529365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17149952 140729201710165 140729201710345 140729201710345 140729201713103 0
[pid=31565/tid=31571] ppid=31562 vsize=14090952 memory=-8990767739041718176 CPUtime=0 cores=1,3,5,7
/proc/31565/task/31571/stat : 31571 (java) S 31562 31565 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41901152 14429134848 34140 33554432000 4194304 4196468 140729201703824 140352227449232 140352300529365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17149952 140729201710165 140729201710345 140729201710345 140729201713103 0
[pid=31565/tid=31572] ppid=31562 vsize=14090952 memory=6944656425122700657 CPUtime=0 cores=1,3,5,7
/proc/31565/task/31572/stat : 31572 (java) S 31562 31565 29085 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 15 0 41901153 14429134848 34140 33554432000 4194304 4196468 140729201703824 140351481871088 140352300530306 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17149952 140729201710165 140729201710345 140729201710345 140729201713103 0
[pid=31565/tid=31573] ppid=31562 vsize=14090952 memory=-7673225154500992976 CPUtime=0 cores=1,3,5,7
/proc/31565/task/31573/stat : 31573 (java) S 31562 31565 29085 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 41901154 14429134848 34140 33554432000 4194304 4196468 140729201703824 140351480817312 140352300529365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17149952 140729201710165 140729201710345 140729201710345 140729201713103 0
[pid=31565/tid=31574] ppid=31562 vsize=14090952 memory=-6876588461455810464 CPUtime=0 cores=1,3,5,7
/proc/31565/task/31574/stat : 31574 (java) S 31562 31565 29085 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 41901154 14429134848 34140 33554432000 4194304 4196468 140729201703824 140351479764208 140352300529365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17149952 140729201710165 140729201710345 140729201710345 140729201713103 0
[pid=31565/tid=31575] ppid=31562 vsize=14090952 memory=8548279111395942476 CPUtime=0 cores=1,3,5,7
/proc/31565/task/31575/stat : 31575 (java) S 31562 31565 29085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41901156 14429134848 34140 33554432000 4194304 4196468 140729201703824 140351276837328 140352300537755 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17149952 140729201710165 140729201710345 140729201710345 140729201713103 0
[pid=31565/tid=31576] ppid=31562 vsize=14090952 memory=6944656575208382560 CPUtime=0.32 cores=1,3,5,7
/proc/31565/task/31576/stat : 31576 (java) R 31562 31565 29085 0 -1 1077944384 1299 0 0 0 32 0 0 0 20 0 15 0 41901156 14429134848 34140 33554432000 4194304 4196468 140729201703824 140351275771280 140352300529365 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17149952 140729201710165 140729201710345 140729201710345 140729201713103 0
[pid=31565/tid=31577] ppid=31562 vsize=14090952 memory=6944652177228980320 CPUtime=0.38 cores=1,3,5,7
/proc/31565/task/31577/stat : 31577 (java) R 31562 31565 29085 0 -1 4202560 1224 0 0 0 38 0 0 0 20 0 15 0 41901156 14429134848 34140 33554432000 4194304 4196468 140729201703824 140351274718432 140352284019324 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17149952 140729201710165 140729201710345 140729201710345 140729201713103 0
[pid=31565/tid=31578] ppid=31562 vsize=14090952 memory=6944656592455359580 CPUtime=0.4 cores=1,3,5,7
/proc/31565/task/31578/stat : 31578 (java) R 31562 31565 29085 0 -1 4202560 1193 0 0 0 40 0 0 0 20 0 15 0 41901156 14429134848 34140 33554432000 4194304 4196468 140729201703824 140351273678832 140352279448476 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17149952 140729201710165 140729201710345 140729201710345 140729201713103 0
[pid=31565/tid=31579] ppid=31562 vsize=14090952 memory=301741373374332954 CPUtime=0 cores=1,3,5,7
/proc/31565/task/31579/stat : 31579 (java) S 31562 31565 29085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41901156 14429134848 34140 33554432000 4194304 4196468 140729201703824 140351272626528 140352300529365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17149952 140729201710165 140729201710345 140729201710345 140729201713103 0
[pid=31565/tid=31580] ppid=31562 vsize=14090952 memory=301741420686082359 CPUtime=0 cores=1,3,5,7
/proc/31565/task/31580/stat : 31580 (java) S 31562 31565 29085 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 41901157 14429134848 34140 33554432000 4194304 4196468 140729201703824 140351271574576 140352300530306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17149952 140729201710165 140729201710345 140729201710345 140729201713103 0
Current children cumulated CPU time: 2.31 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 136560 KiB
[startup+1.3013 s]
/proc/loadavg: 3.22 2.23 1.88 3/215 31580
/proc/meminfo: memFree=20243844/32770624 swapFree=67108860/67108860
[pid=31565] ppid=31562 vsize=14090952 memory=150732 CPUtime=2.65 cores=1,3,5,7
/proc/31565/stat : 31565 (java) S 31562 31565 29085 0 -1 1077944320 24412 0 0 0 257 8 0 0 20 0 15 0 41901151 14429134848 37683 33554432000 4194304 4196468 140729201703824 140729201686368 140352300519159 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17149952 140729201710165 140729201710345 140729201710345 140729201713103 0
/proc/31565/statm: 3522738 37683 3548 1 0 3484809 0
[pid=31565/tid=31567] ppid=31562 vsize=14090952 memory=123088 CPUtime=1.27 cores=1,3,5,7
/proc/31565/task/31567/stat : 31567 (java) R 31562 31565 29085 0 -1 4202560 18654 0 0 0 121 6 0 0 20 0 15 0 41901151 14429134848 37683 33554432000 4194304 4196468 140729201703824 140352304755224 140352300531094 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17149952 140729201710165 140729201710345 140729201710345 140729201713103 0
[pid=31565/tid=31568] ppid=31562 vsize=14090952 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31565/task/31568/stat : 31568 (java) S 31562 31565 29085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41901152 14429134848 37683 33554432000 4194304 4196468 140729201703824 140352230607376 140352300529365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17149952 140729201710165 140729201710345 140729201710345 140729201713103 0
[pid=31565/tid=31569] ppid=31562 vsize=14090952 memory=-6951259422114956437 CPUtime=0 cores=1,3,5,7
/proc/31565/task/31569/stat : 31569 (java) S 31562 31565 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41901152 14429134848 37683 33554432000 4194304 4196468 140729201703824 140352229554832 140352300529365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17149952 140729201710165 140729201710345 140729201710345 140729201713103 0
[pid=31565/tid=31570] ppid=31562 vsize=14090952 memory=-6509546260019855295 CPUtime=0 cores=1,3,5,7
/proc/31565/task/31570/stat : 31570 (java) S 31562 31565 29085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41901152 14429134848 37683 33554432000 4194304 4196468 140729201703824 140352228501776 140352300529365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17149952 140729201710165 140729201710345 140729201710345 140729201713103 0
[pid=31565/tid=31571] ppid=31562 vsize=14090952 memory=-7390251449858225344 CPUtime=0 cores=1,3,5,7
/proc/31565/task/31571/stat : 31571 (java) S 31562 31565 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41901152 14429134848 37683 33554432000 4194304 4196468 140729201703824 140352227449232 140352300529365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17149952 140729201710165 140729201710345 140729201710345 140729201713103 0
[pid=31565/tid=31572] ppid=31562 vsize=14090952 memory=4134692831991786133 CPUtime=0 cores=1,3,5,7
/proc/31565/task/31572/stat : 31572 (java) S 31562 31565 29085 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 15 0 41901153 14429134848 37683 33554432000 4194304 4196468 140729201703824 140351481871088 140352300530306 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17149952 140729201710165 140729201710345 140729201710345 140729201713103 0
[pid=31565/tid=31573] ppid=31562 vsize=14090952 memory=-7165351541977658656 CPUtime=0 cores=1,3,5,7
/proc/31565/task/31573/stat : 31573 (java) S 31562 31565 29085 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 41901154 14429134848 37683 33554432000 4194304 4196468 140729201703824 140351480817312 140352300529365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17149952 140729201710165 140729201710345 140729201710345 140729201713103 0
[pid=31565/tid=31574] ppid=31562 vsize=14090952 memory=7738119205951926112 CPUtime=0 cores=1,3,5,7
/proc/31565/task/31574/stat : 31574 (java) S 31562 31565 29085 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 41901154 14429134848 37683 33554432000 4194304 4196468 140729201703824 140351479764208 140352300529365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17149952 140729201710165 140729201710345 140729201710345 140729201713103 0
[pid=31565/tid=31575] ppid=31562 vsize=14090952 memory=7447098269037253200 CPUtime=0 cores=1,3,5,7
/proc/31565/task/31575/stat : 31575 (java) S 31562 31565 29085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41901156 14429134848 37683 33554432000 4194304 4196468 140729201703824 140351276837328 140352300537755 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17149952 140729201710165 140729201710345 140729201710345 140729201713103 0
[pid=31565/tid=31576] ppid=31562 vsize=14090952 memory=7451894300419318880 CPUtime=0.42 cores=1,3,5,7
/proc/31565/task/31576/stat : 31576 (java) R 31562 31565 29085 0 -1 4202560 1530 0 0 0 42 0 0 0 20 0 15 0 41901156 14429134848 37683 33554432000 4194304 4196468 140729201703824 140351275770656 140352282047310 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17149952 140729201710165 140729201710345 140729201710345 140729201713103 0
[pid=31565/tid=31577] ppid=31562 vsize=14090952 memory=8298057918976610935 CPUtime=0.47 cores=1,3,5,7
/proc/31565/task/31577/stat : 31577 (java) R 31562 31565 29085 0 -1 4202560 1242 0 0 0 47 0 0 0 20 0 15 0 41901156 14429134848 37683 33554432000 4194304 4196468 140729201703824 140351274721808 140352282040235 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17149952 140729201710165 140729201710345 140729201710345 140729201713103 0
[pid=31565/tid=31578] ppid=31562 vsize=14090952 memory=0 CPUtime=0.45 cores=1,3,5,7
/proc/31565/task/31578/stat : 31578 (java) R 31562 31565 29085 0 -1 4202560 1565 0 0 0 44 1 0 0 20 0 15 0 41901156 14429134848 37683 33554432000 4194304 4196468 140729201703824 140351273678832 140352284562789 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17149952 140729201710165 140729201710345 140729201710345 140729201713103 0
[pid=31565/tid=31579] ppid=31562 vsize=14090952 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31565/task/31579/stat : 31579 (java) S 31562 31565 29085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41901156 14429134848 37683 33554432000 4194304 4196468 140729201703824 140351272626528 140352300529365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17149952 140729201710165 140729201710345 140729201710345 140729201713103 0
[pid=31565/tid=31580] ppid=31562 vsize=14090952 memory=280419623156032 CPUtime=0 cores=1,3,5,7
/proc/31565/task/31580/stat : 31580 (java) S 31562 31565 29085 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 41901157 14429134848 37683 33554432000 4194304 4196468 140729201703824 140351271574576 140352300530306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17149952 140729201710165 140729201710345 140729201710345 140729201713103 0
Current children cumulated CPU time: 2.65 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 150732 KiB
Child status: 0
Real time (s): 1.31965
CPU time (s): 2.67485
CPU user time (s): 2.58586
CPU system time (s): 0.088991
CPU usage (%): 202.694
Max. virtual memory (cumulated for all children) (KiB): 14090952
Max. memory (cumulated for all children) (KiB): 150732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.58586
system time used= 0.088991
maximum resident set size= 153160
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24485
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= 1989
involuntary context switches= 10
# summary of solver processes directly reported to runsolver:
# pid: 31565
# total CPU time (s): 2.67485
# total CPU user time (s): 2.58586
# total CPU system time (s): 0.088991
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.029881 second user time and 0.057586 second system time
The end