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 (7635 MiB free)
memory of node 1: 16384 MiB (10959 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4291629-1532233599/watcher-4291629-1532233599 -o /tmp/evaluation-result-4291629-1532233599/solver-4291629-1532233599 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node107-1532226532-31076 --watchdog 2560 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 281437586 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4291629-1532233599.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=32159, runsolver pid=32156
[startup+0.100065 s]*
/proc/loadavg: 1.79 1.57 1.45 3/215 32174
/proc/meminfo: memFree=19024172/32770624 swapFree=67108860/67108860
[pid=32159] ppid=32156 vsize=14082740 memory=32648 CPUtime=0.11 cores=1,3,5,7
/proc/32159/stat : 32159 (java) S 32156 32159 31044 0 -1 1077944320 7110 0 0 0 11 0 0 0 20 0 15 0 40923112 14420725760 8162 33554432000 4194304 4196468 140729633044688 140729633027232 140127916117751 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12279808 140729633051733 140729633051913 140729633051913 140729633054671 0
/proc/32159/statm: 3520685 8162 3135 1 0 3482761 0
[pid=32159/tid=32161] ppid=32156 vsize=14082740 memory=-8629632960753996157 CPUtime=0.09 cores=1,3,5,7
/proc/32159/task/32161/stat : 32161 (java) R 32156 32159 31044 0 -1 4202560 5167 0 0 0 9 0 0 0 20 0 15 0 40923112 14420725760 8162 33554432000 4194304 4196468 140729633044688 140127920343440 140127916139677 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12279808 140729633051733 140729633051913 140729633051913 140729633054671 0
[pid=32159/tid=32162] ppid=32156 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32159/task/32162/stat : 32162 (java) S 32156 32159 31044 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40923113 14420725760 8162 33554432000 4194304 4196468 140729633044688 140127872669968 140127916127957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12279808 140729633051733 140729633051913 140729633051913 140729633054671 0
[pid=32159/tid=32163] ppid=32156 vsize=14082740 memory=140361693476480 CPUtime=0 cores=1,3,5,7
/proc/32159/task/32163/stat : 32163 (java) S 32156 32159 31044 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 40923113 14420725760 8162 33554432000 4194304 4196468 140729633044688 140127511177616 140127916127957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12279808 140729633051733 140729633051913 140729633051913 140729633054671 0
[pid=32159/tid=32164] ppid=32156 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32159/task/32164/stat : 32164 (java) S 32156 32159 31044 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 40923113 14420725760 8162 33554432000 4194304 4196468 140729633044688 140127510125072 140127916127957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12279808 140729633051733 140729633051913 140729633051913 140729633054671 0
[pid=32159/tid=32165] ppid=32156 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32159/task/32165/stat : 32165 (java) S 32156 32159 31044 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40923113 14420725760 8162 33554432000 4194304 4196468 140729633044688 140127509072528 140127916127957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12279808 140729633051733 140729633051913 140729633051913 140729633054671 0
[pid=32159/tid=32166] ppid=32156 vsize=14082740 memory=140361693476480 CPUtime=0 cores=1,3,5,7
/proc/32159/task/32166/stat : 32166 (java) S 32156 32159 31044 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 40923114 14420725760 8162 33554432000 4194304 4196468 140729633044688 140127390087664 140127916128898 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12279808 140729633051733 140729633051913 140729633051913 140729633054671 0
[pid=32159/tid=32167] ppid=32156 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32159/task/32167/stat : 32167 (java) S 32156 32159 31044 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 40923115 14420725760 8162 33554432000 4194304 4196468 140729633044688 140127389033888 140127916127957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12279808 140729633051733 140729633051913 140729633051913 140729633054671 0
[pid=32159/tid=32168] ppid=32156 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32159/task/32168/stat : 32168 (java) S 32156 32159 31044 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 40923115 14420725760 8162 33554432000 4194304 4196468 140729633044688 140127387981296 140127916127957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12279808 140729633051733 140729633051913 140729633051913 140729633054671 0
[pid=32159/tid=32169] ppid=32156 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32159/task/32169/stat : 32169 (java) S 32156 32159 31044 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40923117 14420725760 8162 33554432000 4194304 4196468 140729633044688 140127386929872 140127916136347 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12279808 140729633051733 140729633051913 140729633051913 140729633054671 0
[pid=32159/tid=32170] ppid=32156 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32159/task/32170/stat : 32170 (java) S 32156 32159 31044 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 15 0 40923117 14420725760 8162 33554432000 4194304 4196468 140729633044688 140127385876464 140127916128898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12279808 140729633051733 140729633051913 140729633051913 140729633054671 0
[pid=32159/tid=32171] ppid=32156 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32159/task/32171/stat : 32171 (java) S 32156 32159 31044 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40923117 14420725760 8162 33554432000 4194304 4196468 140729633044688 140127384823920 140127916128898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12279808 140729633051733 140729633051913 140729633051913 140729633054671 0
[pid=32159/tid=32172] ppid=32156 vsize=14082740 memory=140361693476480 CPUtime=0.01 cores=1,3,5,7
/proc/32159/task/32172/stat : 32172 (java) R 32156 32159 31044 0 -1 4202560 259 0 0 0 1 0 0 0 20 0 15 0 40923117 14420725760 8162 33554432000 4194304 4196468 140729633044688 140127383771376 140127894799500 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12279808 140729633051733 140729633051913 140729633051913 140729633054671 0
[pid=32159/tid=32173] ppid=32156 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32159/task/32173/stat : 32173 (java) S 32156 32159 31044 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40923118 14420725760 8162 33554432000 4194304 4196468 140729633044688 140127382719072 140127916127957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12279808 140729633051733 140729633051913 140729633051913 140729633054671 0
[pid=32159/tid=32174] ppid=32156 vsize=14082740 memory=140361693476480 CPUtime=0 cores=1,3,5,7
/proc/32159/task/32174/stat : 32174 (java) S 32156 32159 31044 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40923118 14420725760 8162 33554432000 4194304 4196468 140729633044688 140127381666608 140127916128898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12279808 140729633051733 140729633051913 140729633051913 140729633054671 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 32648 KiB
[startup+0.214653 s]*
/proc/loadavg: 1.79 1.57 1.45 5/215 32174
/proc/meminfo: memFree=19008668/32770624 swapFree=67108860/67108860
[pid=32159] ppid=32156 vsize=14082740 memory=47300 CPUtime=0.32 cores=1,3,5,7
/proc/32159/stat : 32159 (java) S 32156 32159 31044 0 -1 1077944320 10392 0 0 0 31 1 0 0 20 0 15 0 40923112 14420725760 11825 33554432000 4194304 4196468 140729633044688 140729633027232 140127916117751 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12279808 140729633051733 140729633051913 140729633051913 140729633054671 0
/proc/32159/statm: 3520685 11825 3415 1 0 3482761 0
[pid=32159/tid=32161] ppid=32156 vsize=14082740 memory=7022364594140610616 CPUtime=0.21 cores=1,3,5,7
/proc/32159/task/32161/stat : 32161 (java) R 32156 32159 31044 0 -1 4202560 8074 0 0 0 20 1 0 0 20 0 15 0 40923112 14420725760 11825 33554432000 4194304 4196468 140729633044688 140127920347728 140127916129686 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12279808 140729633051733 140729633051913 140729633051913 140729633054671 0
[pid=32159/tid=32162] ppid=32156 vsize=14082740 memory=340 CPUtime=0 cores=1,3,5,7
/proc/32159/task/32162/stat : 32162 (java) S 32156 32159 31044 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40923113 14420725760 11825 33554432000 4194304 4196468 140729633044688 140127872669968 140127916127957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12279808 140729633051733 140729633051913 140729633051913 140729633054671 0
[pid=32159/tid=32163] ppid=32156 vsize=14082740 memory=140361693699319 CPUtime=0 cores=1,3,5,7
/proc/32159/task/32163/stat : 32163 (java) S 32156 32159 31044 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 40923113 14420725760 11825 33554432000 4194304 4196468 140729633044688 140127511177616 140127916127957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12279808 140729633051733 140729633051913 140729633051913 140729633054671 0
[pid=32159/tid=32164] ppid=32156 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32159/task/32164/stat : 32164 (java) S 32156 32159 31044 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 40923113 14420725760 11825 33554432000 4194304 4196468 140729633044688 140127510125072 140127916127957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12279808 140729633051733 140729633051913 140729633051913 140729633054671 0
[pid=32159/tid=32165] ppid=32156 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32159/task/32165/stat : 32165 (java) S 32156 32159 31044 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40923113 14420725760 11825 33554432000 4194304 4196468 140729633044688 140127509072528 140127916127957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12279808 140729633051733 140729633051913 140729633051913 140729633054671 0
[pid=32159/tid=32166] ppid=32156 vsize=14082740 memory=140361693476480 CPUtime=0 cores=1,3,5,7
/proc/32159/task/32166/stat : 32166 (java) S 32156 32159 31044 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 40923114 14420725760 11825 33554432000 4194304 4196468 140729633044688 140127390087664 140127916128898 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12279808 140729633051733 140729633051913 140729633051913 140729633054671 0
[pid=32159/tid=32167] ppid=32156 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32159/task/32167/stat : 32167 (java) S 32156 32159 31044 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 40923115 14420725760 11825 33554432000 4194304 4196468 140729633044688 140127389033888 140127916127957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12279808 140729633051733 140729633051913 140729633051913 140729633054671 0
[pid=32159/tid=32168] ppid=32156 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32159/task/32168/stat : 32168 (java) S 32156 32159 31044 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 40923115 14420725760 11825 33554432000 4194304 4196468 140729633044688 140127387981296 140127916127957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12279808 140729633051733 140729633051913 140729633051913 140729633054671 0
[pid=32159/tid=32169] ppid=32156 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32159/task/32169/stat : 32169 (java) S 32156 32159 31044 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40923117 14420725760 11825 33554432000 4194304 4196468 140729633044688 140127386929872 140127916136347 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12279808 140729633051733 140729633051913 140729633051913 140729633054671 0
[pid=32159/tid=32170] ppid=32156 vsize=14082740 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/32159/task/32170/stat : 32170 (java) S 32156 32159 31044 0 -1 1077944384 409 0 0 0 2 0 0 0 20 0 15 0 40923117 14420725760 11825 33554432000 4194304 4196468 140729633044688 140127385876464 140127916128898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12279808 140729633051733 140729633051913 140729633051913 140729633054671 0
[pid=32159/tid=32171] ppid=32156 vsize=14082740 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/32159/task/32171/stat : 32171 (java) S 32156 32159 31044 0 -1 1077944384 203 0 0 0 1 0 0 0 20 0 15 0 40923117 14420725760 11825 33554432000 4194304 4196468 140729633044688 140127384823920 140127916128898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12279808 140729633051733 140729633051913 140729633051913 140729633054671 0
[pid=32159/tid=32172] ppid=32156 vsize=14082740 memory=140361693476480 CPUtime=0.06 cores=1,3,5,7
/proc/32159/task/32172/stat : 32172 (java) R 32156 32159 31044 0 -1 4202560 321 0 0 0 6 0 0 0 20 0 15 0 40923117 14420725760 11825 33554432000 4194304 4196468 140729633044688 140127383771376 140127895252208 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12279808 140729633051733 140729633051913 140729633051913 140729633054671 0
[pid=32159/tid=32173] ppid=32156 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32159/task/32173/stat : 32173 (java) S 32156 32159 31044 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40923118 14420725760 11825 33554432000 4194304 4196468 140729633044688 140127382719072 140127916127957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12279808 140729633051733 140729633051913 140729633051913 140729633054671 0
[pid=32159/tid=32174] ppid=32156 vsize=14082740 memory=140361693476480 CPUtime=0 cores=1,3,5,7
/proc/32159/task/32174/stat : 32174 (java) S 32156 32159 31044 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40923118 14420725760 11825 33554432000 4194304 4196468 140729633044688 140127381666608 140127916128898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12279808 140729633051733 140729633051913 140729633051913 140729633054671 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 47300 KiB
[startup+0.310485 s]*
/proc/loadavg: 1.79 1.57 1.45 3/215 32174
/proc/meminfo: memFree=19005132/32770624 swapFree=67108860/67108860
[pid=32159] ppid=32156 vsize=14082740 memory=50772 CPUtime=0.43 cores=1,3,5,7
/proc/32159/stat : 32159 (java) S 32156 32159 31044 0 -1 1077944320 10727 0 0 0 42 1 0 0 20 0 15 0 40923112 14420725760 12628 33554432000 4194304 4196468 140729633044688 140729633027232 140127916117751 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12279808 140729633051733 140729633051913 140729633051913 140729633054671 0
/proc/32159/statm: 3520685 12628 3419 1 0 3482761 0
[pid=32159/tid=32161] ppid=32156 vsize=14082740 memory=7311146985107750967 CPUtime=0.3 cores=1,3,5,7
/proc/32159/task/32161/stat : 32161 (java) R 32156 32159 31044 0 -1 4202560 8394 0 0 0 29 1 0 0 20 0 15 0 40923112 14420725760 12693 33554432000 4194304 4196468 140729633044688 140127920279488 140127900198238 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12279808 140729633051733 140729633051913 140729633051913 140729633054671 0
[pid=32159/tid=32162] ppid=32156 vsize=14082740 memory=288230600413020183 CPUtime=0 cores=1,3,5,7
/proc/32159/task/32162/stat : 32162 (java) S 32156 32159 31044 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40923113 14420725760 12693 33554432000 4194304 4196468 140729633044688 140127872669968 140127916127957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12279808 140729633051733 140729633051913 140729633051913 140729633054671 0
[pid=32159/tid=32163] ppid=32156 vsize=14082740 memory=140361693699263 CPUtime=0 cores=1,3,5,7
/proc/32159/task/32163/stat : 32163 (java) S 32156 32159 31044 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 40923113 14420725760 12693 33554432000 4194304 4196468 140729633044688 140127511177616 140127916127957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12279808 140729633051733 140729633051913 140729633051913 140729633054671 0
[pid=32159/tid=32164] ppid=32156 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32159/task/32164/stat : 32164 (java) S 32156 32159 31044 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 40923113 14420725760 12693 33554432000 4194304 4196468 140729633044688 140127510125072 140127916127957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12279808 140729633051733 140729633051913 140729633051913 140729633054671 0
[pid=32159/tid=32165] ppid=32156 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32159/task/32165/stat : 32165 (java) S 32156 32159 31044 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40923113 14420725760 12693 33554432000 4194304 4196468 140729633044688 140127509072528 140127916127957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12279808 140729633051733 140729633051913 140729633051913 140729633054671 0
[pid=32159/tid=32166] ppid=32156 vsize=14082740 memory=140361693476480 CPUtime=0 cores=1,3,5,7
/proc/32159/task/32166/stat : 32166 (java) S 32156 32159 31044 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 40923114 14420725760 12693 33554432000 4194304 4196468 140729633044688 140127390087664 140127916128898 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12279808 140729633051733 140729633051913 140729633051913 140729633054671 0
[pid=32159/tid=32167] ppid=32156 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32159/task/32167/stat : 32167 (java) S 32156 32159 31044 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 40923115 14420725760 12693 33554432000 4194304 4196468 140729633044688 140127389033888 140127916127957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12279808 140729633051733 140729633051913 140729633051913 140729633054671 0
[pid=32159/tid=32168] ppid=32156 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32159/task/32168/stat : 32168 (java) S 32156 32159 31044 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 40923115 14420725760 12693 33554432000 4194304 4196468 140729633044688 140127387981296 140127916127957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12279808 140729633051733 140729633051913 140729633051913 140729633054671 0
[pid=32159/tid=32169] ppid=32156 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32159/task/32169/stat : 32169 (java) S 32156 32159 31044 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40923117 14420725760 12693 33554432000 4194304 4196468 140729633044688 140127386929872 140127916136347 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12279808 140729633051733 140729633051913 140729633051913 140729633054671 0
[pid=32159/tid=32170] ppid=32156 vsize=14082740 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/32159/task/32170/stat : 32170 (java) S 32156 32159 31044 0 -1 1077944384 409 0 0 0 2 0 0 0 20 0 15 0 40923117 14420725760 12693 33554432000 4194304 4196468 140729633044688 140127385876464 140127916128898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12279808 140729633051733 140729633051913 140729633051913 140729633054671 0
[pid=32159/tid=32171] ppid=32156 vsize=14082740 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/32159/task/32171/stat : 32171 (java) S 32156 32159 31044 0 -1 1077944384 203 0 0 0 1 0 0 0 20 0 15 0 40923117 14420725760 12693 33554432000 4194304 4196468 140729633044688 140127384823920 140127916128898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12279808 140729633051733 140729633051913 140729633051913 140729633054671 0
[pid=32159/tid=32172] ppid=32156 vsize=14082740 memory=140361693476480 CPUtime=0.07 cores=1,3,5,7
/proc/32159/task/32172/stat : 32172 (java) S 32156 32159 31044 0 -1 1077944384 338 0 0 0 7 0 0 0 20 0 15 0 40923117 14420725760 12693 33554432000 4194304 4196468 140729633044688 140127383771376 140127916128898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12279808 140729633051733 140729633051913 140729633051913 140729633054671 0
[pid=32159/tid=32173] ppid=32156 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32159/task/32173/stat : 32173 (java) S 32156 32159 31044 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40923118 14420725760 12693 33554432000 4194304 4196468 140729633044688 140127382719072 140127916127957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12279808 140729633051733 140729633051913 140729633051913 140729633054671 0
[pid=32159/tid=32174] ppid=32156 vsize=14082740 memory=140361693476480 CPUtime=0 cores=1,3,5,7
/proc/32159/task/32174/stat : 32174 (java) S 32156 32159 31044 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40923118 14420725760 12693 33554432000 4194304 4196468 140729633044688 140127381666608 140127916128898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12279808 140729633051733 140729633051913 140729633051913 140729633054671 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 50772 KiB
[startup+0.700762 s]
/proc/loadavg: 1.79 1.57 1.45 3/215 32174
/proc/meminfo: memFree=18980824/32770624 swapFree=67108860/67108860
[pid=32159] ppid=32156 vsize=14084808 memory=88772 CPUtime=1 cores=1,3,5,7
/proc/32159/stat : 32159 (java) S 32156 32159 31044 0 -1 1077944320 17595 0 0 0 97 3 0 0 20 0 15 0 40923112 14422843392 22193 33554432000 4194304 4196468 140729633044688 140729633027232 140127916117751 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12279808 140729633051733 140729633051913 140729633051913 140729633054671 0
/proc/32159/statm: 3521202 22193 3498 1 0 3483273 0
[pid=32159/tid=32161] ppid=32156 vsize=14084808 memory=1836 CPUtime=0.67 cores=1,3,5,7
/proc/32159/task/32161/stat : 32161 (java) R 32156 32159 31044 0 -1 4202560 14835 0 0 0 65 2 0 0 20 0 15 0 40923112 14422843392 22193 33554432000 4194304 4196468 140729633044688 140127920336192 140127900198238 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12279808 140729633051733 140729633051913 140729633051913 140729633054671 0
[pid=32159/tid=32162] ppid=32156 vsize=14084808 memory=12976 CPUtime=0 cores=1,3,5,7
/proc/32159/task/32162/stat : 32162 (java) S 32156 32159 31044 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40923113 14422843392 22193 33554432000 4194304 4196468 140729633044688 140127872669968 140127916127957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12279808 140729633051733 140729633051913 140729633051913 140729633054671 0
[pid=32159/tid=32163] ppid=32156 vsize=14084808 memory=792 CPUtime=0 cores=1,3,5,7
/proc/32159/task/32163/stat : 32163 (java) S 32156 32159 31044 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 40923113 14422843392 22193 33554432000 4194304 4196468 140729633044688 140127511177616 140127916127957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12279808 140729633051733 140729633051913 140729633051913 140729633054671 0
[pid=32159/tid=32164] ppid=32156 vsize=14084808 memory=1952 CPUtime=0 cores=1,3,5,7
/proc/32159/task/32164/stat : 32164 (java) S 32156 32159 31044 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 40923113 14422843392 22193 33554432000 4194304 4196468 140729633044688 140127510125072 140127916127957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12279808 140729633051733 140729633051913 140729633051913 140729633054671 0
[pid=32159/tid=32165] ppid=32156 vsize=14084808 memory=1232 CPUtime=0 cores=1,3,5,7
/proc/32159/task/32165/stat : 32165 (java) S 32156 32159 31044 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40923113 14422843392 22193 33554432000 4194304 4196468 140729633044688 140127509072528 140127916127957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12279808 140729633051733 140729633051913 140729633051913 140729633054671 0
[pid=32159/tid=32166] ppid=32156 vsize=14084808 memory=8372 CPUtime=0 cores=1,3,5,7
/proc/32159/task/32166/stat : 32166 (java) S 32156 32159 31044 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 40923114 14422843392 22193 33554432000 4194304 4196468 140729633044688 140127390087664 140127916128898 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12279808 140729633051733 140729633051913 140729633051913 140729633054671 0
[pid=32159/tid=32167] ppid=32156 vsize=14084808 memory=1708 CPUtime=0 cores=1,3,5,7
/proc/32159/task/32167/stat : 32167 (java) S 32156 32159 31044 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 40923115 14422843392 22193 33554432000 4194304 4196468 140729633044688 140127389033888 140127916127957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12279808 140729633051733 140729633051913 140729633051913 140729633054671 0
[pid=32159/tid=32168] ppid=32156 vsize=14084808 memory=5412 CPUtime=0 cores=1,3,5,7
/proc/32159/task/32168/stat : 32168 (java) S 32156 32159 31044 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 40923115 14422843392 22193 33554432000 4194304 4196468 140729633044688 140127387981296 140127916127957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12279808 140729633051733 140729633051913 140729633051913 140729633054671 0
[pid=32159/tid=32169] ppid=32156 vsize=14084808 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/32159/task/32169/stat : 32169 (java) S 32156 32159 31044 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40923117 14422843392 22193 33554432000 4194304 4196468 140729633044688 140127386929872 140127916136347 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12279808 140729633051733 140729633051913 140729633051913 140729633054671 0
[pid=32159/tid=32170] ppid=32156 vsize=14084808 memory=6297835844906604903 CPUtime=0.09 cores=1,3,5,7
/proc/32159/task/32170/stat : 32170 (java) S 32156 32159 31044 0 -1 1077944384 564 0 0 0 9 0 0 0 20 0 15 0 40923117 14422843392 22193 33554432000 4194304 4196468 140729633044688 140127385876464 140127916128898 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12279808 140729633051733 140729633051913 140729633051913 140729633054671 0
[pid=32159/tid=32171] ppid=32156 vsize=14084808 memory=7597685182856913236 CPUtime=0.05 cores=1,3,5,7
/proc/32159/task/32171/stat : 32171 (java) S 32156 32159 31044 0 -1 1077944384 365 0 0 0 5 0 0 0 20 0 15 0 40923117 14422843392 22193 33554432000 4194304 4196468 140729633044688 140127384823920 140127916128898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12279808 140729633051733 140729633051913 140729633051913 140729633054671 0
[pid=32159/tid=32172] ppid=32156 vsize=14084808 memory=5788087943085183056 CPUtime=0.15 cores=1,3,5,7
/proc/32159/task/32172/stat : 32172 (java) S 32156 32159 31044 0 -1 1077944384 447 0 0 0 15 0 0 0 20 0 15 0 40923117 14422843392 22193 33554432000 4194304 4196468 140729633044688 140127383771376 140127916128898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12279808 140729633051733 140729633051913 140729633051913 140729633054671 0
[pid=32159/tid=32173] ppid=32156 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32159/task/32173/stat : 32173 (java) S 32156 32159 31044 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40923118 14422843392 22193 33554432000 4194304 4196468 140729633044688 140127382719072 140127916127957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12279808 140729633051733 140729633051913 140729633051913 140729633054671 0
[pid=32159/tid=32174] ppid=32156 vsize=14084808 memory=31396 CPUtime=0 cores=1,3,5,7
/proc/32159/task/32174/stat : 32174 (java) S 32156 32159 31044 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40923118 14422843392 22193 33554432000 4194304 4196468 140729633044688 140127381666608 140127916128898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12279808 140729633051733 140729633051913 140729633051913 140729633054671 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 14084808 KiB
Current children cumulated memory: 88772 KiB
[startup+1.31021 s]
# the end of solver process 32159 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2.16048 s, system=0.071669 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.809622 s]
/proc/loadavg: 1.79 1.57 1.45 3/215 32174
/proc/meminfo: memFree=18980824/32770624 swapFree=67108860/67108860
[pid=32159] ppid=32156 vsize=14086856 memory=95352 CPUtime=1.25 cores=1,3,5,7
/proc/32159/stat : 32159 (java) S 32156 32159 31044 0 -1 1077944320 18178 0 0 0 121 4 0 0 20 0 15 0 40923112 14424940544 23838 33554432000 4194304 4196468 140729633044688 140729633027232 140127916117751 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12279808 140729633051733 140729633051913 140729633051913 140729633054671 0
/proc/32159/statm: 3521714 23838 3500 1 0 3483785 0
[pid=32159/tid=32161] ppid=32156 vsize=14086856 memory=8243114992657236055 CPUtime=0.78 cores=1,3,5,7
/proc/32159/task/32161/stat : 32161 (java) R 32156 32159 31044 0 -1 4202560 15206 0 0 0 75 3 0 0 20 0 15 0 40923112 14424940544 23838 33554432000 4194304 4196468 140729633044688 140127920352416 140127555466824 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12279808 140729633051733 140729633051913 140729633051913 140729633054671 0
[pid=32159/tid=32162] ppid=32156 vsize=14086856 memory=288284459286135670 CPUtime=0 cores=1,3,5,7
/proc/32159/task/32162/stat : 32162 (java) S 32156 32159 31044 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40923113 14424940544 23838 33554432000 4194304 4196468 140729633044688 140127872669968 140127916127957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12279808 140729633051733 140729633051913 140729633051913 140729633054671 0
[pid=32159/tid=32163] ppid=32156 vsize=14086856 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32159/task/32163/stat : 32163 (java) S 32156 32159 31044 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 40923113 14424940544 23838 33554432000 4194304 4196468 140729633044688 140127511177616 140127916127957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12279808 140729633051733 140729633051913 140729633051913 140729633054671 0
[pid=32159/tid=32164] ppid=32156 vsize=14086856 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32159/task/32164/stat : 32164 (java) S 32156 32159 31044 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 40923113 14424940544 23838 33554432000 4194304 4196468 140729633044688 140127510125072 140127916127957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12279808 140729633051733 140729633051913 140729633051913 140729633054671 0
[pid=32159/tid=32165] ppid=32156 vsize=14086856 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32159/task/32165/stat : 32165 (java) S 32156 32159 31044 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40923113 14424940544 23838 33554432000 4194304 4196468 140729633044688 140127509072528 140127916127957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12279808 140729633051733 140729633051913 140729633051913 140729633054671 0
[pid=32159/tid=32166] ppid=32156 vsize=14086856 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32159/task/32166/stat : 32166 (java) S 32156 32159 31044 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 40923114 14424940544 23838 33554432000 4194304 4196468 140729633044688 140127390087664 140127916128898 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12279808 140729633051733 140729633051913 140729633051913 140729633054671 0
[pid=32159/tid=32167] ppid=32156 vsize=14086856 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32159/task/32167/stat : 32167 (java) S 32156 32159 31044 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 40923115 14424940544 23838 33554432000 4194304 4196468 140729633044688 140127389033888 140127916127957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12279808 140729633051733 140729633051913 140729633051913 140729633054671 0
[pid=32159/tid=32168] ppid=32156 vsize=14086856 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32159/task/32168/stat : 32168 (java) S 32156 32159 31044 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 40923115 14424940544 23838 33554432000 4194304 4196468 140729633044688 140127387981296 140127916127957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12279808 140729633051733 140729633051913 140729633051913 140729633054671 0
[pid=32159/tid=32169] ppid=32156 vsize=14086856 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32159/task/32169/stat : 32169 (java) S 32156 32159 31044 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40923117 14424940544 23838 33554432000 4194304 4196468 140729633044688 140127386929872 140127916136347 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12279808 140729633051733 140729633051913 140729633051913 140729633054671 0
[pid=32159/tid=32170] ppid=32156 vsize=14086856 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/32159/task/32170/stat : 32170 (java) R 32156 32159 31044 0 -1 4202560 591 0 0 0 13 0 0 0 20 0 15 0 40923117 14424940544 23838 33554432000 4194304 4196468 140729633044688 140127385857480 140127900504864 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12279808 140729633051733 140729633051913 140729633051913 140729633054671 0
[pid=32159/tid=32171] ppid=32156 vsize=14086856 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/32159/task/32171/stat : 32171 (java) R 32156 32159 31044 0 -1 4202560 380 0 0 0 9 0 0 0 20 0 15 0 40923117 14424940544 23838 33554432000 4194304 4196468 140729633044688 140127384810432 140127900999004 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12279808 140729633051733 140729633051913 140729633051913 140729633054671 0
[pid=32159/tid=32172] ppid=32156 vsize=14086856 memory=0 CPUtime=0.22 cores=1,3,5,7
/proc/32159/task/32172/stat : 32172 (java) R 32156 32159 31044 0 -1 4202560 616 0 0 0 22 0 0 0 20 0 15 0 40923117 14424940544 23838 33554432000 4194304 4196468 140729633044688 140127383770560 140127895162275 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12279808 140729633051733 140729633051913 140729633051913 140729633054671 0
[pid=32159/tid=32173] ppid=32156 vsize=14086856 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32159/task/32173/stat : 32173 (java) S 32156 32159 31044 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40923118 14424940544 23838 33554432000 4194304 4196468 140729633044688 140127382719072 140127916127957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12279808 140729633051733 140729633051913 140729633051913 140729633054671 0
[pid=32159/tid=32174] ppid=32156 vsize=14086856 memory=1200 CPUtime=0 cores=1,3,5,7
/proc/32159/task/32174/stat : 32174 (java) S 32156 32159 31044 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40923118 14424940544 23838 33554432000 4194304 4196468 140729633044688 140127381666608 140127916128898 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12279808 140729633051733 140729633051913 140729633051913 140729633054671 0
Current children cumulated CPU time: 1.25 s
Current children cumulated vsize: 14086856 KiB
Current children cumulated memory: 95352 KiB
[startup+1.20068 s]
/proc/loadavg: 1.81 1.58 1.46 4/215 32174
/proc/meminfo: memFree=18946248/32770624 swapFree=67108860/67108860
[pid=32159] ppid=32156 vsize=14090952 memory=121424 CPUtime=1.99 cores=1,3,5,7
/proc/32159/stat : 32159 (java) S 32156 32159 31044 0 -1 1077944320 23544 0 0 0 194 5 0 0 20 0 15 0 40923112 14429134848 30356 33554432000 4194304 4196468 140729633044688 140729633027232 140127916117751 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12279808 140729633051733 140729633051913 140729633051913 140729633054671 0
/proc/32159/statm: 3522738 30356 3527 1 0 3484809 0
[pid=32159/tid=32161] ppid=32156 vsize=14090952 memory=0 CPUtime=1.17 cores=1,3,5,7
/proc/32159/task/32161/stat : 32161 (java) R 32156 32159 31044 0 -1 4202560 19325 0 0 0 113 4 0 0 20 0 15 0 40923112 14429134848 30356 33554432000 4194304 4196468 140729633044688 140127920334512 140127916139677 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12279808 140729633051733 140729633051913 140729633051913 140729633054671 0
[pid=32159/tid=32162] ppid=32156 vsize=14090952 memory=-7812193691855986592 CPUtime=0 cores=1,3,5,7
/proc/32159/task/32162/stat : 32162 (java) S 32156 32159 31044 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40923113 14429134848 30356 33554432000 4194304 4196468 140729633044688 140127872669968 140127916127957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12279808 140729633051733 140729633051913 140729633051913 140729633054671 0
[pid=32159/tid=32163] ppid=32156 vsize=14090952 memory=-6873162000112450758 CPUtime=0 cores=1,3,5,7
/proc/32159/task/32163/stat : 32163 (java) S 32156 32159 31044 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 40923113 14429134848 30356 33554432000 4194304 4196468 140729633044688 140127511177616 140127916127957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12279808 140729633051733 140729633051913 140729633051913 140729633054671 0
[pid=32159/tid=32164] ppid=32156 vsize=14090952 memory=-7088785026379990432 CPUtime=0 cores=1,3,5,7
/proc/32159/task/32164/stat : 32164 (java) S 32156 32159 31044 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 40923113 14429134848 30356 33554432000 4194304 4196468 140729633044688 140127510125072 140127916127957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12279808 140729633051733 140729633051913 140729633051913 140729633054671 0
[pid=32159/tid=32165] ppid=32156 vsize=14090952 memory=6944656425122700657 CPUtime=0 cores=1,3,5,7
/proc/32159/task/32165/stat : 32165 (java) S 32156 32159 31044 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40923113 14429134848 30356 33554432000 4194304 4196468 140729633044688 140127509072528 140127916127957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12279808 140729633051733 140729633051913 140729633051913 140729633054671 0
[pid=32159/tid=32166] ppid=32156 vsize=14090952 memory=-8990767739041718176 CPUtime=0 cores=1,3,5,7
/proc/32159/task/32166/stat : 32166 (java) S 32156 32159 31044 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 40923114 14429134848 30356 33554432000 4194304 4196468 140729633044688 140127390087664 140127916128898 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12279808 140729633051733 140729633051913 140729633051913 140729633054671 0
[pid=32159/tid=32167] ppid=32156 vsize=14090952 memory=6944656592455360560 CPUtime=0 cores=1,3,5,7
/proc/32159/task/32167/stat : 32167 (java) S 32156 32159 31044 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 40923115 14429134848 30356 33554432000 4194304 4196468 140729633044688 140127389033888 140127916127957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12279808 140729633051733 140729633051913 140729633051913 140729633054671 0
[pid=32159/tid=32168] ppid=32156 vsize=14090952 memory=-9178176116494409632 CPUtime=0 cores=1,3,5,7
/proc/32159/task/32168/stat : 32168 (java) S 32156 32159 31044 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 40923115 14429134848 30356 33554432000 4194304 4196468 140729633044688 140127387981296 140127916127957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12279808 140729633051733 140729633051913 140729633051913 140729633054671 0
[pid=32159/tid=32169] ppid=32156 vsize=14090952 memory=5495680832962010268 CPUtime=0 cores=1,3,5,7
/proc/32159/task/32169/stat : 32169 (java) S 32156 32159 31044 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40923117 14429134848 30356 33554432000 4194304 4196468 140729633044688 140127386929872 140127916136347 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12279808 140729633051733 140729633051913 140729633051913 140729633054671 0
[pid=32159/tid=32170] ppid=32156 vsize=14090952 memory=6943526294502006880 CPUtime=0.21 cores=1,3,5,7
/proc/32159/task/32170/stat : 32170 (java) S 32156 32159 31044 0 -1 1077944384 807 0 0 0 21 0 0 0 20 0 15 0 40923117 14429134848 30356 33554432000 4194304 4196468 140729633044688 140127385876464 140127916128898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12279808 140729633051733 140729633051913 140729633051913 140729633054671 0
[pid=32159/tid=32171] ppid=32156 vsize=14090952 memory=6944656592455359580 CPUtime=0.18 cores=1,3,5,7
/proc/32159/task/32171/stat : 32171 (java) S 32156 32159 31044 0 -1 1077944384 708 0 0 0 18 0 0 0 20 0 15 0 40923117 14429134848 30356 33554432000 4194304 4196468 140729633044688 140127384823920 140127916128898 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12279808 140729633051733 140729633051913 140729633051913 140729633054671 0
[pid=32159/tid=32172] ppid=32156 vsize=14090952 memory=6944656592455359580 CPUtime=0.39 cores=1,3,5,7
/proc/32159/task/32172/stat : 32172 (java) S 32156 32159 31044 0 -1 1077944384 1247 0 0 0 39 0 0 0 20 0 15 0 40923117 14429134848 30356 33554432000 4194304 4196468 140729633044688 140127383771376 140127916128898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12279808 140729633051733 140729633051913 140729633051913 140729633054671 0
[pid=32159/tid=32173] ppid=32156 vsize=14090952 memory=301741373374332954 CPUtime=0 cores=1,3,5,7
/proc/32159/task/32173/stat : 32173 (java) S 32156 32159 31044 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40923118 14429134848 30356 33554432000 4194304 4196468 140729633044688 140127382719072 140127916127957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12279808 140729633051733 140729633051913 140729633051913 140729633054671 0
[pid=32159/tid=32174] ppid=32156 vsize=14090952 memory=301741420686082359 CPUtime=0 cores=1,3,5,7
/proc/32159/task/32174/stat : 32174 (java) S 32156 32159 31044 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 15 0 40923118 14429134848 30356 33554432000 4194304 4196468 140729633044688 140127381666608 140127916128898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12279808 140729633051733 140729633051913 140729633051913 140729633054671 0
Current children cumulated CPU time: 1.99 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 121424 KiB
[startup+1.30061 s]*
/proc/loadavg: 1.81 1.58 1.46 3/202 32175
/proc/meminfo: memFree=19009624/32770624 swapFree=67108860/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 1.31024
CPU time (s): 2.23215
CPU user time (s): 2.16048
CPU system time (s): 0.071669
CPU usage (%): 170.362
Max. virtual memory (cumulated for all children) (KiB): 14090952
Max. memory (cumulated for all children) (KiB): 121424
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.16048
system time used= 0.071669
maximum resident set size= 130144
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25513
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= 2528
involuntary context switches= 4
# summary of solver processes directly reported to runsolver:
# pid: 32159
# total CPU time (s): 2.23215
# total CPU user time (s): 2.16048
# total CPU system time (s): 0.071669
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.024925 second user time and 0.061615 second system time
The end