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 (7572 MiB free)
memory of node 1: 16384 MiB (9234 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4290896-1532246276/watcher-4290896-1532246276 -o /tmp/evaluation-result-4290896-1532246276/solver-4290896-1532246276 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532226532-30581 --watchdog 2560 java -Xmx11000m -jar oscarCPXcsp3-conf_order.jar --randomseed 502331732 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4290896-1532246276.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=1187, runsolver pid=1184
Current StackSize limit: 8192 KiB
[startup+0.100678 s]*
/proc/loadavg: 1.56 1.50 1.41 3/215 1202
/proc/meminfo: memFree=17191188/32770624 swapFree=67108860/67108860
[pid=1187] ppid=1184 vsize=14082740 memory=31020 CPUtime=0.11 cores=0,2,4,6
/proc/1187/stat : 1187 (java) S 1184 1187 30550 0 -1 1077944320 6720 0 0 0 10 1 0 0 20 0 15 0 42190734 14420725760 7755 33554432000 4194304 4196468 140722827978832 140722827961376 140145664065271 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10829824 140722827981905 140722827982089 140722827982089 140722827984847 0
/proc/1187/statm: 3520685 7755 3131 1 0 3482761 0
[pid=1187/tid=1189] ppid=1184 vsize=14082740 memory=-8171376296011865461 CPUtime=0.08 cores=0,2,4,6
/proc/1187/task/1189/stat : 1189 (java) R 1184 1187 30550 0 -1 4202560 4790 0 0 0 8 0 0 0 20 0 15 0 42190735 14420725760 7868 33554432000 4194304 4196468 140722827978832 140145668277432 140145620666915 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10829824 140722827981905 140722827982089 140722827982089 140722827984847 0
[pid=1187/tid=1190] ppid=1184 vsize=14082740 memory=7948963741541478447 CPUtime=0 cores=0,2,4,6
/proc/1187/task/1190/stat : 1190 (java) S 1184 1187 30550 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42190735 14420725760 7868 33554432000 4194304 4196468 140722827978832 140145594153744 140145664075477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10829824 140722827981905 140722827982089 140722827982089 140722827984847 0
[pid=1187/tid=1191] ppid=1184 vsize=14082740 memory=140300518487680 CPUtime=0 cores=0,2,4,6
/proc/1187/task/1191/stat : 1191 (java) S 1184 1187 30550 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42190735 14420725760 7868 33554432000 4194304 4196468 140722827978832 140145593101200 140145664075477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10829824 140722827981905 140722827982089 140722827982089 140722827984847 0
[pid=1187/tid=1192] ppid=1184 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1187/task/1192/stat : 1192 (java) S 1184 1187 30550 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42190735 14420725760 7868 33554432000 4194304 4196468 140722827978832 140145592048656 140145664075477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10829824 140722827981905 140722827982089 140722827982089 140722827984847 0
[pid=1187/tid=1193] ppid=1184 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1187/task/1193/stat : 1193 (java) S 1184 1187 30550 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 42190735 14420725760 7868 33554432000 4194304 4196468 140722827978832 140145590996112 140145664075477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10829824 140722827981905 140722827982089 140722827982089 140722827984847 0
[pid=1187/tid=1194] ppid=1184 vsize=14082740 memory=140300518487680 CPUtime=0 cores=0,2,4,6
/proc/1187/task/1194/stat : 1194 (java) S 1184 1187 30550 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 42190737 14420725760 7868 33554432000 4194304 4196468 140722827978832 140145137924080 140145664076418 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10829824 140722827981905 140722827982089 140722827982089 140722827984847 0
[pid=1187/tid=1195] ppid=1184 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1187/task/1195/stat : 1195 (java) S 1184 1187 30550 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 42190737 14420725760 7868 33554432000 4194304 4196468 140722827978832 140145136870304 140145664075477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10829824 140722827981905 140722827982089 140722827982089 140722827984847 0
[pid=1187/tid=1196] ppid=1184 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1187/task/1196/stat : 1196 (java) S 1184 1187 30550 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 42190737 14420725760 7868 33554432000 4194304 4196468 140722827978832 140145135817712 140145664075477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10829824 140722827981905 140722827982089 140722827982089 140722827984847 0
[pid=1187/tid=1197] ppid=1184 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1187/task/1197/stat : 1197 (java) S 1184 1187 30550 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42190740 14420725760 7868 33554432000 4194304 4196468 140722827978832 140145134766288 140145664083867 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10829824 140722827981905 140722827982089 140722827982089 140722827984847 0
[pid=1187/tid=1198] ppid=1184 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1187/task/1198/stat : 1198 (java) S 1184 1187 30550 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 42190740 14420725760 7868 33554432000 4194304 4196468 140722827978832 140145133713904 140145664076418 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10829824 140722827981905 140722827982089 140722827982089 140722827984847 0
[pid=1187/tid=1199] ppid=1184 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1187/task/1199/stat : 1199 (java) S 1184 1187 30550 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42190740 14420725760 7868 33554432000 4194304 4196468 140722827978832 140145132661360 140145664076418 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10829824 140722827981905 140722827982089 140722827982089 140722827984847 0
[pid=1187/tid=1200] ppid=1184 vsize=14082740 memory=140300518487680 CPUtime=0.01 cores=0,2,4,6
/proc/1187/task/1200/stat : 1200 (java) R 1184 1187 30550 0 -1 4202560 272 0 0 0 1 0 0 0 20 0 15 0 42190740 14420725760 7868 33554432000 4194304 4196468 140722827978832 140145131608816 140145643023006 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10829824 140722827981905 140722827982089 140722827982089 140722827984847 0
[pid=1187/tid=1201] ppid=1184 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1187/task/1201/stat : 1201 (java) S 1184 1187 30550 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42190740 14420725760 7868 33554432000 4194304 4196468 140722827978832 140145130556512 140145664075477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10829824 140722827981905 140722827982089 140722827982089 140722827984847 0
[pid=1187/tid=1202] ppid=1184 vsize=14082740 memory=140300518487680 CPUtime=0 cores=0,2,4,6
/proc/1187/task/1202/stat : 1202 (java) S 1184 1187 30550 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42190740 14420725760 7868 33554432000 4194304 4196468 140722827978832 140145129503024 140145664076418 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10829824 140722827981905 140722827982089 140722827982089 140722827984847 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 31020 KiB
[startup+0.210517 s]*
/proc/loadavg: 1.56 1.50 1.41 4/215 1202
/proc/meminfo: memFree=17176236/32770624 swapFree=67108860/67108860
[pid=1187] ppid=1184 vsize=14082740 memory=46744 CPUtime=0.28 cores=0,2,4,6
/proc/1187/stat : 1187 (java) S 1184 1187 30550 0 -1 1077944320 10330 0 0 0 26 2 0 0 20 0 15 0 42190734 14420725760 11686 33554432000 4194304 4196468 140722827978832 140722827961376 140145664065271 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10829824 140722827981905 140722827982089 140722827982089 140722827984847 0
/proc/1187/statm: 3520685 11686 3271 1 0 3482761 0
[pid=1187/tid=1189] ppid=1184 vsize=14082740 memory=8389772277269004345 CPUtime=0.19 cores=0,2,4,6
/proc/1187/task/1189/stat : 1189 (java) R 1184 1187 30550 0 -1 4202560 8138 0 0 0 18 1 0 0 20 0 15 0 42190735 14420725760 11686 33554432000 4194304 4196468 140722827978832 140145668294624 140145648108901 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10829824 140722827981905 140722827982089 140722827982089 140722827984847 0
[pid=1187/tid=1190] ppid=1184 vsize=14082740 memory=4294967638 CPUtime=0 cores=0,2,4,6
/proc/1187/task/1190/stat : 1190 (java) S 1184 1187 30550 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42190735 14420725760 11686 33554432000 4194304 4196468 140722827978832 140145594153744 140145664075477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10829824 140722827981905 140722827982089 140722827982089 140722827984847 0
[pid=1187/tid=1191] ppid=1184 vsize=14082740 memory=3473315255089952416 CPUtime=0 cores=0,2,4,6
/proc/1187/task/1191/stat : 1191 (java) S 1184 1187 30550 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42190735 14420725760 11686 33554432000 4194304 4196468 140722827978832 140145593101200 140145664075477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10829824 140722827981905 140722827982089 140722827982089 140722827984847 0
[pid=1187/tid=1192] ppid=1184 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1187/task/1192/stat : 1192 (java) S 1184 1187 30550 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42190735 14420725760 11686 33554432000 4194304 4196468 140722827978832 140145592048656 140145664075477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10829824 140722827981905 140722827982089 140722827982089 140722827984847 0
[pid=1187/tid=1193] ppid=1184 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1187/task/1193/stat : 1193 (java) S 1184 1187 30550 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 42190735 14420725760 11686 33554432000 4194304 4196468 140722827978832 140145590996112 140145664075477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10829824 140722827981905 140722827982089 140722827982089 140722827984847 0
[pid=1187/tid=1194] ppid=1184 vsize=14082740 memory=140300518487680 CPUtime=0 cores=0,2,4,6
/proc/1187/task/1194/stat : 1194 (java) S 1184 1187 30550 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 42190737 14420725760 11751 33554432000 4194304 4196468 140722827978832 140145137924080 140145664076418 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10829824 140722827981905 140722827982089 140722827982089 140722827984847 0
[pid=1187/tid=1195] ppid=1184 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1187/task/1195/stat : 1195 (java) S 1184 1187 30550 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 42190737 14420725760 11751 33554432000 4194304 4196468 140722827978832 140145136870304 140145664075477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10829824 140722827981905 140722827982089 140722827982089 140722827984847 0
[pid=1187/tid=1196] ppid=1184 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1187/task/1196/stat : 1196 (java) S 1184 1187 30550 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 42190737 14420725760 11751 33554432000 4194304 4196468 140722827978832 140145135817712 140145664075477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10829824 140722827981905 140722827982089 140722827982089 140722827984847 0
[pid=1187/tid=1197] ppid=1184 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1187/task/1197/stat : 1197 (java) S 1184 1187 30550 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42190740 14420725760 11751 33554432000 4194304 4196468 140722827978832 140145134766288 140145664083867 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10829824 140722827981905 140722827982089 140722827982089 140722827984847 0
[pid=1187/tid=1198] ppid=1184 vsize=14082740 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/1187/task/1198/stat : 1198 (java) R 1184 1187 30550 0 -1 1077944384 459 0 0 0 1 0 0 0 20 0 15 0 42190740 14420725760 11751 33554432000 4194304 4196468 140722827978832 140145133713904 140145664076418 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10829824 140722827981905 140722827982089 140722827982089 140722827984847 0
[pid=1187/tid=1199] ppid=1184 vsize=14082740 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/1187/task/1199/stat : 1199 (java) R 1184 1187 30550 0 -1 4202560 76 0 0 0 1 0 0 0 20 0 15 0 42190740 14420725760 11751 33554432000 4194304 4196468 140722827978832 140145132651472 140145644765568 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10829824 140722827981905 140722827982089 140722827982089 140722827984847 0
[pid=1187/tid=1200] ppid=1184 vsize=14082740 memory=140300518487680 CPUtime=0.05 cores=0,2,4,6
/proc/1187/task/1200/stat : 1200 (java) R 1184 1187 30550 0 -1 4202560 294 0 0 0 5 0 0 0 20 0 15 0 42190740 14420725760 11751 33554432000 4194304 4196468 140722827978832 140145131606608 140145642770128 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10829824 140722827981905 140722827982089 140722827982089 140722827984847 0
[pid=1187/tid=1201] ppid=1184 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1187/task/1201/stat : 1201 (java) S 1184 1187 30550 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42190740 14420725760 11751 33554432000 4194304 4196468 140722827978832 140145130556512 140145664075477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10829824 140722827981905 140722827982089 140722827982089 140722827984847 0
[pid=1187/tid=1202] ppid=1184 vsize=14082740 memory=140300518487680 CPUtime=0 cores=0,2,4,6
/proc/1187/task/1202/stat : 1202 (java) S 1184 1187 30550 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42190740 14420725760 11751 33554432000 4194304 4196468 140722827978832 140145129503024 140145664076418 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10829824 140722827981905 140722827982089 140722827982089 140722827984847 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 46744 KiB
[startup+0.310614 s]*
/proc/loadavg: 1.56 1.50 1.41 3/215 1202
/proc/meminfo: memFree=17173452/32770624 swapFree=67108860/67108860
[pid=1187] ppid=1184 vsize=14082740 memory=50408 CPUtime=0.44 cores=0,2,4,6
/proc/1187/stat : 1187 (java) S 1184 1187 30550 0 -1 1077944320 10777 0 0 0 41 3 0 0 20 0 15 0 42190734 14420725760 12602 33554432000 4194304 4196468 140722827978832 140722827961376 140145664065271 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10829824 140722827981905 140722827982089 140722827982089 140722827984847 0
/proc/1187/statm: 3520685 12602 3364 1 0 3482761 0
[pid=1187/tid=1189] ppid=1184 vsize=14082740 memory=6935054825532540783 CPUtime=0.29 cores=0,2,4,6
/proc/1187/task/1189/stat : 1189 (java) R 1184 1187 30550 0 -1 4202560 8471 0 0 0 27 2 0 0 20 0 15 0 42190735 14420725760 12602 33554432000 4194304 4196468 140722827978832 140145668276784 140145645628823 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10829824 140722827981905 140722827982089 140722827982089 140722827984847 0
[pid=1187/tid=1190] ppid=1184 vsize=14082740 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/1187/task/1190/stat : 1190 (java) S 1184 1187 30550 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42190735 14420725760 12602 33554432000 4194304 4196468 140722827978832 140145594153744 140145664075477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10829824 140722827981905 140722827982089 140722827982089 140722827984847 0
[pid=1187/tid=1191] ppid=1184 vsize=14082740 memory=4048 CPUtime=0 cores=0,2,4,6
/proc/1187/task/1191/stat : 1191 (java) S 1184 1187 30550 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42190735 14420725760 12602 33554432000 4194304 4196468 140722827978832 140145593101200 140145664075477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10829824 140722827981905 140722827982089 140722827982089 140722827984847 0
[pid=1187/tid=1192] ppid=1184 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1187/task/1192/stat : 1192 (java) S 1184 1187 30550 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42190735 14420725760 12602 33554432000 4194304 4196468 140722827978832 140145592048656 140145664075477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10829824 140722827981905 140722827982089 140722827982089 140722827984847 0
[pid=1187/tid=1193] ppid=1184 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1187/task/1193/stat : 1193 (java) S 1184 1187 30550 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 42190735 14420725760 12602 33554432000 4194304 4196468 140722827978832 140145590996112 140145664075477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10829824 140722827981905 140722827982089 140722827982089 140722827984847 0
[pid=1187/tid=1194] ppid=1184 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1187/task/1194/stat : 1194 (java) S 1184 1187 30550 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 42190737 14420725760 12602 33554432000 4194304 4196468 140722827978832 140145137924080 140145664076418 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10829824 140722827981905 140722827982089 140722827982089 140722827984847 0
[pid=1187/tid=1195] ppid=1184 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1187/task/1195/stat : 1195 (java) S 1184 1187 30550 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 42190737 14420725760 12602 33554432000 4194304 4196468 140722827978832 140145136870304 140145664075477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10829824 140722827981905 140722827982089 140722827982089 140722827984847 0
[pid=1187/tid=1196] ppid=1184 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1187/task/1196/stat : 1196 (java) S 1184 1187 30550 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 42190737 14420725760 12602 33554432000 4194304 4196468 140722827978832 140145135817712 140145664075477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10829824 140722827981905 140722827982089 140722827982089 140722827984847 0
[pid=1187/tid=1197] ppid=1184 vsize=14082740 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/1187/task/1197/stat : 1197 (java) S 1184 1187 30550 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42190740 14420725760 12602 33554432000 4194304 4196468 140722827978832 140145134766288 140145664083867 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10829824 140722827981905 140722827982089 140722827982089 140722827984847 0
[pid=1187/tid=1198] ppid=1184 vsize=14082740 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/1187/task/1198/stat : 1198 (java) S 1184 1187 30550 0 -1 1077944384 461 0 0 0 2 0 0 0 20 0 15 0 42190740 14420725760 12602 33554432000 4194304 4196468 140722827978832 140145133713904 140145664076418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10829824 140722827981905 140722827982089 140722827982089 140722827984847 0
[pid=1187/tid=1199] ppid=1184 vsize=14082740 memory=140300408419343 CPUtime=0.02 cores=0,2,4,6
/proc/1187/task/1199/stat : 1199 (java) S 1184 1187 30550 0 -1 1077944384 158 0 0 0 2 0 0 0 20 0 15 0 42190740 14420725760 12602 33554432000 4194304 4196468 140722827978832 140145132661360 140145664076418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10829824 140722827981905 140722827982089 140722827982089 140722827984847 0
[pid=1187/tid=1200] ppid=1184 vsize=14082740 memory=140300518488776 CPUtime=0.08 cores=0,2,4,6
/proc/1187/task/1200/stat : 1200 (java) S 1184 1187 30550 0 -1 1077944384 306 0 0 0 8 0 0 0 20 0 15 0 42190740 14420725760 12602 33554432000 4194304 4196468 140722827978832 140145131608816 140145664076418 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10829824 140722827981905 140722827982089 140722827982089 140722827984847 0
[pid=1187/tid=1201] ppid=1184 vsize=14082740 memory=140300408428463 CPUtime=0 cores=0,2,4,6
/proc/1187/task/1201/stat : 1201 (java) S 1184 1187 30550 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42190740 14420725760 12602 33554432000 4194304 4196468 140722827978832 140145130556512 140145664075477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10829824 140722827981905 140722827982089 140722827982089 140722827984847 0
[pid=1187/tid=1202] ppid=1184 vsize=14082740 memory=280600926951392 CPUtime=0 cores=0,2,4,6
/proc/1187/task/1202/stat : 1202 (java) S 1184 1187 30550 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42190740 14420725760 12602 33554432000 4194304 4196468 140722827978832 140145129503024 140145664076418 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10829824 140722827981905 140722827982089 140722827982089 140722827984847 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 50408 KiB
[startup+0.700785 s]
/proc/loadavg: 1.56 1.50 1.41 3/215 1202
/proc/meminfo: memFree=17149648/32770624 swapFree=67108860/67108860
[pid=1187] ppid=1184 vsize=14084808 memory=88712 CPUtime=0.99 cores=0,2,4,6
/proc/1187/stat : 1187 (java) S 1184 1187 30550 0 -1 1077944320 17599 0 0 0 94 5 0 0 20 0 15 0 42190734 14422843392 22178 33554432000 4194304 4196468 140722827978832 140722827961376 140145664065271 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10829824 140722827981905 140722827982089 140722827982089 140722827984847 0
/proc/1187/statm: 3521202 22178 3498 1 0 3483273 0
[pid=1187/tid=1189] ppid=1184 vsize=14084808 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/1187/task/1189/stat : 1189 (java) R 1184 1187 30550 0 -1 4202560 14899 0 0 0 63 4 0 0 20 0 15 0 42190735 14422843392 22178 33554432000 4194304 4196468 140722827978832 140145668287984 140145648145758 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10829824 140722827981905 140722827982089 140722827982089 140722827984847 0
[pid=1187/tid=1190] ppid=1184 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1187/task/1190/stat : 1190 (java) S 1184 1187 30550 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42190735 14422843392 22178 33554432000 4194304 4196468 140722827978832 140145594153744 140145664075477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10829824 140722827981905 140722827982089 140722827982089 140722827984847 0
[pid=1187/tid=1191] ppid=1184 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1187/task/1191/stat : 1191 (java) S 1184 1187 30550 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42190735 14422843392 22178 33554432000 4194304 4196468 140722827978832 140145593101200 140145664075477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10829824 140722827981905 140722827982089 140722827982089 140722827984847 0
[pid=1187/tid=1192] ppid=1184 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1187/task/1192/stat : 1192 (java) S 1184 1187 30550 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42190735 14422843392 22178 33554432000 4194304 4196468 140722827978832 140145592048656 140145664075477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10829824 140722827981905 140722827982089 140722827982089 140722827984847 0
[pid=1187/tid=1193] ppid=1184 vsize=14084808 memory=8751464017575688501 CPUtime=0 cores=0,2,4,6
/proc/1187/task/1193/stat : 1193 (java) S 1184 1187 30550 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 42190735 14422843392 22178 33554432000 4194304 4196468 140722827978832 140145590996112 140145664075477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10829824 140722827981905 140722827982089 140722827982089 140722827984847 0
[pid=1187/tid=1194] ppid=1184 vsize=14084808 memory=5931329040891795810 CPUtime=0 cores=0,2,4,6
/proc/1187/task/1194/stat : 1194 (java) S 1184 1187 30550 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 42190737 14422843392 22178 33554432000 4194304 4196468 140722827978832 140145137924080 140145664076418 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10829824 140722827981905 140722827982089 140722827982089 140722827984847 0
[pid=1187/tid=1195] ppid=1184 vsize=14084808 memory=7588675599774802240 CPUtime=0 cores=0,2,4,6
/proc/1187/task/1195/stat : 1195 (java) S 1184 1187 30550 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 42190737 14422843392 22178 33554432000 4194304 4196468 140722827978832 140145136870304 140145664075477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10829824 140722827981905 140722827982089 140722827982089 140722827984847 0
[pid=1187/tid=1196] ppid=1184 vsize=14084808 memory=4627829673402837600 CPUtime=0 cores=0,2,4,6
/proc/1187/task/1196/stat : 1196 (java) S 1184 1187 30550 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 42190737 14422843392 22178 33554432000 4194304 4196468 140722827978832 140145135817712 140145664075477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10829824 140722827981905 140722827982089 140722827982089 140722827984847 0
[pid=1187/tid=1197] ppid=1184 vsize=14084808 memory=-6520471753822164382 CPUtime=0 cores=0,2,4,6
/proc/1187/task/1197/stat : 1197 (java) S 1184 1187 30550 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42190740 14422843392 22178 33554432000 4194304 4196468 140722827978832 140145134766288 140145664083867 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10829824 140722827981905 140722827982089 140722827982089 140722827984847 0
[pid=1187/tid=1198] ppid=1184 vsize=14084808 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/1187/task/1198/stat : 1198 (java) S 1184 1187 30550 0 -1 1077944384 631 0 0 0 8 0 0 0 20 0 15 0 42190740 14422843392 22178 33554432000 4194304 4196468 140722827978832 140145133713904 140145664076418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10829824 140722827981905 140722827982089 140722827982089 140722827984847 0
[pid=1187/tid=1199] ppid=1184 vsize=14084808 memory=10 CPUtime=0.06 cores=0,2,4,6
/proc/1187/task/1199/stat : 1199 (java) S 1184 1187 30550 0 -1 1077944384 294 0 0 0 6 0 0 0 20 0 15 0 42190740 14422843392 22178 33554432000 4194304 4196468 140722827978832 140145132661360 140145664076418 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10829824 140722827981905 140722827982089 140722827982089 140722827984847 0
[pid=1187/tid=1200] ppid=1184 vsize=14084808 memory=-2127763225557620510 CPUtime=0.15 cores=0,2,4,6
/proc/1187/task/1200/stat : 1200 (java) S 1184 1187 30550 0 -1 1077944384 394 0 0 0 15 0 0 0 20 0 15 0 42190740 14422843392 22178 33554432000 4194304 4196468 140722827978832 140145131608816 140145664076418 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10829824 140722827981905 140722827982089 140722827982089 140722827984847 0
[pid=1187/tid=1201] ppid=1184 vsize=14084808 memory=1428 CPUtime=0 cores=0,2,4,6
/proc/1187/task/1201/stat : 1201 (java) S 1184 1187 30550 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42190740 14422843392 22178 33554432000 4194304 4196468 140722827978832 140145130556512 140145664075477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10829824 140722827981905 140722827982089 140722827982089 140722827984847 0
[pid=1187/tid=1202] ppid=1184 vsize=14084808 memory=15876 CPUtime=0 cores=0,2,4,6
/proc/1187/task/1202/stat : 1202 (java) S 1184 1187 30550 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42190740 14422843392 22178 33554432000 4194304 4196468 140722827978832 140145129503024 140145664076418 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10829824 140722827981905 140722827982089 140722827982089 140722827984847 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084808 KiB
Current children cumulated memory: 88712 KiB
[startup+1.36641 s]
# the end of solver process 1187 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2.84213 s, system=0.089837 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.804441 s]
/proc/loadavg: 1.56 1.50 1.41 3/215 1202
/proc/meminfo: memFree=17149648/32770624 swapFree=67108860/67108860
[pid=1187] ppid=1184 vsize=14086856 memory=97004 CPUtime=1.19 cores=0,2,4,6
/proc/1187/stat : 1187 (java) S 1184 1187 30550 0 -1 1077944320 18123 0 0 0 114 5 0 0 20 0 15 0 42190734 14424940544 24251 33554432000 4194304 4196468 140722827978832 140722827961376 140145664065271 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10829824 140722827981905 140722827982089 140722827982089 140722827984847 0
/proc/1187/statm: 3521714 24251 3499 1 0 3483785 0
[pid=1187/tid=1189] ppid=1184 vsize=14086856 memory=-8412621172359848557 CPUtime=0.77 cores=0,2,4,6
/proc/1187/task/1189/stat : 1189 (java) R 1184 1187 30550 0 -1 4202560 15273 0 0 0 73 4 0 0 20 0 15 0 42190735 14424940544 24251 33554432000 4194304 4196468 140722827978832 140145668298496 140145269439132 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10829824 140722827981905 140722827982089 140722827982089 140722827984847 0
[pid=1187/tid=1190] ppid=1184 vsize=14086856 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1187/task/1190/stat : 1190 (java) S 1184 1187 30550 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42190735 14424940544 24251 33554432000 4194304 4196468 140722827978832 140145594153744 140145664075477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10829824 140722827981905 140722827982089 140722827982089 140722827984847 0
[pid=1187/tid=1191] ppid=1184 vsize=14086856 memory=280600817135456 CPUtime=0 cores=0,2,4,6
/proc/1187/task/1191/stat : 1191 (java) S 1184 1187 30550 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42190735 14424940544 24251 33554432000 4194304 4196468 140722827978832 140145593101200 140145664075477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10829824 140722827981905 140722827982089 140722827982089 140722827984847 0
[pid=1187/tid=1192] ppid=1184 vsize=14086856 memory=140300408541007 CPUtime=0 cores=0,2,4,6
/proc/1187/task/1192/stat : 1192 (java) S 1184 1187 30550 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42190735 14424940544 24251 33554432000 4194304 4196468 140722827978832 140145592048656 140145664075477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10829824 140722827981905 140722827982089 140722827982089 140722827984847 0
[pid=1187/tid=1193] ppid=1184 vsize=14086856 memory=280600817086960 CPUtime=0 cores=0,2,4,6
/proc/1187/task/1193/stat : 1193 (java) S 1184 1187 30550 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 42190735 14424940544 24251 33554432000 4194304 4196468 140722827978832 140145590996112 140145664075477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10829824 140722827981905 140722827982089 140722827982089 140722827984847 0
[pid=1187/tid=1194] ppid=1184 vsize=14086856 memory=2110651015650644 CPUtime=0 cores=0,2,4,6
/proc/1187/task/1194/stat : 1194 (java) S 1184 1187 30550 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 42190737 14424940544 24251 33554432000 4194304 4196468 140722827978832 140145137924080 140145664076418 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10829824 140722827981905 140722827982089 140722827982089 140722827984847 0
[pid=1187/tid=1195] ppid=1184 vsize=14086856 memory=280600817098464 CPUtime=0 cores=0,2,4,6
/proc/1187/task/1195/stat : 1195 (java) S 1184 1187 30550 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 42190737 14424940544 24251 33554432000 4194304 4196468 140722827978832 140145136870304 140145664075477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10829824 140722827981905 140722827982089 140722827982089 140722827984847 0
[pid=1187/tid=1196] ppid=1184 vsize=14086856 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1187/task/1196/stat : 1196 (java) S 1184 1187 30550 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 42190737 14424940544 24251 33554432000 4194304 4196468 140722827978832 140145135817712 140145664075477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10829824 140722827981905 140722827982089 140722827982089 140722827984847 0
[pid=1187/tid=1197] ppid=1184 vsize=14086856 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1187/task/1197/stat : 1197 (java) S 1184 1187 30550 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42190740 14424940544 24251 33554432000 4194304 4196468 140722827978832 140145134766288 140145664083867 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10829824 140722827981905 140722827982089 140722827982089 140722827984847 0
[pid=1187/tid=1198] ppid=1184 vsize=14086856 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/1187/task/1198/stat : 1198 (java) S 1184 1187 30550 0 -1 1077944384 651 0 0 0 11 0 0 0 20 0 15 0 42190740 14424940544 24251 33554432000 4194304 4196468 140722827978832 140145133713904 140145664076418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10829824 140722827981905 140722827982089 140722827982089 140722827984847 0
[pid=1187/tid=1199] ppid=1184 vsize=14086856 memory=6872598998417432672 CPUtime=0.08 cores=0,2,4,6
/proc/1187/task/1199/stat : 1199 (java) R 1184 1187 30550 0 -1 4202560 305 0 0 0 8 0 0 0 20 0 15 0 42190740 14424940544 24251 33554432000 4194304 4196468 140722827978832 140145132659760 140145644454203 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10829824 140722827981905 140722827982089 140722827982089 140722827984847 0
[pid=1187/tid=1200] ppid=1184 vsize=14086856 memory=0 CPUtime=0.2 cores=0,2,4,6
/proc/1187/task/1200/stat : 1200 (java) R 1184 1187 30550 0 -1 1077944384 511 0 0 0 20 0 0 0 20 0 15 0 42190740 14424940544 24251 33554432000 4194304 4196468 140722827978832 140145131606608 140145664075477 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10829824 140722827981905 140722827982089 140722827982089 140722827984847 0
[pid=1187/tid=1201] ppid=1184 vsize=14086856 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/1187/task/1201/stat : 1201 (java) S 1184 1187 30550 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42190740 14424940544 24251 33554432000 4194304 4196468 140722827978832 140145130556512 140145664075477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10829824 140722827981905 140722827982089 140722827982089 140722827984847 0
[pid=1187/tid=1202] ppid=1184 vsize=14086856 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1187/task/1202/stat : 1202 (java) S 1184 1187 30550 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42190740 14424940544 24251 33554432000 4194304 4196468 140722827978832 140145129503024 140145664076418 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10829824 140722827981905 140722827982089 140722827982089 140722827984847 0
Current children cumulated CPU time: 1.19 s
Current children cumulated vsize: 14086856 KiB
Current children cumulated memory: 97004 KiB
[startup+1.20061 s]
/proc/loadavg: 1.56 1.50 1.41 5/215 1202
/proc/meminfo: memFree=17083380/32770624 swapFree=67108860/67108860
[pid=1187] ppid=1184 vsize=14088904 memory=162688 CPUtime=2.45 cores=0,2,4,6
/proc/1187/stat : 1187 (java) S 1184 1187 30550 0 -1 1077944320 27191 0 0 0 238 7 0 0 20 0 15 0 42190734 14427037696 40672 33554432000 4194304 4196468 140722827978832 140722827961376 140145664065271 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10829824 140722827981905 140722827982089 140722827982089 140722827984847 0
/proc/1187/statm: 3522226 40672 3538 1 0 3484297 0
[pid=1187/tid=1189] ppid=1184 vsize=14088904 memory=13570392392484502 CPUtime=1.17 cores=0,2,4,6
/proc/1187/task/1189/stat : 1189 (java) R 1184 1187 30550 0 -1 4202560 20576 0 0 0 112 5 0 0 20 0 15 0 42190735 14427037696 40672 33554432000 4194304 4196468 140722827978832 140145668300288 140145269558125 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10829824 140722827981905 140722827982089 140722827982089 140722827984847 0
[pid=1187/tid=1190] ppid=1184 vsize=14088904 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1187/task/1190/stat : 1190 (java) S 1184 1187 30550 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42190735 14427037696 40672 33554432000 4194304 4196468 140722827978832 140145594153744 140145664075477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10829824 140722827981905 140722827982089 140722827982089 140722827984847 0
[pid=1187/tid=1191] ppid=1184 vsize=14088904 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1187/task/1191/stat : 1191 (java) S 1184 1187 30550 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42190735 14427037696 40672 33554432000 4194304 4196468 140722827978832 140145593101200 140145664075477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10829824 140722827981905 140722827982089 140722827982089 140722827984847 0
[pid=1187/tid=1192] ppid=1184 vsize=14088904 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1187/task/1192/stat : 1192 (java) S 1184 1187 30550 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42190735 14427037696 40672 33554432000 4194304 4196468 140722827978832 140145592048656 140145664075477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10829824 140722827981905 140722827982089 140722827982089 140722827984847 0
[pid=1187/tid=1193] ppid=1184 vsize=14088904 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1187/task/1193/stat : 1193 (java) S 1184 1187 30550 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 42190735 14427037696 40672 33554432000 4194304 4196468 140722827978832 140145590996112 140145664075477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10829824 140722827981905 140722827982089 140722827982089 140722827984847 0
[pid=1187/tid=1194] ppid=1184 vsize=14088904 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1187/task/1194/stat : 1194 (java) S 1184 1187 30550 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 42190737 14427037696 40672 33554432000 4194304 4196468 140722827978832 140145137924080 140145664076418 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10829824 140722827981905 140722827982089 140722827982089 140722827984847 0
[pid=1187/tid=1195] ppid=1184 vsize=14088904 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1187/task/1195/stat : 1195 (java) S 1184 1187 30550 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 42190737 14427037696 40672 33554432000 4194304 4196468 140722827978832 140145136870304 140145664075477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10829824 140722827981905 140722827982089 140722827982089 140722827984847 0
[pid=1187/tid=1196] ppid=1184 vsize=14088904 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1187/task/1196/stat : 1196 (java) S 1184 1187 30550 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 42190737 14427037696 40672 33554432000 4194304 4196468 140722827978832 140145135817712 140145664075477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10829824 140722827981905 140722827982089 140722827982089 140722827984847 0
[pid=1187/tid=1197] ppid=1184 vsize=14088904 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1187/task/1197/stat : 1197 (java) S 1184 1187 30550 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42190740 14427037696 40672 33554432000 4194304 4196468 140722827978832 140145134766288 140145664083867 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10829824 140722827981905 140722827982089 140722827982089 140722827984847 0
[pid=1187/tid=1198] ppid=1184 vsize=14088904 memory=0 CPUtime=0.5 cores=0,2,4,6
/proc/1187/task/1198/stat : 1198 (java) R 1184 1187 30550 0 -1 4202560 3194 0 0 0 50 0 0 0 20 0 15 0 42190740 14427037696 40672 33554432000 4194304 4196468 140722827978832 140145133699784 140145645586671 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10829824 140722827981905 140722827982089 140722827982089 140722827984847 0
[pid=1187/tid=1199] ppid=1184 vsize=14088904 memory=0 CPUtime=0.4 cores=0,2,4,6
/proc/1187/task/1199/stat : 1199 (java) R 1184 1187 30550 0 -1 4202560 1007 0 0 0 40 0 0 0 20 0 15 0 42190740 14427037696 40672 33554432000 4194304 4196468 140722827978832 140145132648144 140145647559403 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10829824 140722827981905 140722827982089 140722827982089 140722827984847 0
[pid=1187/tid=1200] ppid=1184 vsize=14088904 memory=0 CPUtime=0.35 cores=0,2,4,6
/proc/1187/task/1200/stat : 1200 (java) S 1184 1187 30550 0 -1 1077944384 1026 0 0 0 35 0 0 0 20 0 15 0 42190740 14427037696 40672 33554432000 4194304 4196468 140722827978832 140145131608816 140145664076418 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10829824 140722827981905 140722827982089 140722827982089 140722827984847 0
[pid=1187/tid=1201] ppid=1184 vsize=14088904 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1187/task/1201/stat : 1201 (java) S 1184 1187 30550 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42190740 14427037696 40672 33554432000 4194304 4196468 140722827978832 140145130556512 140145664075477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10829824 140722827981905 140722827982089 140722827982089 140722827984847 0
[pid=1187/tid=1202] ppid=1184 vsize=14088904 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1187/task/1202/stat : 1202 (java) S 1184 1187 30550 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 42190740 14427037696 40672 33554432000 4194304 4196468 140722827978832 140145129503024 140145664076418 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10829824 140722827981905 140722827982089 140722827982089 140722827984847 0
Current children cumulated CPU time: 2.45 s
Current children cumulated vsize: 14088904 KiB
Current children cumulated memory: 162688 KiB
[startup+1.30067 s]
/proc/loadavg: 1.56 1.50 1.41 5/215 1202
/proc/meminfo: memFree=17083380/32770624 swapFree=67108860/67108860
[pid=1187] ppid=1184 vsize=14090832 memory=191852 CPUtime=2.76 cores=0,2,4,6
/proc/1187/stat : 1187 (java) S 1184 1187 30550 0 -1 1077944320 28170 0 0 0 269 7 0 0 20 0 15 0 42190734 14429011968 47963 33554432000 4194304 4196468 140722827978832 140722827961376 140145664065271 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10829824 140722827981905 140722827982089 140722827982089 140722827984847 0
/proc/1187/statm: 3522708 47963 3543 1 0 3484779 0
[pid=1187/tid=1189] ppid=1184 vsize=14090832 memory=55 CPUtime=1.26 cores=0,2,4,6
/proc/1187/task/1189/stat : 1189 (java) R 1184 1187 30550 0 -1 4202560 20617 0 0 0 121 5 0 0 20 0 15 0 42190735 14429011968 47963 33554432000 4194304 4196468 140722827978832 140145668297600 140145664077206 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10829824 140722827981905 140722827982089 140722827982089 140722827984847 0
[pid=1187/tid=1190] ppid=1184 vsize=14090832 memory=121564 CPUtime=0 cores=0,2,4,6
/proc/1187/task/1190/stat : 1190 (java) S 1184 1187 30550 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42190735 14429011968 47963 33554432000 4194304 4196468 140722827978832 140145594153744 140145664075477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10829824 140722827981905 140722827982089 140722827982089 140722827984847 0
[pid=1187/tid=1191] ppid=1184 vsize=14090832 memory=15876 CPUtime=0 cores=0,2,4,6
/proc/1187/task/1191/stat : 1191 (java) S 1184 1187 30550 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42190735 14429011968 47963 33554432000 4194304 4196468 140722827978832 140145593101200 140145664075477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10829824 140722827981905 140722827982089 140722827982089 140722827984847 0
[pid=1187/tid=1192] ppid=1184 vsize=14090832 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1187/task/1192/stat : 1192 (java) S 1184 1187 30550 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42190735 14429011968 47963 33554432000 4194304 4196468 140722827978832 140145592048656 140145664075477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10829824 140722827981905 140722827982089 140722827982089 140722827984847 0
[pid=1187/tid=1193] ppid=1184 vsize=14090832 memory=280600817165408 CPUtime=0 cores=0,2,4,6
/proc/1187/task/1193/stat : 1193 (java) S 1184 1187 30550 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 42190735 14429011968 47963 33554432000 4194304 4196468 140722827978832 140145590996112 140145664075477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10829824 140722827981905 140722827982089 140722827982089 140722827984847 0
[pid=1187/tid=1194] ppid=1184 vsize=14090832 memory=280600817144448 CPUtime=0 cores=0,2,4,6
/proc/1187/task/1194/stat : 1194 (java) S 1184 1187 30550 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 42190737 14429011968 47963 33554432000 4194304 4196468 140722827978832 140145137924080 140145664076418 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10829824 140722827981905 140722827982089 140722827982089 140722827984847 0
[pid=1187/tid=1195] ppid=1184 vsize=14090832 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1187/task/1195/stat : 1195 (java) S 1184 1187 30550 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 42190737 14429011968 47963 33554432000 4194304 4196468 140722827978832 140145136870304 140145664075477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10829824 140722827981905 140722827982089 140722827982089 140722827984847 0
[pid=1187/tid=1196] ppid=1184 vsize=14090832 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1187/task/1196/stat : 1196 (java) S 1184 1187 30550 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 42190737 14429011968 47963 33554432000 4194304 4196468 140722827978832 140145135817712 140145664075477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10829824 140722827981905 140722827982089 140722827982089 140722827984847 0
[pid=1187/tid=1197] ppid=1184 vsize=14090832 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1187/task/1197/stat : 1197 (java) S 1184 1187 30550 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42190740 14429011968 47963 33554432000 4194304 4196468 140722827978832 140145134766288 140145664083867 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10829824 140722827981905 140722827982089 140722827982089 140722827984847 0
[pid=1187/tid=1198] ppid=1184 vsize=14090832 memory=140300408592816 CPUtime=0.6 cores=0,2,4,6
/proc/1187/task/1198/stat : 1198 (java) R 1184 1187 30550 0 -1 4202560 4018 0 0 0 60 0 0 0 20 0 15 0 42190740 14429011968 47963 33554432000 4194304 4196468 140722827978832 140145133699880 140145648987024 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10829824 140722827981905 140722827982089 140722827982089 140722827984847 0
[pid=1187/tid=1199] ppid=1184 vsize=14090832 memory=0 CPUtime=0.49 cores=0,2,4,6
/proc/1187/task/1199/stat : 1199 (java) R 1184 1187 30550 0 -1 4202560 1083 0 0 0 49 0 0 0 20 0 15 0 42190740 14429011968 47963 33554432000 4194304 4196468 140722827978832 140145132648800 140145648993811 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10829824 140722827981905 140722827982089 140722827982089 140722827984847 0
[pid=1187/tid=1200] ppid=1184 vsize=14090832 memory=0 CPUtime=0.37 cores=0,2,4,6
/proc/1187/task/1200/stat : 1200 (java) R 1184 1187 30550 0 -1 1077944384 1064 0 0 0 37 0 0 0 20 0 15 0 42190740 14429011968 47963 33554432000 4194304 4196468 140722827978832 140145131608816 140145664076418 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10829824 140722827981905 140722827982089 140722827982089 140722827984847 0
[pid=1187/tid=1201] ppid=1184 vsize=14090832 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/1187/task/1201/stat : 1201 (java) S 1184 1187 30550 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42190740 14429011968 47963 33554432000 4194304 4196468 140722827978832 140145130556512 140145664075477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10829824 140722827981905 140722827982089 140722827982089 140722827984847 0
[pid=1187/tid=1202] ppid=1184 vsize=14090832 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/1187/task/1202/stat : 1202 (java) S 1184 1187 30550 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 42190740 14429011968 47963 33554432000 4194304 4196468 140722827978832 140145129503024 140145664076418 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10829824 140722827981905 140722827982089 140722827982089 140722827984847 0
Current children cumulated CPU time: 2.76 s
Current children cumulated vsize: 14090832 KiB
Current children cumulated memory: 191852 KiB
Child status: 0
Real time (s): 1.36646
CPU time (s): 2.93197
CPU user time (s): 2.84213
CPU system time (s): 0.089837
CPU usage (%): 214.566
Max. virtual memory (cumulated for all children) (KiB): 14090832
Max. memory (cumulated for all children) (KiB): 191852
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.84213
system time used= 0.089837
maximum resident set size= 211920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28786
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= 1572
involuntary context switches= 8
# summary of solver processes directly reported to runsolver:
# pid: 1187
# total CPU time (s): 2.93197
# total CPU user time (s): 2.84213
# total CPU system time (s): 0.089837
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.041806 second user time and 0.046904 second system time
The end