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-4248492-1500691876/watcher-4248492-1500691876 -o /tmp/evaluation-result-4248492-1500691876/solver-4248492-1500691876 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1500683887-7652 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1634157865 HOME/instance-4248492-1500691876.xml
pid=9160
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: 14.89 14.71 13.91 9/271 9163
/proc/meminfo: memFree=29967564/32770624 swapFree=5800/280256
[pid=9163] ppid=9160 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9163/stat : 9163 (xcsp3-exec) S 9160 9163 7621 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4455392 9740288 345 33554432000 4194304 5098028 140733605592432 140733605590536 139745874199164 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 10948608 140733605594254 140733605594464 140733605594464 140733605597163 0
/proc/9163/statm: 2378 345 289 221 0 87 0
[startup+0.100123 s]
/proc/loadavg: 14.89 14.71 13.91 9/271 9163
/proc/meminfo: memFree=29967564/32770624 swapFree=5800/280256
[pid=9163] ppid=9160 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9163/stat : 9163 (xcsp3-exec) S 9160 9163 7621 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4455392 9740288 345 33554432000 4194304 5098028 140733605592432 140733605590536 139745874199164 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 10948608 140733605594254 140733605594464 140733605594464 140733605597163 0
/proc/9163/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200305 s]
/proc/loadavg: 14.89 14.71 13.91 9/271 9163
/proc/meminfo: memFree=29967564/32770624 swapFree=5800/280256
[pid=9163] ppid=9160 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9163/stat : 9163 (xcsp3-exec) S 9160 9163 7621 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4455392 9740288 345 33554432000 4194304 5098028 140733605592432 140733605590536 139745874199164 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 10948608 140733605594254 140733605594464 140733605594464 140733605597163 0
/proc/9163/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300277 s]
/proc/loadavg: 14.89 14.71 13.91 9/271 9163
/proc/meminfo: memFree=29967564/32770624 swapFree=5800/280256
[pid=9163] ppid=9160 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9163/stat : 9163 (xcsp3-exec) S 9160 9163 7621 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4455392 9740288 345 33554432000 4194304 5098028 140733605592432 140733605590536 139745874199164 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 10948608 140733605594254 140733605594464 140733605594464 140733605597163 0
/proc/9163/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700164 s]
/proc/loadavg: 14.89 14.71 13.91 9/271 9163
/proc/meminfo: memFree=29967564/32770624 swapFree=5800/280256
[pid=9163] ppid=9160 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9163/stat : 9163 (xcsp3-exec) S 9160 9163 7621 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4455392 9740288 345 33554432000 4194304 5098028 140733605592432 140733605590536 139745874199164 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 10948608 140733605594254 140733605594464 140733605594464 140733605597163 0
/proc/9163/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50116 s]
/proc/loadavg: 14.89 14.71 13.91 13/292 9184
/proc/meminfo: memFree=29523920/32770624 swapFree=5800/280064
[pid=9163] ppid=9160 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9163/stat : 9163 (xcsp3-exec) S 9160 9163 7621 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4455392 9740288 345 33554432000 4194304 5098028 140733605592432 140733605590536 139745874199164 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 10948608 140733605594254 140733605594464 140733605594464 140733605597163 0
/proc/9163/statm: 2378 345 289 221 0 87 0
[pid=9164] ppid=9163 vsize=13801768 CPUtime=6.68 cores=0,2,4,6,8,10,12,14
/proc/9164/stat : 9164 (java) S 9163 9163 7621 0 -1 1077944320 17551 0 0 0 653 15 0 0 20 0 28 0 4455392 14133010432 53481 33554432000 4194304 4196468 140725042256352 140725042238896 140049878228727 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 39444480 140725042259132 140725042259308 140725042259308 140725042261967 0
/proc/9164/statm: 3450442 53481 3242 1 0 3437675 0
[pid=9164/tid=9165] ppid=9163 vsize=13801768 CPUtime=1.1 cores=0,2,4,6,8,10,12,14
/proc/9164/task/9165/stat : 9165 (java) S 9163 9163 7621 0 -1 1077944384 6869 0 0 0 105 5 0 0 20 0 28 0 4455393 14133010432 53481 33554432000 4194304 4196468 140725042256352 140049882469504 140049878238933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39444480 140725042259132 140725042259308 140725042259308 140725042261967 0
[pid=9164/tid=9167] ppid=9163 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/9164/task/9167/stat : 9167 (java) S 9163 9163 7621 0 -1 1077944384 13 0 0 0 1 0 0 0 20 0 28 0 4455394 14133010432 53481 33554432000 4194304 4196468 140725042256352 140049830849168 140049878238933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39444480 140725042259132 140725042259308 140725042259308 140725042261967 0
[pid=9164/tid=9168] ppid=9163 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/9164/task/9168/stat : 9168 (java) S 9163 9163 7621 0 -1 1077944384 34 0 0 0 1 0 0 0 20 0 28 0 4455394 14133010432 53481 33554432000 4194304 4196468 140725042256352 140049829796368 140049878238933 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 39444480 140725042259132 140725042259308 140725042259308 140725042261967 0
[pid=9164/tid=9169] ppid=9163 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/9164/task/9169/stat : 9169 (java) S 9163 9163 7621 0 -1 1077944384 23 0 0 0 1 0 0 0 20 0 28 0 4455394 14133010432 53481 33554432000 4194304 4196468 140725042256352 140049828743568 140049878238933 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 39444480 140725042259132 140725042259308 140725042259308 140725042261967 0
[pid=9164/tid=9170] ppid=9163 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/9164/task/9170/stat : 9170 (java) S 9163 9163 7621 0 -1 1077944384 24 0 0 0 1 0 0 0 20 0 28 0 4455394 14133010432 53481 33554432000 4194304 4196468 140725042256352 140049827690768 140049878238933 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 39444480 140725042259132 140725042259308 140725042259308 140725042261967 0
[pid=9164/tid=9171] ppid=9163 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9164/task/9171/stat : 9171 (java) S 9163 9163 7621 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 28 0 4455394 14133010432 53481 33554432000 4194304 4196468 140725042256352 140049826638992 140049878238933 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 39444480 140725042259132 140725042259308 140725042259308 140725042261967 0
[pid=9164/tid=9172] ppid=9163 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/9164/task/9172/stat : 9172 (java) S 9163 9163 7621 0 -1 1077944384 13 0 0 0 1 0 0 0 20 0 28 0 4455394 14133010432 53481 33554432000 4194304 4196468 140725042256352 140049825586192 140049878238933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39444480 140725042259132 140725042259308 140725042259308 140725042261967 0
[pid=9164/tid=9173] ppid=9163 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/9164/task/9173/stat : 9173 (java) S 9163 9163 7621 0 -1 1077944384 43 0 0 0 1 0 0 0 20 0 28 0 4455394 14133010432 53481 33554432000 4194304 4196468 140725042256352 140049470913424 140049878238933 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 39444480 140725042259132 140725042259308 140725042259308 140725042261967 0
[pid=9164/tid=9174] ppid=9163 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9164/task/9174/stat : 9174 (java) S 9163 9163 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4455394 14133010432 53481 33554432000 4194304 4196468 140725042256352 140049469860624 140049878238933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39444480 140725042259132 140725042259308 140725042259308 140725042261967 0
[pid=9164/tid=9175] ppid=9163 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9164/task/9175/stat : 9175 (java) S 9163 9163 7621 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 28 0 4455396 14133010432 53481 33554432000 4194304 4196468 140725042256352 140049340373360 140049878239874 0 0 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 39444480 140725042259132 140725042259308 140725042259308 140725042261967 0
[pid=9164/tid=9176] ppid=9163 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9164/task/9176/stat : 9176 (java) S 9163 9163 7621 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4455397 14133010432 53481 33554432000 4194304 4196468 140725042256352 140049339319328 140049878238933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39444480 140725042259132 140725042259308 140725042259308 140725042261967 0
[pid=9164/tid=9177] ppid=9163 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9164/task/9177/stat : 9177 (java) S 9163 9163 7621 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 4455397 14133010432 53481 33554432000 4194304 4196468 140725042256352 140049338266480 140049878238933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39444480 140725042259132 140725042259308 140725042259308 140725042261967 0
[pid=9164/tid=9178] ppid=9163 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9164/task/9178/stat : 9178 (java) S 9163 9163 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4455401 14133010432 53481 33554432000 4194304 4196468 140725042256352 140049337214800 140049878247323 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 39444480 140725042259132 140725042259308 140725042259308 140725042261967 0
[pid=9164/tid=9179] ppid=9163 vsize=13801768 CPUtime=1.01 cores=0,2,4,6,8,10,12,14
/proc/9164/task/9179/stat : 9179 (java) R 9163 9163 7621 0 -1 4202560 2593 0 0 0 101 0 0 0 20 0 28 0 4455401 14133010432 53481 33554432000 4194304 4196468 140725042256352 140049336149728 140049857467208 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 39444480 140725042259132 140725042259308 140725042259308 140725042261967 0
[pid=9164/tid=9180] ppid=9163 vsize=13801768 CPUtime=1 cores=0,2,4,6,8,10,12,14
/proc/9164/task/9180/stat : 9180 (java) R 9163 9163 7621 0 -1 4202560 2042 0 0 0 100 0 0 0 20 0 28 0 4455401 14133010432 53481 33554432000 4194304 4196468 140725042256352 140049335097200 140049857467169 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 39444480 140725042259132 140725042259308 140725042259308 140725042261967 0
[pid=9164/tid=9181] ppid=9163 vsize=13801768 CPUtime=1 cores=0,2,4,6,8,10,12,14
/proc/9164/task/9181/stat : 9181 (java) R 9163 9163 7621 0 -1 4202560 1971 0 0 0 100 0 0 0 20 0 28 0 4455401 14133010432 53481 33554432000 4194304 4196468 140725042256352 140049334050072 140049859751214 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39444480 140725042259132 140725042259308 140725042259308 140725042261967 0
[pid=9164/tid=9182] ppid=9163 vsize=13801768 CPUtime=0.7 cores=0,2,4,6,8,10,12,14
/proc/9164/task/9182/stat : 9182 (java) R 9163 9163 7621 0 -1 4202560 2170 0 0 0 70 0 0 0 20 0 28 0 4455401 14133010432 53481 33554432000 4194304 4196468 140725042256352 140049333004784 140049878250074 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39444480 140725042259132 140725042259308 140725042259308 140725042261967 0
[pid=9164/tid=9183] ppid=9163 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9164/task/9183/stat : 9183 (java) S 9163 9163 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4455401 14133010432 53481 33554432000 4194304 4196468 140725042256352 140049331952224 140049878238933 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 39444480 140725042259132 140725042259308 140725042259308 140725042261967 0
[pid=9164/tid=9184] ppid=9163 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9164/task/9184/stat : 9184 (java) S 9163 9163 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4455401 14133010432 53481 33554432000 4194304 4196468 140725042256352 140049330899504 140049878239874 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 39444480 140725042259132 140725042259308 140725042259308 140725042261967 0
Current children cumulated CPU time (s) 6.68
Current children cumulated vsize (KiB) 13811280
[startup+3.1016 s]
/proc/loadavg: 14.89 14.71 13.91 21/300 9192
/proc/meminfo: memFree=29444420/32770624 swapFree=5800/280064
[pid=9163] ppid=9160 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9163/stat : 9163 (xcsp3-exec) S 9160 9163 7621 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4455392 9740288 345 33554432000 4194304 5098028 140733605592432 140733605590536 139745874199164 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 10948608 140733605594254 140733605594464 140733605594464 140733605597163 0
/proc/9163/statm: 2378 345 289 221 0 87 0
[pid=9164] ppid=9163 vsize=13801768 CPUtime=19.33 cores=0,2,4,6,8,10,12,14
/proc/9164/stat : 9164 (java) S 9163 9163 7621 0 -1 1077944320 18836 0 0 0 1902 31 0 0 20 0 28 0 4455392 14133010432 77361 33554432000 4194304 4196468 140725042256352 140725042238896 140049878228727 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 39444480 140725042259132 140725042259308 140725042259308 140725042261967 0
/proc/9164/statm: 3450442 77361 3270 1 0 3437675 0
[pid=9164/tid=9165] ppid=9163 vsize=13801768 CPUtime=1.1 cores=0,2,4,6,8,10,12,14
/proc/9164/task/9165/stat : 9165 (java) S 9163 9163 7621 0 -1 1077944384 6869 0 0 0 105 5 0 0 20 0 28 0 4455393 14133010432 77361 33554432000 4194304 4196468 140725042256352 140049882469504 140049878238933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39444480 140725042259132 140725042259308 140725042259308 140725042261967 0
[pid=9164/tid=9167] ppid=9163 vsize=13801768 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/9164/task/9167/stat : 9167 (java) S 9163 9163 7621 0 -1 1077944384 59 0 0 0 3 2 0 0 20 0 28 0 4455394 14133010432 77361 33554432000 4194304 4196468 140725042256352 140049830849168 140049878238933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39444480 140725042259132 140725042259308 140725042259308 140725042261967 0
[pid=9164/tid=9168] ppid=9163 vsize=13801768 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/9164/task/9168/stat : 9168 (java) S 9163 9163 7621 0 -1 1077944384 44 0 0 0 2 2 0 0 20 0 28 0 4455394 14133010432 77361 33554432000 4194304 4196468 140725042256352 140049829796368 140049878238933 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 39444480 140725042259132 140725042259308 140725042259308 140725042261967 0
[pid=9164/tid=9169] ppid=9163 vsize=13801768 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/9164/task/9169/stat : 9169 (java) S 9163 9163 7621 0 -1 1077944384 44 0 0 0 3 2 0 0 20 0 28 0 4455394 14133010432 77361 33554432000 4194304 4196468 140725042256352 140049828743568 140049878238933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39444480 140725042259132 140725042259308 140725042259308 140725042261967 0
[pid=9164/tid=9170] ppid=9163 vsize=13801768 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/9164/task/9170/stat : 9170 (java) S 9163 9163 7621 0 -1 1077944384 50 0 0 0 3 3 0 0 20 0 28 0 4455394 14133010432 77361 33554432000 4194304 4196468 140725042256352 140049827690768 140049878238933 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 39444480 140725042259132 140725042259308 140725042259308 140725042261967 0
[pid=9164/tid=9171] ppid=9163 vsize=13801768 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/9164/task/9171/stat : 9171 (java) S 9163 9163 7621 0 -1 1077944384 59 0 0 0 2 3 0 0 20 0 28 0 4455394 14133010432 77361 33554432000 4194304 4196468 140725042256352 140049826638992 140049878238933 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 39444480 140725042259132 140725042259308 140725042259308 140725042261967 0
[pid=9164/tid=9172] ppid=9163 vsize=13801768 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/9164/task/9172/stat : 9172 (java) S 9163 9163 7621 0 -1 1077944384 49 0 0 0 2 1 0 0 20 0 28 0 4455394 14133010432 77361 33554432000 4194304 4196468 140725042256352 140049825586192 140049878238933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39444480 140725042259132 140725042259308 140725042259308 140725042261967 0
[pid=9164/tid=9173] ppid=9163 vsize=13801768 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/9164/task/9173/stat : 9173 (java) S 9163 9163 7621 0 -1 1077944384 62 0 0 0 3 2 0 0 20 0 28 0 4455394 14133010432 77361 33554432000 4194304 4196468 140725042256352 140049470913424 140049878238933 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 39444480 140725042259132 140725042259308 140725042259308 140725042261967 0
[pid=9164/tid=9174] ppid=9163 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/9164/task/9174/stat : 9174 (java) S 9163 9163 7621 0 -1 1077944384 37 0 0 0 1 0 0 0 20 0 28 0 4455394 14133010432 77361 33554432000 4194304 4196468 140725042256352 140049469860624 140049878238933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39444480 140725042259132 140725042259308 140725042259308 140725042261967 0
[pid=9164/tid=9175] ppid=9163 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/9164/task/9175/stat : 9175 (java) S 9163 9163 7621 0 -1 1077944384 84 0 0 0 0 1 0 0 20 0 28 0 4455396 14133010432 77361 33554432000 4194304 4196468 140725042256352 140049340373360 140049878239874 0 0 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 39444480 140725042259132 140725042259308 140725042259308 140725042261967 0
[pid=9164/tid=9176] ppid=9163 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9164/task/9176/stat : 9176 (java) S 9163 9163 7621 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4455397 14133010432 77361 33554432000 4194304 4196468 140725042256352 140049339319392 140049878238933 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 39444480 140725042259132 140725042259308 140725042259308 140725042261967 0
[pid=9164/tid=9177] ppid=9163 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9164/task/9177/stat : 9177 (java) S 9163 9163 7621 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 4455397 14133010432 77361 33554432000 4194304 4196468 140725042256352 140049338266496 140049878238933 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 39444480 140725042259132 140725042259308 140725042259308 140725042261967 0
[pid=9164/tid=9178] ppid=9163 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9164/task/9178/stat : 9178 (java) S 9163 9163 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4455401 14133010432 77361 33554432000 4194304 4196468 140725042256352 140049337214800 140049878247323 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 39444480 140725042259132 140725042259308 140725042259308 140725042261967 0
[pid=9164/tid=9179] ppid=9163 vsize=13801768 CPUtime=1.85 cores=0,2,4,6,8,10,12,14
/proc/9164/task/9179/stat : 9179 (java) S 9163 9163 7621 0 -1 1077944384 2693 0 0 0 184 1 0 0 20 0 28 0 4455401 14133010432 77361 33554432000 4194304 4196468 140725042256352 140049336163184 140049878239874 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 39444480 140725042259132 140725042259308 140725042259308 140725042261967 0
[pid=9164/tid=9180] ppid=9163 vsize=13801768 CPUtime=1.91 cores=0,2,4,6,8,10,12,14
/proc/9164/task/9180/stat : 9180 (java) S 9163 9163 7621 0 -1 1077944384 2517 0 0 0 191 0 0 0 20 0 28 0 4455401 14133010432 77361 33554432000 4194304 4196468 140725042256352 140049335110384 140049878239874 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 39444480 140725042259132 140725042259308 140725042259308 140725042261967 0
[pid=9164/tid=9181] ppid=9163 vsize=13801768 CPUtime=1.79 cores=0,2,4,6,8,10,12,14
/proc/9164/task/9181/stat : 9181 (java) S 9163 9163 7621 0 -1 1077944384 2071 0 0 0 179 0 0 0 20 0 28 0 4455401 14133010432 77361 33554432000 4194304 4196468 140725042256352 140049334057584 140049878239874 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 39444480 140725042259132 140725042259308 140725042259308 140725042261967 0
[pid=9164/tid=9182] ppid=9163 vsize=13801768 CPUtime=0.87 cores=0,2,4,6,8,10,12,14
/proc/9164/task/9182/stat : 9182 (java) S 9163 9163 7621 0 -1 1077944384 2329 0 0 0 86 1 0 0 20 0 28 0 4455401 14133010432 77361 33554432000 4194304 4196468 140725042256352 140049333004784 140049878239874 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39444480 140725042259132 140725042259308 140725042259308 140725042261967 0
[pid=9164/tid=9183] ppid=9163 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9164/task/9183/stat : 9183 (java) S 9163 9163 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4455401 14133010432 77361 33554432000 4194304 4196468 140725042256352 140049331952224 140049878238933 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 39444480 140725042259132 140725042259308 140725042259308 140725042261967 0
[pid=9164/tid=9184] ppid=9163 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9164/task/9184/stat : 9184 (java) S 9163 9163 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4455401 14133010432 77361 33554432000 4194304 4196468 140725042256352 140049330899504 140049878239874 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 39444480 140725042259132 140725042259308 140725042259308 140725042261967 0
[pid=9164/tid=9185] ppid=9163 vsize=13801768 CPUtime=1.17 cores=0,2,4,6,8,10,12,14
/proc/9164/task/9185/stat : 9185 (java) R 9163 9163 7621 0 -1 4202560 173 0 0 0 117 0 0 0 20 0 28 0 4455508 14133010432 77361 33554432000 4194304 4196468 140725042256352 140049322886296 140049511406209 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39444480 140725042259132 140725042259308 140725042259308 140725042261967 0
[pid=9164/tid=9186] ppid=9163 vsize=13801768 CPUtime=1.54 cores=0,2,4,6,8,10,12,14
/proc/9164/task/9186/stat : 9186 (java) R 9163 9163 7621 0 -1 4202560 41 0 0 0 154 0 0 0 20 0 28 0 4455508 14133010432 77361 33554432000 4194304 4196468 140725042256352 140049321832488 140049511348835 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 39444480 140725042259132 140725042259308 140725042259308 140725042261967 0
[pid=9164/tid=9187] ppid=9163 vsize=13801768 CPUtime=1.22 cores=0,2,4,6,8,10,12,14
/proc/9164/task/9187/stat : 9187 (java) R 9163 9163 7621 0 -1 4202560 39 0 0 0 122 0 0 0 20 0 28 0 4455508 14133010432 77361 33554432000 4194304 4196468 140725042256352 140049320780536 140049511348788 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 39444480 140725042259132 140725042259308 140725042259308 140725042261967 0
[pid=9164/tid=9188] ppid=9163 vsize=13801768 CPUtime=1.32 cores=0,2,4,6,8,10,12,14
/proc/9164/task/9188/stat : 9188 (java) R 9163 9163 7621 0 -1 4202560 125 0 0 0 132 0 0 0 20 0 28 0 4455508 14133010432 77361 33554432000 4194304 4196468 140725042256352 140049319727432 140049511348788 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39444480 140725042259132 140725042259308 140725042259308 140725042261967 0
[pid=9164/tid=9189] ppid=9163 vsize=13801768 CPUtime=1.56 cores=0,2,4,6,8,10,12,14
/proc/9164/task/9189/stat : 9189 (java) R 9163 9163 7621 0 -1 4202560 82 0 0 0 156 0 0 0 20 0 28 0 4455508 14133010432 77361 33554432000 4194304 4196468 140725042256352 140049318675224 140049511613578 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 39444480 140725042259132 140725042259308 140725042259308 140725042261967 0
[pid=9164/tid=9190] ppid=9163 vsize=13801768 CPUtime=1.5 cores=0,2,4,6,8,10,12,14
/proc/9164/task/9190/stat : 9190 (java) R 9163 9163 7621 0 -1 4202560 36 0 0 0 150 0 0 0 20 0 28 0 4455508 14133010432 77361 33554432000 4194304 4196468 140725042256352 140049317622632 140049511348840 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39444480 140725042259132 140725042259308 140725042259308 140725042261967 0
[pid=9164/tid=9191] ppid=9163 vsize=13801768 CPUtime=1.5 cores=0,2,4,6,8,10,12,14
/proc/9164/task/9191/stat : 9191 (java) R 9163 9163 7621 0 -1 4202560 28 0 0 0 150 0 0 0 20 0 28 0 4455508 14133010432 77361 33554432000 4194304 4196468 140725042256352 140049316569240 140049511348697 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39444480 140725042259132 140725042259308 140725042259308 140725042261967 0
[pid=9164/tid=9192] ppid=9163 vsize=13801768 CPUtime=1.45 cores=0,2,4,6,8,10,12,14
/proc/9164/task/9192/stat : 9192 (java) R 9163 9163 7621 0 -1 4202560 48 0 0 0 145 0 0 0 20 0 28 0 4455508 14133010432 77361 33554432000 4194304 4196468 140725042256352 140049315515768 140049511509694 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 39444480 140725042259132 140725042259308 140725042259308 140725042261967 0
Current children cumulated CPU time (s) 19.33
Current children cumulated vsize (KiB) 13811280
[startup+6.3015 s]
/proc/loadavg: 14.58 14.65 13.90 18/300 9192
/proc/meminfo: memFree=29235148/32770624 swapFree=5800/280064
[pid=9163] ppid=9160 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9163/stat : 9163 (xcsp3-exec) S 9160 9163 7621 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4455392 9740288 345 33554432000 4194304 5098028 140733605592432 140733605590536 139745874199164 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 10948608 140733605594254 140733605594464 140733605594464 140733605597163 0
/proc/9163/statm: 2378 345 289 221 0 87 0
[pid=9164] ppid=9163 vsize=13801768 CPUtime=44.72 cores=0,2,4,6,8,10,12,14
/proc/9164/stat : 9164 (java) S 9163 9163 7621 0 -1 1077944320 25063 0 0 0 4419 53 0 0 20 0 28 0 4455392 14133010432 128897 33554432000 4194304 4196468 140725042256352 140725042238896 140049878228727 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 39444480 140725042259132 140725042259308 140725042259308 140725042261967 0
/proc/9164/statm: 3450442 128897 3285 1 0 3437675 0
[pid=9164/tid=9165] ppid=9163 vsize=13801768 CPUtime=1.1 cores=0,2,4,6,8,10,12,14
/proc/9164/task/9165/stat : 9165 (java) S 9163 9163 7621 0 -1 1077944384 6869 0 0 0 105 5 0 0 20 0 28 0 4455393 14133010432 128897 33554432000 4194304 4196468 140725042256352 140049882469504 140049878238933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39444480 140725042259132 140725042259308 140725042259308 140725042261967 0
[pid=9164/tid=9167] ppid=9163 vsize=13801768 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/9164/task/9167/stat : 9167 (java) S 9163 9163 7621 0 -1 1077944384 76 0 0 0 7 4 0 0 20 0 28 0 4455394 14133010432 128897 33554432000 4194304 4196468 140725042256352 140049830849168 140049878238933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39444480 140725042259132 140725042259308 140725042259308 140725042261967 0
[pid=9164/tid=9168] ppid=9163 vsize=13801768 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/9164/task/9168/stat : 9168 (java) S 9163 9163 7621 0 -1 1077944384 67 0 0 0 7 4 0 0 20 0 28 0 4455394 14133010432 128897 33554432000 4194304 4196468 140725042256352 140049829796368 140049878238933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39444480 140725042259132 140725042259308 140725042259308 140725042261967 0
[pid=9164/tid=9169] ppid=9163 vsize=13801768 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/9164/task/9169/stat : 9169 (java) S 9163 9163 7621 0 -1 1077944384 68 0 0 0 7 4 0 0 20 0 28 0 4455394 14133010432 128897 33554432000 4194304 4196468 140725042256352 140049828743568 140049878238933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39444480 140725042259132 140725042259308 140725042259308 140725042261967 0
[pid=9164/tid=9170] ppid=9163 vsize=13801768 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/9164/task/9170/stat : 9170 (java) S 9163 9163 7621 0 -1 1077944384 73 0 0 0 7 5 0 0 20 0 28 0 4455394 14133010432 128897 33554432000 4194304 4196468 140725042256352 140049827690768 140049878238933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39444480 140725042259132 140725042259308 140725042259308 140725042261967 0
################
# More data... #
################
[pid=9164/tid=9223] ppid=9163 vsize=13801768 CPUtime=237.7 cores=0,2,4,6,8,10,12,14
/proc/9164/task/9223/stat : 9223 (java) R 9163 9163 7621 0 -1 4202560 2209 0 0 0 23766 4 0 0 20 0 28 0 4459630 14133010432 590951 33554432000 4194304 4196468 140725042256352 140049315516472 140049863469997 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 39444480 140725042259132 140725042259308 140725042259308 140725042261967 0
[pid=9164/tid=9224] ppid=9163 vsize=13801768 CPUtime=239.31 cores=0,2,4,6,8,10,12,14
/proc/9164/task/9224/stat : 9224 (java) R 9163 9163 7621 0 -1 4202560 825 0 0 0 23930 1 0 0 20 0 28 0 4459631 14133010432 590951 33554432000 4194304 4196468 140725042256352 140049316569128 140049859635044 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39444480 140725042259132 140725042259308 140725042259308 140725042261967 0
Current children cumulated CPU time (s) 2242.35
Current children cumulated vsize (KiB) 13811280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+302.102 s]
/proc/loadavg: 13.60 14.98 14.31 10/291 9317
/proc/meminfo: memFree=26013212/32770624 swapFree=5800/280472
[pid=9163] ppid=9160 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9163/stat : 9163 (xcsp3-exec) S 9160 9163 7621 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4455392 9740288 345 33554432000 4194304 5098028 140733605592432 140733605590536 139745874199164 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 10948608 140733605594254 140733605594464 140733605594464 140733605597163 0
/proc/9163/statm: 2378 345 289 221 0 87 0
[pid=9164] ppid=9163 vsize=13801768 CPUtime=2400.02 cores=0,2,4,6,8,10,12,14
/proc/9164/stat : 9164 (java) S 9163 9163 7621 0 -1 1077944320 89692 0 0 0 239802 200 0 0 20 0 28 0 4455392 14133010432 592891 33554432000 4194304 4196468 140725042256352 140725042238896 140049878228727 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 39444480 140725042259132 140725042259308 140725042259308 140725042261967 0
/proc/9164/statm: 3450442 592891 3289 1 0 3437675 0
[pid=9164/tid=9165] ppid=9163 vsize=13801768 CPUtime=1.12 cores=0,2,4,6,8,10,12,14
/proc/9164/task/9165/stat : 9165 (java) S 9163 9163 7621 0 -1 1077944384 7417 0 0 0 107 5 0 0 20 0 28 0 4455393 14133010432 592891 33554432000 4194304 4196468 140725042256352 140049882469504 140049878238933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39444480 140725042259132 140725042259308 140725042259308 140725042261967 0
[pid=9164/tid=9167] ppid=9163 vsize=13801768 CPUtime=0.37 cores=0,2,4,6,8,10,12,14
/proc/9164/task/9167/stat : 9167 (java) S 9163 9163 7621 0 -1 1077944384 1510 0 0 0 21 16 0 0 20 0 28 0 4455394 14133010432 592891 33554432000 4194304 4196468 140725042256352 140049830849168 140049878238933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39444480 140725042259132 140725042259308 140725042259308 140725042261967 0
[pid=9164/tid=9168] ppid=9163 vsize=13801768 CPUtime=0.38 cores=0,2,4,6,8,10,12,14
/proc/9164/task/9168/stat : 9168 (java) S 9163 9163 7621 0 -1 1077944384 515 0 0 0 21 17 0 0 20 0 28 0 4455394 14133010432 592891 33554432000 4194304 4196468 140725042256352 140049829796368 140049878238933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39444480 140725042259132 140725042259308 140725042259308 140725042261967 0
[pid=9164/tid=9169] ppid=9163 vsize=13801768 CPUtime=0.4 cores=0,2,4,6,8,10,12,14
/proc/9164/task/9169/stat : 9169 (java) S 9163 9163 7621 0 -1 1077944384 554 0 0 0 22 18 0 0 20 0 28 0 4455394 14133010432 592891 33554432000 4194304 4196468 140725042256352 140049828743568 140049878238933 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 39444480 140725042259132 140725042259308 140725042259308 140725042261967 0
[pid=9164/tid=9170] ppid=9163 vsize=13801768 CPUtime=0.39 cores=0,2,4,6,8,10,12,14
/proc/9164/task/9170/stat : 9170 (java) S 9163 9163 7621 0 -1 1077944384 451 0 0 0 19 20 0 0 20 0 28 0 4455394 14133010432 592891 33554432000 4194304 4196468 140725042256352 140049827690768 140049878238933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39444480 140725042259132 140725042259308 140725042259308 140725042261967 0
[pid=9164/tid=9171] ppid=9163 vsize=13801768 CPUtime=0.36 cores=0,2,4,6,8,10,12,14
/proc/9164/task/9171/stat : 9171 (java) S 9163 9163 7621 0 -1 1077944384 794 0 0 0 21 15 0 0 20 0 28 0 4455394 14133010432 592891 33554432000 4194304 4196468 140725042256352 140049826638992 140049878238933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39444480 140725042259132 140725042259308 140725042259308 140725042261967 0
[pid=9164/tid=9172] ppid=9163 vsize=13801768 CPUtime=0.36 cores=0,2,4,6,8,10,12,14
/proc/9164/task/9172/stat : 9172 (java) S 9163 9163 7621 0 -1 1077944384 999 0 0 0 20 16 0 0 20 0 28 0 4455394 14133010432 592891 33554432000 4194304 4196468 140725042256352 140049825586192 140049878238933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39444480 140725042259132 140725042259308 140725042259308 140725042261967 0
[pid=9164/tid=9173] ppid=9163 vsize=13801768 CPUtime=0.4 cores=0,2,4,6,8,10,12,14
/proc/9164/task/9173/stat : 9173 (java) S 9163 9163 7621 0 -1 1077944384 859 0 0 0 24 16 0 0 20 0 28 0 4455394 14133010432 592891 33554432000 4194304 4196468 140725042256352 140049470913424 140049878238933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39444480 140725042259132 140725042259308 140725042259308 140725042261967 0
[pid=9164/tid=9174] ppid=9163 vsize=13801768 CPUtime=0.36 cores=0,2,4,6,8,10,12,14
/proc/9164/task/9174/stat : 9174 (java) S 9163 9163 7621 0 -1 1077944384 2060 0 0 0 22 14 0 0 20 0 28 0 4455394 14133010432 592891 33554432000 4194304 4196468 140725042256352 140049469860624 140049878238933 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 39444480 140725042259132 140725042259308 140725042259308 140725042261967 0
[pid=9164/tid=9175] ppid=9163 vsize=13801768 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/9164/task/9175/stat : 9175 (java) S 9163 9163 7621 0 -1 1077944384 3907 0 0 0 5 5 0 0 20 0 28 0 4455396 14133010432 592891 33554432000 4194304 4196468 140725042256352 140049340373360 140049878239874 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39444480 140725042259132 140725042259308 140725042259308 140725042261967 0
[pid=9164/tid=9176] ppid=9163 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9164/task/9176/stat : 9176 (java) S 9163 9163 7621 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 28 0 4455397 14133010432 592891 33554432000 4194304 4196468 140725042256352 140049339319392 140049878238933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39444480 140725042259132 140725042259308 140725042259308 140725042261967 0
[pid=9164/tid=9177] ppid=9163 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9164/task/9177/stat : 9177 (java) S 9163 9163 7621 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 4455397 14133010432 592891 33554432000 4194304 4196468 140725042256352 140049338266496 140049878238933 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 39444480 140725042259132 140725042259308 140725042259308 140725042261967 0
[pid=9164/tid=9178] ppid=9163 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9164/task/9178/stat : 9178 (java) S 9163 9163 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4455401 14133010432 592891 33554432000 4194304 4196468 140725042256352 140049337214800 140049878247323 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 39444480 140725042259132 140725042259308 140725042259308 140725042261967 0
[pid=9164/tid=9179] ppid=9163 vsize=13801768 CPUtime=2.96 cores=0,2,4,6,8,10,12,14
/proc/9164/task/9179/stat : 9179 (java) S 9163 9163 7621 0 -1 1077944384 12761 0 0 0 294 2 0 0 20 0 28 0 4455401 14133010432 592891 33554432000 4194304 4196468 140725042256352 140049336163184 140049878239874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39444480 140725042259132 140725042259308 140725042259308 140725042261967 0
[pid=9164/tid=9180] ppid=9163 vsize=13801768 CPUtime=2.73 cores=0,2,4,6,8,10,12,14
/proc/9164/task/9180/stat : 9180 (java) S 9163 9163 7621 0 -1 1077944384 11641 0 0 0 271 2 0 0 20 0 28 0 4455401 14133010432 592891 33554432000 4194304 4196468 140725042256352 140049335110384 140049878239874 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 39444480 140725042259132 140725042259308 140725042259308 140725042261967 0
[pid=9164/tid=9181] ppid=9163 vsize=13801768 CPUtime=3.05 cores=0,2,4,6,8,10,12,14
/proc/9164/task/9181/stat : 9181 (java) S 9163 9163 7621 0 -1 1077944384 9655 0 0 0 304 1 0 0 20 0 28 0 4455401 14133010432 592891 33554432000 4194304 4196468 140725042256352 140049334057584 140049878239874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39444480 140725042259132 140725042259308 140725042259308 140725042261967 0
[pid=9164/tid=9182] ppid=9163 vsize=13801768 CPUtime=0.99 cores=0,2,4,6,8,10,12,14
/proc/9164/task/9182/stat : 9182 (java) S 9163 9163 7621 0 -1 1077944384 7156 0 0 0 98 1 0 0 20 0 28 0 4455401 14133010432 592891 33554432000 4194304 4196468 140725042256352 140049333004784 140049878239874 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 39444480 140725042259132 140725042259308 140725042259308 140725042261967 0
[pid=9164/tid=9183] ppid=9163 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9164/task/9183/stat : 9183 (java) S 9163 9163 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4455401 14133010432 592891 33554432000 4194304 4196468 140725042256352 140049331952224 140049878238933 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 39444480 140725042259132 140725042259308 140725042259308 140725042261967 0
[pid=9164/tid=9184] ppid=9163 vsize=13801768 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/9164/task/9184/stat : 9184 (java) S 9163 9163 7621 0 -1 1077944384 1404 0 0 0 9 4 0 0 20 0 28 0 4455401 14133010432 592891 33554432000 4194304 4196468 140725042256352 140049330899504 140049878239874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39444480 140725042259132 140725042259308 140725042259308 140725042261967 0
[pid=9164/tid=9217] ppid=9163 vsize=13801768 CPUtime=256.68 cores=0,2,4,6,8,10,12,14
/proc/9164/task/9217/stat : 9217 (java) R 9163 9163 7621 0 -1 4202560 3450 0 0 0 25663 5 0 0 20 0 28 0 4459630 14133010432 592891 33554432000 4194304 4196468 140725042256352 140049319726184 140049511349042 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39444480 140725042259132 140725042259308 140725042259308 140725042261967 0
[pid=9164/tid=9218] ppid=9163 vsize=13801768 CPUtime=259.07 cores=0,2,4,6,8,10,12,14
/proc/9164/task/9218/stat : 9218 (java) R 9163 9163 7621 0 -1 4202560 1928 0 0 0 25904 3 0 0 20 0 28 0 4459630 14133010432 592891 33554432000 4194304 4196468 140725042256352 140049321832536 140049511868311 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 39444480 140725042259132 140725042259308 140725042259308 140725042261967 0
[pid=9164/tid=9219] ppid=9163 vsize=13801768 CPUtime=258.19 cores=0,2,4,6,8,10,12,14
/proc/9164/task/9219/stat : 9219 (java) R 9163 9163 7621 0 -1 4202560 2064 0 0 0 25818 1 0 0 20 0 28 0 4459630 14133010432 592891 33554432000 4194304 4196468 140725042256352 140049317622328 140049512530149 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39444480 140725042259132 140725042259308 140725042259308 140725042261967 0
[pid=9164/tid=9220] ppid=9163 vsize=13801768 CPUtime=257.91 cores=0,2,4,6,8,10,12,14
/proc/9164/task/9220/stat : 9220 (java) R 9163 9163 7621 0 -1 4202560 2136 0 0 0 25788 3 0 0 20 0 28 0 4459630 14133010432 592891 33554432000 4194304 4196468 140725042256352 140049318674608 140049512530142 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 39444480 140725042259132 140725042259308 140725042259308 140725042261967 0
[pid=9164/tid=9221] ppid=9163 vsize=13801768 CPUtime=258.37 cores=0,2,4,6,8,10,12,14
/proc/9164/task/9221/stat : 9221 (java) R 9163 9163 7621 0 -1 4202560 1739 0 0 0 25834 3 0 0 20 0 28 0 4459630 14133010432 592891 33554432000 4194304 4196468 140725042256352 140049322888208 140049513207948 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 39444480 140725042259132 140725042259308 140725042259308 140725042261967 0
[pid=9164/tid=9222] ppid=9163 vsize=13801768 CPUtime=259.18 cores=0,2,4,6,8,10,12,14
/proc/9164/task/9222/stat : 9222 (java) R 9163 9163 7621 0 -1 4202560 318 0 0 0 25918 0 0 0 20 0 28 0 4459630 14133010432 592891 33554432000 4194304 4196468 140725042256352 140049320780072 140049511349050 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39444480 140725042259132 140725042259308 140725042259308 140725042261967 0
[pid=9164/tid=9223] ppid=9163 vsize=13801768 CPUtime=257.46 cores=0,2,4,6,8,10,12,14
/proc/9164/task/9223/stat : 9223 (java) R 9163 9163 7621 0 -1 4202560 2308 0 0 0 25742 4 0 0 20 0 28 0 4459630 14133010432 592891 33554432000 4194304 4196468 140725042256352 140049315516888 140049512476253 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 39444480 140725042259132 140725042259308 140725042259308 140725042261967 0
[pid=9164/tid=9224] ppid=9163 vsize=13801768 CPUtime=258.92 cores=0,2,4,6,8,10,12,14
/proc/9164/task/9224/stat : 9224 (java) R 9163 9163 7621 0 -1 4202560 946 0 0 0 25891 1 0 0 20 0 28 0 4459631 14133010432 592891 33554432000 4194304 4196468 140725042256352 140049316568744 140049511348835 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39444480 140725042259132 140725042259308 140725042259308 140725042261967 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 13811280
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 9164 sig 9
??? kill 9163 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+302.102 s]
/proc/loadavg: 13.60 14.98 14.31 10/291 9317
/proc/meminfo: memFree=26013212/32770624 swapFree=5800/280472
[pid=9163] ppid=9160 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9163/stat : 9163 (xcsp3-exec) S 9160 9163 7621 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4455392 9740288 345 33554432000 4194304 5098028 140733605592432 140733605590536 139745874199164 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 10948608 140733605594254 140733605594464 140733605594464 140733605597163 0
/proc/9163/statm: 2378 345 289 221 0 87 0
[pid=9164] ppid=9163 vsize=13801768 CPUtime=2400.02 cores=0,2,4,6,8,10,12,14
/proc/9164/stat : 9164 (java) S 9163 9163 7621 0 -1 1077944320 89692 0 0 0 239802 200 0 0 20 0 28 0 4455392 14133010432 592891 33554432000 4194304 4196468 140725042256352 140725042238896 140049878228727 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 39444480 140725042259132 140725042259308 140725042259308 140725042261967 0
/proc/9164/statm: 3450442 592891 3289 1 0 3437675 0
[pid=9164/tid=9165] ppid=9163 vsize=13801768 CPUtime=1.12 cores=0,2,4,6,8,10,12,14
/proc/9164/task/9165/stat : 9165 (java) S 9163 9163 7621 0 -1 1077944384 7417 0 0 0 107 5 0 0 20 0 28 0 4455393 14133010432 592891 33554432000 4194304 4196468 140725042256352 140049882469504 140049878238933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39444480 140725042259132 140725042259308 140725042259308 140725042261967 0
[pid=9164/tid=9167] ppid=9163 vsize=13801768 CPUtime=0.37 cores=0,2,4,6,8,10,12,14
/proc/9164/task/9167/stat : 9167 (java) S 9163 9163 7621 0 -1 1077944384 1510 0 0 0 21 16 0 0 20 0 28 0 4455394 14133010432 592891 33554432000 4194304 4196468 140725042256352 140049830849168 140049878238933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39444480 140725042259132 140725042259308 140725042259308 140725042261967 0
[pid=9164/tid=9168] ppid=9163 vsize=13801768 CPUtime=0.38 cores=0,2,4,6,8,10,12,14
/proc/9164/task/9168/stat : 9168 (java) S 9163 9163 7621 0 -1 1077944384 515 0 0 0 21 17 0 0 20 0 28 0 4455394 14133010432 592891 33554432000 4194304 4196468 140725042256352 140049829796368 140049878238933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39444480 140725042259132 140725042259308 140725042259308 140725042261967 0
[pid=9164/tid=9169] ppid=9163 vsize=13801768 CPUtime=0.4 cores=0,2,4,6,8,10,12,14
/proc/9164/task/9169/stat : 9169 (java) S 9163 9163 7621 0 -1 1077944384 554 0 0 0 22 18 0 0 20 0 28 0 4455394 14133010432 592891 33554432000 4194304 4196468 140725042256352 140049828743568 140049878238933 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 39444480 140725042259132 140725042259308 140725042259308 140725042261967 0
[pid=9164/tid=9170] ppid=9163 vsize=13801768 CPUtime=0.39 cores=0,2,4,6,8,10,12,14
/proc/9164/task/9170/stat : 9170 (java) S 9163 9163 7621 0 -1 1077944384 451 0 0 0 19 20 0 0 20 0 28 0 4455394 14133010432 592891 33554432000 4194304 4196468 140725042256352 140049827690768 140049878238933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39444480 140725042259132 140725042259308 140725042259308 140725042261967 0
[pid=9164/tid=9171] ppid=9163 vsize=13801768 CPUtime=0.36 cores=0,2,4,6,8,10,12,14
/proc/9164/task/9171/stat : 9171 (java) S 9163 9163 7621 0 -1 1077944384 794 0 0 0 21 15 0 0 20 0 28 0 4455394 14133010432 592891 33554432000 4194304 4196468 140725042256352 140049826638992 140049878238933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39444480 140725042259132 140725042259308 140725042259308 140725042261967 0
[pid=9164/tid=9172] ppid=9163 vsize=13801768 CPUtime=0.36 cores=0,2,4,6,8,10,12,14
/proc/9164/task/9172/stat : 9172 (java) S 9163 9163 7621 0 -1 1077944384 999 0 0 0 20 16 0 0 20 0 28 0 4455394 14133010432 592891 33554432000 4194304 4196468 140725042256352 140049825586192 140049878238933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39444480 140725042259132 140725042259308 140725042259308 140725042261967 0
[pid=9164/tid=9173] ppid=9163 vsize=13801768 CPUtime=0.4 cores=0,2,4,6,8,10,12,14
/proc/9164/task/9173/stat : 9173 (java) S 9163 9163 7621 0 -1 1077944384 859 0 0 0 24 16 0 0 20 0 28 0 4455394 14133010432 592891 33554432000 4194304 4196468 140725042256352 140049470913424 140049878238933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39444480 140725042259132 140725042259308 140725042259308 140725042261967 0
[pid=9164/tid=9174] ppid=9163 vsize=13801768 CPUtime=0.36 cores=0,2,4,6,8,10,12,14
/proc/9164/task/9174/stat : 9174 (java) S 9163 9163 7621 0 -1 1077944384 2060 0 0 0 22 14 0 0 20 0 28 0 4455394 14133010432 592891 33554432000 4194304 4196468 140725042256352 140049469860624 140049878238933 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 39444480 140725042259132 140725042259308 140725042259308 140725042261967 0
[pid=9164/tid=9175] ppid=9163 vsize=13801768 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/9164/task/9175/stat : 9175 (java) S 9163 9163 7621 0 -1 1077944384 3907 0 0 0 5 5 0 0 20 0 28 0 4455396 14133010432 592891 33554432000 4194304 4196468 140725042256352 140049340373360 140049878239874 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39444480 140725042259132 140725042259308 140725042259308 140725042261967 0
[pid=9164/tid=9176] ppid=9163 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9164/task/9176/stat : 9176 (java) S 9163 9163 7621 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 28 0 4455397 14133010432 592891 33554432000 4194304 4196468 140725042256352 140049339319392 140049878238933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39444480 140725042259132 140725042259308 140725042259308 140725042261967 0
[pid=9164/tid=9177] ppid=9163 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9164/task/9177/stat : 9177 (java) S 9163 9163 7621 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 4455397 14133010432 592891 33554432000 4194304 4196468 140725042256352 140049338266496 140049878238933 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 39444480 140725042259132 140725042259308 140725042259308 140725042261967 0
[pid=9164/tid=9178] ppid=9163 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9164/task/9178/stat : 9178 (java) S 9163 9163 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4455401 14133010432 592891 33554432000 4194304 4196468 140725042256352 140049337214800 140049878247323 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 39444480 140725042259132 140725042259308 140725042259308 140725042261967 0
[pid=9164/tid=9179] ppid=9163 vsize=13801768 CPUtime=2.96 cores=0,2,4,6,8,10,12,14
/proc/9164/task/9179/stat : 9179 (java) S 9163 9163 7621 0 -1 1077944384 12761 0 0 0 294 2 0 0 20 0 28 0 4455401 14133010432 592891 33554432000 4194304 4196468 140725042256352 140049336163184 140049878239874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39444480 140725042259132 140725042259308 140725042259308 140725042261967 0
[pid=9164/tid=9180] ppid=9163 vsize=13801768 CPUtime=2.73 cores=0,2,4,6,8,10,12,14
/proc/9164/task/9180/stat : 9180 (java) S 9163 9163 7621 0 -1 1077944384 11641 0 0 0 271 2 0 0 20 0 28 0 4455401 14133010432 592891 33554432000 4194304 4196468 140725042256352 140049335110384 140049878239874 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 39444480 140725042259132 140725042259308 140725042259308 140725042261967 0
[pid=9164/tid=9181] ppid=9163 vsize=13801768 CPUtime=3.05 cores=0,2,4,6,8,10,12,14
/proc/9164/task/9181/stat : 9181 (java) S 9163 9163 7621 0 -1 1077944384 9655 0 0 0 304 1 0 0 20 0 28 0 4455401 14133010432 592891 33554432000 4194304 4196468 140725042256352 140049334057584 140049878239874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39444480 140725042259132 140725042259308 140725042259308 140725042261967 0
[pid=9164/tid=9182] ppid=9163 vsize=13801768 CPUtime=0.99 cores=0,2,4,6,8,10,12,14
/proc/9164/task/9182/stat : 9182 (java) S 9163 9163 7621 0 -1 1077944384 7156 0 0 0 98 1 0 0 20 0 28 0 4455401 14133010432 592891 33554432000 4194304 4196468 140725042256352 140049333004784 140049878239874 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 39444480 140725042259132 140725042259308 140725042259308 140725042261967 0
[pid=9164/tid=9183] ppid=9163 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9164/task/9183/stat : 9183 (java) S 9163 9163 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4455401 14133010432 592891 33554432000 4194304 4196468 140725042256352 140049331952224 140049878238933 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 39444480 140725042259132 140725042259308 140725042259308 140725042261967 0
[pid=9164/tid=9184] ppid=9163 vsize=13801768 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/9164/task/9184/stat : 9184 (java) S 9163 9163 7621 0 -1 1077944384 1404 0 0 0 9 4 0 0 20 0 28 0 4455401 14133010432 592891 33554432000 4194304 4196468 140725042256352 140049330899504 140049878239874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39444480 140725042259132 140725042259308 140725042259308 140725042261967 0
[pid=9164/tid=9217] ppid=9163 vsize=13801768 CPUtime=256.68 cores=0,2,4,6,8,10,12,14
/proc/9164/task/9217/stat : 9217 (java) R 9163 9163 7621 0 -1 4202560 3450 0 0 0 25663 5 0 0 20 0 28 0 4459630 14133010432 592891 33554432000 4194304 4196468 140725042256352 140049319726184 140049511349042 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39444480 140725042259132 140725042259308 140725042259308 140725042261967 0
[pid=9164/tid=9218] ppid=9163 vsize=13801768 CPUtime=259.07 cores=0,2,4,6,8,10,12,14
/proc/9164/task/9218/stat : 9218 (java) R 9163 9163 7621 0 -1 4202560 1928 0 0 0 25904 3 0 0 20 0 28 0 4459630 14133010432 592891 33554432000 4194304 4196468 140725042256352 140049321832536 140049511868311 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 39444480 140725042259132 140725042259308 140725042259308 140725042261967 0
[pid=9164/tid=9219] ppid=9163 vsize=13801768 CPUtime=258.19 cores=0,2,4,6,8,10,12,14
/proc/9164/task/9219/stat : 9219 (java) R 9163 9163 7621 0 -1 4202560 2064 0 0 0 25818 1 0 0 20 0 28 0 4459630 14133010432 592891 33554432000 4194304 4196468 140725042256352 140049317622328 140049512530149 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39444480 140725042259132 140725042259308 140725042259308 140725042261967 0
[pid=9164/tid=9220] ppid=9163 vsize=13801768 CPUtime=257.91 cores=0,2,4,6,8,10,12,14
/proc/9164/task/9220/stat : 9220 (java) R 9163 9163 7621 0 -1 4202560 2136 0 0 0 25788 3 0 0 20 0 28 0 4459630 14133010432 592891 33554432000 4194304 4196468 140725042256352 140049318674608 140049512530142 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 39444480 140725042259132 140725042259308 140725042259308 140725042261967 0
[pid=9164/tid=9221] ppid=9163 vsize=13801768 CPUtime=258.37 cores=0,2,4,6,8,10,12,14
/proc/9164/task/9221/stat : 9221 (java) R 9163 9163 7621 0 -1 4202560 1739 0 0 0 25834 3 0 0 20 0 28 0 4459630 14133010432 592891 33554432000 4194304 4196468 140725042256352 140049322888208 140049513207948 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 39444480 140725042259132 140725042259308 140725042259308 140725042261967 0
[pid=9164/tid=9222] ppid=9163 vsize=13801768 CPUtime=259.18 cores=0,2,4,6,8,10,12,14
/proc/9164/task/9222/stat : 9222 (java) R 9163 9163 7621 0 -1 4202560 318 0 0 0 25918 0 0 0 20 0 28 0 4459630 14133010432 592891 33554432000 4194304 4196468 140725042256352 140049320780072 140049511349050 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39444480 140725042259132 140725042259308 140725042259308 140725042261967 0
[pid=9164/tid=9223] ppid=9163 vsize=13801768 CPUtime=257.46 cores=0,2,4,6,8,10,12,14
/proc/9164/task/9223/stat : 9223 (java) R 9163 9163 7621 0 -1 4202560 2308 0 0 0 25742 4 0 0 20 0 28 0 4459630 14133010432 592891 33554432000 4194304 4196468 140725042256352 140049315516888 140049512476253 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 39444480 140725042259132 140725042259308 140725042259308 140725042261967 0
[pid=9164/tid=9224] ppid=9163 vsize=13801768 CPUtime=258.92 cores=0,2,4,6,8,10,12,14
/proc/9164/task/9224/stat : 9224 (java) R 9163 9163 7621 0 -1 4202560 946 0 0 0 25891 1 0 0 20 0 28 0 4459631 14133010432 592891 33554432000 4194304 4196468 140725042256352 140049316568744 140049511348835 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39444480 140725042259132 140725042259308 140725042259308 140725042261967 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 13811280
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 9163 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=2042
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1021
# CPU time returned by wait4() is 0.003063
# while last known CPU time is 2400.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 302.112
CPU time (s): 2400.02
CPU user time (s): 2398.02
CPU system time (s): 2
CPU usage (%): 794.414
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.002042
system time used= 0.001021
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 516
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.88354 second user time and 4.35579 second system time
The end