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-4249630-1500695549/watcher-4249630-1500695549 -o /tmp/evaluation-result-4249630-1500695549/solver-4249630-1500695549 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node105-1500682495-14658 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1394790036 HOME/instance-4249630-1500695549.xml
pid=17235
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: 14.76 12.76 13.15 10/271 17238
/proc/meminfo: memFree=31573844/32770624 swapFree=5972/272576
[pid=17238] ppid=17235 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17238/stat : 17238 (xcsp3-exec) S 17235 17238 14626 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4824437 9740288 345 33554432000 4194304 5098028 140724189195088 140724189193192 140439605555836 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 14307328 140724189201550 140724189201760 140724189201760 140724189204459 0
/proc/17238/statm: 2378 345 289 221 0 87 0
[startup+0.100101 s]
/proc/loadavg: 14.76 12.76 13.15 10/271 17238
/proc/meminfo: memFree=31573844/32770624 swapFree=5972/272576
[pid=17238] ppid=17235 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17238/stat : 17238 (xcsp3-exec) S 17235 17238 14626 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4824437 9740288 345 33554432000 4194304 5098028 140724189195088 140724189193192 140439605555836 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 14307328 140724189201550 140724189201760 140724189201760 140724189204459 0
/proc/17238/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200318 s]
/proc/loadavg: 14.76 12.76 13.15 10/271 17238
/proc/meminfo: memFree=31573844/32770624 swapFree=5972/272576
[pid=17238] ppid=17235 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17238/stat : 17238 (xcsp3-exec) S 17235 17238 14626 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4824437 9740288 345 33554432000 4194304 5098028 140724189195088 140724189193192 140439605555836 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 14307328 140724189201550 140724189201760 140724189201760 140724189204459 0
/proc/17238/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300282 s]
/proc/loadavg: 14.76 12.76 13.15 10/271 17238
/proc/meminfo: memFree=31573844/32770624 swapFree=5972/272576
[pid=17238] ppid=17235 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17238/stat : 17238 (xcsp3-exec) S 17235 17238 14626 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4824437 9740288 345 33554432000 4194304 5098028 140724189195088 140724189193192 140439605555836 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 14307328 140724189201550 140724189201760 140724189201760 140724189204459 0
/proc/17238/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700205 s]
/proc/loadavg: 14.76 12.76 13.15 10/271 17238
/proc/meminfo: memFree=31573844/32770624 swapFree=5972/272576
[pid=17238] ppid=17235 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17238/stat : 17238 (xcsp3-exec) S 17235 17238 14626 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4824437 9740288 345 33554432000 4194304 5098028 140724189195088 140724189193192 140439605555836 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 14307328 140724189201550 140724189201760 140724189201760 140724189204459 0
/proc/17238/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50163 s]
/proc/loadavg: 14.30 12.70 13.13 20/300 17267
/proc/meminfo: memFree=31464120/32770624 swapFree=5972/272600
[pid=17238] ppid=17235 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17238/stat : 17238 (xcsp3-exec) S 17235 17238 14626 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4824437 9740288 345 33554432000 4194304 5098028 140724189195088 140724189193192 140439605555836 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 14307328 140724189201550 140724189201760 140724189201760 140724189204459 0
/proc/17238/statm: 2378 345 289 221 0 87 0
[pid=17239] ppid=17238 vsize=13801768 CPUtime=8.03 cores=1,3,5,7,9,11,13,15
/proc/17239/stat : 17239 (java) S 17238 17238 14626 0 -1 1077944320 14749 0 0 0 796 7 0 0 20 0 28 0 4824438 14133010432 31519 33554432000 4194304 4196468 140721116058112 140721116040656 139776709668599 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 13508608 140721116067004 140721116067180 140721116067180 140721116069839 0
/proc/17239/statm: 3450442 31519 3236 1 0 3437675 0
[pid=17239/tid=17240] ppid=17238 vsize=13801768 CPUtime=0.7 cores=1,3,5,7,9,11,13,15
/proc/17239/task/17240/stat : 17240 (java) S 17238 17238 14626 0 -1 1077944384 6784 0 0 0 66 4 0 0 20 0 28 0 4824438 14133010432 31519 33554432000 4194304 4196468 140721116058112 139776713909376 139776709678805 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13508608 140721116067004 140721116067180 140721116067180 140721116069839 0
[pid=17239/tid=17242] ppid=17238 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17239/task/17242/stat : 17242 (java) S 17238 17238 14626 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4824439 14133010432 31519 33554432000 4194304 4196468 140721116058112 139776628148496 139776709678805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13508608 140721116067004 140721116067180 140721116067180 140721116069839 0
[pid=17239/tid=17243] ppid=17238 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17239/task/17243/stat : 17243 (java) S 17238 17238 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4824439 14133010432 31519 33554432000 4194304 4196468 140721116058112 139776627095952 139776709678805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13508608 140721116067004 140721116067180 140721116067180 140721116069839 0
[pid=17239/tid=17244] ppid=17238 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17239/task/17244/stat : 17244 (java) S 17238 17238 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4824439 14133010432 31519 33554432000 4194304 4196468 140721116058112 139776626043408 139776709678805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13508608 140721116067004 140721116067180 140721116067180 140721116069839 0
[pid=17239/tid=17245] ppid=17238 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17239/task/17245/stat : 17245 (java) S 17238 17238 14626 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4824439 14133010432 31519 33554432000 4194304 4196468 140721116058112 139776624990864 139776709678805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13508608 140721116067004 140721116067180 140721116067180 140721116069839 0
[pid=17239/tid=17246] ppid=17238 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17239/task/17246/stat : 17246 (java) S 17238 17238 14626 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4824439 14133010432 31519 33554432000 4194304 4196468 140721116058112 139776304868112 139776709678805 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 13508608 140721116067004 140721116067180 140721116067180 140721116069839 0
[pid=17239/tid=17247] ppid=17238 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17239/task/17247/stat : 17247 (java) S 17238 17238 14626 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4824439 14133010432 31519 33554432000 4194304 4196468 140721116058112 139776303815568 139776709678805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13508608 140721116067004 140721116067180 140721116067180 140721116069839 0
[pid=17239/tid=17248] ppid=17238 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17239/task/17248/stat : 17248 (java) S 17238 17238 14626 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4824439 14133010432 31519 33554432000 4194304 4196468 140721116058112 139776302763024 139776709678805 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13508608 140721116067004 140721116067180 140721116067180 140721116069839 0
[pid=17239/tid=17249] ppid=17238 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17239/task/17249/stat : 17249 (java) S 17238 17238 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4824439 14133010432 31519 33554432000 4194304 4196468 140721116058112 139776301710480 139776709678805 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 13508608 140721116067004 140721116067180 140721116067180 140721116069839 0
[pid=17239/tid=17250] ppid=17238 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17239/task/17250/stat : 17250 (java) S 17238 17238 14626 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 28 0 4824441 14133010432 31519 33554432000 4194304 4196468 140721116058112 139775441717232 139776709679746 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13508608 140721116067004 140721116067180 140721116067180 140721116069839 0
[pid=17239/tid=17251] ppid=17238 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17239/task/17251/stat : 17251 (java) S 17238 17238 14626 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4824442 14133010432 31519 33554432000 4194304 4196468 140721116058112 139775440663456 139776709678805 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 13508608 140721116067004 140721116067180 140721116067180 140721116069839 0
[pid=17239/tid=17252] ppid=17238 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17239/task/17252/stat : 17252 (java) S 17238 17238 14626 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 4824442 14133010432 31519 33554432000 4194304 4196468 140721116058112 139775439610864 139776709678805 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 13508608 140721116067004 140721116067180 140721116067180 140721116069839 0
[pid=17239/tid=17253] ppid=17238 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17239/task/17253/stat : 17253 (java) S 17238 17238 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4824446 14133010432 31519 33554432000 4194304 4196468 140721116058112 139775438559440 139776709687195 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 13508608 140721116067004 140721116067180 140721116067180 140721116069839 0
[pid=17239/tid=17254] ppid=17238 vsize=13801768 CPUtime=0.73 cores=1,3,5,7,9,11,13,15
/proc/17239/task/17254/stat : 17254 (java) R 17238 17238 14626 0 -1 4202560 1604 0 0 0 73 0 0 0 20 0 28 0 4824446 14133010432 31519 33554432000 4194304 4196468 140721116058112 139775437495728 139776693154841 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13508608 140721116067004 140721116067180 140721116067180 140721116069839 0
[pid=17239/tid=17255] ppid=17238 vsize=13801768 CPUtime=0.68 cores=1,3,5,7,9,11,13,15
/proc/17239/task/17255/stat : 17255 (java) R 17238 17238 14626 0 -1 4202560 1406 0 0 0 68 0 0 0 20 0 28 0 4824446 14133010432 31519 33554432000 4194304 4196468 140721116058112 139775436441760 139776688907080 0 4 0 16800975 0 0 0 -1 5 0 0 13 0 0 6293624 6294260 13508608 140721116067004 140721116067180 140721116067180 140721116069839 0
[pid=17239/tid=17256] ppid=17238 vsize=13801768 CPUtime=0.67 cores=1,3,5,7,9,11,13,15
/proc/17239/task/17256/stat : 17256 (java) R 17238 17238 14626 0 -1 4202560 1152 0 0 0 67 0 0 0 20 0 28 0 4824446 14133010432 31519 33554432000 4194304 4196468 140721116058112 139775435395008 139776693160331 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 13508608 140721116067004 140721116067180 140721116067180 140721116069839 0
[pid=17239/tid=17257] ppid=17238 vsize=13801768 CPUtime=0.48 cores=1,3,5,7,9,11,13,15
/proc/17239/task/17257/stat : 17257 (java) S 17238 17238 14626 0 -1 1077944384 2129 0 0 0 48 0 0 0 20 0 28 0 4824446 14133010432 31519 33554432000 4194304 4196468 140721116058112 139775434349424 139776709679746 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13508608 140721116067004 140721116067180 140721116067180 140721116069839 0
[pid=17239/tid=17258] ppid=17238 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17239/task/17258/stat : 17258 (java) S 17238 17238 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4824446 14133010432 31519 33554432000 4194304 4196468 140721116058112 139775433296096 139776709678805 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 13508608 140721116067004 140721116067180 140721116067180 140721116069839 0
[pid=17239/tid=17259] ppid=17238 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17239/task/17259/stat : 17259 (java) S 17238 17238 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4824446 14133010432 31519 33554432000 4194304 4196468 140721116058112 139775432243632 139776709679746 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 12 0 0 6293624 6294260 13508608 140721116067004 140721116067180 140721116067180 140721116069839 0
[pid=17239/tid=17260] ppid=17238 vsize=13801768 CPUtime=0.59 cores=1,3,5,7,9,11,13,15
/proc/17239/task/17260/stat : 17260 (java) R 17238 17238 14626 0 -1 4202560 56 0 0 0 59 0 0 0 20 0 28 0 4824510 14133010432 31519 33554432000 4194304 4196468 140721116058112 139775424230312 139776691232159 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 13508608 140721116067004 140721116067180 140721116067180 140721116069839 0
[pid=17239/tid=17261] ppid=17238 vsize=13801768 CPUtime=0.52 cores=1,3,5,7,9,11,13,15
/proc/17239/task/17261/stat : 17261 (java) R 17238 17238 14626 0 -1 4202560 50 0 0 0 52 0 0 0 20 0 28 0 4824510 14133010432 31519 33554432000 4194304 4196468 140721116058112 139775423178784 139776304984167 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13508608 140721116067004 140721116067180 140721116067180 140721116069839 0
[pid=17239/tid=17262] ppid=17238 vsize=13801768 CPUtime=0.52 cores=1,3,5,7,9,11,13,15
/proc/17239/task/17262/stat : 17262 (java) R 17238 17238 14626 0 -1 4202560 37 0 0 0 52 0 0 0 20 0 28 0 4824510 14133010432 31519 33554432000 4194304 4196468 140721116058112 139775422124328 139776304984167 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 13508608 140721116067004 140721116067180 140721116067180 140721116069839 0
[pid=17239/tid=17263] ppid=17238 vsize=13801768 CPUtime=0.64 cores=1,3,5,7,9,11,13,15
/proc/17239/task/17263/stat : 17263 (java) R 17238 17238 14626 0 -1 4202560 77 0 0 0 64 0 0 0 20 0 28 0 4824510 14133010432 31519 33554432000 4194304 4196468 140721116058112 139775421070976 139776310121738 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13508608 140721116067004 140721116067180 140721116067180 140721116069839 0
[pid=17239/tid=17264] ppid=17238 vsize=13801768 CPUtime=0.59 cores=1,3,5,7,9,11,13,15
/proc/17239/task/17264/stat : 17264 (java) R 17238 17238 14626 0 -1 4202560 32 0 0 0 59 0 0 0 20 0 28 0 4824510 14133010432 31519 33554432000 4194304 4196468 140721116058112 139775420021144 139776304905492 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13508608 140721116067004 140721116067180 140721116067180 140721116069839 0
[pid=17239/tid=17265] ppid=17238 vsize=13801768 CPUtime=0.69 cores=1,3,5,7,9,11,13,15
/proc/17239/task/17265/stat : 17265 (java) R 17238 17238 14626 0 -1 4202560 32 0 0 0 69 0 0 0 20 0 28 0 4824510 14133010432 31519 33554432000 4194304 4196468 140721116058112 139775418968512 139776304998339 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 13508608 140721116067004 140721116067180 140721116067180 140721116069839 0
[pid=17239/tid=17266] ppid=17238 vsize=13801768 CPUtime=0.58 cores=1,3,5,7,9,11,13,15
/proc/17239/task/17266/stat : 17266 (java) R 17238 17238 14626 0 -1 4202560 36 0 0 0 58 0 0 0 20 0 28 0 4824510 14133010432 31519 33554432000 4194304 4196468 140721116058112 139775417912600 139776309697253 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13508608 140721116067004 140721116067180 140721116067180 140721116069839 0
[pid=17239/tid=17267] ppid=17238 vsize=13801768 CPUtime=0.55 cores=1,3,5,7,9,11,13,15
/proc/17239/task/17267/stat : 17267 (java) R 17238 17238 14626 0 -1 4202560 37 0 0 0 55 0 0 0 20 0 28 0 4824510 14133010432 31519 33554432000 4194304 4196468 140721116058112 139775416859480 139776305009346 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13508608 140721116067004 140721116067180 140721116067180 140721116069839 0
Current children cumulated CPU time (s) 8.03
Current children cumulated vsize (KiB) 13811280
[startup+3.10176 s]
/proc/loadavg: 14.30 12.70 13.13 19/300 17267
/proc/meminfo: memFree=31450836/32770624 swapFree=5972/272600
[pid=17238] ppid=17235 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17238/stat : 17238 (xcsp3-exec) S 17235 17238 14626 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4824437 9740288 345 33554432000 4194304 5098028 140724189195088 140724189193192 140439605555836 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 14307328 140724189201550 140724189201760 140724189201760 140724189204459 0
/proc/17238/statm: 2378 345 289 221 0 87 0
[pid=17239] ppid=17238 vsize=13801768 CPUtime=20.75 cores=1,3,5,7,9,11,13,15
/proc/17239/stat : 17239 (java) S 17238 17238 14626 0 -1 1077944320 20878 0 0 0 2067 8 0 0 20 0 28 0 4824438 14133010432 38253 33554432000 4194304 4196468 140721116058112 140721116040656 139776709668599 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 13508608 140721116067004 140721116067180 140721116067180 140721116069839 0
/proc/17239/statm: 3450442 38253 3239 1 0 3437675 0
[pid=17239/tid=17240] ppid=17238 vsize=13801768 CPUtime=0.7 cores=1,3,5,7,9,11,13,15
/proc/17239/task/17240/stat : 17240 (java) S 17238 17238 14626 0 -1 1077944384 6784 0 0 0 66 4 0 0 20 0 28 0 4824438 14133010432 38253 33554432000 4194304 4196468 140721116058112 139776713909376 139776709678805 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13508608 140721116067004 140721116067180 140721116067180 140721116069839 0
[pid=17239/tid=17242] ppid=17238 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17239/task/17242/stat : 17242 (java) S 17238 17238 14626 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4824439 14133010432 38253 33554432000 4194304 4196468 140721116058112 139776628148496 139776709678805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13508608 140721116067004 140721116067180 140721116067180 140721116069839 0
[pid=17239/tid=17243] ppid=17238 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17239/task/17243/stat : 17243 (java) S 17238 17238 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4824439 14133010432 38253 33554432000 4194304 4196468 140721116058112 139776627095952 139776709678805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13508608 140721116067004 140721116067180 140721116067180 140721116069839 0
[pid=17239/tid=17244] ppid=17238 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17239/task/17244/stat : 17244 (java) S 17238 17238 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4824439 14133010432 38253 33554432000 4194304 4196468 140721116058112 139776626043408 139776709678805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13508608 140721116067004 140721116067180 140721116067180 140721116069839 0
[pid=17239/tid=17245] ppid=17238 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17239/task/17245/stat : 17245 (java) S 17238 17238 14626 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4824439 14133010432 38253 33554432000 4194304 4196468 140721116058112 139776624990864 139776709678805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13508608 140721116067004 140721116067180 140721116067180 140721116069839 0
[pid=17239/tid=17246] ppid=17238 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17239/task/17246/stat : 17246 (java) S 17238 17238 14626 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4824439 14133010432 38253 33554432000 4194304 4196468 140721116058112 139776304868112 139776709678805 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 13508608 140721116067004 140721116067180 140721116067180 140721116069839 0
[pid=17239/tid=17247] ppid=17238 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17239/task/17247/stat : 17247 (java) S 17238 17238 14626 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4824439 14133010432 38253 33554432000 4194304 4196468 140721116058112 139776303815568 139776709678805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13508608 140721116067004 140721116067180 140721116067180 140721116069839 0
[pid=17239/tid=17248] ppid=17238 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17239/task/17248/stat : 17248 (java) S 17238 17238 14626 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4824439 14133010432 38253 33554432000 4194304 4196468 140721116058112 139776302763024 139776709678805 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13508608 140721116067004 140721116067180 140721116067180 140721116069839 0
[pid=17239/tid=17249] ppid=17238 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17239/task/17249/stat : 17249 (java) S 17238 17238 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4824439 14133010432 38253 33554432000 4194304 4196468 140721116058112 139776301710480 139776709678805 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 13508608 140721116067004 140721116067180 140721116067180 140721116069839 0
[pid=17239/tid=17250] ppid=17238 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17239/task/17250/stat : 17250 (java) S 17238 17238 14626 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 28 0 4824441 14133010432 38253 33554432000 4194304 4196468 140721116058112 139775441717232 139776709679746 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13508608 140721116067004 140721116067180 140721116067180 140721116069839 0
[pid=17239/tid=17251] ppid=17238 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17239/task/17251/stat : 17251 (java) S 17238 17238 14626 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4824442 14133010432 38253 33554432000 4194304 4196468 140721116058112 139775440663456 139776709678805 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 13508608 140721116067004 140721116067180 140721116067180 140721116069839 0
[pid=17239/tid=17252] ppid=17238 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17239/task/17252/stat : 17252 (java) S 17238 17238 14626 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 4824442 14133010432 38253 33554432000 4194304 4196468 140721116058112 139775439610864 139776709678805 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 13508608 140721116067004 140721116067180 140721116067180 140721116069839 0
[pid=17239/tid=17253] ppid=17238 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17239/task/17253/stat : 17253 (java) S 17238 17238 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4824446 14133010432 38253 33554432000 4194304 4196468 140721116058112 139775438559440 139776709687195 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 13508608 140721116067004 140721116067180 140721116067180 140721116069839 0
[pid=17239/tid=17254] ppid=17238 vsize=13801768 CPUtime=1.21 cores=1,3,5,7,9,11,13,15
/proc/17239/task/17254/stat : 17254 (java) S 17238 17238 14626 0 -1 1077944384 3363 0 0 0 121 0 0 0 20 0 28 0 4824446 14133010432 38253 33554432000 4194304 4196468 140721116058112 139775437507056 139776709679746 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 13508608 140721116067004 140721116067180 140721116067180 140721116069839 0
[pid=17239/tid=17255] ppid=17238 vsize=13801768 CPUtime=1.05 cores=1,3,5,7,9,11,13,15
/proc/17239/task/17255/stat : 17255 (java) S 17238 17238 14626 0 -1 1077944384 2698 0 0 0 105 0 0 0 20 0 28 0 4824446 14133010432 38253 33554432000 4194304 4196468 140721116058112 139775436454512 139776709679746 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 13 0 0 6293624 6294260 13508608 140721116067004 140721116067180 140721116067180 140721116069839 0
[pid=17239/tid=17256] ppid=17238 vsize=13801768 CPUtime=1.2 cores=1,3,5,7,9,11,13,15
/proc/17239/task/17256/stat : 17256 (java) S 17238 17238 14626 0 -1 1077944384 2887 0 0 0 120 0 0 0 20 0 28 0 4824446 14133010432 38253 33554432000 4194304 4196468 140721116058112 139775435401968 139776709679746 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13508608 140721116067004 140721116067180 140721116067180 140721116069839 0
[pid=17239/tid=17257] ppid=17238 vsize=13801768 CPUtime=0.59 cores=1,3,5,7,9,11,13,15
/proc/17239/task/17257/stat : 17257 (java) S 17238 17238 14626 0 -1 1077944384 2587 0 0 0 58 1 0 0 20 0 28 0 4824446 14133010432 38253 33554432000 4194304 4196468 140721116058112 139775434349424 139776709679746 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 13508608 140721116067004 140721116067180 140721116067180 140721116069839 0
[pid=17239/tid=17258] ppid=17238 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17239/task/17258/stat : 17258 (java) S 17238 17238 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4824446 14133010432 38253 33554432000 4194304 4196468 140721116058112 139775433296096 139776709678805 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 13508608 140721116067004 140721116067180 140721116067180 140721116069839 0
[pid=17239/tid=17259] ppid=17238 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17239/task/17259/stat : 17259 (java) S 17238 17238 14626 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 28 0 4824446 14133010432 38253 33554432000 4194304 4196468 140721116058112 139775432243632 139776709679746 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 12 0 0 6293624 6294260 13508608 140721116067004 140721116067180 140721116067180 140721116069839 0
[pid=17239/tid=17260] ppid=17238 vsize=13801768 CPUtime=1.92 cores=1,3,5,7,9,11,13,15
/proc/17239/task/17260/stat : 17260 (java) R 17238 17238 14626 0 -1 4202560 96 0 0 0 192 0 0 0 20 0 28 0 4824510 14133010432 38253 33554432000 4194304 4196468 140721116058112 139775424230296 139776310654668 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13508608 140721116067004 140721116067180 140721116067180 140721116069839 0
[pid=17239/tid=17261] ppid=17238 vsize=13801768 CPUtime=1.81 cores=1,3,5,7,9,11,13,15
/proc/17239/task/17261/stat : 17261 (java) R 17238 17238 14626 0 -1 4202560 135 0 0 0 181 0 0 0 20 0 28 0 4824510 14133010432 38253 33554432000 4194304 4196468 140721116058112 139775423178792 139776310654939 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 13508608 140721116067004 140721116067180 140721116067180 140721116069839 0
[pid=17239/tid=17262] ppid=17238 vsize=13801768 CPUtime=2.01 cores=1,3,5,7,9,11,13,15
/proc/17239/task/17262/stat : 17262 (java) R 17238 17238 14626 0 -1 4202560 106 0 0 0 201 0 0 0 20 0 28 0 4824510 14133010432 38253 33554432000 4194304 4196468 140721116058112 139775422124152 139776310654767 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13508608 140721116067004 140721116067180 140721116067180 140721116069839 0
[pid=17239/tid=17263] ppid=17238 vsize=13801768 CPUtime=2.17 cores=1,3,5,7,9,11,13,15
/proc/17239/task/17263/stat : 17263 (java) R 17238 17238 14626 0 -1 4202560 318 0 0 0 217 0 0 0 20 0 28 0 4824510 14133010432 38253 33554432000 4194304 4196468 140721116058112 139775421073944 139776310656315 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13508608 140721116067004 140721116067180 140721116067180 140721116069839 0
[pid=17239/tid=17264] ppid=17238 vsize=13801768 CPUtime=2.01 cores=1,3,5,7,9,11,13,15
/proc/17239/task/17264/stat : 17264 (java) R 17238 17238 14626 0 -1 4202560 213 0 0 0 201 0 0 0 20 0 28 0 4824510 14133010432 38253 33554432000 4194304 4196468 140721116058112 139775420021352 139776310654714 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 13508608 140721116067004 140721116067180 140721116067180 140721116069839 0
[pid=17239/tid=17265] ppid=17238 vsize=13801768 CPUtime=2.01 cores=1,3,5,7,9,11,13,15
/proc/17239/task/17265/stat : 17265 (java) R 17238 17238 14626 0 -1 4202560 80 0 0 0 201 0 0 0 20 0 28 0 4824510 14133010432 38253 33554432000 4194304 4196468 140721116058112 139775418968744 139776310695078 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 13508608 140721116067004 140721116067180 140721116067180 140721116069839 0
[pid=17239/tid=17266] ppid=17238 vsize=13801768 CPUtime=1.99 cores=1,3,5,7,9,11,13,15
/proc/17239/task/17266/stat : 17266 (java) R 17238 17238 14626 0 -1 4202560 77 0 0 0 199 0 0 0 20 0 28 0 4824510 14133010432 38253 33554432000 4194304 4196468 140721116058112 139775417914880 139776310695095 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 13508608 140721116067004 140721116067180 140721116067180 140721116069839 0
[pid=17239/tid=17267] ppid=17238 vsize=13801768 CPUtime=1.99 cores=1,3,5,7,9,11,13,15
/proc/17239/task/17267/stat : 17267 (java) R 17238 17238 14626 0 -1 4202560 181 0 0 0 199 0 0 0 20 0 28 0 4824510 14133010432 38253 33554432000 4194304 4196468 140721116058112 139775416862056 139776310654342 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13508608 140721116067004 140721116067180 140721116067180 140721116069839 0
Current children cumulated CPU time (s) 20.75
Current children cumulated vsize (KiB) 13811280
[startup+6.30171 s]
/proc/loadavg: 14.52 12.77 13.15 18/300 17267
/proc/meminfo: memFree=31402752/32770624 swapFree=5972/272608
################
# More data... #
################
[pid=17239/tid=17266] ppid=17238 vsize=13801768 CPUtime=218.97 cores=1,3,5,7,9,11,13,15
/proc/17239/task/17266/stat : 17266 (java) R 17238 17238 14626 0 -1 4202560 1210 0 0 0 21897 0 0 0 20 0 28 0 4824510 14133010432 273371 33554432000 4194304 4196468 140721116058112 139775417912984 139776312427754 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 13508608 140721116067004 140721116067180 140721116067180 140721116069839 0
[pid=17239/tid=17267] ppid=17238 vsize=13801768 CPUtime=218.49 cores=1,3,5,7,9,11,13,15
/proc/17239/task/17267/stat : 17267 (java) R 17238 17238 14626 0 -1 4202560 777 0 0 0 21849 0 0 0 20 0 28 0 4824510 14133010432 273371 33554432000 4194304 4196468 140721116058112 139775416860328 139776312269057 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13508608 140721116067004 140721116067180 140721116067180 140721116069839 0
Current children cumulated CPU time (s) 1760.97
Current children cumulated vsize (KiB) 13811280
[startup+282.302 s]
/proc/loadavg: 15.98 14.71 13.88 17/299 17376
/proc/meminfo: memFree=27928008/32770624 swapFree=5972/272976
[pid=17238] ppid=17235 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17238/stat : 17238 (xcsp3-exec) S 17235 17238 14626 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4824437 9740288 345 33554432000 4194304 5098028 140724189195088 140724189193192 140439605555836 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 14307328 140724189201550 140724189201760 140724189201760 140724189204459 0
/proc/17238/statm: 2378 345 289 221 0 87 0
[pid=17239] ppid=17238 vsize=13801768 CPUtime=2238.61 cores=1,3,5,7,9,11,13,15
/proc/17239/stat : 17239 (java) S 17238 17238 14626 0 -1 1077944320 74166 0 0 0 223760 101 0 0 20 0 28 0 4824438 14133010432 286268 33554432000 4194304 4196468 140721116058112 140721116040656 139776709668599 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 13508608 140721116067004 140721116067180 140721116067180 140721116069839 0
/proc/17239/statm: 3450442 286268 3303 1 0 3437675 0
[pid=17239/tid=17240] ppid=17238 vsize=13801768 CPUtime=0.7 cores=1,3,5,7,9,11,13,15
/proc/17239/task/17240/stat : 17240 (java) S 17238 17238 14626 0 -1 1077944384 6784 0 0 0 66 4 0 0 20 0 28 0 4824438 14133010432 286268 33554432000 4194304 4196468 140721116058112 139776713909376 139776709678805 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13508608 140721116067004 140721116067180 140721116067180 140721116069839 0
[pid=17239/tid=17242] ppid=17238 vsize=13801768 CPUtime=0.9 cores=1,3,5,7,9,11,13,15
/proc/17239/task/17242/stat : 17242 (java) S 17238 17238 14626 0 -1 1077944384 1714 0 0 0 82 8 0 0 20 0 28 0 4824439 14133010432 286268 33554432000 4194304 4196468 140721116058112 139776628148496 139776709678805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13508608 140721116067004 140721116067180 140721116067180 140721116069839 0
[pid=17239/tid=17243] ppid=17238 vsize=13801768 CPUtime=0.87 cores=1,3,5,7,9,11,13,15
/proc/17239/task/17243/stat : 17243 (java) S 17238 17238 14626 0 -1 1077944384 2257 0 0 0 78 9 0 0 20 0 28 0 4824439 14133010432 286268 33554432000 4194304 4196468 140721116058112 139776627095952 139776709678805 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 13508608 140721116067004 140721116067180 140721116067180 140721116069839 0
[pid=17239/tid=17244] ppid=17238 vsize=13801768 CPUtime=0.9 cores=1,3,5,7,9,11,13,15
/proc/17239/task/17244/stat : 17244 (java) S 17238 17238 14626 0 -1 1077944384 751 0 0 0 83 7 0 0 20 0 28 0 4824439 14133010432 286268 33554432000 4194304 4196468 140721116058112 139776626043408 139776709678805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13508608 140721116067004 140721116067180 140721116067180 140721116069839 0
[pid=17239/tid=17245] ppid=17238 vsize=13801768 CPUtime=0.89 cores=1,3,5,7,9,11,13,15
/proc/17239/task/17245/stat : 17245 (java) S 17238 17238 14626 0 -1 1077944384 1443 0 0 0 81 8 0 0 20 0 28 0 4824439 14133010432 286268 33554432000 4194304 4196468 140721116058112 139776624990864 139776709678805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13508608 140721116067004 140721116067180 140721116067180 140721116069839 0
[pid=17239/tid=17246] ppid=17238 vsize=13801768 CPUtime=0.89 cores=1,3,5,7,9,11,13,15
/proc/17239/task/17246/stat : 17246 (java) S 17238 17238 14626 0 -1 1077944384 1505 0 0 0 81 8 0 0 20 0 28 0 4824439 14133010432 286268 33554432000 4194304 4196468 140721116058112 139776304868112 139776709678805 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13508608 140721116067004 140721116067180 140721116067180 140721116069839 0
[pid=17239/tid=17247] ppid=17238 vsize=13801768 CPUtime=0.89 cores=1,3,5,7,9,11,13,15
/proc/17239/task/17247/stat : 17247 (java) S 17238 17238 14626 0 -1 1077944384 1789 0 0 0 82 7 0 0 20 0 28 0 4824439 14133010432 286268 33554432000 4194304 4196468 140721116058112 139776303815568 139776709678805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13508608 140721116067004 140721116067180 140721116067180 140721116069839 0
[pid=17239/tid=17248] ppid=17238 vsize=13801768 CPUtime=0.89 cores=1,3,5,7,9,11,13,15
/proc/17239/task/17248/stat : 17248 (java) S 17238 17238 14626 0 -1 1077944384 1331 0 0 0 81 8 0 0 20 0 28 0 4824439 14133010432 286268 33554432000 4194304 4196468 140721116058112 139776302763024 139776709678805 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 13508608 140721116067004 140721116067180 140721116067180 140721116069839 0
[pid=17239/tid=17249] ppid=17238 vsize=13801768 CPUtime=0.92 cores=1,3,5,7,9,11,13,15
/proc/17239/task/17249/stat : 17249 (java) S 17238 17238 14626 0 -1 1077944384 3134 0 0 0 83 9 0 0 20 0 28 0 4824439 14133010432 286268 33554432000 4194304 4196468 140721116058112 139776301710480 139776709678805 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 13508608 140721116067004 140721116067180 140721116067180 140721116069839 0
[pid=17239/tid=17250] ppid=17238 vsize=13801768 CPUtime=0.78 cores=1,3,5,7,9,11,13,15
/proc/17239/task/17250/stat : 17250 (java) S 17238 17238 14626 0 -1 1077944384 3750 0 0 0 72 6 0 0 20 0 28 0 4824441 14133010432 286268 33554432000 4194304 4196468 140721116058112 139775441717232 139776709679746 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13508608 140721116067004 140721116067180 140721116067180 140721116069839 0
[pid=17239/tid=17251] ppid=17238 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17239/task/17251/stat : 17251 (java) S 17238 17238 14626 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 28 0 4824442 14133010432 286268 33554432000 4194304 4196468 140721116058112 139775440663456 139776709678805 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 13508608 140721116067004 140721116067180 140721116067180 140721116069839 0
[pid=17239/tid=17252] ppid=17238 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17239/task/17252/stat : 17252 (java) S 17238 17238 14626 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 28 0 4824442 14133010432 286268 33554432000 4194304 4196468 140721116058112 139775439610864 139776709678805 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 13508608 140721116067004 140721116067180 140721116067180 140721116069839 0
[pid=17239/tid=17253] ppid=17238 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17239/task/17253/stat : 17253 (java) S 17238 17238 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4824446 14133010432 286268 33554432000 4194304 4196468 140721116058112 139775438559440 139776709687195 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 13508608 140721116067004 140721116067180 140721116067180 140721116069839 0
[pid=17239/tid=17254] ppid=17238 vsize=13801768 CPUtime=2.54 cores=1,3,5,7,9,11,13,15
/proc/17239/task/17254/stat : 17254 (java) S 17238 17238 14626 0 -1 1077944384 12385 0 0 0 253 1 0 0 20 0 28 0 4824446 14133010432 286268 33554432000 4194304 4196468 140721116058112 139775437507056 139776709679746 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13508608 140721116067004 140721116067180 140721116067180 140721116069839 0
[pid=17239/tid=17255] ppid=17238 vsize=13801768 CPUtime=2.66 cores=1,3,5,7,9,11,13,15
/proc/17239/task/17255/stat : 17255 (java) S 17238 17238 14626 0 -1 1077944384 10619 0 0 0 264 2 0 0 20 0 28 0 4824446 14133010432 286268 33554432000 4194304 4196468 140721116058112 139775436454512 139776709679746 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 13 0 0 6293624 6294260 13508608 140721116067004 140721116067180 140721116067180 140721116069839 0
[pid=17239/tid=17256] ppid=17238 vsize=13801768 CPUtime=2.44 cores=1,3,5,7,9,11,13,15
/proc/17239/task/17256/stat : 17256 (java) S 17238 17238 14626 0 -1 1077944384 9484 0 0 0 242 2 0 0 20 0 28 0 4824446 14133010432 286268 33554432000 4194304 4196468 140721116058112 139775435401968 139776709679746 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13508608 140721116067004 140721116067180 140721116067180 140721116069839 0
[pid=17239/tid=17257] ppid=17238 vsize=13801768 CPUtime=0.8 cores=1,3,5,7,9,11,13,15
/proc/17239/task/17257/stat : 17257 (java) S 17238 17238 14626 0 -1 1077944384 6325 0 0 0 78 2 0 0 20 0 28 0 4824446 14133010432 286268 33554432000 4194304 4196468 140721116058112 139775434349424 139776709679746 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 13508608 140721116067004 140721116067180 140721116067180 140721116069839 0
[pid=17239/tid=17258] ppid=17238 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17239/task/17258/stat : 17258 (java) S 17238 17238 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4824446 14133010432 286268 33554432000 4194304 4196468 140721116058112 139775433296096 139776709678805 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 13508608 140721116067004 140721116067180 140721116067180 140721116069839 0
[pid=17239/tid=17259] ppid=17238 vsize=13801768 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/17239/task/17259/stat : 17259 (java) S 17238 17238 14626 0 -1 1077944384 318 0 0 0 7 6 0 0 20 0 28 0 4824446 14133010432 286268 33554432000 4194304 4196468 140721116058112 139775432243632 139776709679746 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 12 0 0 6293624 6294260 13508608 140721116067004 140721116067180 140721116067180 140721116069839 0
[pid=17239/tid=17260] ppid=17238 vsize=13801768 CPUtime=276.95 cores=1,3,5,7,9,11,13,15
/proc/17239/task/17260/stat : 17260 (java) R 17238 17238 14626 0 -1 4202560 574 0 0 0 27694 1 0 0 20 0 28 0 4824510 14133010432 286268 33554432000 4194304 4196468 140721116058112 139775424228136 139776312268868 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13508608 140721116067004 140721116067180 140721116067180 140721116069839 0
[pid=17239/tid=17261] ppid=17238 vsize=13801768 CPUtime=277.23 cores=1,3,5,7,9,11,13,15
/proc/17239/task/17261/stat : 17261 (java) R 17238 17238 14626 0 -1 4202560 914 0 0 0 27723 0 0 0 20 0 28 0 4824510 14133010432 286268 33554432000 4194304 4196468 140721116058112 139775423176728 139776312269177 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 13508608 140721116067004 140721116067180 140721116067180 140721116069839 0
[pid=17239/tid=17262] ppid=17238 vsize=13801768 CPUtime=278.28 cores=1,3,5,7,9,11,13,15
/proc/17239/task/17262/stat : 17262 (java) R 17238 17238 14626 0 -1 4202560 1897 0 0 0 27828 0 0 0 20 0 28 0 4824510 14133010432 286268 33554432000 4194304 4196468 140721116058112 139775422123824 139776312268688 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13508608 140721116067004 140721116067180 140721116067180 140721116069839 0
[pid=17239/tid=17263] ppid=17238 vsize=13801768 CPUtime=278.42 cores=1,3,5,7,9,11,13,15
/proc/17239/task/17263/stat : 17263 (java) R 17238 17238 14626 0 -1 4202560 1408 0 0 0 27841 1 0 0 20 0 28 0 4824510 14133010432 286268 33554432000 4194304 4196468 140721116058112 139775421071640 139776312271059 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 13508608 140721116067004 140721116067180 140721116067180 140721116069839 0
[pid=17239/tid=17264] ppid=17238 vsize=13801768 CPUtime=278.65 cores=1,3,5,7,9,11,13,15
/proc/17239/task/17264/stat : 17264 (java) R 17238 17238 14626 0 -1 4202560 1726 0 0 0 27865 0 0 0 20 0 28 0 4824510 14133010432 286268 33554432000 4194304 4196468 140721116058112 139775420019096 139776311967592 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 13508608 140721116067004 140721116067180 140721116067180 140721116069839 0
[pid=17239/tid=17265] ppid=17238 vsize=13801768 CPUtime=274.88 cores=1,3,5,7,9,11,13,15
/proc/17239/task/17265/stat : 17265 (java) R 17238 17238 14626 0 -1 4202560 613 0 0 0 27487 1 0 0 20 0 28 0 4824510 14133010432 286268 33554432000 4194304 4196468 140721116058112 139775418969152 139776312268777 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 13508608 140721116067004 140721116067180 140721116067180 140721116069839 0
[pid=17239/tid=17266] ppid=17238 vsize=13801768 CPUtime=278.65 cores=1,3,5,7,9,11,13,15
/proc/17239/task/17266/stat : 17266 (java) R 17238 17238 14626 0 -1 4202560 1270 0 0 0 27865 0 0 0 20 0 28 0 4824510 14133010432 286268 33554432000 4194304 4196468 140721116058112 139775417912984 139776310880241 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13508608 140721116067004 140721116067180 140721116067180 140721116069839 0
[pid=17239/tid=17267] ppid=17238 vsize=13801768 CPUtime=278.11 cores=1,3,5,7,9,11,13,15
/proc/17239/task/17267/stat : 17267 (java) R 17238 17238 14626 0 -1 4202560 809 0 0 0 27811 0 0 0 20 0 28 0 4824510 14133010432 286268 33554432000 4194304 4196468 140721116058112 139775416860440 139776312269045 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13508608 140721116067004 140721116067180 140721116067180 140721116069839 0
Current children cumulated CPU time (s) 2238.61
Current children cumulated vsize (KiB) 13811280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+302.615 s]
/proc/loadavg: 16.05 14.81 13.93 17/299 17376
/proc/meminfo: memFree=27862376/32770624 swapFree=5972/272988
[pid=17238] ppid=17235 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17238/stat : 17238 (xcsp3-exec) S 17235 17238 14626 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4824437 9740288 345 33554432000 4194304 5098028 140724189195088 140724189193192 140439605555836 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 14307328 140724189201550 140724189201760 140724189201760 140724189204459 0
/proc/17238/statm: 2378 345 289 221 0 87 0
[pid=17239] ppid=17238 vsize=13801768 CPUtime=2400.38 cores=1,3,5,7,9,11,13,15
/proc/17239/stat : 17239 (java) S 17238 17238 14626 0 -1 1077944320 75286 0 0 0 239934 104 0 0 20 0 28 0 4824438 14133010432 302558 33554432000 4194304 4196468 140721116058112 140721116040656 139776709668599 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 13508608 140721116067004 140721116067180 140721116067180 140721116069839 0
/proc/17239/statm: 3450442 302558 3303 1 0 3437675 0
[pid=17239/tid=17240] ppid=17238 vsize=13801768 CPUtime=0.7 cores=1,3,5,7,9,11,13,15
/proc/17239/task/17240/stat : 17240 (java) S 17238 17238 14626 0 -1 1077944384 6784 0 0 0 66 4 0 0 20 0 28 0 4824438 14133010432 302558 33554432000 4194304 4196468 140721116058112 139776713909376 139776709678805 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13508608 140721116067004 140721116067180 140721116067180 140721116069839 0
[pid=17239/tid=17242] ppid=17238 vsize=13801768 CPUtime=0.97 cores=1,3,5,7,9,11,13,15
/proc/17239/task/17242/stat : 17242 (java) S 17238 17238 14626 0 -1 1077944384 1736 0 0 0 89 8 0 0 20 0 28 0 4824439 14133010432 302558 33554432000 4194304 4196468 140721116058112 139776628148496 139776709678805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13508608 140721116067004 140721116067180 140721116067180 140721116069839 0
[pid=17239/tid=17243] ppid=17238 vsize=13801768 CPUtime=0.95 cores=1,3,5,7,9,11,13,15
/proc/17239/task/17243/stat : 17243 (java) S 17238 17238 14626 0 -1 1077944384 2265 0 0 0 86 9 0 0 20 0 28 0 4824439 14133010432 302558 33554432000 4194304 4196468 140721116058112 139776627095952 139776709678805 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 13508608 140721116067004 140721116067180 140721116067180 140721116069839 0
[pid=17239/tid=17244] ppid=17238 vsize=13801768 CPUtime=0.98 cores=1,3,5,7,9,11,13,15
/proc/17239/task/17244/stat : 17244 (java) S 17238 17238 14626 0 -1 1077944384 1200 0 0 0 91 7 0 0 20 0 28 0 4824439 14133010432 302558 33554432000 4194304 4196468 140721116058112 139776626043408 139776709678805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13508608 140721116067004 140721116067180 140721116067180 140721116069839 0
[pid=17239/tid=17245] ppid=17238 vsize=13801768 CPUtime=0.96 cores=1,3,5,7,9,11,13,15
/proc/17239/task/17245/stat : 17245 (java) S 17238 17238 14626 0 -1 1077944384 1478 0 0 0 88 8 0 0 20 0 28 0 4824439 14133010432 302558 33554432000 4194304 4196468 140721116058112 139776624990864 139776709678805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13508608 140721116067004 140721116067180 140721116067180 140721116069839 0
[pid=17239/tid=17246] ppid=17238 vsize=13801768 CPUtime=0.97 cores=1,3,5,7,9,11,13,15
/proc/17239/task/17246/stat : 17246 (java) S 17238 17238 14626 0 -1 1077944384 1523 0 0 0 89 8 0 0 20 0 28 0 4824439 14133010432 302558 33554432000 4194304 4196468 140721116058112 139776304868112 139776709678805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13508608 140721116067004 140721116067180 140721116067180 140721116069839 0
[pid=17239/tid=17247] ppid=17238 vsize=13801768 CPUtime=0.97 cores=1,3,5,7,9,11,13,15
/proc/17239/task/17247/stat : 17247 (java) S 17238 17238 14626 0 -1 1077944384 2057 0 0 0 90 7 0 0 20 0 28 0 4824439 14133010432 302558 33554432000 4194304 4196468 140721116058112 139776303815568 139776709678805 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13508608 140721116067004 140721116067180 140721116067180 140721116069839 0
[pid=17239/tid=17248] ppid=17238 vsize=13801768 CPUtime=0.97 cores=1,3,5,7,9,11,13,15
/proc/17239/task/17248/stat : 17248 (java) S 17238 17238 14626 0 -1 1077944384 1356 0 0 0 89 8 0 0 20 0 28 0 4824439 14133010432 302558 33554432000 4194304 4196468 140721116058112 139776302763024 139776709678805 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 13508608 140721116067004 140721116067180 140721116067180 140721116069839 0
[pid=17239/tid=17249] ppid=17238 vsize=13801768 CPUtime=1 cores=1,3,5,7,9,11,13,15
/proc/17239/task/17249/stat : 17249 (java) S 17238 17238 14626 0 -1 1077944384 3178 0 0 0 90 10 0 0 20 0 28 0 4824439 14133010432 302558 33554432000 4194304 4196468 140721116058112 139776301710480 139776709678805 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 13508608 140721116067004 140721116067180 140721116067180 140721116069839 0
[pid=17239/tid=17250] ppid=17238 vsize=13801768 CPUtime=0.78 cores=1,3,5,7,9,11,13,15
/proc/17239/task/17250/stat : 17250 (java) S 17238 17238 14626 0 -1 1077944384 3806 0 0 0 72 6 0 0 20 0 28 0 4824441 14133010432 302558 33554432000 4194304 4196468 140721116058112 139775441717232 139776709679746 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13508608 140721116067004 140721116067180 140721116067180 140721116069839 0
[pid=17239/tid=17251] ppid=17238 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17239/task/17251/stat : 17251 (java) S 17238 17238 14626 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 28 0 4824442 14133010432 302558 33554432000 4194304 4196468 140721116058112 139775440663456 139776709678805 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 13508608 140721116067004 140721116067180 140721116067180 140721116069839 0
[pid=17239/tid=17252] ppid=17238 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17239/task/17252/stat : 17252 (java) S 17238 17238 14626 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 28 0 4824442 14133010432 302558 33554432000 4194304 4196468 140721116058112 139775439610864 139776709678805 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 13508608 140721116067004 140721116067180 140721116067180 140721116069839 0
[pid=17239/tid=17253] ppid=17238 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17239/task/17253/stat : 17253 (java) S 17238 17238 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4824446 14133010432 302558 33554432000 4194304 4196468 140721116058112 139775438559440 139776709687195 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 13508608 140721116067004 140721116067180 140721116067180 140721116069839 0
[pid=17239/tid=17254] ppid=17238 vsize=13801768 CPUtime=2.54 cores=1,3,5,7,9,11,13,15
/proc/17239/task/17254/stat : 17254 (java) S 17238 17238 14626 0 -1 1077944384 12387 0 0 0 253 1 0 0 20 0 28 0 4824446 14133010432 302558 33554432000 4194304 4196468 140721116058112 139775437507056 139776709679746 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13508608 140721116067004 140721116067180 140721116067180 140721116069839 0
[pid=17239/tid=17255] ppid=17238 vsize=13801768 CPUtime=2.66 cores=1,3,5,7,9,11,13,15
/proc/17239/task/17255/stat : 17255 (java) S 17238 17238 14626 0 -1 1077944384 10621 0 0 0 264 2 0 0 20 0 28 0 4824446 14133010432 302558 33554432000 4194304 4196468 140721116058112 139775436454512 139776709679746 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 13 0 0 6293624 6294260 13508608 140721116067004 140721116067180 140721116067180 140721116069839 0
[pid=17239/tid=17256] ppid=17238 vsize=13801768 CPUtime=2.44 cores=1,3,5,7,9,11,13,15
/proc/17239/task/17256/stat : 17256 (java) S 17238 17238 14626 0 -1 1077944384 9486 0 0 0 242 2 0 0 20 0 28 0 4824446 14133010432 302558 33554432000 4194304 4196468 140721116058112 139775435401968 139776709679746 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13508608 140721116067004 140721116067180 140721116067180 140721116069839 0
[pid=17239/tid=17257] ppid=17238 vsize=13801768 CPUtime=0.8 cores=1,3,5,7,9,11,13,15
/proc/17239/task/17257/stat : 17257 (java) S 17238 17238 14626 0 -1 1077944384 6327 0 0 0 78 2 0 0 20 0 28 0 4824446 14133010432 302558 33554432000 4194304 4196468 140721116058112 139775434349424 139776709679746 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 13508608 140721116067004 140721116067180 140721116067180 140721116069839 0
[pid=17239/tid=17258] ppid=17238 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17239/task/17258/stat : 17258 (java) S 17238 17238 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4824446 14133010432 302558 33554432000 4194304 4196468 140721116058112 139775433296096 139776709678805 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 13508608 140721116067004 140721116067180 140721116067180 140721116069839 0
[pid=17239/tid=17259] ppid=17238 vsize=13801768 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/17239/task/17259/stat : 17259 (java) S 17238 17238 14626 0 -1 1077944384 320 0 0 0 8 6 0 0 20 0 28 0 4824446 14133010432 302558 33554432000 4194304 4196468 140721116058112 139775432243632 139776709679746 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 12 0 0 6293624 6294260 13508608 140721116067004 140721116067180 140721116067180 140721116069839 0
[pid=17239/tid=17260] ppid=17238 vsize=13801768 CPUtime=297.16 cores=1,3,5,7,9,11,13,15
/proc/17239/task/17260/stat : 17260 (java) R 17238 17238 14626 0 -1 4202560 585 0 0 0 29715 1 0 0 20 0 28 0 4824510 14133010432 302558 33554432000 4194304 4196468 140721116058112 139775424227888 139776312269177 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13508608 140721116067004 140721116067180 140721116067180 140721116069839 0
[pid=17239/tid=17261] ppid=17238 vsize=13801768 CPUtime=297.45 cores=1,3,5,7,9,11,13,15
/proc/17239/task/17261/stat : 17261 (java) R 17238 17238 14626 0 -1 4202560 948 0 0 0 29745 0 0 0 20 0 28 0 4824510 14133010432 302558 33554432000 4194304 4196468 140721116058112 139775423179456 139776312269184 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 13508608 140721116067004 140721116067180 140721116067180 140721116069839 0
[pid=17239/tid=17262] ppid=17238 vsize=13801768 CPUtime=298.49 cores=1,3,5,7,9,11,13,15
/proc/17239/task/17262/stat : 17262 (java) R 17238 17238 14626 0 -1 4202560 1920 0 0 0 29849 0 0 0 20 0 28 0 4824510 14133010432 302558 33554432000 4194304 4196468 140721116058112 139775422124072 139776309697120 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13508608 140721116067004 140721116067180 140721116067180 140721116069839 0
[pid=17239/tid=17263] ppid=17238 vsize=13801768 CPUtime=298.62 cores=1,3,5,7,9,11,13,15
/proc/17239/task/17263/stat : 17263 (java) R 17238 17238 14626 0 -1 4202560 1424 0 0 0 29861 1 0 0 20 0 28 0 4824510 14133010432 302558 33554432000 4194304 4196468 140721116058112 139775421071640 139776312271612 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 13508608 140721116067004 140721116067180 140721116067180 140721116069839 0
[pid=17239/tid=17264] ppid=17238 vsize=13801768 CPUtime=298.87 cores=1,3,5,7,9,11,13,15
/proc/17239/task/17264/stat : 17264 (java) R 17238 17238 14626 0 -1 4202560 1741 0 0 0 29887 0 0 0 20 0 28 0 4824510 14133010432 302558 33554432000 4194304 4196468 140721116058112 139775420019096 139776312239211 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 13508608 140721116067004 140721116067180 140721116067180 140721116069839 0
[pid=17239/tid=17265] ppid=17238 vsize=13801768 CPUtime=294.63 cores=1,3,5,7,9,11,13,15
/proc/17239/task/17265/stat : 17265 (java) R 17238 17238 14626 0 -1 4202560 623 0 0 0 29462 1 0 0 20 0 28 0 4824510 14133010432 302558 33554432000 4194304 4196468 140721116058112 139775418966552 139776312268930 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 13508608 140721116067004 140721116067180 140721116067180 140721116069839 0
[pid=17239/tid=17266] ppid=17238 vsize=13801768 CPUtime=298.87 cores=1,3,5,7,9,11,13,15
/proc/17239/task/17266/stat : 17266 (java) R 17238 17238 14626 0 -1 4202560 1316 0 0 0 29887 0 0 0 20 0 28 0 4824510 14133010432 302558 33554432000 4194304 4196468 140721116058112 139775417912984 139776312239507 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13508608 140721116067004 140721116067180 140721116067180 140721116069839 0
[pid=17239/tid=17267] ppid=17238 vsize=13801768 CPUtime=298.21 cores=1,3,5,7,9,11,13,15
/proc/17239/task/17267/stat : 17267 (java) R 17238 17238 14626 0 -1 4202560 839 0 0 0 29821 0 0 0 20 0 28 0 4824510 14133010432 302558 33554432000 4194304 4196468 140721116058112 139775416860264 139776312268791 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13508608 140721116067004 140721116067180 140721116067180 140721116069839 0
Current children cumulated CPU time (s) 2400.38
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 17239 sig 9
??? kill 17238 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 17238 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=732
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=2198
# CPU time returned by wait4() is 0.00293
# while last known CPU time is 2400.38
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 302.626
CPU time (s): 2400.38
CPU user time (s): 2399.34
CPU system time (s): 1.04
CPU usage (%): 793.185
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000732
system time used= 0.002198
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 517
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.07701 second user time and 4.68476 second system time
The end