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-4245424-1500685744/watcher-4245424-1500685744 -o /tmp/evaluation-result-4245424-1500685744/solver-4245424-1500685744 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1500684128-16796 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1639000783 HOME/instance-4245424-1500685744.xml
pid=23173
running on 8 cores: 0,2,4,6,8,10,12,14
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.46 14.43 12.95 3/267 23176
/proc/meminfo: memFree=27427384/32770624 swapFree=5892/83260
[pid=23176] ppid=23173 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/23176/stat : 23176 (xcsp3-exec) S 23173 23176 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3844039 9740288 346 33554432000 4194304 5098028 140729737300032 140729737298136 140678510527100 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 28270592 140729737307278 140729737307488 140729737307488 140729737310187 0
/proc/23176/statm: 2378 346 289 221 0 87 0
[startup+0.10013 s]
/proc/loadavg: 11.46 14.43 12.95 3/267 23176
/proc/meminfo: memFree=27427384/32770624 swapFree=5892/83260
[pid=23176] ppid=23173 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/23176/stat : 23176 (xcsp3-exec) S 23173 23176 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3844039 9740288 346 33554432000 4194304 5098028 140729737300032 140729737298136 140678510527100 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 28270592 140729737307278 140729737307488 140729737307488 140729737310187 0
/proc/23176/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200344 s]
/proc/loadavg: 11.46 14.43 12.95 3/267 23176
/proc/meminfo: memFree=27427384/32770624 swapFree=5892/83260
[pid=23176] ppid=23173 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/23176/stat : 23176 (xcsp3-exec) S 23173 23176 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3844039 9740288 346 33554432000 4194304 5098028 140729737300032 140729737298136 140678510527100 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 28270592 140729737307278 140729737307488 140729737307488 140729737310187 0
/proc/23176/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300315 s]
/proc/loadavg: 11.46 14.43 12.95 3/267 23176
/proc/meminfo: memFree=27427384/32770624 swapFree=5892/83260
[pid=23176] ppid=23173 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/23176/stat : 23176 (xcsp3-exec) S 23173 23176 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3844039 9740288 346 33554432000 4194304 5098028 140729737300032 140729737298136 140678510527100 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 28270592 140729737307278 140729737307488 140729737307488 140729737310187 0
/proc/23176/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700161 s]
/proc/loadavg: 11.46 14.43 12.95 3/267 23176
/proc/meminfo: memFree=27427384/32770624 swapFree=5892/83260
[pid=23176] ppid=23173 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/23176/stat : 23176 (xcsp3-exec) S 23173 23176 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3844039 9740288 346 33554432000 4194304 5098028 140729737300032 140729737298136 140678510527100 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 28270592 140729737307278 140729737307488 140729737307488 140729737310187 0
/proc/23176/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50074 s]
/proc/loadavg: 11.46 14.43 12.95 6/288 23197
/proc/meminfo: memFree=27141840/32770624 swapFree=5892/79696
[pid=23176] ppid=23173 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/23176/stat : 23176 (xcsp3-exec) S 23173 23176 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3844039 9740288 346 33554432000 4194304 5098028 140729737300032 140729737298136 140678510527100 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 28270592 140729737307278 140729737307488 140729737307488 140729737310187 0
/proc/23176/statm: 2378 346 289 221 0 87 0
[pid=23177] ppid=23176 vsize=13269256 CPUtime=4.4 cores=0,2,4,6,8,10,12,14
/proc/23177/stat : 23177 (java) S 23176 23176 15667 0 -1 1077944320 15834 0 0 0 416 24 0 0 20 0 20 0 3844039 13587718144 83300 33554432000 4194304 4196468 140723582842032 140723582824576 140368300015351 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 15581184 140723582846140 140723582846316 140723582846316 140723582848975 0
/proc/23177/statm: 3317314 83300 3224 1 0 3304547 0
[pid=23177/tid=23178] ppid=23176 vsize=13269256 CPUtime=1.42 cores=0,2,4,6,8,10,12,14
/proc/23177/task/23178/stat : 23178 (java) R 23176 23176 15667 0 -1 4202560 6788 0 0 0 135 7 0 0 20 0 20 0 3844040 13587718144 83300 33554432000 4194304 4196468 140723582842032 140368304246032 140368284058981 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 15581184 140723582846140 140723582846316 140723582846316 140723582848975 0
[pid=23177/tid=23180] ppid=23176 vsize=13269256 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/23177/task/23180/stat : 23180 (java) S 23176 23176 15667 0 -1 1077944384 22 0 0 0 1 1 0 0 20 0 20 0 3844041 13587718144 83300 33554432000 4194304 4196468 140723582842032 140368256568336 140368300025557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15581184 140723582846140 140723582846316 140723582846316 140723582848975 0
[pid=23177/tid=23181] ppid=23176 vsize=13269256 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/23177/task/23181/stat : 23181 (java) S 23176 23176 15667 0 -1 1077944384 16 0 0 0 1 1 0 0 20 0 20 0 3844041 13587718144 83300 33554432000 4194304 4196468 140723582842032 140367898541200 140368300025557 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 15581184 140723582846140 140723582846316 140723582846316 140723582848975 0
[pid=23177/tid=23182] ppid=23176 vsize=13269256 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/23177/task/23182/stat : 23182 (java) S 23176 23176 15667 0 -1 1077944384 16 0 0 0 1 1 0 0 20 0 20 0 3844041 13587718144 83300 33554432000 4194304 4196468 140723582842032 140367897488144 140368300025557 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 15581184 140723582846140 140723582846316 140723582846316 140723582848975 0
[pid=23177/tid=23183] ppid=23176 vsize=13269256 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/23177/task/23183/stat : 23183 (java) S 23176 23176 15667 0 -1 1077944384 18 0 0 0 1 1 0 0 20 0 20 0 3844041 13587718144 83300 33554432000 4194304 4196468 140723582842032 140367896435600 140368300025557 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 15581184 140723582846140 140723582846316 140723582846316 140723582848975 0
[pid=23177/tid=23184] ppid=23176 vsize=13269256 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/23177/task/23184/stat : 23184 (java) S 23176 23176 15667 0 -1 1077944384 18 0 0 0 2 1 0 0 20 0 20 0 3844041 13587718144 83300 33554432000 4194304 4196468 140723582842032 140367895382544 140368300025557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15581184 140723582846140 140723582846316 140723582846316 140723582848975 0
[pid=23177/tid=23185] ppid=23176 vsize=13269256 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/23177/task/23185/stat : 23185 (java) S 23176 23176 15667 0 -1 1077944384 17 0 0 0 1 1 0 0 20 0 20 0 3844041 13587718144 83300 33554432000 4194304 4196468 140723582842032 140367894330000 140368300025557 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 15581184 140723582846140 140723582846316 140723582846316 140723582848975 0
[pid=23177/tid=23186] ppid=23176 vsize=13269256 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/23177/task/23186/stat : 23186 (java) S 23176 23176 15667 0 -1 1077944384 11 0 0 0 1 1 0 0 20 0 20 0 3844041 13587718144 83300 33554432000 4194304 4196468 140723582842032 140367893276944 140368300025557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15581184 140723582846140 140723582846316 140723582846316 140723582848975 0
[pid=23177/tid=23187] ppid=23176 vsize=13269256 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/23177/task/23187/stat : 23187 (java) S 23176 23176 15667 0 -1 1077944384 12 0 0 0 1 1 0 0 20 0 20 0 3844041 13587718144 83300 33554432000 4194304 4196468 140723582842032 140367892224400 140368300025557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15581184 140723582846140 140723582846316 140723582846316 140723582848975 0
[pid=23177/tid=23188] ppid=23176 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/23177/task/23188/stat : 23188 (java) S 23176 23176 15667 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 20 0 3844043 13587718144 83300 33554432000 4194304 4196468 140723582842032 140367762324208 140368300026498 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15581184 140723582846140 140723582846316 140723582846316 140723582848975 0
[pid=23177/tid=23189] ppid=23176 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/23177/task/23189/stat : 23189 (java) S 23176 23176 15667 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 3844044 13587718144 83300 33554432000 4194304 4196468 140723582842032 140367761270496 140368300025557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15581184 140723582846140 140723582846316 140723582846316 140723582848975 0
[pid=23177/tid=23190] ppid=23176 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/23177/task/23190/stat : 23190 (java) S 23176 23176 15667 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 3844044 13587718144 83300 33554432000 4194304 4196468 140723582842032 140367760217344 140368300025557 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 15581184 140723582846140 140723582846316 140723582846316 140723582848975 0
[pid=23177/tid=23191] ppid=23176 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/23177/task/23191/stat : 23191 (java) S 23176 23176 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3844048 13587718144 83300 33554432000 4194304 4196468 140723582842032 140367759165904 140368300033947 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 15581184 140723582846140 140723582846316 140723582846316 140723582848975 0
[pid=23177/tid=23192] ppid=23176 vsize=13269256 CPUtime=0.69 cores=0,2,4,6,8,10,12,14
/proc/23177/task/23192/stat : 23192 (java) R 23176 23176 15667 0 -1 4202560 2279 0 0 0 68 1 0 0 20 0 20 0 3844048 13587718144 83300 33554432000 4194304 4196468 140723582842032 140367758113008 140368300036698 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 15581184 140723582846140 140723582846316 140723582846316 140723582848975 0
[pid=23177/tid=23193] ppid=23176 vsize=13269256 CPUtime=0.64 cores=0,2,4,6,8,10,12,14
/proc/23177/task/23193/stat : 23193 (java) R 23176 23176 15667 0 -1 4202560 1343 0 0 0 63 1 0 0 20 0 20 0 3844048 13587718144 83300 33554432000 4194304 4196468 140723582842032 140367757052000 140368279851627 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15581184 140723582846140 140723582846316 140723582846316 140723582848975 0
[pid=23177/tid=23194] ppid=23176 vsize=13269256 CPUtime=0.75 cores=0,2,4,6,8,10,12,14
/proc/23177/task/23194/stat : 23194 (java) R 23176 23176 15667 0 -1 4202560 1673 0 0 0 74 1 0 0 20 0 20 0 3844048 13587718144 83300 33554432000 4194304 4196468 140723582842032 140367756007328 140368281559440 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 15581184 140723582846140 140723582846316 140723582846316 140723582848975 0
[pid=23177/tid=23195] ppid=23176 vsize=13269256 CPUtime=0.61 cores=0,2,4,6,8,10,12,14
/proc/23177/task/23195/stat : 23195 (java) R 23176 23176 15667 0 -1 4202560 2242 0 0 0 60 1 0 0 20 0 20 0 3844048 13587718144 83300 33554432000 4194304 4196468 140723582842032 140367754954864 140368278668877 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15581184 140723582846140 140723582846316 140723582846316 140723582848975 0
[pid=23177/tid=23196] ppid=23176 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/23177/task/23196/stat : 23196 (java) S 23176 23176 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3844048 13587718144 83300 33554432000 4194304 4196468 140723582842032 140367753903072 140368300025557 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 15581184 140723582846140 140723582846316 140723582846316 140723582848975 0
[pid=23177/tid=23197] ppid=23176 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/23177/task/23197/stat : 23197 (java) S 23176 23176 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3844049 13587718144 83300 33554432000 4194304 4196468 140723582842032 140367752850608 140368300026498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15581184 140723582846140 140723582846316 140723582846316 140723582848975 0
Current children cumulated CPU time (s) 4.4
Current children cumulated vsize (KiB) 13278768
[startup+3.10154 s]
/proc/loadavg: 11.46 14.43 12.95 14/296 23205
/proc/meminfo: memFree=26962852/32770624 swapFree=5892/79624
[pid=23176] ppid=23173 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/23176/stat : 23176 (xcsp3-exec) S 23173 23176 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3844039 9740288 346 33554432000 4194304 5098028 140729737300032 140729737298136 140678510527100 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 28270592 140729737307278 140729737307488 140729737307488 140729737310187 0
/proc/23176/statm: 2378 346 289 221 0 87 0
[pid=23177] ppid=23176 vsize=13801768 CPUtime=16.37 cores=0,2,4,6,8,10,12,14
/proc/23177/stat : 23177 (java) S 23176 23176 15667 0 -1 1077944320 23741 0 0 0 1597 40 0 0 20 0 28 0 3844039 14133010432 96050 33554432000 4194304 4196468 140723582842032 140723582824576 140368300015351 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 15581184 140723582846140 140723582846316 140723582846316 140723582848975 0
/proc/23177/statm: 3450442 96050 3237 1 0 3437675 0
[pid=23177/tid=23178] ppid=23176 vsize=13801768 CPUtime=1.43 cores=0,2,4,6,8,10,12,14
/proc/23177/task/23178/stat : 23178 (java) S 23176 23176 15667 0 -1 1077944384 6843 0 0 0 136 7 0 0 20 0 28 0 3844040 14133010432 96050 33554432000 4194304 4196468 140723582842032 140368304256128 140368300025557 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 15581184 140723582846140 140723582846316 140723582846316 140723582848975 0
[pid=23177/tid=23180] ppid=23176 vsize=13801768 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/23177/task/23180/stat : 23180 (java) S 23176 23176 15667 0 -1 1077944384 34 0 0 0 3 2 0 0 20 0 28 0 3844041 14133010432 96050 33554432000 4194304 4196468 140723582842032 140368256568336 140368300025557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15581184 140723582846140 140723582846316 140723582846316 140723582848975 0
[pid=23177/tid=23181] ppid=23176 vsize=13801768 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/23177/task/23181/stat : 23181 (java) S 23176 23176 15667 0 -1 1077944384 27 0 0 0 3 2 0 0 20 0 28 0 3844041 14133010432 96050 33554432000 4194304 4196468 140723582842032 140367898541200 140368300025557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15581184 140723582846140 140723582846316 140723582846316 140723582848975 0
[pid=23177/tid=23182] ppid=23176 vsize=13801768 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/23177/task/23182/stat : 23182 (java) S 23176 23176 15667 0 -1 1077944384 33 0 0 0 2 3 0 0 20 0 28 0 3844041 14133010432 96050 33554432000 4194304 4196468 140723582842032 140367897488144 140368300025557 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 15581184 140723582846140 140723582846316 140723582846316 140723582848975 0
[pid=23177/tid=23183] ppid=23176 vsize=13801768 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/23177/task/23183/stat : 23183 (java) S 23176 23176 15667 0 -1 1077944384 28 0 0 0 2 2 0 0 20 0 28 0 3844041 14133010432 96050 33554432000 4194304 4196468 140723582842032 140367896435600 140368300025557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15581184 140723582846140 140723582846316 140723582846316 140723582848975 0
[pid=23177/tid=23184] ppid=23176 vsize=13801768 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/23177/task/23184/stat : 23184 (java) S 23176 23176 15667 0 -1 1077944384 36 0 0 0 3 3 0 0 20 0 28 0 3844041 14133010432 96050 33554432000 4194304 4196468 140723582842032 140367895382544 140368300025557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15581184 140723582846140 140723582846316 140723582846316 140723582848975 0
[pid=23177/tid=23185] ppid=23176 vsize=13801768 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/23177/task/23185/stat : 23185 (java) S 23176 23176 15667 0 -1 1077944384 32 0 0 0 2 2 0 0 20 0 28 0 3844041 14133010432 96050 33554432000 4194304 4196468 140723582842032 140367894330000 140368300025557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15581184 140723582846140 140723582846316 140723582846316 140723582848975 0
[pid=23177/tid=23186] ppid=23176 vsize=13801768 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/23177/task/23186/stat : 23186 (java) S 23176 23176 15667 0 -1 1077944384 19 0 0 0 2 2 0 0 20 0 28 0 3844041 14133010432 96050 33554432000 4194304 4196468 140723582842032 140367893276944 140368300025557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15581184 140723582846140 140723582846316 140723582846316 140723582848975 0
[pid=23177/tid=23187] ppid=23176 vsize=13801768 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/23177/task/23187/stat : 23187 (java) S 23176 23176 15667 0 -1 1077944384 25 0 0 0 3 2 0 0 20 0 28 0 3844041 14133010432 96050 33554432000 4194304 4196468 140723582842032 140367892224400 140368300025557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15581184 140723582846140 140723582846316 140723582846316 140723582848975 0
[pid=23177/tid=23188] ppid=23176 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/23177/task/23188/stat : 23188 (java) S 23176 23176 15667 0 -1 1077944384 208 0 0 0 0 0 0 0 20 0 28 0 3844043 14133010432 96050 33554432000 4194304 4196468 140723582842032 140367762324208 140368300026498 0 0 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 15581184 140723582846140 140723582846316 140723582846316 140723582848975 0
[pid=23177/tid=23189] ppid=23176 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/23177/task/23189/stat : 23189 (java) S 23176 23176 15667 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 3844044 14133010432 96050 33554432000 4194304 4196468 140723582842032 140367761270496 140368300025557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15581184 140723582846140 140723582846316 140723582846316 140723582848975 0
[pid=23177/tid=23190] ppid=23176 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/23177/task/23190/stat : 23190 (java) S 23176 23176 15667 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 3844044 14133010432 96050 33554432000 4194304 4196468 140723582842032 140367760217344 140368300025557 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 15581184 140723582846140 140723582846316 140723582846316 140723582848975 0
[pid=23177/tid=23191] ppid=23176 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/23177/task/23191/stat : 23191 (java) S 23176 23176 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3844048 14133010432 96050 33554432000 4194304 4196468 140723582842032 140367759165904 140368300033947 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 15581184 140723582846140 140723582846316 140723582846316 140723582848975 0
[pid=23177/tid=23192] ppid=23176 vsize=13801768 CPUtime=1.78 cores=0,2,4,6,8,10,12,14
/proc/23177/task/23192/stat : 23192 (java) R 23176 23176 15667 0 -1 4202560 5178 0 0 0 176 2 0 0 20 0 28 0 3844048 14133010432 96050 33554432000 4194304 4196468 140723582842032 140367758099576 140368283512135 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 15581184 140723582846140 140723582846316 140723582846316 140723582848975 0
[pid=23177/tid=23193] ppid=23176 vsize=13801768 CPUtime=1.58 cores=0,2,4,6,8,10,12,14
/proc/23177/task/23193/stat : 23193 (java) R 23176 23176 15667 0 -1 4202560 2937 0 0 0 157 1 0 0 20 0 28 0 3844048 14133010432 96050 33554432000 4194304 4196468 140723582842032 140367757047280 140368281535374 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 15581184 140723582846140 140723582846316 140723582846316 140723582848975 0
[pid=23177/tid=23194] ppid=23176 vsize=13801768 CPUtime=1.97 cores=0,2,4,6,8,10,12,14
/proc/23177/task/23194/stat : 23194 (java) R 23176 23176 15667 0 -1 4202560 3527 0 0 0 196 1 0 0 20 0 28 0 3844048 14133010432 96050 33554432000 4194304 4196468 140723582842032 140367756003776 140368281534936 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15581184 140723582846140 140723582846316 140723582846316 140723582848975 0
[pid=23177/tid=23195] ppid=23176 vsize=13801768 CPUtime=0.87 cores=0,2,4,6,8,10,12,14
/proc/23177/task/23195/stat : 23195 (java) S 23176 23176 15667 0 -1 1077944384 3053 0 0 0 85 2 0 0 20 0 28 0 3844048 14133010432 96050 33554432000 4194304 4196468 140723582842032 140367754954864 140368300026498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15581184 140723582846140 140723582846316 140723582846316 140723582848975 0
[pid=23177/tid=23196] ppid=23176 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/23177/task/23196/stat : 23196 (java) S 23176 23176 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3844048 14133010432 96050 33554432000 4194304 4196468 140723582842032 140367753903072 140368300025557 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 15581184 140723582846140 140723582846316 140723582846316 140723582848975 0
[pid=23177/tid=23197] ppid=23176 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/23177/task/23197/stat : 23197 (java) S 23176 23176 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3844049 14133010432 96050 33554432000 4194304 4196468 140723582842032 140367752850608 140368300026498 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 8 0 0 6293624 6294260 15581184 140723582846140 140723582846316 140723582846316 140723582848975 0
[pid=23177/tid=23198] ppid=23176 vsize=13801768 CPUtime=1.05 cores=0,2,4,6,8,10,12,14
/proc/23177/task/23198/stat : 23198 (java) R 23176 23176 15667 0 -1 4202560 44 0 0 0 105 0 0 0 20 0 28 0 3844190 14133010432 96050 33554432000 4194304 4196468 140723582842032 140367744835344 140367944080891 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15581184 140723582846140 140723582846316 140723582846316 140723582848975 0
[pid=23177/tid=23199] ppid=23176 vsize=13801768 CPUtime=1.01 cores=0,2,4,6,8,10,12,14
/proc/23177/task/23199/stat : 23199 (java) R 23176 23176 15667 0 -1 4202560 135 0 0 0 101 0 0 0 20 0 28 0 3844190 14133010432 96050 33554432000 4194304 4196468 140723582842032 140367743783624 140367943241338 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15581184 140723582846140 140723582846316 140723582846316 140723582848975 0
[pid=23177/tid=23200] ppid=23176 vsize=13801768 CPUtime=0.74 cores=0,2,4,6,8,10,12,14
/proc/23177/task/23200/stat : 23200 (java) R 23176 23176 15667 0 -1 4202560 51 0 0 0 74 0 0 0 20 0 28 0 3844190 14133010432 96050 33554432000 4194304 4196468 140723582842032 140367742731880 140367942823187 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15581184 140723582846140 140723582846316 140723582846316 140723582848975 0
[pid=23177/tid=23201] ppid=23176 vsize=13801768 CPUtime=0.99 cores=0,2,4,6,8,10,12,14
/proc/23177/task/23201/stat : 23201 (java) R 23176 23176 15667 0 -1 4202560 76 0 0 0 99 0 0 0 20 0 28 0 3844194 14133010432 96050 33554432000 4194304 4196468 140723582842032 140367741679832 140367942823517 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15581184 140723582846140 140723582846316 140723582846316 140723582848975 0
[pid=23177/tid=23202] ppid=23176 vsize=13801768 CPUtime=1.08 cores=0,2,4,6,8,10,12,14
/proc/23177/task/23202/stat : 23202 (java) R 23176 23176 15667 0 -1 4202560 35 0 0 0 108 0 0 0 20 0 28 0 3844194 14133010432 96050 33554432000 4194304 4196468 140723582842032 140367740626344 140367943240811 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 15581184 140723582846140 140723582846316 140723582846316 140723582848975 0
[pid=23177/tid=23203] ppid=23176 vsize=13801768 CPUtime=0.97 cores=0,2,4,6,8,10,12,14
/proc/23177/task/23203/stat : 23203 (java) R 23176 23176 15667 0 -1 4202560 34 0 0 0 97 0 0 0 20 0 28 0 3844194 14133010432 96050 33554432000 4194304 4196468 140723582842032 140367739572072 140367943503190 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 15581184 140723582846140 140723582846316 140723582846316 140723582848975 0
[pid=23177/tid=23204] ppid=23176 vsize=13801768 CPUtime=1.15 cores=0,2,4,6,8,10,12,14
/proc/23177/task/23204/stat : 23204 (java) R 23176 23176 15667 0 -1 4202560 31 0 0 0 115 0 0 0 20 0 28 0 3844194 14133010432 96050 33554432000 4194304 4196468 140723582842032 140367738519528 140367944080669 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 15581184 140723582846140 140723582846316 140723582846316 140723582848975 0
[pid=23177/tid=23205] ppid=23176 vsize=13801768 CPUtime=1.15 cores=0,2,4,6,8,10,12,14
/proc/23177/task/23205/stat : 23205 (java) R 23176 23176 15667 0 -1 4202560 56 0 0 0 115 0 0 0 20 0 28 0 3844194 14133010432 96050 33554432000 4194304 4196468 140723582842032 140367737467736 140367943503190 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 15581184 140723582846140 140723582846316 140723582846316 140723582848975 0
Current children cumulated CPU time (s) 16.37
Current children cumulated vsize (KiB) 13811280
[startup+6.30167 s]
/proc/loadavg: 11.58 14.41 12.95 18/296 23217
/proc/meminfo: memFree=26830212/32770624 swapFree=5892/87180
[pid=23176] ppid=23173 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/23176/stat : 23176 (xcsp3-exec) S 23173 23176 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3844039 9740288 346 33554432000 4194304 5098028 140729737300032 140729737298136 140678510527100 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 28270592 140729737307278 140729737307488 140729737307488 140729737310187 0
/proc/23176/statm: 2378 346 289 221 0 87 0
[pid=23177] ppid=23176 vsize=13801768 CPUtime=41.8 cores=0,2,4,6,8,10,12,14
/proc/23177/stat : 23177 (java) S 23176 23176 15667 0 -1 1077944320 30409 0 0 0 4138 42 0 0 20 0 28 0 3844039 14133010432 94606 33554432000 4194304 4196468 140723582842032 140723582824576 140368300015351 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 15581184 140723582846140 140723582846316 140723582846316 140723582848975 0
/proc/23177/statm: 3450442 94606 3249 1 0 3437675 0
[pid=23177/tid=23178] ppid=23176 vsize=13801768 CPUtime=1.43 cores=0,2,4,6,8,10,12,14
/proc/23177/task/23178/stat : 23178 (java) S 23176 23176 15667 0 -1 1077944384 6843 0 0 0 136 7 0 0 20 0 28 0 3844040 14133010432 94606 33554432000 4194304 4196468 140723582842032 140368304256128 140368300025557 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 15581184 140723582846140 140723582846316 140723582846316 140723582848975 0
[pid=23177/tid=23180] ppid=23176 vsize=13801768 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/23177/task/23180/stat : 23180 (java) S 23176 23176 15667 0 -1 1077944384 34 0 0 0 3 2 0 0 20 0 28 0 3844041 14133010432 94606 33554432000 4194304 4196468 140723582842032 140368256568336 140368300025557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15581184 140723582846140 140723582846316 140723582846316 140723582848975 0
[pid=23177/tid=23181] ppid=23176 vsize=13801768 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/23177/task/23181/stat : 23181 (java) S 23176 23176 15667 0 -1 1077944384 27 0 0 0 3 2 0 0 20 0 28 0 3844041 14133010432 94606 33554432000 4194304 4196468 140723582842032 140367898541200 140368300025557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15581184 140723582846140 140723582846316 140723582846316 140723582848975 0
[pid=23177/tid=23182] ppid=23176 vsize=13801768 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/23177/task/23182/stat : 23182 (java) S 23176 23176 15667 0 -1 1077944384 33 0 0 0 2 3 0 0 20 0 28 0 3844041 14133010432 94606 33554432000 4194304 4196468 140723582842032 140367897488144 140368300025557 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 15581184 140723582846140 140723582846316 140723582846316 140723582848975 0
[pid=23177/tid=23183] ppid=23176 vsize=13801768 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/23177/task/23183/stat : 23183 (java) S 23176 23176 15667 0 -1 1077944384 28 0 0 0 2 2 0 0 20 0 28 0 3844041 14133010432 94606 33554432000 4194304 4196468 140723582842032 140367896435600 140368300025557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15581184 140723582846140 140723582846316 140723582846316 140723582848975 0
################
# More data... #
################
/proc/23177/task/23195/stat : 23195 (java) S 23176 23176 15667 0 -1 1077944384 3847 0 0 0 91 2 0 0 20 0 28 0 3844048 14133010432 168226 33554432000 4194304 4196468 140723582842032 140367754954864 140368300026498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15581184 140723582846140 140723582846316 140723582846316 140723582848975 0
[pid=23177/tid=23196] ppid=23176 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/23177/task/23196/stat : 23196 (java) S 23176 23176 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3844048 14133010432 168226 33554432000 4194304 4196468 140723582842032 140367753903072 140368300025557 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 15581184 140723582846140 140723582846316 140723582846316 140723582848975 0
[pid=23177/tid=23197] ppid=23176 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/23177/task/23197/stat : 23197 (java) S 23176 23176 15667 0 -1 1077944384 704 0 0 0 0 0 0 0 20 0 28 0 3844049 14133010432 168226 33554432000 4194304 4196468 140723582842032 140367752850608 140368300026498 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 8 0 0 6293624 6294260 15581184 140723582846140 140723582846316 140723582846316 140723582848975 0
[pid=23177/tid=23198] ppid=23176 vsize=13801768 CPUtime=39.24 cores=0,2,4,6,8,10,12,14
/proc/23177/task/23198/stat : 23198 (java) R 23176 23176 15667 0 -1 4202560 547 0 0 0 3924 0 0 0 20 0 28 0 3844190 14133010432 168226 33554432000 4194304 4196468 140723582842032 140367744834792 140367943087249 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 15581184 140723582846140 140723582846316 140723582846316 140723582848975 0
[pid=23177/tid=23199] ppid=23176 vsize=13801768 CPUtime=38.96 cores=0,2,4,6,8,10,12,14
/proc/23177/task/23199/stat : 23199 (java) R 23176 23176 15667 0 -1 4202560 682 0 0 0 3895 1 0 0 20 0 28 0 3844190 14133010432 168226 33554432000 4194304 4196468 140723582842032 140367743783008 140367942822953 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15581184 140723582846140 140723582846316 140723582846316 140723582848975 0
[pid=23177/tid=23200] ppid=23176 vsize=13801768 CPUtime=38.96 cores=0,2,4,6,8,10,12,14
/proc/23177/task/23200/stat : 23200 (java) R 23176 23176 15667 0 -1 4202560 964 0 0 0 3895 1 0 0 20 0 28 0 3844190 14133010432 168226 33554432000 4194304 4196468 140723582842032 140367742732688 140367943089365 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 15581184 140723582846140 140723582846316 140723582846316 140723582848975 0
[pid=23177/tid=23201] ppid=23176 vsize=13801768 CPUtime=39.06 cores=0,2,4,6,8,10,12,14
/proc/23177/task/23201/stat : 23201 (java) R 23176 23176 15667 0 -1 4202560 943 0 0 0 3905 1 0 0 20 0 28 0 3844194 14133010432 168226 33554432000 4194304 4196468 140723582842032 140367741677672 140367943089365 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15581184 140723582846140 140723582846316 140723582846316 140723582848975 0
[pid=23177/tid=23202] ppid=23176 vsize=13801768 CPUtime=38.38 cores=0,2,4,6,8,10,12,14
/proc/23177/task/23202/stat : 23202 (java) R 23176 23176 15667 0 -1 4202560 421 0 0 0 3838 0 0 0 20 0 28 0 3844194 14133010432 168226 33554432000 4194304 4196468 140723582842032 140367740624600 140367942823433 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 15581184 140723582846140 140723582846316 140723582846316 140723582848975 0
[pid=23177/tid=23203] ppid=23176 vsize=13801768 CPUtime=39.07 cores=0,2,4,6,8,10,12,14
/proc/23177/task/23203/stat : 23203 (java) R 23176 23176 15667 0 -1 4202560 549 0 0 0 3906 1 0 0 20 0 28 0 3844194 14133010432 168226 33554432000 4194304 4196468 140723582842032 140367739572056 140367943087249 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15581184 140723582846140 140723582846316 140723582846316 140723582848975 0
[pid=23177/tid=23204] ppid=23176 vsize=13801768 CPUtime=39.34 cores=0,2,4,6,8,10,12,14
/proc/23177/task/23204/stat : 23204 (java) R 23176 23176 15667 0 -1 4202560 796 0 0 0 3933 1 0 0 20 0 28 0 3844194 14133010432 168226 33554432000 4194304 4196468 140723582842032 140367738520024 140367943133086 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 15581184 140723582846140 140723582846316 140723582846316 140723582848975 0
[pid=23177/tid=23205] ppid=23176 vsize=13801768 CPUtime=39.35 cores=0,2,4,6,8,10,12,14
/proc/23177/task/23205/stat : 23205 (java) R 23176 23176 15667 0 -1 4202560 250 0 0 0 3935 0 0 0 20 0 28 0 3844194 14133010432 168226 33554432000 4194304 4196468 140723582842032 140367737467336 140367943240928 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15581184 140723582846140 140723582846316 140723582846316 140723582848975 0
Current children cumulated CPU time (s) 322.73
Current children cumulated vsize (KiB) 13811280
[startup+42.4015 s]
/proc/loadavg: 12.01 14.22 12.94 10/292 23505
/proc/meminfo: memFree=30948968/32770624 swapFree=5892/112684
[pid=23176] ppid=23173 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/23176/stat : 23176 (xcsp3-exec) S 23173 23176 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3844039 9740288 346 33554432000 4194304 5098028 140729737300032 140729737298136 140678510527100 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 28270592 140729737307278 140729737307488 140729737307488 140729737310187 0
/proc/23176/statm: 2378 346 289 221 0 87 0
[pid=23177] ppid=23176 vsize=13801768 CPUtime=329.09 cores=0,2,4,6,8,10,12,14
/proc/23177/stat : 23177 (java) S 23176 23176 15667 0 -1 1077944320 44709 0 0 0 32822 87 0 0 20 0 28 0 3844039 14133010432 175906 33554432000 4194304 4196468 140723582842032 140723582824576 140368300015351 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 15581184 140723582846140 140723582846316 140723582846316 140723582848975 0
/proc/23177/statm: 3450442 175906 3262 1 0 3437675 0
[pid=23177/tid=23178] ppid=23176 vsize=13801768 CPUtime=1.43 cores=0,2,4,6,8,10,12,14
/proc/23177/task/23178/stat : 23178 (java) S 23176 23176 15667 0 -1 1077944384 6843 0 0 0 136 7 0 0 20 0 28 0 3844040 14133010432 175906 33554432000 4194304 4196468 140723582842032 140368304256128 140368300025557 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 15581184 140723582846140 140723582846316 140723582846316 140723582848975 0
[pid=23177/tid=23180] ppid=23176 vsize=13801768 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/23177/task/23180/stat : 23180 (java) S 23176 23176 15667 0 -1 1077944384 710 0 0 0 6 7 0 0 20 0 28 0 3844041 14133010432 175906 33554432000 4194304 4196468 140723582842032 140368256568336 140368300025557 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 15581184 140723582846140 140723582846316 140723582846316 140723582848975 0
[pid=23177/tid=23181] ppid=23176 vsize=13801768 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/23177/task/23181/stat : 23181 (java) S 23176 23176 15667 0 -1 1077944384 393 0 0 0 5 7 0 0 20 0 28 0 3844041 14133010432 175906 33554432000 4194304 4196468 140723582842032 140367898541200 140368300025557 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 15581184 140723582846140 140723582846316 140723582846316 140723582848975 0
[pid=23177/tid=23182] ppid=23176 vsize=13801768 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/23177/task/23182/stat : 23182 (java) S 23176 23176 15667 0 -1 1077944384 1002 0 0 0 5 7 0 0 20 0 28 0 3844041 14133010432 175906 33554432000 4194304 4196468 140723582842032 140367897488144 140368300025557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15581184 140723582846140 140723582846316 140723582846316 140723582848975 0
[pid=23177/tid=23183] ppid=23176 vsize=13801768 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/23177/task/23183/stat : 23183 (java) S 23176 23176 15667 0 -1 1077944384 193 0 0 0 5 6 0 0 20 0 28 0 3844041 14133010432 175906 33554432000 4194304 4196468 140723582842032 140367896435600 140368300025557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15581184 140723582846140 140723582846316 140723582846316 140723582848975 0
[pid=23177/tid=23184] ppid=23176 vsize=13801768 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/23177/task/23184/stat : 23184 (java) S 23176 23176 15667 0 -1 1077944384 267 0 0 0 6 7 0 0 20 0 28 0 3844041 14133010432 175906 33554432000 4194304 4196468 140723582842032 140367895382544 140368300025557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15581184 140723582846140 140723582846316 140723582846316 140723582848975 0
[pid=23177/tid=23185] ppid=23176 vsize=13801768 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/23177/task/23185/stat : 23185 (java) S 23176 23176 15667 0 -1 1077944384 322 0 0 0 5 7 0 0 20 0 28 0 3844041 14133010432 175906 33554432000 4194304 4196468 140723582842032 140367894330000 140368300025557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15581184 140723582846140 140723582846316 140723582846316 140723582848975 0
[pid=23177/tid=23186] ppid=23176 vsize=13801768 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/23177/task/23186/stat : 23186 (java) S 23176 23176 15667 0 -1 1077944384 141 0 0 0 6 6 0 0 20 0 28 0 3844041 14133010432 175906 33554432000 4194304 4196468 140723582842032 140367893276944 140368300025557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15581184 140723582846140 140723582846316 140723582846316 140723582848975 0
[pid=23177/tid=23187] ppid=23176 vsize=13801768 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/23177/task/23187/stat : 23187 (java) S 23176 23176 15667 0 -1 1077944384 924 0 0 0 6 7 0 0 20 0 28 0 3844041 14133010432 175906 33554432000 4194304 4196468 140723582842032 140367892224400 140368300025557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15581184 140723582846140 140723582846316 140723582846316 140723582848975 0
[pid=23177/tid=23188] ppid=23176 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/23177/task/23188/stat : 23188 (java) S 23176 23176 15667 0 -1 1077944384 1478 0 0 0 1 1 0 0 20 0 28 0 3844043 14133010432 175906 33554432000 4194304 4196468 140723582842032 140367762324208 140368300026498 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15581184 140723582846140 140723582846316 140723582846316 140723582848975 0
[pid=23177/tid=23189] ppid=23176 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/23177/task/23189/stat : 23189 (java) S 23176 23176 15667 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 28 0 3844044 14133010432 175906 33554432000 4194304 4196468 140723582842032 140367761270496 140368300025557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15581184 140723582846140 140723582846316 140723582846316 140723582848975 0
[pid=23177/tid=23190] ppid=23176 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/23177/task/23190/stat : 23190 (java) S 23176 23176 15667 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 3844044 14133010432 175906 33554432000 4194304 4196468 140723582842032 140367760217344 140368300025557 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 15581184 140723582846140 140723582846316 140723582846316 140723582848975 0
[pid=23177/tid=23191] ppid=23176 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/23177/task/23191/stat : 23191 (java) S 23176 23176 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3844048 14133010432 175906 33554432000 4194304 4196468 140723582842032 140367759165904 140368300033947 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 15581184 140723582846140 140723582846316 140723582846316 140723582848975 0
[pid=23177/tid=23192] ppid=23176 vsize=13801768 CPUtime=2.35 cores=0,2,4,6,8,10,12,14
/proc/23177/task/23192/stat : 23192 (java) S 23176 23176 15667 0 -1 1077944384 8676 0 0 0 233 2 0 0 20 0 28 0 3844048 14133010432 175906 33554432000 4194304 4196468 140723582842032 140367758113008 140368300026498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15581184 140723582846140 140723582846316 140723582846316 140723582848975 0
[pid=23177/tid=23193] ppid=23176 vsize=13801768 CPUtime=2.01 cores=0,2,4,6,8,10,12,14
/proc/23177/task/23193/stat : 23193 (java) S 23176 23176 15667 0 -1 1077944384 5377 0 0 0 200 1 0 0 20 0 28 0 3844048 14133010432 175906 33554432000 4194304 4196468 140723582842032 140367757060464 140368300026498 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 15581184 140723582846140 140723582846316 140723582846316 140723582848975 0
[pid=23177/tid=23194] ppid=23176 vsize=13801768 CPUtime=2.41 cores=0,2,4,6,8,10,12,14
/proc/23177/task/23194/stat : 23194 (java) S 23176 23176 15667 0 -1 1077944384 7316 0 0 0 239 2 0 0 20 0 28 0 3844048 14133010432 175906 33554432000 4194304 4196468 140723582842032 140367756007408 140368300026498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15581184 140723582846140 140723582846316 140723582846316 140723582848975 0
[pid=23177/tid=23195] ppid=23176 vsize=13801768 CPUtime=0.93 cores=0,2,4,6,8,10,12,14
/proc/23177/task/23195/stat : 23195 (java) S 23176 23176 15667 0 -1 1077944384 3847 0 0 0 91 2 0 0 20 0 28 0 3844048 14133010432 175906 33554432000 4194304 4196468 140723582842032 140367754954864 140368300026498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15581184 140723582846140 140723582846316 140723582846316 140723582848975 0
[pid=23177/tid=23196] ppid=23176 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/23177/task/23196/stat : 23196 (java) S 23176 23176 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3844048 14133010432 175906 33554432000 4194304 4196468 140723582842032 140367753903072 140368300025557 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 15581184 140723582846140 140723582846316 140723582846316 140723582848975 0
[pid=23177/tid=23197] ppid=23176 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/23177/task/23197/stat : 23197 (java) S 23176 23176 15667 0 -1 1077944384 704 0 0 0 0 0 0 0 20 0 28 0 3844049 14133010432 175906 33554432000 4194304 4196468 140723582842032 140367752850608 140368300026498 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 8 0 0 6293624 6294260 15581184 140723582846140 140723582846316 140723582846316 140723582848975 0
[pid=23177/tid=23198] ppid=23176 vsize=13801768 CPUtime=40.04 cores=0,2,4,6,8,10,12,14
/proc/23177/task/23198/stat : 23198 (java) R 23176 23176 15667 0 -1 4202560 552 0 0 0 4004 0 0 0 20 0 28 0 3844190 14133010432 175906 33554432000 4194304 4196468 140723582842032 140367744834792 140367944849797 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 15581184 140723582846140 140723582846316 140723582846316 140723582848975 0
[pid=23177/tid=23199] ppid=23176 vsize=13801768 CPUtime=39.76 cores=0,2,4,6,8,10,12,14
/proc/23177/task/23199/stat : 23199 (java) R 23176 23176 15667 0 -1 4202560 684 0 0 0 3975 1 0 0 20 0 28 0 3844190 14133010432 175906 33554432000 4194304 4196468 140723582842032 140367743783008 140367942823821 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15581184 140723582846140 140723582846316 140723582846316 140723582848975 0
[pid=23177/tid=23200] ppid=23176 vsize=13801768 CPUtime=39.76 cores=0,2,4,6,8,10,12,14
/proc/23177/task/23200/stat : 23200 (java) R 23176 23176 15667 0 -1 4202560 970 0 0 0 3975 1 0 0 20 0 28 0 3844190 14133010432 175906 33554432000 4194304 4196468 140723582842032 140367742732688 140367943506166 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 15581184 140723582846140 140723582846316 140723582846316 140723582848975 0
[pid=23177/tid=23201] ppid=23176 vsize=13801768 CPUtime=39.86 cores=0,2,4,6,8,10,12,14
/proc/23177/task/23201/stat : 23201 (java) R 23176 23176 15667 0 -1 4202560 960 0 0 0 3985 1 0 0 20 0 28 0 3844194 14133010432 175906 33554432000 4194304 4196468 140723582842032 140367741677672 140367943241087 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15581184 140723582846140 140723582846316 140723582846316 140723582848975 0
[pid=23177/tid=23202] ppid=23176 vsize=13801768 CPUtime=39.15 cores=0,2,4,6,8,10,12,14
/proc/23177/task/23202/stat : 23202 (java) R 23176 23176 15667 0 -1 4202560 421 0 0 0 3915 0 0 0 20 0 28 0 3844194 14133010432 175906 33554432000 4194304 4196468 140723582842032 140367740624600 140367943240908 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 15581184 140723582846140 140723582846316 140723582846316 140723582848975 0
[pid=23177/tid=23203] ppid=23176 vsize=13801768 CPUtime=39.87 cores=0,2,4,6,8,10,12,14
/proc/23177/task/23203/stat : 23203 (java) R 23176 23176 15667 0 -1 4202560 552 0 0 0 3986 1 0 0 20 0 28 0 3844194 14133010432 175906 33554432000 4194304 4196468 140723582842032 140367739572056 140367943241120 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15581184 140723582846140 140723582846316 140723582846316 140723582848975 0
[pid=23177/tid=23204] ppid=23176 vsize=13801768 CPUtime=40.14 cores=0,2,4,6,8,10,12,14
/proc/23177/task/23204/stat : 23204 (java) R 23176 23176 15667 0 -1 4202560 809 0 0 0 4013 1 0 0 20 0 28 0 3844194 14133010432 175906 33554432000 4194304 4196468 140723582842032 140367738520024 140367943087121 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 15581184 140723582846140 140723582846316 140723582846316 140723582848975 0
[pid=23177/tid=23205] ppid=23176 vsize=13801768 CPUtime=40.15 cores=0,2,4,6,8,10,12,14
/proc/23177/task/23205/stat : 23205 (java) R 23176 23176 15667 0 -1 4202560 250 0 0 0 4015 0 0 0 20 0 28 0 3844194 14133010432 175906 33554432000 4194304 4196468 140723582842032 140367737467336 140367943241115 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15581184 140723582846140 140723582846316 140723582846316 140723582848975 0
Current children cumulated CPU time (s) 329.09
Current children cumulated vsize (KiB) 13811280
[startup+42.8016 s]
/proc/loadavg: 12.01 14.22 12.94 10/292 23505
/proc/meminfo: memFree=30948968/32770624 swapFree=5892/112684
[pid=23176] ppid=23173 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/23176/stat : 23176 (xcsp3-exec) S 23173 23176 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3844039 9740288 346 33554432000 4194304 5098028 140729737300032 140729737298136 140678510527100 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 28270592 140729737307278 140729737307488 140729737307488 140729737310187 0
/proc/23176/statm: 2378 346 289 221 0 87 0
[pid=23177] ppid=23176 vsize=13801768 CPUtime=332.29 cores=0,2,4,6,8,10,12,14
/proc/23177/stat : 23177 (java) S 23176 23176 15667 0 -1 1077944320 44773 0 0 0 33141 88 0 0 20 0 28 0 3844039 14133010432 184610 33554432000 4194304 4196468 140723582842032 140723582824576 140368300015351 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 15581184 140723582846140 140723582846316 140723582846316 140723582848975 0
/proc/23177/statm: 3450442 184610 3262 1 0 3437675 0
[pid=23177/tid=23178] ppid=23176 vsize=13801768 CPUtime=1.43 cores=0,2,4,6,8,10,12,14
/proc/23177/task/23178/stat : 23178 (java) S 23176 23176 15667 0 -1 1077944384 6843 0 0 0 136 7 0 0 20 0 28 0 3844040 14133010432 184610 33554432000 4194304 4196468 140723582842032 140368304256128 140368300025557 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 15581184 140723582846140 140723582846316 140723582846316 140723582848975 0
[pid=23177/tid=23180] ppid=23176 vsize=13801768 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/23177/task/23180/stat : 23180 (java) S 23176 23176 15667 0 -1 1077944384 710 0 0 0 6 7 0 0 20 0 28 0 3844041 14133010432 184610 33554432000 4194304 4196468 140723582842032 140368256568336 140368300025557 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 15581184 140723582846140 140723582846316 140723582846316 140723582848975 0
[pid=23177/tid=23181] ppid=23176 vsize=13801768 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/23177/task/23181/stat : 23181 (java) S 23176 23176 15667 0 -1 1077944384 393 0 0 0 5 7 0 0 20 0 28 0 3844041 14133010432 184610 33554432000 4194304 4196468 140723582842032 140367898541200 140368300025557 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 15581184 140723582846140 140723582846316 140723582846316 140723582848975 0
[pid=23177/tid=23182] ppid=23176 vsize=13801768 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/23177/task/23182/stat : 23182 (java) S 23176 23176 15667 0 -1 1077944384 1002 0 0 0 5 7 0 0 20 0 28 0 3844041 14133010432 184610 33554432000 4194304 4196468 140723582842032 140367897488144 140368300025557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15581184 140723582846140 140723582846316 140723582846316 140723582848975 0
[pid=23177/tid=23183] ppid=23176 vsize=13801768 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/23177/task/23183/stat : 23183 (java) S 23176 23176 15667 0 -1 1077944384 193 0 0 0 5 6 0 0 20 0 28 0 3844041 14133010432 184610 33554432000 4194304 4196468 140723582842032 140367896435600 140368300025557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15581184 140723582846140 140723582846316 140723582846316 140723582848975 0
[pid=23177/tid=23184] ppid=23176 vsize=13801768 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/23177/task/23184/stat : 23184 (java) S 23176 23176 15667 0 -1 1077944384 267 0 0 0 6 7 0 0 20 0 28 0 3844041 14133010432 184610 33554432000 4194304 4196468 140723582842032 140367895382544 140368300025557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15581184 140723582846140 140723582846316 140723582846316 140723582848975 0
[pid=23177/tid=23185] ppid=23176 vsize=13801768 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/23177/task/23185/stat : 23185 (java) S 23176 23176 15667 0 -1 1077944384 322 0 0 0 5 7 0 0 20 0 28 0 3844041 14133010432 184610 33554432000 4194304 4196468 140723582842032 140367894330000 140368300025557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15581184 140723582846140 140723582846316 140723582846316 140723582848975 0
[pid=23177/tid=23186] ppid=23176 vsize=13801768 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/23177/task/23186/stat : 23186 (java) S 23176 23176 15667 0 -1 1077944384 141 0 0 0 6 6 0 0 20 0 28 0 3844041 14133010432 184610 33554432000 4194304 4196468 140723582842032 140367893276944 140368300025557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15581184 140723582846140 140723582846316 140723582846316 140723582848975 0
[pid=23177/tid=23187] ppid=23176 vsize=13801768 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/23177/task/23187/stat : 23187 (java) S 23176 23176 15667 0 -1 1077944384 924 0 0 0 6 7 0 0 20 0 28 0 3844041 14133010432 184610 33554432000 4194304 4196468 140723582842032 140367892224400 140368300025557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15581184 140723582846140 140723582846316 140723582846316 140723582848975 0
[pid=23177/tid=23188] ppid=23176 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/23177/task/23188/stat : 23188 (java) S 23176 23176 15667 0 -1 1077944384 1478 0 0 0 1 1 0 0 20 0 28 0 3844043 14133010432 184610 33554432000 4194304 4196468 140723582842032 140367762324208 140368300026498 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15581184 140723582846140 140723582846316 140723582846316 140723582848975 0
[pid=23177/tid=23189] ppid=23176 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/23177/task/23189/stat : 23189 (java) S 23176 23176 15667 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 28 0 3844044 14133010432 184610 33554432000 4194304 4196468 140723582842032 140367761270496 140368300025557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15581184 140723582846140 140723582846316 140723582846316 140723582848975 0
[pid=23177/tid=23190] ppid=23176 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/23177/task/23190/stat : 23190 (java) S 23176 23176 15667 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 3844044 14133010432 184610 33554432000 4194304 4196468 140723582842032 140367760217344 140368300025557 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 15581184 140723582846140 140723582846316 140723582846316 140723582848975 0
[pid=23177/tid=23191] ppid=23176 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/23177/task/23191/stat : 23191 (java) S 23176 23176 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3844048 14133010432 184610 33554432000 4194304 4196468 140723582842032 140367759165904 140368300033947 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 15581184 140723582846140 140723582846316 140723582846316 140723582848975 0
[pid=23177/tid=23192] ppid=23176 vsize=13801768 CPUtime=2.35 cores=0,2,4,6,8,10,12,14
/proc/23177/task/23192/stat : 23192 (java) S 23176 23176 15667 0 -1 1077944384 8676 0 0 0 233 2 0 0 20 0 28 0 3844048 14133010432 184610 33554432000 4194304 4196468 140723582842032 140367758113008 140368300026498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15581184 140723582846140 140723582846316 140723582846316 140723582848975 0
[pid=23177/tid=23193] ppid=23176 vsize=13801768 CPUtime=2.01 cores=0,2,4,6,8,10,12,14
/proc/23177/task/23193/stat : 23193 (java) S 23176 23176 15667 0 -1 1077944384 5377 0 0 0 200 1 0 0 20 0 28 0 3844048 14133010432 184610 33554432000 4194304 4196468 140723582842032 140367757060464 140368300026498 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 15581184 140723582846140 140723582846316 140723582846316 140723582848975 0
[pid=23177/tid=23194] ppid=23176 vsize=13801768 CPUtime=2.41 cores=0,2,4,6,8,10,12,14
/proc/23177/task/23194/stat : 23194 (java) S 23176 23176 15667 0 -1 1077944384 7316 0 0 0 239 2 0 0 20 0 28 0 3844048 14133010432 184610 33554432000 4194304 4196468 140723582842032 140367756007408 140368300026498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15581184 140723582846140 140723582846316 140723582846316 140723582848975 0
[pid=23177/tid=23195] ppid=23176 vsize=13801768 CPUtime=0.93 cores=0,2,4,6,8,10,12,14
/proc/23177/task/23195/stat : 23195 (java) S 23176 23176 15667 0 -1 1077944384 3847 0 0 0 91 2 0 0 20 0 28 0 3844048 14133010432 184610 33554432000 4194304 4196468 140723582842032 140367754954864 140368300026498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15581184 140723582846140 140723582846316 140723582846316 140723582848975 0
[pid=23177/tid=23196] ppid=23176 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/23177/task/23196/stat : 23196 (java) S 23176 23176 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3844048 14133010432 184610 33554432000 4194304 4196468 140723582842032 140367753903072 140368300025557 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 15581184 140723582846140 140723582846316 140723582846316 140723582848975 0
[pid=23177/tid=23197] ppid=23176 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/23177/task/23197/stat : 23197 (java) S 23176 23176 15667 0 -1 1077944384 704 0 0 0 0 0 0 0 20 0 28 0 3844049 14133010432 184610 33554432000 4194304 4196468 140723582842032 140367752850608 140368300026498 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 8 0 0 6293624 6294260 15581184 140723582846140 140723582846316 140723582846316 140723582848975 0
[pid=23177/tid=23198] ppid=23176 vsize=13801768 CPUtime=40.44 cores=0,2,4,6,8,10,12,14
/proc/23177/task/23198/stat : 23198 (java) R 23176 23176 15667 0 -1 4202560 560 0 0 0 4044 0 0 0 20 0 28 0 3844190 14133010432 184610 33554432000 4194304 4196468 140723582842032 140367744834792 140367943089067 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 15581184 140723582846140 140723582846316 140723582846316 140723582848975 0
[pid=23177/tid=23199] ppid=23176 vsize=13801768 CPUtime=40.16 cores=0,2,4,6,8,10,12,14
/proc/23177/task/23199/stat : 23199 (java) R 23176 23176 15667 0 -1 4202560 686 0 0 0 4015 1 0 0 20 0 28 0 3844190 14133010432 184610 33554432000 4194304 4196468 140723582842032 140367743783008 140367943241115 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15581184 140723582846140 140723582846316 140723582846316 140723582848975 0
[pid=23177/tid=23200] ppid=23176 vsize=13801768 CPUtime=40.16 cores=0,2,4,6,8,10,12,14
/proc/23177/task/23200/stat : 23200 (java) R 23176 23176 15667 0 -1 4202560 987 0 0 0 4014 2 0 0 20 0 28 0 3844190 14133010432 184610 33554432000 4194304 4196468 140723582842032 140367742732688 140367942823237 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 15581184 140723582846140 140723582846316 140723582846316 140723582848975 0
[pid=23177/tid=23201] ppid=23176 vsize=13801768 CPUtime=40.26 cores=0,2,4,6,8,10,12,14
/proc/23177/task/23201/stat : 23201 (java) R 23176 23176 15667 0 -1 4202560 976 0 0 0 4024 2 0 0 20 0 28 0 3844194 14133010432 184610 33554432000 4194304 4196468 140723582842032 140367741677672 140367942822734 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15581184 140723582846140 140723582846316 140723582846316 140723582848975 0
[pid=23177/tid=23202] ppid=23176 vsize=13801768 CPUtime=39.54 cores=0,2,4,6,8,10,12,14
/proc/23177/task/23202/stat : 23202 (java) R 23176 23176 15667 0 -1 4202560 424 0 0 0 3954 0 0 0 20 0 28 0 3844194 14133010432 184610 33554432000 4194304 4196468 140723582842032 140367740624600 140367942823779 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 15581184 140723582846140 140723582846316 140723582846316 140723582848975 0
[pid=23177/tid=23203] ppid=23176 vsize=13801768 CPUtime=40.27 cores=0,2,4,6,8,10,12,14
/proc/23177/task/23203/stat : 23203 (java) R 23176 23176 15667 0 -1 4202560 557 0 0 0 4026 1 0 0 20 0 28 0 3844194 14133010432 184610 33554432000 4194304 4196468 140723582842032 140367739572056 140367943503109 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15581184 140723582846140 140723582846316 140723582846316 140723582848975 0
[pid=23177/tid=23204] ppid=23176 vsize=13801768 CPUtime=40.54 cores=0,2,4,6,8,10,12,14
/proc/23177/task/23204/stat : 23204 (java) R 23176 23176 15667 0 -1 4202560 822 0 0 0 4053 1 0 0 20 0 28 0 3844194 14133010432 184610 33554432000 4194304 4196468 140723582842032 140367738520024 140367942823784 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 15581184 140723582846140 140723582846316 140723582846316 140723582848975 0
[pid=23177/tid=23205] ppid=23176 vsize=13801768 CPUtime=40.54 cores=0,2,4,6,8,10,12,14
/proc/23177/task/23205/stat : 23205 (java) R 23176 23176 15667 0 -1 4202560 250 0 0 0 4054 0 0 0 20 0 28 0 3844194 14133010432 184610 33554432000 4194304 4196468 140723582842032 140367737467336 140367944849509 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15581184 140723582846140 140723582846316 140723582846316 140723582848975 0
Current children cumulated CPU time (s) 332.29
Current children cumulated vsize (KiB) 13811280
[startup+43.2077 s]
/proc/loadavg: 11.77 14.13 12.92 10/292 23505
/proc/meminfo: memFree=30104256/32770624 swapFree=5892/112684
[pid=23176] ppid=23173 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/23176/stat : 23176 (xcsp3-exec) S 23173 23176 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3844039 9740288 346 33554432000 4194304 5098028 140729737300032 140729737298136 140678510527100 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 28270592 140729737307278 140729737307488 140729737307488 140729737310187 0
/proc/23176/statm: 2378 346 289 221 0 87 0
[pid=23177] ppid=23176 vsize=0 CPUtime=335.35 cores=0,2,4,6,8,10,12,14
/proc/23177/stat : 23177 (java) Z 23176 23176 15667 0 -1 4227084 46298 0 0 0 33445 90 0 0 20 0 2 0 3844039 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 0 0 0 0 0 0 0 0
/proc/23177/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 335.35
Current children cumulated vsize (KiB) 9512
Child status: 0
Real time (s): 43.2083
CPU time (s): 335.364
CPU user time (s): 334.456
CPU system time (s): 0.907631
CPU usage (%): 776.156
Max. virtual memory (cumulated for all children) (KiB): 13813148
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 334.456
system time used= 0.907631
maximum resident set size= 767040
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46826
page faults= 0
swaps= 0
block input operations= 0
block output operations= 144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5225
involuntary context switches= 22762
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.603927 second user time and 0.607667 second system time
The end