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 (6657 MiB free)
memory of node 1: 16384 MiB (10467 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4290570-1532615622/watcher-4290570-1532615622 -o /tmp/evaluation-result-4290570-1532615622/solver-4290570-1532615622 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node138-1532615622-5808 --watchdog 2560 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 1133191296 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4290570-1532615622.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
solver pid=5835, runsolver pid=5831
Current StackSize limit: 8192 KiB
[startup+0.100093 s]*
/proc/loadavg: 0.64 0.67 0.75 5/217 5868
/proc/meminfo: memFree=17500284/32770624 swapFree=67108796/67108860
[pid=5835] ppid=5831 vsize=14082740 memory=30632 CPUtime=0.12 cores=1,3,5,7
/proc/5835/stat : 5835 (java) S 5831 5835 32560 0 -1 1077944320 6567 0 0 0 10 2 0 0 20 0 15 0 79125389 14420725760 7658 33554432000 4194304 4196468 140729549685888 140729549668432 140122274963191 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 33619968 140729549694024 140729549694217 140729549694217 140729549696975 0
/proc/5835/statm: 3520685 7658 3155 1 0 3482761 0
[pid=5835/tid=5841] ppid=5831 vsize=14082740 memory=8326441112148417179 CPUtime=0.09 cores=1,3,5,7
/proc/5835/task/5841/stat : 5841 (java) R 5831 5835 32560 0 -1 4202560 4605 0 0 0 8 1 0 0 20 0 15 0 79125389 14420725760 7658 33554432000 4194304 4196468 140729549685888 140122279158528 140122274975126 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33619968 140729549694024 140729549694217 140729549694217 140729549696975 0
[pid=5835/tid=5843] ppid=5831 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5835/task/5843/stat : 5843 (java) S 5831 5835 32560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79125390 14420725760 7658 33554432000 4194304 4196468 140729549685888 140122235923216 140122274973397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33619968 140729549694024 140729549694217 140729549694217 140729549696975 0
[pid=5835/tid=5844] ppid=5831 vsize=14082740 memory=139912737339008 CPUtime=0 cores=1,3,5,7
/proc/5835/task/5844/stat : 5844 (java) S 5831 5835 32560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79125390 14420725760 7658 33554432000 4194304 4196468 140729549685888 140121869626256 140122274973397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33619968 140729549694024 140729549694217 140729549694217 140729549696975 0
[pid=5835/tid=5845] ppid=5831 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5835/task/5845/stat : 5845 (java) S 5831 5835 32560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79125390 14420725760 7658 33554432000 4194304 4196468 140729549685888 140121868573712 140122274973397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33619968 140729549694024 140729549694217 140729549694217 140729549696975 0
[pid=5835/tid=5846] ppid=5831 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5835/task/5846/stat : 5846 (java) S 5831 5835 32560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 79125390 14420725760 7658 33554432000 4194304 4196468 140729549685888 140121867521168 140122274973397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33619968 140729549694024 140729549694217 140729549694217 140729549696975 0
[pid=5835/tid=5851] ppid=5831 vsize=14082740 memory=139912737339008 CPUtime=0 cores=1,3,5,7
/proc/5835/task/5851/stat : 5851 (java) S 5831 5835 32560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 79125392 14420725760 7658 33554432000 4194304 4196468 140729549685888 140121188009968 140122274974338 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33619968 140729549694024 140729549694217 140729549694217 140729549696975 0
[pid=5835/tid=5853] ppid=5831 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5835/task/5853/stat : 5853 (java) S 5831 5835 32560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 79125392 14420725760 7658 33554432000 4194304 4196468 140729549685888 140121186956192 140122274973397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33619968 140729549694024 140729549694217 140729549694217 140729549696975 0
[pid=5835/tid=5855] ppid=5831 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5835/task/5855/stat : 5855 (java) S 5831 5835 32560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 79125392 14420725760 7658 33554432000 4194304 4196468 140729549685888 140121185903600 140122274973397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33619968 140729549694024 140729549694217 140729549694217 140729549696975 0
[pid=5835/tid=5857] ppid=5831 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5835/task/5857/stat : 5857 (java) S 5831 5835 32560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 79125395 14420725760 7658 33554432000 4194304 4196468 140729549685888 140121184852176 140122274981787 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33619968 140729549694024 140729549694217 140729549694217 140729549696975 0
[pid=5835/tid=5858] ppid=5831 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5835/task/5858/stat : 5858 (java) S 5831 5835 32560 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 79125395 14420725760 7658 33554432000 4194304 4196468 140729549685888 140121183799792 140122274974338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33619968 140729549694024 140729549694217 140729549694217 140729549696975 0
[pid=5835/tid=5859] ppid=5831 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5835/task/5859/stat : 5859 (java) S 5831 5835 32560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 79125395 14420725760 7658 33554432000 4194304 4196468 140729549685888 140121182747248 140122274974338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33619968 140729549694024 140729549694217 140729549694217 140729549696975 0
[pid=5835/tid=5860] ppid=5831 vsize=14082740 memory=139912737339008 CPUtime=0.01 cores=1,3,5,7
/proc/5835/task/5860/stat : 5860 (java) S 5831 5835 32560 0 -1 1077944384 282 0 0 0 1 0 0 0 20 0 15 0 79125395 14420725760 7658 33554432000 4194304 4196468 140729549685888 140121181694704 140122274974338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33619968 140729549694024 140729549694217 140729549694217 140729549696975 0
[pid=5835/tid=5865] ppid=5831 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5835/task/5865/stat : 5865 (java) S 5831 5835 32560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 79125395 14420725760 7658 33554432000 4194304 4196468 140729549685888 140121180642400 140122274973397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33619968 140729549694024 140729549694217 140729549694217 140729549696975 0
[pid=5835/tid=5867] ppid=5831 vsize=14082740 memory=139912737339008 CPUtime=0 cores=1,3,5,7
/proc/5835/task/5867/stat : 5867 (java) S 5831 5835 32560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79125395 14420725760 7658 33554432000 4194304 4196468 140729549685888 140121179588912 140122274974338 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33619968 140729549694024 140729549694217 140729549694217 140729549696975 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 30632 KiB
[startup+0.210538 s]*
/proc/loadavg: 0.64 0.67 0.75 8/217 5868
/proc/meminfo: memFree=17468284/32770624 swapFree=67108796/67108860
[pid=5835] ppid=5831 vsize=14082740 memory=47024 CPUtime=0.3 cores=1,3,5,7
/proc/5835/stat : 5835 (java) S 5831 5835 32560 0 -1 1077944320 10406 0 0 0 28 2 0 0 20 0 15 0 79125389 14420725760 11756 33554432000 4194304 4196468 140729549685888 140729549668432 140122274963191 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 33619968 140729549694024 140729549694217 140729549694217 140729549696975 0
/proc/5835/statm: 3520685 11756 3369 1 0 3482761 0
[pid=5835/tid=5841] ppid=5831 vsize=14082740 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/5835/task/5841/stat : 5841 (java) R 5831 5835 32560 0 -1 4202560 8097 0 0 0 18 1 0 0 20 0 15 0 79125389 14420725760 11756 33554432000 4194304 4196468 140729549685888 140122279192160 140122259043678 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33619968 140729549694024 140729549694217 140729549694217 140729549696975 0
[pid=5835/tid=5843] ppid=5831 vsize=14082740 memory=343 CPUtime=0 cores=1,3,5,7
/proc/5835/task/5843/stat : 5843 (java) S 5831 5835 32560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79125390 14420725760 11756 33554432000 4194304 4196468 140729549685888 140122235923216 140122274973397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33619968 140729549694024 140729549694217 140729549694217 140729549696975 0
[pid=5835/tid=5844] ppid=5831 vsize=14082740 memory=139912737355741 CPUtime=0 cores=1,3,5,7
/proc/5835/task/5844/stat : 5844 (java) S 5831 5835 32560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79125390 14420725760 11756 33554432000 4194304 4196468 140729549685888 140121869626256 140122274973397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33619968 140729549694024 140729549694217 140729549694217 140729549696975 0
[pid=5835/tid=5845] ppid=5831 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5835/task/5845/stat : 5845 (java) S 5831 5835 32560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79125390 14420725760 11756 33554432000 4194304 4196468 140729549685888 140121868573712 140122274973397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33619968 140729549694024 140729549694217 140729549694217 140729549696975 0
[pid=5835/tid=5846] ppid=5831 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5835/task/5846/stat : 5846 (java) S 5831 5835 32560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 79125390 14420725760 11756 33554432000 4194304 4196468 140729549685888 140121867521168 140122274973397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33619968 140729549694024 140729549694217 140729549694217 140729549696975 0
[pid=5835/tid=5851] ppid=5831 vsize=14082740 memory=139912737339008 CPUtime=0 cores=1,3,5,7
/proc/5835/task/5851/stat : 5851 (java) S 5831 5835 32560 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 79125392 14420725760 11756 33554432000 4194304 4196468 140729549685888 140121188009968 140122274974338 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33619968 140729549694024 140729549694217 140729549694217 140729549696975 0
[pid=5835/tid=5853] ppid=5831 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5835/task/5853/stat : 5853 (java) S 5831 5835 32560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 79125392 14420725760 11756 33554432000 4194304 4196468 140729549685888 140121186956192 140122274973397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33619968 140729549694024 140729549694217 140729549694217 140729549696975 0
[pid=5835/tid=5855] ppid=5831 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5835/task/5855/stat : 5855 (java) S 5831 5835 32560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 79125392 14420725760 11756 33554432000 4194304 4196468 140729549685888 140121185903600 140122274973397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33619968 140729549694024 140729549694217 140729549694217 140729549696975 0
[pid=5835/tid=5857] ppid=5831 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5835/task/5857/stat : 5857 (java) S 5831 5835 32560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 79125395 14420725760 11756 33554432000 4194304 4196468 140729549685888 140121184852176 140122274981787 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33619968 140729549694024 140729549694217 140729549694217 140729549696975 0
[pid=5835/tid=5858] ppid=5831 vsize=14082740 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/5835/task/5858/stat : 5858 (java) R 5831 5835 32560 0 -1 4202560 354 0 0 0 1 0 0 0 20 0 15 0 79125395 14420725760 11756 33554432000 4194304 4196468 140729549685888 140121183791296 140122259355004 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33619968 140729549694024 140729549694217 140729549694217 140729549696975 0
[pid=5835/tid=5859] ppid=5831 vsize=14082740 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/5835/task/5859/stat : 5859 (java) S 5831 5835 32560 0 -1 1077944384 255 0 0 0 1 0 0 0 20 0 15 0 79125395 14420725760 11756 33554432000 4194304 4196468 140729549685888 140121182747248 140122274974338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33619968 140729549694024 140729549694217 140729549694217 140729549696975 0
[pid=5835/tid=5860] ppid=5831 vsize=14082740 memory=139912737339008 CPUtime=0.05 cores=1,3,5,7
/proc/5835/task/5860/stat : 5860 (java) R 5831 5835 32560 0 -1 4202560 328 0 0 0 5 0 0 0 20 0 15 0 79125395 14420725760 11756 33554432000 4194304 4196468 140729549685888 140121181691640 140122253626769 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33619968 140729549694024 140729549694217 140729549694217 140729549696975 0
[pid=5835/tid=5865] ppid=5831 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5835/task/5865/stat : 5865 (java) S 5831 5835 32560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 79125395 14420725760 11756 33554432000 4194304 4196468 140729549685888 140121180642400 140122274973397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33619968 140729549694024 140729549694217 140729549694217 140729549696975 0
[pid=5835/tid=5867] ppid=5831 vsize=14082740 memory=139912737339008 CPUtime=0 cores=1,3,5,7
/proc/5835/task/5867/stat : 5867 (java) S 5831 5835 32560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79125395 14420725760 11756 33554432000 4194304 4196468 140729549685888 140121179588912 140122274974338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33619968 140729549694024 140729549694217 140729549694217 140729549696975 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 47024 KiB
[startup+0.31051 s]*
/proc/loadavg: 0.64 0.67 0.75 3/217 5868
/proc/meminfo: memFree=17461460/32770624 swapFree=67108796/67108860
[pid=5835] ppid=5831 vsize=14082740 memory=50788 CPUtime=0.44 cores=1,3,5,7
/proc/5835/stat : 5835 (java) S 5831 5835 32560 0 -1 1077944320 10815 0 0 0 42 2 0 0 20 0 15 0 79125389 14420725760 12697 33554432000 4194304 4196468 140729549685888 140729549668432 140122274963191 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 33619968 140729549694024 140729549694217 140729549694217 140729549696975 0
/proc/5835/statm: 3520685 12697 3384 1 0 3482761 0
[pid=5835/tid=5841] ppid=5831 vsize=14082740 memory=0 CPUtime=0.29 cores=1,3,5,7
/proc/5835/task/5841/stat : 5841 (java) R 5831 5835 32560 0 -1 4202560 8464 0 0 0 28 1 0 0 20 0 15 0 79125389 14420725760 12697 33554432000 4194304 4196468 140729549685888 140122279171024 140122256526747 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33619968 140729549694024 140729549694217 140729549694217 140729549696975 0
[pid=5835/tid=5843] ppid=5831 vsize=14082740 memory=35 CPUtime=0 cores=1,3,5,7
/proc/5835/task/5843/stat : 5843 (java) S 5831 5835 32560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79125390 14420725760 12697 33554432000 4194304 4196468 140729549685888 140122235923216 140122274973397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33619968 140729549694024 140729549694217 140729549694217 140729549696975 0
[pid=5835/tid=5844] ppid=5831 vsize=14082740 memory=139912737394720 CPUtime=0 cores=1,3,5,7
/proc/5835/task/5844/stat : 5844 (java) S 5831 5835 32560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79125390 14420725760 12697 33554432000 4194304 4196468 140729549685888 140121869626256 140122274973397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33619968 140729549694024 140729549694217 140729549694217 140729549696975 0
[pid=5835/tid=5845] ppid=5831 vsize=14082740 memory=58084 CPUtime=0 cores=1,3,5,7
/proc/5835/task/5845/stat : 5845 (java) S 5831 5835 32560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79125390 14420725760 12697 33554432000 4194304 4196468 140729549685888 140121868573712 140122274973397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33619968 140729549694024 140729549694217 140729549694217 140729549696975 0
[pid=5835/tid=5846] ppid=5831 vsize=14082740 memory=35 CPUtime=0 cores=1,3,5,7
/proc/5835/task/5846/stat : 5846 (java) S 5831 5835 32560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 79125390 14420725760 12697 33554432000 4194304 4196468 140729549685888 140121867521168 140122274973397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33619968 140729549694024 140729549694217 140729549694217 140729549696975 0
[pid=5835/tid=5851] ppid=5831 vsize=14082740 memory=139912737401632 CPUtime=0 cores=1,3,5,7
/proc/5835/task/5851/stat : 5851 (java) S 5831 5835 32560 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 79125392 14420725760 12697 33554432000 4194304 4196468 140729549685888 140121188009968 140122274974338 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33619968 140729549694024 140729549694217 140729549694217 140729549696975 0
[pid=5835/tid=5853] ppid=5831 vsize=14082740 memory=35 CPUtime=0 cores=1,3,5,7
/proc/5835/task/5853/stat : 5853 (java) S 5831 5835 32560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 79125392 14420725760 12697 33554432000 4194304 4196468 140729549685888 140121186956192 140122274973397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33619968 140729549694024 140729549694217 140729549694217 140729549696975 0
[pid=5835/tid=5855] ppid=5831 vsize=14082740 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/5835/task/5855/stat : 5855 (java) S 5831 5835 32560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 79125392 14420725760 12697 33554432000 4194304 4196468 140729549685888 140121185903600 140122274973397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33619968 140729549694024 140729549694217 140729549694217 140729549696975 0
[pid=5835/tid=5857] ppid=5831 vsize=14082740 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/5835/task/5857/stat : 5857 (java) S 5831 5835 32560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 79125395 14420725760 12697 33554432000 4194304 4196468 140729549685888 140121184852176 140122274981787 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33619968 140729549694024 140729549694217 140729549694217 140729549696975 0
[pid=5835/tid=5858] ppid=5831 vsize=14082740 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/5835/task/5858/stat : 5858 (java) S 5831 5835 32560 0 -1 1077944384 360 0 0 0 2 0 0 0 20 0 15 0 79125395 14420725760 12697 33554432000 4194304 4196468 140729549685888 140121183799792 140122274974338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33619968 140729549694024 140729549694217 140729549694217 140729549696975 0
[pid=5835/tid=5859] ppid=5831 vsize=14082740 memory=139912586326479 CPUtime=0.02 cores=1,3,5,7
/proc/5835/task/5859/stat : 5859 (java) S 5831 5835 32560 0 -1 1077944384 261 0 0 0 2 0 0 0 20 0 15 0 79125395 14420725760 12697 33554432000 4194304 4196468 140729549685888 140121182747248 140122274974338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33619968 140729549694024 140729549694217 140729549694217 140729549696975 0
[pid=5835/tid=5860] ppid=5831 vsize=14082740 memory=139912737344838 CPUtime=0.08 cores=1,3,5,7
/proc/5835/task/5860/stat : 5860 (java) S 5831 5835 32560 0 -1 1077944384 347 0 0 0 8 0 0 0 20 0 15 0 79125395 14420725760 12697 33554432000 4194304 4196468 140729549685888 140121181694704 140122274974338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33619968 140729549694024 140729549694217 140729549694217 140729549696975 0
[pid=5835/tid=5865] ppid=5831 vsize=14082740 memory=139912586319631 CPUtime=0 cores=1,3,5,7
/proc/5835/task/5865/stat : 5865 (java) S 5831 5835 32560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 79125395 14420725760 12697 33554432000 4194304 4196468 140729549685888 140121180642400 140122274973397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33619968 140729549694024 140729549694217 140729549694217 140729549696975 0
[pid=5835/tid=5867] ppid=5831 vsize=14082740 memory=279825323677632 CPUtime=0 cores=1,3,5,7
/proc/5835/task/5867/stat : 5867 (java) S 5831 5835 32560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79125395 14420725760 12697 33554432000 4194304 4196468 140729549685888 140121179588912 140122274974338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33619968 140729549694024 140729549694217 140729549694217 140729549696975 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 50788 KiB
[startup+0.700746 s]
/proc/loadavg: 0.64 0.67 0.75 3/217 5868
/proc/meminfo: memFree=17414852/32770624 swapFree=67108796/67108860
[pid=5835] ppid=5831 vsize=14084808 memory=86028 CPUtime=0.92 cores=1,3,5,7
/proc/5835/stat : 5835 (java) S 5831 5835 32560 0 -1 1077944320 17348 0 0 0 87 5 0 0 20 0 15 0 79125389 14422843392 21507 33554432000 4194304 4196468 140729549685888 140729549668432 140122274963191 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 33619968 140729549694024 140729549694217 140729549694217 140729549696975 0
/proc/5835/statm: 3521202 21507 3499 1 0 3483273 0
[pid=5835/tid=5841] ppid=5831 vsize=14084808 memory=0 CPUtime=0.63 cores=1,3,5,7
/proc/5835/task/5841/stat : 5841 (java) R 5831 5835 32560 0 -1 4202560 14692 0 0 0 60 3 0 0 20 0 15 0 79125389 14422843392 21507 33554432000 4194304 4196468 140729549685888 140122279198480 140122260132560 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 33619968 140729549694024 140729549694217 140729549694217 140729549696975 0
[pid=5835/tid=5843] ppid=5831 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5835/task/5843/stat : 5843 (java) S 5831 5835 32560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79125390 14422843392 21507 33554432000 4194304 4196468 140729549685888 140122235923216 140122274973397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33619968 140729549694024 140729549694217 140729549694217 140729549696975 0
[pid=5835/tid=5844] ppid=5831 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5835/task/5844/stat : 5844 (java) S 5831 5835 32560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79125390 14422843392 21507 33554432000 4194304 4196468 140729549685888 140121869626256 140122274973397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33619968 140729549694024 140729549694217 140729549694217 140729549696975 0
[pid=5835/tid=5845] ppid=5831 vsize=14084808 memory=7020 CPUtime=0 cores=1,3,5,7
/proc/5835/task/5845/stat : 5845 (java) S 5831 5835 32560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79125390 14422843392 21507 33554432000 4194304 4196468 140729549685888 140121868573712 140122274973397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33619968 140729549694024 140729549694217 140729549694217 140729549696975 0
[pid=5835/tid=5846] ppid=5831 vsize=14084808 memory=15044 CPUtime=0 cores=1,3,5,7
/proc/5835/task/5846/stat : 5846 (java) S 5831 5835 32560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 79125390 14422843392 21507 33554432000 4194304 4196468 140729549685888 140121867521168 140122274973397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33619968 140729549694024 140729549694217 140729549694217 140729549696975 0
[pid=5835/tid=5851] ppid=5831 vsize=14084808 memory=18424 CPUtime=0 cores=1,3,5,7
/proc/5835/task/5851/stat : 5851 (java) S 5831 5835 32560 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 79125392 14422843392 21507 33554432000 4194304 4196468 140729549685888 140121188009968 140122274974338 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33619968 140729549694024 140729549694217 140729549694217 140729549696975 0
[pid=5835/tid=5853] ppid=5831 vsize=14084808 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/5835/task/5853/stat : 5853 (java) S 5831 5835 32560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 79125392 14422843392 21507 33554432000 4194304 4196468 140729549685888 140121186956192 140122274973397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33619968 140729549694024 140729549694217 140729549694217 140729549696975 0
[pid=5835/tid=5855] ppid=5831 vsize=14084808 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/5835/task/5855/stat : 5855 (java) S 5831 5835 32560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 79125392 14422843392 21507 33554432000 4194304 4196468 140729549685888 140121185903600 140122274973397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33619968 140729549694024 140729549694217 140729549694217 140729549696975 0
[pid=5835/tid=5857] ppid=5831 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5835/task/5857/stat : 5857 (java) S 5831 5835 32560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 79125395 14422843392 21507 33554432000 4194304 4196468 140729549685888 140121184852176 140122274981787 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33619968 140729549694024 140729549694217 140729549694217 140729549696975 0
[pid=5835/tid=5858] ppid=5831 vsize=14084808 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5835/task/5858/stat : 5858 (java) R 5831 5835 32560 0 -1 4202560 489 0 0 0 7 0 0 0 20 0 15 0 79125395 14422843392 21507 33554432000 4194304 4196468 140729549685888 140121183799792 140122258349821 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33619968 140729549694024 140729549694217 140729549694217 140729549696975 0
[pid=5835/tid=5859] ppid=5831 vsize=14084808 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/5835/task/5859/stat : 5859 (java) R 5831 5835 32560 0 -1 4202560 378 0 0 0 6 0 0 0 20 0 15 0 79125395 14422843392 21507 33554432000 4194304 4196468 140729549685888 140121182733576 140122259885309 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33619968 140729549694024 140729549694217 140729549694217 140729549696975 0
[pid=5835/tid=5860] ppid=5831 vsize=14084808 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/5835/task/5860/stat : 5860 (java) S 5831 5835 32560 0 -1 1077944384 406 0 0 0 13 0 0 0 20 0 15 0 79125395 14422843392 21507 33554432000 4194304 4196468 140729549685888 140121181694704 140122274974338 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33619968 140729549694024 140729549694217 140729549694217 140729549696975 0
[pid=5835/tid=5865] ppid=5831 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5835/task/5865/stat : 5865 (java) S 5831 5835 32560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 79125395 14422843392 21507 33554432000 4194304 4196468 140729549685888 140121180642400 140122274973397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33619968 140729549694024 140729549694217 140729549694217 140729549696975 0
[pid=5835/tid=5867] ppid=5831 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5835/task/5867/stat : 5867 (java) S 5831 5835 32560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79125395 14422843392 21507 33554432000 4194304 4196468 140729549685888 140121179588912 140122274974338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33619968 140729549694024 140729549694217 140729549694217 140729549696975 0
Current children cumulated CPU time: 0.92 s
Current children cumulated vsize: 14084808 KiB
Current children cumulated memory: 86028 KiB
[startup+1.36614 s]
# the end of solver process 5835 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2.19642 s, system=0.093881 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.800837 s]
/proc/loadavg: 0.64 0.67 0.75 3/217 5868
/proc/meminfo: memFree=17414852/32770624 swapFree=67108796/67108860
[pid=5835] ppid=5831 vsize=14086856 memory=92324 CPUtime=1.08 cores=1,3,5,7
/proc/5835/stat : 5835 (java) S 5831 5835 32560 0 -1 1077944320 17946 0 0 0 103 5 0 0 20 0 15 0 79125389 14424940544 23081 33554432000 4194304 4196468 140729549685888 140729549668432 140122274963191 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 33619968 140729549694024 140729549694217 140729549694217 140729549696975 0
/proc/5835/statm: 3521714 23081 3506 1 0 3483785 0
[pid=5835/tid=5841] ppid=5831 vsize=14086856 memory=924 CPUtime=0.73 cores=1,3,5,7
/proc/5835/task/5841/stat : 5841 (java) R 5831 5835 32560 0 -1 4202560 15170 0 0 0 69 4 0 0 20 0 15 0 79125389 14424940544 23081 33554432000 4194304 4196468 140729549685888 140122279196664 140122274985117 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 33619968 140729549694024 140729549694217 140729549694217 140729549696975 0
[pid=5835/tid=5843] ppid=5831 vsize=14086856 memory=2571 CPUtime=0 cores=1,3,5,7
/proc/5835/task/5843/stat : 5843 (java) S 5831 5835 32560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79125390 14424940544 23081 33554432000 4194304 4196468 140729549685888 140122235923216 140122274973397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33619968 140729549694024 140729549694217 140729549694217 140729549696975 0
[pid=5835/tid=5844] ppid=5831 vsize=14086856 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5835/task/5844/stat : 5844 (java) S 5831 5835 32560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79125390 14424940544 23081 33554432000 4194304 4196468 140729549685888 140121869626256 140122274973397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33619968 140729549694024 140729549694217 140729549694217 140729549696975 0
[pid=5835/tid=5845] ppid=5831 vsize=14086856 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/5835/task/5845/stat : 5845 (java) S 5831 5835 32560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79125390 14424940544 23081 33554432000 4194304 4196468 140729549685888 140121868573712 140122274973397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33619968 140729549694024 140729549694217 140729549694217 140729549696975 0
[pid=5835/tid=5846] ppid=5831 vsize=14086856 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5835/task/5846/stat : 5846 (java) S 5831 5835 32560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 79125390 14424940544 23081 33554432000 4194304 4196468 140729549685888 140121867521168 140122274973397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33619968 140729549694024 140729549694217 140729549694217 140729549696975 0
[pid=5835/tid=5851] ppid=5831 vsize=14086856 memory=38980 CPUtime=0 cores=1,3,5,7
/proc/5835/task/5851/stat : 5851 (java) S 5831 5835 32560 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 79125392 14424940544 23081 33554432000 4194304 4196468 140729549685888 140121188009968 140122274974338 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33619968 140729549694024 140729549694217 140729549694217 140729549696975 0
[pid=5835/tid=5853] ppid=5831 vsize=14086856 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/5835/task/5853/stat : 5853 (java) S 5831 5835 32560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 79125392 14424940544 23081 33554432000 4194304 4196468 140729549685888 140121186956192 140122274973397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33619968 140729549694024 140729549694217 140729549694217 140729549696975 0
[pid=5835/tid=5855] ppid=5831 vsize=14086856 memory=139912586201664 CPUtime=0 cores=1,3,5,7
/proc/5835/task/5855/stat : 5855 (java) S 5831 5835 32560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 79125392 14424940544 23081 33554432000 4194304 4196468 140729549685888 140121185903600 140122274973397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33619968 140729549694024 140729549694217 140729549694217 140729549696975 0
[pid=5835/tid=5857] ppid=5831 vsize=14086856 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5835/task/5857/stat : 5857 (java) S 5831 5835 32560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 79125395 14424940544 23081 33554432000 4194304 4196468 140729549685888 140121184852176 140122274981787 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33619968 140729549694024 140729549694217 140729549694217 140729549696975 0
[pid=5835/tid=5858] ppid=5831 vsize=14086856 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5835/task/5858/stat : 5858 (java) R 5831 5835 32560 0 -1 4202560 519 0 0 0 7 0 0 0 20 0 15 0 79125395 14424940544 23081 33554432000 4194304 4196468 140729549685888 140121183799792 140122255662728 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33619968 140729549694024 140729549694217 140729549694217 140729549696975 0
[pid=5835/tid=5859] ppid=5831 vsize=14086856 memory=3121 CPUtime=0.08 cores=1,3,5,7
/proc/5835/task/5859/stat : 5859 (java) S 5831 5835 32560 0 -1 1077944384 408 0 0 0 8 0 0 0 20 0 15 0 79125395 14424940544 23081 33554432000 4194304 4196468 140729549685888 140121182747248 140122274974338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33619968 140729549694024 140729549694217 140729549694217 140729549696975 0
[pid=5835/tid=5860] ppid=5831 vsize=14086856 memory=6943526294502006880 CPUtime=0.16 cores=1,3,5,7
/proc/5835/task/5860/stat : 5860 (java) S 5831 5835 32560 0 -1 1077944384 466 0 0 0 16 0 0 0 20 0 15 0 79125395 14424940544 23081 33554432000 4194304 4196468 140729549685888 140121181694704 140122274974338 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33619968 140729549694024 140729549694217 140729549694217 140729549696975 0
[pid=5835/tid=5865] ppid=5831 vsize=14086856 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5835/task/5865/stat : 5865 (java) S 5831 5835 32560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 79125395 14424940544 23081 33554432000 4194304 4196468 140729549685888 140121180642400 140122274973397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33619968 140729549694024 140729549694217 140729549694217 140729549696975 0
[pid=5835/tid=5867] ppid=5831 vsize=14086856 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/5835/task/5867/stat : 5867 (java) S 5831 5835 32560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79125395 14424940544 23081 33554432000 4194304 4196468 140729549685888 140121179588912 140122274974338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33619968 140729549694024 140729549694217 140729549694217 140729549696975 0
Current children cumulated CPU time: 1.08 s
Current children cumulated vsize: 14086856 KiB
Current children cumulated memory: 92324 KiB
[startup+1.2006 s]
/proc/loadavg: 0.64 0.67 0.75 5/217 5868
/proc/meminfo: memFree=17325200/32770624 swapFree=67108796/67108860
[pid=5835] ppid=5831 vsize=14088904 memory=118072 CPUtime=1.9 cores=1,3,5,7
/proc/5835/stat : 5835 (java) S 5831 5835 32560 0 -1 1077944320 21182 0 0 0 183 7 0 0 20 0 15 0 79125389 14427037696 29518 33554432000 4194304 4196468 140729549685888 140729549668432 140122274963191 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 33619968 140729549694024 140729549694217 140729549694217 140729549696975 0
/proc/5835/statm: 3522226 29518 3535 1 0 3484297 0
[pid=5835/tid=5841] ppid=5831 vsize=14090952 memory=15254848551523934 CPUtime=1.13 cores=1,3,5,7
/proc/5835/task/5841/stat : 5841 (java) R 5831 5835 32560 0 -1 4202560 17208 0 0 0 108 5 0 0 20 0 15 0 79125389 14429134848 29518 33554432000 4194304 4196468 140729549685888 140122279200448 140122259006821 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 33619968 140729549694024 140729549694217 140729549694217 140729549696975 0
[pid=5835/tid=5843] ppid=5831 vsize=14090952 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5835/task/5843/stat : 5843 (java) S 5831 5835 32560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79125390 14429134848 29518 33554432000 4194304 4196468 140729549685888 140122235923216 140122274973397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33619968 140729549694024 140729549694217 140729549694217 140729549696975 0
[pid=5835/tid=5844] ppid=5831 vsize=14090952 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5835/task/5844/stat : 5844 (java) S 5831 5835 32560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79125390 14429134848 29518 33554432000 4194304 4196468 140729549685888 140121869626256 140122274973397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33619968 140729549694024 140729549694217 140729549694217 140729549696975 0
[pid=5835/tid=5845] ppid=5831 vsize=14090952 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5835/task/5845/stat : 5845 (java) S 5831 5835 32560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79125390 14429134848 29518 33554432000 4194304 4196468 140729549685888 140121868573712 140122274973397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33619968 140729549694024 140729549694217 140729549694217 140729549696975 0
[pid=5835/tid=5846] ppid=5831 vsize=14090952 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5835/task/5846/stat : 5846 (java) S 5831 5835 32560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 79125390 14429134848 29518 33554432000 4194304 4196468 140729549685888 140121867521168 140122274973397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33619968 140729549694024 140729549694217 140729549694217 140729549696975 0
[pid=5835/tid=5851] ppid=5831 vsize=14090952 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5835/task/5851/stat : 5851 (java) S 5831 5835 32560 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 79125392 14429134848 29518 33554432000 4194304 4196468 140729549685888 140121188009968 140122274974338 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33619968 140729549694024 140729549694217 140729549694217 140729549696975 0
[pid=5835/tid=5853] ppid=5831 vsize=14090952 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5835/task/5853/stat : 5853 (java) S 5831 5835 32560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 79125392 14429134848 29518 33554432000 4194304 4196468 140729549685888 140121186956192 140122274973397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33619968 140729549694024 140729549694217 140729549694217 140729549696975 0
[pid=5835/tid=5855] ppid=5831 vsize=14090952 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5835/task/5855/stat : 5855 (java) S 5831 5835 32560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 79125392 14429134848 29518 33554432000 4194304 4196468 140729549685888 140121185903600 140122274973397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33619968 140729549694024 140729549694217 140729549694217 140729549696975 0
[pid=5835/tid=5857] ppid=5831 vsize=14090952 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5835/task/5857/stat : 5857 (java) S 5831 5835 32560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 79125395 14429134848 29518 33554432000 4194304 4196468 140729549685888 140121184852176 140122274981787 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33619968 140729549694024 140729549694217 140729549694217 140729549696975 0
[pid=5835/tid=5858] ppid=5831 vsize=14090952 memory=0 CPUtime=0.18 cores=1,3,5,7
/proc/5835/task/5858/stat : 5858 (java) S 5831 5835 32560 0 -1 1077944384 833 0 0 0 18 0 0 0 20 0 15 0 79125395 14429134848 29518 33554432000 4194304 4196468 140729549685888 140121183799792 140122274974338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33619968 140729549694024 140729549694217 140729549694217 140729549696975 0
[pid=5835/tid=5859] ppid=5831 vsize=14090952 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/5835/task/5859/stat : 5859 (java) S 5831 5835 32560 0 -1 1077944384 709 0 0 0 19 0 0 0 20 0 15 0 79125395 14429134848 29518 33554432000 4194304 4196468 140729549685888 140121182747248 140122274974338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33619968 140729549694024 140729549694217 140729549694217 140729549696975 0
[pid=5835/tid=5860] ppid=5831 vsize=14090952 memory=0 CPUtime=0.37 cores=1,3,5,7
/proc/5835/task/5860/stat : 5860 (java) S 5831 5835 32560 0 -1 1077944384 1050 0 0 0 36 1 0 0 20 0 15 0 79125395 14429134848 29518 33554432000 4194304 4196468 140729549685888 140121181694704 140122274974338 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33619968 140729549694024 140729549694217 140729549694217 140729549696975 0
[pid=5835/tid=5865] ppid=5831 vsize=14090952 memory=3905521515201180211 CPUtime=0 cores=1,3,5,7
/proc/5835/task/5865/stat : 5865 (java) S 5831 5835 32560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 79125395 14429134848 29518 33554432000 4194304 4196468 140729549685888 140121180642400 140122274973397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33619968 140729549694024 140729549694217 140729549694217 140729549696975 0
[pid=5835/tid=5867] ppid=5831 vsize=14090952 memory=7302420096899900013 CPUtime=0 cores=1,3,5,7
/proc/5835/task/5867/stat : 5867 (java) S 5831 5835 32560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 79125395 14429134848 29518 33554432000 4194304 4196468 140729549685888 140121179588912 140122274974338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33619968 140729549694024 140729549694217 140729549694217 140729549696975 0
Current children cumulated CPU time: 1.9 s
Current children cumulated vsize: 14088904 KiB
Current children cumulated memory: 118072 KiB
[startup+1.30059 s]
/proc/loadavg: 0.64 0.67 0.75 5/217 5868
/proc/meminfo: memFree=17325200/32770624 swapFree=67108796/67108860
[pid=5835] ppid=5831 vsize=14090952 memory=126500 CPUtime=2.12 cores=1,3,5,7
/proc/5835/stat : 5835 (java) S 5831 5835 32560 0 -1 1077944320 21864 0 0 0 204 8 0 0 20 0 15 0 79125389 14429134848 31625 33554432000 4194304 4196468 140729549685888 140729549668432 140122274963191 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 33619968 140729549694024 140729549694217 140729549694217 140729549696975 0
/proc/5835/statm: 3522738 31625 3539 1 0 3484809 0
[pid=5835/tid=5841] ppid=5831 vsize=14090952 memory=99916 CPUtime=1.22 cores=1,3,5,7
/proc/5835/task/5841/stat : 5841 (java) R 5831 5835 32560 0 -1 4202560 17627 0 0 0 117 5 0 0 20 0 15 0 79125389 14429134848 31625 33554432000 4194304 4196468 140729549685888 140122279197696 140122257252519 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 33619968 140729549694024 140729549694217 140729549694217 140729549696975 0
[pid=5835/tid=5843] ppid=5831 vsize=14090952 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/5835/task/5843/stat : 5843 (java) S 5831 5835 32560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79125390 14429134848 31625 33554432000 4194304 4196468 140729549685888 140122235923216 140122274973397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33619968 140729549694024 140729549694217 140729549694217 140729549696975 0
[pid=5835/tid=5844] ppid=5831 vsize=14090952 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/5835/task/5844/stat : 5844 (java) S 5831 5835 32560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79125390 14429134848 31625 33554432000 4194304 4196468 140729549685888 140121869626256 140122274973397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33619968 140729549694024 140729549694217 140729549694217 140729549696975 0
[pid=5835/tid=5845] ppid=5831 vsize=14090952 memory=86028 CPUtime=0 cores=1,3,5,7
/proc/5835/task/5845/stat : 5845 (java) S 5831 5835 32560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79125390 14429134848 31625 33554432000 4194304 4196468 140729549685888 140121868573712 140122274973397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33619968 140729549694024 140729549694217 140729549694217 140729549696975 0
[pid=5835/tid=5846] ppid=5831 vsize=14090952 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5835/task/5846/stat : 5846 (java) S 5831 5835 32560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 79125390 14429134848 31625 33554432000 4194304 4196468 140729549685888 140121867521168 140122274973397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33619968 140729549694024 140729549694217 140729549694217 140729549696975 0
[pid=5835/tid=5851] ppid=5831 vsize=14090952 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5835/task/5851/stat : 5851 (java) S 5831 5835 32560 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 79125392 14429134848 31625 33554432000 4194304 4196468 140729549685888 140121188009968 140122274974338 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33619968 140729549694024 140729549694217 140729549694217 140729549696975 0
[pid=5835/tid=5853] ppid=5831 vsize=14090952 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5835/task/5853/stat : 5853 (java) S 5831 5835 32560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 79125392 14429134848 31625 33554432000 4194304 4196468 140729549685888 140121186956192 140122274973397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33619968 140729549694024 140729549694217 140729549694217 140729549696975 0
[pid=5835/tid=5855] ppid=5831 vsize=14090952 memory=7020 CPUtime=0 cores=1,3,5,7
/proc/5835/task/5855/stat : 5855 (java) S 5831 5835 32560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 79125392 14429134848 31625 33554432000 4194304 4196468 140729549685888 140121185903600 140122274973397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33619968 140729549694024 140729549694217 140729549694217 140729549696975 0
[pid=5835/tid=5857] ppid=5831 vsize=14090952 memory=15044 CPUtime=0 cores=1,3,5,7
/proc/5835/task/5857/stat : 5857 (java) S 5831 5835 32560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 79125395 14429134848 31625 33554432000 4194304 4196468 140729549685888 140121184852176 140122274981787 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33619968 140729549694024 140729549694217 140729549694217 140729549696975 0
[pid=5835/tid=5858] ppid=5831 vsize=14090952 memory=18424 CPUtime=0.21 cores=1,3,5,7
/proc/5835/task/5858/stat : 5858 (java) S 5831 5835 32560 0 -1 1077944384 882 0 0 0 21 0 0 0 20 0 15 0 79125395 14429134848 31625 33554432000 4194304 4196468 140729549685888 140121183799792 140122274974338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33619968 140729549694024 140729549694217 140729549694217 140729549696975 0
[pid=5835/tid=5859] ppid=5831 vsize=14090952 memory=2241 CPUtime=0.22 cores=1,3,5,7
/proc/5835/task/5859/stat : 5859 (java) S 5831 5835 32560 0 -1 1077944384 748 0 0 0 22 0 0 0 20 0 15 0 79125395 14429134848 31625 33554432000 4194304 4196468 140729549685888 140121182747248 140122274974338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33619968 140729549694024 140729549694217 140729549694217 140729549696975 0
[pid=5835/tid=5860] ppid=5831 vsize=14090952 memory=2244 CPUtime=0.43 cores=1,3,5,7
/proc/5835/task/5860/stat : 5860 (java) S 5831 5835 32560 0 -1 1077944384 1211 0 0 0 42 1 0 0 20 0 15 0 79125395 14429134848 31625 33554432000 4194304 4196468 140729549685888 140121181694704 140122274974338 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33619968 140729549694024 140729549694217 140729549694217 140729549696975 0
[pid=5835/tid=5865] ppid=5831 vsize=14090952 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5835/task/5865/stat : 5865 (java) S 5831 5835 32560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 79125395 14429134848 31625 33554432000 4194304 4196468 140729549685888 140121180642400 140122274973397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33619968 140729549694024 140729549694217 140729549694217 140729549696975 0
[pid=5835/tid=5867] ppid=5831 vsize=14090952 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5835/task/5867/stat : 5867 (java) S 5831 5835 32560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 79125395 14429134848 31625 33554432000 4194304 4196468 140729549685888 140121179588912 140122274974338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33619968 140729549694024 140729549694217 140729549694217 140729549696975 0
Current children cumulated CPU time: 2.12 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 126500 KiB
Child status: 0
Real time (s): 1.3662
CPU time (s): 2.29031
CPU user time (s): 2.19642
CPU system time (s): 0.093881
CPU usage (%): 167.64
Max. virtual memory (cumulated for all children) (KiB): 14090952
Max. memory (cumulated for all children) (KiB): 126500
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.19643
system time used= 0.093881
maximum resident set size= 132784
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23643
page faults= 0
swaps= 0
block input operations= 1944
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2450
involuntary context switches= 65
# summary of solver processes directly reported to runsolver:
# pid: 5835
# total CPU time (s): 2.29031
# total CPU user time (s): 2.19642
# total CPU system time (s): 0.093881
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.029556 second user time and 0.05795 second system time
The end