runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4244900-1500684715/watcher-4244900-1500684715 -o /tmp/evaluation-result-4244900-1500684715/solver-4244900-1500684715 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1500682387-7775 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 94684057 HOME/instance-4244900-1500684715.xml
pid=17119
running on 8 cores: 0,2,4,6,8,10,12,14
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
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 15.56 14.96 13.21 11/272 17122
/proc/meminfo: memFree=31666248/32770624 swapFree=5880/239696
[pid=17122] ppid=17119 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17122/stat : 17122 (xcsp3-exec) S 17119 17122 7744 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3739229 9740288 346 33554432000 4194304 5098028 140732260704688 140732260702792 139764508795516 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 14483456 140732260709520 140732260709728 140732260709728 140732260712427 0
/proc/17122/statm: 2378 346 289 221 0 87 0
[startup+0.100066 s]
/proc/loadavg: 15.56 14.96 13.21 11/272 17122
/proc/meminfo: memFree=31666248/32770624 swapFree=5880/239696
[pid=17122] ppid=17119 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17122/stat : 17122 (xcsp3-exec) S 17119 17122 7744 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3739229 9740288 346 33554432000 4194304 5098028 140732260704688 140732260702792 139764508795516 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 14483456 140732260709520 140732260709728 140732260709728 140732260712427 0
/proc/17122/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200309 s]
/proc/loadavg: 15.56 14.96 13.21 11/272 17122
/proc/meminfo: memFree=31666248/32770624 swapFree=5880/239696
[pid=17122] ppid=17119 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17122/stat : 17122 (xcsp3-exec) S 17119 17122 7744 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3739229 9740288 346 33554432000 4194304 5098028 140732260704688 140732260702792 139764508795516 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 14483456 140732260709520 140732260709728 140732260709728 140732260712427 0
/proc/17122/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.30034 s]
/proc/loadavg: 15.56 14.96 13.21 11/272 17122
/proc/meminfo: memFree=31666248/32770624 swapFree=5880/239696
[pid=17122] ppid=17119 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17122/stat : 17122 (xcsp3-exec) S 17119 17122 7744 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3739229 9740288 346 33554432000 4194304 5098028 140732260704688 140732260702792 139764508795516 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 14483456 140732260709520 140732260709728 140732260709728 140732260712427 0
/proc/17122/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700131 s]
/proc/loadavg: 15.56 14.96 13.21 11/272 17122
/proc/meminfo: memFree=31666248/32770624 swapFree=5880/239696
[pid=17122] ppid=17119 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17122/stat : 17122 (xcsp3-exec) S 17119 17122 7744 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3739229 9740288 346 33554432000 4194304 5098028 140732260704688 140732260702792 139764508795516 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 14483456 140732260709520 140732260709728 140732260709728 140732260712427 0
/proc/17122/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50152 s]
/proc/loadavg: 15.12 14.88 13.20 21/301 17199
/proc/meminfo: memFree=31501508/32770624 swapFree=5880/239728
[pid=17122] ppid=17119 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17122/stat : 17122 (xcsp3-exec) S 17119 17122 7744 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3739229 9740288 346 33554432000 4194304 5098028 140732260704688 140732260702792 139764508795516 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 14483456 140732260709520 140732260709728 140732260709728 140732260712427 0
/proc/17122/statm: 2378 346 289 221 0 87 0
[pid=17123] ppid=17122 vsize=13802796 CPUtime=7.14 cores=0,2,4,6,8,10,12,14
/proc/17123/stat : 17123 (java) S 17122 17122 7744 0 -1 1077944320 17395 0 0 0 703 11 0 0 20 0 28 0 3739229 14134063104 47679 33554432000 4194304 4196468 140734306257424 140734306239968 140130625388279 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 21966848 140734306264252 140734306264428 140734306264428 140734306267087 0
/proc/17123/statm: 3450699 47679 3240 1 0 3437932 0
[pid=17123/tid=17124] ppid=17122 vsize=13802796 CPUtime=0.85 cores=0,2,4,6,8,10,12,14
/proc/17123/task/17124/stat : 17124 (java) S 17122 17122 7744 0 -1 1077944384 6883 0 0 0 81 4 0 0 20 0 28 0 3739230 14134063104 47679 33554432000 4194304 4196468 140734306257424 140130629629056 140130625398485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21966848 140734306264252 140734306264428 140734306264428 140734306267087 0
[pid=17123/tid=17126] ppid=17122 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17123/task/17126/stat : 17126 (java) S 17122 17122 7744 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 3739231 14134063104 47679 33554432000 4194304 4196468 140734306257424 140130557524752 140130625398485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21966848 140734306264252 140734306264428 140734306264428 140734306267087 0
[pid=17123/tid=17127] ppid=17122 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17123/task/17127/stat : 17127 (java) S 17122 17122 7744 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 28 0 3739231 14134063104 47679 33554432000 4194304 4196468 140734306257424 140130223360912 140130625398485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21966848 140734306264252 140734306264428 140734306264428 140734306267087 0
[pid=17123/tid=17128] ppid=17122 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17123/task/17128/stat : 17128 (java) S 17122 17122 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3739231 14134063104 47679 33554432000 4194304 4196468 140734306257424 140130222308368 140130625398485 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 21966848 140734306264252 140734306264428 140734306264428 140734306267087 0
[pid=17123/tid=17129] ppid=17122 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17123/task/17129/stat : 17129 (java) S 17122 17122 7744 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 3739231 14134063104 47679 33554432000 4194304 4196468 140734306257424 140130221255824 140130625398485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21966848 140734306264252 140734306264428 140734306264428 140734306267087 0
[pid=17123/tid=17130] ppid=17122 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17123/task/17130/stat : 17130 (java) S 17122 17122 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3739231 14134063104 47679 33554432000 4194304 4196468 140734306257424 140130220202256 140130625398485 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 21966848 140734306264252 140734306264428 140734306264428 140734306267087 0
[pid=17123/tid=17131] ppid=17122 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17123/task/17131/stat : 17131 (java) S 17122 17122 7744 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 28 0 3739231 14134063104 47679 33554432000 4194304 4196468 140734306257424 140130219149712 140130625398485 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 21966848 140734306264252 140734306264428 140734306264428 140734306267087 0
[pid=17123/tid=17132] ppid=17122 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17123/task/17132/stat : 17132 (java) S 17122 17122 7744 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 28 0 3739231 14134063104 47679 33554432000 4194304 4196468 140734306257424 140130218097168 140130625398485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21966848 140734306264252 140734306264428 140734306264428 140734306267087 0
[pid=17123/tid=17133] ppid=17122 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17123/task/17133/stat : 17133 (java) S 17122 17122 7744 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 28 0 3739231 14134063104 47679 33554432000 4194304 4196468 140734306257424 140130217044624 140130625398485 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 21966848 140734306264252 140734306264428 140734306264428 140734306267087 0
[pid=17123/tid=17134] ppid=17122 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17123/task/17134/stat : 17134 (java) S 17122 17122 7744 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 28 0 3739233 14134063104 47679 33554432000 4194304 4196468 140734306257424 140130154875376 140130625399426 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21966848 140734306264252 140734306264428 140734306264428 140734306267087 0
[pid=17123/tid=17135] ppid=17122 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17123/task/17135/stat : 17135 (java) S 17122 17122 7744 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 3739234 14134063104 47679 33554432000 4194304 4196468 140734306257424 140130086020512 140130625398485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21966848 140734306264252 140734306264428 140734306264428 140734306267087 0
[pid=17123/tid=17136] ppid=17122 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17123/task/17136/stat : 17136 (java) S 17122 17122 7744 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 3739234 14134063104 47679 33554432000 4194304 4196468 140734306257424 140130084967920 140130625398485 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 21966848 140734306264252 140734306264428 140734306264428 140734306267087 0
[pid=17123/tid=17137] ppid=17122 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17123/task/17137/stat : 17137 (java) S 17122 17122 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3739239 14134063104 47679 33554432000 4194304 4196468 140734306257424 140130083916496 140130625406875 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 21966848 140734306264252 140734306264428 140734306264428 140734306267087 0
[pid=17123/tid=17138] ppid=17122 vsize=13802796 CPUtime=0.72 cores=0,2,4,6,8,10,12,14
/proc/17123/task/17138/stat : 17138 (java) R 17122 17122 7744 0 -1 4202560 2115 0 0 0 72 0 0 0 20 0 28 0 3739239 14134063104 47679 33554432000 4194304 4196468 140734306257424 140130082848864 140130604899765 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 21966848 140734306264252 140734306264428 140734306264428 140734306267087 0
[pid=17123/tid=17139] ppid=17122 vsize=13802796 CPUtime=0.8 cores=0,2,4,6,8,10,12,14
/proc/17123/task/17139/stat : 17139 (java) R 17122 17122 7744 0 -1 4202560 1514 0 0 0 80 0 0 0 20 0 28 0 3739239 14134063104 47679 33554432000 4194304 4196468 140734306257424 140130081803448 140130606932513 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21966848 140734306264252 140734306264428 140734306264428 140734306267087 0
[pid=17123/tid=17140] ppid=17122 vsize=13802796 CPUtime=0.77 cores=0,2,4,6,8,10,12,14
/proc/17123/task/17140/stat : 17140 (java) R 17122 17122 7744 0 -1 4202560 1263 0 0 0 77 0 0 0 20 0 28 0 3739239 14134063104 47679 33554432000 4194304 4196468 140734306257424 140130080745088 140130606916129 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 21966848 140734306264252 140734306264428 140734306264428 140734306267087 0
[pid=17123/tid=17141] ppid=17122 vsize=13802796 CPUtime=0.79 cores=0,2,4,6,8,10,12,14
/proc/17123/task/17141/stat : 17141 (java) R 17122 17122 7744 0 -1 4202560 2989 0 0 0 79 0 0 0 20 0 28 0 3739239 14134063104 47679 33554432000 4194304 4196468 140734306257424 140130079705456 140130604356946 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21966848 140734306264252 140734306264428 140734306264428 140734306267087 0
[pid=17123/tid=17142] ppid=17122 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17123/task/17142/stat : 17142 (java) S 17122 17122 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3739239 14134063104 47679 33554432000 4194304 4196468 140734306257424 140130078653152 140130625398485 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 21966848 140734306264252 140734306264428 140734306264428 140734306267087 0
[pid=17123/tid=17143] ppid=17122 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17123/task/17143/stat : 17143 (java) S 17122 17122 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3739239 14134063104 47679 33554432000 4194304 4196468 140734306257424 140130077600688 140130625399426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21966848 140734306264252 140734306264428 140734306264428 140734306267087 0
[pid=17123/tid=17192] ppid=17122 vsize=13802796 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/17123/task/17192/stat : 17192 (java) R 17122 17122 7744 0 -1 4202560 19 0 0 0 26 0 0 0 20 0 28 0 3739338 14134063104 47679 33554432000 4194304 4196468 140734306257424 140130069028352 140130244083228 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 21966848 140734306264252 140734306264428 140734306264428 140734306267087 0
[pid=17123/tid=17193] ppid=17122 vsize=13802796 CPUtime=0.36 cores=0,2,4,6,8,10,12,14
/proc/17123/task/17193/stat : 17193 (java) R 17122 17122 7744 0 -1 4202560 18 0 0 0 36 0 0 0 20 0 28 0 3739338 14134063104 47679 33554432000 4194304 4196468 140734306257424 140130065875848 140734306695711 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 21966848 140734306264252 140734306264428 140734306264428 140734306267087 0
[pid=17123/tid=17194] ppid=17122 vsize=13802796 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/17123/task/17194/stat : 17194 (java) R 17122 17122 7744 0 -1 4202560 17 0 0 0 29 0 0 0 20 0 28 0 3739338 14134063104 47679 33554432000 4194304 4196468 140734306257424 140130063769176 140130240116544 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21966848 140734306264252 140734306264428 140734306264428 140734306267087 0
[pid=17123/tid=17195] ppid=17122 vsize=13802796 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/17123/task/17195/stat : 17195 (java) R 17122 17122 7744 0 -1 4202560 18 0 0 0 24 0 0 0 20 0 28 0 3739338 14134063104 47679 33554432000 4194304 4196468 140734306257424 140130066927088 140130244187169 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21966848 140734306264252 140734306264428 140734306264428 140734306267087 0
[pid=17123/tid=17196] ppid=17122 vsize=13802796 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/17123/task/17196/stat : 17196 (java) R 17122 17122 7744 0 -1 4202560 18 0 0 0 19 0 0 0 20 0 28 0 3739338 14134063104 47679 33554432000 4194304 4196468 140734306257424 140130061665256 140130243168340 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 21966848 140734306264252 140734306264428 140734306264428 140734306267087 0
[pid=17123/tid=17197] ppid=17122 vsize=13802796 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/17123/task/17197/stat : 17197 (java) R 17122 17122 7744 0 -1 4202560 18 0 0 0 25 0 0 0 20 0 28 0 3739338 14134063104 47679 33554432000 4194304 4196468 140734306257424 140130064821712 140130244010720 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21966848 140734306264252 140734306264428 140734306264428 140734306267087 0
[pid=17123/tid=17198] ppid=17122 vsize=13802796 CPUtime=0.36 cores=0,2,4,6,8,10,12,14
/proc/17123/task/17198/stat : 17198 (java) R 17122 17122 7744 0 -1 4202560 18 0 0 0 36 0 0 0 20 0 28 0 3739338 14134063104 47679 33554432000 4194304 4196468 140734306257424 140130070085928 140130243679132 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21966848 140734306264252 140734306264428 140734306264428 140734306267087 0
[pid=17123/tid=17199] ppid=17122 vsize=13802796 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/17123/task/17199/stat : 17199 (java) R 17122 17122 7744 0 -1 4202560 17 0 0 0 25 0 0 0 20 0 28 0 3739338 14134063104 47679 33554432000 4194304 4196468 140734306257424 140130067980472 140130243604818 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 21966848 140734306264252 140734306264428 140734306264428 140734306267087 0
Current children cumulated CPU time (s) 7.14
Current children cumulated vsize (KiB) 13812308
[startup+3.10128 s]
/proc/loadavg: 15.12 14.88 13.20 20/301 17207
/proc/meminfo: memFree=31486144/32770624 swapFree=5880/239728
[pid=17122] ppid=17119 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17122/stat : 17122 (xcsp3-exec) S 17119 17122 7744 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3739229 9740288 346 33554432000 4194304 5098028 140732260704688 140732260702792 139764508795516 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 14483456 140732260709520 140732260709728 140732260709728 140732260712427 0
/proc/17122/statm: 2378 346 289 221 0 87 0
[pid=17123] ppid=17122 vsize=13802796 CPUtime=19.81 cores=0,2,4,6,8,10,12,14
/proc/17123/stat : 17123 (java) S 17122 17122 7744 0 -1 1077944320 18228 0 0 0 1964 17 0 0 20 0 28 0 3739229 14134063104 53241 33554432000 4194304 4196468 140734306257424 140734306239968 140130625388279 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 21966848 140734306264252 140734306264428 140734306264428 140734306267087 0
/proc/17123/statm: 3450699 53241 3267 1 0 3437932 0
[pid=17123/tid=17124] ppid=17122 vsize=13802796 CPUtime=0.85 cores=0,2,4,6,8,10,12,14
/proc/17123/task/17124/stat : 17124 (java) S 17122 17122 7744 0 -1 1077944384 6884 0 0 0 81 4 0 0 20 0 28 0 3739230 14134063104 53241 33554432000 4194304 4196468 140734306257424 140130629629056 140130625398485 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 21966848 140734306264252 140734306264428 140734306264428 140734306267087 0
[pid=17123/tid=17126] ppid=17122 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17123/task/17126/stat : 17126 (java) S 17122 17122 7744 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 28 0 3739231 14134063104 53241 33554432000 4194304 4196468 140734306257424 140130557524752 140130625398485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21966848 140734306264252 140734306264428 140734306264428 140734306267087 0
[pid=17123/tid=17127] ppid=17122 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17123/task/17127/stat : 17127 (java) S 17122 17122 7744 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 3739231 14134063104 53241 33554432000 4194304 4196468 140734306257424 140130223360912 140130625398485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21966848 140734306264252 140734306264428 140734306264428 140734306267087 0
[pid=17123/tid=17128] ppid=17122 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17123/task/17128/stat : 17128 (java) S 17122 17122 7744 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 3739231 14134063104 53241 33554432000 4194304 4196468 140734306257424 140130222308368 140130625398485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21966848 140734306264252 140734306264428 140734306264428 140734306267087 0
[pid=17123/tid=17129] ppid=17122 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17123/task/17129/stat : 17129 (java) S 17122 17122 7744 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 3739231 14134063104 53241 33554432000 4194304 4196468 140734306257424 140130221255824 140130625398485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21966848 140734306264252 140734306264428 140734306264428 140734306267087 0
[pid=17123/tid=17130] ppid=17122 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17123/task/17130/stat : 17130 (java) S 17122 17122 7744 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 3739231 14134063104 53241 33554432000 4194304 4196468 140734306257424 140130220202256 140130625398485 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 21966848 140734306264252 140734306264428 140734306264428 140734306267087 0
[pid=17123/tid=17131] ppid=17122 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17123/task/17131/stat : 17131 (java) S 17122 17122 7744 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 3739231 14134063104 53241 33554432000 4194304 4196468 140734306257424 140130219149712 140130625398485 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 21966848 140734306264252 140734306264428 140734306264428 140734306267087 0
[pid=17123/tid=17132] ppid=17122 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17123/task/17132/stat : 17132 (java) S 17122 17122 7744 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 28 0 3739231 14134063104 53241 33554432000 4194304 4196468 140734306257424 140130218097168 140130625398485 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 21966848 140734306264252 140734306264428 140734306264428 140734306267087 0
[pid=17123/tid=17133] ppid=17122 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17123/task/17133/stat : 17133 (java) S 17122 17122 7744 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 28 0 3739231 14134063104 53241 33554432000 4194304 4196468 140734306257424 140130217044624 140130625398485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21966848 140734306264252 140734306264428 140734306264428 140734306267087 0
[pid=17123/tid=17134] ppid=17122 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17123/task/17134/stat : 17134 (java) S 17122 17122 7744 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 3739233 14134063104 53241 33554432000 4194304 4196468 140734306257424 140130154875376 140130625399426 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21966848 140734306264252 140734306264428 140734306264428 140734306267087 0
[pid=17123/tid=17135] ppid=17122 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17123/task/17135/stat : 17135 (java) S 17122 17122 7744 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 3739234 14134063104 53241 33554432000 4194304 4196468 140734306257424 140130086020512 140130625398485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21966848 140734306264252 140734306264428 140734306264428 140734306267087 0
[pid=17123/tid=17136] ppid=17122 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17123/task/17136/stat : 17136 (java) S 17122 17122 7744 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 3739234 14134063104 53241 33554432000 4194304 4196468 140734306257424 140130084967920 140130625398485 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 21966848 140734306264252 140734306264428 140734306264428 140734306267087 0
[pid=17123/tid=17137] ppid=17122 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17123/task/17137/stat : 17137 (java) S 17122 17122 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3739239 14134063104 53241 33554432000 4194304 4196468 140734306257424 140130083916496 140130625406875 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 21966848 140734306264252 140734306264428 140734306264428 140734306267087 0
[pid=17123/tid=17138] ppid=17122 vsize=13802796 CPUtime=1.51 cores=0,2,4,6,8,10,12,14
/proc/17123/task/17138/stat : 17138 (java) S 17122 17122 7744 0 -1 1077944384 2293 0 0 0 150 1 0 0 20 0 28 0 3739239 14134063104 53241 33554432000 4194304 4196468 140734306257424 140130082863088 140130625399426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21966848 140734306264252 140734306264428 140734306264428 140734306267087 0
[pid=17123/tid=17139] ppid=17122 vsize=13802796 CPUtime=1.4 cores=0,2,4,6,8,10,12,14
/proc/17123/task/17139/stat : 17139 (java) S 17122 17122 7744 0 -1 1077944384 1587 0 0 0 140 0 0 0 20 0 28 0 3739239 14134063104 53241 33554432000 4194304 4196468 140734306257424 140130081810544 140130625399426 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 21966848 140734306264252 140734306264428 140734306264428 140734306267087 0
[pid=17123/tid=17140] ppid=17122 vsize=13802796 CPUtime=1.42 cores=0,2,4,6,8,10,12,14
/proc/17123/task/17140/stat : 17140 (java) S 17122 17122 7744 0 -1 1077944384 1335 0 0 0 142 0 0 0 20 0 28 0 3739239 14134063104 53241 33554432000 4194304 4196468 140734306257424 140130080758000 140130625399426 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 21966848 140734306264252 140734306264428 140734306264428 140734306267087 0
[pid=17123/tid=17141] ppid=17122 vsize=13802796 CPUtime=0.91 cores=0,2,4,6,8,10,12,14
/proc/17123/task/17141/stat : 17141 (java) S 17122 17122 7744 0 -1 1077944384 3089 0 0 0 90 1 0 0 20 0 28 0 3739239 14134063104 53241 33554432000 4194304 4196468 140734306257424 140130079705456 140130625399426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21966848 140734306264252 140734306264428 140734306264428 140734306267087 0
[pid=17123/tid=17142] ppid=17122 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17123/task/17142/stat : 17142 (java) S 17122 17122 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3739239 14134063104 53241 33554432000 4194304 4196468 140734306257424 140130078653152 140130625398485 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 21966848 140734306264252 140734306264428 140734306264428 140734306267087 0
[pid=17123/tid=17143] ppid=17122 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17123/task/17143/stat : 17143 (java) S 17122 17122 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3739239 14134063104 53241 33554432000 4194304 4196468 140734306257424 140130077600688 140130625399426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21966848 140734306264252 140734306264428 140734306264428 140734306267087 0
Current children cumulated CPU time (s) 19.81
Current children cumulated vsize (KiB) 13812308
[startup+6.30159 s]
/proc/loadavg: 15.03 14.86 13.20 17/301 17215
/proc/meminfo: memFree=31509380/32770624 swapFree=5880/239740
[pid=17122] ppid=17119 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17122/stat : 17122 (xcsp3-exec) S 17119 17122 7744 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3739229 9740288 346 33554432000 4194304 5098028 140732260704688 140732260702792 139764508795516 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 14483456 140732260709520 140732260709728 140732260709728 140732260712427 0
/proc/17122/statm: 2378 346 289 221 0 87 0
[pid=17123] ppid=17122 vsize=13802796 CPUtime=45.19 cores=0,2,4,6,8,10,12,14
/proc/17123/stat : 17123 (java) S 17122 17122 7744 0 -1 1077944320 23410 0 0 0 4500 19 0 0 20 0 28 0 3739229 14134063104 52008 33554432000 4194304 4196468 140734306257424 140734306239968 140130625388279 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 21966848 140734306264252 140734306264428 140734306264428 140734306267087 0
/proc/17123/statm: 3450699 52008 3273 1 0 3437932 0
[pid=17123/tid=17124] ppid=17122 vsize=13802796 CPUtime=0.85 cores=0,2,4,6,8,10,12,14
/proc/17123/task/17124/stat : 17124 (java) S 17122 17122 7744 0 -1 1077944384 6884 0 0 0 81 4 0 0 20 0 28 0 3739230 14134063104 52008 33554432000 4194304 4196468 140734306257424 140130629629056 140130625398485 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 21966848 140734306264252 140734306264428 140734306264428 140734306267087 0
[pid=17123/tid=17126] ppid=17122 vsize=13802796 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/17123/task/17126/stat : 17126 (java) S 17122 17122 7744 0 -1 1077944384 39 0 0 0 1 0 0 0 20 0 28 0 3739231 14134063104 52008 33554432000 4194304 4196468 140734306257424 140130557524752 140130625398485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21966848 140734306264252 140734306264428 140734306264428 140734306267087 0
[pid=17123/tid=17127] ppid=17122 vsize=13802796 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/17123/task/17127/stat : 17127 (java) S 17122 17122 7744 0 -1 1077944384 52 0 0 0 1 1 0 0 20 0 28 0 3739231 14134063104 52008 33554432000 4194304 4196468 140734306257424 140130223360912 140130625398485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21966848 140734306264252 140734306264428 140734306264428 140734306267087 0
[pid=17123/tid=17128] ppid=17122 vsize=13802796 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/17123/task/17128/stat : 17128 (java) S 17122 17122 7744 0 -1 1077944384 51 0 0 0 1 0 0 0 20 0 28 0 3739231 14134063104 52008 33554432000 4194304 4196468 140734306257424 140130222308368 140130625398485 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 21966848 140734306264252 140734306264428 140734306264428 140734306267087 0
[pid=17123/tid=17129] ppid=17122 vsize=13802796 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/17123/task/17129/stat : 17129 (java) S 17122 17122 7744 0 -1 1077944384 139 0 0 0 1 1 0 0 20 0 28 0 3739231 14134063104 52008 33554432000 4194304 4196468 140734306257424 140130221255824 140130625398485 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 21966848 140734306264252 140734306264428 140734306264428 140734306267087 0
################
# More data... #
################
/proc/17123/task/17222/stat : 17222 (java) R 17122 17122 7744 0 -1 4202560 2297 0 0 0 20503 4 0 0 20 0 28 0 3740584 14134063104 243885 33554432000 4194304 4196468 140734306257424 140130063770296 140130244229371 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21966848 140734306264252 140734306264428 140734306264428 140734306267087 0
[pid=17123/tid=17223] ppid=17122 vsize=13802796 CPUtime=204.56 cores=0,2,4,6,8,10,12,14
/proc/17123/task/17223/stat : 17223 (java) R 17122 17122 7744 0 -1 4202560 2174 0 0 0 20453 3 0 0 20 0 28 0 3740584 14134063104 243885 33554432000 4194304 4196468 140734306257424 140130069033320 140734306695711 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 21966848 140734306264252 140734306264428 140734306264428 140734306267087 0
Current children cumulated CPU time (s) 1755.35
Current children cumulated vsize (KiB) 13812308
[startup+282.302 s]
/proc/loadavg: 15.93 15.52 13.90 17/299 17228
/proc/meminfo: memFree=27327964/32770624 swapFree=5880/240040
[pid=17122] ppid=17119 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17122/stat : 17122 (xcsp3-exec) S 17119 17122 7744 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3739229 9740288 346 33554432000 4194304 5098028 140732260704688 140732260702792 139764508795516 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 14483456 140732260709520 140732260709728 140732260709728 140732260712427 0
/proc/17122/statm: 2378 346 289 221 0 87 0
[pid=17123] ppid=17122 vsize=13802796 CPUtime=2231.58 cores=0,2,4,6,8,10,12,14
/proc/17123/stat : 17123 (java) S 17122 17122 7744 0 -1 1077944320 89010 0 0 0 222830 328 0 0 20 0 28 0 3739229 14134063104 320522 33554432000 4194304 4196468 140734306257424 140734306239968 140130625388279 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 21966848 140734306264252 140734306264428 140734306264428 140734306267087 0
/proc/17123/statm: 3450699 320522 3295 1 0 3437932 0
[pid=17123/tid=17124] ppid=17122 vsize=13802796 CPUtime=0.85 cores=0,2,4,6,8,10,12,14
/proc/17123/task/17124/stat : 17124 (java) S 17122 17122 7744 0 -1 1077944384 7089 0 0 0 81 4 0 0 20 0 28 0 3739230 14134063104 320522 33554432000 4194304 4196468 140734306257424 140130629629056 140130625398485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21966848 140734306264252 140734306264428 140734306264428 140734306267087 0
[pid=17123/tid=17126] ppid=17122 vsize=13802796 CPUtime=1.72 cores=0,2,4,6,8,10,12,14
/proc/17123/task/17126/stat : 17126 (java) S 17122 17122 7744 0 -1 1077944384 2044 0 0 0 144 28 0 0 20 0 28 0 3739231 14134063104 320522 33554432000 4194304 4196468 140734306257424 140130557524752 140130625398485 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 21966848 140734306264252 140734306264428 140734306264428 140734306267087 0
[pid=17123/tid=17127] ppid=17122 vsize=13802796 CPUtime=1.77 cores=0,2,4,6,8,10,12,14
/proc/17123/task/17127/stat : 17127 (java) S 17122 17122 7744 0 -1 1077944384 1521 0 0 0 149 28 0 0 20 0 28 0 3739231 14134063104 320522 33554432000 4194304 4196468 140734306257424 140130223360912 140130625398485 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 21966848 140734306264252 140734306264428 140734306264428 140734306267087 0
[pid=17123/tid=17128] ppid=17122 vsize=13802796 CPUtime=1.73 cores=0,2,4,6,8,10,12,14
/proc/17123/task/17128/stat : 17128 (java) S 17122 17122 7744 0 -1 1077944384 2298 0 0 0 146 27 0 0 20 0 28 0 3739231 14134063104 320522 33554432000 4194304 4196468 140734306257424 140130222308368 140130625398485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21966848 140734306264252 140734306264428 140734306264428 140734306267087 0
[pid=17123/tid=17129] ppid=17122 vsize=13802796 CPUtime=1.75 cores=0,2,4,6,8,10,12,14
/proc/17123/task/17129/stat : 17129 (java) S 17122 17122 7744 0 -1 1077944384 2699 0 0 0 146 29 0 0 20 0 28 0 3739231 14134063104 320522 33554432000 4194304 4196468 140734306257424 140130221255824 140130625398485 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 21966848 140734306264252 140734306264428 140734306264428 140734306267087 0
[pid=17123/tid=17130] ppid=17122 vsize=13802796 CPUtime=1.74 cores=0,2,4,6,8,10,12,14
/proc/17123/task/17130/stat : 17130 (java) S 17122 17122 7744 0 -1 1077944384 2153 0 0 0 146 28 0 0 20 0 28 0 3739231 14134063104 320522 33554432000 4194304 4196468 140734306257424 140130220202256 140130625398485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21966848 140734306264252 140734306264428 140734306264428 140734306267087 0
[pid=17123/tid=17131] ppid=17122 vsize=13802796 CPUtime=1.7 cores=0,2,4,6,8,10,12,14
/proc/17123/task/17131/stat : 17131 (java) S 17122 17122 7744 0 -1 1077944384 2541 0 0 0 142 28 0 0 20 0 28 0 3739231 14134063104 320522 33554432000 4194304 4196468 140734306257424 140130219149712 140130625398485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21966848 140734306264252 140734306264428 140734306264428 140734306267087 0
[pid=17123/tid=17132] ppid=17122 vsize=13802796 CPUtime=1.71 cores=0,2,4,6,8,10,12,14
/proc/17123/task/17132/stat : 17132 (java) S 17122 17122 7744 0 -1 1077944384 2083 0 0 0 142 29 0 0 20 0 28 0 3739231 14134063104 320522 33554432000 4194304 4196468 140734306257424 140130218097168 140130625398485 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 21966848 140734306264252 140734306264428 140734306264428 140734306267087 0
[pid=17123/tid=17133] ppid=17122 vsize=13802796 CPUtime=1.77 cores=0,2,4,6,8,10,12,14
/proc/17123/task/17133/stat : 17133 (java) S 17122 17122 7744 0 -1 1077944384 1616 0 0 0 149 28 0 0 20 0 28 0 3739231 14134063104 320522 33554432000 4194304 4196468 140734306257424 140130217044624 140130625398485 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 21966848 140734306264252 140734306264428 140734306264428 140734306267087 0
[pid=17123/tid=17134] ppid=17122 vsize=13802796 CPUtime=0.97 cores=0,2,4,6,8,10,12,14
/proc/17123/task/17134/stat : 17134 (java) S 17122 17122 7744 0 -1 1077944384 8695 0 0 0 55 42 0 0 20 0 28 0 3739233 14134063104 320522 33554432000 4194304 4196468 140734306257424 140130154875376 140130625399426 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21966848 140734306264252 140734306264428 140734306264428 140734306267087 0
[pid=17123/tid=17135] ppid=17122 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17123/task/17135/stat : 17135 (java) S 17122 17122 7744 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 3739234 14134063104 320522 33554432000 4194304 4196468 140734306257424 140130086020512 140130625398485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21966848 140734306264252 140734306264428 140734306264428 140734306267087 0
[pid=17123/tid=17136] ppid=17122 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17123/task/17136/stat : 17136 (java) S 17122 17122 7744 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 3739234 14134063104 320522 33554432000 4194304 4196468 140734306257424 140130084967920 140130625398485 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 21966848 140734306264252 140734306264428 140734306264428 140734306267087 0
[pid=17123/tid=17137] ppid=17122 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17123/task/17137/stat : 17137 (java) S 17122 17122 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3739239 14134063104 320522 33554432000 4194304 4196468 140734306257424 140130083916496 140130625406875 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 21966848 140734306264252 140734306264428 140734306264428 140734306267087 0
[pid=17123/tid=17138] ppid=17122 vsize=13802796 CPUtime=1.77 cores=0,2,4,6,8,10,12,14
/proc/17123/task/17138/stat : 17138 (java) S 17122 17122 7744 0 -1 1077944384 3762 0 0 0 176 1 0 0 20 0 28 0 3739239 14134063104 320522 33554432000 4194304 4196468 140734306257424 140130082863088 140130625399426 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 21966848 140734306264252 140734306264428 140734306264428 140734306267087 0
[pid=17123/tid=17139] ppid=17122 vsize=13802796 CPUtime=1.73 cores=0,2,4,6,8,10,12,14
/proc/17123/task/17139/stat : 17139 (java) S 17122 17122 7744 0 -1 1077944384 4437 0 0 0 173 0 0 0 20 0 28 0 3739239 14134063104 320522 33554432000 4194304 4196468 140734306257424 140130081810544 140130625399426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21966848 140734306264252 140734306264428 140734306264428 140734306267087 0
[pid=17123/tid=17140] ppid=17122 vsize=13802796 CPUtime=1.6 cores=0,2,4,6,8,10,12,14
/proc/17123/task/17140/stat : 17140 (java) S 17122 17122 7744 0 -1 1077944384 3757 0 0 0 160 0 0 0 20 0 28 0 3739239 14134063104 320522 33554432000 4194304 4196468 140734306257424 140130080758000 140130625399426 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 21966848 140734306264252 140734306264428 140734306264428 140734306267087 0
[pid=17123/tid=17141] ppid=17122 vsize=13802796 CPUtime=0.93 cores=0,2,4,6,8,10,12,14
/proc/17123/task/17141/stat : 17141 (java) S 17122 17122 7744 0 -1 1077944384 5242 0 0 0 92 1 0 0 20 0 28 0 3739239 14134063104 320522 33554432000 4194304 4196468 140734306257424 140130079705456 140130625399426 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 21966848 140734306264252 140734306264428 140734306264428 140734306267087 0
[pid=17123/tid=17142] ppid=17122 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17123/task/17142/stat : 17142 (java) S 17122 17122 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3739239 14134063104 320522 33554432000 4194304 4196468 140734306257424 140130078653152 140130625398485 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 21966848 140734306264252 140734306264428 140734306264428 140734306267087 0
[pid=17123/tid=17143] ppid=17122 vsize=13802796 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/17123/task/17143/stat : 17143 (java) S 17122 17122 7744 0 -1 1077944384 678 0 0 0 7 6 0 0 20 0 28 0 3739239 14134063104 320522 33554432000 4194304 4196468 140734306257424 140130077600688 140130625399426 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 7 0 0 6293624 6294260 21966848 140734306264252 140734306264428 140734306264428 140734306267087 0
[pid=17123/tid=17216] ppid=17122 vsize=13802796 CPUtime=264.41 cores=0,2,4,6,8,10,12,14
/proc/17123/task/17216/stat : 17216 (java) R 17122 17122 7744 0 -1 4202560 3752 0 0 0 26434 7 0 0 20 0 28 0 3740584 14134063104 320522 33554432000 4194304 4196468 140734306257424 140130065874312 140130243471044 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 21966848 140734306264252 140734306264428 140734306264428 140734306267087 0
[pid=17123/tid=17217] ppid=17122 vsize=13802796 CPUtime=264.66 cores=0,2,4,6,8,10,12,14
/proc/17123/task/17217/stat : 17217 (java) R 17122 17122 7744 0 -1 4202560 5119 0 0 0 26462 4 0 0 20 0 28 0 3740584 14134063104 320522 33554432000 4194304 4196468 140734306257424 140130061664728 140130244289410 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21966848 140734306264252 140734306264428 140734306264428 140734306267087 0
[pid=17123/tid=17218] ppid=17122 vsize=13802796 CPUtime=264.79 cores=0,2,4,6,8,10,12,14
/proc/17123/task/17218/stat : 17218 (java) R 17122 17122 7744 0 -1 4202560 4824 0 0 0 26475 4 0 0 20 0 28 0 3740584 14134063104 320522 33554432000 4194304 4196468 140734306257424 140130070088080 140130245152485 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21966848 140734306264252 140734306264428 140734306264428 140734306267087 0
[pid=17123/tid=17219] ppid=17122 vsize=13802796 CPUtime=263.86 cores=0,2,4,6,8,10,12,14
/proc/17123/task/17219/stat : 17219 (java) R 17122 17122 7744 0 -1 4202560 7220 0 0 0 26383 3 0 0 20 0 28 0 3740584 14134063104 320522 33554432000 4194304 4196468 140734306257424 140130064821760 140130244229255 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 21966848 140734306264252 140734306264428 140734306264428 140734306267087 0
[pid=17123/tid=17220] ppid=17122 vsize=13802796 CPUtime=264.09 cores=0,2,4,6,8,10,12,14
/proc/17123/task/17220/stat : 17220 (java) R 17122 17122 7744 0 -1 4202560 6204 0 0 0 26403 6 0 0 20 0 28 0 3740584 14134063104 320522 33554432000 4194304 4196468 140734306257424 140130067980248 140130245152504 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 21966848 140734306264252 140734306264428 140734306264428 140734306267087 0
[pid=17123/tid=17221] ppid=17122 vsize=13802796 CPUtime=263.7 cores=0,2,4,6,8,10,12,14
/proc/17123/task/17221/stat : 17221 (java) R 17122 17122 7744 0 -1 4202560 1152 0 0 0 26367 3 0 0 20 0 28 0 3740584 14134063104 320522 33554432000 4194304 4196468 140734306257424 140130066928376 140130243013509 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 21966848 140734306264252 140734306264428 140734306264428 140734306267087 0
[pid=17123/tid=17222] ppid=17122 vsize=13802796 CPUtime=264.43 cores=0,2,4,6,8,10,12,14
/proc/17123/task/17222/stat : 17222 (java) R 17122 17122 7744 0 -1 4202560 2435 0 0 0 26438 5 0 0 20 0 28 0 3740584 14134063104 320522 33554432000 4194304 4196468 140734306257424 140130063770296 140734306695711 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21966848 140734306264252 140734306264428 140734306264428 140734306267087 0
[pid=17123/tid=17223] ppid=17122 vsize=13802796 CPUtime=264 cores=0,2,4,6,8,10,12,14
/proc/17123/task/17223/stat : 17223 (java) R 17122 17122 7744 0 -1 4202560 2343 0 0 0 26395 5 0 0 20 0 28 0 3740584 14134063104 320522 33554432000 4194304 4196468 140734306257424 140130069033976 140130240456743 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21966848 140734306264252 140734306264428 140734306264428 140734306267087 0
Current children cumulated CPU time (s) 2231.58
Current children cumulated vsize (KiB) 13812308
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+303.601 s]
/proc/loadavg: 16.49 15.66 13.99 17/299 17331
/proc/meminfo: memFree=28692812/32770624 swapFree=5880/240092
[pid=17122] ppid=17119 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17122/stat : 17122 (xcsp3-exec) S 17119 17122 7744 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3739229 9740288 346 33554432000 4194304 5098028 140732260704688 140732260702792 139764508795516 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 14483456 140732260709520 140732260709728 140732260709728 140732260712427 0
/proc/17122/statm: 2378 346 289 221 0 87 0
[pid=17123] ppid=17122 vsize=13802796 CPUtime=2400.62 cores=0,2,4,6,8,10,12,14
/proc/17123/stat : 17123 (java) S 17122 17122 7744 0 -1 1077944320 97339 0 0 0 239657 405 0 0 20 0 28 0 3739229 14134063104 753674 33554432000 4194304 4196468 140734306257424 140734306239968 140130625388279 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 21966848 140734306264252 140734306264428 140734306264428 140734306267087 0
/proc/17123/statm: 3450699 753674 3295 1 0 3437932 0
[pid=17123/tid=17124] ppid=17122 vsize=13802796 CPUtime=0.85 cores=0,2,4,6,8,10,12,14
/proc/17123/task/17124/stat : 17124 (java) S 17122 17122 7744 0 -1 1077944384 7089 0 0 0 81 4 0 0 20 0 28 0 3739230 14134063104 753674 33554432000 4194304 4196468 140734306257424 140130629629056 140130625398485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21966848 140734306264252 140734306264428 140734306264428 140734306267087 0
[pid=17123/tid=17126] ppid=17122 vsize=13802796 CPUtime=1.95 cores=0,2,4,6,8,10,12,14
/proc/17123/task/17126/stat : 17126 (java) S 17122 17122 7744 0 -1 1077944384 2154 0 0 0 161 34 0 0 20 0 28 0 3739231 14134063104 753674 33554432000 4194304 4196468 140734306257424 140130557524752 140130625398485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21966848 140734306264252 140734306264428 140734306264428 140734306267087 0
[pid=17123/tid=17127] ppid=17122 vsize=13802796 CPUtime=2 cores=0,2,4,6,8,10,12,14
/proc/17123/task/17127/stat : 17127 (java) S 17122 17122 7744 0 -1 1077944384 1629 0 0 0 166 34 0 0 20 0 28 0 3739231 14134063104 753674 33554432000 4194304 4196468 140734306257424 140130223360912 140130625398485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21966848 140734306264252 140734306264428 140734306264428 140734306267087 0
[pid=17123/tid=17128] ppid=17122 vsize=13802796 CPUtime=1.97 cores=0,2,4,6,8,10,12,14
/proc/17123/task/17128/stat : 17128 (java) S 17122 17122 7744 0 -1 1077944384 2417 0 0 0 164 33 0 0 20 0 28 0 3739231 14134063104 753674 33554432000 4194304 4196468 140734306257424 140130222308368 140130625398485 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 21966848 140734306264252 140734306264428 140734306264428 140734306267087 0
[pid=17123/tid=17129] ppid=17122 vsize=13802796 CPUtime=1.99 cores=0,2,4,6,8,10,12,14
/proc/17123/task/17129/stat : 17129 (java) S 17122 17122 7744 0 -1 1077944384 2871 0 0 0 164 35 0 0 20 0 28 0 3739231 14134063104 753674 33554432000 4194304 4196468 140734306257424 140130221255824 140130625398485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21966848 140734306264252 140734306264428 140734306264428 140734306267087 0
[pid=17123/tid=17130] ppid=17122 vsize=13802796 CPUtime=1.96 cores=0,2,4,6,8,10,12,14
/proc/17123/task/17130/stat : 17130 (java) S 17122 17122 7744 0 -1 1077944384 2267 0 0 0 163 33 0 0 20 0 28 0 3739231 14134063104 753674 33554432000 4194304 4196468 140734306257424 140130220202256 140130625398485 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 21966848 140734306264252 140734306264428 140734306264428 140734306267087 0
[pid=17123/tid=17131] ppid=17122 vsize=13802796 CPUtime=1.92 cores=0,2,4,6,8,10,12,14
/proc/17123/task/17131/stat : 17131 (java) S 17122 17122 7744 0 -1 1077944384 2636 0 0 0 158 34 0 0 20 0 28 0 3739231 14134063104 753674 33554432000 4194304 4196468 140734306257424 140130219149712 140130625398485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21966848 140734306264252 140734306264428 140734306264428 140734306267087 0
[pid=17123/tid=17132] ppid=17122 vsize=13802796 CPUtime=1.97 cores=0,2,4,6,8,10,12,14
/proc/17123/task/17132/stat : 17132 (java) S 17122 17122 7744 0 -1 1077944384 2208 0 0 0 161 36 0 0 20 0 28 0 3739231 14134063104 753674 33554432000 4194304 4196468 140734306257424 140130218097168 140130625398485 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 21966848 140734306264252 140734306264428 140734306264428 140734306267087 0
[pid=17123/tid=17133] ppid=17122 vsize=13802796 CPUtime=2.03 cores=0,2,4,6,8,10,12,14
/proc/17123/task/17133/stat : 17133 (java) S 17122 17122 7744 0 -1 1077944384 1725 0 0 0 168 35 0 0 20 0 28 0 3739231 14134063104 753674 33554432000 4194304 4196468 140734306257424 140130217044624 140130625398485 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 21966848 140734306264252 140734306264428 140734306264428 140734306267087 0
[pid=17123/tid=17134] ppid=17122 vsize=13802796 CPUtime=1.02 cores=0,2,4,6,8,10,12,14
/proc/17123/task/17134/stat : 17134 (java) S 17122 17122 7744 0 -1 1077944384 13065 0 0 0 57 45 0 0 20 0 28 0 3739233 14134063104 753674 33554432000 4194304 4196468 140734306257424 140130154875376 140130625399426 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21966848 140734306264252 140734306264428 140734306264428 140734306267087 0
[pid=17123/tid=17135] ppid=17122 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17123/task/17135/stat : 17135 (java) S 17122 17122 7744 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 3739234 14134063104 753674 33554432000 4194304 4196468 140734306257424 140130086020512 140130625398485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21966848 140734306264252 140734306264428 140734306264428 140734306267087 0
[pid=17123/tid=17136] ppid=17122 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17123/task/17136/stat : 17136 (java) S 17122 17122 7744 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 3739234 14134063104 753674 33554432000 4194304 4196468 140734306257424 140130084967920 140130625398485 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 21966848 140734306264252 140734306264428 140734306264428 140734306267087 0
[pid=17123/tid=17137] ppid=17122 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17123/task/17137/stat : 17137 (java) S 17122 17122 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3739239 14134063104 753674 33554432000 4194304 4196468 140734306257424 140130083916496 140130625406875 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 21966848 140734306264252 140734306264428 140734306264428 140734306267087 0
[pid=17123/tid=17138] ppid=17122 vsize=13802796 CPUtime=1.77 cores=0,2,4,6,8,10,12,14
/proc/17123/task/17138/stat : 17138 (java) S 17122 17122 7744 0 -1 1077944384 3762 0 0 0 176 1 0 0 20 0 28 0 3739239 14134063104 753674 33554432000 4194304 4196468 140734306257424 140130082863088 140130625399426 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 21966848 140734306264252 140734306264428 140734306264428 140734306267087 0
[pid=17123/tid=17139] ppid=17122 vsize=13802796 CPUtime=1.73 cores=0,2,4,6,8,10,12,14
/proc/17123/task/17139/stat : 17139 (java) S 17122 17122 7744 0 -1 1077944384 4437 0 0 0 173 0 0 0 20 0 28 0 3739239 14134063104 753674 33554432000 4194304 4196468 140734306257424 140130081810544 140130625399426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21966848 140734306264252 140734306264428 140734306264428 140734306267087 0
[pid=17123/tid=17140] ppid=17122 vsize=13802796 CPUtime=1.6 cores=0,2,4,6,8,10,12,14
/proc/17123/task/17140/stat : 17140 (java) S 17122 17122 7744 0 -1 1077944384 3757 0 0 0 160 0 0 0 20 0 28 0 3739239 14134063104 753674 33554432000 4194304 4196468 140734306257424 140130080758000 140130625399426 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 21966848 140734306264252 140734306264428 140734306264428 140734306267087 0
[pid=17123/tid=17141] ppid=17122 vsize=13802796 CPUtime=0.93 cores=0,2,4,6,8,10,12,14
/proc/17123/task/17141/stat : 17141 (java) S 17122 17122 7744 0 -1 1077944384 5242 0 0 0 92 1 0 0 20 0 28 0 3739239 14134063104 753674 33554432000 4194304 4196468 140734306257424 140130079705456 140130625399426 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 21966848 140734306264252 140734306264428 140734306264428 140734306267087 0
[pid=17123/tid=17142] ppid=17122 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17123/task/17142/stat : 17142 (java) S 17122 17122 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3739239 14134063104 753674 33554432000 4194304 4196468 140734306257424 140130078653152 140130625398485 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 21966848 140734306264252 140734306264428 140734306264428 140734306267087 0
[pid=17123/tid=17143] ppid=17122 vsize=13802796 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/17123/task/17143/stat : 17143 (java) S 17122 17122 7744 0 -1 1077944384 680 0 0 0 8 7 0 0 20 0 28 0 3739239 14134063104 753674 33554432000 4194304 4196468 140734306257424 140130077600688 140130625399426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 7 0 0 6293624 6294260 21966848 140734306264252 140734306264428 140734306264428 140734306267087 0
[pid=17123/tid=17216] ppid=17122 vsize=13802796 CPUtime=285.39 cores=0,2,4,6,8,10,12,14
/proc/17123/task/17216/stat : 17216 (java) R 17122 17122 7744 0 -1 4202560 4386 0 0 0 28529 10 0 0 20 0 28 0 3740584 14134063104 753674 33554432000 4194304 4196468 140734306257424 140130065874952 140130238158787 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21966848 140734306264252 140734306264428 140734306264428 140734306267087 0
[pid=17123/tid=17217] ppid=17122 vsize=13802796 CPUtime=285.64 cores=0,2,4,6,8,10,12,14
/proc/17123/task/17217/stat : 17217 (java) R 17122 17122 7744 0 -1 4202560 6377 0 0 0 28554 10 0 0 20 0 28 0 3740584 14134063104 753674 33554432000 4194304 4196468 140734306257424 140130061664632 140130238158680 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21966848 140734306264252 140734306264428 140734306264428 140734306267087 0
[pid=17123/tid=17218] ppid=17122 vsize=13802796 CPUtime=285.74 cores=0,2,4,6,8,10,12,14
/proc/17123/task/17218/stat : 17218 (java) R 17122 17122 7744 0 -1 4202560 4884 0 0 0 28569 5 0 0 20 0 28 0 3740584 14134063104 753674 33554432000 4194304 4196468 140734306257424 140130070085688 140130245152466 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21966848 140734306264252 140734306264428 140734306264428 140734306267087 0
[pid=17123/tid=17219] ppid=17122 vsize=13802796 CPUtime=284.76 cores=0,2,4,6,8,10,12,14
/proc/17123/task/17219/stat : 17219 (java) R 17122 17122 7744 0 -1 4202560 7834 0 0 0 28471 5 0 0 20 0 28 0 3740584 14134063104 753674 33554432000 4194304 4196468 140734306257424 140130064824928 140130245151968 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 21966848 140734306264252 140734306264428 140734306264428 140734306267087 0
[pid=17123/tid=17220] ppid=17122 vsize=13802796 CPUtime=284.75 cores=0,2,4,6,8,10,12,14
/proc/17123/task/17220/stat : 17220 (java) R 17122 17122 7744 0 -1 4202560 6330 0 0 0 28466 9 0 0 20 0 28 0 3740584 14134063104 753674 33554432000 4194304 4196468 140734306257424 140130067980000 140130244084346 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21966848 140734306264252 140734306264428 140734306264428 140734306267087 0
[pid=17123/tid=17221] ppid=17122 vsize=13802796 CPUtime=284.38 cores=0,2,4,6,8,10,12,14
/proc/17123/task/17221/stat : 17221 (java) R 17122 17122 7744 0 -1 4202560 1178 0 0 0 28433 5 0 0 20 0 28 0 3740584 14134063104 753674 33554432000 4194304 4196468 140734306257424 140130066928328 140130244220880 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 21966848 140734306264252 140734306264428 140734306264428 140734306267087 0
[pid=17123/tid=17222] ppid=17122 vsize=13802796 CPUtime=285.4 cores=0,2,4,6,8,10,12,14
/proc/17123/task/17222/stat : 17222 (java) R 17122 17122 7744 0 -1 4202560 2464 0 0 0 28535 5 0 0 20 0 28 0 3740584 14134063104 753674 33554432000 4194304 4196468 140734306257424 140130063769944 140130243679346 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 21966848 140734306264252 140734306264428 140734306264428 140734306267087 0
[pid=17123/tid=17223] ppid=17122 vsize=13802796 CPUtime=284.94 cores=0,2,4,6,8,10,12,14
/proc/17123/task/17223/stat : 17223 (java) R 17122 17122 7744 0 -1 4202560 2601 0 0 0 28480 14 0 0 20 0 28 0 3740584 14134063104 753674 33554432000 4194304 4196468 140734306257424 140130069033176 140130242809920 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 21966848 140734306264252 140734306264428 140734306264428 140734306267087 0
Current children cumulated CPU time (s) 2400.62
Current children cumulated vsize (KiB) 13812308
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 17123 sig 9
??? kill 17122 sig 9
??? kill -17122 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 17122 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=1505
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1505
# CPU time returned by wait4() is 0.00301
# while last known CPU time is 2400.62
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 303.626
CPU time (s): 2400.62
CPU user time (s): 2396.57
CPU system time (s): 4.05
CPU usage (%): 790.651
Max. virtual memory (cumulated for all children) (KiB): 13812308
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001505
system time used= 0.001505
maximum resident set size= 1388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 517
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.9711 second user time and 4.56361 second system time
The end