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 (15033 MiB free)
memory of node 1: 16384 MiB (15053 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4274830-1502706695/watcher-4274830-1502706695 -o /tmp/evaluation-result-4274830-1502706695/solver-4274830-1502706695 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502658244-13744 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 1886888322 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4274830-1502706695.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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=20150, runsolver pid=20147
[startup+0.1002 s]*
/proc/loadavg: 1.34 1.30 1.35 3/205 20156
/proc/meminfo: memFree=30799988/32770624 swapFree=67108860/67108860
[pid=20150] ppid=20147 vsize=13440536 memory=17240 CPUtime=0.01 cores=0,2,4,6
/proc/20150/stat : 20150 (java) S 20147 20150 12395 0 -1 1077944320 3618 0 0 0 1 0 0 0 20 0 7 0 112580848 13763108864 4310 18446744073709551615 4194304 4196468 140735751599056 140735751581600 139801936981751 0 0 1 16784584 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 15515648 140735751606642 140735751606825 140735751606825 140735751610319 0
/proc/20150/statm: 3360134 4310 2042 1 0 3349631 0
[pid=20150/tid=20152] ppid=20147 vsize=13507100 memory=-6442799955264508256 CPUtime=0.01 cores=0,2,4,6
/proc/20150/task/20152/stat : 20152 (java) R 20147 20150 12395 0 -1 4202560 2312 0 0 0 1 0 0 0 20 0 8 0 112580856 13831270400 4310 18446744073709551615 4194304 4196468 140735751599056 139801941221808 139801921912448 0 4 1 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15515648 140735751606642 140735751606825 140735751606825 140735751610319 0
[pid=20150/tid=20153] ppid=20147 vsize=13507100 memory=5767616478642977161 CPUtime=0 cores=0,2,4,6
/proc/20150/task/20153/stat : 20153 (java) S 20147 20150 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 8 0 112580857 13831270400 4310 18446744073709551615 4194304 4196468 140735751599056 139801871415696 139801936991957 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15515648 140735751606642 140735751606825 140735751606825 140735751610319 0
[pid=20150/tid=20154] ppid=20147 vsize=13507100 memory=140088344446592 CPUtime=0 cores=0,2,4,6
/proc/20150/task/20154/stat : 20154 (java) S 20147 20150 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 8 0 112580857 13831270400 4310 18446744073709551615 4194304 4196468 140735751599056 139801870362896 139801936991957 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15515648 140735751606642 140735751606825 140735751606825 140735751610319 0
[pid=20150/tid=20155] ppid=20147 vsize=13507100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20150/task/20155/stat : 20155 (java) S 20147 20150 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 8 0 112580857 13831270400 4310 18446744073709551615 4194304 4196468 140735751599056 139801869310608 139801936991957 0 4 1 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15515648 140735751606642 140735751606825 140735751606825 140735751610319 0
[pid=20150/tid=20156] ppid=20147 vsize=13507100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20150/task/20156/stat : 20156 (java) S 20147 20150 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 8 0 112580857 13831270400 4310 18446744073709551615 4194304 4196468 140735751599056 139801868257808 139801936991957 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15515648 140735751606642 140735751606825 140735751606825 140735751610319 0
[pid=20150/tid=20157] ppid=20147 vsize=13507100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20150/task/20157/stat : 20157 (java) S 20147 20150 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 8 0 112580858 13831270400 4310 18446744073709551615 4194304 4196468 140735751599056 139801415764592 139801936992898 0 0 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15515648 140735751606642 140735751606825 140735751606825 140735751610319 0
[pid=20150/tid=20158] ppid=20147 vsize=13507100 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20150/task/20158/stat : 20158 (java) S 20147 20150 12395 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 8 0 112580859 13831270400 4310 18446744073709551615 4194304 4196468 140735751599056 139801414709456 139801936991957 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15515648 140735751606642 140735751606825 140735751606825 140735751610319 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 13440536 KiB
Current children cumulated memory: 17240 KiB
[startup+0.210137 s]*
/proc/loadavg: 1.34 1.30 1.35 4/214 20165
/proc/meminfo: memFree=30791716/32770624 swapFree=67108860/67108860
[pid=20150] ppid=20147 vsize=13976944 memory=32300 CPUtime=0.11 cores=0,2,4,6
/proc/20150/stat : 20150 (java) S 20147 20150 12395 0 -1 1077944320 6878 0 0 0 10 1 0 0 20 0 15 0 112580848 14312390656 8075 18446744073709551615 4194304 4196468 140735751599056 140735751581600 139801936981751 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 15515648 140735751606642 140735751606825 140735751606825 140735751610319 0
/proc/20150/statm: 3494236 8075 3384 1 0 3483015 0
[pid=20150/tid=20152] ppid=20147 vsize=13976944 memory=7751991766239058332 CPUtime=0.08 cores=0,2,4,6
/proc/20150/task/20152/stat : 20152 (java) R 20147 20150 12395 0 -1 4202560 4921 0 0 0 7 1 0 0 20 0 15 0 112580856 14312390656 8141 18446744073709551615 4194304 4196468 140735751599056 139801941191280 139801929661469 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 15515648 140735751606642 140735751606825 140735751606825 140735751610319 0
[pid=20150/tid=20153] ppid=20147 vsize=13976944 memory=732370226681900005 CPUtime=0 cores=0,2,4,6
/proc/20150/task/20153/stat : 20153 (java) S 20147 20150 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112580857 14312390656 8141 18446744073709551615 4194304 4196468 140735751599056 139801871415696 139801936991957 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15515648 140735751606642 140735751606825 140735751606825 140735751610319 0
[pid=20150/tid=20154] ppid=20147 vsize=13976944 memory=140088344446592 CPUtime=0 cores=0,2,4,6
/proc/20150/task/20154/stat : 20154 (java) S 20147 20150 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112580857 14312390656 8141 18446744073709551615 4194304 4196468 140735751599056 139801870362896 139801936991957 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15515648 140735751606642 140735751606825 140735751606825 140735751610319 0
[pid=20150/tid=20155] ppid=20147 vsize=13976944 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20150/task/20155/stat : 20155 (java) S 20147 20150 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112580857 14312390656 8141 18446744073709551615 4194304 4196468 140735751599056 139801869310608 139801936991957 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15515648 140735751606642 140735751606825 140735751606825 140735751610319 0
[pid=20150/tid=20156] ppid=20147 vsize=13976944 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20150/task/20156/stat : 20156 (java) S 20147 20150 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112580857 14312390656 8141 18446744073709551615 4194304 4196468 140735751599056 139801868257808 139801936991957 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15515648 140735751606642 140735751606825 140735751606825 140735751610319 0
[pid=20150/tid=20157] ppid=20147 vsize=13976944 memory=140088344446592 CPUtime=0 cores=0,2,4,6
/proc/20150/task/20157/stat : 20157 (java) S 20147 20150 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112580858 14312390656 8141 18446744073709551615 4194304 4196468 140735751599056 139801415764592 139801936992898 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15515648 140735751606642 140735751606825 140735751606825 140735751610319 0
[pid=20150/tid=20158] ppid=20147 vsize=13976944 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20150/task/20158/stat : 20158 (java) S 20147 20150 12395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 112580859 14312390656 8141 18446744073709551615 4194304 4196468 140735751599056 139801414710560 139801936991957 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15515648 140735751606642 140735751606825 140735751606825 140735751610319 0
[pid=20150/tid=20159] ppid=20147 vsize=13976944 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20150/task/20159/stat : 20159 (java) S 20147 20150 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 112580859 14312390656 8141 18446744073709551615 4194304 4196468 140735751599056 139801413658224 139801936991957 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15515648 140735751606642 140735751606825 140735751606825 140735751610319 0
[pid=20150/tid=20160] ppid=20147 vsize=13977904 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20150/task/20160/stat : 20160 (java) S 20147 20150 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112580861 14313373696 8207 18446744073709551615 4194304 4196468 140735751599056 139801412606544 139801937000347 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15515648 140735751606642 140735751606825 140735751606825 140735751610319 0
[pid=20150/tid=20161] ppid=20147 vsize=13977904 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20150/task/20161/stat : 20161 (java) S 20147 20150 12395 0 -1 1077944384 294 0 0 0 0 0 0 0 20 0 15 0 112580861 14313373696 8207 18446744073709551615 4194304 4196468 140735751599056 139801411553392 139801936992898 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15515648 140735751606642 140735751606825 140735751606825 140735751610319 0
[pid=20150/tid=20162] ppid=20147 vsize=13977904 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20150/task/20162/stat : 20162 (java) S 20147 20150 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112580861 14313373696 8207 18446744073709551615 4194304 4196468 140735751599056 139801410500592 139801936992898 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15515648 140735751606642 140735751606825 140735751606825 140735751610319 0
[pid=20150/tid=20163] ppid=20147 vsize=13977904 memory=140088344446592 CPUtime=0.01 cores=0,2,4,6
/proc/20150/task/20163/stat : 20163 (java) S 20147 20150 12395 0 -1 1077944384 370 0 0 0 1 0 0 0 20 0 15 0 112580861 14313373696 8207 18446744073709551615 4194304 4196468 140735751599056 139801409448304 139801936992898 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15515648 140735751606642 140735751606825 140735751606825 140735751610319 0
[pid=20150/tid=20164] ppid=20147 vsize=13977904 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20150/task/20164/stat : 20164 (java) S 20147 20150 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112580861 14313373696 8273 18446744073709551615 4194304 4196468 140735751599056 139801408395744 139801936991957 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15515648 140735751606642 140735751606825 140735751606825 140735751610319 0
[pid=20150/tid=20165] ppid=20147 vsize=13977904 memory=140088344446592 CPUtime=0 cores=0,2,4,6
/proc/20150/task/20165/stat : 20165 (java) S 20147 20150 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112580866 14313373696 8273 18446744073709551615 4194304 4196468 140735751599056 139801407343536 139801936992898 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15515648 140735751606642 140735751606825 140735751606825 140735751610319 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 13976944 KiB
Current children cumulated memory: 32300 KiB
[startup+0.310462 s]*
/proc/loadavg: 1.34 1.30 1.35 3/214 20165
/proc/meminfo: memFree=30781332/32770624 swapFree=67108860/67108860
[pid=20150] ppid=20147 vsize=13975920 memory=40644 CPUtime=0.27 cores=0,2,4,6
/proc/20150/stat : 20150 (java) S 20147 20150 12395 0 -1 1077944320 10383 0 0 0 24 3 0 0 20 0 15 0 112580848 14311342080 10161 18446744073709551615 4194304 4196468 140735751599056 140735751581600 139801936981751 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 15515648 140735751606642 140735751606825 140735751606825 140735751610319 0
/proc/20150/statm: 3493980 10161 3547 1 0 3482759 0
[pid=20150/tid=20152] ppid=20147 vsize=13975920 memory=-8774313645642428999 CPUtime=0.18 cores=0,2,4,6
/proc/20150/task/20152/stat : 20152 (java) R 20147 20150 12395 0 -1 4202560 8079 0 0 0 16 2 0 0 20 0 15 0 112580856 14311342080 10161 18446744073709551615 4194304 4196468 140735751599056 139801941200816 139801921062238 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 15515648 140735751606642 140735751606825 140735751606825 140735751610319 0
[pid=20150/tid=20153] ppid=20147 vsize=13975920 memory=-7003737579269690708 CPUtime=0 cores=0,2,4,6
/proc/20150/task/20153/stat : 20153 (java) S 20147 20150 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112580857 14311342080 10161 18446744073709551615 4194304 4196468 140735751599056 139801871415696 139801936991957 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15515648 140735751606642 140735751606825 140735751606825 140735751610319 0
[pid=20150/tid=20154] ppid=20147 vsize=13975920 memory=7031125463459224206 CPUtime=0 cores=0,2,4,6
/proc/20150/task/20154/stat : 20154 (java) S 20147 20150 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112580857 14311342080 10161 18446744073709551615 4194304 4196468 140735751599056 139801870362896 139801936991957 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15515648 140735751606642 140735751606825 140735751606825 140735751610319 0
[pid=20150/tid=20155] ppid=20147 vsize=13975920 memory=-7305533901252758645 CPUtime=0 cores=0,2,4,6
/proc/20150/task/20155/stat : 20155 (java) S 20147 20150 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112580857 14311342080 10161 18446744073709551615 4194304 4196468 140735751599056 139801869310608 139801936991957 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15515648 140735751606642 140735751606825 140735751606825 140735751610319 0
[pid=20150/tid=20156] ppid=20147 vsize=13975920 memory=7077796292425249400 CPUtime=0 cores=0,2,4,6
/proc/20150/task/20156/stat : 20156 (java) S 20147 20150 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112580857 14311342080 10161 18446744073709551615 4194304 4196468 140735751599056 139801868257808 139801936991957 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15515648 140735751606642 140735751606825 140735751606825 140735751610319 0
[pid=20150/tid=20157] ppid=20147 vsize=13975920 memory=140088344453585 CPUtime=0 cores=0,2,4,6
/proc/20150/task/20157/stat : 20157 (java) S 20147 20150 12395 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 112580858 14311342080 10161 18446744073709551615 4194304 4196468 140735751599056 139801415764592 139801936992898 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15515648 140735751606642 140735751606825 140735751606825 140735751610319 0
[pid=20150/tid=20158] ppid=20147 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20150/task/20158/stat : 20158 (java) S 20147 20150 12395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 112580859 14311342080 10161 18446744073709551615 4194304 4196468 140735751599056 139801414710560 139801936991957 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15515648 140735751606642 140735751606825 140735751606825 140735751610319 0
[pid=20150/tid=20159] ppid=20147 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20150/task/20159/stat : 20159 (java) S 20147 20150 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 112580859 14311342080 10161 18446744073709551615 4194304 4196468 140735751599056 139801413658224 139801936991957 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15515648 140735751606642 140735751606825 140735751606825 140735751610319 0
[pid=20150/tid=20160] ppid=20147 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20150/task/20160/stat : 20160 (java) S 20147 20150 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112580861 14311342080 10161 18446744073709551615 4194304 4196468 140735751599056 139801412606544 139801937000347 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15515648 140735751606642 140735751606825 140735751606825 140735751610319 0
[pid=20150/tid=20161] ppid=20147 vsize=13975920 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/20150/task/20161/stat : 20161 (java) S 20147 20150 12395 0 -1 1077944384 435 0 0 0 1 0 0 0 20 0 15 0 112580861 14311342080 10161 18446744073709551615 4194304 4196468 140735751599056 139801411553392 139801936992898 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15515648 140735751606642 140735751606825 140735751606825 140735751610319 0
[pid=20150/tid=20162] ppid=20147 vsize=13975920 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/20150/task/20162/stat : 20162 (java) R 20147 20150 12395 0 -1 4202560 112 0 0 0 1 0 0 0 20 0 15 0 112580861 14311342080 10161 18446744073709551615 4194304 4196468 140735751599056 139801410500592 139801917682048 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15515648 140735751606642 140735751606825 140735751606825 140735751610319 0
[pid=20150/tid=20163] ppid=20147 vsize=13975920 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/20150/task/20163/stat : 20163 (java) S 20147 20150 12395 0 -1 1077944384 388 0 0 0 5 0 0 0 20 0 15 0 112580861 14311342080 10161 18446744073709551615 4194304 4196468 140735751599056 139801409448304 139801936992898 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15515648 140735751606642 140735751606825 140735751606825 140735751610319 0
[pid=20150/tid=20164] ppid=20147 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20150/task/20164/stat : 20164 (java) S 20147 20150 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112580861 14311342080 10161 18446744073709551615 4194304 4196468 140735751599056 139801408395744 139801936991957 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15515648 140735751606642 140735751606825 140735751606825 140735751610319 0
[pid=20150/tid=20165] ppid=20147 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20150/task/20165/stat : 20165 (java) S 20147 20150 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112580866 14311342080 10161 18446744073709551615 4194304 4196468 140735751599056 139801407343536 139801936992898 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15515648 140735751606642 140735751606825 140735751606825 140735751610319 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 40644 KiB
[startup+0.704891 s]
/proc/loadavg: 1.34 1.30 1.35 4/214 20165
/proc/meminfo: memFree=30767612/32770624 swapFree=67108860/67108860
[pid=20150] ppid=20147 vsize=13977988 memory=67120 CPUtime=0.98 cores=0,2,4,6
/proc/20150/stat : 20150 (java) S 20147 20150 12395 0 -1 1077944320 13493 0 0 0 93 5 0 0 20 0 15 0 112580848 14313459712 16780 18446744073709551615 4194304 4196468 140735751599056 140735751581600 139801936981751 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 15515648 140735751606642 140735751606825 140735751606825 140735751610319 0
/proc/20150/statm: 3494497 16780 3722 1 0 3483271 0
[pid=20150/tid=20152] ppid=20147 vsize=13977988 memory=0 CPUtime=0.56 cores=0,2,4,6
/proc/20150/task/20152/stat : 20152 (java) R 20147 20150 12395 0 -1 4202560 10089 0 0 0 53 3 0 0 20 0 15 0 112580856 14313459712 16780 18446744073709551615 4194304 4196468 140735751599056 139801941210416 139801936993686 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 15515648 140735751606642 140735751606825 140735751606825 140735751610319 0
[pid=20150/tid=20153] ppid=20147 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20150/task/20153/stat : 20153 (java) S 20147 20150 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112580857 14313459712 16780 18446744073709551615 4194304 4196468 140735751599056 139801871415696 139801936991957 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15515648 140735751606642 140735751606825 140735751606825 140735751610319 0
[pid=20150/tid=20154] ppid=20147 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20150/task/20154/stat : 20154 (java) S 20147 20150 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112580857 14313459712 16780 18446744073709551615 4194304 4196468 140735751599056 139801870362896 139801936991957 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15515648 140735751606642 140735751606825 140735751606825 140735751610319 0
[pid=20150/tid=20155] ppid=20147 vsize=13977988 memory=60 CPUtime=0 cores=0,2,4,6
/proc/20150/task/20155/stat : 20155 (java) S 20147 20150 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112580857 14313459712 16780 18446744073709551615 4194304 4196468 140735751599056 139801869310608 139801936991957 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15515648 140735751606642 140735751606825 140735751606825 140735751610319 0
[pid=20150/tid=20156] ppid=20147 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20150/task/20156/stat : 20156 (java) S 20147 20150 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112580857 14313459712 16780 18446744073709551615 4194304 4196468 140735751599056 139801868257808 139801936991957 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15515648 140735751606642 140735751606825 140735751606825 140735751610319 0
[pid=20150/tid=20157] ppid=20147 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20150/task/20157/stat : 20157 (java) S 20147 20150 12395 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 112580858 14313459712 16780 18446744073709551615 4194304 4196468 140735751599056 139801415764592 139801936992898 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15515648 140735751606642 140735751606825 140735751606825 140735751610319 0
[pid=20150/tid=20158] ppid=20147 vsize=13977988 memory=8174711894690576437 CPUtime=0 cores=0,2,4,6
/proc/20150/task/20158/stat : 20158 (java) S 20147 20150 12395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 112580859 14313459712 16780 18446744073709551615 4194304 4196468 140735751599056 139801414710560 139801936991957 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15515648 140735751606642 140735751606825 140735751606825 140735751610319 0
[pid=20150/tid=20159] ppid=20147 vsize=13977988 memory=6440820644749795921 CPUtime=0 cores=0,2,4,6
/proc/20150/task/20159/stat : 20159 (java) S 20147 20150 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 112580859 14313459712 16780 18446744073709551615 4194304 4196468 140735751599056 139801413658224 139801936991957 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15515648 140735751606642 140735751606825 140735751606825 140735751610319 0
[pid=20150/tid=20160] ppid=20147 vsize=13977988 memory=5787776803188794432 CPUtime=0 cores=0,2,4,6
/proc/20150/task/20160/stat : 20160 (java) S 20147 20150 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112580861 14313459712 16780 18446744073709551615 4194304 4196468 140735751599056 139801412606544 139801937000347 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15515648 140735751606642 140735751606825 140735751606825 140735751610319 0
[pid=20150/tid=20161] ppid=20147 vsize=13977988 memory=170926128 CPUtime=0.08 cores=0,2,4,6
/proc/20150/task/20161/stat : 20161 (java) S 20147 20150 12395 0 -1 1077944384 765 0 0 0 8 0 0 0 20 0 15 0 112580861 14313459712 16780 18446744073709551615 4194304 4196468 140735751599056 139801411553392 139801936992898 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15515648 140735751606642 140735751606825 140735751606825 140735751610319 0
[pid=20150/tid=20162] ppid=20147 vsize=13977988 memory=4132 CPUtime=0.1 cores=0,2,4,6
/proc/20150/task/20162/stat : 20162 (java) R 20147 20150 12395 0 -1 4202560 500 0 0 0 10 0 0 0 20 0 15 0 112580861 14313459712 16780 18446744073709551615 4194304 4196468 140735751599056 139801410486472 139801918525468 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15515648 140735751606642 140735751606825 140735751606825 140735751610319 0
[pid=20150/tid=20163] ppid=20147 vsize=13977988 memory=0 CPUtime=0.2 cores=0,2,4,6
/proc/20150/task/20163/stat : 20163 (java) R 20147 20150 12395 0 -1 4202560 758 0 0 0 20 0 0 0 20 0 15 0 112580861 14313459712 16780 18446744073709551615 4194304 4196468 140735751599056 139801409448304 139801916696566 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15515648 140735751606642 140735751606825 140735751606825 140735751610319 0
[pid=20150/tid=20164] ppid=20147 vsize=13977988 memory=3688932537146809392 CPUtime=0 cores=0,2,4,6
/proc/20150/task/20164/stat : 20164 (java) S 20147 20150 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112580861 14313459712 16780 18446744073709551615 4194304 4196468 140735751599056 139801408395744 139801936991957 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15515648 140735751606642 140735751606825 140735751606825 140735751610319 0
[pid=20150/tid=20165] ppid=20147 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20150/task/20165/stat : 20165 (java) S 20147 20150 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112580866 14313459712 16780 18446744073709551615 4194304 4196468 140735751599056 139801407343536 139801936992898 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15515648 140735751606642 140735751606825 140735751606825 140735751610319 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 13977988 KiB
Current children cumulated memory: 67120 KiB
[startup+1.48426 s]
# the end of solver process 20150 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2.98312 s, system=0.100497 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.800848 s]
/proc/loadavg: 1.34 1.30 1.35 4/214 20165
/proc/meminfo: memFree=30767612/32770624 swapFree=67108860/67108860
[pid=20150] ppid=20147 vsize=13980036 memory=75544 CPUtime=1.14 cores=0,2,4,6
/proc/20150/stat : 20150 (java) S 20147 20150 12395 0 -1 1077944320 14110 0 0 0 109 5 0 0 20 0 15 0 112580848 14315556864 18886 18446744073709551615 4194304 4196468 140735751599056 140735751581600 139801936981751 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 15515648 140735751606642 140735751606825 140735751606825 140735751610319 0
/proc/20150/statm: 3495009 18886 3725 1 0 3483783 0
[pid=20150/tid=20152] ppid=20147 vsize=13980036 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/20150/task/20152/stat : 20152 (java) R 20147 20150 12395 0 -1 4202560 10562 0 0 0 63 3 0 0 20 0 15 0 112580856 14315556864 18886 18446744073709551615 4194304 4196468 140735751599056 139801941197072 139801922662456 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 15515648 140735751606642 140735751606825 140735751606825 140735751610319 0
[pid=20150/tid=20153] ppid=20147 vsize=13980036 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/20150/task/20153/stat : 20153 (java) S 20147 20150 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112580857 14315556864 18886 18446744073709551615 4194304 4196468 140735751599056 139801871415696 139801936991957 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15515648 140735751606642 140735751606825 140735751606825 140735751610319 0
[pid=20150/tid=20154] ppid=20147 vsize=13980036 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/20150/task/20154/stat : 20154 (java) S 20147 20150 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112580857 14315556864 18886 18446744073709551615 4194304 4196468 140735751599056 139801870362896 139801936991957 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15515648 140735751606642 140735751606825 140735751606825 140735751610319 0
[pid=20150/tid=20155] ppid=20147 vsize=13980036 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20150/task/20155/stat : 20155 (java) S 20147 20150 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112580857 14315556864 18886 18446744073709551615 4194304 4196468 140735751599056 139801869310608 139801936991957 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15515648 140735751606642 140735751606825 140735751606825 140735751610319 0
[pid=20150/tid=20156] ppid=20147 vsize=13980036 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/20150/task/20156/stat : 20156 (java) S 20147 20150 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112580857 14315556864 18886 18446744073709551615 4194304 4196468 140735751599056 139801868257808 139801936991957 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15515648 140735751606642 140735751606825 140735751606825 140735751610319 0
[pid=20150/tid=20157] ppid=20147 vsize=13980036 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20150/task/20157/stat : 20157 (java) S 20147 20150 12395 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 112580858 14315556864 18886 18446744073709551615 4194304 4196468 140735751599056 139801415764592 139801936992898 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15515648 140735751606642 140735751606825 140735751606825 140735751610319 0
[pid=20150/tid=20158] ppid=20147 vsize=13980036 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20150/task/20158/stat : 20158 (java) S 20147 20150 12395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 112580859 14315556864 18886 18446744073709551615 4194304 4196468 140735751599056 139801414710560 139801936991957 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15515648 140735751606642 140735751606825 140735751606825 140735751610319 0
[pid=20150/tid=20159] ppid=20147 vsize=13980036 memory=280176420261504 CPUtime=0 cores=0,2,4,6
/proc/20150/task/20159/stat : 20159 (java) S 20147 20150 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 112580859 14315556864 18886 18446744073709551615 4194304 4196468 140735751599056 139801413658224 139801936991957 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15515648 140735751606642 140735751606825 140735751606825 140735751610319 0
[pid=20150/tid=20160] ppid=20147 vsize=13980036 memory=280176420262448 CPUtime=0 cores=0,2,4,6
/proc/20150/task/20160/stat : 20160 (java) S 20147 20150 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112580861 14315556864 18886 18446744073709551615 4194304 4196468 140735751599056 139801412606544 139801937000347 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15515648 140735751606642 140735751606825 140735751606825 140735751610319 0
[pid=20150/tid=20161] ppid=20147 vsize=13980036 memory=2776 CPUtime=0.09 cores=0,2,4,6
/proc/20150/task/20161/stat : 20161 (java) S 20147 20150 12395 0 -1 1077944384 774 0 0 0 9 0 0 0 20 0 15 0 112580861 14315556864 18886 18446744073709551615 4194304 4196468 140735751599056 139801411553392 139801936992898 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15515648 140735751606642 140735751606825 140735751606825 140735751610319 0
[pid=20150/tid=20162] ppid=20147 vsize=13980036 memory=4068 CPUtime=0.12 cores=0,2,4,6
/proc/20150/task/20162/stat : 20162 (java) S 20147 20150 12395 0 -1 1077944384 535 0 0 0 12 0 0 0 20 0 15 0 112580861 14315556864 18886 18446744073709551615 4194304 4196468 140735751599056 139801410500592 139801936992898 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15515648 140735751606642 140735751606825 140735751606825 140735751610319 0
[pid=20150/tid=20163] ppid=20147 vsize=13980036 memory=1156 CPUtime=0.23 cores=0,2,4,6
/proc/20150/task/20163/stat : 20163 (java) S 20147 20150 12395 0 -1 1077944384 857 0 0 0 23 0 0 0 20 0 15 0 112580861 14315556864 18886 18446744073709551615 4194304 4196468 140735751599056 139801409448304 139801936992898 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15515648 140735751606642 140735751606825 140735751606825 140735751610319 0
[pid=20150/tid=20164] ppid=20147 vsize=13980036 memory=2944 CPUtime=0 cores=0,2,4,6
/proc/20150/task/20164/stat : 20164 (java) S 20147 20150 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112580861 14315556864 18886 18446744073709551615 4194304 4196468 140735751599056 139801408395744 139801936991957 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15515648 140735751606642 140735751606825 140735751606825 140735751610319 0
[pid=20150/tid=20165] ppid=20147 vsize=13980036 memory=162940 CPUtime=0 cores=0,2,4,6
/proc/20150/task/20165/stat : 20165 (java) S 20147 20150 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112580866 14315556864 18886 18446744073709551615 4194304 4196468 140735751599056 139801407343536 139801936992898 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15515648 140735751606642 140735751606825 140735751606825 140735751610319 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 13980036 KiB
Current children cumulated memory: 75544 KiB
[startup+1.20073 s]
/proc/loadavg: 1.34 1.30 1.35 5/214 20165
/proc/meminfo: memFree=30730396/32770624 swapFree=67108860/67108860
[pid=20150] ppid=20147 vsize=13982084 memory=113100 CPUtime=2.24 cores=0,2,4,6
/proc/20150/stat : 20150 (java) S 20147 20150 12395 0 -1 1077944320 25629 0 0 0 215 9 0 0 20 0 15 0 112580848 14317654016 28275 18446744073709551615 4194304 4196468 140735751599056 140735751581600 139801936981751 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 15515648 140735751606642 140735751606825 140735751606825 140735751610319 0
/proc/20150/statm: 3495521 28275 3745 1 0 3484295 0
[pid=20150/tid=20152] ppid=20147 vsize=13982084 memory=0 CPUtime=1.05 cores=0,2,4,6
/proc/20150/task/20152/stat : 20152 (java) R 20147 20150 12395 0 -1 4202560 13784 0 0 0 99 6 0 0 20 0 15 0 112580856 14317654016 28275 18446744073709551615 4194304 4196468 140735751599056 139801941218864 139801922367136 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 15515648 140735751606642 140735751606825 140735751606825 140735751610319 0
[pid=20150/tid=20153] ppid=20147 vsize=13982084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20150/task/20153/stat : 20153 (java) S 20147 20150 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112580857 14317654016 28275 18446744073709551615 4194304 4196468 140735751599056 139801871415696 139801936991957 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15515648 140735751606642 140735751606825 140735751606825 140735751610319 0
[pid=20150/tid=20154] ppid=20147 vsize=13982084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20150/task/20154/stat : 20154 (java) S 20147 20150 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112580857 14317654016 28275 18446744073709551615 4194304 4196468 140735751599056 139801870362896 139801936991957 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15515648 140735751606642 140735751606825 140735751606825 140735751610319 0
[pid=20150/tid=20155] ppid=20147 vsize=13982084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20150/task/20155/stat : 20155 (java) S 20147 20150 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112580857 14317654016 28275 18446744073709551615 4194304 4196468 140735751599056 139801869310608 139801936991957 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15515648 140735751606642 140735751606825 140735751606825 140735751610319 0
[pid=20150/tid=20156] ppid=20147 vsize=13982084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20150/task/20156/stat : 20156 (java) S 20147 20150 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112580857 14317654016 28275 18446744073709551615 4194304 4196468 140735751599056 139801868257808 139801936991957 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15515648 140735751606642 140735751606825 140735751606825 140735751610319 0
[pid=20150/tid=20157] ppid=20147 vsize=13982084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20150/task/20157/stat : 20157 (java) S 20147 20150 12395 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 112580858 14317654016 28275 18446744073709551615 4194304 4196468 140735751599056 139801415764592 139801936992898 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15515648 140735751606642 140735751606825 140735751606825 140735751610319 0
[pid=20150/tid=20158] ppid=20147 vsize=13982084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20150/task/20158/stat : 20158 (java) S 20147 20150 12395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 112580859 14317654016 28275 18446744073709551615 4194304 4196468 140735751599056 139801414710560 139801936991957 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15515648 140735751606642 140735751606825 140735751606825 140735751610319 0
[pid=20150/tid=20159] ppid=20147 vsize=13982084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20150/task/20159/stat : 20159 (java) S 20147 20150 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 112580859 14317654016 28275 18446744073709551615 4194304 4196468 140735751599056 139801413658224 139801936991957 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15515648 140735751606642 140735751606825 140735751606825 140735751610319 0
[pid=20150/tid=20160] ppid=20147 vsize=13982084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20150/task/20160/stat : 20160 (java) S 20147 20150 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112580861 14317654016 28275 18446744073709551615 4194304 4196468 140735751599056 139801412606544 139801937000347 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15515648 140735751606642 140735751606825 140735751606825 140735751610319 0
[pid=20150/tid=20161] ppid=20147 vsize=13982084 memory=280176420607504 CPUtime=0.37 cores=0,2,4,6
/proc/20150/task/20161/stat : 20161 (java) R 20147 20150 12395 0 -1 4202560 4115 0 0 0 36 1 0 0 20 0 15 0 112580861 14317654016 28275 18446744073709551615 4194304 4196468 140735751599056 139801411539712 139801916674851 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15515648 140735751606642 140735751606825 140735751606825 140735751610319 0
[pid=20150/tid=20162] ppid=20147 vsize=13982084 memory=3834028047951200288 CPUtime=0.4 cores=0,2,4,6
/proc/20150/task/20162/stat : 20162 (java) R 20147 20150 12395 0 -1 4202560 4057 0 0 0 40 0 0 0 20 0 15 0 112580861 14317654016 28275 18446744073709551615 4194304 4196468 140735751599056 139801410481608 139801929222732 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15515648 140735751606642 140735751606825 140735751606825 140735751610319 0
[pid=20150/tid=20163] ppid=20147 vsize=13982084 memory=0 CPUtime=0.39 cores=0,2,4,6
/proc/20150/task/20163/stat : 20163 (java) S 20147 20150 12395 0 -1 1077944384 2286 0 0 0 39 0 0 0 20 0 15 0 112580861 14317654016 28275 18446744073709551615 4194304 4196468 140735751599056 139801409448304 139801936992898 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15515648 140735751606642 140735751606825 140735751606825 140735751610319 0
[pid=20150/tid=20164] ppid=20147 vsize=13982084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20150/task/20164/stat : 20164 (java) S 20147 20150 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112580861 14317654016 28275 18446744073709551615 4194304 4196468 140735751599056 139801408395744 139801936991957 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15515648 140735751606642 140735751606825 140735751606825 140735751610319 0
[pid=20150/tid=20165] ppid=20147 vsize=13982084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20150/task/20165/stat : 20165 (java) S 20147 20150 12395 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 112580866 14317654016 28275 18446744073709551615 4194304 4196468 140735751599056 139801407343536 139801936992898 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15515648 140735751606642 140735751606825 140735751606825 140735751610319 0
Current children cumulated CPU time: 2.24 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 113100 KiB
[startup+1.40069 s]
/proc/loadavg: 1.34 1.30 1.35 5/214 20165
/proc/meminfo: memFree=30730396/32770624 swapFree=67108860/67108860
[pid=20150] ppid=20147 vsize=13982084 memory=120988 CPUtime=2.85 cores=0,2,4,6
/proc/20150/stat : 20150 (java) S 20147 20150 12395 0 -1 1077944320 27961 0 0 0 276 9 0 0 20 0 15 0 112580848 14317654016 30181 18446744073709551615 4194304 4196468 140735751599056 140735751581600 139801936981751 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 15515648 140735751606642 140735751606825 140735751606825 140735751610319 0
/proc/20150/statm: 3495521 30181 3753 1 0 3484295 0
[pid=20150/tid=20152] ppid=20147 vsize=13982084 memory=0 CPUtime=1.25 cores=0,2,4,6
/proc/20150/task/20152/stat : 20152 (java) R 20147 20150 12395 0 -1 4202560 14099 0 0 0 119 6 0 0 20 0 15 0 112580856 14317654016 30247 18446744073709551615 4194304 4196468 140735751599056 139801941217080 139801542001302 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 15515648 140735751606642 140735751606825 140735751606825 140735751610319 0
[pid=20150/tid=20153] ppid=20147 vsize=13982084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20150/task/20153/stat : 20153 (java) S 20147 20150 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112580857 14317654016 30247 18446744073709551615 4194304 4196468 140735751599056 139801871415696 139801936991957 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15515648 140735751606642 140735751606825 140735751606825 140735751610319 0
[pid=20150/tid=20154] ppid=20147 vsize=13982084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20150/task/20154/stat : 20154 (java) S 20147 20150 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112580857 14317654016 30247 18446744073709551615 4194304 4196468 140735751599056 139801870362896 139801936991957 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15515648 140735751606642 140735751606825 140735751606825 140735751610319 0
[pid=20150/tid=20155] ppid=20147 vsize=13982084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20150/task/20155/stat : 20155 (java) S 20147 20150 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112580857 14317654016 30247 18446744073709551615 4194304 4196468 140735751599056 139801869310608 139801936991957 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15515648 140735751606642 140735751606825 140735751606825 140735751610319 0
[pid=20150/tid=20156] ppid=20147 vsize=13982084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20150/task/20156/stat : 20156 (java) S 20147 20150 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112580857 14317654016 30247 18446744073709551615 4194304 4196468 140735751599056 139801868257808 139801936991957 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15515648 140735751606642 140735751606825 140735751606825 140735751610319 0
[pid=20150/tid=20157] ppid=20147 vsize=13982084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20150/task/20157/stat : 20157 (java) S 20147 20150 12395 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 112580858 14317654016 30247 18446744073709551615 4194304 4196468 140735751599056 139801415764592 139801936992898 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15515648 140735751606642 140735751606825 140735751606825 140735751610319 0
[pid=20150/tid=20158] ppid=20147 vsize=13982084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20150/task/20158/stat : 20158 (java) S 20147 20150 12395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 112580859 14317654016 30247 18446744073709551615 4194304 4196468 140735751599056 139801414710560 139801936991957 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15515648 140735751606642 140735751606825 140735751606825 140735751610319 0
[pid=20150/tid=20159] ppid=20147 vsize=13982084 memory=1118782 CPUtime=0 cores=0,2,4,6
/proc/20150/task/20159/stat : 20159 (java) S 20147 20150 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 112580859 14317654016 30247 18446744073709551615 4194304 4196468 140735751599056 139801413658224 139801936991957 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15515648 140735751606642 140735751606825 140735751606825 140735751610319 0
[pid=20150/tid=20160] ppid=20147 vsize=13982084 memory=13951 CPUtime=0 cores=0,2,4,6
/proc/20150/task/20160/stat : 20160 (java) S 20147 20150 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112580861 14317654016 30247 18446744073709551615 4194304 4196468 140735751599056 139801412606544 139801937000347 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15515648 140735751606642 140735751606825 140735751606825 140735751610319 0
[pid=20150/tid=20161] ppid=20147 vsize=13982084 memory=15344 CPUtime=0.56 cores=0,2,4,6
/proc/20150/task/20161/stat : 20161 (java) R 20147 20150 12395 0 -1 4202560 5277 0 0 0 55 1 0 0 20 0 15 0 112580861 14317654016 30247 18446744073709551615 4194304 4196468 140735751599056 139801411539416 139801929271200 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15515648 140735751606642 140735751606825 140735751606825 140735751610319 0
[pid=20150/tid=20162] ppid=20147 vsize=13982084 memory=0 CPUtime=0.6 cores=0,2,4,6
/proc/20150/task/20162/stat : 20162 (java) R 20147 20150 12395 0 -1 4202560 4860 0 0 0 60 0 0 0 20 0 15 0 112580861 14317654016 30247 18446744073709551615 4194304 4196468 140735751599056 139801410490704 139801918501430 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15515648 140735751606642 140735751606825 140735751606825 140735751610319 0
[pid=20150/tid=20163] ppid=20147 vsize=13982084 memory=0 CPUtime=0.4 cores=0,2,4,6
/proc/20150/task/20163/stat : 20163 (java) S 20147 20150 12395 0 -1 1077944384 2428 0 0 0 40 0 0 0 20 0 15 0 112580861 14317654016 30247 18446744073709551615 4194304 4196468 140735751599056 139801409448304 139801936992898 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15515648 140735751606642 140735751606825 140735751606825 140735751610319 0
[pid=20150/tid=20164] ppid=20147 vsize=13982084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20150/task/20164/stat : 20164 (java) S 20147 20150 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112580861 14317654016 30247 18446744073709551615 4194304 4196468 140735751599056 139801408395744 139801936991957 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15515648 140735751606642 140735751606825 140735751606825 140735751610319 0
[pid=20150/tid=20165] ppid=20147 vsize=13982084 memory=3119 CPUtime=0 cores=0,2,4,6
/proc/20150/task/20165/stat : 20165 (java) S 20147 20150 12395 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 112580866 14317654016 30247 18446744073709551615 4194304 4196468 140735751599056 139801407343536 139801936992898 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15515648 140735751606642 140735751606825 140735751606825 140735751610319 0
Current children cumulated CPU time: 2.85 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 120988 KiB
Child status: 0
Real time (s): 1.48432
CPU time (s): 3.08362
CPU user time (s): 2.98312
CPU system time (s): 0.100497
CPU usage (%): 207.746
Max. virtual memory (cumulated for all children) (KiB): 13982084
Max. memory (cumulated for all children) (KiB): 120988
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.98312
system time used= 0.100497
maximum resident set size= 127248
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29731
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= 2295
involuntary context switches= 8
# summary of solver processes directly reported to runsolver:
# pid: 20150
# total CPU time (s): 3.08362
# total CPU user time (s): 2.98312
# total CPU system time (s): 0.100497
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.031017 second user time and 0.059967 second system time
The end