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-4249935-1500695761/watcher-4249935-1500695761 -o /tmp/evaluation-result-4249935-1500695761/solver-4249935-1500695761 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1500682387-18842 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 569544173 HOME/instance-4249935-1500695761.xml
pid=18180
running on 8 cores: 4-7,12-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.10 12.42 12.53 3/266 18183
/proc/meminfo: memFree=25269580/32770624 swapFree=5932/271248
[pid=18183] ppid=18180 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/18183/stat : 18183 (xcsp3-exec) S 18180 18183 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4843287 9740288 346 33554432000 4194304 5098028 140722308141776 140722308139880 140144697025148 0 65536 4100 65538 18446744071579417331 0 0 17 14 0 0 0 0 0 7196144 7232144 12214272 140722308146319 140722308146528 140722308146528 140722308149227 0
/proc/18183/statm: 2378 346 289 221 0 87 0
[startup+0.100094 s]
/proc/loadavg: 11.10 12.42 12.53 3/266 18183
/proc/meminfo: memFree=25269580/32770624 swapFree=5932/271248
[pid=18183] ppid=18180 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/18183/stat : 18183 (xcsp3-exec) S 18180 18183 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4843287 9740288 346 33554432000 4194304 5098028 140722308141776 140722308139880 140144697025148 0 65536 4100 65538 18446744071579417331 0 0 17 14 0 0 0 0 0 7196144 7232144 12214272 140722308146319 140722308146528 140722308146528 140722308149227 0
/proc/18183/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200292 s]
/proc/loadavg: 11.10 12.42 12.53 3/266 18183
/proc/meminfo: memFree=25269580/32770624 swapFree=5932/271248
[pid=18183] ppid=18180 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/18183/stat : 18183 (xcsp3-exec) S 18180 18183 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4843287 9740288 346 33554432000 4194304 5098028 140722308141776 140722308139880 140144697025148 0 65536 4100 65538 18446744071579417331 0 0 17 14 0 0 0 0 0 7196144 7232144 12214272 140722308146319 140722308146528 140722308146528 140722308149227 0
/proc/18183/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300274 s]
/proc/loadavg: 11.10 12.42 12.53 3/266 18183
/proc/meminfo: memFree=25269580/32770624 swapFree=5932/271248
[pid=18183] ppid=18180 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/18183/stat : 18183 (xcsp3-exec) S 18180 18183 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4843287 9740288 346 33554432000 4194304 5098028 140722308141776 140722308139880 140144697025148 0 65536 4100 65538 18446744071579417331 0 0 17 14 0 0 0 0 0 7196144 7232144 12214272 140722308146319 140722308146528 140722308146528 140722308149227 0
/proc/18183/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.70029 s]
/proc/loadavg: 11.10 12.42 12.53 3/266 18183
/proc/meminfo: memFree=25269580/32770624 swapFree=5932/271248
[pid=18183] ppid=18180 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/18183/stat : 18183 (xcsp3-exec) S 18180 18183 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4843287 9740288 346 33554432000 4194304 5098028 140722308141776 140722308139880 140144697025148 0 65536 4100 65538 18446744071579417331 0 0 17 14 0 0 0 0 0 7196144 7232144 12214272 140722308146319 140722308146528 140722308146528 140722308149227 0
/proc/18183/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50081 s]
/proc/loadavg: 11.10 12.42 12.53 3/287 18204
/proc/meminfo: memFree=25086572/32770624 swapFree=5932/271288
[pid=18183] ppid=18180 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/18183/stat : 18183 (xcsp3-exec) S 18180 18183 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4843287 9740288 346 33554432000 4194304 5098028 140722308141776 140722308139880 140144697025148 0 65536 4100 65538 18446744071579417331 0 0 17 14 0 0 0 0 0 7196144 7232144 12214272 140722308146319 140722308146528 140722308146528 140722308149227 0
/proc/18183/statm: 2378 346 289 221 0 87 0
[pid=18184] ppid=18183 vsize=13269256 CPUtime=2.86 cores=4-7,12-15
/proc/18184/stat : 18184 (java) S 18183 18183 18810 0 -1 1077944320 12507 0 0 0 256 30 0 0 20 0 20 0 4843287 13587718144 55870 33554432000 4194304 4196468 140733727401728 140733727384272 140083426098935 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 38490112 140733727409340 140733727409516 140733727409516 140733727412175 0
/proc/18184/statm: 3317314 55870 3221 1 0 3304547 0
[pid=18184/tid=18185] ppid=18183 vsize=13269256 CPUtime=1.41 cores=4-7,12-15
/proc/18184/task/18185/stat : 18185 (java) R 18183 18183 18810 0 -1 4202560 6788 0 0 0 137 4 0 0 20 0 20 0 4843288 13587718144 55870 33554432000 4194304 4196468 140733727401728 140083430334856 140083063295211 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38490112 140733727409340 140733727409516 140733727409516 140733727412175 0
[pid=18184/tid=18187] ppid=18183 vsize=13269256 CPUtime=0.04 cores=4-7,12-15
/proc/18184/task/18187/stat : 18187 (java) S 18183 18183 18810 0 -1 1077944384 30 0 0 0 1 3 0 0 20 0 20 0 4843289 13587718144 55870 33554432000 4194304 4196468 140733727401728 140083025345680 140083426109141 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38490112 140733727409340 140733727409516 140733727409516 140733727412175 0
[pid=18184/tid=18188] ppid=18183 vsize=13269256 CPUtime=0.05 cores=4-7,12-15
/proc/18184/task/18188/stat : 18188 (java) S 18183 18183 18810 0 -1 1077944384 25 0 0 0 2 3 0 0 20 0 20 0 4843289 13587718144 55870 33554432000 4194304 4196468 140733727401728 140083024292880 140083426109141 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 38490112 140733727409340 140733727409516 140733727409516 140733727412175 0
[pid=18184/tid=18189] ppid=18183 vsize=13269256 CPUtime=0.04 cores=4-7,12-15
/proc/18184/task/18189/stat : 18189 (java) S 18183 18183 18810 0 -1 1077944384 25 0 0 0 2 2 0 0 20 0 20 0 4843289 13587718144 55870 33554432000 4194304 4196468 140733727401728 140083023240080 140083426109141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38490112 140733727409340 140733727409516 140733727409516 140733727412175 0
[pid=18184/tid=18190] ppid=18183 vsize=13269256 CPUtime=0.03 cores=4-7,12-15
/proc/18184/task/18190/stat : 18190 (java) S 18183 18183 18810 0 -1 1077944384 18 0 0 0 1 2 0 0 20 0 20 0 4843289 13587718144 55870 33554432000 4194304 4196468 140733727401728 140083022187280 140083426109141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38490112 140733727409340 140733727409516 140733727409516 140733727412175 0
[pid=18184/tid=18191] ppid=18183 vsize=13269256 CPUtime=0.04 cores=4-7,12-15
/proc/18184/task/18191/stat : 18191 (java) S 18183 18183 18810 0 -1 1077944384 27 0 0 0 2 2 0 0 20 0 20 0 4843289 13587718144 55870 33554432000 4194304 4196468 140733727401728 140083021134480 140083426109141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38490112 140733727409340 140733727409516 140733727409516 140733727412175 0
[pid=18184/tid=18192] ppid=18183 vsize=13269256 CPUtime=0.04 cores=4-7,12-15
/proc/18184/task/18192/stat : 18192 (java) S 18183 18183 18810 0 -1 1077944384 34 0 0 0 2 2 0 0 20 0 20 0 4843289 13587718144 55870 33554432000 4194304 4196468 140733727401728 140083020081680 140083426109141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38490112 140733727409340 140733727409516 140733727409516 140733727412175 0
[pid=18184/tid=18193] ppid=18183 vsize=13269256 CPUtime=0.04 cores=4-7,12-15
/proc/18184/task/18193/stat : 18193 (java) S 18183 18183 18810 0 -1 1077944384 23 0 0 0 1 3 0 0 20 0 20 0 4843289 13587718144 55870 33554432000 4194304 4196468 140733727401728 140083019028880 140083426109141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38490112 140733727409340 140733727409516 140733727409516 140733727412175 0
[pid=18184/tid=18194] ppid=18183 vsize=13269256 CPUtime=0.04 cores=4-7,12-15
/proc/18184/task/18194/stat : 18194 (java) S 18183 18183 18810 0 -1 1077944384 33 0 0 0 1 3 0 0 20 0 20 0 4843289 13587718144 55870 33554432000 4194304 4196468 140733727401728 140083017976080 140083426109141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38490112 140733727409340 140733727409516 140733727409516 140733727412175 0
[pid=18184/tid=18195] ppid=18183 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/18184/task/18195/stat : 18195 (java) S 18183 18183 18810 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 20 0 4843291 13587718144 55870 33554432000 4194304 4196468 140733727401728 140082754136944 140083426110082 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38490112 140733727409340 140733727409516 140733727409516 140733727412175 0
[pid=18184/tid=18196] ppid=18183 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/18184/task/18196/stat : 18196 (java) S 18183 18183 18810 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 20 0 4843292 13587718144 55870 33554432000 4194304 4196468 140733727401728 140082753082912 140083426109141 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38490112 140733727409340 140733727409516 140733727409516 140733727412175 0
[pid=18184/tid=18197] ppid=18183 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/18184/task/18197/stat : 18197 (java) S 18183 18183 18810 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 4843292 13587718144 55870 33554432000 4194304 4196468 140733727401728 140082752030064 140083426109141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38490112 140733727409340 140733727409516 140733727409516 140733727412175 0
[pid=18184/tid=18198] ppid=18183 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/18184/task/18198/stat : 18198 (java) S 18183 18183 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4843295 13587718144 55870 33554432000 4194304 4196468 140733727401728 140082750978384 140083426117531 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38490112 140733727409340 140733727409516 140733727409516 140733727412175 0
[pid=18184/tid=18199] ppid=18183 vsize=13269256 CPUtime=0.24 cores=4-7,12-15
/proc/18184/task/18199/stat : 18199 (java) S 18183 18183 18810 0 -1 1077944384 844 0 0 0 24 0 0 0 20 0 20 0 4843295 13587718144 55870 33554432000 4194304 4196468 140733727401728 140082749925744 140083426110082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38490112 140733727409340 140733727409516 140733727409516 140733727412175 0
[pid=18184/tid=18200] ppid=18183 vsize=13269256 CPUtime=0.24 cores=4-7,12-15
/proc/18184/task/18200/stat : 18200 (java) S 18183 18183 18810 0 -1 1077944384 1074 0 0 0 24 0 0 0 20 0 20 0 4843295 13587718144 55870 33554432000 4194304 4196468 140733727401728 140082748872944 140083426110082 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 38490112 140733727409340 140733727409516 140733727409516 140733727412175 0
[pid=18184/tid=18201] ppid=18183 vsize=13269256 CPUtime=0.18 cores=4-7,12-15
/proc/18184/task/18201/stat : 18201 (java) S 18183 18183 18810 0 -1 1077944384 758 0 0 0 18 0 0 0 20 0 20 0 4843295 13587718144 55870 33554432000 4194304 4196468 140733727401728 140082747820144 140083426110082 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38490112 140733727409340 140733727409516 140733727409516 140733727412175 0
[pid=18184/tid=18202] ppid=18183 vsize=13269256 CPUtime=0.34 cores=4-7,12-15
/proc/18184/task/18202/stat : 18202 (java) S 18183 18183 18810 0 -1 1077944384 1447 0 0 0 34 0 0 0 20 0 20 0 4843295 13587718144 55870 33554432000 4194304 4196468 140733727401728 140082746767344 140083426110082 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38490112 140733727409340 140733727409516 140733727409516 140733727412175 0
[pid=18184/tid=18203] ppid=18183 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/18184/task/18203/stat : 18203 (java) S 18183 18183 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4843295 13587718144 55870 33554432000 4194304 4196468 140733727401728 140082745715808 140083426109141 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38490112 140733727409340 140733727409516 140733727409516 140733727412175 0
[pid=18184/tid=18204] ppid=18183 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/18184/task/18204/stat : 18204 (java) S 18183 18183 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4843296 13587718144 55870 33554432000 4194304 4196468 140733727401728 140082744663088 140083426110082 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38490112 140733727409340 140733727409516 140733727409516 140733727412175 0
Current children cumulated CPU time (s) 2.86
Current children cumulated vsize (KiB) 13278768
[startup+3.10086 s]
/proc/loadavg: 10.85 12.34 12.51 3/287 18204
/proc/meminfo: memFree=24725808/32770624 swapFree=5932/271288
[pid=18183] ppid=18180 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/18183/stat : 18183 (xcsp3-exec) S 18180 18183 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4843287 9740288 346 33554432000 4194304 5098028 140722308141776 140722308139880 140144697025148 0 65536 4100 65538 18446744071579417331 0 0 17 14 0 0 0 0 0 7196144 7232144 12214272 140722308146319 140722308146528 140722308146528 140722308149227 0
/proc/18183/statm: 2378 346 289 221 0 87 0
[pid=18184] ppid=18183 vsize=13269256 CPUtime=5.35 cores=4-7,12-15
/proc/18184/stat : 18184 (java) S 18183 18183 18810 0 -1 1077944320 13633 0 0 0 444 91 0 0 20 0 20 0 4843287 13587718144 109964 33554432000 4194304 4196468 140733727401728 140733727384272 140083426098935 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 38490112 140733727409340 140733727409516 140733727409516 140733727412175 0
/proc/18184/statm: 3317314 109964 3235 1 0 3304547 0
[pid=18184/tid=18185] ppid=18183 vsize=13269256 CPUtime=2.88 cores=4-7,12-15
/proc/18184/task/18185/stat : 18185 (java) R 18183 18183 18810 0 -1 4202560 6962 0 0 0 283 5 0 0 20 0 20 0 4843288 13587718144 109964 33554432000 4194304 4196468 140733727401728 140083430334456 140083063376374 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38490112 140733727409340 140733727409516 140733727409516 140733727412175 0
[pid=18184/tid=18187] ppid=18183 vsize=13269256 CPUtime=0.16 cores=4-7,12-15
/proc/18184/task/18187/stat : 18187 (java) S 18183 18183 18810 0 -1 1077944384 91 0 0 0 6 10 0 0 20 0 20 0 4843289 13587718144 109964 33554432000 4194304 4196468 140733727401728 140083025345680 140083426109141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38490112 140733727409340 140733727409516 140733727409516 140733727412175 0
[pid=18184/tid=18188] ppid=18183 vsize=13269256 CPUtime=0.17 cores=4-7,12-15
/proc/18184/task/18188/stat : 18188 (java) S 18183 18183 18810 0 -1 1077944384 75 0 0 0 7 10 0 0 20 0 20 0 4843289 13587718144 109964 33554432000 4194304 4196468 140733727401728 140083024292880 140083426109141 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 38490112 140733727409340 140733727409516 140733727409516 140733727412175 0
[pid=18184/tid=18189] ppid=18183 vsize=13269256 CPUtime=0.16 cores=4-7,12-15
/proc/18184/task/18189/stat : 18189 (java) S 18183 18183 18810 0 -1 1077944384 80 0 0 0 6 10 0 0 20 0 20 0 4843289 13587718144 109964 33554432000 4194304 4196468 140733727401728 140083023240080 140083426109141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38490112 140733727409340 140733727409516 140733727409516 140733727412175 0
[pid=18184/tid=18190] ppid=18183 vsize=13269256 CPUtime=0.15 cores=4-7,12-15
/proc/18184/task/18190/stat : 18190 (java) S 18183 18183 18810 0 -1 1077944384 69 0 0 0 6 9 0 0 20 0 20 0 4843289 13587718144 109964 33554432000 4194304 4196468 140733727401728 140083022187280 140083426109141 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 38490112 140733727409340 140733727409516 140733727409516 140733727412175 0
[pid=18184/tid=18191] ppid=18183 vsize=13269256 CPUtime=0.16 cores=4-7,12-15
/proc/18184/task/18191/stat : 18191 (java) S 18183 18183 18810 0 -1 1077944384 91 0 0 0 7 9 0 0 20 0 20 0 4843289 13587718144 109964 33554432000 4194304 4196468 140733727401728 140083021134480 140083426109141 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38490112 140733727409340 140733727409516 140733727409516 140733727412175 0
[pid=18184/tid=18192] ppid=18183 vsize=13269256 CPUtime=0.16 cores=4-7,12-15
/proc/18184/task/18192/stat : 18192 (java) S 18183 18183 18810 0 -1 1077944384 82 0 0 0 6 10 0 0 20 0 20 0 4843289 13587718144 109964 33554432000 4194304 4196468 140733727401728 140083020081680 140083426109141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38490112 140733727409340 140733727409516 140733727409516 140733727412175 0
[pid=18184/tid=18193] ppid=18183 vsize=13269256 CPUtime=0.16 cores=4-7,12-15
/proc/18184/task/18193/stat : 18193 (java) S 18183 18183 18810 0 -1 1077944384 317 0 0 0 6 10 0 0 20 0 20 0 4843289 13587718144 109964 33554432000 4194304 4196468 140733727401728 140083019028880 140083426109141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38490112 140733727409340 140733727409516 140733727409516 140733727412175 0
[pid=18184/tid=18194] ppid=18183 vsize=13269256 CPUtime=0.16 cores=4-7,12-15
/proc/18184/task/18194/stat : 18194 (java) S 18183 18183 18810 0 -1 1077944384 83 0 0 0 6 10 0 0 20 0 20 0 4843289 13587718144 109964 33554432000 4194304 4196468 140733727401728 140083017976080 140083426109141 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38490112 140733727409340 140733727409516 140733727409516 140733727412175 0
[pid=18184/tid=18195] ppid=18183 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/18184/task/18195/stat : 18195 (java) S 18183 18183 18810 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 20 0 4843291 13587718144 109964 33554432000 4194304 4196468 140733727401728 140082754136944 140083426110082 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38490112 140733727409340 140733727409516 140733727409516 140733727412175 0
[pid=18184/tid=18196] ppid=18183 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/18184/task/18196/stat : 18196 (java) S 18183 18183 18810 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 20 0 4843292 13587718144 109964 33554432000 4194304 4196468 140733727401728 140082753082912 140083426109141 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38490112 140733727409340 140733727409516 140733727409516 140733727412175 0
[pid=18184/tid=18197] ppid=18183 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/18184/task/18197/stat : 18197 (java) S 18183 18183 18810 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 4843292 13587718144 109964 33554432000 4194304 4196468 140733727401728 140082752030064 140083426109141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38490112 140733727409340 140733727409516 140733727409516 140733727412175 0
[pid=18184/tid=18198] ppid=18183 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/18184/task/18198/stat : 18198 (java) S 18183 18183 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4843295 13587718144 109964 33554432000 4194304 4196468 140733727401728 140082750978384 140083426117531 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38490112 140733727409340 140733727409516 140733727409516 140733727412175 0
[pid=18184/tid=18199] ppid=18183 vsize=13269256 CPUtime=0.24 cores=4-7,12-15
/proc/18184/task/18199/stat : 18199 (java) S 18183 18183 18810 0 -1 1077944384 844 0 0 0 24 0 0 0 20 0 20 0 4843295 13587718144 109964 33554432000 4194304 4196468 140733727401728 140082749925744 140083426110082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38490112 140733727409340 140733727409516 140733727409516 140733727412175 0
[pid=18184/tid=18200] ppid=18183 vsize=13269256 CPUtime=0.24 cores=4-7,12-15
/proc/18184/task/18200/stat : 18200 (java) S 18183 18183 18810 0 -1 1077944384 1074 0 0 0 24 0 0 0 20 0 20 0 4843295 13587718144 109964 33554432000 4194304 4196468 140733727401728 140082748872944 140083426110082 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 38490112 140733727409340 140733727409516 140733727409516 140733727412175 0
[pid=18184/tid=18201] ppid=18183 vsize=13269256 CPUtime=0.18 cores=4-7,12-15
/proc/18184/task/18201/stat : 18201 (java) S 18183 18183 18810 0 -1 1077944384 761 0 0 0 18 0 0 0 20 0 20 0 4843295 13587718144 109964 33554432000 4194304 4196468 140733727401728 140082747820144 140083426110082 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38490112 140733727409340 140733727409516 140733727409516 140733727412175 0
[pid=18184/tid=18202] ppid=18183 vsize=13269256 CPUtime=0.38 cores=4-7,12-15
/proc/18184/task/18202/stat : 18202 (java) S 18183 18183 18810 0 -1 1077944384 1597 0 0 0 38 0 0 0 20 0 20 0 4843295 13587718144 109964 33554432000 4194304 4196468 140733727401728 140082746767344 140083426110082 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38490112 140733727409340 140733727409516 140733727409516 140733727412175 0
[pid=18184/tid=18203] ppid=18183 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/18184/task/18203/stat : 18203 (java) S 18183 18183 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4843295 13587718144 109964 33554432000 4194304 4196468 140733727401728 140082745715808 140083426109141 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38490112 140733727409340 140733727409516 140733727409516 140733727412175 0
[pid=18184/tid=18204] ppid=18183 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/18184/task/18204/stat : 18204 (java) S 18183 18183 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4843296 13587718144 109964 33554432000 4194304 4196468 140733727401728 140082744663088 140083426110082 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38490112 140733727409340 140733727409516 140733727409516 140733727412175 0
Current children cumulated CPU time (s) 5.35
Current children cumulated vsize (KiB) 13278768
[startup+6.30132 s]
/proc/loadavg: 10.85 12.34 12.51 3/287 18204
/proc/meminfo: memFree=24296920/32770624 swapFree=5932/271296
[pid=18183] ppid=18180 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/18183/stat : 18183 (xcsp3-exec) S 18180 18183 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4843287 9740288 346 33554432000 4194304 5098028 140722308141776 140722308139880 140144697025148 0 65536 4100 65538 18446744071579417331 0 0 17 14 0 0 0 0 0 7196144 7232144 12214272 140722308146319 140722308146528 140722308146528 140722308149227 0
/proc/18183/statm: 2378 346 289 221 0 87 0
[pid=18184] ppid=18183 vsize=13269256 CPUtime=9.89 cores=4-7,12-15
/proc/18184/stat : 18184 (java) S 18183 18183 18810 0 -1 1077944320 15417 0 0 0 806 183 0 0 20 0 20 0 4843287 13587718144 203677 33554432000 4194304 4196468 140733727401728 140733727384272 140083426098935 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 38490112 140733727409340 140733727409516 140733727409516 140733727412175 0
/proc/18184/statm: 3317314 203677 3236 1 0 3304547 0
[pid=18184/tid=18185] ppid=18183 vsize=13269256 CPUtime=5.9 cores=4-7,12-15
/proc/18184/task/18185/stat : 18185 (java) R 18183 18183 18810 0 -1 4202560 7515 0 0 0 581 9 0 0 20 0 20 0 4843288 13587718144 203677 33554432000 4194304 4196468 140733727401728 140083430336312 140083063376374 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38490112 140733727409340 140733727409516 140733727409516 140733727412175 0
[pid=18184/tid=18187] ppid=18183 vsize=13269256 CPUtime=0.35 cores=4-7,12-15
/proc/18184/task/18187/stat : 18187 (java) S 18183 18183 18810 0 -1 1077944384 168 0 0 0 14 21 0 0 20 0 20 0 4843289 13587718144 203677 33554432000 4194304 4196468 140733727401728 140083025345680 140083426109141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38490112 140733727409340 140733727409516 140733727409516 140733727412175 0
[pid=18184/tid=18188] ppid=18183 vsize=13269256 CPUtime=0.35 cores=4-7,12-15
/proc/18184/task/18188/stat : 18188 (java) S 18183 18183 18810 0 -1 1077944384 152 0 0 0 14 21 0 0 20 0 20 0 4843289 13587718144 203677 33554432000 4194304 4196468 140733727401728 140083024292880 140083426109141 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 38490112 140733727409340 140733727409516 140733727409516 140733727412175 0
[pid=18184/tid=18189] ppid=18183 vsize=13269256 CPUtime=0.34 cores=4-7,12-15
/proc/18184/task/18189/stat : 18189 (java) S 18183 18183 18810 0 -1 1077944384 157 0 0 0 13 21 0 0 20 0 20 0 4843289 13587718144 203677 33554432000 4194304 4196468 140733727401728 140083023240080 140083426109141 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38490112 140733727409340 140733727409516 140733727409516 140733727412175 0
[pid=18184/tid=18190] ppid=18183 vsize=13269256 CPUtime=0.33 cores=4-7,12-15
/proc/18184/task/18190/stat : 18190 (java) S 18183 18183 18810 0 -1 1077944384 147 0 0 0 13 20 0 0 20 0 20 0 4843289 13587718144 203677 33554432000 4194304 4196468 140733727401728 140083022187280 140083426109141 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 38490112 140733727409340 140733727409516 140733727409516 140733727412175 0
[pid=18184/tid=18191] ppid=18183 vsize=13269256 CPUtime=0.35 cores=4-7,12-15
/proc/18184/task/18191/stat : 18191 (java) S 18183 18183 18810 0 -1 1077944384 168 0 0 0 15 20 0 0 20 0 20 0 4843289 13587718144 203677 33554432000 4194304 4196468 140733727401728 140083021134480 140083426109141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38490112 140733727409340 140733727409516 140733727409516 140733727412175 0
[pid=18184/tid=18192] ppid=18183 vsize=13269256 CPUtime=0.34 cores=4-7,12-15
/proc/18184/task/18192/stat : 18192 (java) S 18183 18183 18810 0 -1 1077944384 157 0 0 0 14 20 0 0 20 0 20 0 4843289 13587718144 203677 33554432000 4194304 4196468 140733727401728 140083020081680 140083426109141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38490112 140733727409340 140733727409516 140733727409516 140733727412175 0
[pid=18184/tid=18193] ppid=18183 vsize=13269256 CPUtime=0.34 cores=4-7,12-15
/proc/18184/task/18193/stat : 18193 (java) S 18183 18183 18810 0 -1 1077944384 395 0 0 0 13 21 0 0 20 0 20 0 4843289 13587718144 203677 33554432000 4194304 4196468 140733727401728 140083019028880 140083426109141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38490112 140733727409340 140733727409516 140733727409516 140733727412175 0
[pid=18184/tid=18194] ppid=18183 vsize=13269256 CPUtime=0.34 cores=4-7,12-15
/proc/18184/task/18194/stat : 18194 (java) S 18183 18183 18810 0 -1 1077944384 158 0 0 0 13 21 0 0 20 0 20 0 4843289 13587718144 203677 33554432000 4194304 4196468 140733727401728 140083017976080 140083426109141 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38490112 140733727409340 140733727409516 140733727409516 140733727412175 0
[pid=18184/tid=18195] ppid=18183 vsize=13269256 CPUtime=0.01 cores=4-7,12-15
/proc/18184/task/18195/stat : 18195 (java) S 18183 18183 18810 0 -1 1077944384 542 0 0 0 1 0 0 0 20 0 20 0 4843291 13587718144 203677 33554432000 4194304 4196468 140733727401728 140082754136944 140083426110082 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38490112 140733727409340 140733727409516 140733727409516 140733727412175 0
[pid=18184/tid=18196] ppid=18183 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/18184/task/18196/stat : 18196 (java) S 18183 18183 18810 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 20 0 4843292 13587718144 203677 33554432000 4194304 4196468 140733727401728 140082753082912 140083426109141 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38490112 140733727409340 140733727409516 140733727409516 140733727412175 0
[pid=18184/tid=18197] ppid=18183 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/18184/task/18197/stat : 18197 (java) S 18183 18183 18810 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 4843292 13587718144 203677 33554432000 4194304 4196468 140733727401728 140082752030064 140083426109141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38490112 140733727409340 140733727409516 140733727409516 140733727412175 0
[pid=18184/tid=18198] ppid=18183 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/18184/task/18198/stat : 18198 (java) S 18183 18183 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4843295 13587718144 203677 33554432000 4194304 4196468 140733727401728 140082750978384 140083426117531 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38490112 140733727409340 140733727409516 140733727409516 140733727412175 0
################
# More data... #
################
/proc/18184/task/18196/stat : 18196 (java) S 18183 18183 18810 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 28 0 4843292 14133010432 2126530 33554432000 4194304 4196468 140733727401728 140082753082976 140083426109141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38490112 140733727409340 140733727409516 140733727409516 140733727412175 0
[pid=18184/tid=18197] ppid=18183 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/18184/task/18197/stat : 18197 (java) S 18183 18183 18810 0 -1 1077944384 119 0 0 0 0 0 0 0 20 0 28 0 4843292 14133010432 2126530 33554432000 4194304 4196468 140733727401728 140082752030080 140083426109141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38490112 140733727409340 140733727409516 140733727409516 140733727412175 0
[pid=18184/tid=18198] ppid=18183 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/18184/task/18198/stat : 18198 (java) S 18183 18183 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4843295 14133010432 2126530 33554432000 4194304 4196468 140733727401728 140082750978384 140083426117531 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38490112 140733727409340 140733727409516 140733727409516 140733727412175 0
[pid=18184/tid=18199] ppid=18183 vsize=13801768 CPUtime=2 cores=4-7,12-15
/proc/18184/task/18199/stat : 18199 (java) S 18183 18183 18810 0 -1 1077944384 10153 0 0 0 199 1 0 0 20 0 28 0 4843295 14133010432 2126530 33554432000 4194304 4196468 140733727401728 140082749925744 140083426110082 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 38490112 140733727409340 140733727409516 140733727409516 140733727412175 0
[pid=18184/tid=18200] ppid=18183 vsize=13801768 CPUtime=1.69 cores=4-7,12-15
/proc/18184/task/18200/stat : 18200 (java) S 18183 18183 18810 0 -1 1077944384 7886 0 0 0 168 1 0 0 20 0 28 0 4843295 14133010432 2126530 33554432000 4194304 4196468 140733727401728 140082748872944 140083426110082 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 38490112 140733727409340 140733727409516 140733727409516 140733727412175 0
[pid=18184/tid=18201] ppid=18183 vsize=13801768 CPUtime=1.62 cores=4-7,12-15
/proc/18184/task/18201/stat : 18201 (java) R 18183 18183 18810 0 -1 4202560 7655 0 0 0 161 1 0 0 20 0 28 0 4843295 14133010432 2126530 33554432000 4194304 4196468 140733727401728 140082747806112 140083409486581 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 38490112 140733727409340 140733727409516 140733727409516 140733727412175 0
[pid=18184/tid=18202] ppid=18183 vsize=13801768 CPUtime=0.79 cores=4-7,12-15
/proc/18184/task/18202/stat : 18202 (java) R 18183 18183 18810 0 -1 1077944384 5680 0 0 0 78 1 0 0 20 0 28 0 4843295 14133010432 2126530 33554432000 4194304 4196468 140733727401728 140082746767344 140083426110082 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 38490112 140733727409340 140733727409516 140733727409516 140733727412175 0
[pid=18184/tid=18203] ppid=18183 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/18184/task/18203/stat : 18203 (java) S 18183 18183 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4843295 14133010432 2126530 33554432000 4194304 4196468 140733727401728 140082745715808 140083426109141 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38490112 140733727409340 140733727409516 140733727409516 140733727412175 0
[pid=18184/tid=18204] ppid=18183 vsize=13801768 CPUtime=0.07 cores=4-7,12-15
/proc/18184/task/18204/stat : 18204 (java) S 18183 18183 18810 0 -1 1077944384 178 0 0 0 3 4 0 0 20 0 28 0 4843296 14133010432 2126530 33554432000 4194304 4196468 140733727401728 140082744663088 140083426110082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38490112 140733727409340 140733727409516 140733727409516 140733727412175 0
[pid=18184/tid=18208] ppid=18183 vsize=13801768 CPUtime=0.75 cores=4-7,12-15
/proc/18184/task/18208/stat : 18208 (java) R 18183 18183 18810 0 -1 4202560 103 0 0 0 75 0 0 0 20 0 28 0 4857771 14133010432 2126530 33554432000 4194304 4196468 140733727401728 140082736647272 140083066895503 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38490112 140733727409340 140733727409516 140733727409516 140733727412175 0
[pid=18184/tid=18209] ppid=18183 vsize=13801768 CPUtime=0.86 cores=4-7,12-15
/proc/18184/task/18209/stat : 18209 (java) R 18183 18183 18810 0 -1 4202560 38 0 0 0 86 0 0 0 20 0 28 0 4857771 14133010432 2126530 33554432000 4194304 4196468 140733727401728 140082735597672 140083067181434 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 38490112 140733727409340 140733727409516 140733727409516 140733727412175 0
[pid=18184/tid=18210] ppid=18183 vsize=13801768 CPUtime=0.71 cores=4-7,12-15
/proc/18184/task/18210/stat : 18210 (java) R 18183 18183 18810 0 -1 4202560 39 0 0 0 71 0 0 0 20 0 28 0 4857771 14133010432 2126530 33554432000 4194304 4196468 140733727401728 140082734543328 140083067181429 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38490112 140733727409340 140733727409516 140733727409516 140733727412175 0
[pid=18184/tid=18211] ppid=18183 vsize=13801768 CPUtime=0.87 cores=4-7,12-15
/proc/18184/task/18211/stat : 18211 (java) R 18183 18183 18810 0 -1 4202560 160 0 0 0 87 0 0 0 20 0 28 0 4857771 14133010432 2126530 33554432000 4194304 4196468 140733727401728 140082733491136 140083426110870 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38490112 140733727409340 140733727409516 140733727409516 140733727412175 0
[pid=18184/tid=18212] ppid=18183 vsize=13801768 CPUtime=0.87 cores=4-7,12-15
/proc/18184/task/18212/stat : 18212 (java) R 18183 18183 18810 0 -1 4202560 74 0 0 0 87 0 0 0 20 0 28 0 4857771 14133010432 2126530 33554432000 4194304 4196468 140733727401728 140082732438808 140083067180784 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38490112 140733727409340 140733727409516 140733727409516 140733727412175 0
[pid=18184/tid=18213] ppid=18183 vsize=13801768 CPUtime=0.97 cores=4-7,12-15
/proc/18184/task/18213/stat : 18213 (java) R 18183 18183 18810 0 -1 4202560 32 0 0 0 97 0 0 0 20 0 28 0 4857771 14133010432 2126530 33554432000 4194304 4196468 140733727401728 140082731384360 140083066893680 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38490112 140733727409340 140733727409516 140733727409516 140733727412175 0
[pid=18184/tid=18214] ppid=18183 vsize=13801768 CPUtime=0.91 cores=4-7,12-15
/proc/18184/task/18214/stat : 18214 (java) R 18183 18183 18810 0 -1 4202560 40 0 0 0 91 0 0 0 20 0 28 0 4857771 14133010432 2126530 33554432000 4194304 4196468 140733727401728 140082730334592 140083067180697 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 38490112 140733727409340 140733727409516 140733727409516 140733727412175 0
[pid=18184/tid=18215] ppid=18183 vsize=13801768 CPUtime=0.89 cores=4-7,12-15
/proc/18184/task/18215/stat : 18215 (java) R 18183 18183 18810 0 -1 4202560 33 0 0 0 89 0 0 0 20 0 28 0 4857771 14133010432 2126530 33554432000 4194304 4196468 140733727401728 140082729279424 140083067181434 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 38490112 140733727409340 140733727409516 140733727409516 140733727412175 0
Current children cumulated CPU time (s) 307.38
Current children cumulated vsize (KiB) 13811280
[startup+146.201 s]
/proc/loadavg: 8.51 10.66 11.84 19/295 18215
/proc/meminfo: memFree=13165452/32770624 swapFree=5932/271428
[pid=18183] ppid=18180 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/18183/stat : 18183 (xcsp3-exec) S 18180 18183 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4843287 9740288 346 33554432000 4194304 5098028 140722308141776 140722308139880 140144697025148 0 65536 4100 65538 18446744071579417331 0 0 17 14 0 0 0 0 0 7196144 7232144 12214272 140722308146319 140722308146528 140722308146528 140722308149227 0
/proc/18183/statm: 2378 346 289 221 0 87 0
[pid=18184] ppid=18183 vsize=13801768 CPUtime=308.97 cores=4-7,12-15
/proc/18184/stat : 18184 (java) S 18183 18183 18810 0 -1 1077944320 195902 0 0 0 28546 2351 0 0 20 0 28 0 4843287 14133010432 2126983 33554432000 4194304 4196468 140733727401728 140733727384272 140083426098935 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 38490112 140733727409340 140733727409516 140733727409516 140733727412175 0
/proc/18184/statm: 3450442 2126983 3278 1 0 3437675 0
[pid=18184/tid=18185] ppid=18183 vsize=13801768 CPUtime=121.66 cores=4-7,12-15
/proc/18184/task/18185/stat : 18185 (java) S 18183 18183 18810 0 -1 1077944384 20280 0 0 0 12133 33 0 0 20 0 28 0 4843288 14133010432 2126983 33554432000 4194304 4196468 140733727401728 140083430339712 140083426109141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38490112 140733727409340 140733727409516 140733727409516 140733727412175 0
[pid=18184/tid=18187] ppid=18183 vsize=13801768 CPUtime=21.34 cores=4-7,12-15
/proc/18184/task/18187/stat : 18187 (java) S 18183 18183 18810 0 -1 1077944384 10341 0 0 0 1835 299 0 0 20 0 28 0 4843289 14133010432 2126983 33554432000 4194304 4196468 140733727401728 140083025345680 140083426109141 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 38490112 140733727409340 140733727409516 140733727409516 140733727412175 0
[pid=18184/tid=18188] ppid=18183 vsize=13801768 CPUtime=21.49 cores=4-7,12-15
/proc/18184/task/18188/stat : 18188 (java) S 18183 18183 18810 0 -1 1077944384 34977 0 0 0 1856 293 0 0 20 0 28 0 4843289 14133010432 2126983 33554432000 4194304 4196468 140733727401728 140083024292880 140083426109141 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38490112 140733727409340 140733727409516 140733727409516 140733727412175 0
[pid=18184/tid=18189] ppid=18183 vsize=13801768 CPUtime=21.39 cores=4-7,12-15
/proc/18184/task/18189/stat : 18189 (java) S 18183 18183 18810 0 -1 1077944384 12423 0 0 0 1853 286 0 0 20 0 28 0 4843289 14133010432 2126983 33554432000 4194304 4196468 140733727401728 140083023240080 140083426109141 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 38490112 140733727409340 140733727409516 140733727409516 140733727412175 0
[pid=18184/tid=18190] ppid=18183 vsize=13801768 CPUtime=21.38 cores=4-7,12-15
/proc/18184/task/18190/stat : 18190 (java) S 18183 18183 18810 0 -1 1077944384 9297 0 0 0 1821 317 0 0 20 0 28 0 4843289 14133010432 2126983 33554432000 4194304 4196468 140733727401728 140083022187280 140083426109141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38490112 140733727409340 140733727409516 140733727409516 140733727412175 0
[pid=18184/tid=18191] ppid=18183 vsize=13801768 CPUtime=21.26 cores=4-7,12-15
/proc/18184/task/18191/stat : 18191 (java) S 18183 18183 18810 0 -1 1077944384 9454 0 0 0 1849 277 0 0 20 0 28 0 4843289 14133010432 2126983 33554432000 4194304 4196468 140733727401728 140083021134480 140083426109141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38490112 140733727409340 140733727409516 140733727409516 140733727412175 0
[pid=18184/tid=18192] ppid=18183 vsize=13801768 CPUtime=21.3 cores=4-7,12-15
/proc/18184/task/18192/stat : 18192 (java) S 18183 18183 18810 0 -1 1077944384 11531 0 0 0 1856 274 0 0 20 0 28 0 4843289 14133010432 2126983 33554432000 4194304 4196468 140733727401728 140083020081680 140083426109141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38490112 140733727409340 140733727409516 140733727409516 140733727412175 0
[pid=18184/tid=18193] ppid=18183 vsize=13801768 CPUtime=21.53 cores=4-7,12-15
/proc/18184/task/18193/stat : 18193 (java) S 18183 18183 18810 0 -1 1077944384 26036 0 0 0 1875 278 0 0 20 0 28 0 4843289 14133010432 2126983 33554432000 4194304 4196468 140733727401728 140083019028880 140083426109141 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38490112 140733727409340 140733727409516 140733727409516 140733727412175 0
[pid=18184/tid=18194] ppid=18183 vsize=13801768 CPUtime=21.44 cores=4-7,12-15
/proc/18184/task/18194/stat : 18194 (java) S 18183 18183 18810 0 -1 1077944384 12487 0 0 0 1869 275 0 0 20 0 28 0 4843289 14133010432 2126983 33554432000 4194304 4196468 140733727401728 140083017976080 140083426109141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38490112 140733727409340 140733727409516 140733727409516 140733727412175 0
[pid=18184/tid=18195] ppid=18183 vsize=13801768 CPUtime=1.38 cores=4-7,12-15
/proc/18184/task/18195/stat : 18195 (java) S 18183 18183 18810 0 -1 1077944384 15138 0 0 0 137 1 0 0 20 0 28 0 4843291 14133010432 2126983 33554432000 4194304 4196468 140733727401728 140082754136944 140083426110082 0 0 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 38490112 140733727409340 140733727409516 140733727409516 140733727412175 0
[pid=18184/tid=18196] ppid=18183 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/18184/task/18196/stat : 18196 (java) S 18183 18183 18810 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 28 0 4843292 14133010432 2126983 33554432000 4194304 4196468 140733727401728 140082753082976 140083426109141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38490112 140733727409340 140733727409516 140733727409516 140733727412175 0
[pid=18184/tid=18197] ppid=18183 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/18184/task/18197/stat : 18197 (java) S 18183 18183 18810 0 -1 1077944384 119 0 0 0 0 0 0 0 20 0 28 0 4843292 14133010432 2126983 33554432000 4194304 4196468 140733727401728 140082752030080 140083426109141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38490112 140733727409340 140733727409516 140733727409516 140733727412175 0
[pid=18184/tid=18198] ppid=18183 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/18184/task/18198/stat : 18198 (java) S 18183 18183 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4843295 14133010432 2126983 33554432000 4194304 4196468 140733727401728 140082750978384 140083426117531 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38490112 140733727409340 140733727409516 140733727409516 140733727412175 0
[pid=18184/tid=18199] ppid=18183 vsize=13801768 CPUtime=2.02 cores=4-7,12-15
/proc/18184/task/18199/stat : 18199 (java) R 18183 18183 18810 0 -1 4202560 10158 0 0 0 201 1 0 0 20 0 28 0 4843295 14133010432 2126983 33554432000 4194304 4196468 140733727401728 140082749925744 140083410976960 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38490112 140733727409340 140733727409516 140733727409516 140733727412175 0
[pid=18184/tid=18200] ppid=18183 vsize=13801768 CPUtime=1.73 cores=4-7,12-15
/proc/18184/task/18200/stat : 18200 (java) R 18183 18183 18810 0 -1 4202560 7889 0 0 0 172 1 0 0 20 0 28 0 4843295 14133010432 2126983 33554432000 4194304 4196468 140733727401728 140082748873240 140083410998442 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 38490112 140733727409340 140733727409516 140733727409516 140733727412175 0
[pid=18184/tid=18201] ppid=18183 vsize=13801768 CPUtime=1.8 cores=4-7,12-15
/proc/18184/task/18201/stat : 18201 (java) R 18183 18183 18810 0 -1 4202560 8095 0 0 0 178 2 0 0 20 0 28 0 4843295 14133010432 2126983 33554432000 4194304 4196468 140733727401728 140082747806024 140083407643169 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 38490112 140733727409340 140733727409516 140733727409516 140733727412175 0
[pid=18184/tid=18202] ppid=18183 vsize=13801768 CPUtime=0.81 cores=4-7,12-15
/proc/18184/task/18202/stat : 18202 (java) S 18183 18183 18810 0 -1 1077944384 5692 0 0 0 80 1 0 0 20 0 28 0 4843295 14133010432 2126983 33554432000 4194304 4196468 140733727401728 140082746767344 140083426110082 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38490112 140733727409340 140733727409516 140733727409516 140733727412175 0
[pid=18184/tid=18203] ppid=18183 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/18184/task/18203/stat : 18203 (java) S 18183 18183 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4843295 14133010432 2126983 33554432000 4194304 4196468 140733727401728 140082745715808 140083426109141 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38490112 140733727409340 140733727409516 140733727409516 140733727412175 0
[pid=18184/tid=18204] ppid=18183 vsize=13801768 CPUtime=0.07 cores=4-7,12-15
/proc/18184/task/18204/stat : 18204 (java) S 18183 18183 18810 0 -1 1077944384 178 0 0 0 3 4 0 0 20 0 28 0 4843296 14133010432 2126983 33554432000 4194304 4196468 140733727401728 140082744663088 140083426110082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38490112 140733727409340 140733727409516 140733727409516 140733727412175 0
[pid=18184/tid=18208] ppid=18183 vsize=13801768 CPUtime=0.93 cores=4-7,12-15
/proc/18184/task/18208/stat : 18208 (java) R 18183 18183 18810 0 -1 4202560 103 0 0 0 93 0 0 0 20 0 28 0 4857771 14133010432 2126983 33554432000 4194304 4196468 140733727401728 140082736648080 140083066954464 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38490112 140733727409340 140733727409516 140733727409516 140733727412175 0
[pid=18184/tid=18209] ppid=18183 vsize=13801768 CPUtime=1.01 cores=4-7,12-15
/proc/18184/task/18209/stat : 18209 (java) R 18183 18183 18810 0 -1 4202560 38 0 0 0 101 0 0 0 20 0 28 0 4857771 14133010432 2126983 33554432000 4194304 4196468 140733727401728 140082735597872 140083066644794 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 38490112 140733727409340 140733727409516 140733727409516 140733727412175 0
[pid=18184/tid=18210] ppid=18183 vsize=13801768 CPUtime=0.91 cores=4-7,12-15
/proc/18184/task/18210/stat : 18210 (java) R 18183 18183 18810 0 -1 4202560 39 0 0 0 91 0 0 0 20 0 28 0 4857771 14133010432 2126983 33554432000 4194304 4196468 140733727401728 140082734543400 140083066893680 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38490112 140733727409340 140733727409516 140733727409516 140733727412175 0
[pid=18184/tid=18211] ppid=18183 vsize=13801768 CPUtime=0.96 cores=4-7,12-15
/proc/18184/task/18211/stat : 18211 (java) R 18183 18183 18810 0 -1 4202560 160 0 0 0 96 0 0 0 20 0 28 0 4857771 14133010432 2126983 33554432000 4194304 4196468 140733727401728 140082733492248 140083067183015 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38490112 140733727409340 140733727409516 140733727409516 140733727412175 0
[pid=18184/tid=18212] ppid=18183 vsize=13801768 CPUtime=1.07 cores=4-7,12-15
/proc/18184/task/18212/stat : 18212 (java) R 18183 18183 18810 0 -1 4202560 74 0 0 0 107 0 0 0 20 0 28 0 4857771 14133010432 2126983 33554432000 4194304 4196468 140733727401728 140082732437736 140083067180827 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38490112 140733727409340 140733727409516 140733727409516 140733727412175 0
[pid=18184/tid=18213] ppid=18183 vsize=13801768 CPUtime=1.1 cores=4-7,12-15
/proc/18184/task/18213/stat : 18213 (java) R 18183 18183 18810 0 -1 4202560 32 0 0 0 110 0 0 0 20 0 28 0 4857771 14133010432 2126983 33554432000 4194304 4196468 140733727401728 140082731384648 140083059602503 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38490112 140733727409340 140733727409516 140733727409516 140733727412175 0
[pid=18184/tid=18214] ppid=18183 vsize=13801768 CPUtime=1.09 cores=4-7,12-15
/proc/18184/task/18214/stat : 18214 (java) R 18183 18183 18810 0 -1 4202560 40 0 0 0 109 0 0 0 20 0 28 0 4857771 14133010432 2126983 33554432000 4194304 4196468 140733727401728 140082730332656 140083067260795 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 38490112 140733727409340 140733727409516 140733727409516 140733727412175 0
[pid=18184/tid=18215] ppid=18183 vsize=13801768 CPUtime=1.09 cores=4-7,12-15
/proc/18184/task/18215/stat : 18215 (java) R 18183 18183 18810 0 -1 4202560 33 0 0 0 109 0 0 0 20 0 28 0 4857771 14133010432 2126983 33554432000 4194304 4196468 140733727401728 140082729281688 140083066893680 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 38490112 140733727409340 140733727409516 140733727409516 140733727412175 0
Current children cumulated CPU time (s) 308.97
Current children cumulated vsize (KiB) 13811280
[startup+146.302 s]
/proc/loadavg: 8.51 10.66 11.84 19/295 18215
/proc/meminfo: memFree=13152336/32770624 swapFree=5932/271428
[pid=18183] ppid=18180 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/18183/stat : 18183 (xcsp3-exec) S 18180 18183 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4843287 9740288 346 33554432000 4194304 5098028 140722308141776 140722308139880 140144697025148 0 65536 4100 65538 18446744071579417331 0 0 17 14 0 0 0 0 0 7196144 7232144 12214272 140722308146319 140722308146528 140722308146528 140722308149227 0
/proc/18183/statm: 2378 346 289 221 0 87 0
[pid=18184] ppid=18183 vsize=13801768 CPUtime=309.88 cores=4-7,12-15
/proc/18184/stat : 18184 (java) S 18183 18183 18810 0 -1 1077944320 196201 0 0 0 28636 2352 0 0 20 0 28 0 4843287 14133010432 2127300 33554432000 4194304 4196468 140733727401728 140733727384272 140083426098935 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 38490112 140733727409340 140733727409516 140733727409516 140733727412175 0
/proc/18184/statm: 3450442 2127300 3279 1 0 3437675 0
[pid=18184/tid=18185] ppid=18183 vsize=13801768 CPUtime=121.66 cores=4-7,12-15
/proc/18184/task/18185/stat : 18185 (java) S 18183 18183 18810 0 -1 1077944384 20280 0 0 0 12133 33 0 0 20 0 28 0 4843288 14133010432 2127300 33554432000 4194304 4196468 140733727401728 140083430339712 140083426109141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38490112 140733727409340 140733727409516 140733727409516 140733727412175 0
[pid=18184/tid=18187] ppid=18183 vsize=13801768 CPUtime=21.34 cores=4-7,12-15
/proc/18184/task/18187/stat : 18187 (java) S 18183 18183 18810 0 -1 1077944384 10341 0 0 0 1835 299 0 0 20 0 28 0 4843289 14133010432 2127300 33554432000 4194304 4196468 140733727401728 140083025345680 140083426109141 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 38490112 140733727409340 140733727409516 140733727409516 140733727412175 0
[pid=18184/tid=18188] ppid=18183 vsize=13801768 CPUtime=21.49 cores=4-7,12-15
/proc/18184/task/18188/stat : 18188 (java) S 18183 18183 18810 0 -1 1077944384 34977 0 0 0 1856 293 0 0 20 0 28 0 4843289 14133010432 2127300 33554432000 4194304 4196468 140733727401728 140083024292880 140083426109141 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38490112 140733727409340 140733727409516 140733727409516 140733727412175 0
[pid=18184/tid=18189] ppid=18183 vsize=13801768 CPUtime=21.39 cores=4-7,12-15
/proc/18184/task/18189/stat : 18189 (java) S 18183 18183 18810 0 -1 1077944384 12423 0 0 0 1853 286 0 0 20 0 28 0 4843289 14133010432 2127300 33554432000 4194304 4196468 140733727401728 140083023240080 140083426109141 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 38490112 140733727409340 140733727409516 140733727409516 140733727412175 0
[pid=18184/tid=18190] ppid=18183 vsize=13801768 CPUtime=21.38 cores=4-7,12-15
/proc/18184/task/18190/stat : 18190 (java) S 18183 18183 18810 0 -1 1077944384 9297 0 0 0 1821 317 0 0 20 0 28 0 4843289 14133010432 2127300 33554432000 4194304 4196468 140733727401728 140083022187280 140083426109141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38490112 140733727409340 140733727409516 140733727409516 140733727412175 0
[pid=18184/tid=18191] ppid=18183 vsize=13801768 CPUtime=21.26 cores=4-7,12-15
/proc/18184/task/18191/stat : 18191 (java) S 18183 18183 18810 0 -1 1077944384 9454 0 0 0 1849 277 0 0 20 0 28 0 4843289 14133010432 2127300 33554432000 4194304 4196468 140733727401728 140083021134480 140083426109141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38490112 140733727409340 140733727409516 140733727409516 140733727412175 0
[pid=18184/tid=18192] ppid=18183 vsize=13801768 CPUtime=21.3 cores=4-7,12-15
/proc/18184/task/18192/stat : 18192 (java) S 18183 18183 18810 0 -1 1077944384 11531 0 0 0 1856 274 0 0 20 0 28 0 4843289 14133010432 2127300 33554432000 4194304 4196468 140733727401728 140083020081680 140083426109141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38490112 140733727409340 140733727409516 140733727409516 140733727412175 0
[pid=18184/tid=18193] ppid=18183 vsize=13801768 CPUtime=21.53 cores=4-7,12-15
/proc/18184/task/18193/stat : 18193 (java) S 18183 18183 18810 0 -1 1077944384 26036 0 0 0 1875 278 0 0 20 0 28 0 4843289 14133010432 2127300 33554432000 4194304 4196468 140733727401728 140083019028880 140083426109141 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38490112 140733727409340 140733727409516 140733727409516 140733727412175 0
[pid=18184/tid=18194] ppid=18183 vsize=13801768 CPUtime=21.44 cores=4-7,12-15
/proc/18184/task/18194/stat : 18194 (java) S 18183 18183 18810 0 -1 1077944384 12487 0 0 0 1869 275 0 0 20 0 28 0 4843289 14133010432 2127300 33554432000 4194304 4196468 140733727401728 140083017976080 140083426109141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38490112 140733727409340 140733727409516 140733727409516 140733727412175 0
[pid=18184/tid=18195] ppid=18183 vsize=13801768 CPUtime=1.38 cores=4-7,12-15
/proc/18184/task/18195/stat : 18195 (java) S 18183 18183 18810 0 -1 1077944384 15138 0 0 0 137 1 0 0 20 0 28 0 4843291 14133010432 2127300 33554432000 4194304 4196468 140733727401728 140082754136944 140083426110082 0 0 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 38490112 140733727409340 140733727409516 140733727409516 140733727412175 0
[pid=18184/tid=18196] ppid=18183 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/18184/task/18196/stat : 18196 (java) S 18183 18183 18810 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 28 0 4843292 14133010432 2127300 33554432000 4194304 4196468 140733727401728 140082753082976 140083426109141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38490112 140733727409340 140733727409516 140733727409516 140733727412175 0
[pid=18184/tid=18197] ppid=18183 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/18184/task/18197/stat : 18197 (java) S 18183 18183 18810 0 -1 1077944384 119 0 0 0 0 0 0 0 20 0 28 0 4843292 14133010432 2127300 33554432000 4194304 4196468 140733727401728 140082752030080 140083426109141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38490112 140733727409340 140733727409516 140733727409516 140733727412175 0
[pid=18184/tid=18198] ppid=18183 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/18184/task/18198/stat : 18198 (java) S 18183 18183 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4843295 14133010432 2127300 33554432000 4194304 4196468 140733727401728 140082750978384 140083426117531 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38490112 140733727409340 140733727409516 140733727409516 140733727412175 0
[pid=18184/tid=18199] ppid=18183 vsize=13801768 CPUtime=2.07 cores=4-7,12-15
/proc/18184/task/18199/stat : 18199 (java) R 18183 18183 18810 0 -1 4202560 10162 0 0 0 206 1 0 0 20 0 28 0 4843295 14133010432 2127300 33554432000 4194304 4196468 140733727401728 140082749915552 140083403987456 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38490112 140733727409340 140733727409516 140733727409516 140733727412175 0
[pid=18184/tid=18200] ppid=18183 vsize=13801768 CPUtime=1.84 cores=4-7,12-15
/proc/18184/task/18200/stat : 18200 (java) S 18183 18183 18810 0 -1 1077944384 8101 0 0 0 182 2 0 0 20 0 28 0 4843295 14133010432 2127300 33554432000 4194304 4196468 140733727401728 140082748872944 140083426110082 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 38490112 140733727409340 140733727409516 140733727409516 140733727412175 0
[pid=18184/tid=18201] ppid=18183 vsize=13801768 CPUtime=1.89 cores=4-7,12-15
/proc/18184/task/18201/stat : 18201 (java) R 18183 18183 18810 0 -1 4202560 8172 0 0 0 187 2 0 0 20 0 28 0 4843295 14133010432 2127300 33554432000 4194304 4196468 140733727401728 140082747811920 140083403693712 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 38490112 140733727409340 140733727409516 140733727409516 140733727412175 0
[pid=18184/tid=18202] ppid=18183 vsize=13801768 CPUtime=0.82 cores=4-7,12-15
/proc/18184/task/18202/stat : 18202 (java) S 18183 18183 18810 0 -1 1077944384 5696 0 0 0 81 1 0 0 20 0 28 0 4843295 14133010432 2127300 33554432000 4194304 4196468 140733727401728 140082746767344 140083426110082 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 38490112 140733727409340 140733727409516 140733727409516 140733727412175 0
[pid=18184/tid=18203] ppid=18183 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/18184/task/18203/stat : 18203 (java) S 18183 18183 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4843295 14133010432 2127300 33554432000 4194304 4196468 140733727401728 140082745715808 140083426109141 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38490112 140733727409340 140733727409516 140733727409516 140733727412175 0
[pid=18184/tid=18204] ppid=18183 vsize=13801768 CPUtime=0.07 cores=4-7,12-15
/proc/18184/task/18204/stat : 18204 (java) S 18183 18183 18810 0 -1 1077944384 178 0 0 0 3 4 0 0 20 0 28 0 4843296 14133010432 2127300 33554432000 4194304 4196468 140733727401728 140082744663088 140083426110082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38490112 140733727409340 140733727409516 140733727409516 140733727412175 0
[pid=18184/tid=18208] ppid=18183 vsize=13801768 CPUtime=1 cores=4-7,12-15
/proc/18184/task/18208/stat : 18208 (java) R 18183 18183 18810 0 -1 4202560 103 0 0 0 100 0 0 0 20 0 28 0 4857771 14133010432 2127300 33554432000 4194304 4196468 140733727401728 140082736648080 140083067183116 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38490112 140733727409340 140733727409516 140733727409516 140733727412175 0
[pid=18184/tid=18209] ppid=18183 vsize=13801768 CPUtime=1.07 cores=4-7,12-15
/proc/18184/task/18209/stat : 18209 (java) R 18183 18183 18810 0 -1 4202560 38 0 0 0 107 0 0 0 20 0 28 0 4857771 14133010432 2127300 33554432000 4194304 4196468 140733727401728 140082735597792 140083066691454 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 38490112 140733727409340 140733727409516 140733727409516 140733727412175 0
[pid=18184/tid=18210] ppid=18183 vsize=13801768 CPUtime=0.98 cores=4-7,12-15
/proc/18184/task/18210/stat : 18210 (java) R 18183 18183 18810 0 -1 4202560 39 0 0 0 98 0 0 0 20 0 28 0 4857771 14133010432 2127300 33554432000 4194304 4196468 140733727401728 140082734544552 140083066883210 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38490112 140733727409340 140733727409516 140733727409516 140733727412175 0
[pid=18184/tid=18211] ppid=18183 vsize=13801768 CPUtime=1.04 cores=4-7,12-15
/proc/18184/task/18211/stat : 18211 (java) R 18183 18183 18810 0 -1 4202560 160 0 0 0 104 0 0 0 20 0 28 0 4857771 14133010432 2127300 33554432000 4194304 4196468 140733727401728 140082733492248 140083066644602 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38490112 140733727409340 140733727409516 140733727409516 140733727412175 0
[pid=18184/tid=18212] ppid=18183 vsize=13801768 CPUtime=1.19 cores=4-7,12-15
/proc/18184/task/18212/stat : 18212 (java) R 18183 18183 18810 0 -1 4202560 74 0 0 0 119 0 0 0 20 0 28 0 4857771 14133010432 2127300 33554432000 4194304 4196468 140733727401728 140082732438680 140083067181103 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38490112 140733727409340 140733727409516 140733727409516 140733727412175 0
[pid=18184/tid=18213] ppid=18183 vsize=13801768 CPUtime=1.17 cores=4-7,12-15
/proc/18184/task/18213/stat : 18213 (java) R 18183 18183 18810 0 -1 4202560 32 0 0 0 117 0 0 0 20 0 28 0 4857771 14133010432 2127300 33554432000 4194304 4196468 140733727401728 140082731384944 140083426120282 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 38490112 140733727409340 140733727409516 140733727409516 140733727412175 0
[pid=18184/tid=18214] ppid=18183 vsize=13801768 CPUtime=1.18 cores=4-7,12-15
/proc/18184/task/18214/stat : 18214 (java) R 18183 18183 18810 0 -1 4202560 42 0 0 0 118 0 0 0 20 0 28 0 4857771 14133010432 2127300 33554432000 4194304 4196468 140733727401728 140082730334896 140083067252074 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 38490112 140733727409340 140733727409516 140733727409516 140733727412175 0
[pid=18184/tid=18215] ppid=18183 vsize=13801768 CPUtime=1.21 cores=4-7,12-15
/proc/18184/task/18215/stat : 18215 (java) R 18183 18183 18810 0 -1 4202560 33 0 0 0 121 0 0 0 20 0 28 0 4857771 14133010432 2127300 33554432000 4194304 4196468 140733727401728 140082729281976 140083066893279 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 38490112 140733727409340 140733727409516 140733727409516 140733727412175 0
Current children cumulated CPU time (s) 309.88
Current children cumulated vsize (KiB) 13811280
Child status: 0
Real time (s): 146.389
CPU time (s): 310.134
CPU user time (s): 286.569
CPU system time (s): 23.5654
CPU usage (%): 211.857
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 286.569
system time used= 23.5654
maximum resident set size= 8509964
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 196812
page faults= 0
swaps= 0
block input operations= 0
block output operations= 312
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11664
involuntary context switches= 20983
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.950831 second user time and 1.7711 second system time
The end