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-4249763-1500695951/watcher-4249763-1500695951 -o /tmp/evaluation-result-4249763-1500695951/solver-4249763-1500695951 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node130-1500684118-8560 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1275322597 HOME/instance-4249763-1500695951.xml
pid=17261
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: 11.24 13.97 14.17 3/262 17264
/proc/meminfo: memFree=26232092/32770624 swapFree=5656/334792
[pid=17264] ppid=17261 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17264/stat : 17264 (xcsp3-exec) S 17261 17264 7102 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4862583 9740288 346 33554432000 4194304 5098028 140736377762896 140736377761000 140311958467196 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 19972096 140736377767054 140736377767264 140736377767264 140736377769963 0
/proc/17264/statm: 2378 346 289 221 0 87 0
[startup+0.100138 s]
/proc/loadavg: 11.24 13.97 14.17 3/262 17264
/proc/meminfo: memFree=26232092/32770624 swapFree=5656/334792
[pid=17264] ppid=17261 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17264/stat : 17264 (xcsp3-exec) S 17261 17264 7102 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4862583 9740288 346 33554432000 4194304 5098028 140736377762896 140736377761000 140311958467196 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 19972096 140736377767054 140736377767264 140736377767264 140736377769963 0
/proc/17264/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200266 s]
/proc/loadavg: 11.24 13.97 14.17 3/262 17264
/proc/meminfo: memFree=26232092/32770624 swapFree=5656/334792
[pid=17264] ppid=17261 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17264/stat : 17264 (xcsp3-exec) S 17261 17264 7102 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4862583 9740288 346 33554432000 4194304 5098028 140736377762896 140736377761000 140311958467196 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 19972096 140736377767054 140736377767264 140736377767264 140736377769963 0
/proc/17264/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300199 s]
/proc/loadavg: 11.24 13.97 14.17 3/262 17264
/proc/meminfo: memFree=26232092/32770624 swapFree=5656/334792
[pid=17264] ppid=17261 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17264/stat : 17264 (xcsp3-exec) S 17261 17264 7102 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4862583 9740288 346 33554432000 4194304 5098028 140736377762896 140736377761000 140311958467196 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 19972096 140736377767054 140736377767264 140736377767264 140736377769963 0
/proc/17264/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700249 s]
/proc/loadavg: 11.24 13.97 14.17 3/262 17264
/proc/meminfo: memFree=26232092/32770624 swapFree=5656/334792
[pid=17264] ppid=17261 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17264/stat : 17264 (xcsp3-exec) S 17261 17264 7102 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4862583 9740288 346 33554432000 4194304 5098028 140736377762896 140736377761000 140311958467196 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 19972096 140736377767054 140736377767264 140736377767264 140736377769963 0
/proc/17264/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50203 s]
/proc/loadavg: 11.24 13.97 14.17 12/283 17285
/proc/meminfo: memFree=25817864/32770624 swapFree=5656/334792
[pid=17264] ppid=17261 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17264/stat : 17264 (xcsp3-exec) S 17261 17264 7102 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4862583 9740288 346 33554432000 4194304 5098028 140736377762896 140736377761000 140311958467196 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 19972096 140736377767054 140736377767264 140736377767264 140736377769963 0
/proc/17264/statm: 2378 346 289 221 0 87 0
[pid=17265] ppid=17264 vsize=13269256 CPUtime=6.58 cores=1,3,5,7,9,11,13,15
/proc/17265/stat : 17265 (java) S 17264 17264 7102 0 -1 1077944320 16368 0 0 0 433 225 0 0 20 0 20 0 4862583 13587718144 172088 33554432000 4194304 4196468 140727497471392 140727497453936 140099233279735 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 24666112 140727497475260 140727497475436 140727497475436 140727497478095 0
/proc/17265/statm: 3317314 172088 3248 1 0 3304547 0
[pid=17265/tid=17266] ppid=17264 vsize=13269256 CPUtime=1.04 cores=1,3,5,7,9,11,13,15
/proc/17265/task/17266/stat : 17266 (java) S 17264 17264 7102 0 -1 1077944384 6928 0 0 0 97 7 0 0 20 0 20 0 4862584 13587718144 172088 33554432000 4194304 4196468 140727497471392 140099237516336 140099233289941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24666112 140727497475260 140727497475436 140727497475436 140727497478095 0
[pid=17265/tid=17268] ppid=17264 vsize=13269256 CPUtime=0.41 cores=1,3,5,7,9,11,13,15
/proc/17265/task/17268/stat : 17268 (java) R 17264 17264 7102 0 -1 4202560 197 0 0 0 13 28 0 0 20 0 20 0 4862585 13587718144 172088 33554432000 4194304 4196468 140727497471392 140099151760600 140099218307618 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 24666112 140727497475260 140727497475436 140727497475436 140727497478095 0
[pid=17265/tid=17269] ppid=17264 vsize=13269256 CPUtime=0.41 cores=1,3,5,7,9,11,13,15
/proc/17265/task/17269/stat : 17269 (java) R 17264 17264 7102 0 -1 4202560 218 0 0 0 15 26 0 0 20 0 20 0 4862585 13587718144 172088 33554432000 4194304 4196468 140727497471392 140099150708056 140099218301856 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24666112 140727497475260 140727497475436 140727497475436 140727497478095 0
[pid=17265/tid=17270] ppid=17264 vsize=13269256 CPUtime=0.37 cores=1,3,5,7,9,11,13,15
/proc/17265/task/17270/stat : 17270 (java) R 17264 17264 7102 0 -1 4202560 177 0 0 0 12 25 0 0 20 0 20 0 4862585 13587718144 172088 33554432000 4194304 4196468 140727497471392 140098830068696 140099226384383 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 24666112 140727497475260 140727497475436 140727497475436 140727497478095 0
[pid=17265/tid=17271] ppid=17264 vsize=13269256 CPUtime=0.38 cores=1,3,5,7,9,11,13,15
/proc/17265/task/17271/stat : 17271 (java) R 17264 17264 7102 0 -1 4202560 186 0 0 0 12 26 0 0 20 0 20 0 4862585 13587718144 172088 33554432000 4194304 4196468 140727497471392 140098829016152 140099218307609 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 24666112 140727497475260 140727497475436 140727497475436 140727497478095 0
[pid=17265/tid=17272] ppid=17264 vsize=13269256 CPUtime=0.38 cores=1,3,5,7,9,11,13,15
/proc/17265/task/17272/stat : 17272 (java) R 17264 17264 7102 0 -1 4202560 182 0 0 0 12 26 0 0 20 0 20 0 4862585 13587718144 172088 33554432000 4194304 4196468 140727497471392 140098827963096 140099226384383 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24666112 140727497475260 140727497475436 140727497475436 140727497478095 0
[pid=17265/tid=17273] ppid=17264 vsize=13269256 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/17265/task/17273/stat : 17273 (java) R 17264 17264 7102 0 -1 4202560 183 0 0 0 11 25 0 0 20 0 20 0 4862585 13587718144 172088 33554432000 4194304 4196468 140727497471392 140098826910240 140099226383347 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24666112 140727497475260 140727497475436 140727497475436 140727497478095 0
[pid=17265/tid=17274] ppid=17264 vsize=13269256 CPUtime=0.39 cores=1,3,5,7,9,11,13,15
/proc/17265/task/17274/stat : 17274 (java) R 17264 17264 7102 0 -1 4202560 243 0 0 0 12 27 0 0 20 0 20 0 4862585 13587718144 172088 33554432000 4194304 4196468 140727497471392 140098825857496 140099226384383 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 24666112 140727497475260 140727497475436 140727497475436 140727497478095 0
[pid=17265/tid=17275] ppid=17264 vsize=13269256 CPUtime=0.4 cores=1,3,5,7,9,11,13,15
/proc/17265/task/17275/stat : 17275 (java) R 17264 17264 7102 0 -1 4202560 200 0 0 0 14 26 0 0 20 0 20 0 4862585 13587718144 172088 33554432000 4194304 4196468 140727497471392 140098824804952 140099226383347 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24666112 140727497475260 140727497475436 140727497475436 140727497478095 0
[pid=17265/tid=17276] ppid=17264 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17265/task/17276/stat : 17276 (java) S 17264 17264 7102 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 20 0 4862587 13587718144 172088 33554432000 4194304 4196468 140727497471392 140098695583008 140099233289941 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24666112 140727497475260 140727497475436 140727497475436 140727497478095 0
[pid=17265/tid=17277] ppid=17264 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17265/task/17277/stat : 17277 (java) S 17264 17264 7102 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 20 0 4862588 13587718144 172088 33554432000 4194304 4196468 140727497471392 140098694530784 140099233289941 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24666112 140727497475260 140727497475436 140727497475436 140727497478095 0
[pid=17265/tid=17278] ppid=17264 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17265/task/17278/stat : 17278 (java) S 17264 17264 7102 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 4862588 13587718144 172088 33554432000 4194304 4196468 140727497471392 140098693477632 140099233289941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24666112 140727497475260 140727497475436 140727497475436 140727497478095 0
[pid=17265/tid=17279] ppid=17264 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17265/task/17279/stat : 17279 (java) S 17264 17264 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4862592 13587718144 172088 33554432000 4194304 4196468 140727497471392 140098692426192 140099233298331 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24666112 140727497475260 140727497475436 140727497475436 140727497478095 0
[pid=17265/tid=17280] ppid=17264 vsize=13269256 CPUtime=0.61 cores=1,3,5,7,9,11,13,15
/proc/17265/task/17280/stat : 17280 (java) S 17264 17264 7102 0 -1 1077944384 1658 0 0 0 60 1 0 0 20 0 20 0 4862592 13587718144 172088 33554432000 4194304 4196468 140727497471392 140098691373296 140099233290882 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24666112 140727497475260 140727497475436 140727497475436 140727497478095 0
[pid=17265/tid=17281] ppid=17264 vsize=13269256 CPUtime=0.52 cores=1,3,5,7,9,11,13,15
/proc/17265/task/17281/stat : 17281 (java) S 17264 17264 7102 0 -1 1077944384 1306 0 0 0 52 0 0 0 20 0 20 0 4862592 13587718144 172088 33554432000 4194304 4196468 140727497471392 140098690320752 140099233290882 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24666112 140727497475260 140727497475436 140727497475436 140727497478095 0
[pid=17265/tid=17282] ppid=17264 vsize=13269256 CPUtime=0.64 cores=1,3,5,7,9,11,13,15
/proc/17265/task/17282/stat : 17282 (java) S 17264 17264 7102 0 -1 1077944384 1313 0 0 0 64 0 0 0 20 0 20 0 4862592 13587718144 172088 33554432000 4194304 4196468 140727497471392 140098689267696 140099233290882 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24666112 140727497475260 140727497475436 140727497475436 140727497478095 0
[pid=17265/tid=17283] ppid=17264 vsize=13269256 CPUtime=0.53 cores=1,3,5,7,9,11,13,15
/proc/17265/task/17283/stat : 17283 (java) S 17264 17264 7102 0 -1 1077944384 2194 0 0 0 53 0 0 0 20 0 20 0 4862592 13587718144 172088 33554432000 4194304 4196468 140727497471392 140098688215152 140099233290882 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24666112 140727497475260 140727497475436 140727497475436 140727497478095 0
[pid=17265/tid=17284] ppid=17264 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17265/task/17284/stat : 17284 (java) S 17264 17264 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4862592 13587718144 172088 33554432000 4194304 4196468 140727497471392 140098687163360 140099233289941 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24666112 140727497475260 140727497475436 140727497475436 140727497478095 0
[pid=17265/tid=17285] ppid=17264 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17265/task/17285/stat : 17285 (java) S 17264 17264 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4862592 13587718144 172088 33554432000 4194304 4196468 140727497471392 140098686110896 140099233290882 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24666112 140727497475260 140727497475436 140727497475436 140727497478095 0
Current children cumulated CPU time (s) 6.58
Current children cumulated vsize (KiB) 13278768
[startup+3.10131 s]
/proc/loadavg: 11.24 13.97 14.17 15/283 17285
/proc/meminfo: memFree=24193120/32770624 swapFree=5656/334852
[pid=17264] ppid=17261 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17264/stat : 17264 (xcsp3-exec) S 17261 17264 7102 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4862583 9740288 346 33554432000 4194304 5098028 140736377762896 140736377761000 140311958467196 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 19972096 140736377767054 140736377767264 140736377767264 140736377769963 0
/proc/17264/statm: 2378 346 289 221 0 87 0
[pid=17265] ppid=17264 vsize=13801768 CPUtime=18.31 cores=1,3,5,7,9,11,13,15
/proc/17265/stat : 17265 (java) S 17264 17264 7102 0 -1 1077944320 47279 0 0 0 1439 392 0 0 20 0 21 0 4862583 14133010432 275233 33554432000 4194304 4196468 140727497471392 140727497453936 140099233279735 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 24666112 140727497475260 140727497475436 140727497475436 140727497478095 0
/proc/17265/statm: 3450442 275233 3276 1 0 3437675 0
[pid=17265/tid=17266] ppid=17264 vsize=13801768 CPUtime=1.18 cores=1,3,5,7,9,11,13,15
/proc/17265/task/17266/stat : 17266 (java) S 17264 17264 7102 0 -1 1077944384 7496 0 0 0 111 7 0 0 20 0 21 0 4862584 14133010432 275233 33554432000 4194304 4196468 140727497471392 140099237520512 140099233289941 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24666112 140727497475260 140727497475436 140727497475436 140727497478095 0
[pid=17265/tid=17268] ppid=17264 vsize=13801768 CPUtime=1.6 cores=1,3,5,7,9,11,13,15
/proc/17265/task/17268/stat : 17268 (java) R 17264 17264 7102 0 -1 4202560 3148 0 0 0 113 47 0 0 20 0 21 0 4862585 14133010432 275233 33554432000 4194304 4196468 140727497471392 140099151760520 140099225907943 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 24666112 140727497475260 140727497475436 140727497475436 140727497478095 0
[pid=17265/tid=17269] ppid=17264 vsize=13801768 CPUtime=1.6 cores=1,3,5,7,9,11,13,15
/proc/17265/task/17269/stat : 17269 (java) R 17264 17264 7102 0 -1 4202560 2558 0 0 0 112 48 0 0 20 0 21 0 4862585 14133010432 275233 33554432000 4194304 4196468 140727497471392 140099150707976 140099225907943 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24666112 140727497475260 140727497475436 140727497475436 140727497478095 0
[pid=17265/tid=17270] ppid=17264 vsize=13801768 CPUtime=1.55 cores=1,3,5,7,9,11,13,15
/proc/17265/task/17270/stat : 17270 (java) R 17264 17264 7102 0 -1 4202560 3035 0 0 0 110 45 0 0 20 0 21 0 4862585 14133010432 275233 33554432000 4194304 4196468 140727497471392 140098830068616 140099225907943 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24666112 140727497475260 140727497475436 140727497475436 140727497478095 0
[pid=17265/tid=17271] ppid=17264 vsize=13801768 CPUtime=1.57 cores=1,3,5,7,9,11,13,15
/proc/17265/task/17271/stat : 17271 (java) R 17264 17264 7102 0 -1 4202560 2605 0 0 0 110 47 0 0 20 0 21 0 4862585 14133010432 275233 33554432000 4194304 4196468 140727497471392 140098829016072 140099216662770 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 24666112 140727497475260 140727497475436 140727497475436 140727497478095 0
[pid=17265/tid=17272] ppid=17264 vsize=13801768 CPUtime=1.58 cores=1,3,5,7,9,11,13,15
/proc/17265/task/17272/stat : 17272 (java) R 17264 17264 7102 0 -1 4202560 2769 0 0 0 111 47 0 0 20 0 21 0 4862585 14133010432 275233 33554432000 4194304 4196468 140727497471392 140098827963016 140099217980371 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 24666112 140727497475260 140727497475436 140727497475436 140727497478095 0
[pid=17265/tid=17273] ppid=17264 vsize=13801768 CPUtime=1.56 cores=1,3,5,7,9,11,13,15
/proc/17265/task/17273/stat : 17273 (java) R 17264 17264 7102 0 -1 4202560 3215 0 0 0 110 46 0 0 20 0 21 0 4862585 14133010432 275233 33554432000 4194304 4196468 140727497471392 140098826910160 140099217980463 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 24666112 140727497475260 140727497475436 140727497475436 140727497478095 0
[pid=17265/tid=17274] ppid=17264 vsize=13801768 CPUtime=1.58 cores=1,3,5,7,9,11,13,15
/proc/17265/task/17274/stat : 17274 (java) R 17264 17264 7102 0 -1 4202560 3600 0 0 0 110 48 0 0 20 0 21 0 4862585 14133010432 275233 33554432000 4194304 4196468 140727497471392 140098825857416 140099225907943 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24666112 140727497475260 140727497475436 140727497475436 140727497478095 0
[pid=17265/tid=17275] ppid=17264 vsize=13801768 CPUtime=1.6 cores=1,3,5,7,9,11,13,15
/proc/17265/task/17275/stat : 17275 (java) R 17264 17264 7102 0 -1 4202560 3333 0 0 0 113 47 0 0 20 0 21 0 4862585 14133010432 275233 33554432000 4194304 4196468 140727497471392 140098824804872 140099225907943 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24666112 140727497475260 140727497475436 140727497475436 140727497478095 0
[pid=17265/tid=17276] ppid=17264 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/17265/task/17276/stat : 17276 (java) S 17264 17264 7102 0 -1 1077944384 1229 0 0 0 2 0 0 0 20 0 21 0 4862587 14133010432 275233 33554432000 4194304 4196468 140727497471392 140098695583040 140099233289941 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24666112 140727497475260 140727497475436 140727497475436 140727497478095 0
[pid=17265/tid=17277] ppid=17264 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17265/task/17277/stat : 17277 (java) S 17264 17264 7102 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 21 0 4862588 14133010432 275233 33554432000 4194304 4196468 140727497471392 140098694530784 140099233289941 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24666112 140727497475260 140727497475436 140727497475436 140727497478095 0
[pid=17265/tid=17278] ppid=17264 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17265/task/17278/stat : 17278 (java) S 17264 17264 7102 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 21 0 4862588 14133010432 275233 33554432000 4194304 4196468 140727497471392 140098693477632 140099233289941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24666112 140727497475260 140727497475436 140727497475436 140727497478095 0
[pid=17265/tid=17279] ppid=17264 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17265/task/17279/stat : 17279 (java) S 17264 17264 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 4862592 14133010432 275233 33554432000 4194304 4196468 140727497471392 140098692426192 140099233298331 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24666112 140727497475260 140727497475436 140727497475436 140727497478095 0
[pid=17265/tid=17280] ppid=17264 vsize=13801768 CPUtime=0.92 cores=1,3,5,7,9,11,13,15
/proc/17265/task/17280/stat : 17280 (java) S 17264 17264 7102 0 -1 1077944384 2011 0 0 0 91 1 0 0 20 0 21 0 4862592 14133010432 275233 33554432000 4194304 4196468 140727497471392 140098691362256 140099233289941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24666112 140727497475260 140727497475436 140727497475436 140727497478095 0
[pid=17265/tid=17281] ppid=17264 vsize=13801768 CPUtime=0.82 cores=1,3,5,7,9,11,13,15
/proc/17265/task/17281/stat : 17281 (java) S 17264 17264 7102 0 -1 1077944384 1353 0 0 0 82 0 0 0 20 0 21 0 4862592 14133010432 275233 33554432000 4194304 4196468 140727497471392 140098690305744 140099233289941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24666112 140727497475260 140727497475436 140727497475436 140727497478095 0
[pid=17265/tid=17282] ppid=17264 vsize=13801768 CPUtime=0.99 cores=1,3,5,7,9,11,13,15
/proc/17265/task/17282/stat : 17282 (java) S 17264 17264 7102 0 -1 1077944384 1343 0 0 0 99 0 0 0 20 0 21 0 4862592 14133010432 275233 33554432000 4194304 4196468 140727497471392 140098689252688 140099233289941 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24666112 140727497475260 140727497475436 140727497475436 140727497478095 0
[pid=17265/tid=17283] ppid=17264 vsize=13801768 CPUtime=0.7 cores=1,3,5,7,9,11,13,15
/proc/17265/task/17283/stat : 17283 (java) S 17264 17264 7102 0 -1 1077944384 2535 0 0 0 69 1 0 0 20 0 21 0 4862592 14133010432 275233 33554432000 4194304 4196468 140727497471392 140098688211024 140099233289941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24666112 140727497475260 140727497475436 140727497475436 140727497478095 0
[pid=17265/tid=17284] ppid=17264 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17265/task/17284/stat : 17284 (java) S 17264 17264 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 4862592 14133010432 275233 33554432000 4194304 4196468 140727497471392 140098687163360 140099233289941 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24666112 140727497475260 140727497475436 140727497475436 140727497478095 0
[pid=17265/tid=17285] ppid=17264 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17265/task/17285/stat : 17285 (java) S 17264 17264 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 4862592 14133010432 275233 33554432000 4194304 4196468 140727497471392 140098686110896 140099233290882 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24666112 140727497475260 140727497475436 140727497475436 140727497478095 0
Current children cumulated CPU time (s) 18.31
Current children cumulated vsize (KiB) 13811280
[startup+6.30098 s]
/proc/loadavg: 11.30 13.93 14.15 13/291 17461
/proc/meminfo: memFree=23552984/32770624 swapFree=5656/334852
[pid=17264] ppid=17261 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17264/stat : 17264 (xcsp3-exec) S 17261 17264 7102 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4862583 9740288 346 33554432000 4194304 5098028 140736377762896 140736377761000 140311958467196 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 19972096 140736377767054 140736377767264 140736377767264 140736377769963 0
/proc/17264/statm: 2378 346 289 221 0 87 0
[pid=17265] ppid=17264 vsize=13868332 CPUtime=42.63 cores=1,3,5,7,9,11,13,15
/proc/17265/stat : 17265 (java) S 17264 17264 7102 0 -1 1077944320 71627 0 0 0 3861 402 0 0 20 0 28 0 4862583 14201171968 302071 33554432000 4194304 4196468 140727497471392 140727497453936 140099233279735 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 24666112 140727497475260 140727497475436 140727497475436 140727497478095 0
/proc/17265/statm: 3467083 302071 3302 1 0 3454316 0
[pid=17265/tid=17266] ppid=17264 vsize=13868332 CPUtime=1.2 cores=1,3,5,7,9,11,13,15
/proc/17265/task/17266/stat : 17266 (java) S 17264 17264 7102 0 -1 1077944384 7659 0 0 0 113 7 0 0 20 0 28 0 4862584 14201171968 302071 33554432000 4194304 4196468 140727497471392 140099237520512 140099233289941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24666112 140727497475260 140727497475436 140727497475436 140727497478095 0
[pid=17265/tid=17268] ppid=17264 vsize=13868332 CPUtime=1.74 cores=1,3,5,7,9,11,13,15
/proc/17265/task/17268/stat : 17268 (java) S 17264 17264 7102 0 -1 1077944384 3227 0 0 0 127 47 0 0 20 0 28 0 4862585 14201171968 302071 33554432000 4194304 4196468 140727497471392 140099151760400 140099233289941 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24666112 140727497475260 140727497475436 140727497475436 140727497478095 0
[pid=17265/tid=17269] ppid=17264 vsize=13868332 CPUtime=1.74 cores=1,3,5,7,9,11,13,15
/proc/17265/task/17269/stat : 17269 (java) S 17264 17264 7102 0 -1 1077944384 2561 0 0 0 126 48 0 0 20 0 28 0 4862585 14201171968 302071 33554432000 4194304 4196468 140727497471392 140099150707856 140099233289941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24666112 140727497475260 140727497475436 140727497475436 140727497478095 0
[pid=17265/tid=17270] ppid=17264 vsize=13868332 CPUtime=1.69 cores=1,3,5,7,9,11,13,15
/proc/17265/task/17270/stat : 17270 (java) S 17264 17264 7102 0 -1 1077944384 3594 0 0 0 124 45 0 0 20 0 28 0 4862585 14201171968 302071 33554432000 4194304 4196468 140727497471392 140098830068496 140099233289941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24666112 140727497475260 140727497475436 140727497475436 140727497478095 0
[pid=17265/tid=17271] ppid=17264 vsize=13868332 CPUtime=1.71 cores=1,3,5,7,9,11,13,15
/proc/17265/task/17271/stat : 17271 (java) S 17264 17264 7102 0 -1 1077944384 3163 0 0 0 124 47 0 0 20 0 28 0 4862585 14201171968 302071 33554432000 4194304 4196468 140727497471392 140098829015952 140099233289941 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24666112 140727497475260 140727497475436 140727497475436 140727497478095 0
[pid=17265/tid=17272] ppid=17264 vsize=13868332 CPUtime=1.73 cores=1,3,5,7,9,11,13,15
/proc/17265/task/17272/stat : 17272 (java) S 17264 17264 7102 0 -1 1077944384 3350 0 0 0 126 47 0 0 20 0 28 0 4862585 14201171968 302071 33554432000 4194304 4196468 140727497471392 140098827962896 140099233289941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24666112 140727497475260 140727497475436 140727497475436 140727497478095 0
[pid=17265/tid=17273] ppid=17264 vsize=13868332 CPUtime=1.71 cores=1,3,5,7,9,11,13,15
/proc/17265/task/17273/stat : 17273 (java) S 17264 17264 7102 0 -1 1077944384 3734 0 0 0 125 46 0 0 20 0 28 0 4862585 14201171968 302071 33554432000 4194304 4196468 140727497471392 140098826910352 140099233289941 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24666112 140727497475260 140727497475436 140727497475436 140727497478095 0
[pid=17265/tid=17274] ppid=17264 vsize=13868332 CPUtime=1.73 cores=1,3,5,7,9,11,13,15
/proc/17265/task/17274/stat : 17274 (java) S 17264 17264 7102 0 -1 1077944384 3604 0 0 0 125 48 0 0 20 0 28 0 4862585 14201171968 302071 33554432000 4194304 4196468 140727497471392 140098825857296 140099233289941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24666112 140727497475260 140727497475436 140727497475436 140727497478095 0
[pid=17265/tid=17275] ppid=17264 vsize=13868332 CPUtime=1.74 cores=1,3,5,7,9,11,13,15
/proc/17265/task/17275/stat : 17275 (java) S 17264 17264 7102 0 -1 1077944384 3349 0 0 0 127 47 0 0 20 0 28 0 4862585 14201171968 302071 33554432000 4194304 4196468 140727497471392 140098824804752 140099233289941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24666112 140727497475260 140727497475436 140727497475436 140727497478095 0
[pid=17265/tid=17276] ppid=17264 vsize=13868332 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/17265/task/17276/stat : 17276 (java) S 17264 17264 7102 0 -1 1077944384 2104 0 0 0 4 1 0 0 20 0 28 0 4862587 14201171968 302071 33554432000 4194304 4196468 140727497471392 140098695584496 140099233290882 0 0 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24666112 140727497475260 140727497475436 140727497475436 140727497478095 0
[pid=17265/tid=17277] ppid=17264 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17265/task/17277/stat : 17277 (java) S 17264 17264 7102 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 28 0 4862588 14201171968 302071 33554432000 4194304 4196468 140727497471392 140098694530784 140099233289941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24666112 140727497475260 140727497475436 140727497475436 140727497478095 0
[pid=17265/tid=17278] ppid=17264 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17265/task/17278/stat : 17278 (java) S 17264 17264 7102 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 28 0 4862588 14201171968 302071 33554432000 4194304 4196468 140727497471392 140098693477632 140099233289941 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24666112 140727497475260 140727497475436 140727497475436 140727497478095 0
[pid=17265/tid=17279] ppid=17264 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17265/task/17279/stat : 17279 (java) S 17264 17264 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4862592 14201171968 302071 33554432000 4194304 4196468 140727497471392 140098692426192 140099233298331 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24666112 140727497475260 140727497475436 140727497475436 140727497478095 0
################
# More data... #
################
/proc/17265/task/17268/stat : 17268 (java) S 17264 17264 7102 0 -1 1077944384 3227 0 0 0 127 47 0 0 20 0 28 0 4862585 14201171968 306463 33554432000 4194304 4196468 140727497471392 140099151760400 140099233289941 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24666112 140727497475260 140727497475436 140727497475436 140727497478095 0
[pid=17265/tid=17269] ppid=17264 vsize=13868332 CPUtime=1.74 cores=1,3,5,7,9,11,13,15
/proc/17265/task/17269/stat : 17269 (java) S 17264 17264 7102 0 -1 1077944384 2561 0 0 0 126 48 0 0 20 0 28 0 4862585 14201171968 306463 33554432000 4194304 4196468 140727497471392 140099150707856 140099233289941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24666112 140727497475260 140727497475436 140727497475436 140727497478095 0
[pid=17265/tid=17270] ppid=17264 vsize=13868332 CPUtime=1.69 cores=1,3,5,7,9,11,13,15
/proc/17265/task/17270/stat : 17270 (java) S 17264 17264 7102 0 -1 1077944384 3594 0 0 0 124 45 0 0 20 0 28 0 4862585 14201171968 306463 33554432000 4194304 4196468 140727497471392 140098830068496 140099233289941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24666112 140727497475260 140727497475436 140727497475436 140727497478095 0
[pid=17265/tid=17271] ppid=17264 vsize=13868332 CPUtime=1.71 cores=1,3,5,7,9,11,13,15
/proc/17265/task/17271/stat : 17271 (java) S 17264 17264 7102 0 -1 1077944384 3163 0 0 0 124 47 0 0 20 0 28 0 4862585 14201171968 306463 33554432000 4194304 4196468 140727497471392 140098829015952 140099233289941 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24666112 140727497475260 140727497475436 140727497475436 140727497478095 0
[pid=17265/tid=17272] ppid=17264 vsize=13868332 CPUtime=1.73 cores=1,3,5,7,9,11,13,15
/proc/17265/task/17272/stat : 17272 (java) S 17264 17264 7102 0 -1 1077944384 3350 0 0 0 126 47 0 0 20 0 28 0 4862585 14201171968 306463 33554432000 4194304 4196468 140727497471392 140098827962896 140099233289941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24666112 140727497475260 140727497475436 140727497475436 140727497478095 0
[pid=17265/tid=17273] ppid=17264 vsize=13868332 CPUtime=1.71 cores=1,3,5,7,9,11,13,15
/proc/17265/task/17273/stat : 17273 (java) S 17264 17264 7102 0 -1 1077944384 3734 0 0 0 125 46 0 0 20 0 28 0 4862585 14201171968 306463 33554432000 4194304 4196468 140727497471392 140098826910352 140099233289941 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24666112 140727497475260 140727497475436 140727497475436 140727497478095 0
[pid=17265/tid=17274] ppid=17264 vsize=13868332 CPUtime=1.73 cores=1,3,5,7,9,11,13,15
/proc/17265/task/17274/stat : 17274 (java) S 17264 17264 7102 0 -1 1077944384 3604 0 0 0 125 48 0 0 20 0 28 0 4862585 14201171968 306463 33554432000 4194304 4196468 140727497471392 140098825857296 140099233289941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24666112 140727497475260 140727497475436 140727497475436 140727497478095 0
[pid=17265/tid=17275] ppid=17264 vsize=13868332 CPUtime=1.74 cores=1,3,5,7,9,11,13,15
/proc/17265/task/17275/stat : 17275 (java) S 17264 17264 7102 0 -1 1077944384 3349 0 0 0 127 47 0 0 20 0 28 0 4862585 14201171968 306463 33554432000 4194304 4196468 140727497471392 140098824804752 140099233289941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24666112 140727497475260 140727497475436 140727497475436 140727497478095 0
[pid=17265/tid=17276] ppid=17264 vsize=13868332 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/17265/task/17276/stat : 17276 (java) S 17264 17264 7102 0 -1 1077944384 2176 0 0 0 4 1 0 0 20 0 28 0 4862587 14201171968 306463 33554432000 4194304 4196468 140727497471392 140098695584496 140099233290882 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24666112 140727497475260 140727497475436 140727497475436 140727497478095 0
[pid=17265/tid=17277] ppid=17264 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17265/task/17277/stat : 17277 (java) S 17264 17264 7102 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 28 0 4862588 14201171968 306463 33554432000 4194304 4196468 140727497471392 140098694530784 140099233289941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24666112 140727497475260 140727497475436 140727497475436 140727497478095 0
[pid=17265/tid=17278] ppid=17264 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17265/task/17278/stat : 17278 (java) S 17264 17264 7102 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 28 0 4862588 14201171968 306463 33554432000 4194304 4196468 140727497471392 140098693477632 140099233289941 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24666112 140727497475260 140727497475436 140727497475436 140727497478095 0
[pid=17265/tid=17279] ppid=17264 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17265/task/17279/stat : 17279 (java) S 17264 17264 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4862592 14201171968 306463 33554432000 4194304 4196468 140727497471392 140098692426192 140099233298331 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24666112 140727497475260 140727497475436 140727497475436 140727497478095 0
[pid=17265/tid=17280] ppid=17264 vsize=13868332 CPUtime=3.11 cores=1,3,5,7,9,11,13,15
/proc/17265/task/17280/stat : 17280 (java) S 17264 17264 7102 0 -1 1077944384 5045 0 0 0 309 2 0 0 20 0 28 0 4862592 14201171968 306463 33554432000 4194304 4196468 140727497471392 140098691373296 140099233290882 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24666112 140727497475260 140727497475436 140727497475436 140727497478095 0
[pid=17265/tid=17281] ppid=17264 vsize=13868332 CPUtime=3.41 cores=1,3,5,7,9,11,13,15
/proc/17265/task/17281/stat : 17281 (java) R 17264 17264 7102 0 -1 4202560 7824 0 0 0 340 1 0 0 20 0 28 0 4862592 14201171968 306463 33554432000 4194304 4196468 140727497471392 140098690321048 140099214824950 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24666112 140727497475260 140727497475436 140727497475436 140727497478095 0
[pid=17265/tid=17282] ppid=17264 vsize=13868332 CPUtime=3.27 cores=1,3,5,7,9,11,13,15
/proc/17265/task/17282/stat : 17282 (java) S 17264 17264 7102 0 -1 1077944384 6704 0 0 0 326 1 0 0 20 0 28 0 4862592 14201171968 306463 33554432000 4194304 4196468 140727497471392 140098689267696 140099233290882 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24666112 140727497475260 140727497475436 140727497475436 140727497478095 0
[pid=17265/tid=17283] ppid=17264 vsize=13868332 CPUtime=1.12 cores=1,3,5,7,9,11,13,15
/proc/17265/task/17283/stat : 17283 (java) S 17264 17264 7102 0 -1 1077944384 5907 0 0 0 110 2 0 0 20 0 28 0 4862592 14201171968 306463 33554432000 4194304 4196468 140727497471392 140098688215152 140099233290882 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24666112 140727497475260 140727497475436 140727497475436 140727497478095 0
[pid=17265/tid=17284] ppid=17264 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17265/task/17284/stat : 17284 (java) S 17264 17264 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4862592 14201171968 306463 33554432000 4194304 4196468 140727497471392 140098687163360 140099233289941 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24666112 140727497475260 140727497475436 140727497475436 140727497478095 0
[pid=17265/tid=17285] ppid=17264 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17265/task/17285/stat : 17285 (java) S 17264 17264 7102 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 28 0 4862592 14201171968 306463 33554432000 4194304 4196468 140727497471392 140098686110896 140099233290882 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24666112 140727497475260 140727497475436 140727497475436 140727497478095 0
[pid=17265/tid=17494] ppid=17264 vsize=13868332 CPUtime=2.2 cores=1,3,5,7,9,11,13,15
/proc/17265/task/17494/stat : 17494 (java) R 17264 17264 7102 0 -1 4202560 153 0 0 0 220 0 0 0 20 0 28 0 4863230 14201171968 306463 33554432000 4194304 4196468 140727497471392 140098607754376 140098838916594 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 24666112 140727497475260 140727497475436 140727497475436 140727497478095 0
[pid=17265/tid=17495] ppid=17264 vsize=13868332 CPUtime=2.2 cores=1,3,5,7,9,11,13,15
/proc/17265/task/17495/stat : 17495 (java) R 17264 17264 7102 0 -1 4202560 397 0 0 0 220 0 0 0 20 0 28 0 4863230 14201171968 306463 33554432000 4194304 4196468 140727497471392 140098603544984 140098838916783 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24666112 140727497475260 140727497475436 140727497475436 140727497478095 0
[pid=17265/tid=17496] ppid=17264 vsize=13868332 CPUtime=2.13 cores=1,3,5,7,9,11,13,15
/proc/17265/task/17496/stat : 17496 (java) R 17264 17264 7102 0 -1 4202560 368 0 0 0 213 0 0 0 20 0 28 0 4863230 14201171968 306463 33554432000 4194304 4196468 140727497471392 140098605651952 140098836861984 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 24666112 140727497475260 140727497475436 140727497475436 140727497478095 0
[pid=17265/tid=17497] ppid=17264 vsize=13868332 CPUtime=2.27 cores=1,3,5,7,9,11,13,15
/proc/17265/task/17497/stat : 17497 (java) R 17264 17264 7102 0 -1 4202560 144 0 0 0 227 0 0 0 20 0 28 0 4863230 14201171968 306463 33554432000 4194304 4196468 140727497471392 140098608808200 140098836863237 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 24666112 140727497475260 140727497475436 140727497475436 140727497478095 0
[pid=17265/tid=17498] ppid=17264 vsize=13868332 CPUtime=2.19 cores=1,3,5,7,9,11,13,15
/proc/17265/task/17498/stat : 17498 (java) R 17264 17264 7102 0 -1 4202560 2718 0 0 0 219 0 0 0 20 0 28 0 4863230 14201171968 306463 33554432000 4194304 4196468 140727497471392 140098609860408 140098838249697 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24666112 140727497475260 140727497475436 140727497475436 140727497478095 0
[pid=17265/tid=17499] ppid=17264 vsize=13868332 CPUtime=2.13 cores=1,3,5,7,9,11,13,15
/proc/17265/task/17499/stat : 17499 (java) R 17264 17264 7102 0 -1 4202560 1226 0 0 0 213 0 0 0 20 0 28 0 4863230 14201171968 306463 33554432000 4194304 4196468 140727497471392 140098680192672 140098836592799 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 24666112 140727497475260 140727497475436 140727497475436 140727497478095 0
[pid=17265/tid=17500] ppid=17264 vsize=13868332 CPUtime=2.27 cores=1,3,5,7,9,11,13,15
/proc/17265/task/17500/stat : 17500 (java) R 17264 17264 7102 0 -1 4202560 333 0 0 0 227 0 0 0 20 0 28 0 4863230 14201171968 306463 33554432000 4194304 4196468 140727497471392 140098602492040 140098836862373 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24666112 140727497475260 140727497475436 140727497475436 140727497478095 0
[pid=17265/tid=17501] ppid=17264 vsize=13868332 CPUtime=2.17 cores=1,3,5,7,9,11,13,15
/proc/17265/task/17501/stat : 17501 (java) R 17264 17264 7102 0 -1 4202560 67 0 0 0 217 0 0 0 20 0 28 0 4863230 14201171968 306463 33554432000 4194304 4196468 140727497471392 140098606703288 140098836862095 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 24666112 140727497475260 140727497475436 140727497475436 140727497478095 0
Current children cumulated CPU time (s) 62.51
Current children cumulated vsize (KiB) 13877844
[startup+9.00152 s]
/proc/loadavg: 11.30 13.93 14.15 11/291 17501
/proc/meminfo: memFree=23294020/32770624 swapFree=5656/334856
[pid=17264] ppid=17261 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17264/stat : 17264 (xcsp3-exec) S 17261 17264 7102 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4862583 9740288 346 33554432000 4194304 5098028 140736377762896 140736377761000 140311958467196 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 19972096 140736377767054 140736377767264 140736377767264 140736377769963 0
/proc/17264/statm: 2378 346 289 221 0 87 0
[pid=17265] ppid=17264 vsize=13868332 CPUtime=64 cores=1,3,5,7,9,11,13,15
/proc/17265/stat : 17265 (java) S 17264 17264 7102 0 -1 1077944320 83810 0 0 0 5996 404 0 0 20 0 28 0 4862583 14201171968 306463 33554432000 4194304 4196468 140727497471392 140727497453936 140099233279735 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 24666112 140727497475260 140727497475436 140727497475436 140727497478095 0
/proc/17265/statm: 3467083 306463 3303 1 0 3454316 0
[pid=17265/tid=17266] ppid=17264 vsize=13868332 CPUtime=1.2 cores=1,3,5,7,9,11,13,15
/proc/17265/task/17266/stat : 17266 (java) S 17264 17264 7102 0 -1 1077944384 7659 0 0 0 113 7 0 0 20 0 28 0 4862584 14201171968 306463 33554432000 4194304 4196468 140727497471392 140099237520512 140099233289941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24666112 140727497475260 140727497475436 140727497475436 140727497478095 0
[pid=17265/tid=17268] ppid=17264 vsize=13868332 CPUtime=1.74 cores=1,3,5,7,9,11,13,15
/proc/17265/task/17268/stat : 17268 (java) S 17264 17264 7102 0 -1 1077944384 3227 0 0 0 127 47 0 0 20 0 28 0 4862585 14201171968 306463 33554432000 4194304 4196468 140727497471392 140099151760400 140099233289941 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24666112 140727497475260 140727497475436 140727497475436 140727497478095 0
[pid=17265/tid=17269] ppid=17264 vsize=13868332 CPUtime=1.74 cores=1,3,5,7,9,11,13,15
/proc/17265/task/17269/stat : 17269 (java) S 17264 17264 7102 0 -1 1077944384 2561 0 0 0 126 48 0 0 20 0 28 0 4862585 14201171968 306463 33554432000 4194304 4196468 140727497471392 140099150707856 140099233289941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24666112 140727497475260 140727497475436 140727497475436 140727497478095 0
[pid=17265/tid=17270] ppid=17264 vsize=13868332 CPUtime=1.69 cores=1,3,5,7,9,11,13,15
/proc/17265/task/17270/stat : 17270 (java) S 17264 17264 7102 0 -1 1077944384 3594 0 0 0 124 45 0 0 20 0 28 0 4862585 14201171968 306463 33554432000 4194304 4196468 140727497471392 140098830068496 140099233289941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24666112 140727497475260 140727497475436 140727497475436 140727497478095 0
[pid=17265/tid=17271] ppid=17264 vsize=13868332 CPUtime=1.71 cores=1,3,5,7,9,11,13,15
/proc/17265/task/17271/stat : 17271 (java) S 17264 17264 7102 0 -1 1077944384 3163 0 0 0 124 47 0 0 20 0 28 0 4862585 14201171968 306463 33554432000 4194304 4196468 140727497471392 140098829015952 140099233289941 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24666112 140727497475260 140727497475436 140727497475436 140727497478095 0
[pid=17265/tid=17272] ppid=17264 vsize=13868332 CPUtime=1.73 cores=1,3,5,7,9,11,13,15
/proc/17265/task/17272/stat : 17272 (java) S 17264 17264 7102 0 -1 1077944384 3350 0 0 0 126 47 0 0 20 0 28 0 4862585 14201171968 306463 33554432000 4194304 4196468 140727497471392 140098827962896 140099233289941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24666112 140727497475260 140727497475436 140727497475436 140727497478095 0
[pid=17265/tid=17273] ppid=17264 vsize=13868332 CPUtime=1.71 cores=1,3,5,7,9,11,13,15
/proc/17265/task/17273/stat : 17273 (java) S 17264 17264 7102 0 -1 1077944384 3734 0 0 0 125 46 0 0 20 0 28 0 4862585 14201171968 306463 33554432000 4194304 4196468 140727497471392 140098826910352 140099233289941 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24666112 140727497475260 140727497475436 140727497475436 140727497478095 0
[pid=17265/tid=17274] ppid=17264 vsize=13868332 CPUtime=1.73 cores=1,3,5,7,9,11,13,15
/proc/17265/task/17274/stat : 17274 (java) S 17264 17264 7102 0 -1 1077944384 3604 0 0 0 125 48 0 0 20 0 28 0 4862585 14201171968 306463 33554432000 4194304 4196468 140727497471392 140098825857296 140099233289941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24666112 140727497475260 140727497475436 140727497475436 140727497478095 0
[pid=17265/tid=17275] ppid=17264 vsize=13868332 CPUtime=1.74 cores=1,3,5,7,9,11,13,15
/proc/17265/task/17275/stat : 17275 (java) S 17264 17264 7102 0 -1 1077944384 3349 0 0 0 127 47 0 0 20 0 28 0 4862585 14201171968 306463 33554432000 4194304 4196468 140727497471392 140098824804752 140099233289941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24666112 140727497475260 140727497475436 140727497475436 140727497478095 0
[pid=17265/tid=17276] ppid=17264 vsize=13868332 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/17265/task/17276/stat : 17276 (java) S 17264 17264 7102 0 -1 1077944384 2176 0 0 0 4 1 0 0 20 0 28 0 4862587 14201171968 306463 33554432000 4194304 4196468 140727497471392 140098695584496 140099233290882 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24666112 140727497475260 140727497475436 140727497475436 140727497478095 0
[pid=17265/tid=17277] ppid=17264 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17265/task/17277/stat : 17277 (java) S 17264 17264 7102 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 28 0 4862588 14201171968 306463 33554432000 4194304 4196468 140727497471392 140098694530784 140099233289941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24666112 140727497475260 140727497475436 140727497475436 140727497478095 0
[pid=17265/tid=17278] ppid=17264 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17265/task/17278/stat : 17278 (java) S 17264 17264 7102 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 28 0 4862588 14201171968 306463 33554432000 4194304 4196468 140727497471392 140098693477632 140099233289941 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24666112 140727497475260 140727497475436 140727497475436 140727497478095 0
[pid=17265/tid=17279] ppid=17264 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17265/task/17279/stat : 17279 (java) S 17264 17264 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4862592 14201171968 306463 33554432000 4194304 4196468 140727497471392 140098692426192 140099233298331 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24666112 140727497475260 140727497475436 140727497475436 140727497478095 0
[pid=17265/tid=17280] ppid=17264 vsize=13868332 CPUtime=3.15 cores=1,3,5,7,9,11,13,15
/proc/17265/task/17280/stat : 17280 (java) S 17264 17264 7102 0 -1 1077944384 5234 0 0 0 313 2 0 0 20 0 28 0 4862592 14201171968 306463 33554432000 4194304 4196468 140727497471392 140098691373296 140099233290882 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24666112 140727497475260 140727497475436 140727497475436 140727497478095 0
[pid=17265/tid=17281] ppid=17264 vsize=13868332 CPUtime=3.43 cores=1,3,5,7,9,11,13,15
/proc/17265/task/17281/stat : 17281 (java) S 17264 17264 7102 0 -1 1077944384 7841 0 0 0 342 1 0 0 20 0 28 0 4862592 14201171968 306463 33554432000 4194304 4196468 140727497471392 140098690320752 140099233290882 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24666112 140727497475260 140727497475436 140727497475436 140727497478095 0
[pid=17265/tid=17282] ppid=17264 vsize=13868332 CPUtime=3.38 cores=1,3,5,7,9,11,13,15
/proc/17265/task/17282/stat : 17282 (java) R 17264 17264 7102 0 -1 4202560 6710 0 0 0 337 1 0 0 20 0 28 0 4862592 14201171968 306463 33554432000 4194304 4196468 140727497471392 140098689254240 140099216666737 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 24666112 140727497475260 140727497475436 140727497475436 140727497478095 0
[pid=17265/tid=17283] ppid=17264 vsize=13868332 CPUtime=1.12 cores=1,3,5,7,9,11,13,15
/proc/17265/task/17283/stat : 17283 (java) S 17264 17264 7102 0 -1 1077944384 5915 0 0 0 110 2 0 0 20 0 28 0 4862592 14201171968 306463 33554432000 4194304 4196468 140727497471392 140098688215152 140099233290882 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24666112 140727497475260 140727497475436 140727497475436 140727497478095 0
[pid=17265/tid=17284] ppid=17264 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17265/task/17284/stat : 17284 (java) S 17264 17264 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4862592 14201171968 306463 33554432000 4194304 4196468 140727497471392 140098687163360 140099233289941 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24666112 140727497475260 140727497475436 140727497475436 140727497478095 0
[pid=17265/tid=17285] ppid=17264 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17265/task/17285/stat : 17285 (java) S 17264 17264 7102 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 28 0 4862592 14201171968 306463 33554432000 4194304 4196468 140727497471392 140098686110896 140099233290882 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24666112 140727497475260 140727497475436 140727497475436 140727497478095 0
[pid=17265/tid=17494] ppid=17264 vsize=13868332 CPUtime=2.39 cores=1,3,5,7,9,11,13,15
/proc/17265/task/17494/stat : 17494 (java) R 17264 17264 7102 0 -1 4202560 164 0 0 0 239 0 0 0 20 0 28 0 4863230 14201171968 306463 33554432000 4194304 4196468 140727497471392 140098607754376 140098836862860 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 24666112 140727497475260 140727497475436 140727497475436 140727497478095 0
[pid=17265/tid=17495] ppid=17264 vsize=13868332 CPUtime=2.33 cores=1,3,5,7,9,11,13,15
/proc/17265/task/17495/stat : 17495 (java) R 17264 17264 7102 0 -1 4202560 398 0 0 0 233 0 0 0 20 0 28 0 4863230 14201171968 306463 33554432000 4194304 4196468 140727497471392 140098603544984 140098839002731 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24666112 140727497475260 140727497475436 140727497475436 140727497478095 0
[pid=17265/tid=17496] ppid=17264 vsize=13868332 CPUtime=2.25 cores=1,3,5,7,9,11,13,15
/proc/17265/task/17496/stat : 17496 (java) R 17264 17264 7102 0 -1 4202560 392 0 0 0 225 0 0 0 20 0 28 0 4863230 14201171968 306463 33554432000 4194304 4196468 140727497471392 140098605650072 140098836593235 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24666112 140727497475260 140727497475436 140727497475436 140727497478095 0
[pid=17265/tid=17497] ppid=17264 vsize=13868332 CPUtime=2.42 cores=1,3,5,7,9,11,13,15
/proc/17265/task/17497/stat : 17497 (java) R 17264 17264 7102 0 -1 4202560 146 0 0 0 242 0 0 0 20 0 28 0 4863230 14201171968 306463 33554432000 4194304 4196468 140727497471392 140098608808200 140098839891506 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 24666112 140727497475260 140727497475436 140727497475436 140727497478095 0
[pid=17265/tid=17498] ppid=17264 vsize=13868332 CPUtime=2.37 cores=1,3,5,7,9,11,13,15
/proc/17265/task/17498/stat : 17498 (java) R 17264 17264 7102 0 -1 4202560 2761 0 0 0 237 0 0 0 20 0 28 0 4863230 14201171968 306463 33554432000 4194304 4196468 140727497471392 140098609860472 140098838916763 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24666112 140727497475260 140727497475436 140727497475436 140727497478095 0
[pid=17265/tid=17499] ppid=17264 vsize=13868332 CPUtime=2.31 cores=1,3,5,7,9,11,13,15
/proc/17265/task/17499/stat : 17499 (java) R 17264 17264 7102 0 -1 4202560 1356 0 0 0 231 0 0 0 20 0 28 0 4863230 14201171968 306463 33554432000 4194304 4196468 140727497471392 140098680192672 140098836592655 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 24666112 140727497475260 140727497475436 140727497475436 140727497478095 0
[pid=17265/tid=17500] ppid=17264 vsize=13868332 CPUtime=2.46 cores=1,3,5,7,9,11,13,15
/proc/17265/task/17500/stat : 17500 (java) R 17264 17264 7102 0 -1 4202560 334 0 0 0 246 0 0 0 20 0 28 0 4863230 14201171968 306463 33554432000 4194304 4196468 140727497471392 140098602492040 140098839002059 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24666112 140727497475260 140727497475436 140727497475436 140727497478095 0
[pid=17265/tid=17501] ppid=17264 vsize=13868332 CPUtime=2.35 cores=1,3,5,7,9,11,13,15
/proc/17265/task/17501/stat : 17501 (java) R 17264 17264 7102 0 -1 4202560 105 0 0 0 235 0 0 0 20 0 28 0 4863230 14201171968 306463 33554432000 4194304 4196468 140727497471392 140098606703848 140098839890693 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24666112 140727497475260 140727497475436 140727497475436 140727497478095 0
Current children cumulated CPU time (s) 64
Current children cumulated vsize (KiB) 13877844
[startup+9.10168 s]
/proc/loadavg: 11.30 13.93 14.15 11/291 17501
/proc/meminfo: memFree=23294020/32770624 swapFree=5656/334856
[pid=17264] ppid=17261 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17264/stat : 17264 (xcsp3-exec) S 17261 17264 7102 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4862583 9740288 346 33554432000 4194304 5098028 140736377762896 140736377761000 140311958467196 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 19972096 140736377767054 140736377767264 140736377767264 140736377769963 0
/proc/17264/statm: 2378 346 289 221 0 87 0
[pid=17265] ppid=17264 vsize=13868332 CPUtime=64.72 cores=1,3,5,7,9,11,13,15
/proc/17265/stat : 17265 (java) S 17264 17264 7102 0 -1 1077944320 84448 0 0 0 6068 404 0 0 20 0 20 0 4862583 14201171968 306350 33554432000 4194304 4196468 140727497471392 140727497453936 140099233279735 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 24666112 140727497475260 140727497475436 140727497475436 140727497478095 0
/proc/17265/statm: 3467083 306350 3303 1 0 3454316 0
[pid=17265/tid=17266] ppid=17264 vsize=13868332 CPUtime=1.21 cores=1,3,5,7,9,11,13,15
/proc/17265/task/17266/stat : 17266 (java) R 17264 17264 7102 0 -1 4202560 8126 0 0 0 114 7 0 0 20 0 20 0 4862584 14201171968 306350 33554432000 4194304 4196468 140727497471392 140099237520824 140099218975601 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24666112 140727497475260 140727497475436 140727497475436 140727497478095 0
[pid=17265/tid=17268] ppid=17264 vsize=13868332 CPUtime=1.74 cores=1,3,5,7,9,11,13,15
/proc/17265/task/17268/stat : 17268 (java) S 17264 17264 7102 0 -1 1077944384 3227 0 0 0 127 47 0 0 20 0 20 0 4862585 14201171968 306350 33554432000 4194304 4196468 140727497471392 140099151760400 140099233289941 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24666112 140727497475260 140727497475436 140727497475436 140727497478095 0
[pid=17265/tid=17269] ppid=17264 vsize=13868332 CPUtime=1.74 cores=1,3,5,7,9,11,13,15
/proc/17265/task/17269/stat : 17269 (java) S 17264 17264 7102 0 -1 1077944384 2561 0 0 0 126 48 0 0 20 0 20 0 4862585 14201171968 306350 33554432000 4194304 4196468 140727497471392 140099150707856 140099233289941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24666112 140727497475260 140727497475436 140727497475436 140727497478095 0
[pid=17265/tid=17270] ppid=17264 vsize=13868332 CPUtime=1.69 cores=1,3,5,7,9,11,13,15
/proc/17265/task/17270/stat : 17270 (java) S 17264 17264 7102 0 -1 1077944384 3594 0 0 0 124 45 0 0 20 0 20 0 4862585 14201171968 306350 33554432000 4194304 4196468 140727497471392 140098830068496 140099233289941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24666112 140727497475260 140727497475436 140727497475436 140727497478095 0
[pid=17265/tid=17271] ppid=17264 vsize=13868332 CPUtime=1.71 cores=1,3,5,7,9,11,13,15
/proc/17265/task/17271/stat : 17271 (java) S 17264 17264 7102 0 -1 1077944384 3163 0 0 0 124 47 0 0 20 0 20 0 4862585 14201171968 306350 33554432000 4194304 4196468 140727497471392 140098829015952 140099233289941 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24666112 140727497475260 140727497475436 140727497475436 140727497478095 0
[pid=17265/tid=17272] ppid=17264 vsize=13868332 CPUtime=1.73 cores=1,3,5,7,9,11,13,15
/proc/17265/task/17272/stat : 17272 (java) S 17264 17264 7102 0 -1 1077944384 3350 0 0 0 126 47 0 0 20 0 20 0 4862585 14201171968 306350 33554432000 4194304 4196468 140727497471392 140098827962896 140099233289941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24666112 140727497475260 140727497475436 140727497475436 140727497478095 0
[pid=17265/tid=17273] ppid=17264 vsize=13868332 CPUtime=1.71 cores=1,3,5,7,9,11,13,15
/proc/17265/task/17273/stat : 17273 (java) S 17264 17264 7102 0 -1 1077944384 3734 0 0 0 125 46 0 0 20 0 20 0 4862585 14201171968 306351 33554432000 4194304 4196468 140727497471392 140098826910352 140099233289941 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24666112 140727497475260 140727497475436 140727497475436 140727497478095 0
[pid=17265/tid=17274] ppid=17264 vsize=13868332 CPUtime=1.73 cores=1,3,5,7,9,11,13,15
/proc/17265/task/17274/stat : 17274 (java) S 17264 17264 7102 0 -1 1077944384 3604 0 0 0 125 48 0 0 20 0 19 0 4862585 14201171968 306353 33554432000 4194304 4196468 140727497471392 140098825857296 140099233289941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24666112 140727497475260 140727497475436 140727497475436 140727497478095 0
[pid=17265/tid=17275] ppid=17264 vsize=13868332 CPUtime=1.74 cores=1,3,5,7,9,11,13,15
/proc/17265/task/17275/stat : 17275 (java) S 17264 17264 7102 0 -1 1077944384 3349 0 0 0 127 47 0 0 20 0 19 0 4862585 14201171968 306353 33554432000 4194304 4196468 140727497471392 140098824804752 140099233289941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24666112 140727497475260 140727497475436 140727497475436 140727497478095 0
[pid=17265/tid=17276] ppid=17264 vsize=13868332 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/17265/task/17276/stat : 17276 (java) R 17264 17264 7102 0 -1 4202560 2182 0 0 0 4 1 0 0 20 0 19 0 4862587 14201171968 306353 33554432000 4194304 4196468 140727497471392 140098695585016 140099225996887 0 0 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24666112 140727497475260 140727497475436 140727497475436 140727497478095 0
[pid=17265/tid=17277] ppid=17264 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17265/task/17277/stat : 17277 (java) S 17264 17264 7102 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 18 0 4862588 14201171968 306353 33554432000 4194304 4196468 140727497471392 140098694530784 140099233289941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24666112 140727497475260 140727497475436 140727497475436 140727497478095 0
[pid=17265/tid=17278] ppid=17264 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17265/task/17278/stat : 17278 (java) S 17264 17264 7102 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 18 0 4862588 14201171968 306353 33554432000 4194304 4196468 140727497471392 140098693477632 140099233289941 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24666112 140727497475260 140727497475436 140727497475436 140727497478095 0
[pid=17265/tid=17279] ppid=17264 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17265/task/17279/stat : 17279 (java) S 17264 17264 7102 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 18 0 4862592 14201171968 306353 33554432000 4194304 4196468 140727497471392 140098692425840 140099233289941 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24666112 140727497475260 140727497475436 140727497475436 140727497478095 0
[pid=17265/tid=17280] ppid=17264 vsize=13868332 CPUtime=3.15 cores=1,3,5,7,9,11,13,15
/proc/17265/task/17280/stat : 17280 (java) S 17264 17264 7102 0 -1 1077944384 5234 0 0 0 313 2 0 0 20 0 18 0 4862592 14201171968 306325 33554432000 4194304 4196468 140727497471392 140098691373296 140099233290882 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24666112 140727497475260 140727497475436 140727497475436 140727497478095 0
[pid=17265/tid=17281] ppid=17264 vsize=13868332 CPUtime=3.43 cores=1,3,5,7,9,11,13,15
/proc/17265/task/17281/stat : 17281 (java) S 17264 17264 7102 0 -1 1077944384 7841 0 0 0 342 1 0 0 20 0 17 0 4862592 14201171968 306325 33554432000 4194304 4196468 140727497471392 140098690320752 140099233290882 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24666112 140727497475260 140727497475436 140727497475436 140727497478095 0
[pid=17265/tid=17282] ppid=17264 vsize=13868332 CPUtime=3.44 cores=1,3,5,7,9,11,13,15
/proc/17265/task/17282/stat : 17282 (java) S 17264 17264 7102 0 -1 1077944384 6722 0 0 0 343 1 0 0 20 0 17 0 4862592 14201171968 306325 33554432000 4194304 4196468 140727497471392 140098689267696 140099233290882 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24666112 140727497475260 140727497475436 140727497475436 140727497478095 0
[pid=17265/tid=17283] ppid=17264 vsize=13868332 CPUtime=1.12 cores=1,3,5,7,9,11,13,15
/proc/17265/task/17283/stat : 17283 (java) R 17264 17264 7102 0 -1 1077944384 5917 0 0 0 110 2 0 0 20 0 17 0 4862592 14201171968 306356 33554432000 4194304 4196468 140727497471392 140098688215152 140099233290882 256 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 24666112 140727497475260 140727497475436 140727497475436 140727497478095 0
[pid=17265/tid=17284] ppid=17264 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17265/task/17284/stat : 17284 (java) R 17264 17264 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 4862592 14201171968 306368 33554432000 4194304 4196468 140727497471392 140098687163360 140099233289941 256 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 24666112 140727497475260 140727497475436 140727497475436 140727497478095 0
Current children cumulated CPU time (s) 64.72
Current children cumulated vsize (KiB) 13877844
Child status: 0
Real time (s): 9.11566
CPU time (s): 64.7531
CPU user time (s): 60.6885
CPU system time (s): 4.06461
CPU usage (%): 710.35
Max. virtual memory (cumulated for all children) (KiB): 13877844
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 60.6885
system time used= 4.06461
maximum resident set size= 1225928
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 85049
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7580
involuntary context switches= 5674
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.089912 second user time and 0.149172 second system time
The end