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-4247708-1500690624/watcher-4247708-1500690624 -o /tmp/evaluation-result-4247708-1500690624/solver-4247708-1500690624 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1500683887-7653 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1605572640 HOME/instance-4247708-1500690624.xml
pid=5112
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: 16.13 15.04 13.70 10/272 5115
/proc/meminfo: memFree=31319096/32770624 swapFree=5800/277760
[pid=5115] ppid=5112 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5115/stat : 5115 (xcsp3-exec) S 5112 5115 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4330158 9740288 346 33554432000 4194304 5098028 140723232454272 140723232452376 139707289563772 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 20992000 140723232461966 140723232462176 140723232462176 140723232464875 0
/proc/5115/statm: 2378 346 289 221 0 87 0
[startup+0.100066 s]
/proc/loadavg: 16.13 15.04 13.70 10/272 5115
/proc/meminfo: memFree=31319096/32770624 swapFree=5800/277760
[pid=5115] ppid=5112 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5115/stat : 5115 (xcsp3-exec) S 5112 5115 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4330158 9740288 346 33554432000 4194304 5098028 140723232454272 140723232452376 139707289563772 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 20992000 140723232461966 140723232462176 140723232462176 140723232464875 0
/proc/5115/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.20034 s]
/proc/loadavg: 16.13 15.04 13.70 10/272 5115
/proc/meminfo: memFree=31319096/32770624 swapFree=5800/277760
[pid=5115] ppid=5112 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5115/stat : 5115 (xcsp3-exec) S 5112 5115 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4330158 9740288 346 33554432000 4194304 5098028 140723232454272 140723232452376 139707289563772 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 20992000 140723232461966 140723232462176 140723232462176 140723232464875 0
/proc/5115/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300345 s]
/proc/loadavg: 16.13 15.04 13.70 10/272 5115
/proc/meminfo: memFree=31319096/32770624 swapFree=5800/277760
[pid=5115] ppid=5112 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5115/stat : 5115 (xcsp3-exec) S 5112 5115 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4330158 9740288 346 33554432000 4194304 5098028 140723232454272 140723232452376 139707289563772 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 20992000 140723232461966 140723232462176 140723232462176 140723232464875 0
/proc/5115/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700247 s]
/proc/loadavg: 16.13 15.04 13.70 10/272 5115
/proc/meminfo: memFree=31319096/32770624 swapFree=5800/277760
[pid=5115] ppid=5112 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5115/stat : 5115 (xcsp3-exec) S 5112 5115 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4330158 9740288 346 33554432000 4194304 5098028 140723232454272 140723232452376 139707289563772 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 20992000 140723232461966 140723232462176 140723232462176 140723232464875 0
/proc/5115/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50122 s]
/proc/loadavg: 16.13 15.04 13.70 13/293 5136
/proc/meminfo: memFree=31152524/32770624 swapFree=5800/277788
[pid=5115] ppid=5112 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5115/stat : 5115 (xcsp3-exec) S 5112 5115 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4330158 9740288 346 33554432000 4194304 5098028 140723232454272 140723232452376 139707289563772 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 20992000 140723232461966 140723232462176 140723232462176 140723232464875 0
/proc/5115/statm: 2378 346 289 221 0 87 0
[pid=5116] ppid=5115 vsize=13801768 CPUtime=5.54 cores=1,3,5,7,9,11,13,15
/proc/5116/stat : 5116 (java) S 5115 5115 7621 0 -1 1077944320 29643 0 0 0 538 16 0 0 20 0 28 0 4330158 14133010432 58046 33554432000 4194304 4196468 140727171649008 140727171631552 140679983050487 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 27148288 140727171650748 140727171650924 140727171650924 140727171653583 0
/proc/5116/statm: 3450442 58046 3256 1 0 3437675 0
[pid=5116/tid=5117] ppid=5115 vsize=13801768 CPUtime=1.42 cores=1,3,5,7,9,11,13,15
/proc/5116/task/5117/stat : 5117 (java) S 5115 5115 7621 0 -1 1077944384 7500 0 0 0 138 4 0 0 20 0 28 0 4330159 14133010432 58046 33554432000 4194304 4196468 140727171649008 140679987291264 140679983060693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27148288 140727171650748 140727171650924 140727171650924 140727171653583 0
[pid=5116/tid=5119] ppid=5115 vsize=13801768 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/5116/task/5119/stat : 5119 (java) S 5115 5115 7621 0 -1 1077944384 65 0 0 0 1 0 0 0 20 0 28 0 4330160 14133010432 58046 33554432000 4194304 4196468 140727171649008 140679915186832 140679983060693 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 27148288 140727171650748 140727171650924 140727171650924 140727171653583 0
[pid=5116/tid=5120] ppid=5115 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5116/task/5120/stat : 5120 (java) S 5115 5115 7621 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 28 0 4330160 14133010432 58046 33554432000 4194304 4196468 140727171649008 140679914134032 140679983060693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27148288 140727171650748 140727171650924 140727171650924 140727171653583 0
[pid=5116/tid=5121] ppid=5115 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/5116/task/5121/stat : 5121 (java) S 5115 5115 7621 0 -1 1077944384 93 0 0 0 1 1 0 0 20 0 28 0 4330160 14133010432 58046 33554432000 4194304 4196468 140727171649008 140679913081232 140679983060693 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27148288 140727171650748 140727171650924 140727171650924 140727171653583 0
[pid=5116/tid=5122] ppid=5115 vsize=13801768 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/5116/task/5122/stat : 5122 (java) S 5115 5115 7621 0 -1 1077944384 36 0 0 0 1 0 0 0 20 0 28 0 4330160 14133010432 58046 33554432000 4194304 4196468 140727171649008 140679912028432 140679983060693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27148288 140727171650748 140727171650924 140727171650924 140727171653583 0
[pid=5116/tid=5123] ppid=5115 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/5116/task/5123/stat : 5123 (java) S 5115 5115 7621 0 -1 1077944384 160 0 0 0 1 1 0 0 20 0 28 0 4330160 14133010432 58046 33554432000 4194304 4196468 140727171649008 140679910976656 140679983060693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27148288 140727171650748 140727171650924 140727171650924 140727171653583 0
[pid=5116/tid=5124] ppid=5115 vsize=13801768 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/5116/task/5124/stat : 5124 (java) S 5115 5115 7621 0 -1 1077944384 71 0 0 0 1 0 0 0 20 0 28 0 4330160 14133010432 58046 33554432000 4194304 4196468 140727171649008 140679576521744 140679983060693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27148288 140727171650748 140727171650924 140727171650924 140727171653583 0
[pid=5116/tid=5125] ppid=5115 vsize=13801768 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/5116/task/5125/stat : 5125 (java) S 5115 5115 7621 0 -1 1077944384 86 0 0 0 1 0 0 0 20 0 28 0 4330160 14133010432 58046 33554432000 4194304 4196468 140727171649008 140679575468944 140679983060693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27148288 140727171650748 140727171650924 140727171650924 140727171653583 0
[pid=5116/tid=5126] ppid=5115 vsize=13801768 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/5116/task/5126/stat : 5126 (java) S 5115 5115 7621 0 -1 1077944384 60 0 0 0 1 0 0 0 20 0 28 0 4330160 14133010432 58046 33554432000 4194304 4196468 140727171649008 140679574416144 140679983060693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27148288 140727171650748 140727171650924 140727171650924 140727171653583 0
[pid=5116/tid=5127] ppid=5115 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5116/task/5127/stat : 5127 (java) S 5115 5115 7621 0 -1 1077944384 106 0 0 0 0 0 0 0 20 0 28 0 4330162 14133010432 58046 33554432000 4194304 4196468 140727171649008 140679512435056 140679983061634 0 0 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 27148288 140727171650748 140727171650924 140727171650924 140727171653583 0
[pid=5116/tid=5128] ppid=5115 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5116/task/5128/stat : 5128 (java) S 5115 5115 7621 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4330163 14133010432 58046 33554432000 4194304 4196468 140727171649008 140679511381024 140679983060693 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 27148288 140727171650748 140727171650924 140727171650924 140727171653583 0
[pid=5116/tid=5129] ppid=5115 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5116/task/5129/stat : 5129 (java) S 5115 5115 7621 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 4330163 14133010432 58046 33554432000 4194304 4196468 140727171649008 140679510328176 140679983060693 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 27148288 140727171650748 140727171650924 140727171650924 140727171653583 0
[pid=5116/tid=5130] ppid=5115 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5116/task/5130/stat : 5130 (java) S 5115 5115 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4330167 14133010432 58046 33554432000 4194304 4196468 140727171649008 140679509276496 140679983069083 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27148288 140727171650748 140727171650924 140727171650924 140727171653583 0
[pid=5116/tid=5131] ppid=5115 vsize=13801768 CPUtime=1.03 cores=1,3,5,7,9,11,13,15
/proc/5116/task/5131/stat : 5131 (java) R 5115 5115 7621 0 -1 4202560 5293 0 0 0 103 0 0 0 20 0 28 0 4330167 14133010432 58046 33554432000 4194304 4196468 140727171649008 140679508210760 140679962767623 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27148288 140727171650748 140727171650924 140727171650924 140727171653583 0
[pid=5116/tid=5132] ppid=5115 vsize=13801768 CPUtime=1.04 cores=1,3,5,7,9,11,13,15
/proc/5116/task/5132/stat : 5132 (java) R 5115 5115 7621 0 -1 4202560 3779 0 0 0 104 0 0 0 20 0 28 0 4330167 14133010432 58046 33554432000 4194304 4196468 140727171649008 140678708836208 140679964595088 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27148288 140727171650748 140727171650924 140727171650924 140727171653583 0
[pid=5116/tid=5133] ppid=5115 vsize=13801768 CPUtime=1.1 cores=1,3,5,7,9,11,13,15
/proc/5116/task/5133/stat : 5133 (java) R 5115 5115 7621 0 -1 4202560 6347 0 0 0 109 1 0 0 20 0 28 0 4330167 14133010432 58046 33554432000 4194304 4196468 140727171649008 140678707778000 140679967945255 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27148288 140727171650748 140727171650924 140727171650924 140727171653583 0
[pid=5116/tid=5134] ppid=5115 vsize=13801768 CPUtime=0.65 cores=1,3,5,7,9,11,13,15
/proc/5116/task/5134/stat : 5134 (java) R 5115 5115 7621 0 -1 1077944384 4456 0 0 0 63 2 0 0 20 0 28 0 4330167 14133010432 58046 33554432000 4194304 4196468 140727171649008 140678706743792 140679983061634 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 27148288 140727171650748 140727171650924 140727171650924 140727171653583 0
[pid=5116/tid=5135] ppid=5115 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5116/task/5135/stat : 5135 (java) S 5115 5115 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4330167 14133010432 58046 33554432000 4194304 4196468 140727171649008 140678705691232 140679983060693 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27148288 140727171650748 140727171650924 140727171650924 140727171653583 0
[pid=5116/tid=5136] ppid=5115 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5116/task/5136/stat : 5136 (java) S 5115 5115 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4330168 14133010432 58046 33554432000 4194304 4196468 140727171649008 140678704638512 140679983061634 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 27148288 140727171650748 140727171650924 140727171650924 140727171653583 0
Current children cumulated CPU time (s) 5.54
Current children cumulated vsize (KiB) 13811280
[startup+3.10166 s]
/proc/loadavg: 16.20 15.08 13.72 20/301 5144
/proc/meminfo: memFree=31088064/32770624 swapFree=5800/277788
[pid=5115] ppid=5112 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5115/stat : 5115 (xcsp3-exec) S 5112 5115 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4330158 9740288 346 33554432000 4194304 5098028 140723232454272 140723232452376 139707289563772 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 20992000 140723232461966 140723232462176 140723232462176 140723232464875 0
/proc/5115/statm: 2378 346 289 221 0 87 0
[pid=5116] ppid=5115 vsize=13801768 CPUtime=18.17 cores=1,3,5,7,9,11,13,15
/proc/5116/stat : 5116 (java) S 5115 5115 7621 0 -1 1077944320 33042 0 0 0 1774 43 0 0 20 0 28 0 4330158 14133010432 71313 33554432000 4194304 4196468 140727171649008 140727171631552 140679983050487 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 27148288 140727171650748 140727171650924 140727171650924 140727171653583 0
/proc/5116/statm: 3450442 71313 3283 1 0 3437675 0
[pid=5116/tid=5117] ppid=5115 vsize=13801768 CPUtime=1.42 cores=1,3,5,7,9,11,13,15
/proc/5116/task/5117/stat : 5117 (java) S 5115 5115 7621 0 -1 1077944384 7500 0 0 0 138 4 0 0 20 0 28 0 4330159 14133010432 71313 33554432000 4194304 4196468 140727171649008 140679987291264 140679983060693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27148288 140727171650748 140727171650924 140727171650924 140727171653583 0
[pid=5116/tid=5119] ppid=5115 vsize=13801768 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/5116/task/5119/stat : 5119 (java) S 5115 5115 7621 0 -1 1077944384 175 0 0 0 3 4 0 0 20 0 28 0 4330160 14133010432 71313 33554432000 4194304 4196468 140727171649008 140679915186832 140679983060693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27148288 140727171650748 140727171650924 140727171650924 140727171653583 0
[pid=5116/tid=5120] ppid=5115 vsize=13801768 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/5116/task/5120/stat : 5120 (java) S 5115 5115 7621 0 -1 1077944384 119 0 0 0 3 3 0 0 20 0 28 0 4330160 14133010432 71313 33554432000 4194304 4196468 140727171649008 140679914134032 140679983060693 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27148288 140727171650748 140727171650924 140727171650924 140727171653583 0
[pid=5116/tid=5121] ppid=5115 vsize=13801768 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/5116/task/5121/stat : 5121 (java) S 5115 5115 7621 0 -1 1077944384 126 0 0 0 4 3 0 0 20 0 28 0 4330160 14133010432 71313 33554432000 4194304 4196468 140727171649008 140679913081232 140679983060693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27148288 140727171650748 140727171650924 140727171650924 140727171653583 0
[pid=5116/tid=5122] ppid=5115 vsize=13801768 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/5116/task/5122/stat : 5122 (java) S 5115 5115 7621 0 -1 1077944384 119 0 0 0 4 3 0 0 20 0 28 0 4330160 14133010432 71313 33554432000 4194304 4196468 140727171649008 140679912028432 140679983060693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27148288 140727171650748 140727171650924 140727171650924 140727171653583 0
[pid=5116/tid=5123] ppid=5115 vsize=13801768 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/5116/task/5123/stat : 5123 (java) S 5115 5115 7621 0 -1 1077944384 231 0 0 0 4 3 0 0 20 0 28 0 4330160 14133010432 71313 33554432000 4194304 4196468 140727171649008 140679910976656 140679983060693 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 27148288 140727171650748 140727171650924 140727171650924 140727171653583 0
[pid=5116/tid=5124] ppid=5115 vsize=13801768 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/5116/task/5124/stat : 5124 (java) S 5115 5115 7621 0 -1 1077944384 95 0 0 0 4 4 0 0 20 0 28 0 4330160 14133010432 71313 33554432000 4194304 4196468 140727171649008 140679576521744 140679983060693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27148288 140727171650748 140727171650924 140727171650924 140727171653583 0
[pid=5116/tid=5125] ppid=5115 vsize=13801768 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/5116/task/5125/stat : 5125 (java) S 5115 5115 7621 0 -1 1077944384 144 0 0 0 3 3 0 0 20 0 28 0 4330160 14133010432 71313 33554432000 4194304 4196468 140727171649008 140679575468944 140679983060693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27148288 140727171650748 140727171650924 140727171650924 140727171653583 0
[pid=5116/tid=5126] ppid=5115 vsize=13801768 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/5116/task/5126/stat : 5126 (java) S 5115 5115 7621 0 -1 1077944384 171 0 0 0 3 3 0 0 20 0 28 0 4330160 14133010432 71313 33554432000 4194304 4196468 140727171649008 140679574416144 140679983060693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27148288 140727171650748 140727171650924 140727171650924 140727171653583 0
[pid=5116/tid=5127] ppid=5115 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5116/task/5127/stat : 5127 (java) S 5115 5115 7621 0 -1 1077944384 107 0 0 0 0 0 0 0 20 0 28 0 4330162 14133010432 71313 33554432000 4194304 4196468 140727171649008 140679512435056 140679983061634 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27148288 140727171650748 140727171650924 140727171650924 140727171653583 0
[pid=5116/tid=5128] ppid=5115 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5116/task/5128/stat : 5128 (java) S 5115 5115 7621 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4330163 14133010432 71313 33554432000 4194304 4196468 140727171649008 140679511381088 140679983060693 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 27148288 140727171650748 140727171650924 140727171650924 140727171653583 0
[pid=5116/tid=5129] ppid=5115 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5116/task/5129/stat : 5129 (java) S 5115 5115 7621 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 4330163 14133010432 71313 33554432000 4194304 4196468 140727171649008 140679510328192 140679983060693 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 27148288 140727171650748 140727171650924 140727171650924 140727171653583 0
[pid=5116/tid=5130] ppid=5115 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5116/task/5130/stat : 5130 (java) S 5115 5115 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4330167 14133010432 71313 33554432000 4194304 4196468 140727171649008 140679509276496 140679983069083 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27148288 140727171650748 140727171650924 140727171650924 140727171653583 0
[pid=5116/tid=5131] ppid=5115 vsize=13801768 CPUtime=1.98 cores=1,3,5,7,9,11,13,15
/proc/5116/task/5131/stat : 5131 (java) R 5115 5115 7621 0 -1 4202560 5598 0 0 0 197 1 0 0 20 0 28 0 4330167 14133010432 71313 33554432000 4194304 4196468 140727171649008 140679508216096 140679962317955 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27148288 140727171650748 140727171650924 140727171650924 140727171653583 0
[pid=5116/tid=5132] ppid=5115 vsize=13801768 CPUtime=1.92 cores=1,3,5,7,9,11,13,15
/proc/5116/task/5132/stat : 5132 (java) R 5115 5115 7621 0 -1 4202560 4144 0 0 0 191 1 0 0 20 0 28 0 4330167 14133010432 71313 33554432000 4194304 4196468 140727171649008 140678708849392 140679983071834 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27148288 140727171650748 140727171650924 140727171650924 140727171653583 0
[pid=5116/tid=5133] ppid=5115 vsize=13801768 CPUtime=1.96 cores=1,3,5,7,9,11,13,15
/proc/5116/task/5133/stat : 5133 (java) R 5115 5115 7621 0 -1 4202560 7198 0 0 0 195 1 0 0 20 0 28 0 4330167 14133010432 71313 33554432000 4194304 4196468 140727171649008 140678707788216 140679969065456 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 27148288 140727171650748 140727171650924 140727171650924 140727171653583 0
[pid=5116/tid=5134] ppid=5115 vsize=13801768 CPUtime=0.95 cores=1,3,5,7,9,11,13,15
/proc/5116/task/5134/stat : 5134 (java) S 5115 5115 7621 0 -1 1077944384 5126 0 0 0 92 3 0 0 20 0 28 0 4330167 14133010432 71313 33554432000 4194304 4196468 140727171649008 140678706743792 140679983061634 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 27148288 140727171650748 140727171650924 140727171650924 140727171653583 0
[pid=5116/tid=5135] ppid=5115 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5116/task/5135/stat : 5135 (java) S 5115 5115 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4330167 14133010432 71313 33554432000 4194304 4196468 140727171649008 140678705691232 140679983060693 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27148288 140727171650748 140727171650924 140727171650924 140727171653583 0
[pid=5116/tid=5136] ppid=5115 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5116/task/5136/stat : 5136 (java) S 5115 5115 7621 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 4330168 14133010432 71313 33554432000 4194304 4196468 140727171649008 140678704638512 140679983061634 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 27148288 140727171650748 140727171650924 140727171650924 140727171653583 0
[pid=5116/tid=5137] ppid=5115 vsize=13801768 CPUtime=1.22 cores=1,3,5,7,9,11,13,15
/proc/5116/task/5137/stat : 5137 (java) R 5115 5115 7621 0 -1 4202560 150 0 0 0 122 0 0 0 20 0 28 0 4330306 14133010432 71313 33554432000 4194304 4196468 140727171649008 140677958490896 140679597593496 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27148288 140727171650748 140727171650924 140727171650924 140727171653583 0
[pid=5116/tid=5138] ppid=5115 vsize=13801768 CPUtime=1.26 cores=1,3,5,7,9,11,13,15
/proc/5116/task/5138/stat : 5138 (java) R 5115 5115 7621 0 -1 4202560 72 0 0 0 126 0 0 0 20 0 28 0 4330306 14133010432 71313 33554432000 4194304 4196468 140727171649008 140677957439624 140679598853474 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 27148288 140727171650748 140727171650924 140727171650924 140727171653583 0
[pid=5116/tid=5139] ppid=5115 vsize=13801768 CPUtime=1.11 cores=1,3,5,7,9,11,13,15
/proc/5116/task/5139/stat : 5139 (java) R 5115 5115 7621 0 -1 4202560 123 0 0 0 111 0 0 0 20 0 28 0 4330306 14133010432 71313 33554432000 4194304 4196468 140727171649008 140677956388304 140679983062422 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 27148288 140727171650748 140727171650924 140727171650924 140727171653583 0
[pid=5116/tid=5140] ppid=5115 vsize=13801768 CPUtime=1.05 cores=1,3,5,7,9,11,13,15
/proc/5116/task/5140/stat : 5140 (java) R 5115 5115 7621 0 -1 4202560 82 0 0 0 105 0 0 0 20 0 28 0 4330306 14133010432 71313 33554432000 4194304 4196468 140727171649008 140677955336008 140679597779354 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 27148288 140727171650748 140727171650924 140727171650924 140727171653583 0
[pid=5116/tid=5141] ppid=5115 vsize=13801768 CPUtime=1.28 cores=1,3,5,7,9,11,13,15
/proc/5116/task/5141/stat : 5141 (java) R 5115 5115 7621 0 -1 4202560 55 0 0 0 128 0 0 0 20 0 28 0 4330306 14133010432 71313 33554432000 4194304 4196468 140727171649008 140677954281800 140679597579141 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27148288 140727171650748 140727171650924 140727171650924 140727171653583 0
[pid=5116/tid=5142] ppid=5115 vsize=13801768 CPUtime=1.04 cores=1,3,5,7,9,11,13,15
/proc/5116/task/5142/stat : 5142 (java) R 5115 5115 7621 0 -1 4202560 71 0 0 0 104 0 0 0 20 0 28 0 4330306 14133010432 71313 33554432000 4194304 4196468 140727171649008 140677953231688 140679597593522 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 27148288 140727171650748 140727171650924 140727171650924 140727171653583 0
[pid=5116/tid=5143] ppid=5115 vsize=13801768 CPUtime=1.16 cores=1,3,5,7,9,11,13,15
/proc/5116/task/5143/stat : 5143 (java) R 5115 5115 7621 0 -1 4202560 272 0 0 0 116 0 0 0 20 0 28 0 4330306 14133010432 71313 33554432000 4194304 4196468 140727171649008 140677952175872 140679598182030 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27148288 140727171650748 140727171650924 140727171650924 140727171653583 0
[pid=5116/tid=5144] ppid=5115 vsize=13801768 CPUtime=1.1 cores=1,3,5,7,9,11,13,15
/proc/5116/task/5144/stat : 5144 (java) R 5115 5115 7621 0 -1 4202560 58 0 0 0 110 0 0 0 20 0 28 0 4330306 14133010432 71313 33554432000 4194304 4196468 140727171649008 140677951122536 140679597990275 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27148288 140727171650748 140727171650924 140727171650924 140727171653583 0
Current children cumulated CPU time (s) 18.17
Current children cumulated vsize (KiB) 13811280
[startup+6.30178 s]
/proc/loadavg: 16.20 15.08 13.72 17/301 5144
/proc/meminfo: memFree=30975464/32770624 swapFree=5800/277800
[pid=5115] ppid=5112 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5115/stat : 5115 (xcsp3-exec) S 5112 5115 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4330158 9740288 346 33554432000 4194304 5098028 140723232454272 140723232452376 139707289563772 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 20992000 140723232461966 140723232462176 140723232462176 140723232464875 0
/proc/5115/statm: 2378 346 289 221 0 87 0
[pid=5116] ppid=5115 vsize=13801768 CPUtime=43.57 cores=1,3,5,7,9,11,13,15
/proc/5116/stat : 5116 (java) S 5115 5115 7621 0 -1 1077944320 35737 0 0 0 4298 59 0 0 20 0 28 0 4330158 14133010432 104492 33554432000 4194304 4196468 140727171649008 140727171631552 140679983050487 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 27148288 140727171650748 140727171650924 140727171650924 140727171653583 0
/proc/5116/statm: 3450442 104492 3284 1 0 3437675 0
[pid=5116/tid=5117] ppid=5115 vsize=13801768 CPUtime=1.42 cores=1,3,5,7,9,11,13,15
/proc/5116/task/5117/stat : 5117 (java) S 5115 5115 7621 0 -1 1077944384 7500 0 0 0 138 4 0 0 20 0 28 0 4330159 14133010432 104492 33554432000 4194304 4196468 140727171649008 140679987291264 140679983060693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27148288 140727171650748 140727171650924 140727171650924 140727171653583 0
[pid=5116/tid=5119] ppid=5115 vsize=13801768 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/5116/task/5119/stat : 5119 (java) S 5115 5115 7621 0 -1 1077944384 300 0 0 0 5 5 0 0 20 0 28 0 4330160 14133010432 104492 33554432000 4194304 4196468 140727171649008 140679915186832 140679983060693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27148288 140727171650748 140727171650924 140727171650924 140727171653583 0
[pid=5116/tid=5120] ppid=5115 vsize=13801768 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/5116/task/5120/stat : 5120 (java) S 5115 5115 7621 0 -1 1077944384 191 0 0 0 5 5 0 0 20 0 28 0 4330160 14133010432 104492 33554432000 4194304 4196468 140727171649008 140679914134032 140679983060693 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27148288 140727171650748 140727171650924 140727171650924 140727171653583 0
[pid=5116/tid=5121] ppid=5115 vsize=13801768 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/5116/task/5121/stat : 5121 (java) S 5115 5115 7621 0 -1 1077944384 173 0 0 0 6 4 0 0 20 0 28 0 4330160 14133010432 104492 33554432000 4194304 4196468 140727171649008 140679913081232 140679983060693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27148288 140727171650748 140727171650924 140727171650924 140727171653583 0
[pid=5116/tid=5122] ppid=5115 vsize=13801768 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/5116/task/5122/stat : 5122 (java) S 5115 5115 7621 0 -1 1077944384 390 0 0 0 6 5 0 0 20 0 28 0 4330160 14133010432 104492 33554432000 4194304 4196468 140727171649008 140679912028432 140679983060693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27148288 140727171650748 140727171650924 140727171650924 140727171653583 0
################
# More data... #
################
[pid=5116/tid=5143] ppid=5115 vsize=13801768 CPUtime=278.75 cores=1,3,5,7,9,11,13,15
/proc/5116/task/5143/stat : 5143 (java) R 5115 5115 7621 0 -1 4202560 6352 0 0 0 27846 29 0 0 20 0 28 0 4330306 14133010432 485450 33554432000 4194304 4196468 140727171649008 140677952176216 140679597330189 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27148288 140727171650748 140727171650924 140727171650924 140727171653583 0
[pid=5116/tid=5144] ppid=5115 vsize=13801768 CPUtime=277.48 cores=1,3,5,7,9,11,13,15
/proc/5116/task/5144/stat : 5144 (java) R 5115 5115 7621 0 -1 4202560 945 0 0 0 27747 1 0 0 20 0 28 0 4330306 14133010432 485450 33554432000 4194304 4196468 140727171649008 140677951123512 140679600100973 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27148288 140727171650748 140727171650924 140727171650924 140727171653583 0
Current children cumulated CPU time (s) 2240.81
Current children cumulated vsize (KiB) 13811280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+302.302 s]
/proc/loadavg: 16.13 15.69 14.35 17/299 5371
/proc/meminfo: memFree=29536948/32770624 swapFree=5800/278168
[pid=5115] ppid=5112 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5115/stat : 5115 (xcsp3-exec) S 5112 5115 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4330158 9740288 346 33554432000 4194304 5098028 140723232454272 140723232452376 139707289563772 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 20992000 140723232461966 140723232462176 140723232462176 140723232464875 0
/proc/5115/statm: 2378 346 289 221 0 87 0
[pid=5116] ppid=5115 vsize=13801768 CPUtime=2400.14 cores=1,3,5,7,9,11,13,15
/proc/5116/stat : 5116 (java) S 5115 5115 7621 0 -1 1077944320 82838 0 0 0 239826 188 0 0 20 0 28 0 4330158 14133010432 485450 33554432000 4194304 4196468 140727171649008 140727171631552 140679983050487 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 27148288 140727171650748 140727171650924 140727171650924 140727171653583 0
/proc/5116/statm: 3450442 485450 3284 1 0 3437675 0
[pid=5116/tid=5117] ppid=5115 vsize=13801768 CPUtime=1.42 cores=1,3,5,7,9,11,13,15
/proc/5116/task/5117/stat : 5117 (java) S 5115 5115 7621 0 -1 1077944384 7500 0 0 0 138 4 0 0 20 0 28 0 4330159 14133010432 485450 33554432000 4194304 4196468 140727171649008 140679987291264 140679983060693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27148288 140727171650748 140727171650924 140727171650924 140727171653583 0
[pid=5116/tid=5119] ppid=5115 vsize=13801768 CPUtime=0.32 cores=1,3,5,7,9,11,13,15
/proc/5116/task/5119/stat : 5119 (java) S 5115 5115 7621 0 -1 1077944384 716 0 0 0 17 15 0 0 20 0 28 0 4330160 14133010432 485450 33554432000 4194304 4196468 140727171649008 140679915186832 140679983060693 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27148288 140727171650748 140727171650924 140727171650924 140727171653583 0
[pid=5116/tid=5120] ppid=5115 vsize=13801768 CPUtime=0.31 cores=1,3,5,7,9,11,13,15
/proc/5116/task/5120/stat : 5120 (java) S 5115 5115 7621 0 -1 1077944384 2202 0 0 0 18 13 0 0 20 0 28 0 4330160 14133010432 485450 33554432000 4194304 4196468 140727171649008 140679914134032 140679983060693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27148288 140727171650748 140727171650924 140727171650924 140727171653583 0
[pid=5116/tid=5121] ppid=5115 vsize=13801768 CPUtime=0.3 cores=1,3,5,7,9,11,13,15
/proc/5116/task/5121/stat : 5121 (java) S 5115 5115 7621 0 -1 1077944384 1168 0 0 0 17 13 0 0 20 0 28 0 4330160 14133010432 485450 33554432000 4194304 4196468 140727171649008 140679913081232 140679983060693 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 27148288 140727171650748 140727171650924 140727171650924 140727171653583 0
[pid=5116/tid=5122] ppid=5115 vsize=13801768 CPUtime=0.31 cores=1,3,5,7,9,11,13,15
/proc/5116/task/5122/stat : 5122 (java) S 5115 5115 7621 0 -1 1077944384 963 0 0 0 18 13 0 0 20 0 28 0 4330160 14133010432 485450 33554432000 4194304 4196468 140727171649008 140679912028432 140679983060693 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27148288 140727171650748 140727171650924 140727171650924 140727171653583 0
[pid=5116/tid=5123] ppid=5115 vsize=13801768 CPUtime=0.32 cores=1,3,5,7,9,11,13,15
/proc/5116/task/5123/stat : 5123 (java) S 5115 5115 7621 0 -1 1077944384 1332 0 0 0 19 13 0 0 20 0 28 0 4330160 14133010432 485450 33554432000 4194304 4196468 140727171649008 140679910976656 140679983060693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27148288 140727171650748 140727171650924 140727171650924 140727171653583 0
[pid=5116/tid=5124] ppid=5115 vsize=13801768 CPUtime=0.33 cores=1,3,5,7,9,11,13,15
/proc/5116/task/5124/stat : 5124 (java) S 5115 5115 7621 0 -1 1077944384 937 0 0 0 19 14 0 0 20 0 28 0 4330160 14133010432 485450 33554432000 4194304 4196468 140727171649008 140679576521744 140679983060693 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27148288 140727171650748 140727171650924 140727171650924 140727171653583 0
[pid=5116/tid=5125] ppid=5115 vsize=13801768 CPUtime=0.31 cores=1,3,5,7,9,11,13,15
/proc/5116/task/5125/stat : 5125 (java) S 5115 5115 7621 0 -1 1077944384 1589 0 0 0 18 13 0 0 20 0 28 0 4330160 14133010432 485450 33554432000 4194304 4196468 140727171649008 140679575468944 140679983060693 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 27148288 140727171650748 140727171650924 140727171650924 140727171653583 0
[pid=5116/tid=5126] ppid=5115 vsize=13801768 CPUtime=0.31 cores=1,3,5,7,9,11,13,15
/proc/5116/task/5126/stat : 5126 (java) S 5115 5115 7621 0 -1 1077944384 622 0 0 0 17 14 0 0 20 0 28 0 4330160 14133010432 485450 33554432000 4194304 4196468 140727171649008 140679574416144 140679983060693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27148288 140727171650748 140727171650924 140727171650924 140727171653583 0
[pid=5116/tid=5127] ppid=5115 vsize=13801768 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/5116/task/5127/stat : 5127 (java) S 5115 5115 7621 0 -1 1077944384 2936 0 0 0 7 6 0 0 20 0 28 0 4330162 14133010432 485450 33554432000 4194304 4196468 140727171649008 140679512435056 140679983061634 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27148288 140727171650748 140727171650924 140727171650924 140727171653583 0
[pid=5116/tid=5128] ppid=5115 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5116/task/5128/stat : 5128 (java) S 5115 5115 7621 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4330163 14133010432 485450 33554432000 4194304 4196468 140727171649008 140679511381088 140679983060693 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 27148288 140727171650748 140727171650924 140727171650924 140727171653583 0
[pid=5116/tid=5129] ppid=5115 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5116/task/5129/stat : 5129 (java) S 5115 5115 7621 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 4330163 14133010432 485450 33554432000 4194304 4196468 140727171649008 140679510328192 140679983060693 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 27148288 140727171650748 140727171650924 140727171650924 140727171653583 0
[pid=5116/tid=5130] ppid=5115 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5116/task/5130/stat : 5130 (java) S 5115 5115 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4330167 14133010432 485450 33554432000 4194304 4196468 140727171649008 140679509276496 140679983069083 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27148288 140727171650748 140727171650924 140727171650924 140727171653583 0
[pid=5116/tid=5131] ppid=5115 vsize=13801768 CPUtime=3.71 cores=1,3,5,7,9,11,13,15
/proc/5116/task/5131/stat : 5131 (java) S 5115 5115 7621 0 -1 1077944384 11479 0 0 0 369 2 0 0 20 0 28 0 4330167 14133010432 485450 33554432000 4194304 4196468 140727171649008 140679508224880 140679983061634 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27148288 140727171650748 140727171650924 140727171650924 140727171653583 0
[pid=5116/tid=5132] ppid=5115 vsize=13801768 CPUtime=3.26 cores=1,3,5,7,9,11,13,15
/proc/5116/task/5132/stat : 5132 (java) S 5115 5115 7621 0 -1 1077944384 11289 0 0 0 324 2 0 0 20 0 28 0 4330167 14133010432 485450 33554432000 4194304 4196468 140727171649008 140678708849392 140679983061634 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27148288 140727171650748 140727171650924 140727171650924 140727171653583 0
[pid=5116/tid=5133] ppid=5115 vsize=13801768 CPUtime=3.39 cores=1,3,5,7,9,11,13,15
/proc/5116/task/5133/stat : 5133 (java) S 5115 5115 7621 0 -1 1077944384 11542 0 0 0 337 2 0 0 20 0 28 0 4330167 14133010432 485450 33554432000 4194304 4196468 140727171649008 140678707796592 140679983061634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27148288 140727171650748 140727171650924 140727171650924 140727171653583 0
[pid=5116/tid=5134] ppid=5115 vsize=13801768 CPUtime=1.09 cores=1,3,5,7,9,11,13,15
/proc/5116/task/5134/stat : 5134 (java) S 5115 5115 7621 0 -1 1077944384 10552 0 0 0 105 4 0 0 20 0 28 0 4330167 14133010432 485450 33554432000 4194304 4196468 140727171649008 140678706743792 140679983061634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27148288 140727171650748 140727171650924 140727171650924 140727171653583 0
[pid=5116/tid=5135] ppid=5115 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5116/task/5135/stat : 5135 (java) S 5115 5115 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4330167 14133010432 485450 33554432000 4194304 4196468 140727171649008 140678705691232 140679983060693 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27148288 140727171650748 140727171650924 140727171650924 140727171653583 0
[pid=5116/tid=5136] ppid=5115 vsize=13801768 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/5116/task/5136/stat : 5136 (java) S 5115 5115 7621 0 -1 1077944384 669 0 0 0 9 10 0 0 20 0 28 0 4330168 14133010432 485450 33554432000 4194304 4196468 140727171649008 140678704638512 140679983061634 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 27148288 140727171650748 140727171650924 140727171650924 140727171653583 0
[pid=5116/tid=5137] ppid=5115 vsize=13801768 CPUtime=298.84 cores=1,3,5,7,9,11,13,15
/proc/5116/task/5137/stat : 5137 (java) R 5115 5115 7621 0 -1 4202560 1372 0 0 0 29882 2 0 0 20 0 28 0 4330306 14133010432 485450 33554432000 4194304 4196468 140727171649008 140677958490776 140679597492531 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27148288 140727171650748 140727171650924 140727171650924 140727171653583 0
[pid=5116/tid=5138] ppid=5115 vsize=13801768 CPUtime=297.82 cores=1,3,5,7,9,11,13,15
/proc/5116/task/5138/stat : 5138 (java) R 5115 5115 7621 0 -1 4202560 1385 0 0 0 29782 0 0 0 20 0 28 0 4330306 14133010432 485450 33554432000 4194304 4196468 140727171649008 140677957439320 140679597593468 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 27148288 140727171650748 140727171650924 140727171650924 140727171653583 0
[pid=5116/tid=5139] ppid=5115 vsize=13801768 CPUtime=298.74 cores=1,3,5,7,9,11,13,15
/proc/5116/task/5139/stat : 5139 (java) R 5115 5115 7621 0 -1 4202560 2494 0 0 0 29868 6 0 0 20 0 28 0 4330306 14133010432 485450 33554432000 4194304 4196468 140727171649008 140677956387104 140679599708674 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 27148288 140727171650748 140727171650924 140727171650924 140727171653583 0
[pid=5116/tid=5140] ppid=5115 vsize=13801768 CPUtime=298.44 cores=1,3,5,7,9,11,13,15
/proc/5116/task/5140/stat : 5140 (java) R 5115 5115 7621 0 -1 4202560 938 0 0 0 29843 1 0 0 20 0 28 0 4330306 14133010432 485450 33554432000 4194304 4196468 140727171649008 140677955334696 140679597698151 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 27148288 140727171650748 140727171650924 140727171650924 140727171653583 0
[pid=5116/tid=5141] ppid=5115 vsize=13801768 CPUtime=299.15 cores=1,3,5,7,9,11,13,15
/proc/5116/task/5141/stat : 5141 (java) R 5115 5115 7621 0 -1 4202560 1570 0 0 0 29913 2 0 0 20 0 28 0 4330306 14133010432 485450 33554432000 4194304 4196468 140727171649008 140677954284576 140679598317201 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 27148288 140727171650748 140727171650924 140727171650924 140727171653583 0
[pid=5116/tid=5142] ppid=5115 vsize=13801768 CPUtime=295.05 cores=1,3,5,7,9,11,13,15
/proc/5116/task/5142/stat : 5142 (java) R 5115 5115 7621 0 -1 4202560 520 0 0 0 29504 1 0 0 20 0 28 0 4330306 14133010432 485450 33554432000 4194304 4196468 140727171649008 140677953229080 140679600101348 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27148288 140727171650748 140727171650924 140727171650924 140727171653583 0
[pid=5116/tid=5143] ppid=5115 vsize=13801768 CPUtime=298.74 cores=1,3,5,7,9,11,13,15
/proc/5116/task/5143/stat : 5143 (java) R 5115 5115 7621 0 -1 4202560 6775 0 0 0 29845 29 0 0 20 0 28 0 4330306 14133010432 485450 33554432000 4194304 4196468 140727171649008 140677952176216 140679599708653 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27148288 140727171650748 140727171650924 140727171650924 140727171653583 0
[pid=5116/tid=5144] ppid=5115 vsize=13801768 CPUtime=297.42 cores=1,3,5,7,9,11,13,15
/proc/5116/task/5144/stat : 5144 (java) R 5115 5115 7621 0 -1 4202560 993 0 0 0 29741 1 0 0 20 0 28 0 4330306 14133010432 485450 33554432000 4194304 4196468 140727171649008 140677951123512 140679597205850 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27148288 140727171650748 140727171650924 140727171650924 140727171653583 0
Current children cumulated CPU time (s) 2400.14
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 5116 sig 9
??? kill 5115 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+302.302 s]
/proc/loadavg: 16.13 15.69 14.35 17/299 5371
/proc/meminfo: memFree=29536948/32770624 swapFree=5800/278168
[pid=5115] ppid=5112 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5115/stat : 5115 (xcsp3-exec) S 5112 5115 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4330158 9740288 346 33554432000 4194304 5098028 140723232454272 140723232452376 139707289563772 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 20992000 140723232461966 140723232462176 140723232462176 140723232464875 0
/proc/5115/statm: 2378 346 289 221 0 87 0
[pid=5116] ppid=5115 vsize=13801768 CPUtime=2400.14 cores=1,3,5,7,9,11,13,15
/proc/5116/stat : 5116 (java) S 5115 5115 7621 0 -1 1077944320 82838 0 0 0 239826 188 0 0 20 0 28 0 4330158 14133010432 485450 33554432000 4194304 4196468 140727171649008 140727171631552 140679983050487 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 27148288 140727171650748 140727171650924 140727171650924 140727171653583 0
/proc/5116/statm: 3450442 485450 3284 1 0 3437675 0
[pid=5116/tid=5117] ppid=5115 vsize=13801768 CPUtime=1.42 cores=1,3,5,7,9,11,13,15
/proc/5116/task/5117/stat : 5117 (java) S 5115 5115 7621 0 -1 1077944384 7500 0 0 0 138 4 0 0 20 0 28 0 4330159 14133010432 485450 33554432000 4194304 4196468 140727171649008 140679987291264 140679983060693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27148288 140727171650748 140727171650924 140727171650924 140727171653583 0
[pid=5116/tid=5119] ppid=5115 vsize=13801768 CPUtime=0.32 cores=1,3,5,7,9,11,13,15
/proc/5116/task/5119/stat : 5119 (java) S 5115 5115 7621 0 -1 1077944384 716 0 0 0 17 15 0 0 20 0 28 0 4330160 14133010432 485450 33554432000 4194304 4196468 140727171649008 140679915186832 140679983060693 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27148288 140727171650748 140727171650924 140727171650924 140727171653583 0
[pid=5116/tid=5120] ppid=5115 vsize=13801768 CPUtime=0.31 cores=1,3,5,7,9,11,13,15
/proc/5116/task/5120/stat : 5120 (java) S 5115 5115 7621 0 -1 1077944384 2202 0 0 0 18 13 0 0 20 0 28 0 4330160 14133010432 485450 33554432000 4194304 4196468 140727171649008 140679914134032 140679983060693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27148288 140727171650748 140727171650924 140727171650924 140727171653583 0
[pid=5116/tid=5121] ppid=5115 vsize=13801768 CPUtime=0.3 cores=1,3,5,7,9,11,13,15
/proc/5116/task/5121/stat : 5121 (java) S 5115 5115 7621 0 -1 1077944384 1168 0 0 0 17 13 0 0 20 0 28 0 4330160 14133010432 485450 33554432000 4194304 4196468 140727171649008 140679913081232 140679983060693 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 27148288 140727171650748 140727171650924 140727171650924 140727171653583 0
[pid=5116/tid=5122] ppid=5115 vsize=13801768 CPUtime=0.31 cores=1,3,5,7,9,11,13,15
/proc/5116/task/5122/stat : 5122 (java) S 5115 5115 7621 0 -1 1077944384 963 0 0 0 18 13 0 0 20 0 28 0 4330160 14133010432 485450 33554432000 4194304 4196468 140727171649008 140679912028432 140679983060693 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27148288 140727171650748 140727171650924 140727171650924 140727171653583 0
[pid=5116/tid=5123] ppid=5115 vsize=13801768 CPUtime=0.32 cores=1,3,5,7,9,11,13,15
/proc/5116/task/5123/stat : 5123 (java) S 5115 5115 7621 0 -1 1077944384 1332 0 0 0 19 13 0 0 20 0 28 0 4330160 14133010432 485450 33554432000 4194304 4196468 140727171649008 140679910976656 140679983060693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27148288 140727171650748 140727171650924 140727171650924 140727171653583 0
[pid=5116/tid=5124] ppid=5115 vsize=13801768 CPUtime=0.33 cores=1,3,5,7,9,11,13,15
/proc/5116/task/5124/stat : 5124 (java) S 5115 5115 7621 0 -1 1077944384 937 0 0 0 19 14 0 0 20 0 28 0 4330160 14133010432 485450 33554432000 4194304 4196468 140727171649008 140679576521744 140679983060693 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27148288 140727171650748 140727171650924 140727171650924 140727171653583 0
[pid=5116/tid=5125] ppid=5115 vsize=13801768 CPUtime=0.31 cores=1,3,5,7,9,11,13,15
/proc/5116/task/5125/stat : 5125 (java) S 5115 5115 7621 0 -1 1077944384 1589 0 0 0 18 13 0 0 20 0 28 0 4330160 14133010432 485450 33554432000 4194304 4196468 140727171649008 140679575468944 140679983060693 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 27148288 140727171650748 140727171650924 140727171650924 140727171653583 0
[pid=5116/tid=5126] ppid=5115 vsize=13801768 CPUtime=0.31 cores=1,3,5,7,9,11,13,15
/proc/5116/task/5126/stat : 5126 (java) S 5115 5115 7621 0 -1 1077944384 622 0 0 0 17 14 0 0 20 0 28 0 4330160 14133010432 485450 33554432000 4194304 4196468 140727171649008 140679574416144 140679983060693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27148288 140727171650748 140727171650924 140727171650924 140727171653583 0
[pid=5116/tid=5127] ppid=5115 vsize=13801768 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/5116/task/5127/stat : 5127 (java) S 5115 5115 7621 0 -1 1077944384 2936 0 0 0 7 6 0 0 20 0 28 0 4330162 14133010432 485450 33554432000 4194304 4196468 140727171649008 140679512435056 140679983061634 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27148288 140727171650748 140727171650924 140727171650924 140727171653583 0
[pid=5116/tid=5128] ppid=5115 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5116/task/5128/stat : 5128 (java) S 5115 5115 7621 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4330163 14133010432 485450 33554432000 4194304 4196468 140727171649008 140679511381088 140679983060693 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 27148288 140727171650748 140727171650924 140727171650924 140727171653583 0
[pid=5116/tid=5129] ppid=5115 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5116/task/5129/stat : 5129 (java) S 5115 5115 7621 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 4330163 14133010432 485450 33554432000 4194304 4196468 140727171649008 140679510328192 140679983060693 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 27148288 140727171650748 140727171650924 140727171650924 140727171653583 0
[pid=5116/tid=5130] ppid=5115 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5116/task/5130/stat : 5130 (java) S 5115 5115 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4330167 14133010432 485450 33554432000 4194304 4196468 140727171649008 140679509276496 140679983069083 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27148288 140727171650748 140727171650924 140727171650924 140727171653583 0
[pid=5116/tid=5131] ppid=5115 vsize=13801768 CPUtime=3.71 cores=1,3,5,7,9,11,13,15
/proc/5116/task/5131/stat : 5131 (java) S 5115 5115 7621 0 -1 1077944384 11479 0 0 0 369 2 0 0 20 0 28 0 4330167 14133010432 485450 33554432000 4194304 4196468 140727171649008 140679508224880 140679983061634 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27148288 140727171650748 140727171650924 140727171650924 140727171653583 0
[pid=5116/tid=5132] ppid=5115 vsize=13801768 CPUtime=3.26 cores=1,3,5,7,9,11,13,15
/proc/5116/task/5132/stat : 5132 (java) S 5115 5115 7621 0 -1 1077944384 11289 0 0 0 324 2 0 0 20 0 28 0 4330167 14133010432 485450 33554432000 4194304 4196468 140727171649008 140678708849392 140679983061634 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27148288 140727171650748 140727171650924 140727171650924 140727171653583 0
[pid=5116/tid=5133] ppid=5115 vsize=13801768 CPUtime=3.39 cores=1,3,5,7,9,11,13,15
/proc/5116/task/5133/stat : 5133 (java) S 5115 5115 7621 0 -1 1077944384 11542 0 0 0 337 2 0 0 20 0 28 0 4330167 14133010432 485450 33554432000 4194304 4196468 140727171649008 140678707796592 140679983061634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27148288 140727171650748 140727171650924 140727171650924 140727171653583 0
[pid=5116/tid=5134] ppid=5115 vsize=13801768 CPUtime=1.09 cores=1,3,5,7,9,11,13,15
/proc/5116/task/5134/stat : 5134 (java) S 5115 5115 7621 0 -1 1077944384 10552 0 0 0 105 4 0 0 20 0 28 0 4330167 14133010432 485450 33554432000 4194304 4196468 140727171649008 140678706743792 140679983061634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27148288 140727171650748 140727171650924 140727171650924 140727171653583 0
[pid=5116/tid=5135] ppid=5115 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5116/task/5135/stat : 5135 (java) S 5115 5115 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4330167 14133010432 485450 33554432000 4194304 4196468 140727171649008 140678705691232 140679983060693 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27148288 140727171650748 140727171650924 140727171650924 140727171653583 0
[pid=5116/tid=5136] ppid=5115 vsize=13801768 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/5116/task/5136/stat : 5136 (java) S 5115 5115 7621 0 -1 1077944384 669 0 0 0 9 10 0 0 20 0 28 0 4330168 14133010432 485450 33554432000 4194304 4196468 140727171649008 140678704638512 140679983061634 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 27148288 140727171650748 140727171650924 140727171650924 140727171653583 0
[pid=5116/tid=5137] ppid=5115 vsize=13801768 CPUtime=298.84 cores=1,3,5,7,9,11,13,15
/proc/5116/task/5137/stat : 5137 (java) R 5115 5115 7621 0 -1 4202560 1372 0 0 0 29882 2 0 0 20 0 28 0 4330306 14133010432 485450 33554432000 4194304 4196468 140727171649008 140677958490776 140679597492531 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27148288 140727171650748 140727171650924 140727171650924 140727171653583 0
[pid=5116/tid=5138] ppid=5115 vsize=13801768 CPUtime=297.82 cores=1,3,5,7,9,11,13,15
/proc/5116/task/5138/stat : 5138 (java) R 5115 5115 7621 0 -1 4202560 1385 0 0 0 29782 0 0 0 20 0 28 0 4330306 14133010432 485450 33554432000 4194304 4196468 140727171649008 140677957439320 140679597593468 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 27148288 140727171650748 140727171650924 140727171650924 140727171653583 0
[pid=5116/tid=5139] ppid=5115 vsize=13801768 CPUtime=298.74 cores=1,3,5,7,9,11,13,15
/proc/5116/task/5139/stat : 5139 (java) R 5115 5115 7621 0 -1 4202560 2494 0 0 0 29868 6 0 0 20 0 28 0 4330306 14133010432 485450 33554432000 4194304 4196468 140727171649008 140677956387104 140679599708674 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 27148288 140727171650748 140727171650924 140727171650924 140727171653583 0
[pid=5116/tid=5140] ppid=5115 vsize=13801768 CPUtime=298.44 cores=1,3,5,7,9,11,13,15
/proc/5116/task/5140/stat : 5140 (java) R 5115 5115 7621 0 -1 4202560 938 0 0 0 29843 1 0 0 20 0 28 0 4330306 14133010432 485450 33554432000 4194304 4196468 140727171649008 140677955334696 140679597698151 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 27148288 140727171650748 140727171650924 140727171650924 140727171653583 0
[pid=5116/tid=5141] ppid=5115 vsize=13801768 CPUtime=299.15 cores=1,3,5,7,9,11,13,15
/proc/5116/task/5141/stat : 5141 (java) R 5115 5115 7621 0 -1 4202560 1570 0 0 0 29913 2 0 0 20 0 28 0 4330306 14133010432 485450 33554432000 4194304 4196468 140727171649008 140677954284576 140679598317201 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 27148288 140727171650748 140727171650924 140727171650924 140727171653583 0
[pid=5116/tid=5142] ppid=5115 vsize=13801768 CPUtime=295.05 cores=1,3,5,7,9,11,13,15
/proc/5116/task/5142/stat : 5142 (java) R 5115 5115 7621 0 -1 4202560 520 0 0 0 29504 1 0 0 20 0 28 0 4330306 14133010432 485450 33554432000 4194304 4196468 140727171649008 140677953229080 140679600101348 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27148288 140727171650748 140727171650924 140727171650924 140727171653583 0
[pid=5116/tid=5143] ppid=5115 vsize=13801768 CPUtime=298.74 cores=1,3,5,7,9,11,13,15
/proc/5116/task/5143/stat : 5143 (java) R 5115 5115 7621 0 -1 4202560 6775 0 0 0 29845 29 0 0 20 0 28 0 4330306 14133010432 485450 33554432000 4194304 4196468 140727171649008 140677952176216 140679599708653 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27148288 140727171650748 140727171650924 140727171650924 140727171653583 0
[pid=5116/tid=5144] ppid=5115 vsize=13801768 CPUtime=297.42 cores=1,3,5,7,9,11,13,15
/proc/5116/task/5144/stat : 5144 (java) R 5115 5115 7621 0 -1 4202560 993 0 0 0 29741 1 0 0 20 0 28 0 4330306 14133010432 485450 33554432000 4194304 4196468 140727171649008 140677951123512 140679597205850 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27148288 140727171650748 140727171650924 140727171650924 140727171653583 0
Current children cumulated CPU time (s) 2400.14
Current children cumulated vsize (KiB) 13811280
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 5115 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=2834
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1002
# CPU time returned by wait4() is 0.003836
# while last known CPU time is 2400.14
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 302.312
CPU time (s): 2400.14
CPU user time (s): 2398.26
CPU system time (s): 1.88
CPU usage (%): 793.927
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.002834
system time used= 0.001002
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.8475 second user time and 4.45871 second system time
The end