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-4248993-1500693421/watcher-4248993-1500693421 -o /tmp/evaluation-result-4248993-1500693421/solver-4248993-1500693421 -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 855358737 HOME/instance-4248993-1500693421.xml
pid=15345
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: 15.84 13.04 12.58 10/275 15348
/proc/meminfo: memFree=30873700/32770624 swapFree=5944/266580
[pid=15348] ppid=15345 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/15348/stat : 15348 (xcsp3-exec) S 15345 15348 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4609304 9740288 346 33554432000 4194304 5098028 140725808213936 140725808212040 139912079696508 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 29986816 140725808219279 140725808219488 140725808219488 140725808222187 0
/proc/15348/statm: 2378 346 289 221 0 87 0
[startup+0.100124 s]
/proc/loadavg: 15.84 13.04 12.58 10/275 15348
/proc/meminfo: memFree=30873700/32770624 swapFree=5944/266580
[pid=15348] ppid=15345 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/15348/stat : 15348 (xcsp3-exec) S 15345 15348 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4609304 9740288 346 33554432000 4194304 5098028 140725808213936 140725808212040 139912079696508 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 29986816 140725808219279 140725808219488 140725808219488 140725808222187 0
/proc/15348/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200288 s]
/proc/loadavg: 15.84 13.04 12.58 10/275 15348
/proc/meminfo: memFree=30873700/32770624 swapFree=5944/266580
[pid=15348] ppid=15345 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/15348/stat : 15348 (xcsp3-exec) S 15345 15348 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4609304 9740288 346 33554432000 4194304 5098028 140725808213936 140725808212040 139912079696508 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 29986816 140725808219279 140725808219488 140725808219488 140725808222187 0
/proc/15348/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300232 s]
/proc/loadavg: 15.84 13.04 12.58 10/275 15348
/proc/meminfo: memFree=30873700/32770624 swapFree=5944/266580
[pid=15348] ppid=15345 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/15348/stat : 15348 (xcsp3-exec) S 15345 15348 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4609304 9740288 346 33554432000 4194304 5098028 140725808213936 140725808212040 139912079696508 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 29986816 140725808219279 140725808219488 140725808219488 140725808222187 0
/proc/15348/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700216 s]
/proc/loadavg: 15.84 13.04 12.58 10/275 15348
/proc/meminfo: memFree=30873700/32770624 swapFree=5944/266580
[pid=15348] ppid=15345 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/15348/stat : 15348 (xcsp3-exec) S 15345 15348 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4609304 9740288 346 33554432000 4194304 5098028 140725808213936 140725808212040 139912079696508 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 29986816 140725808219279 140725808219488 140725808219488 140725808222187 0
/proc/15348/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50115 s]
/proc/loadavg: 15.84 13.04 12.58 13/296 15369
/proc/meminfo: memFree=30681088/32770624 swapFree=5944/266640
[pid=15348] ppid=15345 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/15348/stat : 15348 (xcsp3-exec) S 15345 15348 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4609304 9740288 346 33554432000 4194304 5098028 140725808213936 140725808212040 139912079696508 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 29986816 140725808219279 140725808219488 140725808219488 140725808222187 0
/proc/15348/statm: 2378 346 289 221 0 87 0
[pid=15349] ppid=15348 vsize=13269256 CPUtime=5.77 cores=4-7,12-15
/proc/15349/stat : 15349 (java) S 15348 15348 18810 0 -1 1077944320 17247 0 0 0 550 27 0 0 20 0 20 0 4609304 13587718144 62033 33554432000 4194304 4196468 140733901732048 140733901714592 140424958500599 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 30740480 140733901735100 140733901735276 140733901735276 140733901737935 0
/proc/15349/statm: 3317314 62033 3239 1 0 3304547 0
[pid=15349/tid=15350] ppid=15348 vsize=13269256 CPUtime=1.4 cores=4-7,12-15
/proc/15349/task/15350/stat : 15350 (java) R 15348 15348 18810 0 -1 4202560 6790 0 0 0 136 4 0 0 20 0 20 0 4609305 13587718144 62033 33554432000 4194304 4196468 140733901732048 140424962730960 140424958522525 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 30740480 140733901735100 140733901735276 140733901735276 140733901737935 0
[pid=15349/tid=15352] ppid=15348 vsize=13269256 CPUtime=0.05 cores=4-7,12-15
/proc/15349/task/15352/stat : 15352 (java) S 15348 15348 18810 0 -1 1077944384 77 0 0 0 3 2 0 0 20 0 20 0 4609306 13587718144 62033 33554432000 4194304 4196468 140733901732048 140424897464848 140424958510805 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30740480 140733901735100 140733901735276 140733901735276 140733901737935 0
[pid=15349/tid=15353] ppid=15348 vsize=13269256 CPUtime=0.04 cores=4-7,12-15
/proc/15349/task/15353/stat : 15353 (java) S 15348 15348 18810 0 -1 1077944384 44 0 0 0 2 2 0 0 20 0 20 0 4609306 13587718144 62033 33554432000 4194304 4196468 140733901732048 140424896412304 140424958510805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30740480 140733901735100 140733901735276 140733901735276 140733901737935 0
[pid=15349/tid=15354] ppid=15348 vsize=13269256 CPUtime=0.05 cores=4-7,12-15
/proc/15349/task/15354/stat : 15354 (java) S 15348 15348 18810 0 -1 1077944384 78 0 0 0 3 2 0 0 20 0 20 0 4609306 13587718144 62033 33554432000 4194304 4196468 140733901732048 140424556009744 140424958510805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30740480 140733901735100 140733901735276 140733901735276 140733901737935 0
[pid=15349/tid=15355] ppid=15348 vsize=13269256 CPUtime=0.03 cores=4-7,12-15
/proc/15349/task/15355/stat : 15355 (java) S 15348 15348 18810 0 -1 1077944384 69 0 0 0 2 1 0 0 20 0 20 0 4609306 13587718144 62033 33554432000 4194304 4196468 140733901732048 140424554957200 140424958510805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30740480 140733901735100 140733901735276 140733901735276 140733901737935 0
[pid=15349/tid=15356] ppid=15348 vsize=13269256 CPUtime=0.05 cores=4-7,12-15
/proc/15349/task/15356/stat : 15356 (java) S 15348 15348 18810 0 -1 1077944384 55 0 0 0 3 2 0 0 20 0 20 0 4609306 13587718144 62033 33554432000 4194304 4196468 140733901732048 140424553905168 140424958510805 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30740480 140733901735100 140733901735276 140733901735276 140733901737935 0
[pid=15349/tid=15357] ppid=15348 vsize=13269256 CPUtime=0.05 cores=4-7,12-15
/proc/15349/task/15357/stat : 15357 (java) S 15348 15348 18810 0 -1 1077944384 39 0 0 0 3 2 0 0 20 0 20 0 4609306 13587718144 62033 33554432000 4194304 4196468 140733901732048 140424552852624 140424958510805 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 30740480 140733901735100 140733901735276 140733901735276 140733901737935 0
[pid=15349/tid=15358] ppid=15348 vsize=13269256 CPUtime=0.03 cores=4-7,12-15
/proc/15349/task/15358/stat : 15358 (java) S 15348 15348 18810 0 -1 1077944384 53 0 0 0 2 1 0 0 20 0 20 0 4609306 13587718144 62033 33554432000 4194304 4196468 140733901732048 140424551799568 140424958510805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30740480 140733901735100 140733901735276 140733901735276 140733901737935 0
[pid=15349/tid=15359] ppid=15348 vsize=13269256 CPUtime=0.04 cores=4-7,12-15
/proc/15349/task/15359/stat : 15359 (java) S 15348 15348 18810 0 -1 1077944384 23 0 0 0 2 2 0 0 20 0 20 0 4609306 13587718144 62033 33554432000 4194304 4196468 140733901732048 140424550747024 140424958510805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30740480 140733901735100 140733901735276 140733901735276 140733901737935 0
[pid=15349/tid=15360] ppid=15348 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/15349/task/15360/stat : 15360 (java) S 15348 15348 18810 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 20 0 4609308 13587718144 62033 33554432000 4194304 4196468 140733901732048 140424286017776 140424958511746 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30740480 140733901735100 140733901735276 140733901735276 140733901737935 0
[pid=15349/tid=15361] ppid=15348 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/15349/task/15361/stat : 15361 (java) S 15348 15348 18810 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 4609309 13587718144 62033 33554432000 4194304 4196468 140733901732048 140424284964064 140424958510805 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 30740480 140733901735100 140733901735276 140733901735276 140733901737935 0
[pid=15349/tid=15362] ppid=15348 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/15349/task/15362/stat : 15362 (java) S 15348 15348 18810 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 4609309 13587718144 62033 33554432000 4194304 4196468 140733901732048 140424283910912 140424958510805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30740480 140733901735100 140733901735276 140733901735276 140733901737935 0
[pid=15349/tid=15363] ppid=15348 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/15349/task/15363/stat : 15363 (java) S 15348 15348 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4609312 13587718144 62033 33554432000 4194304 4196468 140733901732048 140424282859472 140424958519195 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30740480 140733901735100 140733901735276 140733901735276 140733901737935 0
[pid=15349/tid=15364] ppid=15348 vsize=13269256 CPUtime=1.04 cores=4-7,12-15
/proc/15349/task/15364/stat : 15364 (java) R 15348 15348 18810 0 -1 4202560 2213 0 0 0 104 0 0 0 20 0 20 0 4609312 13587718144 62033 33554432000 4194304 4196468 140733901732048 140424281793624 140424943626377 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30740480 140733901735100 140733901735276 140733901735276 140733901737935 0
[pid=15349/tid=15365] ppid=15348 vsize=13269256 CPUtime=1.09 cores=4-7,12-15
/proc/15349/task/15365/stat : 15365 (java) R 15348 15348 18810 0 -1 4202560 2062 0 0 0 109 0 0 0 20 0 20 0 4609312 13587718144 62033 33554432000 4194304 4196468 140733901732048 140424280741520 140424940045088 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 30740480 140733901735100 140733901735276 140733901735276 140733901737935 0
[pid=15349/tid=15366] ppid=15348 vsize=13269256 CPUtime=1.09 cores=4-7,12-15
/proc/15349/task/15366/stat : 15366 (java) R 15348 15348 18810 0 -1 4202560 1775 0 0 0 108 1 0 0 20 0 20 0 4609312 13587718144 62033 33554432000 4194304 4196468 140733901732048 140424279682768 140424942411290 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30740480 140733901735100 140733901735276 140733901735276 140733901737935 0
[pid=15349/tid=15367] ppid=15348 vsize=13269256 CPUtime=0.65 cores=4-7,12-15
/proc/15349/task/15367/stat : 15367 (java) R 15348 15348 18810 0 -1 4202560 2590 0 0 0 65 0 0 0 20 0 20 0 4609312 13587718144 62033 33554432000 4194304 4196468 140733901732048 140424278646712 140424951597030 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 30740480 140733901735100 140733901735276 140733901735276 140733901737935 0
[pid=15349/tid=15368] ppid=15348 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/15349/task/15368/stat : 15368 (java) S 15348 15348 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4609312 13587718144 62033 33554432000 4194304 4196468 140733901732048 140424277596640 140424958510805 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 30740480 140733901735100 140733901735276 140733901735276 140733901737935 0
[pid=15349/tid=15369] ppid=15348 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/15349/task/15369/stat : 15369 (java) S 15348 15348 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4609313 13587718144 62033 33554432000 4194304 4196468 140733901732048 140424276544176 140424958511746 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 30740480 140733901735100 140733901735276 140733901735276 140733901737935 0
Current children cumulated CPU time (s) 5.77
Current children cumulated vsize (KiB) 13278768
[startup+3.10139 s]
/proc/loadavg: 15.53 13.02 12.58 11/296 15369
/proc/meminfo: memFree=30472768/32770624 swapFree=5944/266640
[pid=15348] ppid=15345 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/15348/stat : 15348 (xcsp3-exec) S 15345 15348 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4609304 9740288 346 33554432000 4194304 5098028 140725808213936 140725808212040 139912079696508 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 29986816 140725808219279 140725808219488 140725808219488 140725808222187 0
/proc/15348/statm: 2378 346 289 221 0 87 0
[pid=15349] ppid=15348 vsize=13269256 CPUtime=10.99 cores=4-7,12-15
/proc/15349/stat : 15349 (java) S 15348 15348 18810 0 -1 1077944320 20427 0 0 0 977 122 0 0 20 0 20 0 4609304 13587718144 190135 33554432000 4194304 4196468 140733901732048 140733901714592 140424958500599 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 30740480 140733901735100 140733901735276 140733901735276 140733901737935 0
/proc/15349/statm: 3317314 190135 3252 1 0 3304547 0
[pid=15349/tid=15350] ppid=15348 vsize=13269256 CPUtime=2.76 cores=4-7,12-15
/proc/15349/task/15350/stat : 15350 (java) R 15348 15348 18810 0 -1 4202560 7046 0 0 0 266 10 0 0 20 0 20 0 4609305 13587718144 190135 33554432000 4194304 4196468 140733901732048 140424962738216 140424958512534 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 30740480 140733901735100 140733901735276 140733901735276 140733901737935 0
[pid=15349/tid=15352] ppid=15348 vsize=13269256 CPUtime=0.29 cores=4-7,12-15
/proc/15349/task/15352/stat : 15352 (java) S 15348 15348 18810 0 -1 1077944384 176 0 0 0 15 14 0 0 20 0 20 0 4609306 13587718144 190135 33554432000 4194304 4196468 140733901732048 140424897464848 140424958510805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30740480 140733901735100 140733901735276 140733901735276 140733901737935 0
[pid=15349/tid=15353] ppid=15348 vsize=13269256 CPUtime=0.26 cores=4-7,12-15
/proc/15349/task/15353/stat : 15353 (java) S 15348 15348 18810 0 -1 1077944384 221 0 0 0 13 13 0 0 20 0 20 0 4609306 13587718144 190135 33554432000 4194304 4196468 140733901732048 140424896412304 140424958510805 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30740480 140733901735100 140733901735276 140733901735276 140733901737935 0
[pid=15349/tid=15354] ppid=15348 vsize=13269256 CPUtime=0.28 cores=4-7,12-15
/proc/15349/task/15354/stat : 15354 (java) S 15348 15348 18810 0 -1 1077944384 236 0 0 0 15 13 0 0 20 0 20 0 4609306 13587718144 190135 33554432000 4194304 4196468 140733901732048 140424556009744 140424958510805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30740480 140733901735100 140733901735276 140733901735276 140733901737935 0
[pid=15349/tid=15355] ppid=15348 vsize=13269256 CPUtime=0.27 cores=4-7,12-15
/proc/15349/task/15355/stat : 15355 (java) S 15348 15348 18810 0 -1 1077944384 194 0 0 0 13 14 0 0 20 0 20 0 4609306 13587718144 190135 33554432000 4194304 4196468 140733901732048 140424554957200 140424958510805 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 30740480 140733901735100 140733901735276 140733901735276 140733901737935 0
[pid=15349/tid=15356] ppid=15348 vsize=13269256 CPUtime=0.27 cores=4-7,12-15
/proc/15349/task/15356/stat : 15356 (java) S 15348 15348 18810 0 -1 1077944384 239 0 0 0 15 12 0 0 20 0 20 0 4609306 13587718144 190135 33554432000 4194304 4196468 140733901732048 140424553905168 140424958510805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30740480 140733901735100 140733901735276 140733901735276 140733901737935 0
[pid=15349/tid=15357] ppid=15348 vsize=13269256 CPUtime=0.29 cores=4-7,12-15
/proc/15349/task/15357/stat : 15357 (java) S 15348 15348 18810 0 -1 1077944384 230 0 0 0 15 14 0 0 20 0 20 0 4609306 13587718144 190135 33554432000 4194304 4196468 140733901732048 140424552852624 140424958510805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30740480 140733901735100 140733901735276 140733901735276 140733901737935 0
[pid=15349/tid=15358] ppid=15348 vsize=13269256 CPUtime=0.28 cores=4-7,12-15
/proc/15349/task/15358/stat : 15358 (java) S 15348 15348 18810 0 -1 1077944384 244 0 0 0 15 13 0 0 20 0 20 0 4609306 13587718144 190135 33554432000 4194304 4196468 140733901732048 140424551799568 140424958510805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30740480 140733901735100 140733901735276 140733901735276 140733901737935 0
[pid=15349/tid=15359] ppid=15348 vsize=13269256 CPUtime=0.27 cores=4-7,12-15
/proc/15349/task/15359/stat : 15359 (java) S 15348 15348 18810 0 -1 1077944384 240 0 0 0 15 12 0 0 20 0 20 0 4609306 13587718144 190135 33554432000 4194304 4196468 140733901732048 140424550747024 140424958510805 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30740480 140733901735100 140733901735276 140733901735276 140733901737935 0
[pid=15349/tid=15360] ppid=15348 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/15349/task/15360/stat : 15360 (java) S 15348 15348 18810 0 -1 1077944384 526 0 0 0 0 0 0 0 20 0 20 0 4609308 13587718144 190135 33554432000 4194304 4196468 140733901732048 140424286017776 140424958511746 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30740480 140733901735100 140733901735276 140733901735276 140733901737935 0
[pid=15349/tid=15361] ppid=15348 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/15349/task/15361/stat : 15361 (java) S 15348 15348 18810 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 4609309 13587718144 190135 33554432000 4194304 4196468 140733901732048 140424284964064 140424958510805 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 30740480 140733901735100 140733901735276 140733901735276 140733901737935 0
[pid=15349/tid=15362] ppid=15348 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/15349/task/15362/stat : 15362 (java) S 15348 15348 18810 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 4609309 13587718144 190135 33554432000 4194304 4196468 140733901732048 140424283910912 140424958510805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30740480 140733901735100 140733901735276 140733901735276 140733901737935 0
[pid=15349/tid=15363] ppid=15348 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/15349/task/15363/stat : 15363 (java) S 15348 15348 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4609312 13587718144 190135 33554432000 4194304 4196468 140733901732048 140424282859472 140424958519195 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30740480 140733901735100 140733901735276 140733901735276 140733901737935 0
[pid=15349/tid=15364] ppid=15348 vsize=13269256 CPUtime=1.68 cores=4-7,12-15
/proc/15349/task/15364/stat : 15364 (java) R 15348 15348 18810 0 -1 4202560 2689 0 0 0 168 0 0 0 20 0 20 0 4609312 13587718144 190135 33554432000 4194304 4196468 140733901732048 140424281807600 140424938012103 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30740480 140733901735100 140733901735276 140733901735276 140733901737935 0
[pid=15349/tid=15365] ppid=15348 vsize=13269256 CPUtime=1.72 cores=4-7,12-15
/proc/15349/task/15365/stat : 15365 (java) R 15348 15348 18810 0 -1 4202560 2412 0 0 0 172 0 0 0 20 0 20 0 4609312 13587718144 190135 33554432000 4194304 4196468 140733901732048 140424280755056 140424944564755 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30740480 140733901735100 140733901735276 140733901735276 140733901737935 0
[pid=15349/tid=15366] ppid=15348 vsize=13269256 CPUtime=1.7 cores=4-7,12-15
/proc/15349/task/15366/stat : 15366 (java) R 15348 15348 18810 0 -1 4202560 1871 0 0 0 169 1 0 0 20 0 20 0 4609312 13587718144 190135 33554432000 4194304 4196468 140733901732048 140424279702000 140424942790843 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30740480 140733901735100 140733901735276 140733901735276 140733901737935 0
[pid=15349/tid=15367] ppid=15348 vsize=13269256 CPUtime=0.8 cores=4-7,12-15
/proc/15349/task/15367/stat : 15367 (java) S 15348 15348 18810 0 -1 1077944384 2807 0 0 0 80 0 0 0 20 0 20 0 4609312 13587718144 190135 33554432000 4194304 4196468 140733901732048 140424278649456 140424958511746 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 30740480 140733901735100 140733901735276 140733901735276 140733901737935 0
[pid=15349/tid=15368] ppid=15348 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/15349/task/15368/stat : 15368 (java) S 15348 15348 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4609312 13587718144 190135 33554432000 4194304 4196468 140733901732048 140424277596640 140424958510805 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 30740480 140733901735100 140733901735276 140733901735276 140733901737935 0
[pid=15349/tid=15369] ppid=15348 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/15349/task/15369/stat : 15369 (java) S 15348 15348 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4609313 13587718144 190135 33554432000 4194304 4196468 140733901732048 140424276544176 140424958511746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30740480 140733901735100 140733901735276 140733901735276 140733901737935 0
Current children cumulated CPU time (s) 10.99
Current children cumulated vsize (KiB) 13278768
[startup+6.30154 s]
/proc/loadavg: 15.53 13.02 12.58 17/304 15377
/proc/meminfo: memFree=30031740/32770624 swapFree=5944/266652
[pid=15348] ppid=15345 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/15348/stat : 15348 (xcsp3-exec) S 15345 15348 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4609304 9740288 346 33554432000 4194304 5098028 140725808213936 140725808212040 139912079696508 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 29986816 140725808219279 140725808219488 140725808219488 140725808222187 0
/proc/15348/statm: 2378 346 289 221 0 87 0
[pid=15349] ppid=15348 vsize=13801768 CPUtime=28.51 cores=4-7,12-15
/proc/15349/stat : 15349 (java) S 15348 15348 18810 0 -1 1077944320 27630 0 0 0 2685 166 0 0 20 0 28 0 4609304 14133010432 225588 33554432000 4194304 4196468 140733901732048 140733901714592 140424958500599 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 30740480 140733901735100 140733901735276 140733901735276 140733901737935 0
/proc/15349/statm: 3450442 225588 3259 1 0 3437675 0
[pid=15349/tid=15350] ppid=15348 vsize=13801768 CPUtime=3.99 cores=4-7,12-15
/proc/15349/task/15350/stat : 15350 (java) S 15348 15348 18810 0 -1 1077944384 7233 0 0 0 389 10 0 0 20 0 28 0 4609305 14133010432 225588 33554432000 4194304 4196468 140733901732048 140424962741376 140424958510805 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 30740480 140733901735100 140733901735276 140733901735276 140733901737935 0
[pid=15349/tid=15352] ppid=15348 vsize=13801768 CPUtime=0.41 cores=4-7,12-15
/proc/15349/task/15352/stat : 15352 (java) S 15348 15348 18810 0 -1 1077944384 343 0 0 0 22 19 0 0 20 0 28 0 4609306 14133010432 225588 33554432000 4194304 4196468 140733901732048 140424897464848 140424958510805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30740480 140733901735100 140733901735276 140733901735276 140733901737935 0
[pid=15349/tid=15353] ppid=15348 vsize=13801768 CPUtime=0.38 cores=4-7,12-15
/proc/15349/task/15353/stat : 15353 (java) S 15348 15348 18810 0 -1 1077944384 258 0 0 0 20 18 0 0 20 0 28 0 4609306 14133010432 225588 33554432000 4194304 4196468 140733901732048 140424896412304 140424958510805 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30740480 140733901735100 140733901735276 140733901735276 140733901737935 0
[pid=15349/tid=15354] ppid=15348 vsize=13801768 CPUtime=0.4 cores=4-7,12-15
/proc/15349/task/15354/stat : 15354 (java) S 15348 15348 18810 0 -1 1077944384 277 0 0 0 22 18 0 0 20 0 28 0 4609306 14133010432 225588 33554432000 4194304 4196468 140733901732048 140424556009744 140424958510805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30740480 140733901735100 140733901735276 140733901735276 140733901737935 0
[pid=15349/tid=15355] ppid=15348 vsize=13801768 CPUtime=0.4 cores=4-7,12-15
/proc/15349/task/15355/stat : 15355 (java) S 15348 15348 18810 0 -1 1077944384 396 0 0 0 21 19 0 0 20 0 28 0 4609306 14133010432 225588 33554432000 4194304 4196468 140733901732048 140424554957200 140424958510805 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 30740480 140733901735100 140733901735276 140733901735276 140733901737935 0
[pid=15349/tid=15356] ppid=15348 vsize=13801768 CPUtime=0.39 cores=4-7,12-15
/proc/15349/task/15356/stat : 15356 (java) S 15348 15348 18810 0 -1 1077944384 294 0 0 0 22 17 0 0 20 0 28 0 4609306 14133010432 225588 33554432000 4194304 4196468 140733901732048 140424553905168 140424958510805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30740480 140733901735100 140733901735276 140733901735276 140733901737935 0
[pid=15349/tid=15357] ppid=15348 vsize=13801768 CPUtime=0.42 cores=4-7,12-15
/proc/15349/task/15357/stat : 15357 (java) S 15348 15348 18810 0 -1 1077944384 287 0 0 0 23 19 0 0 20 0 28 0 4609306 14133010432 225588 33554432000 4194304 4196468 140733901732048 140424552852624 140424958510805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30740480 140733901735100 140733901735276 140733901735276 140733901737935 0
[pid=15349/tid=15358] ppid=15348 vsize=13801768 CPUtime=0.41 cores=4-7,12-15
/proc/15349/task/15358/stat : 15358 (java) S 15348 15348 18810 0 -1 1077944384 281 0 0 0 23 18 0 0 20 0 28 0 4609306 14133010432 225588 33554432000 4194304 4196468 140733901732048 140424551799568 140424958510805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30740480 140733901735100 140733901735276 140733901735276 140733901737935 0
[pid=15349/tid=15359] ppid=15348 vsize=13801768 CPUtime=0.39 cores=4-7,12-15
/proc/15349/task/15359/stat : 15359 (java) S 15348 15348 18810 0 -1 1077944384 283 0 0 0 22 17 0 0 20 0 28 0 4609306 14133010432 225588 33554432000 4194304 4196468 140733901732048 140424550747024 140424958510805 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30740480 140733901735100 140733901735276 140733901735276 140733901737935 0
[pid=15349/tid=15360] ppid=15348 vsize=13801768 CPUtime=0.01 cores=4-7,12-15
/proc/15349/task/15360/stat : 15360 (java) S 15348 15348 18810 0 -1 1077944384 616 0 0 0 1 0 0 0 20 0 28 0 4609308 14133010432 225588 33554432000 4194304 4196468 140733901732048 140424286017776 140424958511746 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30740480 140733901735100 140733901735276 140733901735276 140733901737935 0
[pid=15349/tid=15361] ppid=15348 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/15349/task/15361/stat : 15361 (java) S 15348 15348 18810 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 4609309 14133010432 225588 33554432000 4194304 4196468 140733901732048 140424284964064 140424958510805 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 30740480 140733901735100 140733901735276 140733901735276 140733901737935 0
[pid=15349/tid=15362] ppid=15348 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/15349/task/15362/stat : 15362 (java) S 15348 15348 18810 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 4609309 14133010432 225588 33554432000 4194304 4196468 140733901732048 140424283910912 140424958510805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30740480 140733901735100 140733901735276 140733901735276 140733901737935 0
[pid=15349/tid=15363] ppid=15348 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/15349/task/15363/stat : 15363 (java) S 15348 15348 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4609312 14133010432 225588 33554432000 4194304 4196468 140733901732048 140424282859472 140424958519195 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30740480 140733901735100 140733901735276 140733901735276 140733901737935 0
################
# More data... #
################
/proc/15349/task/15361/stat : 15361 (java) S 15348 15348 18810 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 4609309 14133010432 226615 33554432000 4194304 4196468 140733901732048 140424284964064 140424958510805 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 30740480 140733901735100 140733901735276 140733901735276 140733901737935 0
[pid=15349/tid=15362] ppid=15348 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/15349/task/15362/stat : 15362 (java) S 15348 15348 18810 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 4609309 14133010432 226615 33554432000 4194304 4196468 140733901732048 140424283910912 140424958510805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30740480 140733901735100 140733901735276 140733901735276 140733901737935 0
[pid=15349/tid=15363] ppid=15348 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/15349/task/15363/stat : 15363 (java) S 15348 15348 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4609312 14133010432 226615 33554432000 4194304 4196468 140733901732048 140424282859472 140424958519195 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30740480 140733901735100 140733901735276 140733901735276 140733901737935 0
[pid=15349/tid=15364] ppid=15348 vsize=13801768 CPUtime=2.43 cores=4-7,12-15
/proc/15349/task/15364/stat : 15364 (java) S 15348 15348 18810 0 -1 1077944384 3589 0 0 0 243 0 0 0 20 0 28 0 4609312 14133010432 226615 33554432000 4194304 4196468 140733901732048 140424281807600 140424958511746 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30740480 140733901735100 140733901735276 140733901735276 140733901737935 0
[pid=15349/tid=15365] ppid=15348 vsize=13801768 CPUtime=2.62 cores=4-7,12-15
/proc/15349/task/15365/stat : 15365 (java) S 15348 15348 18810 0 -1 1077944384 2629 0 0 0 261 1 0 0 20 0 28 0 4609312 14133010432 226615 33554432000 4194304 4196468 140733901732048 140424280755056 140424958511746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30740480 140733901735100 140733901735276 140733901735276 140733901737935 0
[pid=15349/tid=15366] ppid=15348 vsize=13801768 CPUtime=2.68 cores=4-7,12-15
/proc/15349/task/15366/stat : 15366 (java) S 15348 15348 18810 0 -1 1077944384 2812 0 0 0 267 1 0 0 20 0 28 0 4609312 14133010432 226615 33554432000 4194304 4196468 140733901732048 140424279702000 140424958511746 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 30740480 140733901735100 140733901735276 140733901735276 140733901737935 0
[pid=15349/tid=15367] ppid=15348 vsize=13801768 CPUtime=1.15 cores=4-7,12-15
/proc/15349/task/15367/stat : 15367 (java) S 15348 15348 18810 0 -1 1077944384 5843 0 0 0 114 1 0 0 20 0 28 0 4609312 14133010432 226615 33554432000 4194304 4196468 140733901732048 140424278649456 140424958511746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 14 0 0 6293624 6294260 30740480 140733901735100 140733901735276 140733901735276 140733901737935 0
[pid=15349/tid=15368] ppid=15348 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/15349/task/15368/stat : 15368 (java) S 15348 15348 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4609312 14133010432 226615 33554432000 4194304 4196468 140733901732048 140424277596640 140424958510805 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 30740480 140733901735100 140733901735276 140733901735276 140733901737935 0
[pid=15349/tid=15369] ppid=15348 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/15349/task/15369/stat : 15369 (java) S 15348 15348 18810 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 28 0 4609313 14133010432 226615 33554432000 4194304 4196468 140733901732048 140424276544176 140424958511746 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 11 0 0 6293624 6294260 30740480 140733901735100 140733901735276 140733901735276 140733901737935 0
[pid=15349/tid=15370] ppid=15348 vsize=13801768 CPUtime=1.72 cores=4-7,12-15
/proc/15349/task/15370/stat : 15370 (java) R 15348 15348 18810 0 -1 4202560 108 0 0 0 172 0 0 0 20 0 28 0 4609750 14133010432 226615 33554432000 4194304 4196468 140733901732048 140424269028392 140424586429688 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30740480 140733901735100 140733901735276 140733901735276 140733901737935 0
[pid=15349/tid=15371] ppid=15348 vsize=13801768 CPUtime=1.66 cores=4-7,12-15
/proc/15349/task/15371/stat : 15371 (java) R 15348 15348 18810 0 -1 4202560 124 0 0 0 166 0 0 0 20 0 28 0 4609750 14133010432 226615 33554432000 4194304 4196468 140733901732048 140424267976392 140424585868706 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 30740480 140733901735100 140733901735276 140733901735276 140733901737935 0
[pid=15349/tid=15372] ppid=15348 vsize=13801768 CPUtime=1.54 cores=4-7,12-15
/proc/15349/task/15372/stat : 15372 (java) R 15348 15348 18810 0 -1 4202560 349 0 0 0 154 0 0 0 20 0 28 0 4609750 14133010432 226615 33554432000 4194304 4196468 140733901732048 140424266924616 140424586053814 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30740480 140733901735100 140733901735276 140733901735276 140733901737935 0
[pid=15349/tid=15373] ppid=15348 vsize=13801768 CPUtime=1.62 cores=4-7,12-15
/proc/15349/task/15373/stat : 15373 (java) R 15348 15348 18810 0 -1 4202560 239 0 0 0 162 0 0 0 20 0 28 0 4609750 14133010432 226615 33554432000 4194304 4196468 140733901732048 140424265873672 140424585868664 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30740480 140733901735100 140733901735276 140733901735276 140733901737935 0
[pid=15349/tid=15374] ppid=15348 vsize=13801768 CPUtime=1.66 cores=4-7,12-15
/proc/15349/task/15374/stat : 15374 (java) R 15348 15348 18810 0 -1 4202560 105 0 0 0 166 0 0 0 20 0 28 0 4609750 14133010432 226615 33554432000 4194304 4196468 140733901732048 140424264819352 140424586218515 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 30740480 140733901735100 140733901735276 140733901735276 140733901737935 0
[pid=15349/tid=15375] ppid=15348 vsize=13801768 CPUtime=1.61 cores=4-7,12-15
/proc/15349/task/15375/stat : 15375 (java) R 15348 15348 18810 0 -1 4202560 151 0 0 0 161 0 0 0 20 0 28 0 4609750 14133010432 226615 33554432000 4194304 4196468 140733901732048 140424263766576 140424581311668 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30740480 140733901735100 140733901735276 140733901735276 140733901737935 0
[pid=15349/tid=15376] ppid=15348 vsize=13801768 CPUtime=1.72 cores=4-7,12-15
/proc/15349/task/15376/stat : 15376 (java) R 15348 15348 18810 0 -1 4202560 111 0 0 0 172 0 0 0 20 0 28 0 4609750 14133010432 226615 33554432000 4194304 4196468 140733901732048 140424262713736 140424585868988 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 30740480 140733901735100 140733901735276 140733901735276 140733901737935 0
[pid=15349/tid=15377] ppid=15348 vsize=13801768 CPUtime=1.51 cores=4-7,12-15
/proc/15349/task/15377/stat : 15377 (java) R 15348 15348 18810 0 -1 4202560 104 0 0 0 151 0 0 0 20 0 28 0 4609750 14133010432 226615 33554432000 4194304 4196468 140733901732048 140424261662952 140424586353868 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 30740480 140733901735100 140733901735276 140733901735276 140733901737935 0
Current children cumulated CPU time (s) 29.3
Current children cumulated vsize (KiB) 13811280
[startup+6.80151 s]
/proc/loadavg: 15.41 13.04 12.58 17/304 15377
/proc/meminfo: memFree=29981184/32770624 swapFree=5944/266652
[pid=15348] ppid=15345 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/15348/stat : 15348 (xcsp3-exec) S 15345 15348 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4609304 9740288 346 33554432000 4194304 5098028 140725808213936 140725808212040 139912079696508 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 29986816 140725808219279 140725808219488 140725808219488 140725808222187 0
/proc/15348/statm: 2378 346 289 221 0 87 0
[pid=15349] ppid=15348 vsize=13801768 CPUtime=32.48 cores=4-7,12-15
/proc/15349/stat : 15349 (java) S 15348 15348 18810 0 -1 1077944320 27926 0 0 0 3081 167 0 0 20 0 28 0 4609304 14133010432 230711 33554432000 4194304 4196468 140733901732048 140733901714592 140424958500599 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 30740480 140733901735100 140733901735276 140733901735276 140733901737935 0
/proc/15349/statm: 3450442 230711 3260 1 0 3437675 0
[pid=15349/tid=15350] ppid=15348 vsize=13801768 CPUtime=3.99 cores=4-7,12-15
/proc/15349/task/15350/stat : 15350 (java) S 15348 15348 18810 0 -1 1077944384 7233 0 0 0 389 10 0 0 20 0 28 0 4609305 14133010432 230711 33554432000 4194304 4196468 140733901732048 140424962741376 140424958510805 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 30740480 140733901735100 140733901735276 140733901735276 140733901737935 0
[pid=15349/tid=15352] ppid=15348 vsize=13801768 CPUtime=0.41 cores=4-7,12-15
/proc/15349/task/15352/stat : 15352 (java) S 15348 15348 18810 0 -1 1077944384 343 0 0 0 22 19 0 0 20 0 28 0 4609306 14133010432 230711 33554432000 4194304 4196468 140733901732048 140424897464848 140424958510805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30740480 140733901735100 140733901735276 140733901735276 140733901737935 0
[pid=15349/tid=15353] ppid=15348 vsize=13801768 CPUtime=0.38 cores=4-7,12-15
/proc/15349/task/15353/stat : 15353 (java) S 15348 15348 18810 0 -1 1077944384 258 0 0 0 20 18 0 0 20 0 28 0 4609306 14133010432 230711 33554432000 4194304 4196468 140733901732048 140424896412304 140424958510805 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30740480 140733901735100 140733901735276 140733901735276 140733901737935 0
[pid=15349/tid=15354] ppid=15348 vsize=13801768 CPUtime=0.4 cores=4-7,12-15
/proc/15349/task/15354/stat : 15354 (java) S 15348 15348 18810 0 -1 1077944384 277 0 0 0 22 18 0 0 20 0 28 0 4609306 14133010432 230711 33554432000 4194304 4196468 140733901732048 140424556009744 140424958510805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30740480 140733901735100 140733901735276 140733901735276 140733901737935 0
[pid=15349/tid=15355] ppid=15348 vsize=13801768 CPUtime=0.4 cores=4-7,12-15
/proc/15349/task/15355/stat : 15355 (java) S 15348 15348 18810 0 -1 1077944384 396 0 0 0 21 19 0 0 20 0 28 0 4609306 14133010432 230711 33554432000 4194304 4196468 140733901732048 140424554957200 140424958510805 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 30740480 140733901735100 140733901735276 140733901735276 140733901737935 0
[pid=15349/tid=15356] ppid=15348 vsize=13801768 CPUtime=0.39 cores=4-7,12-15
/proc/15349/task/15356/stat : 15356 (java) S 15348 15348 18810 0 -1 1077944384 294 0 0 0 22 17 0 0 20 0 28 0 4609306 14133010432 230711 33554432000 4194304 4196468 140733901732048 140424553905168 140424958510805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30740480 140733901735100 140733901735276 140733901735276 140733901737935 0
[pid=15349/tid=15357] ppid=15348 vsize=13801768 CPUtime=0.42 cores=4-7,12-15
/proc/15349/task/15357/stat : 15357 (java) S 15348 15348 18810 0 -1 1077944384 287 0 0 0 23 19 0 0 20 0 28 0 4609306 14133010432 230711 33554432000 4194304 4196468 140733901732048 140424552852624 140424958510805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30740480 140733901735100 140733901735276 140733901735276 140733901737935 0
[pid=15349/tid=15358] ppid=15348 vsize=13801768 CPUtime=0.41 cores=4-7,12-15
/proc/15349/task/15358/stat : 15358 (java) S 15348 15348 18810 0 -1 1077944384 281 0 0 0 23 18 0 0 20 0 28 0 4609306 14133010432 230711 33554432000 4194304 4196468 140733901732048 140424551799568 140424958510805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30740480 140733901735100 140733901735276 140733901735276 140733901737935 0
[pid=15349/tid=15359] ppid=15348 vsize=13801768 CPUtime=0.39 cores=4-7,12-15
/proc/15349/task/15359/stat : 15359 (java) S 15348 15348 18810 0 -1 1077944384 283 0 0 0 22 17 0 0 20 0 28 0 4609306 14133010432 230711 33554432000 4194304 4196468 140733901732048 140424550747024 140424958510805 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30740480 140733901735100 140733901735276 140733901735276 140733901737935 0
[pid=15349/tid=15360] ppid=15348 vsize=13801768 CPUtime=0.01 cores=4-7,12-15
/proc/15349/task/15360/stat : 15360 (java) S 15348 15348 18810 0 -1 1077944384 616 0 0 0 1 0 0 0 20 0 28 0 4609308 14133010432 230711 33554432000 4194304 4196468 140733901732048 140424286017776 140424958511746 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30740480 140733901735100 140733901735276 140733901735276 140733901737935 0
[pid=15349/tid=15361] ppid=15348 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/15349/task/15361/stat : 15361 (java) S 15348 15348 18810 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 4609309 14133010432 230711 33554432000 4194304 4196468 140733901732048 140424284964064 140424958510805 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 30740480 140733901735100 140733901735276 140733901735276 140733901737935 0
[pid=15349/tid=15362] ppid=15348 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/15349/task/15362/stat : 15362 (java) S 15348 15348 18810 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 4609309 14133010432 230711 33554432000 4194304 4196468 140733901732048 140424283910912 140424958510805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30740480 140733901735100 140733901735276 140733901735276 140733901737935 0
[pid=15349/tid=15363] ppid=15348 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/15349/task/15363/stat : 15363 (java) S 15348 15348 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4609312 14133010432 230711 33554432000 4194304 4196468 140733901732048 140424282859472 140424958519195 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30740480 140733901735100 140733901735276 140733901735276 140733901737935 0
[pid=15349/tid=15364] ppid=15348 vsize=13801768 CPUtime=2.43 cores=4-7,12-15
/proc/15349/task/15364/stat : 15364 (java) S 15348 15348 18810 0 -1 1077944384 3589 0 0 0 243 0 0 0 20 0 28 0 4609312 14133010432 230711 33554432000 4194304 4196468 140733901732048 140424281807600 140424958511746 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30740480 140733901735100 140733901735276 140733901735276 140733901737935 0
[pid=15349/tid=15365] ppid=15348 vsize=13801768 CPUtime=2.64 cores=4-7,12-15
/proc/15349/task/15365/stat : 15365 (java) S 15348 15348 18810 0 -1 1077944384 2679 0 0 0 263 1 0 0 20 0 28 0 4609312 14133010432 230711 33554432000 4194304 4196468 140733901732048 140424280755056 140424958511746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30740480 140733901735100 140733901735276 140733901735276 140733901737935 0
[pid=15349/tid=15366] ppid=15348 vsize=13801768 CPUtime=2.71 cores=4-7,12-15
/proc/15349/task/15366/stat : 15366 (java) S 15348 15348 18810 0 -1 1077944384 2863 0 0 0 270 1 0 0 20 0 28 0 4609312 14133010432 230711 33554432000 4194304 4196468 140733901732048 140424279702000 140424958511746 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 30740480 140733901735100 140733901735276 140733901735276 140733901737935 0
[pid=15349/tid=15367] ppid=15348 vsize=13801768 CPUtime=1.16 cores=4-7,12-15
/proc/15349/task/15367/stat : 15367 (java) S 15348 15348 18810 0 -1 1077944384 5847 0 0 0 115 1 0 0 20 0 28 0 4609312 14133010432 230711 33554432000 4194304 4196468 140733901732048 140424278649456 140424958511746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 14 0 0 6293624 6294260 30740480 140733901735100 140733901735276 140733901735276 140733901737935 0
[pid=15349/tid=15368] ppid=15348 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/15349/task/15368/stat : 15368 (java) S 15348 15348 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4609312 14133010432 230711 33554432000 4194304 4196468 140733901732048 140424277596640 140424958510805 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 30740480 140733901735100 140733901735276 140733901735276 140733901737935 0
[pid=15349/tid=15369] ppid=15348 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/15349/task/15369/stat : 15369 (java) S 15348 15348 18810 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 28 0 4609313 14133010432 230711 33554432000 4194304 4196468 140733901732048 140424276544176 140424958511746 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 11 0 0 6293624 6294260 30740480 140733901735100 140733901735276 140733901735276 140733901737935 0
[pid=15349/tid=15370] ppid=15348 vsize=13801768 CPUtime=2.12 cores=4-7,12-15
/proc/15349/task/15370/stat : 15370 (java) R 15348 15348 18810 0 -1 4202560 108 0 0 0 212 0 0 0 20 0 28 0 4609750 14133010432 230711 33554432000 4194304 4196468 140733901732048 140424269028392 140424586428962 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30740480 140733901735100 140733901735276 140733901735276 140733901737935 0
[pid=15349/tid=15371] ppid=15348 vsize=13801768 CPUtime=2.06 cores=4-7,12-15
/proc/15349/task/15371/stat : 15371 (java) R 15348 15348 18810 0 -1 4202560 124 0 0 0 206 0 0 0 20 0 28 0 4609750 14133010432 230711 33554432000 4194304 4196468 140733901732048 140424267976392 140424585868384 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 30740480 140733901735100 140733901735276 140733901735276 140733901737935 0
[pid=15349/tid=15372] ppid=15348 vsize=13801768 CPUtime=1.93 cores=4-7,12-15
/proc/15349/task/15372/stat : 15372 (java) R 15348 15348 18810 0 -1 4202560 350 0 0 0 193 0 0 0 20 0 28 0 4609750 14133010432 230711 33554432000 4194304 4196468 140733901732048 140424266926232 140424585401039 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30740480 140733901735100 140733901735276 140733901735276 140733901737935 0
[pid=15349/tid=15373] ppid=15348 vsize=13801768 CPUtime=1.99 cores=4-7,12-15
/proc/15349/task/15373/stat : 15373 (java) R 15348 15348 18810 0 -1 4202560 246 0 0 0 199 0 0 0 20 0 28 0 4609750 14133010432 230711 33554432000 4194304 4196468 140733901732048 140424265873672 140424585868537 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30740480 140733901735100 140733901735276 140733901735276 140733901737935 0
[pid=15349/tid=15374] ppid=15348 vsize=13801768 CPUtime=2.04 cores=4-7,12-15
/proc/15349/task/15374/stat : 15374 (java) R 15348 15348 18810 0 -1 4202560 119 0 0 0 204 0 0 0 20 0 28 0 4609750 14133010432 230711 33554432000 4194304 4196468 140733901732048 140424264818760 140424586380303 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 30740480 140733901735100 140733901735276 140733901735276 140733901737935 0
[pid=15349/tid=15375] ppid=15348 vsize=13801768 CPUtime=1.98 cores=4-7,12-15
/proc/15349/task/15375/stat : 15375 (java) R 15348 15348 18810 0 -1 4202560 160 0 0 0 198 0 0 0 20 0 28 0 4609750 14133010432 230711 33554432000 4194304 4196468 140733901732048 140424263766224 140424581529616 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30740480 140733901735100 140733901735276 140733901735276 140733901737935 0
[pid=15349/tid=15376] ppid=15348 vsize=13801768 CPUtime=2.12 cores=4-7,12-15
/proc/15349/task/15376/stat : 15376 (java) R 15348 15348 18810 0 -1 4202560 111 0 0 0 212 0 0 0 20 0 28 0 4609750 14133010432 230711 33554432000 4194304 4196468 140733901732048 140424262713736 140424585867666 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 30740480 140733901735100 140733901735276 140733901735276 140733901737935 0
[pid=15349/tid=15377] ppid=15348 vsize=13801768 CPUtime=1.91 cores=4-7,12-15
/proc/15349/task/15377/stat : 15377 (java) R 15348 15348 18810 0 -1 4202560 151 0 0 0 191 0 0 0 20 0 28 0 4609750 14133010432 230711 33554432000 4194304 4196468 140733901732048 140424261662952 140424585868888 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 30740480 140733901735100 140733901735276 140733901735276 140733901737935 0
Current children cumulated CPU time (s) 32.48
Current children cumulated vsize (KiB) 13811280
[startup+7.00153 s]
/proc/loadavg: 15.41 13.04 12.58 17/304 15377
/proc/meminfo: memFree=29981184/32770624 swapFree=5944/266652
[pid=15348] ppid=15345 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/15348/stat : 15348 (xcsp3-exec) S 15345 15348 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4609304 9740288 346 33554432000 4194304 5098028 140725808213936 140725808212040 139912079696508 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 29986816 140725808219279 140725808219488 140725808219488 140725808222187 0
/proc/15348/statm: 2378 346 289 221 0 87 0
[pid=15349] ppid=15348 vsize=13801768 CPUtime=34.07 cores=4-7,12-15
/proc/15349/stat : 15349 (java) S 15348 15348 18810 0 -1 1077944320 28666 0 0 0 3240 167 0 0 20 0 28 0 4609304 14133010432 231225 33554432000 4194304 4196468 140733901732048 140733901714592 140424958500599 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 30740480 140733901735100 140733901735276 140733901735276 140733901737935 0
/proc/15349/statm: 3450442 231225 3261 1 0 3437675 0
[pid=15349/tid=15350] ppid=15348 vsize=13801768 CPUtime=3.99 cores=4-7,12-15
/proc/15349/task/15350/stat : 15350 (java) S 15348 15348 18810 0 -1 1077944384 7233 0 0 0 389 10 0 0 20 0 28 0 4609305 14133010432 231225 33554432000 4194304 4196468 140733901732048 140424962741376 140424958510805 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 30740480 140733901735100 140733901735276 140733901735276 140733901737935 0
[pid=15349/tid=15352] ppid=15348 vsize=13801768 CPUtime=0.41 cores=4-7,12-15
/proc/15349/task/15352/stat : 15352 (java) S 15348 15348 18810 0 -1 1077944384 343 0 0 0 22 19 0 0 20 0 28 0 4609306 14133010432 231225 33554432000 4194304 4196468 140733901732048 140424897464848 140424958510805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30740480 140733901735100 140733901735276 140733901735276 140733901737935 0
[pid=15349/tid=15353] ppid=15348 vsize=13801768 CPUtime=0.38 cores=4-7,12-15
/proc/15349/task/15353/stat : 15353 (java) S 15348 15348 18810 0 -1 1077944384 258 0 0 0 20 18 0 0 20 0 28 0 4609306 14133010432 231225 33554432000 4194304 4196468 140733901732048 140424896412304 140424958510805 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30740480 140733901735100 140733901735276 140733901735276 140733901737935 0
[pid=15349/tid=15354] ppid=15348 vsize=13801768 CPUtime=0.4 cores=4-7,12-15
/proc/15349/task/15354/stat : 15354 (java) S 15348 15348 18810 0 -1 1077944384 277 0 0 0 22 18 0 0 20 0 28 0 4609306 14133010432 231225 33554432000 4194304 4196468 140733901732048 140424556009744 140424958510805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30740480 140733901735100 140733901735276 140733901735276 140733901737935 0
[pid=15349/tid=15355] ppid=15348 vsize=13801768 CPUtime=0.4 cores=4-7,12-15
/proc/15349/task/15355/stat : 15355 (java) S 15348 15348 18810 0 -1 1077944384 396 0 0 0 21 19 0 0 20 0 28 0 4609306 14133010432 231225 33554432000 4194304 4196468 140733901732048 140424554957200 140424958510805 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 30740480 140733901735100 140733901735276 140733901735276 140733901737935 0
[pid=15349/tid=15356] ppid=15348 vsize=13801768 CPUtime=0.39 cores=4-7,12-15
/proc/15349/task/15356/stat : 15356 (java) S 15348 15348 18810 0 -1 1077944384 294 0 0 0 22 17 0 0 20 0 28 0 4609306 14133010432 231225 33554432000 4194304 4196468 140733901732048 140424553905168 140424958510805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30740480 140733901735100 140733901735276 140733901735276 140733901737935 0
[pid=15349/tid=15357] ppid=15348 vsize=13801768 CPUtime=0.42 cores=4-7,12-15
/proc/15349/task/15357/stat : 15357 (java) S 15348 15348 18810 0 -1 1077944384 287 0 0 0 23 19 0 0 20 0 28 0 4609306 14133010432 231225 33554432000 4194304 4196468 140733901732048 140424552852624 140424958510805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30740480 140733901735100 140733901735276 140733901735276 140733901737935 0
[pid=15349/tid=15358] ppid=15348 vsize=13801768 CPUtime=0.41 cores=4-7,12-15
/proc/15349/task/15358/stat : 15358 (java) S 15348 15348 18810 0 -1 1077944384 281 0 0 0 23 18 0 0 20 0 28 0 4609306 14133010432 231225 33554432000 4194304 4196468 140733901732048 140424551799568 140424958510805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30740480 140733901735100 140733901735276 140733901735276 140733901737935 0
[pid=15349/tid=15359] ppid=15348 vsize=13801768 CPUtime=0.39 cores=4-7,12-15
/proc/15349/task/15359/stat : 15359 (java) S 15348 15348 18810 0 -1 1077944384 283 0 0 0 22 17 0 0 20 0 28 0 4609306 14133010432 231225 33554432000 4194304 4196468 140733901732048 140424550747024 140424958510805 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30740480 140733901735100 140733901735276 140733901735276 140733901737935 0
[pid=15349/tid=15360] ppid=15348 vsize=13801768 CPUtime=0.01 cores=4-7,12-15
/proc/15349/task/15360/stat : 15360 (java) S 15348 15348 18810 0 -1 1077944384 616 0 0 0 1 0 0 0 20 0 28 0 4609308 14133010432 231225 33554432000 4194304 4196468 140733901732048 140424286017776 140424958511746 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30740480 140733901735100 140733901735276 140733901735276 140733901737935 0
[pid=15349/tid=15361] ppid=15348 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/15349/task/15361/stat : 15361 (java) S 15348 15348 18810 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 4609309 14133010432 231225 33554432000 4194304 4196468 140733901732048 140424284964064 140424958510805 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 30740480 140733901735100 140733901735276 140733901735276 140733901737935 0
[pid=15349/tid=15362] ppid=15348 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/15349/task/15362/stat : 15362 (java) S 15348 15348 18810 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 4609309 14133010432 231225 33554432000 4194304 4196468 140733901732048 140424283910912 140424958510805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30740480 140733901735100 140733901735276 140733901735276 140733901737935 0
[pid=15349/tid=15363] ppid=15348 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/15349/task/15363/stat : 15363 (java) S 15348 15348 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4609312 14133010432 231225 33554432000 4194304 4196468 140733901732048 140424282859472 140424958519195 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30740480 140733901735100 140733901735276 140733901735276 140733901737935 0
[pid=15349/tid=15364] ppid=15348 vsize=13801768 CPUtime=2.52 cores=4-7,12-15
/proc/15349/task/15364/stat : 15364 (java) R 15348 15348 18810 0 -1 4202560 4028 0 0 0 252 0 0 0 20 0 28 0 4609312 14133010432 231225 33554432000 4194304 4196468 140733901732048 140424281807896 140424936914389 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30740480 140733901735100 140733901735276 140733901735276 140733901737935 0
[pid=15349/tid=15365] ppid=15348 vsize=13801768 CPUtime=2.64 cores=4-7,12-15
/proc/15349/task/15365/stat : 15365 (java) S 15348 15348 18810 0 -1 1077944384 2754 0 0 0 263 1 0 0 20 0 28 0 4609312 14133010432 231225 33554432000 4194304 4196468 140733901732048 140424280755056 140424958511746 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30740480 140733901735100 140733901735276 140733901735276 140733901737935 0
[pid=15349/tid=15366] ppid=15348 vsize=13801768 CPUtime=2.73 cores=4-7,12-15
/proc/15349/task/15366/stat : 15366 (java) R 15348 15348 18810 0 -1 4202560 2936 0 0 0 272 1 0 0 20 0 28 0 4609312 14133010432 231225 33554432000 4194304 4196468 140733901732048 140424279702296 140424940021770 0 4 0 16800975 0 0 0 -1 5 0 0 9 0 0 6293624 6294260 30740480 140733901735100 140733901735276 140733901735276 140733901737935 0
[pid=15349/tid=15367] ppid=15348 vsize=13801768 CPUtime=1.17 cores=4-7,12-15
/proc/15349/task/15367/stat : 15367 (java) S 15348 15348 18810 0 -1 1077944384 5992 0 0 0 116 1 0 0 20 0 28 0 4609312 14133010432 231225 33554432000 4194304 4196468 140733901732048 140424278649456 140424958511746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 14 0 0 6293624 6294260 30740480 140733901735100 140733901735276 140733901735276 140733901737935 0
[pid=15349/tid=15368] ppid=15348 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/15349/task/15368/stat : 15368 (java) S 15348 15348 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4609312 14133010432 231225 33554432000 4194304 4196468 140733901732048 140424277596640 140424958510805 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 30740480 140733901735100 140733901735276 140733901735276 140733901737935 0
[pid=15349/tid=15369] ppid=15348 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/15349/task/15369/stat : 15369 (java) S 15348 15348 18810 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 28 0 4609313 14133010432 231225 33554432000 4194304 4196468 140733901732048 140424276544176 140424958511746 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 11 0 0 6293624 6294260 30740480 140733901735100 140733901735276 140733901735276 140733901737935 0
[pid=15349/tid=15370] ppid=15348 vsize=13801768 CPUtime=2.32 cores=4-7,12-15
/proc/15349/task/15370/stat : 15370 (java) R 15348 15348 18810 0 -1 4202560 108 0 0 0 232 0 0 0 20 0 28 0 4609750 14133010432 231225 33554432000 4194304 4196468 140733901732048 140424269028392 140424585868084 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30740480 140733901735100 140733901735276 140733901735276 140733901737935 0
[pid=15349/tid=15371] ppid=15348 vsize=13801768 CPUtime=2.25 cores=4-7,12-15
/proc/15349/task/15371/stat : 15371 (java) R 15348 15348 18810 0 -1 4202560 124 0 0 0 225 0 0 0 20 0 28 0 4609750 14133010432 231225 33554432000 4194304 4196468 140733901732048 140424267976392 140424586380933 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 30740480 140733901735100 140733901735276 140733901735276 140733901737935 0
[pid=15349/tid=15372] ppid=15348 vsize=13801768 CPUtime=2.12 cores=4-7,12-15
/proc/15349/task/15372/stat : 15372 (java) R 15348 15348 18810 0 -1 4202560 352 0 0 0 212 0 0 0 20 0 28 0 4609750 14133010432 231225 33554432000 4194304 4196468 140733901732048 140424266924232 140424581312340 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30740480 140733901735100 140733901735276 140733901735276 140733901737935 0
[pid=15349/tid=15373] ppid=15348 vsize=13801768 CPUtime=2.13 cores=4-7,12-15
/proc/15349/task/15373/stat : 15373 (java) R 15348 15348 18810 0 -1 4202560 249 0 0 0 213 0 0 0 20 0 28 0 4609750 14133010432 231225 33554432000 4194304 4196468 140733901732048 140424265871800 140424586218520 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30740480 140733901735100 140733901735276 140733901735276 140733901737935 0
[pid=15349/tid=15374] ppid=15348 vsize=13801768 CPUtime=2.24 cores=4-7,12-15
/proc/15349/task/15374/stat : 15374 (java) R 15348 15348 18810 0 -1 4202560 122 0 0 0 224 0 0 0 20 0 28 0 4609750 14133010432 231225 33554432000 4194304 4196468 140733901732048 140424264818656 140424585867666 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 30740480 140733901735100 140733901735276 140733901735276 140733901737935 0
[pid=15349/tid=15375] ppid=15348 vsize=13801768 CPUtime=2.16 cores=4-7,12-15
/proc/15349/task/15375/stat : 15375 (java) R 15348 15348 18810 0 -1 4202560 160 0 0 0 216 0 0 0 20 0 28 0 4609750 14133010432 231225 33554432000 4194304 4196468 140733901732048 140424263766224 140424586317641 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30740480 140733901735100 140733901735276 140733901735276 140733901737935 0
[pid=15349/tid=15376] ppid=15348 vsize=13801768 CPUtime=2.32 cores=4-7,12-15
/proc/15349/task/15376/stat : 15376 (java) R 15348 15348 18810 0 -1 4202560 111 0 0 0 232 0 0 0 20 0 28 0 4609750 14133010432 231225 33554432000 4194304 4196468 140733901732048 140424262713736 140424586429358 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 30740480 140733901735100 140733901735276 140733901735276 140733901737935 0
[pid=15349/tid=15377] ppid=15348 vsize=13801768 CPUtime=2.09 cores=4-7,12-15
/proc/15349/task/15377/stat : 15377 (java) R 15348 15348 18810 0 -1 4202560 151 0 0 0 209 0 0 0 20 0 28 0 4609750 14133010432 231225 33554432000 4194304 4196468 140733901732048 140424261661136 140424586380761 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 30740480 140733901735100 140733901735276 140733901735276 140733901737935 0
Current children cumulated CPU time (s) 34.07
Current children cumulated vsize (KiB) 13811280
Child status: 0
Real time (s): 7.06515
CPU time (s): 34.4731
CPU user time (s): 32.7837
CPU system time (s): 1.68933
CPU usage (%): 487.931
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 32.7837
system time used= 1.68933
maximum resident set size= 926972
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29763
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4390
involuntary context switches= 2894
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.065748 second user time and 0.087321 second system time
The end