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-4249064-1500693456/watcher-4249064-1500693456 -o /tmp/evaluation-result-4249064-1500693456/solver-4249064-1500693456 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node114-1500682387-16505 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1759199398 HOME/instance-4249064-1500693456.xml 

pid=7156
running on 8 cores: 1,3,5,7,9,11,13,15

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: 8.66 8.78 9.38 2/262 7159
/proc/meminfo: memFree=27377340/32770624 swapFree=5724/261924
[pid=7159] ppid=7156 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7159/stat : 7159 (xcsp3-exec) S 7156 7159 16473 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4614755 9740288 346 33554432000 4194304 5098028 140721217714096 140721217712200 140350304301692 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 26472448 140721217721486 140721217721696 140721217721696 140721217724395 0
/proc/7159/statm: 2378 346 289 221 0 87 0

[startup+0.100127 s]
/proc/loadavg: 8.66 8.78 9.38 2/262 7159
/proc/meminfo: memFree=27377340/32770624 swapFree=5724/261924
[pid=7159] ppid=7156 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7159/stat : 7159 (xcsp3-exec) S 7156 7159 16473 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4614755 9740288 346 33554432000 4194304 5098028 140721217714096 140721217712200 140350304301692 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 26472448 140721217721486 140721217721696 140721217721696 140721217724395 0
/proc/7159/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.200258 s]
/proc/loadavg: 8.66 8.78 9.38 2/262 7159
/proc/meminfo: memFree=27377340/32770624 swapFree=5724/261924
[pid=7159] ppid=7156 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7159/stat : 7159 (xcsp3-exec) S 7156 7159 16473 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4614755 9740288 346 33554432000 4194304 5098028 140721217714096 140721217712200 140350304301692 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 26472448 140721217721486 140721217721696 140721217721696 140721217724395 0
/proc/7159/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.300224 s]
/proc/loadavg: 8.66 8.78 9.38 2/262 7159
/proc/meminfo: memFree=27377340/32770624 swapFree=5724/261924
[pid=7159] ppid=7156 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7159/stat : 7159 (xcsp3-exec) S 7156 7159 16473 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4614755 9740288 346 33554432000 4194304 5098028 140721217714096 140721217712200 140350304301692 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 26472448 140721217721486 140721217721696 140721217721696 140721217724395 0
/proc/7159/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.700244 s]
/proc/loadavg: 8.66 8.78 9.38 2/262 7159
/proc/meminfo: memFree=27377340/32770624 swapFree=5724/261924
[pid=7159] ppid=7156 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7159/stat : 7159 (xcsp3-exec) S 7156 7159 16473 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4614755 9740288 346 33554432000 4194304 5098028 140721217714096 140721217712200 140350304301692 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 26472448 140721217721486 140721217721696 140721217721696 140721217724395 0
/proc/7159/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50075 s]
/proc/loadavg: 8.66 8.78 9.38 7/283 7180
/proc/meminfo: memFree=27183660/32770624 swapFree=5724/261964
[pid=7159] ppid=7156 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7159/stat : 7159 (xcsp3-exec) S 7156 7159 16473 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4614755 9740288 346 33554432000 4194304 5098028 140721217714096 140721217712200 140350304301692 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 26472448 140721217721486 140721217721696 140721217721696 140721217724395 0
/proc/7159/statm: 2378 346 289 221 0 87 0
[pid=7160] ppid=7159 vsize=13801768 CPUtime=5.76 cores=1,3,5,7,9,11,13,15
/proc/7160/stat : 7160 (java) S 7159 7159 16473 0 -1 1077944320 23695 0 0 0 554 22 0 0 20 0 28 0 4614755 14133010432 59266 33554432000 4194304 4196468 140731794765600 140731794748144 140204467486455 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 18968576 140731794773180 140731794773356 140731794773356 140731794776015 0
/proc/7160/statm: 3450442 59266 3261 1 0 3437675 0
[pid=7160/tid=7161] ppid=7159 vsize=13801768 CPUtime=1.33 cores=1,3,5,7,9,11,13,15
/proc/7160/task/7161/stat : 7161 (java) S 7159 7159 16473 0 -1 1077944384 7365 0 0 0 130 3 0 0 20 0 28 0 4614756 14133010432 59266 33554432000 4194304 4196468 140731794765600 140204471727232 140204467496661 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 18968576 140731794773180 140731794773356 140731794773356 140731794776015 0
[pid=7160/tid=7163] ppid=7159 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/7160/task/7163/stat : 7163 (java) S 7159 7159 16473 0 -1 1077944384 107 0 0 0 2 1 0 0 20 0 28 0 4614757 14133010432 59266 33554432000 4194304 4196468 140731794765600 140204385967248 140204467496661 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 18968576 140731794773180 140731794773356 140731794773356 140731794776015 0
[pid=7160/tid=7164] ppid=7159 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/7160/task/7164/stat : 7164 (java) S 7159 7159 16473 0 -1 1077944384 47 0 0 0 2 1 0 0 20 0 28 0 4614757 14133010432 59266 33554432000 4194304 4196468 140731794765600 140204384914448 140204467496661 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 18968576 140731794773180 140731794773356 140731794773356 140731794776015 0
[pid=7160/tid=7165] ppid=7159 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/7160/task/7165/stat : 7165 (java) S 7159 7159 16473 0 -1 1077944384 49 0 0 0 2 1 0 0 20 0 28 0 4614757 14133010432 59266 33554432000 4194304 4196468 140731794765600 140204383861648 140204467496661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18968576 140731794773180 140731794773356 140731794773356 140731794776015 0
[pid=7160/tid=7166] ppid=7159 vsize=13801768 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/7160/task/7166/stat : 7166 (java) S 7159 7159 16473 0 -1 1077944384 175 0 0 0 2 2 0 0 20 0 28 0 4614757 14133010432 59266 33554432000 4194304 4196468 140731794765600 140204382808848 140204467496661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18968576 140731794773180 140731794773356 140731794773356 140731794776015 0
[pid=7160/tid=7167] ppid=7159 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/7160/task/7167/stat : 7167 (java) S 7159 7159 16473 0 -1 1077944384 72 0 0 0 2 1 0 0 20 0 28 0 4614757 14133010432 59266 33554432000 4194304 4196468 140731794765600 140204381756048 140204467496661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18968576 140731794773180 140731794773356 140731794773356 140731794776015 0
[pid=7160/tid=7168] ppid=7159 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/7160/task/7168/stat : 7168 (java) S 7159 7159 16473 0 -1 1077944384 60 0 0 0 2 1 0 0 20 0 28 0 4614757 14133010432 59266 33554432000 4194304 4196468 140731794765600 140204380703248 140204467496661 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 18968576 140731794773180 140731794773356 140731794773356 140731794776015 0
[pid=7160/tid=7169] ppid=7159 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/7160/task/7169/stat : 7169 (java) S 7159 7159 16473 0 -1 1077944384 29 0 0 0 2 1 0 0 20 0 28 0 4614757 14133010432 59266 33554432000 4194304 4196468 140731794765600 140204379650448 140204467496661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18968576 140731794773180 140731794773356 140731794773356 140731794776015 0
[pid=7160/tid=7170] ppid=7159 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/7160/task/7170/stat : 7170 (java) S 7159 7159 16473 0 -1 1077944384 83 0 0 0 2 1 0 0 20 0 28 0 4614757 14133010432 59266 33554432000 4194304 4196468 140731794765600 140204378597648 140204467496661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18968576 140731794773180 140731794773356 140731794773356 140731794776015 0
[pid=7160/tid=7171] ppid=7159 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7160/task/7171/stat : 7171 (java) S 7159 7159 16473 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 28 0 4614759 14133010432 59266 33554432000 4194304 4196468 140731794765600 140203661319024 140204467497602 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18968576 140731794773180 140731794773356 140731794773356 140731794776015 0
[pid=7160/tid=7172] ppid=7159 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7160/task/7172/stat : 7172 (java) S 7159 7159 16473 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 4614760 14133010432 59266 33554432000 4194304 4196468 140731794765600 140203660265056 140204467496661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18968576 140731794773180 140731794773356 140731794773356 140731794776015 0
[pid=7160/tid=7173] ppid=7159 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7160/task/7173/stat : 7173 (java) S 7159 7159 16473 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 4614760 14133010432 59266 33554432000 4194304 4196468 140731794765600 140203659212160 140204467496661 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 18968576 140731794773180 140731794773356 140731794773356 140731794776015 0
[pid=7160/tid=7174] ppid=7159 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7160/task/7174/stat : 7174 (java) S 7159 7159 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4614764 14133010432 59266 33554432000 4194304 4196468 140731794765600 140203658160464 140204467505051 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 18968576 140731794773180 140731794773356 140731794773356 140731794776015 0
[pid=7160/tid=7175] ppid=7159 vsize=13801768 CPUtime=1 cores=1,3,5,7,9,11,13,15
/proc/7160/task/7175/stat : 7175 (java) R 7159 7159 16473 0 -1 4202560 3856 0 0 0 100 0 0 0 20 0 28 0 4614764 14133010432 59266 33554432000 4194304 4196468 140731794765600 140203657094392 140204460670560 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 18968576 140731794773180 140731794773356 140731794773356 140731794776015 0
[pid=7160/tid=7176] ppid=7159 vsize=13801768 CPUtime=1 cores=1,3,5,7,9,11,13,15
/proc/7160/task/7176/stat : 7176 (java) R 7159 7159 16473 0 -1 4202560 3420 0 0 0 100 0 0 0 20 0 28 0 4614764 14133010432 59266 33554432000 4194304 4196468 140731794765600 140203656041592 140204447338591 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18968576 140731794773180 140731794773356 140731794773356 140731794776015 0
[pid=7160/tid=7177] ppid=7159 vsize=13801768 CPUtime=1.06 cores=1,3,5,7,9,11,13,15
/proc/7160/task/7177/stat : 7177 (java) R 7159 7159 16473 0 -1 4202560 4216 0 0 0 106 0 0 0 20 0 28 0 4614764 14133010432 59266 33554432000 4194304 4196468 140731794765600 140203654993088 140204449030544 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18968576 140731794773180 140731794773356 140731794773356 140731794776015 0
[pid=7160/tid=7178] ppid=7159 vsize=13801768 CPUtime=0.6 cores=1,3,5,7,9,11,13,15
/proc/7160/task/7178/stat : 7178 (java) S 7159 7159 16473 0 -1 1077944384 2411 0 0 0 60 0 0 0 20 0 28 0 4614764 14133010432 59266 33554432000 4194304 4196468 140731794765600 140203653947216 140204467496661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18968576 140731794773180 140731794773356 140731794773356 140731794776015 0
[pid=7160/tid=7179] ppid=7159 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7160/task/7179/stat : 7179 (java) S 7159 7159 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4614764 14133010432 59266 33554432000 4194304 4196468 140731794765600 140203652897888 140204467496661 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 18968576 140731794773180 140731794773356 140731794773356 140731794776015 0
[pid=7160/tid=7180] ppid=7159 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7160/task/7180/stat : 7180 (java) S 7159 7159 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4614764 14133010432 59266 33554432000 4194304 4196468 140731794765600 140203651845168 140204467497602 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 18968576 140731794773180 140731794773356 140731794773356 140731794776015 0
Current children cumulated CPU time (s) 5.76
Current children cumulated vsize (KiB) 13811280

[startup+3.10143 s]
/proc/loadavg: 8.76 8.80 9.38 14/291 7212
/proc/meminfo: memFree=27118560/32770624 swapFree=5724/261964
[pid=7159] ppid=7156 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7159/stat : 7159 (xcsp3-exec) S 7156 7159 16473 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4614755 9740288 346 33554432000 4194304 5098028 140721217714096 140721217712200 140350304301692 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 26472448 140721217721486 140721217721696 140721217721696 140721217724395 0
/proc/7159/statm: 2378 346 289 221 0 87 0
[pid=7160] ppid=7159 vsize=13803808 CPUtime=16.91 cores=1,3,5,7,9,11,13,15
/proc/7160/stat : 7160 (java) S 7159 7159 16473 0 -1 1077944320 33193 0 0 0 1649 42 0 0 20 0 28 0 4614755 14135099392 102233 33554432000 4194304 4196468 140731794765600 140731794748144 140204467486455 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 18968576 140731794773180 140731794773356 140731794773356 140731794776015 0
/proc/7160/statm: 3450952 102233 3285 1 0 3438185 0
[pid=7160/tid=7161] ppid=7159 vsize=13803808 CPUtime=1.34 cores=1,3,5,7,9,11,13,15
/proc/7160/task/7161/stat : 7161 (java) S 7159 7159 16473 0 -1 1077944384 7366 0 0 0 131 3 0 0 20 0 28 0 4614756 14135099392 102233 33554432000 4194304 4196468 140731794765600 140204471727232 140204467496661 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 18968576 140731794773180 140731794773356 140731794773356 140731794776015 0
[pid=7160/tid=7163] ppid=7159 vsize=13803808 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/7160/task/7163/stat : 7163 (java) S 7159 7159 16473 0 -1 1077944384 120 0 0 0 3 3 0 0 20 0 28 0 4614757 14135099392 102233 33554432000 4194304 4196468 140731794765600 140204385967248 140204467496661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18968576 140731794773180 140731794773356 140731794773356 140731794776015 0
[pid=7160/tid=7164] ppid=7159 vsize=13803808 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/7160/task/7164/stat : 7164 (java) S 7159 7159 16473 0 -1 1077944384 60 0 0 0 4 3 0 0 20 0 28 0 4614757 14135099392 102233 33554432000 4194304 4196468 140731794765600 140204384914448 140204467496661 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 18968576 140731794773180 140731794773356 140731794773356 140731794776015 0
[pid=7160/tid=7165] ppid=7159 vsize=13803808 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/7160/task/7165/stat : 7165 (java) S 7159 7159 16473 0 -1 1077944384 62 0 0 0 3 3 0 0 20 0 28 0 4614757 14135099392 102233 33554432000 4194304 4196468 140731794765600 140204383861648 140204467496661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18968576 140731794773180 140731794773356 140731794773356 140731794776015 0
[pid=7160/tid=7166] ppid=7159 vsize=13803808 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/7160/task/7166/stat : 7166 (java) S 7159 7159 16473 0 -1 1077944384 197 0 0 0 5 3 0 0 20 0 28 0 4614757 14135099392 102233 33554432000 4194304 4196468 140731794765600 140204382808848 140204467496661 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 18968576 140731794773180 140731794773356 140731794773356 140731794776015 0
[pid=7160/tid=7167] ppid=7159 vsize=13803808 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/7160/task/7167/stat : 7167 (java) S 7159 7159 16473 0 -1 1077944384 87 0 0 0 4 3 0 0 20 0 28 0 4614757 14135099392 102233 33554432000 4194304 4196468 140731794765600 140204381756048 140204467496661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18968576 140731794773180 140731794773356 140731794773356 140731794776015 0
[pid=7160/tid=7168] ppid=7159 vsize=13803808 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/7160/task/7168/stat : 7168 (java) S 7159 7159 16473 0 -1 1077944384 75 0 0 0 4 3 0 0 20 0 28 0 4614757 14135099392 102233 33554432000 4194304 4196468 140731794765600 140204380703248 140204467496661 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 18968576 140731794773180 140731794773356 140731794773356 140731794776015 0
[pid=7160/tid=7169] ppid=7159 vsize=13803808 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/7160/task/7169/stat : 7169 (java) S 7159 7159 16473 0 -1 1077944384 49 0 0 0 4 3 0 0 20 0 28 0 4614757 14135099392 102233 33554432000 4194304 4196468 140731794765600 140204379650448 140204467496661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18968576 140731794773180 140731794773356 140731794773356 140731794776015 0
[pid=7160/tid=7170] ppid=7159 vsize=13803808 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/7160/task/7170/stat : 7170 (java) S 7159 7159 16473 0 -1 1077944384 119 0 0 0 4 3 0 0 20 0 28 0 4614757 14135099392 102233 33554432000 4194304 4196468 140731794765600 140204378597648 140204467496661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18968576 140731794773180 140731794773356 140731794773356 140731794776015 0
[pid=7160/tid=7171] ppid=7159 vsize=13803808 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7160/task/7171/stat : 7171 (java) S 7159 7159 16473 0 -1 1077944384 250 0 0 0 0 0 0 0 20 0 28 0 4614759 14135099392 102233 33554432000 4194304 4196468 140731794765600 140203661319024 140204467497602 0 0 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 18968576 140731794773180 140731794773356 140731794773356 140731794776015 0
[pid=7160/tid=7172] ppid=7159 vsize=13803808 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7160/task/7172/stat : 7172 (java) S 7159 7159 16473 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 4614760 14135099392 102233 33554432000 4194304 4196468 140731794765600 140203660265056 140204467496661 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 18968576 140731794773180 140731794773356 140731794773356 140731794776015 0
[pid=7160/tid=7173] ppid=7159 vsize=13803808 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7160/task/7173/stat : 7173 (java) S 7159 7159 16473 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 4614760 14135099392 102233 33554432000 4194304 4196468 140731794765600 140203659212160 140204467496661 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 18968576 140731794773180 140731794773356 140731794773356 140731794776015 0
[pid=7160/tid=7174] ppid=7159 vsize=13803808 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7160/task/7174/stat : 7174 (java) S 7159 7159 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4614764 14135099392 102233 33554432000 4194304 4196468 140731794765600 140203658160464 140204467505051 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 18968576 140731794773180 140731794773356 140731794773356 140731794776015 0
[pid=7160/tid=7175] ppid=7159 vsize=13803808 CPUtime=2.14 cores=1,3,5,7,9,11,13,15
/proc/7160/task/7175/stat : 7175 (java) R 7159 7159 16473 0 -1 4202560 6206 0 0 0 214 0 0 0 20 0 28 0 4614764 14135099392 102233 33554432000 4194304 4196468 140731794765600 140203657095184 140204452391863 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18968576 140731794773180 140731794773356 140731794773356 140731794776015 0
[pid=7160/tid=7176] ppid=7159 vsize=13803808 CPUtime=2.29 cores=1,3,5,7,9,11,13,15
/proc/7160/task/7176/stat : 7176 (java) R 7159 7159 16473 0 -1 4202560 6253 0 0 0 228 1 0 0 20 0 28 0 4614764 14135099392 102233 33554432000 4194304 4196468 140731794765600 140203656040760 140204449030920 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 18968576 140731794773180 140731794773356 140731794773356 140731794776015 0
[pid=7160/tid=7177] ppid=7159 vsize=13803808 CPUtime=2.07 cores=1,3,5,7,9,11,13,15
/proc/7160/task/7177/stat : 7177 (java) R 7159 7159 16473 0 -1 4202560 5918 0 0 0 206 1 0 0 20 0 28 0 4614764 14135099392 102233 33554432000 4194304 4196468 140731794765600 140203654986696 140204452594413 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18968576 140731794773180 140731794773356 140731794773356 140731794776015 0
[pid=7160/tid=7178] ppid=7159 vsize=13803808 CPUtime=0.96 cores=1,3,5,7,9,11,13,15
/proc/7160/task/7178/stat : 7178 (java) S 7159 7159 16473 0 -1 1077944384 3644 0 0 0 95 1 0 0 20 0 28 0 4614764 14135099392 102233 33554432000 4194304 4196468 140731794765600 140203653949424 140204467497602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18968576 140731794773180 140731794773356 140731794773356 140731794776015 0
[pid=7160/tid=7179] ppid=7159 vsize=13803808 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7160/task/7179/stat : 7179 (java) S 7159 7159 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4614764 14135099392 102233 33554432000 4194304 4196468 140731794765600 140203652897888 140204467496661 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 18968576 140731794773180 140731794773356 140731794773356 140731794776015 0
[pid=7160/tid=7180] ppid=7159 vsize=13803808 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7160/task/7180/stat : 7180 (java) S 7159 7159 16473 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 4614764 14135099392 102233 33554432000 4194304 4196468 140731794765600 140203651845168 140204467497602 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 18968576 140731794773180 140731794773356 140731794773356 140731794776015 0
[pid=7160/tid=7205] ppid=7159 vsize=13803808 CPUtime=0.52 cores=1,3,5,7,9,11,13,15
/proc/7160/task/7205/stat : 7205 (java) R 7159 7159 16473 0 -1 4202560 27 0 0 0 52 0 0 0 20 0 28 0 4614969 14135099392 102233 33554432000 4194304 4196468 140731794765600 140203108327000 140204065442143 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 18968576 140731794773180 140731794773356 140731794773356 140731794776015 0
[pid=7160/tid=7206] ppid=7159 vsize=13803808 CPUtime=0.69 cores=1,3,5,7,9,11,13,15
/proc/7160/task/7206/stat : 7206 (java) R 7159 7159 16473 0 -1 4202560 66 0 0 0 69 0 0 0 20 0 28 0 4614969 14135099392 102233 33554432000 4194304 4196468 140731794765600 140203639623680 140204065442021 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18968576 140731794773180 140731794773356 140731794773356 140731794776015 0
[pid=7160/tid=7207] ppid=7159 vsize=13803808 CPUtime=0.76 cores=1,3,5,7,9,11,13,15
/proc/7160/task/7207/stat : 7207 (java) R 7159 7159 16473 0 -1 4202560 109 0 0 0 76 0 0 0 20 0 28 0 4614969 14135099392 102233 33554432000 4194304 4196468 140731794765600 140203641729288 140204061595830 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18968576 140731794773180 140731794773356 140731794773356 140731794776015 0
[pid=7160/tid=7208] ppid=7159 vsize=13803808 CPUtime=0.79 cores=1,3,5,7,9,11,13,15
/proc/7160/task/7208/stat : 7208 (java) R 7159 7159 16473 0 -1 4202560 131 0 0 0 78 1 0 0 20 0 28 0 4614969 14135099392 102233 33554432000 4194304 4196468 140731794765600 140203643834504 140204063898389 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 18968576 140731794773180 140731794773356 140731794773356 140731794776015 0
[pid=7160/tid=7209] ppid=7159 vsize=13803808 CPUtime=0.62 cores=1,3,5,7,9,11,13,15
/proc/7160/task/7209/stat : 7209 (java) R 7159 7159 16473 0 -1 4202560 29 0 0 0 62 0 0 0 20 0 28 0 4614969 14135099392 102233 33554432000 4194304 4196468 140731794765600 140203107274760 140204063501000 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 18968576 140731794773180 140731794773356 140731794773356 140731794776015 0
[pid=7160/tid=7210] ppid=7159 vsize=13803808 CPUtime=0.66 cores=1,3,5,7,9,11,13,15
/proc/7160/task/7210/stat : 7210 (java) R 7159 7159 16473 0 -1 4202560 58 0 0 0 66 0 0 0 20 0 28 0 4614970 14135099392 102233 33554432000 4194304 4196468 140731794765600 140203638571064 140731796081032 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18968576 140731794773180 140731794773356 140731794773356 140731794776015 0
[pid=7160/tid=7211] ppid=7159 vsize=13803808 CPUtime=0.59 cores=1,3,5,7,9,11,13,15
/proc/7160/task/7211/stat : 7211 (java) R 7159 7159 16473 0 -1 4202560 224 0 0 0 59 0 0 0 20 0 28 0 4614970 14135099392 102233 33554432000 4194304 4196468 140731794765600 140203640672600 140204061593809 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 18968576 140731794773180 140731794773356 140731794773356 140731794776015 0
[pid=7160/tid=7212] ppid=7159 vsize=13803808 CPUtime=0.63 cores=1,3,5,7,9,11,13,15
/proc/7160/task/7212/stat : 7212 (java) R 7159 7159 16473 0 -1 4202560 94 0 0 0 63 0 0 0 20 0 28 0 4614970 14135099392 102233 33554432000 4194304 4196468 140731794765600 140203642781840 140204063182632 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18968576 140731794773180 140731794773356 140731794773356 140731794776015 0
Current children cumulated CPU time (s) 16.91
Current children cumulated vsize (KiB) 13813320

[startup+6.30146 s]
/proc/loadavg: 8.76 8.80 9.38 11/291 7228
/proc/meminfo: memFree=26792748/32770624 swapFree=5724/261964
[pid=7159] ppid=7156 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7159/stat : 7159 (xcsp3-exec) S 7156 7159 16473 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4614755 9740288 346 33554432000 4194304 5098028 140721217714096 140721217712200 140350304301692 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 26472448 140721217721486 140721217721696 140721217721696 140721217724395 0
/proc/7159/statm: 2378 346 289 221 0 87 0
[pid=7160] ppid=7159 vsize=13801768 CPUtime=41.51 cores=1,3,5,7,9,11,13,15
/proc/7160/stat : 7160 (java) S 7159 7159 16473 0 -1 1077944320 42189 0 0 0 4085 66 0 0 20 0 28 0 4614755 14133010432 172427 33554432000 4194304 4196468 140731794765600 140731794748144 140204467486455 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 18968576 140731794773180 140731794773356 140731794773356 140731794776015 0
/proc/7160/statm: 3450442 172427 3288 1 0 3437675 0
[pid=7160/tid=7161] ppid=7159 vsize=13801768 CPUtime=1.35 cores=1,3,5,7,9,11,13,15
/proc/7160/task/7161/stat : 7161 (java) S 7159 7159 16473 0 -1 1077944384 7403 0 0 0 132 3 0 0 20 0 28 0 4614756 14133010432 172427 33554432000 4194304 4196468 140731794765600 140204471727232 140204467496661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18968576 140731794773180 140731794773356 140731794773356 140731794776015 0
[pid=7160/tid=7163] ppid=7159 vsize=13801768 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/7160/task/7163/stat : 7163 (java) S 7159 7159 16473 0 -1 1077944384 150 0 0 0 4 5 0 0 20 0 28 0 4614757 14133010432 172427 33554432000 4194304 4196468 140731794765600 140204385967248 140204467496661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18968576 140731794773180 140731794773356 140731794773356 140731794776015 0
[pid=7160/tid=7164] ppid=7159 vsize=13801768 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/7160/task/7164/stat : 7164 (java) S 7159 7159 16473 0 -1 1077944384 126 0 0 0 6 5 0 0 20 0 28 0 4614757 14133010432 172427 33554432000 4194304 4196468 140731794765600 140204384914448 140204467496661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18968576 140731794773180 140731794773356 140731794773356 140731794776015 0
[pid=7160/tid=7165] ppid=7159 vsize=13801768 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/7160/task/7165/stat : 7165 (java) S 7159 7159 16473 0 -1 1077944384 87 0 0 0 6 5 0 0 20 0 28 0 4614757 14133010432 172427 33554432000 4194304 4196468 140731794765600 140204383861648 140204467496661 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 18968576 140731794773180 140731794773356 140731794773356 140731794776015 0
[pid=7160/tid=7166] ppid=7159 vsize=13801768 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/7160/task/7166/stat : 7166 (java) S 7159 7159 16473 0 -1 1077944384 897 0 0 0 8 5 0 0 20 0 28 0 4614757 14133010432 172427 33554432000 4194304 4196468 140731794765600 140204382808848 140204467496661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18968576 140731794773180 140731794773356 140731794773356 140731794776015 0

################
# More data... #
################

[pid=7160/tid=7243] ppid=7159 vsize=13801768 CPUtime=242.52 cores=1,3,5,7,9,11,13,15
/proc/7160/task/7243/stat : 7243 (java) R 7159 7159 16473 0 -1 4202560 4145 0 0 0 24246 6 0 0 20 0 28 0 4618528 14133010432 821457 33554432000 4194304 4196468 140731794765600 140203108326672 140204066659105 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18968576 140731794773180 140731794773356 140731794773356 140731794776015 0
[pid=7160/tid=7244] ppid=7159 vsize=13801768 CPUtime=243.16 cores=1,3,5,7,9,11,13,15
/proc/7160/task/7244/stat : 7244 (java) R 7159 7159 16473 0 -1 4202560 1712 0 0 0 24312 4 0 0 20 0 28 0 4618528 14133010432 821457 33554432000 4194304 4196468 140731794765600 140203641725240 140204063182778 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18968576 140731794773180 140731794773356 140731794773356 140731794776015 0
Current children cumulated CPU time (s) 2236.86
Current children cumulated vsize (KiB) 13811280



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+302.902 s]
/proc/loadavg: 8.83 8.89 9.27 10/292 7257
/proc/meminfo: memFree=24129500/32770624 swapFree=5724/262276
[pid=7159] ppid=7156 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7159/stat : 7159 (xcsp3-exec) S 7156 7159 16473 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4614755 9740288 346 33554432000 4194304 5098028 140721217714096 140721217712200 140350304301692 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 26472448 140721217721486 140721217721696 140721217721696 140721217724395 0
/proc/7159/statm: 2378 346 289 221 0 87 0
[pid=7160] ppid=7159 vsize=13801768 CPUtime=2400.48 cores=1,3,5,7,9,11,13,15
/proc/7160/stat : 7160 (java) S 7159 7159 16473 0 -1 1077944320 123852 0 0 0 239757 291 0 0 20 0 28 0 4614755 14133010432 813397 33554432000 4194304 4196468 140731794765600 140731794748144 140204467486455 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 18968576 140731794773180 140731794773356 140731794773356 140731794776015 0
/proc/7160/statm: 3450442 813397 3290 1 0 3437675 0
[pid=7160/tid=7161] ppid=7159 vsize=13801768 CPUtime=1.35 cores=1,3,5,7,9,11,13,15
/proc/7160/task/7161/stat : 7161 (java) S 7159 7159 16473 0 -1 1077944384 7579 0 0 0 132 3 0 0 20 0 28 0 4614756 14133010432 813397 33554432000 4194304 4196468 140731794765600 140204471727232 140204467496661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18968576 140731794773180 140731794773356 140731794773356 140731794776015 0
[pid=7160/tid=7163] ppid=7159 vsize=13801768 CPUtime=0.47 cores=1,3,5,7,9,11,13,15
/proc/7160/task/7163/stat : 7163 (java) S 7159 7159 16473 0 -1 1077944384 678 0 0 0 26 21 0 0 20 0 28 0 4614757 14133010432 813397 33554432000 4194304 4196468 140731794765600 140204385967248 140204467496661 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 18968576 140731794773180 140731794773356 140731794773356 140731794776015 0
[pid=7160/tid=7164] ppid=7159 vsize=13801768 CPUtime=0.49 cores=1,3,5,7,9,11,13,15
/proc/7160/task/7164/stat : 7164 (java) S 7159 7159 16473 0 -1 1077944384 1334 0 0 0 27 22 0 0 20 0 28 0 4614757 14133010432 813397 33554432000 4194304 4196468 140731794765600 140204384914448 140204467496661 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 18968576 140731794773180 140731794773356 140731794773356 140731794776015 0
[pid=7160/tid=7165] ppid=7159 vsize=13801768 CPUtime=0.49 cores=1,3,5,7,9,11,13,15
/proc/7160/task/7165/stat : 7165 (java) S 7159 7159 16473 0 -1 1077944384 2493 0 0 0 27 22 0 0 20 0 28 0 4614757 14133010432 813397 33554432000 4194304 4196468 140731794765600 140204383861648 140204467496661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18968576 140731794773180 140731794773356 140731794773356 140731794776015 0
[pid=7160/tid=7166] ppid=7159 vsize=13801768 CPUtime=0.49 cores=1,3,5,7,9,11,13,15
/proc/7160/task/7166/stat : 7166 (java) S 7159 7159 16473 0 -1 1077944384 1959 0 0 0 28 21 0 0 20 0 28 0 4614757 14133010432 813397 33554432000 4194304 4196468 140731794765600 140204382808848 140204467496661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18968576 140731794773180 140731794773356 140731794773356 140731794776015 0
[pid=7160/tid=7167] ppid=7159 vsize=13801768 CPUtime=0.49 cores=1,3,5,7,9,11,13,15
/proc/7160/task/7167/stat : 7167 (java) S 7159 7159 16473 0 -1 1077944384 1053 0 0 0 28 21 0 0 20 0 28 0 4614757 14133010432 813397 33554432000 4194304 4196468 140731794765600 140204381756048 140204467496661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18968576 140731794773180 140731794773356 140731794773356 140731794776015 0
[pid=7160/tid=7168] ppid=7159 vsize=13801768 CPUtime=0.5 cores=1,3,5,7,9,11,13,15
/proc/7160/task/7168/stat : 7168 (java) S 7159 7159 16473 0 -1 1077944384 1686 0 0 0 30 20 0 0 20 0 28 0 4614757 14133010432 813397 33554432000 4194304 4196468 140731794765600 140204380703248 140204467496661 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 18968576 140731794773180 140731794773356 140731794773356 140731794776015 0
[pid=7160/tid=7169] ppid=7159 vsize=13801768 CPUtime=0.49 cores=1,3,5,7,9,11,13,15
/proc/7160/task/7169/stat : 7169 (java) S 7159 7159 16473 0 -1 1077944384 1093 0 0 0 29 20 0 0 20 0 28 0 4614757 14133010432 813397 33554432000 4194304 4196468 140731794765600 140204379650448 140204467496661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18968576 140731794773180 140731794773356 140731794773356 140731794776015 0
[pid=7160/tid=7170] ppid=7159 vsize=13801768 CPUtime=0.52 cores=1,3,5,7,9,11,13,15
/proc/7160/task/7170/stat : 7170 (java) S 7159 7159 16473 0 -1 1077944384 802 0 0 0 30 22 0 0 20 0 28 0 4614757 14133010432 813397 33554432000 4194304 4196468 140731794765600 140204378597648 140204467496661 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 18968576 140731794773180 140731794773356 140731794773356 140731794776015 0
[pid=7160/tid=7171] ppid=7159 vsize=13801768 CPUtime=0.45 cores=1,3,5,7,9,11,13,15
/proc/7160/task/7171/stat : 7171 (java) S 7159 7159 16473 0 -1 1077944384 5009 0 0 0 17 28 0 0 20 0 28 0 4614759 14133010432 813397 33554432000 4194304 4196468 140731794765600 140203661319024 140204467497602 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18968576 140731794773180 140731794773356 140731794773356 140731794776015 0
[pid=7160/tid=7172] ppid=7159 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7160/task/7172/stat : 7172 (java) S 7159 7159 16473 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 4614760 14133010432 813397 33554432000 4194304 4196468 140731794765600 140203660265056 140204467496661 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 18968576 140731794773180 140731794773356 140731794773356 140731794776015 0
[pid=7160/tid=7173] ppid=7159 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7160/task/7173/stat : 7173 (java) S 7159 7159 16473 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 28 0 4614760 14133010432 813397 33554432000 4194304 4196468 140731794765600 140203659212160 140204467496661 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 18968576 140731794773180 140731794773356 140731794773356 140731794776015 0
[pid=7160/tid=7174] ppid=7159 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7160/task/7174/stat : 7174 (java) S 7159 7159 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4614764 14133010432 813397 33554432000 4194304 4196468 140731794765600 140203658160464 140204467505051 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 18968576 140731794773180 140731794773356 140731794773356 140731794776015 0
[pid=7160/tid=7175] ppid=7159 vsize=13801768 CPUtime=4.1 cores=1,3,5,7,9,11,13,15
/proc/7160/task/7175/stat : 7175 (java) S 7159 7159 16473 0 -1 1077944384 19164 0 0 0 407 3 0 0 20 0 28 0 4614764 14133010432 813397 33554432000 4194304 4196468 140731794765600 140203657107824 140204467497602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18968576 140731794773180 140731794773356 140731794773356 140731794776015 0
[pid=7160/tid=7176] ppid=7159 vsize=13801768 CPUtime=3.99 cores=1,3,5,7,9,11,13,15
/proc/7160/task/7176/stat : 7176 (java) S 7159 7159 16473 0 -1 1077944384 14400 0 0 0 397 2 0 0 20 0 28 0 4614764 14133010432 813397 33554432000 4194304 4196468 140731794765600 140203656055024 140204467497602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18968576 140731794773180 140731794773356 140731794773356 140731794776015 0
[pid=7160/tid=7177] ppid=7159 vsize=13801768 CPUtime=4.33 cores=1,3,5,7,9,11,13,15
/proc/7160/task/7177/stat : 7177 (java) S 7159 7159 16473 0 -1 1077944384 20471 0 0 0 430 3 0 0 20 0 28 0 4614764 14133010432 813397 33554432000 4194304 4196468 140731794765600 140203655002224 140204467497602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18968576 140731794773180 140731794773356 140731794773356 140731794776015 0
[pid=7160/tid=7178] ppid=7159 vsize=13801768 CPUtime=1.13 cores=1,3,5,7,9,11,13,15
/proc/7160/task/7178/stat : 7178 (java) S 7159 7159 16473 0 -1 1077944384 8753 0 0 0 111 2 0 0 20 0 28 0 4614764 14133010432 813397 33554432000 4194304 4196468 140731794765600 140203653949424 140204467497602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18968576 140731794773180 140731794773356 140731794773356 140731794776015 0
[pid=7160/tid=7179] ppid=7159 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7160/task/7179/stat : 7179 (java) S 7159 7159 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4614764 14133010432 813397 33554432000 4194304 4196468 140731794765600 140203652897888 140204467496661 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 18968576 140731794773180 140731794773356 140731794773356 140731794776015 0
[pid=7160/tid=7180] ppid=7159 vsize=13801768 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/7160/task/7180/stat : 7180 (java) S 7159 7159 16473 0 -1 1077944384 1021 0 0 0 5 10 0 0 20 0 28 0 4614764 14133010432 813397 33554432000 4194304 4196468 140731794765600 140203651845168 140204467497602 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 10 0 0 6293624 6294260 18968576 140731794773180 140731794773356 140731794773356 140731794776015 0
[pid=7160/tid=7237] ppid=7159 vsize=13801768 CPUtime=263.46 cores=1,3,5,7,9,11,13,15
/proc/7160/task/7237/stat : 7237 (java) R 7159 7159 16473 0 -1 4202560 1954 0 0 0 26342 4 0 0 20 0 28 0 4618527 14133010432 813397 33554432000 4194304 4196468 140731794765600 140203639621744 140204065441987 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 18968576 140731794773180 140731794773356 140731794773356 140731794776015 0
[pid=7160/tid=7238] ppid=7159 vsize=13801768 CPUtime=264.23 cores=1,3,5,7,9,11,13,15
/proc/7160/task/7238/stat : 7238 (java) R 7159 7159 16473 0 -1 4202560 4439 0 0 0 26410 13 0 0 20 0 28 0 4618527 14133010432 813397 33554432000 4194304 4196468 140731794765600 140203107271016 140204057910352 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18968576 140731794773180 140731794773356 140731794773356 140731794776015 0
[pid=7160/tid=7239] ppid=7159 vsize=13801768 CPUtime=263.54 cores=1,3,5,7,9,11,13,15
/proc/7160/task/7239/stat : 7239 (java) R 7159 7159 16473 0 -1 4202560 3495 0 0 0 26349 5 0 0 20 0 28 0 4618527 14133010432 813397 33554432000 4194304 4196468 140731794765600 140203642778344 140204065243276 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18968576 140731794773180 140731794773356 140731794773356 140731794776015 0
[pid=7160/tid=7240] ppid=7159 vsize=13801768 CPUtime=263.88 cores=1,3,5,7,9,11,13,15
/proc/7160/task/7240/stat : 7240 (java) R 7159 7159 16473 0 -1 4202560 3778 0 0 0 26382 6 0 0 20 0 28 0 4618527 14133010432 813397 33554432000 4194304 4196468 140731794765600 140203638566904 140204064209478 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 18968576 140731794773180 140731794773356 140731794773356 140731794776015 0
[pid=7160/tid=7241] ppid=7159 vsize=13801768 CPUtime=262.78 cores=1,3,5,7,9,11,13,15
/proc/7160/task/7241/stat : 7241 (java) R 7159 7159 16473 0 -1 4202560 2375 0 0 0 26273 5 0 0 20 0 28 0 4618527 14133010432 813397 33554432000 4194304 4196468 140731794765600 140203640671904 140204065243237 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 18968576 140731794773180 140731794773356 140731794773356 140731794776015 0
[pid=7160/tid=7242] ppid=7159 vsize=13801768 CPUtime=262.43 cores=1,3,5,7,9,11,13,15
/proc/7160/task/7242/stat : 7242 (java) R 7159 7159 16473 0 -1 4202560 779 0 0 0 26242 1 0 0 20 0 28 0 4618528 14133010432 813397 33554432000 4194304 4196468 140731794765600 140203643833840 140204063380989 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18968576 140731794773180 140731794773356 140731794773356 140731794776015 0
[pid=7160/tid=7243] ppid=7159 vsize=13801768 CPUtime=262.99 cores=1,3,5,7,9,11,13,15
/proc/7160/task/7243/stat : 7243 (java) R 7159 7159 16473 0 -1 4202560 4393 0 0 0 26293 6 0 0 20 0 28 0 4618528 14133010432 813397 33554432000 4194304 4196468 140731794765600 140203108328360 140204066659074 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18968576 140731794773180 140731794773356 140731794773356 140731794776015 0
[pid=7160/tid=7244] ppid=7159 vsize=13801768 CPUtime=263.66 cores=1,3,5,7,9,11,13,15
/proc/7160/task/7244/stat : 7244 (java) R 7159 7159 16473 0 -1 4202560 1807 0 0 0 26362 4 0 0 20 0 28 0 4618528 14133010432 813397 33554432000 4194304 4196468 140731794765600 140203641725544 140204065243286 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 18968576 140731794773180 140731794773356 140731794773356 140731794776015 0
Current children cumulated CPU time (s) 2400.48
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 7160 sig 9
??? kill 7159 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+302.902 s]
/proc/loadavg: 8.83 8.89 9.27 10/292 7257
/proc/meminfo: memFree=24129500/32770624 swapFree=5724/262276
[pid=7159] ppid=7156 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7159/stat : 7159 (xcsp3-exec) S 7156 7159 16473 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4614755 9740288 346 33554432000 4194304 5098028 140721217714096 140721217712200 140350304301692 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 26472448 140721217721486 140721217721696 140721217721696 140721217724395 0
/proc/7159/statm: 2378 346 289 221 0 87 0
[pid=7160] ppid=7159 vsize=13801768 CPUtime=2400.48 cores=1,3,5,7,9,11,13,15
/proc/7160/stat : 7160 (java) S 7159 7159 16473 0 -1 1077944320 123852 0 0 0 239757 291 0 0 20 0 28 0 4614755 14133010432 813397 33554432000 4194304 4196468 140731794765600 140731794748144 140204467486455 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 18968576 140731794773180 140731794773356 140731794773356 140731794776015 0
/proc/7160/statm: 3450442 813397 3290 1 0 3437675 0
[pid=7160/tid=7161] ppid=7159 vsize=13801768 CPUtime=1.35 cores=1,3,5,7,9,11,13,15
/proc/7160/task/7161/stat : 7161 (java) S 7159 7159 16473 0 -1 1077944384 7579 0 0 0 132 3 0 0 20 0 28 0 4614756 14133010432 813397 33554432000 4194304 4196468 140731794765600 140204471727232 140204467496661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18968576 140731794773180 140731794773356 140731794773356 140731794776015 0
[pid=7160/tid=7163] ppid=7159 vsize=13801768 CPUtime=0.47 cores=1,3,5,7,9,11,13,15
/proc/7160/task/7163/stat : 7163 (java) S 7159 7159 16473 0 -1 1077944384 678 0 0 0 26 21 0 0 20 0 28 0 4614757 14133010432 813397 33554432000 4194304 4196468 140731794765600 140204385967248 140204467496661 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 18968576 140731794773180 140731794773356 140731794773356 140731794776015 0
[pid=7160/tid=7164] ppid=7159 vsize=13801768 CPUtime=0.49 cores=1,3,5,7,9,11,13,15
/proc/7160/task/7164/stat : 7164 (java) S 7159 7159 16473 0 -1 1077944384 1334 0 0 0 27 22 0 0 20 0 28 0 4614757 14133010432 813397 33554432000 4194304 4196468 140731794765600 140204384914448 140204467496661 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 18968576 140731794773180 140731794773356 140731794773356 140731794776015 0
[pid=7160/tid=7165] ppid=7159 vsize=13801768 CPUtime=0.49 cores=1,3,5,7,9,11,13,15
/proc/7160/task/7165/stat : 7165 (java) S 7159 7159 16473 0 -1 1077944384 2493 0 0 0 27 22 0 0 20 0 28 0 4614757 14133010432 813397 33554432000 4194304 4196468 140731794765600 140204383861648 140204467496661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18968576 140731794773180 140731794773356 140731794773356 140731794776015 0
[pid=7160/tid=7166] ppid=7159 vsize=13801768 CPUtime=0.49 cores=1,3,5,7,9,11,13,15
/proc/7160/task/7166/stat : 7166 (java) S 7159 7159 16473 0 -1 1077944384 1959 0 0 0 28 21 0 0 20 0 28 0 4614757 14133010432 813397 33554432000 4194304 4196468 140731794765600 140204382808848 140204467496661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18968576 140731794773180 140731794773356 140731794773356 140731794776015 0
[pid=7160/tid=7167] ppid=7159 vsize=13801768 CPUtime=0.49 cores=1,3,5,7,9,11,13,15
/proc/7160/task/7167/stat : 7167 (java) S 7159 7159 16473 0 -1 1077944384 1053 0 0 0 28 21 0 0 20 0 28 0 4614757 14133010432 813397 33554432000 4194304 4196468 140731794765600 140204381756048 140204467496661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18968576 140731794773180 140731794773356 140731794773356 140731794776015 0
[pid=7160/tid=7168] ppid=7159 vsize=13801768 CPUtime=0.5 cores=1,3,5,7,9,11,13,15
/proc/7160/task/7168/stat : 7168 (java) S 7159 7159 16473 0 -1 1077944384 1686 0 0 0 30 20 0 0 20 0 28 0 4614757 14133010432 813397 33554432000 4194304 4196468 140731794765600 140204380703248 140204467496661 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 18968576 140731794773180 140731794773356 140731794773356 140731794776015 0
[pid=7160/tid=7169] ppid=7159 vsize=13801768 CPUtime=0.49 cores=1,3,5,7,9,11,13,15
/proc/7160/task/7169/stat : 7169 (java) S 7159 7159 16473 0 -1 1077944384 1093 0 0 0 29 20 0 0 20 0 28 0 4614757 14133010432 813397 33554432000 4194304 4196468 140731794765600 140204379650448 140204467496661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18968576 140731794773180 140731794773356 140731794773356 140731794776015 0
[pid=7160/tid=7170] ppid=7159 vsize=13801768 CPUtime=0.52 cores=1,3,5,7,9,11,13,15
/proc/7160/task/7170/stat : 7170 (java) S 7159 7159 16473 0 -1 1077944384 802 0 0 0 30 22 0 0 20 0 28 0 4614757 14133010432 813397 33554432000 4194304 4196468 140731794765600 140204378597648 140204467496661 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 18968576 140731794773180 140731794773356 140731794773356 140731794776015 0
[pid=7160/tid=7171] ppid=7159 vsize=13801768 CPUtime=0.45 cores=1,3,5,7,9,11,13,15
/proc/7160/task/7171/stat : 7171 (java) S 7159 7159 16473 0 -1 1077944384 5009 0 0 0 17 28 0 0 20 0 28 0 4614759 14133010432 813397 33554432000 4194304 4196468 140731794765600 140203661319024 140204467497602 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18968576 140731794773180 140731794773356 140731794773356 140731794776015 0
[pid=7160/tid=7172] ppid=7159 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7160/task/7172/stat : 7172 (java) S 7159 7159 16473 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 4614760 14133010432 813397 33554432000 4194304 4196468 140731794765600 140203660265056 140204467496661 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 18968576 140731794773180 140731794773356 140731794773356 140731794776015 0
[pid=7160/tid=7173] ppid=7159 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7160/task/7173/stat : 7173 (java) S 7159 7159 16473 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 28 0 4614760 14133010432 813397 33554432000 4194304 4196468 140731794765600 140203659212160 140204467496661 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 18968576 140731794773180 140731794773356 140731794773356 140731794776015 0
[pid=7160/tid=7174] ppid=7159 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7160/task/7174/stat : 7174 (java) S 7159 7159 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4614764 14133010432 813397 33554432000 4194304 4196468 140731794765600 140203658160464 140204467505051 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 18968576 140731794773180 140731794773356 140731794773356 140731794776015 0
[pid=7160/tid=7175] ppid=7159 vsize=13801768 CPUtime=4.1 cores=1,3,5,7,9,11,13,15
/proc/7160/task/7175/stat : 7175 (java) S 7159 7159 16473 0 -1 1077944384 19164 0 0 0 407 3 0 0 20 0 28 0 4614764 14133010432 813397 33554432000 4194304 4196468 140731794765600 140203657107824 140204467497602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18968576 140731794773180 140731794773356 140731794773356 140731794776015 0
[pid=7160/tid=7176] ppid=7159 vsize=13801768 CPUtime=3.99 cores=1,3,5,7,9,11,13,15
/proc/7160/task/7176/stat : 7176 (java) S 7159 7159 16473 0 -1 1077944384 14400 0 0 0 397 2 0 0 20 0 28 0 4614764 14133010432 813397 33554432000 4194304 4196468 140731794765600 140203656055024 140204467497602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18968576 140731794773180 140731794773356 140731794773356 140731794776015 0
[pid=7160/tid=7177] ppid=7159 vsize=13801768 CPUtime=4.33 cores=1,3,5,7,9,11,13,15
/proc/7160/task/7177/stat : 7177 (java) S 7159 7159 16473 0 -1 1077944384 20471 0 0 0 430 3 0 0 20 0 28 0 4614764 14133010432 813397 33554432000 4194304 4196468 140731794765600 140203655002224 140204467497602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18968576 140731794773180 140731794773356 140731794773356 140731794776015 0
[pid=7160/tid=7178] ppid=7159 vsize=13801768 CPUtime=1.13 cores=1,3,5,7,9,11,13,15
/proc/7160/task/7178/stat : 7178 (java) S 7159 7159 16473 0 -1 1077944384 8753 0 0 0 111 2 0 0 20 0 28 0 4614764 14133010432 813397 33554432000 4194304 4196468 140731794765600 140203653949424 140204467497602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18968576 140731794773180 140731794773356 140731794773356 140731794776015 0
[pid=7160/tid=7179] ppid=7159 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7160/task/7179/stat : 7179 (java) S 7159 7159 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4614764 14133010432 813397 33554432000 4194304 4196468 140731794765600 140203652897888 140204467496661 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 18968576 140731794773180 140731794773356 140731794773356 140731794776015 0
[pid=7160/tid=7180] ppid=7159 vsize=13801768 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/7160/task/7180/stat : 7180 (java) S 7159 7159 16473 0 -1 1077944384 1021 0 0 0 5 10 0 0 20 0 28 0 4614764 14133010432 813397 33554432000 4194304 4196468 140731794765600 140203651845168 140204467497602 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 10 0 0 6293624 6294260 18968576 140731794773180 140731794773356 140731794773356 140731794776015 0
[pid=7160/tid=7237] ppid=7159 vsize=13801768 CPUtime=263.46 cores=1,3,5,7,9,11,13,15
/proc/7160/task/7237/stat : 7237 (java) R 7159 7159 16473 0 -1 4202560 1954 0 0 0 26342 4 0 0 20 0 28 0 4618527 14133010432 813397 33554432000 4194304 4196468 140731794765600 140203639621744 140204065441987 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 18968576 140731794773180 140731794773356 140731794773356 140731794776015 0
[pid=7160/tid=7238] ppid=7159 vsize=13801768 CPUtime=264.23 cores=1,3,5,7,9,11,13,15
/proc/7160/task/7238/stat : 7238 (java) R 7159 7159 16473 0 -1 4202560 4439 0 0 0 26410 13 0 0 20 0 28 0 4618527 14133010432 813397 33554432000 4194304 4196468 140731794765600 140203107271016 140204057910352 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18968576 140731794773180 140731794773356 140731794773356 140731794776015 0
[pid=7160/tid=7239] ppid=7159 vsize=13801768 CPUtime=263.54 cores=1,3,5,7,9,11,13,15
/proc/7160/task/7239/stat : 7239 (java) R 7159 7159 16473 0 -1 4202560 3495 0 0 0 26349 5 0 0 20 0 28 0 4618527 14133010432 813397 33554432000 4194304 4196468 140731794765600 140203642778344 140204065243276 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18968576 140731794773180 140731794773356 140731794773356 140731794776015 0
[pid=7160/tid=7240] ppid=7159 vsize=13801768 CPUtime=263.88 cores=1,3,5,7,9,11,13,15
/proc/7160/task/7240/stat : 7240 (java) R 7159 7159 16473 0 -1 4202560 3778 0 0 0 26382 6 0 0 20 0 28 0 4618527 14133010432 813397 33554432000 4194304 4196468 140731794765600 140203638566904 140204064209478 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 18968576 140731794773180 140731794773356 140731794773356 140731794776015 0
[pid=7160/tid=7241] ppid=7159 vsize=13801768 CPUtime=262.78 cores=1,3,5,7,9,11,13,15
/proc/7160/task/7241/stat : 7241 (java) R 7159 7159 16473 0 -1 4202560 2375 0 0 0 26273 5 0 0 20 0 28 0 4618527 14133010432 813397 33554432000 4194304 4196468 140731794765600 140203640671904 140204065243237 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 18968576 140731794773180 140731794773356 140731794773356 140731794776015 0
[pid=7160/tid=7242] ppid=7159 vsize=13801768 CPUtime=262.43 cores=1,3,5,7,9,11,13,15
/proc/7160/task/7242/stat : 7242 (java) R 7159 7159 16473 0 -1 4202560 779 0 0 0 26242 1 0 0 20 0 28 0 4618528 14133010432 813397 33554432000 4194304 4196468 140731794765600 140203643833840 140204063380989 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18968576 140731794773180 140731794773356 140731794773356 140731794776015 0
[pid=7160/tid=7243] ppid=7159 vsize=13801768 CPUtime=262.99 cores=1,3,5,7,9,11,13,15
/proc/7160/task/7243/stat : 7243 (java) R 7159 7159 16473 0 -1 4202560 4393 0 0 0 26293 6 0 0 20 0 28 0 4618528 14133010432 813397 33554432000 4194304 4196468 140731794765600 140203108328360 140204066659074 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18968576 140731794773180 140731794773356 140731794773356 140731794776015 0
[pid=7160/tid=7244] ppid=7159 vsize=13801768 CPUtime=263.66 cores=1,3,5,7,9,11,13,15
/proc/7160/task/7244/stat : 7244 (java) R 7159 7159 16473 0 -1 4202560 1807 0 0 0 26362 4 0 0 20 0 28 0 4618528 14133010432 813397 33554432000 4194304 4196468 140731794765600 140203641725544 140204065243286 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 18968576 140731794773180 140731794773356 140731794773356 140731794776015 0
Current children cumulated CPU time (s) 2400.48
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 7159 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=1383
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=1974
# CPU time returned by wait4() is 0.003357
# while last known CPU time is 2400.48
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 302.912
CPU time (s): 2400.48
CPU user time (s): 2397.57
CPU system time (s): 2.91
CPU usage (%): 792.467
Max. virtual memory (cumulated for all children) (KiB): 13813404

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001383
system time used= 0.001974
maximum resident set size= 1388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 518
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.78038 second user time and 4.22075 second system time

The end