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-4245215-1500685642/watcher-4245215-1500685642 -o /tmp/evaluation-result-4245215-1500685642/solver-4245215-1500685642 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node131-1500682620-7801 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 785817678 HOME/instance-4245215-1500685642.xml
pid=14550
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: 16.06 13.24 13.27 10/271 14553
/proc/meminfo: memFree=28229604/32770624 swapFree=5860/236584
[pid=14553] ppid=14550 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14553/stat : 14553 (xcsp3-exec) S 14550 14553 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3831674 9740288 346 33554432000 4194304 5098028 140724922234048 140724922232152 140004469727868 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 15208448 140724922242191 140724922242400 140724922242400 140724922245099 0
/proc/14553/statm: 2378 346 289 221 0 87 0
[startup+0.100069 s]
/proc/loadavg: 16.06 13.24 13.27 10/271 14553
/proc/meminfo: memFree=28229604/32770624 swapFree=5860/236584
[pid=14553] ppid=14550 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14553/stat : 14553 (xcsp3-exec) S 14550 14553 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3831674 9740288 346 33554432000 4194304 5098028 140724922234048 140724922232152 140004469727868 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 15208448 140724922242191 140724922242400 140724922242400 140724922245099 0
/proc/14553/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200385 s]
/proc/loadavg: 16.06 13.24 13.27 10/271 14553
/proc/meminfo: memFree=28229604/32770624 swapFree=5860/236584
[pid=14553] ppid=14550 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14553/stat : 14553 (xcsp3-exec) S 14550 14553 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3831674 9740288 346 33554432000 4194304 5098028 140724922234048 140724922232152 140004469727868 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 15208448 140724922242191 140724922242400 140724922242400 140724922245099 0
/proc/14553/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300363 s]
/proc/loadavg: 16.06 13.24 13.27 10/271 14553
/proc/meminfo: memFree=28229604/32770624 swapFree=5860/236584
[pid=14553] ppid=14550 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14553/stat : 14553 (xcsp3-exec) S 14550 14553 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3831674 9740288 346 33554432000 4194304 5098028 140724922234048 140724922232152 140004469727868 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 15208448 140724922242191 140724922242400 140724922242400 140724922245099 0
/proc/14553/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700206 s]
/proc/loadavg: 16.06 13.24 13.27 10/271 14553
/proc/meminfo: memFree=28229604/32770624 swapFree=5860/236584
[pid=14553] ppid=14550 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14553/stat : 14553 (xcsp3-exec) S 14550 14553 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3831674 9740288 346 33554432000 4194304 5098028 140724922234048 140724922232152 140004469727868 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 15208448 140724922242191 140724922242400 140724922242400 140724922245099 0
/proc/14553/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.5009 s]
/proc/loadavg: 15.50 13.17 13.24 10/292 14574
/proc/meminfo: memFree=28164068/32770624 swapFree=5860/236584
[pid=14553] ppid=14550 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14553/stat : 14553 (xcsp3-exec) S 14550 14553 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3831674 9740288 346 33554432000 4194304 5098028 140724922234048 140724922232152 140004469727868 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 15208448 140724922242191 140724922242400 140724922242400 140724922245099 0
/proc/14553/statm: 2378 346 289 221 0 87 0
[pid=14554] ppid=14553 vsize=13269256 CPUtime=2.46 cores=0,2,4,6,8,10,12,14
/proc/14554/stat : 14554 (java) S 14553 14553 7411 0 -1 1077944320 16863 0 0 0 240 6 0 0 20 0 20 0 3831674 13587718144 19793 33554432000 4194304 4196468 140735613123488 140735613106032 140427138072311 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 9220096 140735613125820 140735613125996 140735613125996 140735613128655 0
/proc/14554/statm: 3317314 19793 3198 1 0 3304547 0
[pid=14554/tid=14555] ppid=14553 vsize=13269256 CPUtime=1.47 cores=0,2,4,6,8,10,12,14
/proc/14554/task/14555/stat : 14555 (java) R 14553 14553 7411 0 -1 4202560 6778 0 0 0 144 3 0 0 20 0 20 0 3831675 13587718144 19793 33554432000 4194304 4196468 140735613123488 140427142308008 140426778585472 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9220096 140735613125820 140735613125996 140735613125996 140735613128655 0
[pid=14554/tid=14557] ppid=14553 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14554/task/14557/stat : 14557 (java) S 14553 14553 7411 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3831676 13587718144 19793 33554432000 4194304 4196468 140735613123488 140426737724304 140427138082517 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9220096 140735613125820 140735613125996 140735613125996 140735613128655 0
[pid=14554/tid=14558] ppid=14553 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14554/task/14558/stat : 14558 (java) S 14553 14553 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3831676 13587718144 19793 33554432000 4194304 4196468 140735613123488 140426736671504 140427138082517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9220096 140735613125820 140735613125996 140735613125996 140735613128655 0
[pid=14554/tid=14559] ppid=14553 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14554/task/14559/stat : 14559 (java) S 14553 14553 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3831676 13587718144 19793 33554432000 4194304 4196468 140735613123488 140426735619216 140427138082517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9220096 140735613125820 140735613125996 140735613125996 140735613128655 0
[pid=14554/tid=14560] ppid=14553 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14554/task/14560/stat : 14560 (java) S 14553 14553 7411 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3831676 13587718144 19793 33554432000 4194304 4196468 140735613123488 140426734566416 140427138082517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9220096 140735613125820 140735613125996 140735613125996 140735613128655 0
[pid=14554/tid=14561] ppid=14553 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14554/task/14561/stat : 14561 (java) S 14553 14553 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3831676 13587718144 19793 33554432000 4194304 4196468 140735613123488 140426733513104 140427138082517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9220096 140735613125820 140735613125996 140735613125996 140735613128655 0
[pid=14554/tid=14562] ppid=14553 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14554/task/14562/stat : 14562 (java) S 14553 14553 7411 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3831676 13587718144 19793 33554432000 4194304 4196468 140735613123488 140426732460304 140427138082517 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9220096 140735613125820 140735613125996 140735613125996 140735613128655 0
[pid=14554/tid=14563] ppid=14553 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14554/task/14563/stat : 14563 (java) S 14553 14553 7411 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3831676 13587718144 19793 33554432000 4194304 4196468 140735613123488 140426731408016 140427138082517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9220096 140735613125820 140735613125996 140735613125996 140735613128655 0
[pid=14554/tid=14564] ppid=14553 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14554/task/14564/stat : 14564 (java) S 14553 14553 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3831676 13587718144 19793 33554432000 4194304 4196468 140735613123488 140426730355216 140427138082517 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9220096 140735613125820 140735613125996 140735613125996 140735613128655 0
[pid=14554/tid=14565] ppid=14553 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14554/task/14565/stat : 14565 (java) S 14553 14553 7411 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 3831678 13587718144 19793 33554432000 4194304 4196468 140735613123488 140426600397424 140427138083458 0 0 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9220096 140735613125820 140735613125996 140735613125996 140735613128655 0
[pid=14554/tid=14566] ppid=14553 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14554/task/14566/stat : 14566 (java) S 14553 14553 7411 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 3831679 13587718144 19793 33554432000 4194304 4196468 140735613123488 140426599343392 140427138082517 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9220096 140735613125820 140735613125996 140735613125996 140735613128655 0
[pid=14554/tid=14567] ppid=14553 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14554/task/14567/stat : 14567 (java) S 14553 14553 7411 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 3831679 13587718144 19793 33554432000 4194304 4196468 140735613123488 140426598291056 140427138082517 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9220096 140735613125820 140735613125996 140735613125996 140735613128655 0
[pid=14554/tid=14568] ppid=14553 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14554/task/14568/stat : 14568 (java) S 14553 14553 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3831683 13587718144 19793 33554432000 4194304 4196468 140735613123488 140426597239376 140427138090907 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9220096 140735613125820 140735613125996 140735613125996 140735613128655 0
[pid=14554/tid=14569] ppid=14553 vsize=13269256 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/14554/task/14569/stat : 14569 (java) S 14553 14553 7411 0 -1 1077944384 2523 0 0 0 25 0 0 0 20 0 20 0 3831683 13587718144 19793 33554432000 4194304 4196468 140735613123488 140426596186224 140427138083458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9220096 140735613125820 140735613125996 140735613125996 140735613128655 0
[pid=14554/tid=14570] ppid=14553 vsize=13269256 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/14554/task/14570/stat : 14570 (java) S 14553 14553 7411 0 -1 1077944384 2617 0 0 0 28 0 0 0 20 0 20 0 3831683 13587718144 19793 33554432000 4194304 4196468 140735613123488 140426595133424 140427138083458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9220096 140735613125820 140735613125996 140735613125996 140735613128655 0
[pid=14554/tid=14571] ppid=14553 vsize=13269256 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/14554/task/14571/stat : 14571 (java) S 14553 14553 7411 0 -1 1077944384 2260 0 0 0 19 0 0 0 20 0 20 0 3831683 13587718144 19793 33554432000 4194304 4196468 140735613123488 140426594081136 140427138083458 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9220096 140735613125820 140735613125996 140735613125996 140735613128655 0
[pid=14554/tid=14572] ppid=14553 vsize=13269256 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/14554/task/14572/stat : 14572 (java) S 14553 14553 7411 0 -1 1077944384 1368 0 0 0 22 0 0 0 20 0 20 0 3831683 13587718144 19793 33554432000 4194304 4196468 140735613123488 140426593028336 140427138083458 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9220096 140735613125820 140735613125996 140735613125996 140735613128655 0
[pid=14554/tid=14573] ppid=14553 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14554/task/14573/stat : 14573 (java) S 14553 14553 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3831683 13587718144 19793 33554432000 4194304 4196468 140735613123488 140426591976288 140427138082517 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9220096 140735613125820 140735613125996 140735613125996 140735613128655 0
[pid=14554/tid=14574] ppid=14553 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14554/task/14574/stat : 14574 (java) S 14553 14553 7411 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 3831684 13587718144 19793 33554432000 4194304 4196468 140735613123488 140426590923568 140427138083458 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9220096 140735613125820 140735613125996 140735613125996 140735613128655 0
Current children cumulated CPU time (s) 2.46
Current children cumulated vsize (KiB) 13278768
[startup+3.10085 s]
/proc/loadavg: 15.50 13.17 13.24 10/292 14574
/proc/meminfo: memFree=28154712/32770624 swapFree=5860/236584
[pid=14553] ppid=14550 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14553/stat : 14553 (xcsp3-exec) S 14550 14553 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3831674 9740288 346 33554432000 4194304 5098028 140724922234048 140724922232152 140004469727868 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 15208448 140724922242191 140724922242400 140724922242400 140724922245099 0
/proc/14553/statm: 2378 346 289 221 0 87 0
[pid=14554] ppid=14553 vsize=13269256 CPUtime=4.12 cores=0,2,4,6,8,10,12,14
/proc/14554/stat : 14554 (java) S 14553 14553 7411 0 -1 1077944320 20529 0 0 0 406 6 0 0 20 0 20 0 3831674 13587718144 23162 33554432000 4194304 4196468 140735613123488 140735613106032 140427138072311 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 9220096 140735613125820 140735613125996 140735613125996 140735613128655 0
/proc/14554/statm: 3317314 23162 3201 1 0 3304547 0
[pid=14554/tid=14555] ppid=14553 vsize=13269256 CPUtime=3.06 cores=0,2,4,6,8,10,12,14
/proc/14554/task/14555/stat : 14555 (java) R 14553 14553 7411 0 -1 4202560 8670 0 0 0 303 3 0 0 20 0 20 0 3831675 13587718144 23162 33554432000 4194304 4196468 140735613123488 140427142308360 140426778402539 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9220096 140735613125820 140735613125996 140735613125996 140735613128655 0
[pid=14554/tid=14557] ppid=14553 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14554/task/14557/stat : 14557 (java) S 14553 14553 7411 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3831676 13587718144 23162 33554432000 4194304 4196468 140735613123488 140426737724304 140427138082517 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9220096 140735613125820 140735613125996 140735613125996 140735613128655 0
[pid=14554/tid=14558] ppid=14553 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14554/task/14558/stat : 14558 (java) S 14553 14553 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3831676 13587718144 23162 33554432000 4194304 4196468 140735613123488 140426736671504 140427138082517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9220096 140735613125820 140735613125996 140735613125996 140735613128655 0
[pid=14554/tid=14559] ppid=14553 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14554/task/14559/stat : 14559 (java) S 14553 14553 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3831676 13587718144 23162 33554432000 4194304 4196468 140735613123488 140426735619216 140427138082517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9220096 140735613125820 140735613125996 140735613125996 140735613128655 0
[pid=14554/tid=14560] ppid=14553 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14554/task/14560/stat : 14560 (java) S 14553 14553 7411 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3831676 13587718144 23162 33554432000 4194304 4196468 140735613123488 140426734566416 140427138082517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9220096 140735613125820 140735613125996 140735613125996 140735613128655 0
[pid=14554/tid=14561] ppid=14553 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14554/task/14561/stat : 14561 (java) S 14553 14553 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3831676 13587718144 23162 33554432000 4194304 4196468 140735613123488 140426733513104 140427138082517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9220096 140735613125820 140735613125996 140735613125996 140735613128655 0
[pid=14554/tid=14562] ppid=14553 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14554/task/14562/stat : 14562 (java) S 14553 14553 7411 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3831676 13587718144 23162 33554432000 4194304 4196468 140735613123488 140426732460304 140427138082517 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9220096 140735613125820 140735613125996 140735613125996 140735613128655 0
[pid=14554/tid=14563] ppid=14553 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14554/task/14563/stat : 14563 (java) S 14553 14553 7411 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3831676 13587718144 23162 33554432000 4194304 4196468 140735613123488 140426731408016 140427138082517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9220096 140735613125820 140735613125996 140735613125996 140735613128655 0
[pid=14554/tid=14564] ppid=14553 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14554/task/14564/stat : 14564 (java) S 14553 14553 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3831676 13587718144 23162 33554432000 4194304 4196468 140735613123488 140426730355216 140427138082517 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9220096 140735613125820 140735613125996 140735613125996 140735613128655 0
[pid=14554/tid=14565] ppid=14553 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14554/task/14565/stat : 14565 (java) S 14553 14553 7411 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 3831678 13587718144 23162 33554432000 4194304 4196468 140735613123488 140426600397424 140427138083458 0 0 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9220096 140735613125820 140735613125996 140735613125996 140735613128655 0
[pid=14554/tid=14566] ppid=14553 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14554/task/14566/stat : 14566 (java) S 14553 14553 7411 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 3831679 13587718144 23162 33554432000 4194304 4196468 140735613123488 140426599343392 140427138082517 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9220096 140735613125820 140735613125996 140735613125996 140735613128655 0
[pid=14554/tid=14567] ppid=14553 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14554/task/14567/stat : 14567 (java) S 14553 14553 7411 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 3831679 13587718144 23162 33554432000 4194304 4196468 140735613123488 140426598291056 140427138082517 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9220096 140735613125820 140735613125996 140735613125996 140735613128655 0
[pid=14554/tid=14568] ppid=14553 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14554/task/14568/stat : 14568 (java) S 14553 14553 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3831683 13587718144 23162 33554432000 4194304 4196468 140735613123488 140426597239376 140427138090907 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9220096 140735613125820 140735613125996 140735613125996 140735613128655 0
[pid=14554/tid=14569] ppid=14553 vsize=13269256 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/14554/task/14569/stat : 14569 (java) S 14553 14553 7411 0 -1 1077944384 2615 0 0 0 25 0 0 0 20 0 20 0 3831683 13587718144 23162 33554432000 4194304 4196468 140735613123488 140426596186224 140427138083458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9220096 140735613125820 140735613125996 140735613125996 140735613128655 0
[pid=14554/tid=14570] ppid=14553 vsize=13269256 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/14554/task/14570/stat : 14570 (java) S 14553 14553 7411 0 -1 1077944384 2799 0 0 0 29 0 0 0 20 0 20 0 3831683 13587718144 23162 33554432000 4194304 4196468 140735613123488 140426595133424 140427138083458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9220096 140735613125820 140735613125996 140735613125996 140735613128655 0
[pid=14554/tid=14571] ppid=14553 vsize=13269256 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/14554/task/14571/stat : 14571 (java) S 14553 14553 7411 0 -1 1077944384 2412 0 0 0 20 0 0 0 20 0 20 0 3831683 13587718144 23162 33554432000 4194304 4196468 140735613123488 140426594081136 140427138083458 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9220096 140735613125820 140735613125996 140735613125996 140735613128655 0
[pid=14554/tid=14572] ppid=14553 vsize=13269256 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/14554/task/14572/stat : 14572 (java) S 14553 14553 7411 0 -1 1077944384 2669 0 0 0 27 0 0 0 20 0 20 0 3831683 13587718144 23162 33554432000 4194304 4196468 140735613123488 140426593028336 140427138083458 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9220096 140735613125820 140735613125996 140735613125996 140735613128655 0
[pid=14554/tid=14573] ppid=14553 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14554/task/14573/stat : 14573 (java) S 14553 14553 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3831683 13587718144 23162 33554432000 4194304 4196468 140735613123488 140426591976288 140427138082517 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9220096 140735613125820 140735613125996 140735613125996 140735613128655 0
[pid=14554/tid=14574] ppid=14553 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14554/task/14574/stat : 14574 (java) S 14553 14553 7411 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 3831684 13587718144 23162 33554432000 4194304 4196468 140735613123488 140426590923568 140427138083458 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9220096 140735613125820 140735613125996 140735613125996 140735613128655 0
Current children cumulated CPU time (s) 4.12
Current children cumulated vsize (KiB) 13278768
[startup+6.30087 s]
/proc/loadavg: 15.50 13.17 13.24 10/292 14574
/proc/meminfo: memFree=28133692/32770624 swapFree=5860/236580
[pid=14553] ppid=14550 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14553/stat : 14553 (xcsp3-exec) S 14550 14553 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3831674 9740288 346 33554432000 4194304 5098028 140724922234048 140724922232152 140004469727868 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 15208448 140724922242191 140724922242400 140724922242400 140724922245099 0
/proc/14553/statm: 2378 346 289 221 0 87 0
[pid=14554] ppid=14553 vsize=13269256 CPUtime=7.4 cores=0,2,4,6,8,10,12,14
/proc/14554/stat : 14554 (java) S 14553 14553 7411 0 -1 1077944320 23802 0 0 0 733 7 0 0 20 0 20 0 3831674 13587718144 27479 33554432000 4194304 4196468 140735613123488 140735613106032 140427138072311 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 9220096 140735613125820 140735613125996 140735613125996 140735613128655 0
/proc/14554/statm: 3317314 27479 3207 1 0 3304547 0
[pid=14554/tid=14555] ppid=14553 vsize=13269256 CPUtime=6.27 cores=0,2,4,6,8,10,12,14
/proc/14554/task/14555/stat : 14555 (java) R 14553 14553 7411 0 -1 4202560 10040 0 0 0 623 4 0 0 20 0 20 0 3831675 13587718144 27479 33554432000 4194304 4196468 140735613123488 140427142306648 140426778402444 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9220096 140735613125820 140735613125996 140735613125996 140735613128655 0
[pid=14554/tid=14557] ppid=14553 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14554/task/14557/stat : 14557 (java) S 14553 14553 7411 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3831676 13587718144 27479 33554432000 4194304 4196468 140735613123488 140426737724304 140427138082517 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9220096 140735613125820 140735613125996 140735613125996 140735613128655 0
[pid=14554/tid=14558] ppid=14553 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14554/task/14558/stat : 14558 (java) S 14553 14553 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3831676 13587718144 27479 33554432000 4194304 4196468 140735613123488 140426736671504 140427138082517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9220096 140735613125820 140735613125996 140735613125996 140735613128655 0
[pid=14554/tid=14559] ppid=14553 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14554/task/14559/stat : 14559 (java) S 14553 14553 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3831676 13587718144 27479 33554432000 4194304 4196468 140735613123488 140426735619216 140427138082517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9220096 140735613125820 140735613125996 140735613125996 140735613128655 0
[pid=14554/tid=14560] ppid=14553 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14554/task/14560/stat : 14560 (java) S 14553 14553 7411 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3831676 13587718144 27479 33554432000 4194304 4196468 140735613123488 140426734566416 140427138082517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9220096 140735613125820 140735613125996 140735613125996 140735613128655 0
[pid=14554/tid=14561] ppid=14553 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14554/task/14561/stat : 14561 (java) S 14553 14553 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3831676 13587718144 27479 33554432000 4194304 4196468 140735613123488 140426733513104 140427138082517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9220096 140735613125820 140735613125996 140735613125996 140735613128655 0
[pid=14554/tid=14562] ppid=14553 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14554/task/14562/stat : 14562 (java) S 14553 14553 7411 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3831676 13587718144 27479 33554432000 4194304 4196468 140735613123488 140426732460304 140427138082517 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9220096 140735613125820 140735613125996 140735613125996 140735613128655 0
[pid=14554/tid=14563] ppid=14553 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14554/task/14563/stat : 14563 (java) S 14553 14553 7411 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3831676 13587718144 27479 33554432000 4194304 4196468 140735613123488 140426731408016 140427138082517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9220096 140735613125820 140735613125996 140735613125996 140735613128655 0
[pid=14554/tid=14564] ppid=14553 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14554/task/14564/stat : 14564 (java) S 14553 14553 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3831676 13587718144 27479 33554432000 4194304 4196468 140735613123488 140426730355216 140427138082517 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9220096 140735613125820 140735613125996 140735613125996 140735613128655 0
[pid=14554/tid=14565] ppid=14553 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14554/task/14565/stat : 14565 (java) S 14553 14553 7411 0 -1 1077944384 257 0 0 0 0 0 0 0 20 0 20 0 3831678 13587718144 27479 33554432000 4194304 4196468 140735613123488 140426600397424 140427138083458 0 0 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9220096 140735613125820 140735613125996 140735613125996 140735613128655 0
[pid=14554/tid=14566] ppid=14553 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14554/task/14566/stat : 14566 (java) S 14553 14553 7411 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 3831679 13587718144 27479 33554432000 4194304 4196468 140735613123488 140426599343392 140427138082517 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9220096 140735613125820 140735613125996 140735613125996 140735613128655 0
[pid=14554/tid=14567] ppid=14553 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14554/task/14567/stat : 14567 (java) S 14553 14553 7411 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 3831679 13587718144 27479 33554432000 4194304 4196468 140735613123488 140426598291056 140427138082517 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9220096 140735613125820 140735613125996 140735613125996 140735613128655 0
[pid=14554/tid=14568] ppid=14553 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14554/task/14568/stat : 14568 (java) S 14553 14553 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3831683 13587718144 27479 33554432000 4194304 4196468 140735613123488 140426597239376 140427138090907 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9220096 140735613125820 140735613125996 140735613125996 140735613128655 0
################
# More data... #
################
/proc/14554/task/14566/stat : 14566 (java) S 14553 14553 7411 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 3831679 14133010432 44747 33554432000 4194304 4196468 140735613123488 140426599343392 140427138082517 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9220096 140735613125820 140735613125996 140735613125996 140735613128655 0
[pid=14554/tid=14567] ppid=14553 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14554/task/14567/stat : 14567 (java) S 14553 14553 7411 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 3831679 14133010432 44747 33554432000 4194304 4196468 140735613123488 140426598291056 140427138082517 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9220096 140735613125820 140735613125996 140735613125996 140735613128655 0
[pid=14554/tid=14568] ppid=14553 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14554/task/14568/stat : 14568 (java) S 14553 14553 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3831683 14133010432 44747 33554432000 4194304 4196468 140735613123488 140426597239376 140427138090907 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9220096 140735613125820 140735613125996 140735613125996 140735613128655 0
[pid=14554/tid=14569] ppid=14553 vsize=13801768 CPUtime=1.05 cores=0,2,4,6,8,10,12,14
/proc/14554/task/14569/stat : 14569 (java) S 14553 14553 7411 0 -1 1077944384 4401 0 0 0 104 1 0 0 20 0 28 0 3831683 14133010432 44747 33554432000 4194304 4196468 140735613123488 140426596186224 140427138083458 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9220096 140735613125820 140735613125996 140735613125996 140735613128655 0
[pid=14554/tid=14570] ppid=14553 vsize=13801768 CPUtime=1.05 cores=0,2,4,6,8,10,12,14
/proc/14554/task/14570/stat : 14570 (java) S 14553 14553 7411 0 -1 1077944384 4485 0 0 0 104 1 0 0 20 0 28 0 3831683 14133010432 44747 33554432000 4194304 4196468 140735613123488 140426595133424 140427138083458 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9220096 140735613125820 140735613125996 140735613125996 140735613128655 0
[pid=14554/tid=14571] ppid=14553 vsize=13801768 CPUtime=1.07 cores=0,2,4,6,8,10,12,14
/proc/14554/task/14571/stat : 14571 (java) S 14553 14553 7411 0 -1 1077944384 4548 0 0 0 106 1 0 0 20 0 28 0 3831683 14133010432 44747 33554432000 4194304 4196468 140735613123488 140426594081136 140427138083458 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9220096 140735613125820 140735613125996 140735613125996 140735613128655 0
[pid=14554/tid=14572] ppid=14553 vsize=13801768 CPUtime=0.6 cores=0,2,4,6,8,10,12,14
/proc/14554/task/14572/stat : 14572 (java) S 14553 14553 7411 0 -1 1077944384 5764 0 0 0 59 1 0 0 20 0 28 0 3831683 14133010432 44747 33554432000 4194304 4196468 140735613123488 140426593028336 140427138083458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9220096 140735613125820 140735613125996 140735613125996 140735613128655 0
[pid=14554/tid=14573] ppid=14553 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14554/task/14573/stat : 14573 (java) S 14553 14553 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3831683 14133010432 44747 33554432000 4194304 4196468 140735613123488 140426591976288 140427138082517 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9220096 140735613125820 140735613125996 140735613125996 140735613128655 0
[pid=14554/tid=14574] ppid=14553 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14554/task/14574/stat : 14574 (java) S 14553 14553 7411 0 -1 1077944384 625 0 0 0 0 0 0 0 20 0 28 0 3831684 14133010432 44747 33554432000 4194304 4196468 140735613123488 140426590923568 140427138083458 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9220096 140735613125820 140735613125996 140735613125996 140735613128655 0
[pid=14554/tid=14671] ppid=14553 vsize=13801768 CPUtime=1.19 cores=0,2,4,6,8,10,12,14
/proc/14554/task/14671/stat : 14671 (java) R 14553 14553 7411 0 -1 4202560 107 0 0 0 119 0 0 0 20 0 28 0 3832875 14133010432 44747 33554432000 4194304 4196468 140735613123488 140426582909024 140426780929576 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 9220096 140735613125820 140735613125996 140735613125996 140735613128655 0
[pid=14554/tid=14672] ppid=14553 vsize=13801768 CPUtime=1.28 cores=0,2,4,6,8,10,12,14
/proc/14554/task/14672/stat : 14672 (java) R 14553 14553 7411 0 -1 4202560 73 0 0 0 128 0 0 0 20 0 28 0 3832875 14133010432 44747 33554432000 4194304 4196468 140735613123488 140426581857704 140426780929642 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 9220096 140735613125820 140735613125996 140735613125996 140735613128655 0
[pid=14554/tid=14673] ppid=14553 vsize=13801768 CPUtime=1.3 cores=0,2,4,6,8,10,12,14
/proc/14554/task/14673/stat : 14673 (java) R 14553 14553 7411 0 -1 4202560 60 0 0 0 130 0 0 0 20 0 28 0 3832875 14133010432 44747 33554432000 4194304 4196468 140735613123488 140426580803336 140426780929809 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9220096 140735613125820 140735613125996 140735613125996 140735613128655 0
[pid=14554/tid=14674] ppid=14553 vsize=13801768 CPUtime=1.43 cores=0,2,4,6,8,10,12,14
/proc/14554/task/14674/stat : 14674 (java) R 14553 14553 7411 0 -1 4202560 114 0 0 0 143 0 0 0 20 0 28 0 3832875 14133010432 44747 33554432000 4194304 4196468 140735613123488 140426579750616 140426780929289 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 9220096 140735613125820 140735613125996 140735613125996 140735613128655 0
[pid=14554/tid=14675] ppid=14553 vsize=13801768 CPUtime=1.13 cores=0,2,4,6,8,10,12,14
/proc/14554/task/14675/stat : 14675 (java) R 14553 14553 7411 0 -1 4202560 45 0 0 0 113 0 0 0 20 0 28 0 3832875 14133010432 44747 33554432000 4194304 4196468 140735613123488 140426578699032 140426780929576 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9220096 140735613125820 140735613125996 140735613125996 140735613128655 0
[pid=14554/tid=14676] ppid=14553 vsize=13801768 CPUtime=1.23 cores=0,2,4,6,8,10,12,14
/proc/14554/task/14676/stat : 14676 (java) R 14553 14553 7411 0 -1 4202560 70 0 0 0 123 0 0 0 20 0 28 0 3832875 14133010432 44747 33554432000 4194304 4196468 140735613123488 140426577645992 140426780482193 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9220096 140735613125820 140735613125996 140735613125996 140735613128655 0
[pid=14554/tid=14677] ppid=14553 vsize=13801768 CPUtime=1.19 cores=0,2,4,6,8,10,12,14
/proc/14554/task/14677/stat : 14677 (java) R 14553 14553 7411 0 -1 4202560 45 0 0 0 119 0 0 0 20 0 28 0 3832875 14133010432 44747 33554432000 4194304 4196468 140735613123488 140426576593960 140426780929289 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9220096 140735613125820 140735613125996 140735613125996 140735613128655 0
[pid=14554/tid=14678] ppid=14553 vsize=13801768 CPUtime=1.25 cores=0,2,4,6,8,10,12,14
/proc/14554/task/14678/stat : 14678 (java) R 14553 14553 7411 0 -1 4202560 50 0 0 0 125 0 0 0 20 0 28 0 3832875 14133010432 44747 33554432000 4194304 4196468 140735613123488 140426575540648 140426780929289 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 9220096 140735613125820 140735613125996 140735613125996 140735613128655 0
Current children cumulated CPU time (s) 25.83
Current children cumulated vsize (KiB) 13811280
[startup+13.8015 s]
/proc/loadavg: 14.07 12.94 13.17 18/300 14678
/proc/meminfo: memFree=31513676/32770624 swapFree=5860/236628
[pid=14553] ppid=14550 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14553/stat : 14553 (xcsp3-exec) S 14550 14553 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3831674 9740288 346 33554432000 4194304 5098028 140724922234048 140724922232152 140004469727868 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 15208448 140724922242191 140724922242400 140724922242400 140724922245099 0
/proc/14553/statm: 2378 346 289 221 0 87 0
[pid=14554] ppid=14553 vsize=13801768 CPUtime=27.42 cores=0,2,4,6,8,10,12,14
/proc/14554/stat : 14554 (java) S 14553 14553 7411 0 -1 1077944320 35405 0 0 0 2697 45 0 0 20 0 28 0 3831674 14133010432 62689 33554432000 4194304 4196468 140735613123488 140735613106032 140427138072311 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 9220096 140735613125820 140735613125996 140735613125996 140735613128655 0
/proc/14554/statm: 3450442 62689 3230 1 0 3437675 0
[pid=14554/tid=14555] ppid=14553 vsize=13801768 CPUtime=11.97 cores=0,2,4,6,8,10,12,14
/proc/14554/task/14555/stat : 14555 (java) S 14553 14553 7411 0 -1 1077944384 12859 0 0 0 1193 4 0 0 20 0 28 0 3831675 14133010432 62689 33554432000 4194304 4196468 140735613123488 140427142313088 140427138082517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9220096 140735613125820 140735613125996 140735613125996 140735613128655 0
[pid=14554/tid=14557] ppid=14553 vsize=13801768 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/14554/task/14557/stat : 14557 (java) R 14553 14553 7411 0 -1 4202560 41 0 0 0 1 4 0 0 20 0 28 0 3831676 14133010432 62689 33554432000 4194304 4196468 140735613123488 140426737724504 140427131172011 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 9220096 140735613125820 140735613125996 140735613125996 140735613128655 0
[pid=14554/tid=14558] ppid=14553 vsize=13801768 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/14554/task/14558/stat : 14558 (java) R 14553 14553 7411 0 -1 4202560 41 0 0 0 1 4 0 0 20 0 28 0 3831676 14133010432 62689 33554432000 4194304 4196468 140735613123488 140426736669024 140427123100176 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 9220096 140735613125820 140735613125996 140735613125996 140735613128655 0
[pid=14554/tid=14559] ppid=14553 vsize=13801768 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/14554/task/14559/stat : 14559 (java) R 14553 14553 7411 0 -1 4202560 59 0 0 0 1 4 0 0 20 0 28 0 3831676 14133010432 62689 33554432000 4194304 4196468 140735613123488 140426735619416 140427123099730 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9220096 140735613125820 140735613125996 140735613125996 140735613128655 0
[pid=14554/tid=14560] ppid=14553 vsize=13801768 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/14554/task/14560/stat : 14560 (java) R 14553 14553 7411 0 -1 4202560 71 0 0 0 1 3 0 0 20 0 28 0 3831676 14133010432 62689 33554432000 4194304 4196468 140735613123488 140426734564216 140427131172011 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9220096 140735613125820 140735613125996 140735613125996 140735613128655 0
[pid=14554/tid=14561] ppid=14553 vsize=13801768 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/14554/task/14561/stat : 14561 (java) R 14553 14553 7411 0 -1 4202560 97 0 0 0 2 3 0 0 20 0 28 0 3831676 14133010432 62689 33554432000 4194304 4196468 140735613123488 140426733510904 140427131169012 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 9220096 140735613125820 140735613125996 140735613125996 140735613128655 0
[pid=14554/tid=14562] ppid=14553 vsize=13801768 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/14554/task/14562/stat : 14562 (java) R 14553 14553 7411 0 -1 4202560 44 0 0 0 1 4 0 0 20 0 28 0 3831676 14133010432 62689 33554432000 4194304 4196468 140735613123488 140426732460504 140427131169012 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 9220096 140735613125820 140735613125996 140735613125996 140735613128655 0
[pid=14554/tid=14563] ppid=14553 vsize=13801768 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/14554/task/14563/stat : 14563 (java) R 14553 14553 7411 0 -1 4202560 139 0 0 0 1 4 0 0 20 0 28 0 3831676 14133010432 62689 33554432000 4194304 4196468 140735613123488 140426731405536 140427123100176 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9220096 140735613125820 140735613125996 140735613125996 140735613128655 0
[pid=14554/tid=14564] ppid=14553 vsize=13801768 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/14554/task/14564/stat : 14564 (java) R 14553 14553 7411 0 -1 4202560 44 0 0 0 1 3 0 0 20 0 28 0 3831676 14133010432 62689 33554432000 4194304 4196468 140735613123488 140426730355104 140427131169020 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9220096 140735613125820 140735613125996 140735613125996 140735613128655 0
[pid=14554/tid=14565] ppid=14553 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14554/task/14565/stat : 14565 (java) S 14553 14553 7411 0 -1 1077944384 322 0 0 0 0 0 0 0 20 0 28 0 3831678 14133010432 62689 33554432000 4194304 4196468 140735613123488 140426600395936 140427138082517 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9220096 140735613125820 140735613125996 140735613125996 140735613128655 0
[pid=14554/tid=14566] ppid=14553 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14554/task/14566/stat : 14566 (java) S 14553 14553 7411 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 3831679 14133010432 62689 33554432000 4194304 4196468 140735613123488 140426599343392 140427138082517 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9220096 140735613125820 140735613125996 140735613125996 140735613128655 0
[pid=14554/tid=14567] ppid=14553 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14554/task/14567/stat : 14567 (java) S 14553 14553 7411 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 3831679 14133010432 62689 33554432000 4194304 4196468 140735613123488 140426598291056 140427138082517 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9220096 140735613125820 140735613125996 140735613125996 140735613128655 0
[pid=14554/tid=14568] ppid=14553 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14554/task/14568/stat : 14568 (java) S 14553 14553 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3831683 14133010432 62689 33554432000 4194304 4196468 140735613123488 140426597239376 140427138090907 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9220096 140735613125820 140735613125996 140735613125996 140735613128655 0
[pid=14554/tid=14569] ppid=14553 vsize=13801768 CPUtime=1.07 cores=0,2,4,6,8,10,12,14
/proc/14554/task/14569/stat : 14569 (java) S 14553 14553 7411 0 -1 1077944384 4403 0 0 0 106 1 0 0 20 0 28 0 3831683 14133010432 62689 33554432000 4194304 4196468 140735613123488 140426596186224 140427138083458 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9220096 140735613125820 140735613125996 140735613125996 140735613128655 0
[pid=14554/tid=14570] ppid=14553 vsize=13801768 CPUtime=1.07 cores=0,2,4,6,8,10,12,14
/proc/14554/task/14570/stat : 14570 (java) S 14553 14553 7411 0 -1 1077944384 4486 0 0 0 106 1 0 0 20 0 28 0 3831683 14133010432 62689 33554432000 4194304 4196468 140735613123488 140426595124704 140427138082517 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9220096 140735613125820 140735613125996 140735613125996 140735613128655 0
[pid=14554/tid=14571] ppid=14553 vsize=13801768 CPUtime=1.09 cores=0,2,4,6,8,10,12,14
/proc/14554/task/14571/stat : 14571 (java) S 14553 14553 7411 0 -1 1077944384 4549 0 0 0 108 1 0 0 20 0 28 0 3831683 14133010432 62689 33554432000 4194304 4196468 140735613123488 140426594061200 140427138082517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9220096 140735613125820 140735613125996 140735613125996 140735613128655 0
[pid=14554/tid=14572] ppid=14553 vsize=13801768 CPUtime=0.6 cores=0,2,4,6,8,10,12,14
/proc/14554/task/14572/stat : 14572 (java) S 14553 14553 7411 0 -1 1077944384 5764 0 0 0 59 1 0 0 20 0 28 0 3831683 14133010432 63201 33554432000 4194304 4196468 140735613123488 140426593028336 140427138083458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9220096 140735613125820 140735613125996 140735613125996 140735613128655 0
[pid=14554/tid=14573] ppid=14553 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14554/task/14573/stat : 14573 (java) S 14553 14553 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3831683 14133010432 63201 33554432000 4194304 4196468 140735613123488 140426591976288 140427138082517 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9220096 140735613125820 140735613125996 140735613125996 140735613128655 0
[pid=14554/tid=14574] ppid=14553 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14554/task/14574/stat : 14574 (java) S 14553 14553 7411 0 -1 1077944384 625 0 0 0 0 0 0 0 20 0 28 0 3831684 14133010432 63201 33554432000 4194304 4196468 140735613123488 140426590923568 140427138083458 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9220096 140735613125820 140735613125996 140735613125996 140735613128655 0
[pid=14554/tid=14671] ppid=14553 vsize=13801768 CPUtime=1.32 cores=0,2,4,6,8,10,12,14
/proc/14554/task/14671/stat : 14671 (java) S 14553 14553 7411 0 -1 1077944384 107 0 0 0 132 0 0 0 20 0 28 0 3832875 14133010432 63201 33554432000 4194304 4196468 140735613123488 140426582908320 140427138082517 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9220096 140735613125820 140735613125996 140735613125996 140735613128655 0
[pid=14554/tid=14672] ppid=14553 vsize=13801768 CPUtime=1.37 cores=0,2,4,6,8,10,12,14
/proc/14554/task/14672/stat : 14672 (java) S 14553 14553 7411 0 -1 1077944384 77 0 0 0 137 0 0 0 20 0 28 0 3832875 14133010432 63201 33554432000 4194304 4196468 140735613123488 140426581858928 140427138082517 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9220096 140735613125820 140735613125996 140735613125996 140735613128655 0
[pid=14554/tid=14673] ppid=14553 vsize=13801768 CPUtime=1.43 cores=0,2,4,6,8,10,12,14
/proc/14554/task/14673/stat : 14673 (java) S 14553 14553 7411 0 -1 1077944384 62 0 0 0 143 0 0 0 20 0 28 0 3832875 14133010432 63201 33554432000 4194304 4196468 140735613123488 140426580803072 140427138082517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9220096 140735613125820 140735613125996 140735613125996 140735613128655 0
[pid=14554/tid=14674] ppid=14553 vsize=13801768 CPUtime=1.57 cores=0,2,4,6,8,10,12,14
/proc/14554/task/14674/stat : 14674 (java) S 14553 14553 7411 0 -1 1077944384 114 0 0 0 157 0 0 0 20 0 28 0 3832875 14133010432 63201 33554432000 4194304 4196468 140735613123488 140426579750544 140427138082517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9220096 140735613125820 140735613125996 140735613125996 140735613128655 0
[pid=14554/tid=14675] ppid=14553 vsize=13801768 CPUtime=1.27 cores=0,2,4,6,8,10,12,14
/proc/14554/task/14675/stat : 14675 (java) S 14553 14553 7411 0 -1 1077944384 45 0 0 0 127 0 0 0 20 0 28 0 3832875 14133010432 63201 33554432000 4194304 4196468 140735613123488 140426578697984 140427138082517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9220096 140735613125820 140735613125996 140735613125996 140735613128655 0
[pid=14554/tid=14676] ppid=14553 vsize=13801768 CPUtime=1.37 cores=0,2,4,6,8,10,12,14
/proc/14554/task/14676/stat : 14676 (java) S 14553 14553 7411 0 -1 1077944384 70 0 0 0 137 0 0 0 20 0 28 0 3832875 14133010432 63201 33554432000 4194304 4196468 140735613123488 140426577645456 140427138082517 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9220096 140735613125820 140735613125996 140735613125996 140735613128655 0
[pid=14554/tid=14677] ppid=14553 vsize=13801768 CPUtime=1.32 cores=0,2,4,6,8,10,12,14
/proc/14554/task/14677/stat : 14677 (java) S 14553 14553 7411 0 -1 1077944384 48 0 0 0 132 0 0 0 20 0 28 0 3832875 14133010432 63201 33554432000 4194304 4196468 140735613123488 140426576592896 140427138082517 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9220096 140735613125820 140735613125996 140735613125996 140735613128655 0
[pid=14554/tid=14678] ppid=14553 vsize=13801768 CPUtime=1.37 cores=0,2,4,6,8,10,12,14
/proc/14554/task/14678/stat : 14678 (java) S 14553 14553 7411 0 -1 1077944384 50 0 0 0 137 0 0 0 20 0 28 0 3832875 14133010432 63201 33554432000 4194304 4196468 140735613123488 140426575540368 140427138082517 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9220096 140735613125820 140735613125996 140735613125996 140735613128655 0
Current children cumulated CPU time (s) 27.42
Current children cumulated vsize (KiB) 13811280
[startup+13.9031 s]
/proc/loadavg: 14.07 12.94 13.17 18/300 14678
/proc/meminfo: memFree=31513676/32770624 swapFree=5860/236628
[pid=14553] ppid=14550 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14553/stat : 14553 (xcsp3-exec) S 14550 14553 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3831674 9740288 346 33554432000 4194304 5098028 140724922234048 140724922232152 140004469727868 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 15208448 140724922242191 140724922242400 140724922242400 140724922245099 0
/proc/14553/statm: 2378 346 289 221 0 87 0
[pid=14554] ppid=14553 vsize=13801768 CPUtime=28.19 cores=0,2,4,6,8,10,12,14
/proc/14554/stat : 14554 (java) S 14553 14553 7411 0 -1 1077944320 35727 0 0 0 2763 56 0 0 20 0 28 0 3831674 14133010432 67841 33554432000 4194304 4196468 140735613123488 140735613106032 140427138072311 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 9220096 140735613125820 140735613125996 140735613125996 140735613128655 0
/proc/14554/statm: 3450442 67841 3243 1 0 3437675 0
[pid=14554/tid=14555] ppid=14553 vsize=13801768 CPUtime=11.97 cores=0,2,4,6,8,10,12,14
/proc/14554/task/14555/stat : 14555 (java) S 14553 14553 7411 0 -1 1077944384 12859 0 0 0 1193 4 0 0 20 0 28 0 3831675 14133010432 67841 33554432000 4194304 4196468 140735613123488 140427142313088 140427138082517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9220096 140735613125820 140735613125996 140735613125996 140735613128655 0
[pid=14554/tid=14557] ppid=14553 vsize=13801768 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/14554/task/14557/stat : 14557 (java) S 14553 14553 7411 0 -1 1077944384 51 0 0 0 2 5 0 0 20 0 28 0 3831676 14133010432 67841 33554432000 4194304 4196468 140735613123488 140426737724304 140427138082517 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9220096 140735613125820 140735613125996 140735613125996 140735613128655 0
[pid=14554/tid=14558] ppid=14553 vsize=13801768 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/14554/task/14558/stat : 14558 (java) S 14553 14553 7411 0 -1 1077944384 50 0 0 0 2 5 0 0 20 0 28 0 3831676 14133010432 67841 33554432000 4194304 4196468 140735613123488 140426736671504 140427138082517 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9220096 140735613125820 140735613125996 140735613125996 140735613128655 0
[pid=14554/tid=14559] ppid=14553 vsize=13801768 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/14554/task/14559/stat : 14559 (java) S 14553 14553 7411 0 -1 1077944384 70 0 0 0 2 5 0 0 20 0 28 0 3831676 14133010432 67841 33554432000 4194304 4196468 140735613123488 140426735619216 140427138082517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9220096 140735613125820 140735613125996 140735613125996 140735613128655 0
[pid=14554/tid=14560] ppid=14553 vsize=13801768 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/14554/task/14560/stat : 14560 (java) S 14553 14553 7411 0 -1 1077944384 84 0 0 0 2 5 0 0 20 0 28 0 3831676 14133010432 67841 33554432000 4194304 4196468 140735613123488 140426734566416 140427138082517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9220096 140735613125820 140735613125996 140735613125996 140735613128655 0
[pid=14554/tid=14561] ppid=14553 vsize=13801768 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/14554/task/14561/stat : 14561 (java) S 14553 14553 7411 0 -1 1077944384 108 0 0 0 2 5 0 0 20 0 28 0 3831676 14133010432 67841 33554432000 4194304 4196468 140735613123488 140426733513104 140427138082517 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9220096 140735613125820 140735613125996 140735613125996 140735613128655 0
[pid=14554/tid=14562] ppid=14553 vsize=13801768 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/14554/task/14562/stat : 14562 (java) S 14553 14553 7411 0 -1 1077944384 57 0 0 0 2 5 0 0 20 0 28 0 3831676 14133010432 67841 33554432000 4194304 4196468 140735613123488 140426732460304 140427138082517 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9220096 140735613125820 140735613125996 140735613125996 140735613128655 0
[pid=14554/tid=14563] ppid=14553 vsize=13801768 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/14554/task/14563/stat : 14563 (java) S 14553 14553 7411 0 -1 1077944384 151 0 0 0 2 5 0 0 20 0 28 0 3831676 14133010432 67841 33554432000 4194304 4196468 140735613123488 140426731408016 140427138082517 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9220096 140735613125820 140735613125996 140735613125996 140735613128655 0
[pid=14554/tid=14564] ppid=14553 vsize=13801768 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/14554/task/14564/stat : 14564 (java) S 14553 14553 7411 0 -1 1077944384 55 0 0 0 2 5 0 0 20 0 28 0 3831676 14133010432 67841 33554432000 4194304 4196468 140735613123488 140426730355216 140427138082517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9220096 140735613125820 140735613125996 140735613125996 140735613128655 0
[pid=14554/tid=14565] ppid=14553 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14554/task/14565/stat : 14565 (java) S 14553 14553 7411 0 -1 1077944384 353 0 0 0 0 0 0 0 20 0 28 0 3831678 14133010432 67841 33554432000 4194304 4196468 140735613123488 140426600397424 140427138083458 0 0 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9220096 140735613125820 140735613125996 140735613125996 140735613128655 0
[pid=14554/tid=14566] ppid=14553 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14554/task/14566/stat : 14566 (java) S 14553 14553 7411 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 3831679 14133010432 67841 33554432000 4194304 4196468 140735613123488 140426599343392 140427138082517 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9220096 140735613125820 140735613125996 140735613125996 140735613128655 0
[pid=14554/tid=14567] ppid=14553 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14554/task/14567/stat : 14567 (java) S 14553 14553 7411 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 3831679 14133010432 67841 33554432000 4194304 4196468 140735613123488 140426598291072 140427138082517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9220096 140735613125820 140735613125996 140735613125996 140735613128655 0
[pid=14554/tid=14568] ppid=14553 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14554/task/14568/stat : 14568 (java) S 14553 14553 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3831683 14133010432 67841 33554432000 4194304 4196468 140735613123488 140426597239376 140427138090907 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9220096 140735613125820 140735613125996 140735613125996 140735613128655 0
[pid=14554/tid=14569] ppid=14553 vsize=13801768 CPUtime=1.11 cores=0,2,4,6,8,10,12,14
/proc/14554/task/14569/stat : 14569 (java) R 14553 14553 7411 0 -1 4202560 4408 0 0 0 110 1 0 0 20 0 28 0 3831683 14133010432 67841 33554432000 4194304 4196468 140735613123488 140426596186520 140427121572517 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 9220096 140735613125820 140735613125996 140735613125996 140735613128655 0
[pid=14554/tid=14570] ppid=14553 vsize=13801768 CPUtime=1.11 cores=0,2,4,6,8,10,12,14
/proc/14554/task/14570/stat : 14570 (java) S 14553 14553 7411 0 -1 1077944384 4495 0 0 0 110 1 0 0 20 0 28 0 3831683 14133010432 67841 33554432000 4194304 4196468 140735613123488 140426595133424 140427138083458 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9220096 140735613125820 140735613125996 140735613125996 140735613128655 0
[pid=14554/tid=14571] ppid=14553 vsize=13801768 CPUtime=1.15 cores=0,2,4,6,8,10,12,14
/proc/14554/task/14571/stat : 14571 (java) R 14553 14553 7411 0 -1 4202560 4556 0 0 0 114 1 0 0 20 0 28 0 3831683 14133010432 67841 33554432000 4194304 4196468 140735613123488 140426594080240 140427119595744 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 9220096 140735613125820 140735613125996 140735613125996 140735613128655 0
[pid=14554/tid=14572] ppid=14553 vsize=13801768 CPUtime=0.61 cores=0,2,4,6,8,10,12,14
/proc/14554/task/14572/stat : 14572 (java) S 14553 14553 7411 0 -1 1077944384 5846 0 0 0 60 1 0 0 20 0 28 0 3831683 14133010432 67841 33554432000 4194304 4196468 140735613123488 140426593028336 140427138083458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9220096 140735613125820 140735613125996 140735613125996 140735613128655 0
[pid=14554/tid=14573] ppid=14553 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14554/task/14573/stat : 14573 (java) S 14553 14553 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3831683 14133010432 67841 33554432000 4194304 4196468 140735613123488 140426591976288 140427138082517 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9220096 140735613125820 140735613125996 140735613125996 140735613128655 0
[pid=14554/tid=14574] ppid=14553 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14554/task/14574/stat : 14574 (java) S 14553 14553 7411 0 -1 1077944384 625 0 0 0 0 0 0 0 20 0 28 0 3831684 14133010432 67841 33554432000 4194304 4196468 140735613123488 140426590923568 140427138083458 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9220096 140735613125820 140735613125996 140735613125996 140735613128655 0
[pid=14554/tid=14671] ppid=14553 vsize=13801768 CPUtime=1.38 cores=0,2,4,6,8,10,12,14
/proc/14554/task/14671/stat : 14671 (java) R 14553 14553 7411 0 -1 4202560 107 0 0 0 138 0 0 0 20 0 28 0 3832875 14133010432 67841 33554432000 4194304 4196468 140735613123488 140426582908688 140426780482034 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 9220096 140735613125820 140735613125996 140735613125996 140735613128655 0
[pid=14554/tid=14672] ppid=14553 vsize=13801768 CPUtime=1.43 cores=0,2,4,6,8,10,12,14
/proc/14554/task/14672/stat : 14672 (java) R 14553 14553 7411 0 -1 4202560 120 0 0 0 143 0 0 0 20 0 28 0 3832875 14133010432 67841 33554432000 4194304 4196468 140735613123488 140426581856000 140426781130428 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 9220096 140735613125820 140735613125996 140735613125996 140735613128655 0
[pid=14554/tid=14673] ppid=14553 vsize=13801768 CPUtime=1.48 cores=0,2,4,6,8,10,12,14
/proc/14554/task/14673/stat : 14673 (java) R 14553 14553 7411 0 -1 4202560 62 0 0 0 148 0 0 0 20 0 28 0 3832875 14133010432 67841 33554432000 4194304 4196468 140735613123488 140426580806712 140426780929576 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9220096 140735613125820 140735613125996 140735613125996 140735613128655 0
[pid=14554/tid=14674] ppid=14553 vsize=13801768 CPUtime=1.62 cores=0,2,4,6,8,10,12,14
/proc/14554/task/14674/stat : 14674 (java) R 14553 14553 7411 0 -1 4202560 114 0 0 0 162 0 0 0 20 0 28 0 3832875 14133010432 67841 33554432000 4194304 4196468 140735613123488 140426579753032 140426781817203 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 9220096 140735613125820 140735613125996 140735613125996 140735613128655 0
[pid=14554/tid=14675] ppid=14553 vsize=13801768 CPUtime=1.34 cores=0,2,4,6,8,10,12,14
/proc/14554/task/14675/stat : 14675 (java) R 14553 14553 7411 0 -1 4202560 47 0 0 0 134 0 0 0 20 0 28 0 3832875 14133010432 67841 33554432000 4194304 4196468 140735613123488 140426578698568 140426780929576 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9220096 140735613125820 140735613125996 140735613125996 140735613128655 0
[pid=14554/tid=14676] ppid=14553 vsize=13801768 CPUtime=1.44 cores=0,2,4,6,8,10,12,14
/proc/14554/task/14676/stat : 14676 (java) R 14553 14553 7411 0 -1 4202560 70 0 0 0 144 0 0 0 20 0 28 0 3832875 14133010432 67841 33554432000 4194304 4196468 140735613123488 140426577646248 140426778380108 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 9220096 140735613125820 140735613125996 140735613125996 140735613128655 0
[pid=14554/tid=14677] ppid=14553 vsize=13801768 CPUtime=1.38 cores=0,2,4,6,8,10,12,14
/proc/14554/task/14677/stat : 14677 (java) R 14553 14553 7411 0 -1 4202560 49 0 0 0 138 0 0 0 20 0 28 0 3832875 14133010432 67841 33554432000 4194304 4196468 140735613123488 140426576593744 140735613181064 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9220096 140735613125820 140735613125996 140735613125996 140735613128655 0
[pid=14554/tid=14678] ppid=14553 vsize=13801768 CPUtime=1.44 cores=0,2,4,6,8,10,12,14
/proc/14554/task/14678/stat : 14678 (java) R 14553 14553 7411 0 -1 4202560 50 0 0 0 144 0 0 0 20 0 28 0 3832875 14133010432 67841 33554432000 4194304 4196468 140735613123488 140426575542608 140426780929315 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9220096 140735613125820 140735613125996 140735613125996 140735613128655 0
Current children cumulated CPU time (s) 28.19
Current children cumulated vsize (KiB) 13811280
Child status: 0
Real time (s): 13.9874
CPU time (s): 28.7378
CPU user time (s): 28.1639
CPU system time (s): 0.573888
CPU usage (%): 205.455
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 28.1639
system time used= 0.573888
maximum resident set size= 272072
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36338
page faults= 0
swaps= 0
block input operations= 8
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4350
involuntary context switches= 2634
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.091868 second user time and 0.130366 second system time
The end