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-4246317-1500687178/watcher-4246317-1500687178 -o /tmp/evaluation-result-4246317-1500687178/solver-4246317-1500687178 -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 1155304364 HOME/instance-4246317-1500687178.xml
pid=30240
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: 15.92 14.96 14.26 9/272 30243
/proc/meminfo: memFree=31565780/32770624 swapFree=5736/227880
[pid=30243] ppid=30240 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30243/stat : 30243 (xcsp3-exec) S 30240 30243 16473 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3986996 9740288 346 33554432000 4194304 5098028 140723907742288 140723907740392 140395742818940 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 24666112 140723907744910 140723907745120 140723907745120 140723907747819 0
/proc/30243/statm: 2378 346 289 221 0 87 0
[startup+0.100092 s]
/proc/loadavg: 15.92 14.96 14.26 9/272 30243
/proc/meminfo: memFree=31565780/32770624 swapFree=5736/227880
[pid=30243] ppid=30240 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30243/stat : 30243 (xcsp3-exec) S 30240 30243 16473 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3986996 9740288 346 33554432000 4194304 5098028 140723907742288 140723907740392 140395742818940 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 24666112 140723907744910 140723907745120 140723907745120 140723907747819 0
/proc/30243/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200336 s]
/proc/loadavg: 15.92 14.96 14.26 9/272 30243
/proc/meminfo: memFree=31565780/32770624 swapFree=5736/227880
[pid=30243] ppid=30240 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30243/stat : 30243 (xcsp3-exec) S 30240 30243 16473 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3986996 9740288 346 33554432000 4194304 5098028 140723907742288 140723907740392 140395742818940 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 24666112 140723907744910 140723907745120 140723907745120 140723907747819 0
/proc/30243/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300291 s]
/proc/loadavg: 15.92 14.96 14.26 9/272 30243
/proc/meminfo: memFree=31565780/32770624 swapFree=5736/227880
[pid=30243] ppid=30240 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30243/stat : 30243 (xcsp3-exec) S 30240 30243 16473 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3986996 9740288 346 33554432000 4194304 5098028 140723907742288 140723907740392 140395742818940 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 24666112 140723907744910 140723907745120 140723907745120 140723907747819 0
/proc/30243/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700146 s]
/proc/loadavg: 15.92 14.96 14.26 9/272 30243
/proc/meminfo: memFree=31565780/32770624 swapFree=5736/227880
[pid=30243] ppid=30240 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30243/stat : 30243 (xcsp3-exec) S 30240 30243 16473 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3986996 9740288 346 33554432000 4194304 5098028 140723907742288 140723907740392 140395742818940 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 24666112 140723907744910 140723907745120 140723907745120 140723907747819 0
/proc/30243/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.5012 s]
/proc/loadavg: 15.92 14.96 14.26 14/293 30264
/proc/meminfo: memFree=31433308/32770624 swapFree=5736/227576
[pid=30243] ppid=30240 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30243/stat : 30243 (xcsp3-exec) S 30240 30243 16473 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3986996 9740288 346 33554432000 4194304 5098028 140723907742288 140723907740392 140395742818940 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 24666112 140723907744910 140723907745120 140723907745120 140723907747819 0
/proc/30243/statm: 2378 346 289 221 0 87 0
[pid=30244] ppid=30243 vsize=13801768 CPUtime=5.67 cores=1,3,5,7,9,11,13,15
/proc/30244/stat : 30244 (java) S 30243 30243 16473 0 -1 1077944320 23776 0 0 0 554 13 0 0 20 0 28 0 3986997 14133010432 52510 33554432000 4194304 4196468 140730244799120 140730244781664 140031963107063 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 27082752 140730244805820 140730244805996 140730244805996 140730244808655 0
/proc/30244/statm: 3450442 52510 3261 1 0 3437675 0
[pid=30244/tid=30245] ppid=30243 vsize=13801768 CPUtime=1.26 cores=1,3,5,7,9,11,13,15
/proc/30244/task/30245/stat : 30245 (java) S 30243 30243 16473 0 -1 1077944384 8568 0 0 0 121 5 0 0 20 0 28 0 3986997 14133010432 52510 33554432000 4194304 4196468 140730244799120 140031967347840 140031963117269 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 27082752 140730244805820 140730244805996 140730244805996 140730244808655 0
[pid=30244/tid=30247] ppid=30243 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30244/task/30247/stat : 30247 (java) S 30243 30243 16473 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 28 0 3986998 14133010432 52510 33554432000 4194304 4196468 140730244799120 140031915727504 140031963117269 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 27082752 140730244805820 140730244805996 140730244805996 140730244808655 0
[pid=30244/tid=30248] ppid=30243 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30244/task/30248/stat : 30248 (java) S 30243 30243 16473 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 28 0 3986998 14133010432 52510 33554432000 4194304 4196468 140730244799120 140031914674704 140031963117269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27082752 140730244805820 140730244805996 140730244805996 140730244808655 0
[pid=30244/tid=30249] ppid=30243 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30244/task/30249/stat : 30249 (java) S 30243 30243 16473 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 28 0 3986998 14133010432 52510 33554432000 4194304 4196468 140730244799120 140031913621904 140031963117269 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27082752 140730244805820 140730244805996 140730244805996 140730244808655 0
[pid=30244/tid=30250] ppid=30243 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30244/task/30250/stat : 30250 (java) S 30243 30243 16473 0 -1 1077944384 132 0 0 0 0 0 0 0 20 0 28 0 3986998 14133010432 52510 33554432000 4194304 4196468 140730244799120 140031912569104 140031963117269 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27082752 140730244805820 140730244805996 140730244805996 140730244808655 0
[pid=30244/tid=30251] ppid=30243 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30244/task/30251/stat : 30251 (java) S 30243 30243 16473 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3986998 14133010432 52510 33554432000 4194304 4196468 140730244799120 140031911517328 140031963117269 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27082752 140730244805820 140730244805996 140730244805996 140730244808655 0
[pid=30244/tid=30252] ppid=30243 vsize=13801768 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/30244/task/30252/stat : 30252 (java) S 30243 30243 16473 0 -1 1077944384 205 0 0 0 1 0 0 0 20 0 28 0 3986998 14133010432 52510 33554432000 4194304 4196468 140730244799120 140031910464528 140031963117269 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27082752 140730244805820 140730244805996 140730244805996 140730244808655 0
[pid=30244/tid=30253] ppid=30243 vsize=13801768 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/30244/task/30253/stat : 30253 (java) S 30243 30243 16473 0 -1 1077944384 36 0 0 0 1 0 0 0 20 0 28 0 3986998 14133010432 52510 33554432000 4194304 4196468 140730244799120 140031909411728 140031963117269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27082752 140730244805820 140730244805996 140730244805996 140730244808655 0
[pid=30244/tid=30254] ppid=30243 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30244/task/30254/stat : 30254 (java) S 30243 30243 16473 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 28 0 3986998 14133010432 52510 33554432000 4194304 4196468 140730244799120 140031908358928 140031963117269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27082752 140730244805820 140730244805996 140730244805996 140730244808655 0
[pid=30244/tid=30255] ppid=30243 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30244/task/30255/stat : 30255 (java) S 30243 30243 16473 0 -1 1077944384 127 0 0 0 0 0 0 0 20 0 28 0 3987000 14133010432 52510 33554432000 4194304 4196468 140730244799120 140031425329520 140031963118210 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27082752 140730244805820 140730244805996 140730244805996 140730244808655 0
[pid=30244/tid=30256] ppid=30243 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30244/task/30256/stat : 30256 (java) S 30243 30243 16473 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 3987001 14133010432 52510 33554432000 4194304 4196468 140730244799120 140031424275488 140031963117269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27082752 140730244805820 140730244805996 140730244805996 140730244808655 0
[pid=30244/tid=30257] ppid=30243 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30244/task/30257/stat : 30257 (java) S 30243 30243 16473 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 28 0 3987001 14133010432 52510 33554432000 4194304 4196468 140730244799120 140031423222640 140031963117269 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27082752 140730244805820 140730244805996 140730244805996 140730244808655 0
[pid=30244/tid=30258] ppid=30243 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30244/task/30258/stat : 30258 (java) S 30243 30243 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3987005 14133010432 52510 33554432000 4194304 4196468 140730244799120 140031422170960 140031963125659 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 27082752 140730244805820 140730244805996 140730244805996 140730244808655 0
[pid=30244/tid=30259] ppid=30243 vsize=13801768 CPUtime=0.95 cores=1,3,5,7,9,11,13,15
/proc/30244/task/30259/stat : 30259 (java) R 30243 30243 16473 0 -1 4202560 3627 0 0 0 95 0 0 0 20 0 28 0 3987005 14133010432 52510 33554432000 4194304 4196468 140730244799120 140031421105568 140031948029023 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 27082752 140730244805820 140730244805996 140730244805996 140730244808655 0
[pid=30244/tid=30260] ppid=30243 vsize=13801768 CPUtime=0.9 cores=1,3,5,7,9,11,13,15
/proc/30244/task/30260/stat : 30260 (java) R 30243 30243 16473 0 -1 4202560 2822 0 0 0 90 0 0 0 20 0 28 0 3987005 14133010432 52510 33554432000 4194304 4196468 140730244799120 140031420059736 140031949152072 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 27082752 140730244805820 140730244805996 140730244805996 140730244808655 0
[pid=30244/tid=30261] ppid=30243 vsize=13801768 CPUtime=0.92 cores=1,3,5,7,9,11,13,15
/proc/30244/task/30261/stat : 30261 (java) R 30243 30243 16473 0 -1 4202560 2401 0 0 0 92 0 0 0 20 0 28 0 3987005 14133010432 52510 33554432000 4194304 4196468 140730244799120 140031418994736 140031949140856 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27082752 140730244805820 140730244805996 140730244805996 140730244808655 0
[pid=30244/tid=30262] ppid=30243 vsize=13801768 CPUtime=0.71 cores=1,3,5,7,9,11,13,15
/proc/30244/task/30262/stat : 30262 (java) R 30243 30243 16473 0 -1 1077944384 3305 0 0 0 70 1 0 0 20 0 28 0 3987005 14133010432 52510 33554432000 4194304 4196468 140730244799120 140031417960944 140031963118210 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27082752 140730244805820 140730244805996 140730244805996 140730244808655 0
[pid=30244/tid=30263] ppid=30243 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30244/task/30263/stat : 30263 (java) S 30243 30243 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3987006 14133010432 52510 33554432000 4194304 4196468 140730244799120 140031416908384 140031963117269 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27082752 140730244805820 140730244805996 140730244805996 140730244808655 0
[pid=30244/tid=30264] ppid=30243 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30244/task/30264/stat : 30264 (java) S 30243 30243 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3987006 14133010432 52510 33554432000 4194304 4196468 140730244799120 140031415855664 140031963118210 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27082752 140730244805820 140730244805996 140730244805996 140730244808655 0
Current children cumulated CPU time (s) 5.67
Current children cumulated vsize (KiB) 13811280
[startup+3.10122 s]
/proc/loadavg: 15.92 14.96 14.26 20/301 30392
/proc/meminfo: memFree=31327276/32770624 swapFree=5736/227632
[pid=30243] ppid=30240 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30243/stat : 30243 (xcsp3-exec) S 30240 30243 16473 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3986996 9740288 346 33554432000 4194304 5098028 140723907742288 140723907740392 140395742818940 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 24666112 140723907744910 140723907745120 140723907745120 140723907747819 0
/proc/30243/statm: 2378 346 289 221 0 87 0
[pid=30244] ppid=30243 vsize=13868332 CPUtime=17.41 cores=1,3,5,7,9,11,13,15
/proc/30244/stat : 30244 (java) S 30243 30243 16473 0 -1 1077944320 33114 0 0 0 1715 26 0 0 20 0 28 0 3986997 14201171968 89505 33554432000 4194304 4196468 140730244799120 140730244781664 140031963107063 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 27082752 140730244805820 140730244805996 140730244805996 140730244808655 0
/proc/30244/statm: 3467083 89505 3284 1 0 3454316 0
[pid=30244/tid=30245] ppid=30243 vsize=13868332 CPUtime=1.28 cores=1,3,5,7,9,11,13,15
/proc/30244/task/30245/stat : 30245 (java) S 30243 30243 16473 0 -1 1077944384 8568 0 0 0 123 5 0 0 20 0 28 0 3986997 14201171968 89505 33554432000 4194304 4196468 140730244799120 140031967347840 140031963117269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27082752 140730244805820 140730244805996 140730244805996 140730244808655 0
[pid=30244/tid=30247] ppid=30243 vsize=13868332 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/30244/task/30247/stat : 30247 (java) S 30243 30243 16473 0 -1 1077944384 90 0 0 0 1 1 0 0 20 0 28 0 3986998 14201171968 89505 33554432000 4194304 4196468 140730244799120 140031915727504 140031963117269 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 27082752 140730244805820 140730244805996 140730244805996 140730244808655 0
[pid=30244/tid=30248] ppid=30243 vsize=13868332 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/30244/task/30248/stat : 30248 (java) S 30243 30243 16473 0 -1 1077944384 23 0 0 0 1 1 0 0 20 0 28 0 3986998 14201171968 89505 33554432000 4194304 4196468 140730244799120 140031914674704 140031963117269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27082752 140730244805820 140730244805996 140730244805996 140730244808655 0
[pid=30244/tid=30249] ppid=30243 vsize=13868332 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/30244/task/30249/stat : 30249 (java) S 30243 30243 16473 0 -1 1077944384 23 0 0 0 1 1 0 0 20 0 28 0 3986998 14201171968 89505 33554432000 4194304 4196468 140730244799120 140031913621904 140031963117269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27082752 140730244805820 140730244805996 140730244805996 140730244808655 0
[pid=30244/tid=30250] ppid=30243 vsize=13868332 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/30244/task/30250/stat : 30250 (java) S 30243 30243 16473 0 -1 1077944384 143 0 0 0 1 1 0 0 20 0 28 0 3986998 14201171968 89505 33554432000 4194304 4196468 140730244799120 140031912569104 140031963117269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27082752 140730244805820 140730244805996 140730244805996 140730244808655 0
[pid=30244/tid=30251] ppid=30243 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30244/task/30251/stat : 30251 (java) S 30243 30243 16473 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 28 0 3986998 14201171968 89505 33554432000 4194304 4196468 140730244799120 140031911517328 140031963117269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27082752 140730244805820 140730244805996 140730244805996 140730244808655 0
[pid=30244/tid=30252] ppid=30243 vsize=13868332 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/30244/task/30252/stat : 30252 (java) S 30243 30243 16473 0 -1 1077944384 218 0 0 0 1 1 0 0 20 0 28 0 3986998 14201171968 89505 33554432000 4194304 4196468 140730244799120 140031910464528 140031963117269 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 27082752 140730244805820 140730244805996 140730244805996 140730244808655 0
[pid=30244/tid=30253] ppid=30243 vsize=13868332 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/30244/task/30253/stat : 30253 (java) S 30243 30243 16473 0 -1 1077944384 40 0 0 0 1 1 0 0 20 0 28 0 3986998 14201171968 89505 33554432000 4194304 4196468 140730244799120 140031909411728 140031963117269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27082752 140730244805820 140730244805996 140730244805996 140730244808655 0
[pid=30244/tid=30254] ppid=30243 vsize=13868332 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/30244/task/30254/stat : 30254 (java) S 30243 30243 16473 0 -1 1077944384 34 0 0 0 1 0 0 0 20 0 28 0 3986998 14201171968 89505 33554432000 4194304 4196468 140730244799120 140031908358928 140031963117269 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27082752 140730244805820 140730244805996 140730244805996 140730244808655 0
[pid=30244/tid=30255] ppid=30243 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30244/task/30255/stat : 30255 (java) S 30243 30243 16473 0 -1 1077944384 203 0 0 0 0 0 0 0 20 0 28 0 3987000 14201171968 89505 33554432000 4194304 4196468 140730244799120 140031425329520 140031963118210 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27082752 140730244805820 140730244805996 140730244805996 140730244808655 0
[pid=30244/tid=30256] ppid=30243 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30244/task/30256/stat : 30256 (java) S 30243 30243 16473 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 3987001 14201171968 89505 33554432000 4194304 4196468 140730244799120 140031424275552 140031963117269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27082752 140730244805820 140730244805996 140730244805996 140730244808655 0
[pid=30244/tid=30257] ppid=30243 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30244/task/30257/stat : 30257 (java) S 30243 30243 16473 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 28 0 3987001 14201171968 89505 33554432000 4194304 4196468 140730244799120 140031423222656 140031963117269 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27082752 140730244805820 140730244805996 140730244805996 140730244808655 0
[pid=30244/tid=30258] ppid=30243 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30244/task/30258/stat : 30258 (java) S 30243 30243 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3987005 14201171968 89505 33554432000 4194304 4196468 140730244799120 140031422170960 140031963125659 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 27082752 140730244805820 140730244805996 140730244805996 140730244808655 0
[pid=30244/tid=30259] ppid=30243 vsize=13868332 CPUtime=2.29 cores=1,3,5,7,9,11,13,15
/proc/30244/task/30259/stat : 30259 (java) R 30243 30243 16473 0 -1 4202560 5494 0 0 0 228 1 0 0 20 0 28 0 3987005 14201171968 89505 33554432000 4194304 4196468 140730244799120 140031421100336 140031946590524 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 27082752 140730244805820 140730244805996 140730244805996 140730244808655 0
[pid=30244/tid=30260] ppid=30243 vsize=13868332 CPUtime=2.11 cores=1,3,5,7,9,11,13,15
/proc/30244/task/30260/stat : 30260 (java) R 30243 30243 16473 0 -1 4202560 4151 0 0 0 211 0 0 0 20 0 28 0 3987005 14201171968 89505 33554432000 4194304 4196468 140730244799120 140031420052608 140031942950671 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 27082752 140730244805820 140730244805996 140730244805996 140730244808655 0
[pid=30244/tid=30261] ppid=30243 vsize=13868332 CPUtime=2.13 cores=1,3,5,7,9,11,13,15
/proc/30244/task/30261/stat : 30261 (java) R 30243 30243 16473 0 -1 4202560 3981 0 0 0 213 0 0 0 20 0 28 0 3987005 14201171968 89505 33554432000 4194304 4196468 140730244799120 140031419000288 140031948016992 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 27082752 140730244805820 140730244805996 140730244805996 140730244808655 0
[pid=30244/tid=30262] ppid=30243 vsize=13868332 CPUtime=0.99 cores=1,3,5,7,9,11,13,15
/proc/30244/task/30262/stat : 30262 (java) S 30243 30243 16473 0 -1 1077944384 4889 0 0 0 98 1 0 0 20 0 28 0 3987005 14201171968 89505 33554432000 4194304 4196468 140730244799120 140031417960944 140031963118210 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27082752 140730244805820 140730244805996 140730244805996 140730244808655 0
[pid=30244/tid=30263] ppid=30243 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30244/task/30263/stat : 30263 (java) S 30243 30243 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3987006 14201171968 89505 33554432000 4194304 4196468 140730244799120 140031416908384 140031963117269 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27082752 140730244805820 140730244805996 140730244805996 140730244808655 0
[pid=30244/tid=30264] ppid=30243 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30244/task/30264/stat : 30264 (java) S 30243 30243 16473 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 28 0 3987006 14201171968 89505 33554432000 4194304 4196468 140730244799120 140031415855664 140031963118210 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27082752 140730244805820 140730244805996 140730244805996 140730244808655 0
Current children cumulated CPU time (s) 17.41
Current children cumulated vsize (KiB) 13877844
[startup+6.30166 s]
/proc/loadavg: 16.17 15.03 14.28 11/301 30544
/proc/meminfo: memFree=31161908/32770624 swapFree=5736/227632
[pid=30243] ppid=30240 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30243/stat : 30243 (xcsp3-exec) S 30240 30243 16473 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3986996 9740288 346 33554432000 4194304 5098028 140723907742288 140723907740392 140395742818940 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 24666112 140723907744910 140723907745120 140723907745120 140723907747819 0
/proc/30243/statm: 2378 346 289 221 0 87 0
[pid=30244] ppid=30243 vsize=13868332 CPUtime=41.19 cores=1,3,5,7,9,11,13,15
/proc/30244/stat : 30244 (java) S 30243 30243 16473 0 -1 1077944320 37359 0 0 0 4071 48 0 0 20 0 28 0 3986997 14201171968 135321 33554432000 4194304 4196468 140730244799120 140730244781664 140031963107063 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 27082752 140730244805820 140730244805996 140730244805996 140730244808655 0
/proc/30244/statm: 3467083 135321 3288 1 0 3454316 0
[pid=30244/tid=30245] ppid=30243 vsize=13868332 CPUtime=1.3 cores=1,3,5,7,9,11,13,15
/proc/30244/task/30245/stat : 30245 (java) S 30243 30243 16473 0 -1 1077944384 8616 0 0 0 124 6 0 0 20 0 28 0 3986997 14201171968 135321 33554432000 4194304 4196468 140730244799120 140031967347840 140031963117269 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27082752 140730244805820 140730244805996 140730244805996 140730244808655 0
[pid=30244/tid=30247] ppid=30243 vsize=13868332 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/30244/task/30247/stat : 30247 (java) S 30243 30243 16473 0 -1 1077944384 118 0 0 0 3 3 0 0 20 0 28 0 3986998 14201171968 135321 33554432000 4194304 4196468 140730244799120 140031915727504 140031963117269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27082752 140730244805820 140730244805996 140730244805996 140730244808655 0
[pid=30244/tid=30248] ppid=30243 vsize=13868332 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/30244/task/30248/stat : 30248 (java) S 30243 30243 16473 0 -1 1077944384 40 0 0 0 2 2 0 0 20 0 28 0 3986998 14201171968 135321 33554432000 4194304 4196468 140730244799120 140031914674704 140031963117269 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27082752 140730244805820 140730244805996 140730244805996 140730244808655 0
[pid=30244/tid=30249] ppid=30243 vsize=13868332 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/30244/task/30249/stat : 30249 (java) S 30243 30243 16473 0 -1 1077944384 42 0 0 0 3 2 0 0 20 0 28 0 3986998 14201171968 135321 33554432000 4194304 4196468 140730244799120 140031913621904 140031963117269 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 27082752 140730244805820 140730244805996 140730244805996 140730244808655 0
[pid=30244/tid=30250] ppid=30243 vsize=13868332 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/30244/task/30250/stat : 30250 (java) S 30243 30243 16473 0 -1 1077944384 167 0 0 0 3 4 0 0 20 0 28 0 3986998 14201171968 135321 33554432000 4194304 4196468 140730244799120 140031912569104 140031963117269 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27082752 140730244805820 140730244805996 140730244805996 140730244808655 0
[pid=30244/tid=30251] ppid=30243 vsize=13868332 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/30244/task/30251/stat : 30251 (java) S 30243 30243 16473 0 -1 1077944384 44 0 0 0 2 3 0 0 20 0 28 0 3986998 14201171968 135321 33554432000 4194304 4196468 140730244799120 140031911517328 140031963117269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27082752 140730244805820 140730244805996 140730244805996 140730244808655 0
[pid=30244/tid=30252] ppid=30243 vsize=13868332 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/30244/task/30252/stat : 30252 (java) S 30243 30243 16473 0 -1 1077944384 598 0 0 0 3 3 0 0 20 0 28 0 3986998 14201171968 135321 33554432000 4194304 4196468 140730244799120 140031910464528 140031963117269 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 27082752 140730244805820 140730244805996 140730244805996 140730244808655 0
[pid=30244/tid=30253] ppid=30243 vsize=13868332 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/30244/task/30253/stat : 30253 (java) S 30243 30243 16473 0 -1 1077944384 112 0 0 0 3 3 0 0 20 0 28 0 3986998 14201171968 135321 33554432000 4194304 4196468 140730244799120 140031909411728 140031963117269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27082752 140730244805820 140730244805996 140730244805996 140730244808655 0
[pid=30244/tid=30254] ppid=30243 vsize=13868332 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/30244/task/30254/stat : 30254 (java) S 30243 30243 16473 0 -1 1077944384 49 0 0 0 2 2 0 0 20 0 28 0 3986998 14201171968 135321 33554432000 4194304 4196468 140730244799120 140031908358928 140031963117269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27082752 140730244805820 140730244805996 140730244805996 140730244808655 0
[pid=30244/tid=30255] ppid=30243 vsize=13868332 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/30244/task/30255/stat : 30255 (java) S 30243 30243 16473 0 -1 1077944384 485 0 0 0 1 0 0 0 20 0 28 0 3987000 14201171968 135321 33554432000 4194304 4196468 140730244799120 140031425329520 140031963118210 0 0 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27082752 140730244805820 140730244805996 140730244805996 140730244808655 0
[pid=30244/tid=30256] ppid=30243 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30244/task/30256/stat : 30256 (java) S 30243 30243 16473 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 3987001 14201171968 135321 33554432000 4194304 4196468 140730244799120 140031424275552 140031963117269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27082752 140730244805820 140730244805996 140730244805996 140730244808655 0
[pid=30244/tid=30257] ppid=30243 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30244/task/30257/stat : 30257 (java) S 30243 30243 16473 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 28 0 3987001 14201171968 135321 33554432000 4194304 4196468 140730244799120 140031423222656 140031963117269 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27082752 140730244805820 140730244805996 140730244805996 140730244808655 0
[pid=30244/tid=30258] ppid=30243 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30244/task/30258/stat : 30258 (java) S 30243 30243 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3987005 14201171968 135321 33554432000 4194304 4196468 140730244799120 140031422170960 140031963125659 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 27082752 140730244805820 140730244805996 140730244805996 140730244808655 0
################
# More data... #
################
[pid=30244/tid=31013] ppid=30243 vsize=13868332 CPUtime=39.04 cores=1,3,5,7,9,11,13,15
/proc/30244/task/31013/stat : 31013 (java) R 30243 30243 16473 0 -1 4202560 810 0 0 0 3904 0 0 0 20 0 28 0 4005312 14201171968 517757 33554432000 4194304 4196468 140730244799120 140031407841720 140031596114218 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27082752 140730244805820 140730244805996 140730244805996 140730244808655 0
[pid=30244/tid=31014] ppid=30243 vsize=13868332 CPUtime=38.46 cores=1,3,5,7,9,11,13,15
/proc/30244/task/31014/stat : 31014 (java) R 30243 30243 16473 0 -1 4202560 386 0 0 0 3846 0 0 0 20 0 28 0 4005312 14201171968 517757 33554432000 4194304 4196468 140730244799120 140031400472488 140031596114530 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 27082752 140730244805820 140730244805996 140730244805996 140730244808655 0
Current children cumulated CPU time (s) 1702.23
Current children cumulated vsize (KiB) 13877844
[startup+282.302 s]
/proc/loadavg: 15.96 15.57 14.71 17/300 31020
/proc/meminfo: memFree=26445100/32770624 swapFree=5736/256200
[pid=30243] ppid=30240 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30243/stat : 30243 (xcsp3-exec) S 30240 30243 16473 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3986996 9740288 346 33554432000 4194304 5098028 140723907742288 140723907740392 140395742818940 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 24666112 140723907744910 140723907745120 140723907745120 140723907747819 0
/proc/30243/statm: 2378 346 289 221 0 87 0
[pid=30244] ppid=30243 vsize=13868332 CPUtime=2179.09 cores=1,3,5,7,9,11,13,15
/proc/30244/stat : 30244 (java) S 30243 30243 16473 0 -1 1077944320 189049 0 0 0 217680 229 0 0 20 0 28 0 3986997 14201171968 482339 33554432000 4194304 4196468 140730244799120 140730244781664 140031963107063 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 27082752 140730244805820 140730244805996 140730244805996 140730244808655 0
/proc/30244/statm: 3467083 482339 3290 1 0 3454316 0
[pid=30244/tid=30245] ppid=30243 vsize=13868332 CPUtime=1.32 cores=1,3,5,7,9,11,13,15
/proc/30244/task/30245/stat : 30245 (java) S 30243 30243 16473 0 -1 1077944384 11329 0 0 0 126 6 0 0 20 0 28 0 3986997 14201171968 482339 33554432000 4194304 4196468 140730244799120 140031967347840 140031963117269 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 27082752 140730244805820 140730244805996 140730244805996 140730244808655 0
[pid=30244/tid=30247] ppid=30243 vsize=13868332 CPUtime=0.33 cores=1,3,5,7,9,11,13,15
/proc/30244/task/30247/stat : 30247 (java) S 30243 30243 16473 0 -1 1077944384 1779 0 0 0 20 13 0 0 20 0 28 0 3986998 14201171968 482339 33554432000 4194304 4196468 140730244799120 140031915727504 140031963117269 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 27082752 140730244805820 140730244805996 140730244805996 140730244808655 0
[pid=30244/tid=30248] ppid=30243 vsize=13868332 CPUtime=0.32 cores=1,3,5,7,9,11,13,15
/proc/30244/task/30248/stat : 30248 (java) S 30243 30243 16473 0 -1 1077944384 1379 0 0 0 19 13 0 0 20 0 28 0 3986998 14201171968 482339 33554432000 4194304 4196468 140730244799120 140031914674704 140031963117269 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 27082752 140730244805820 140730244805996 140730244805996 140730244808655 0
[pid=30244/tid=30249] ppid=30243 vsize=13868332 CPUtime=0.31 cores=1,3,5,7,9,11,13,15
/proc/30244/task/30249/stat : 30249 (java) S 30243 30243 16473 0 -1 1077944384 1997 0 0 0 18 13 0 0 20 0 28 0 3986998 14201171968 482339 33554432000 4194304 4196468 140730244799120 140031913621904 140031963117269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27082752 140730244805820 140730244805996 140730244805996 140730244808655 0
[pid=30244/tid=30250] ppid=30243 vsize=13868332 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/30244/task/30250/stat : 30250 (java) S 30243 30243 16473 0 -1 1077944384 2377 0 0 0 20 16 0 0 20 0 28 0 3986998 14201171968 482339 33554432000 4194304 4196468 140730244799120 140031912569104 140031963117269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27082752 140730244805820 140730244805996 140730244805996 140730244808655 0
[pid=30244/tid=30251] ppid=30243 vsize=13868332 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/30244/task/30251/stat : 30251 (java) S 30243 30243 16473 0 -1 1077944384 2314 0 0 0 21 13 0 0 20 0 28 0 3986998 14201171968 482339 33554432000 4194304 4196468 140730244799120 140031911517328 140031963117269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27082752 140730244805820 140730244805996 140730244805996 140730244808655 0
[pid=30244/tid=30252] ppid=30243 vsize=13868332 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/30244/task/30252/stat : 30252 (java) S 30243 30243 16473 0 -1 1077944384 1729 0 0 0 20 15 0 0 20 0 28 0 3986998 14201171968 482339 33554432000 4194304 4196468 140730244799120 140031910464528 140031963117269 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 27082752 140730244805820 140730244805996 140730244805996 140730244808655 0
[pid=30244/tid=30253] ppid=30243 vsize=13868332 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/30244/task/30253/stat : 30253 (java) S 30243 30243 16473 0 -1 1077944384 2795 0 0 0 20 15 0 0 20 0 28 0 3986998 14201171968 482339 33554432000 4194304 4196468 140730244799120 140031909411728 140031963117269 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27082752 140730244805820 140730244805996 140730244805996 140730244808655 0
[pid=30244/tid=30254] ppid=30243 vsize=13868332 CPUtime=0.31 cores=1,3,5,7,9,11,13,15
/proc/30244/task/30254/stat : 30254 (java) S 30243 30243 16473 0 -1 1077944384 1935 0 0 0 18 13 0 0 20 0 28 0 3986998 14201171968 482339 33554432000 4194304 4196468 140730244799120 140031908358928 140031963117269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27082752 140730244805820 140730244805996 140730244805996 140730244808655 0
[pid=30244/tid=30255] ppid=30243 vsize=13868332 CPUtime=0.42 cores=1,3,5,7,9,11,13,15
/proc/30244/task/30255/stat : 30255 (java) S 30243 30243 16473 0 -1 1077944384 8544 0 0 0 15 27 0 0 20 0 28 0 3987000 14201171968 482339 33554432000 4194304 4196468 140730244799120 140031425329520 140031963118210 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27082752 140730244805820 140730244805996 140730244805996 140730244808655 0
[pid=30244/tid=30256] ppid=30243 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30244/task/30256/stat : 30256 (java) S 30243 30243 16473 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 3987001 14201171968 482339 33554432000 4194304 4196468 140730244799120 140031424275552 140031963117269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27082752 140730244805820 140730244805996 140730244805996 140730244808655 0
[pid=30244/tid=30257] ppid=30243 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30244/task/30257/stat : 30257 (java) S 30243 30243 16473 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 28 0 3987001 14201171968 482339 33554432000 4194304 4196468 140730244799120 140031423222656 140031963117269 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27082752 140730244805820 140730244805996 140730244805996 140730244808655 0
[pid=30244/tid=30258] ppid=30243 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30244/task/30258/stat : 30258 (java) S 30243 30243 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3987005 14201171968 482339 33554432000 4194304 4196468 140730244799120 140031422170960 140031963125659 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 27082752 140730244805820 140730244805996 140730244805996 140730244808655 0
[pid=30244/tid=30259] ppid=30243 vsize=13868332 CPUtime=4.16 cores=1,3,5,7,9,11,13,15
/proc/30244/task/30259/stat : 30259 (java) S 30243 30243 16473 0 -1 1077944384 19738 0 0 0 414 2 0 0 20 0 28 0 3987005 14201171968 482339 33554432000 4194304 4196468 140730244799120 140031421119344 140031963118210 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27082752 140730244805820 140730244805996 140730244805996 140730244808655 0
[pid=30244/tid=30260] ppid=30243 vsize=13868332 CPUtime=4 cores=1,3,5,7,9,11,13,15
/proc/30244/task/30260/stat : 30260 (java) S 30243 30243 16473 0 -1 1077944384 17914 0 0 0 398 2 0 0 20 0 28 0 3987005 14201171968 482339 33554432000 4194304 4196468 140730244799120 140031420066544 140031963118210 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 27082752 140730244805820 140730244805996 140730244805996 140730244808655 0
[pid=30244/tid=30261] ppid=30243 vsize=13868332 CPUtime=4.19 cores=1,3,5,7,9,11,13,15
/proc/30244/task/30261/stat : 30261 (java) S 30243 30243 16473 0 -1 1077944384 17030 0 0 0 417 2 0 0 20 0 28 0 3987005 14201171968 482339 33554432000 4194304 4196468 140730244799120 140031419013744 140031963118210 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27082752 140730244805820 140730244805996 140730244805996 140730244808655 0
[pid=30244/tid=30262] ppid=30243 vsize=13868332 CPUtime=1.27 cores=1,3,5,7,9,11,13,15
/proc/30244/task/30262/stat : 30262 (java) S 30243 30243 16473 0 -1 1077944384 19182 0 0 0 125 2 0 0 20 0 28 0 3987005 14201171968 482339 33554432000 4194304 4196468 140730244799120 140031417960944 140031963118210 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27082752 140730244805820 140730244805996 140730244805996 140730244808655 0
[pid=30244/tid=30263] ppid=30243 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30244/task/30263/stat : 30263 (java) S 30243 30243 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3987006 14201171968 482339 33554432000 4194304 4196468 140730244799120 140031416908384 140031963117269 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27082752 140730244805820 140730244805996 140730244805996 140730244808655 0
[pid=30244/tid=30264] ppid=30243 vsize=13868332 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/30244/task/30264/stat : 30264 (java) S 30243 30243 16473 0 -1 1077944384 2940 0 0 0 6 8 0 0 20 0 28 0 3987006 14201171968 482339 33554432000 4194304 4196468 140730244799120 140031415855664 140031963118210 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27082752 140730244805820 140730244805996 140730244805996 140730244808655 0
[pid=30244/tid=31007] ppid=30243 vsize=13868332 CPUtime=98.74 cores=1,3,5,7,9,11,13,15
/proc/30244/task/31007/stat : 31007 (java) R 30243 30243 16473 0 -1 4202560 1158 0 0 0 9874 0 0 0 20 0 28 0 4005312 14201171968 482339 33554432000 4194304 4196468 140730244799120 140031402576776 140031596114477 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 27082752 140730244805820 140730244805996 140730244805996 140730244808655 0
[pid=30244/tid=31008] ppid=30243 vsize=13868332 CPUtime=98.72 cores=1,3,5,7,9,11,13,15
/proc/30244/task/31008/stat : 31008 (java) R 30243 30243 16473 0 -1 4202560 1347 0 0 0 9872 0 0 0 20 0 28 0 4005312 14201171968 482339 33554432000 4194304 4196468 140730244799120 140031404685872 140031594871342 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27082752 140730244805820 140730244805996 140730244805996 140730244808655 0
[pid=30244/tid=31009] ppid=30243 vsize=13868332 CPUtime=97.63 cores=1,3,5,7,9,11,13,15
/proc/30244/task/31009/stat : 31009 (java) R 30243 30243 16473 0 -1 4202560 2361 0 0 0 9763 0 0 0 20 0 28 0 4005312 14201171968 482339 33554432000 4194304 4196468 140730244799120 140031406788944 140031595136284 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 27082752 140730244805820 140730244805996 140730244805996 140730244808655 0
[pid=30244/tid=31010] ppid=30243 vsize=13868332 CPUtime=98.46 cores=1,3,5,7,9,11,13,15
/proc/30244/task/31010/stat : 31010 (java) R 30243 30243 16473 0 -1 4202560 2259 0 0 0 9844 2 0 0 20 0 28 0 4005312 14201171968 482339 33554432000 4194304 4196468 140730244799120 140031403631176 140031595135800 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 27082752 140730244805820 140730244805996 140730244805996 140730244808655 0
[pid=30244/tid=31011] ppid=30243 vsize=13868332 CPUtime=98.75 cores=1,3,5,7,9,11,13,15
/proc/30244/task/31011/stat : 31011 (java) R 30243 30243 16473 0 -1 4202560 689 0 0 0 9874 1 0 0 20 0 28 0 4005312 14201171968 482339 33554432000 4194304 4196468 140730244799120 140031405736392 140031595136232 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27082752 140730244805820 140730244805996 140730244805996 140730244808655 0
[pid=30244/tid=31012] ppid=30243 vsize=13868332 CPUtime=98.17 cores=1,3,5,7,9,11,13,15
/proc/30244/task/31012/stat : 31012 (java) R 30243 30243 16473 0 -1 4202560 2029 0 0 0 9817 0 0 0 20 0 28 0 4005312 14201171968 482339 33554432000 4194304 4196468 140730244799120 140031399420216 140031597050231 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27082752 140730244805820 140730244805996 140730244805996 140730244808655 0
[pid=30244/tid=31013] ppid=30243 vsize=13868332 CPUtime=98.72 cores=1,3,5,7,9,11,13,15
/proc/30244/task/31013/stat : 31013 (java) R 30243 30243 16473 0 -1 4202560 1170 0 0 0 9871 1 0 0 20 0 28 0 4005312 14201171968 482339 33554432000 4194304 4196468 140730244799120 140031407841976 140031595765895 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27082752 140730244805820 140730244805996 140730244805996 140730244808655 0
[pid=30244/tid=31014] ppid=30243 vsize=13868332 CPUtime=98.06 cores=1,3,5,7,9,11,13,15
/proc/30244/task/31014/stat : 31014 (java) R 30243 30243 16473 0 -1 4202560 507 0 0 0 9806 0 0 0 20 0 28 0 4005312 14201171968 482339 33554432000 4194304 4196468 140730244799120 140031400473144 140031596114477 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 27082752 140730244805820 140730244805996 140730244805996 140730244808655 0
Current children cumulated CPU time (s) 2179.09
Current children cumulated vsize (KiB) 13877844
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+311.416 s]
/proc/loadavg: 15.97 15.62 14.75 17/300 31029
/proc/meminfo: memFree=26531532/32770624 swapFree=5736/256244
[pid=30243] ppid=30240 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30243/stat : 30243 (xcsp3-exec) S 30240 30243 16473 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3986996 9740288 346 33554432000 4194304 5098028 140723907742288 140723907740392 140395742818940 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 24666112 140723907744910 140723907745120 140723907745120 140723907747819 0
/proc/30243/statm: 2378 346 289 221 0 87 0
[pid=30244] ppid=30243 vsize=13868332 CPUtime=2400.69 cores=1,3,5,7,9,11,13,15
/proc/30244/stat : 30244 (java) S 30243 30243 16473 0 -1 1077944320 204941 0 0 0 239817 252 0 0 20 0 28 0 3986997 14201171968 461032 33554432000 4194304 4196468 140730244799120 140730244781664 140031963107063 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 27082752 140730244805820 140730244805996 140730244805996 140730244808655 0
/proc/30244/statm: 3467083 461032 3290 1 0 3454316 0
[pid=30244/tid=30245] ppid=30243 vsize=13868332 CPUtime=1.32 cores=1,3,5,7,9,11,13,15
/proc/30244/task/30245/stat : 30245 (java) S 30243 30243 16473 0 -1 1077944384 11476 0 0 0 126 6 0 0 20 0 28 0 3986997 14201171968 461032 33554432000 4194304 4196468 140730244799120 140031967347840 140031963117269 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 27082752 140730244805820 140730244805996 140730244805996 140730244808655 0
[pid=30244/tid=30247] ppid=30243 vsize=13868332 CPUtime=0.38 cores=1,3,5,7,9,11,13,15
/proc/30244/task/30247/stat : 30247 (java) S 30243 30243 16473 0 -1 1077944384 2433 0 0 0 24 14 0 0 20 0 28 0 3986998 14201171968 461032 33554432000 4194304 4196468 140730244799120 140031915727504 140031963117269 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27082752 140730244805820 140730244805996 140730244805996 140730244808655 0
[pid=30244/tid=30248] ppid=30243 vsize=13868332 CPUtime=0.37 cores=1,3,5,7,9,11,13,15
/proc/30244/task/30248/stat : 30248 (java) S 30243 30243 16473 0 -1 1077944384 1967 0 0 0 23 14 0 0 20 0 28 0 3986998 14201171968 461032 33554432000 4194304 4196468 140730244799120 140031914674704 140031963117269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27082752 140730244805820 140730244805996 140730244805996 140730244808655 0
[pid=30244/tid=30249] ppid=30243 vsize=13868332 CPUtime=0.37 cores=1,3,5,7,9,11,13,15
/proc/30244/task/30249/stat : 30249 (java) S 30243 30243 16473 0 -1 1077944384 2636 0 0 0 22 15 0 0 20 0 28 0 3986998 14201171968 461032 33554432000 4194304 4196468 140730244799120 140031913621904 140031963117269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27082752 140730244805820 140730244805996 140730244805996 140730244808655 0
[pid=30244/tid=30250] ppid=30243 vsize=13868332 CPUtime=0.41 cores=1,3,5,7,9,11,13,15
/proc/30244/task/30250/stat : 30250 (java) S 30243 30243 16473 0 -1 1077944384 2952 0 0 0 24 17 0 0 20 0 28 0 3986998 14201171968 461032 33554432000 4194304 4196468 140730244799120 140031912569104 140031963117269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27082752 140730244805820 140730244805996 140730244805996 140730244808655 0
[pid=30244/tid=30251] ppid=30243 vsize=13868332 CPUtime=0.38 cores=1,3,5,7,9,11,13,15
/proc/30244/task/30251/stat : 30251 (java) S 30243 30243 16473 0 -1 1077944384 2898 0 0 0 24 14 0 0 20 0 28 0 3986998 14201171968 461032 33554432000 4194304 4196468 140730244799120 140031911517328 140031963117269 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 27082752 140730244805820 140730244805996 140730244805996 140730244808655 0
[pid=30244/tid=30252] ppid=30243 vsize=13868332 CPUtime=0.4 cores=1,3,5,7,9,11,13,15
/proc/30244/task/30252/stat : 30252 (java) S 30243 30243 16473 0 -1 1077944384 1996 0 0 0 24 16 0 0 20 0 28 0 3986998 14201171968 461032 33554432000 4194304 4196468 140730244799120 140031910464528 140031963117269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27082752 140730244805820 140730244805996 140730244805996 140730244808655 0
[pid=30244/tid=30253] ppid=30243 vsize=13868332 CPUtime=0.4 cores=1,3,5,7,9,11,13,15
/proc/30244/task/30253/stat : 30253 (java) S 30243 30243 16473 0 -1 1077944384 3384 0 0 0 24 16 0 0 20 0 28 0 3986998 14201171968 461032 33554432000 4194304 4196468 140730244799120 140031909411728 140031963117269 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27082752 140730244805820 140730244805996 140730244805996 140730244808655 0
[pid=30244/tid=30254] ppid=30243 vsize=13868332 CPUtime=0.37 cores=1,3,5,7,9,11,13,15
/proc/30244/task/30254/stat : 30254 (java) S 30243 30243 16473 0 -1 1077944384 2435 0 0 0 22 15 0 0 20 0 28 0 3986998 14201171968 461032 33554432000 4194304 4196468 140730244799120 140031908358928 140031963117269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27082752 140730244805820 140730244805996 140730244805996 140730244808655 0
[pid=30244/tid=30255] ppid=30243 vsize=13868332 CPUtime=0.6 cores=1,3,5,7,9,11,13,15
/proc/30244/task/30255/stat : 30255 (java) S 30243 30243 16473 0 -1 1077944384 10501 0 0 0 22 38 0 0 20 0 28 0 3987000 14201171968 461032 33554432000 4194304 4196468 140730244799120 140031425329520 140031963118210 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27082752 140730244805820 140730244805996 140730244805996 140730244808655 0
[pid=30244/tid=30256] ppid=30243 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30244/task/30256/stat : 30256 (java) S 30243 30243 16473 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 3987001 14201171968 461032 33554432000 4194304 4196468 140730244799120 140031424275552 140031963117269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27082752 140730244805820 140730244805996 140730244805996 140730244808655 0
[pid=30244/tid=30257] ppid=30243 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30244/task/30257/stat : 30257 (java) S 30243 30243 16473 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 28 0 3987001 14201171968 461032 33554432000 4194304 4196468 140730244799120 140031423222656 140031963117269 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27082752 140730244805820 140730244805996 140730244805996 140730244808655 0
[pid=30244/tid=30258] ppid=30243 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30244/task/30258/stat : 30258 (java) S 30243 30243 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3987005 14201171968 461032 33554432000 4194304 4196468 140730244799120 140031422170960 140031963125659 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 27082752 140730244805820 140730244805996 140730244805996 140730244808655 0
[pid=30244/tid=30259] ppid=30243 vsize=13868332 CPUtime=4.16 cores=1,3,5,7,9,11,13,15
/proc/30244/task/30259/stat : 30259 (java) S 30243 30243 16473 0 -1 1077944384 19744 0 0 0 414 2 0 0 20 0 28 0 3987005 14201171968 461032 33554432000 4194304 4196468 140730244799120 140031421119344 140031963118210 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27082752 140730244805820 140730244805996 140730244805996 140730244808655 0
[pid=30244/tid=30260] ppid=30243 vsize=13868332 CPUtime=4 cores=1,3,5,7,9,11,13,15
/proc/30244/task/30260/stat : 30260 (java) S 30243 30243 16473 0 -1 1077944384 17920 0 0 0 398 2 0 0 20 0 28 0 3987005 14201171968 461032 33554432000 4194304 4196468 140730244799120 140031420066544 140031963118210 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 27082752 140730244805820 140730244805996 140730244805996 140730244808655 0
[pid=30244/tid=30261] ppid=30243 vsize=13868332 CPUtime=4.24 cores=1,3,5,7,9,11,13,15
/proc/30244/task/30261/stat : 30261 (java) S 30243 30243 16473 0 -1 1077944384 18213 0 0 0 422 2 0 0 20 0 28 0 3987005 14201171968 461032 33554432000 4194304 4196468 140730244799120 140031419013744 140031963118210 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27082752 140730244805820 140730244805996 140730244805996 140730244808655 0
[pid=30244/tid=30262] ppid=30243 vsize=13868332 CPUtime=1.29 cores=1,3,5,7,9,11,13,15
/proc/30244/task/30262/stat : 30262 (java) S 30243 30243 16473 0 -1 1077944384 20350 0 0 0 126 3 0 0 20 0 28 0 3987005 14201171968 461032 33554432000 4194304 4196468 140730244799120 140031417960944 140031963118210 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27082752 140730244805820 140730244805996 140730244805996 140730244808655 0
[pid=30244/tid=30263] ppid=30243 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30244/task/30263/stat : 30263 (java) S 30243 30243 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3987006 14201171968 461032 33554432000 4194304 4196468 140730244799120 140031416908384 140031963117269 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27082752 140730244805820 140730244805996 140730244805996 140730244808655 0
[pid=30244/tid=30264] ppid=30243 vsize=13868332 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/30244/task/30264/stat : 30264 (java) S 30243 30243 16473 0 -1 1077944384 3169 0 0 0 6 9 0 0 20 0 28 0 3987006 14201171968 461032 33554432000 4194304 4196468 140730244799120 140031415855664 140031963118210 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27082752 140730244805820 140730244805996 140730244805996 140730244808655 0
[pid=30244/tid=31022] ppid=30243 vsize=13868332 CPUtime=10.89 cores=1,3,5,7,9,11,13,15
/proc/30244/task/31022/stat : 31022 (java) R 30243 30243 16473 0 -1 4202560 461 0 0 0 1089 0 0 0 20 0 28 0 4017021 14201171968 461032 33554432000 4194304 4196468 140730244799120 140031405734792 140031593894709 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 27082752 140730244805820 140730244805996 140730244805996 140730244808655 0
[pid=30244/tid=31023] ppid=30243 vsize=13868332 CPUtime=11.03 cores=1,3,5,7,9,11,13,15
/proc/30244/task/31023/stat : 31023 (java) R 30243 30243 16473 0 -1 4202560 1626 0 0 0 1103 0 0 0 20 0 28 0 4017021 14201171968 461032 33554432000 4194304 4196468 140730244799120 140031402580528 140031596999965 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 27082752 140730244805820 140730244805996 140730244805996 140730244808655 0
[pid=30244/tid=31024] ppid=30243 vsize=13868332 CPUtime=10.94 cores=1,3,5,7,9,11,13,15
/proc/30244/task/31024/stat : 31024 (java) R 30243 30243 16473 0 -1 4202560 847 0 0 0 1094 0 0 0 20 0 28 0 4017021 14201171968 461032 33554432000 4194304 4196468 140730244799120 140031404683656 140031595136004 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 27082752 140730244805820 140730244805996 140730244805996 140730244808655 0
[pid=30244/tid=31025] ppid=30243 vsize=13868332 CPUtime=10.94 cores=1,3,5,7,9,11,13,15
/proc/30244/task/31025/stat : 31025 (java) R 30243 30243 16473 0 -1 4202560 713 0 0 0 1094 0 0 0 20 0 28 0 4017021 14201171968 461032 33554432000 4194304 4196468 140730244799120 140031400473160 140031595136099 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27082752 140730244805820 140730244805996 140730244805996 140730244808655 0
[pid=30244/tid=31026] ppid=30243 vsize=13868332 CPUtime=11.04 cores=1,3,5,7,9,11,13,15
/proc/30244/task/31026/stat : 31026 (java) R 30243 30243 16473 0 -1 4202560 161 0 0 0 1104 0 0 0 20 0 28 0 4017021 14201171968 461032 33554432000 4194304 4196468 140730244799120 140031403630800 140031595136227 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27082752 140730244805820 140730244805996 140730244805996 140730244808655 0
[pid=30244/tid=31027] ppid=30243 vsize=13868332 CPUtime=11.03 cores=1,3,5,7,9,11,13,15
/proc/30244/task/31027/stat : 31027 (java) R 30243 30243 16473 0 -1 4202560 290 0 0 0 1103 0 0 0 20 0 28 0 4017021 14201171968 461032 33554432000 4194304 4196468 140730244799120 140031399420408 140031596114616 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 27082752 140730244805820 140730244805996 140730244805996 140730244808655 0
[pid=30244/tid=31028] ppid=30243 vsize=13868332 CPUtime=11.04 cores=1,3,5,7,9,11,13,15
/proc/30244/task/31028/stat : 31028 (java) R 30243 30243 16473 0 -1 4202560 929 0 0 0 1104 0 0 0 20 0 28 0 4017021 14201171968 461032 33554432000 4194304 4196468 140730244799120 140031407841976 140031594871342 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27082752 140730244805820 140730244805996 140730244805996 140730244808655 0
[pid=30244/tid=31029] ppid=30243 vsize=13868332 CPUtime=11.04 cores=1,3,5,7,9,11,13,15
/proc/30244/task/31029/stat : 31029 (java) R 30243 30243 16473 0 -1 4202560 695 0 0 0 1104 0 0 0 20 0 28 0 4017021 14201171968 461032 33554432000 4194304 4196468 140730244799120 140031406788632 140031596115220 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27082752 140730244805820 140730244805996 140730244805996 140730244808655 0
Current children cumulated CPU time (s) 2400.69
Current children cumulated vsize (KiB) 13877844
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 30244 sig 9
??? kill 30243 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 30243 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=1483
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1483
# CPU time returned by wait4() is 0.002966
# while last known CPU time is 2400.69
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 311.427
CPU time (s): 2400.69
CPU user time (s): 2398.17
CPU system time (s): 2.52
CPU usage (%): 770.868
Max. virtual memory (cumulated for all children) (KiB): 13877844
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001483
system time used= 0.001483
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.8113 second user time and 4.3847 second system time
The end