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-4250201-1500696559/watcher-4250201-1500696559 -o /tmp/evaluation-result-4250201-1500696559/solver-4250201-1500696559 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node130-1500684118-8559 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1953127426 HOME/instance-4250201-1500696559.xml
pid=19680
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: 10.90 10.62 12.15 9/270 19683
/proc/meminfo: memFree=25289940/32770624 swapFree=5656/335332
[pid=19683] ppid=19680 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19683/stat : 19683 (xcsp3-exec) S 19680 19683 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4923434 9740288 345 33554432000 4194304 5098028 140732258700384 140732258698488 140119084065404 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 33406976 140732258702478 140732258702688 140732258702688 140732258705387 0
/proc/19683/statm: 2378 345 289 221 0 87 0
[startup+0.100138 s]
/proc/loadavg: 10.90 10.62 12.15 9/270 19683
/proc/meminfo: memFree=25289940/32770624 swapFree=5656/335332
[pid=19683] ppid=19680 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19683/stat : 19683 (xcsp3-exec) S 19680 19683 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4923434 9740288 345 33554432000 4194304 5098028 140732258700384 140732258698488 140119084065404 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 33406976 140732258702478 140732258702688 140732258702688 140732258705387 0
/proc/19683/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200315 s]
/proc/loadavg: 10.90 10.62 12.15 9/270 19683
/proc/meminfo: memFree=25289940/32770624 swapFree=5656/335332
[pid=19683] ppid=19680 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19683/stat : 19683 (xcsp3-exec) S 19680 19683 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4923434 9740288 345 33554432000 4194304 5098028 140732258700384 140732258698488 140119084065404 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 33406976 140732258702478 140732258702688 140732258702688 140732258705387 0
/proc/19683/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.30033 s]
/proc/loadavg: 10.90 10.62 12.15 9/270 19683
/proc/meminfo: memFree=25289940/32770624 swapFree=5656/335332
[pid=19683] ppid=19680 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19683/stat : 19683 (xcsp3-exec) S 19680 19683 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4923434 9740288 345 33554432000 4194304 5098028 140732258700384 140732258698488 140119084065404 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 33406976 140732258702478 140732258702688 140732258702688 140732258705387 0
/proc/19683/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700236 s]
/proc/loadavg: 10.90 10.62 12.15 9/270 19683
/proc/meminfo: memFree=25289940/32770624 swapFree=5656/335332
[pid=19683] ppid=19680 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19683/stat : 19683 (xcsp3-exec) S 19680 19683 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4923434 9740288 345 33554432000 4194304 5098028 140732258700384 140732258698488 140119084065404 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 33406976 140732258702478 140732258702688 140732258702688 140732258705387 0
/proc/19683/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50124 s]
/proc/loadavg: 10.91 10.62 12.15 11/291 19704
/proc/meminfo: memFree=25078412/32770624 swapFree=5656/336048
[pid=19683] ppid=19680 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19683/stat : 19683 (xcsp3-exec) S 19680 19683 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4923434 9740288 345 33554432000 4194304 5098028 140732258700384 140732258698488 140119084065404 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 33406976 140732258702478 140732258702688 140732258702688 140732258705387 0
/proc/19683/statm: 2378 345 289 221 0 87 0
[pid=19684] ppid=19683 vsize=13269256 CPUtime=3.61 cores=0,2,4,6,8,10,12,14
/proc/19684/stat : 19684 (java) S 19683 19683 7102 0 -1 1077944320 14328 0 0 0 338 23 0 0 20 0 20 0 4923434 13587718144 65493 33554432000 4194304 4196468 140722063657216 140722063639760 140427053391607 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 28962816 140722063664316 140722063664492 140722063664492 140722063667151 0
/proc/19684/statm: 3317314 65493 3216 1 0 3304547 0
[pid=19684/tid=19685] ppid=19683 vsize=13269256 CPUtime=1.43 cores=0,2,4,6,8,10,12,14
/proc/19684/task/19685/stat : 19685 (java) R 19683 19683 7102 0 -1 4202560 6697 0 0 0 137 6 0 0 20 0 20 0 4923435 13587718144 65493 33554432000 4194304 4196468 140722063657216 140427057629096 140426660412747 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 28962816 140722063664316 140722063664492 140722063664492 140722063667151 0
[pid=19684/tid=19687] ppid=19683 vsize=13269256 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/19684/task/19687/stat : 19687 (java) S 19683 19683 7102 0 -1 1077944384 30 0 0 0 1 2 0 0 20 0 20 0 4923436 13587718144 65493 33554432000 4194304 4196468 140722063657216 140426985527952 140427053401813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28962816 140722063664316 140722063664492 140722063664492 140722063667151 0
[pid=19684/tid=19688] ppid=19683 vsize=13269256 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/19684/task/19688/stat : 19688 (java) S 19683 19683 7102 0 -1 1077944384 24 0 0 0 0 2 0 0 20 0 20 0 4923436 13587718144 65493 33554432000 4194304 4196468 140722063657216 140426984475152 140427053401813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28962816 140722063664316 140722063664492 140722063664492 140722063667151 0
[pid=19684/tid=19689] ppid=19683 vsize=13269256 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/19684/task/19689/stat : 19689 (java) S 19683 19683 7102 0 -1 1077944384 16 0 0 0 1 1 0 0 20 0 20 0 4923436 13587718144 65493 33554432000 4194304 4196468 140722063657216 140426983422352 140427053401813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28962816 140722063664316 140722063664492 140722063664492 140722063667151 0
[pid=19684/tid=19690] ppid=19683 vsize=13269256 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/19684/task/19690/stat : 19690 (java) S 19683 19683 7102 0 -1 1077944384 20 0 0 0 1 2 0 0 20 0 20 0 4923436 13587718144 65493 33554432000 4194304 4196468 140722063657216 140426982369552 140427053401813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28962816 140722063664316 140722063664492 140722063664492 140722063667151 0
[pid=19684/tid=19691] ppid=19683 vsize=13269256 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/19684/task/19691/stat : 19691 (java) S 19683 19683 7102 0 -1 1077944384 25 0 0 0 1 1 0 0 20 0 20 0 4923436 13587718144 65493 33554432000 4194304 4196468 140722063657216 140426981317776 140427053401813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28962816 140722063664316 140722063664492 140722063664492 140722063667151 0
[pid=19684/tid=19692] ppid=19683 vsize=13269256 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/19684/task/19692/stat : 19692 (java) S 19683 19683 7102 0 -1 1077944384 20 0 0 0 1 1 0 0 20 0 20 0 4923436 13587718144 65493 33554432000 4194304 4196468 140722063657216 140426980264976 140427053401813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28962816 140722063664316 140722063664492 140722063664492 140722063667151 0
[pid=19684/tid=19693] ppid=19683 vsize=13269256 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/19684/task/19693/stat : 19693 (java) S 19683 19683 7102 0 -1 1077944384 14 0 0 0 0 1 0 0 20 0 20 0 4923436 13587718144 65493 33554432000 4194304 4196468 140722063657216 140426979212176 140427053401813 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28962816 140722063664316 140722063664492 140722063664492 140722063667151 0
[pid=19684/tid=19694] ppid=19683 vsize=13269256 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/19684/task/19694/stat : 19694 (java) S 19683 19683 7102 0 -1 1077944384 22 0 0 0 1 2 0 0 20 0 20 0 4923436 13587718144 65493 33554432000 4194304 4196468 140722063657216 140426978159376 140427053401813 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 28962816 140722063664316 140722063664492 140722063664492 140722063667151 0
[pid=19684/tid=19695] ppid=19683 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19684/task/19695/stat : 19695 (java) S 19683 19683 7102 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 20 0 4923438 13587718144 65493 33554432000 4194304 4196468 140722063657216 140426515528048 140427053402754 0 0 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 28962816 140722063664316 140722063664492 140722063664492 140722063667151 0
[pid=19684/tid=19696] ppid=19683 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19684/task/19696/stat : 19696 (java) S 19683 19683 7102 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 4923439 13587718144 65493 33554432000 4194304 4196468 140722063657216 140426514474016 140427053401813 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 28962816 140722063664316 140722063664492 140722063664492 140722063667151 0
[pid=19684/tid=19697] ppid=19683 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19684/task/19697/stat : 19697 (java) S 19683 19683 7102 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 4923439 13587718144 65493 33554432000 4194304 4196468 140722063657216 140426513421168 140427053401813 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 28962816 140722063664316 140722063664492 140722063664492 140722063667151 0
[pid=19684/tid=19698] ppid=19683 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19684/task/19698/stat : 19698 (java) S 19683 19683 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4923443 13587718144 65493 33554432000 4194304 4196468 140722063657216 140426512369488 140427053410203 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 28962816 140722063664316 140722063664492 140722063664492 140722063667151 0
[pid=19684/tid=19699] ppid=19683 vsize=13269256 CPUtime=0.47 cores=0,2,4,6,8,10,12,14
/proc/19684/task/19699/stat : 19699 (java) R 19683 19683 7102 0 -1 4202560 1395 0 0 0 47 0 0 0 20 0 20 0 4923443 13587718144 65493 33554432000 4194304 4196468 140722063657216 140426511318168 140427034084871 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 28962816 140722063664316 140722063664492 140722063664492 140722063667151 0
[pid=19684/tid=19700] ppid=19683 vsize=13269256 CPUtime=0.46 cores=0,2,4,6,8,10,12,14
/proc/19684/task/19700/stat : 19700 (java) S 19683 19683 7102 0 -1 1077944384 1200 0 0 0 46 0 0 0 20 0 20 0 4923443 13587718144 65493 33554432000 4194304 4196468 140722063657216 140426510265072 140427053402754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28962816 140722063664316 140722063664492 140722063664492 140722063667151 0
[pid=19684/tid=19701] ppid=19683 vsize=13269256 CPUtime=0.51 cores=0,2,4,6,8,10,12,14
/proc/19684/task/19701/stat : 19701 (java) S 19683 19683 7102 0 -1 1077944384 1595 0 0 0 51 0 0 0 20 0 20 0 4923443 13587718144 65493 33554432000 4194304 4196468 140722063657216 140426509212272 140427053402754 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28962816 140722063664316 140722063664492 140722063664492 140722063667151 0
[pid=19684/tid=19702] ppid=19683 vsize=13269256 CPUtime=0.43 cores=0,2,4,6,8,10,12,14
/proc/19684/task/19702/stat : 19702 (java) S 19683 19683 7102 0 -1 1077944384 1891 0 0 0 43 0 0 0 20 0 20 0 4923443 13587718144 65493 33554432000 4194304 4196468 140722063657216 140426508159472 140427053402754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28962816 140722063664316 140722063664492 140722063664492 140722063667151 0
[pid=19684/tid=19703] ppid=19683 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19684/task/19703/stat : 19703 (java) S 19683 19683 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4923443 13587718144 65493 33554432000 4194304 4196468 140722063657216 140426507106912 140427053401813 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28962816 140722063664316 140722063664492 140722063664492 140722063667151 0
[pid=19684/tid=19704] ppid=19683 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19684/task/19704/stat : 19704 (java) S 19683 19683 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4923443 13587718144 65493 33554432000 4194304 4196468 140722063657216 140426438765104 140427053402754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28962816 140722063664316 140722063664492 140722063664492 140722063667151 0
Current children cumulated CPU time (s) 3.61
Current children cumulated vsize (KiB) 13278768
[startup+3.10091 s]
/proc/loadavg: 10.91 10.62 12.15 18/291 19704
/proc/meminfo: memFree=24884300/32770624 swapFree=5656/336048
[pid=19683] ppid=19680 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19683/stat : 19683 (xcsp3-exec) S 19680 19683 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4923434 9740288 345 33554432000 4194304 5098028 140732258700384 140732258698488 140119084065404 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 33406976 140732258702478 140732258702688 140732258702688 140732258705387 0
/proc/19683/statm: 2378 345 289 221 0 87 0
[pid=19684] ppid=19683 vsize=13269256 CPUtime=6.22 cores=0,2,4,6,8,10,12,14
/proc/19684/stat : 19684 (java) S 19683 19683 7102 0 -1 1077944320 16446 0 0 0 549 73 0 0 20 0 20 0 4923434 13587718144 160082 33554432000 4194304 4196468 140722063657216 140722063639760 140427053391607 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 28962816 140722063664316 140722063664492 140722063664492 140722063667151 0
/proc/19684/statm: 3317314 160082 3240 1 0 3304547 0
[pid=19684/tid=19685] ppid=19683 vsize=13269256 CPUtime=2.84 cores=0,2,4,6,8,10,12,14
/proc/19684/task/19685/stat : 19685 (java) R 19683 19683 7102 0 -1 4202560 6902 0 0 0 273 11 0 0 20 0 20 0 4923435 13587718144 160082 33554432000 4194304 4196468 140722063657216 140427057627800 140426660412522 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 28962816 140722063664316 140722063664492 140722063664492 140722063667151 0
[pid=19684/tid=19687] ppid=19683 vsize=13269256 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/19684/task/19687/stat : 19687 (java) S 19683 19683 7102 0 -1 1077944384 76 0 0 0 5 8 0 0 20 0 20 0 4923436 13587718144 160082 33554432000 4194304 4196468 140722063657216 140426985527952 140427053401813 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 28962816 140722063664316 140722063664492 140722063664492 140722063667151 0
[pid=19684/tid=19688] ppid=19683 vsize=13269256 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/19684/task/19688/stat : 19688 (java) S 19683 19683 7102 0 -1 1077944384 76 0 0 0 4 8 0 0 20 0 20 0 4923436 13587718144 160082 33554432000 4194304 4196468 140722063657216 140426984475152 140427053401813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28962816 140722063664316 140722063664492 140722063664492 140722063667151 0
[pid=19684/tid=19689] ppid=19683 vsize=13269256 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/19684/task/19689/stat : 19689 (java) S 19683 19683 7102 0 -1 1077944384 76 0 0 0 5 8 0 0 20 0 20 0 4923436 13587718144 160082 33554432000 4194304 4196468 140722063657216 140426983422352 140427053401813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28962816 140722063664316 140722063664492 140722063664492 140722063667151 0
[pid=19684/tid=19690] ppid=19683 vsize=13269256 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/19684/task/19690/stat : 19690 (java) S 19683 19683 7102 0 -1 1077944384 53 0 0 0 5 6 0 0 20 0 20 0 4923436 13587718144 160082 33554432000 4194304 4196468 140722063657216 140426982369552 140427053401813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28962816 140722063664316 140722063664492 140722063664492 140722063667151 0
[pid=19684/tid=19691] ppid=19683 vsize=13269256 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/19684/task/19691/stat : 19691 (java) S 19683 19683 7102 0 -1 1077944384 325 0 0 0 5 7 0 0 20 0 20 0 4923436 13587718144 160082 33554432000 4194304 4196468 140722063657216 140426981317776 140427053401813 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 28962816 140722063664316 140722063664492 140722063664492 140722063667151 0
[pid=19684/tid=19692] ppid=19683 vsize=13269256 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/19684/task/19692/stat : 19692 (java) S 19683 19683 7102 0 -1 1077944384 83 0 0 0 7 6 0 0 20 0 20 0 4923436 13587718144 160082 33554432000 4194304 4196468 140722063657216 140426980264976 140427053401813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28962816 140722063664316 140722063664492 140722063664492 140722063667151 0
[pid=19684/tid=19693] ppid=19683 vsize=13269256 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/19684/task/19693/stat : 19693 (java) S 19683 19683 7102 0 -1 1077944384 74 0 0 0 5 6 0 0 20 0 20 0 4923436 13587718144 160082 33554432000 4194304 4196468 140722063657216 140426979212176 140427053401813 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28962816 140722063664316 140722063664492 140722063664492 140722063667151 0
[pid=19684/tid=19694] ppid=19683 vsize=13269256 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/19684/task/19694/stat : 19694 (java) S 19683 19683 7102 0 -1 1077944384 57 0 0 0 4 6 0 0 20 0 20 0 4923436 13587718144 160082 33554432000 4194304 4196468 140722063657216 140426978159376 140427053401813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28962816 140722063664316 140722063664492 140722063664492 140722063667151 0
[pid=19684/tid=19695] ppid=19683 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19684/task/19695/stat : 19695 (java) S 19683 19683 7102 0 -1 1077944384 208 0 0 0 0 0 0 0 20 0 20 0 4923438 13587718144 160082 33554432000 4194304 4196468 140722063657216 140426515528048 140427053402754 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28962816 140722063664316 140722063664492 140722063664492 140722063667151 0
[pid=19684/tid=19696] ppid=19683 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19684/task/19696/stat : 19696 (java) S 19683 19683 7102 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 4923439 13587718144 160082 33554432000 4194304 4196468 140722063657216 140426514474080 140427053401813 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 28962816 140722063664316 140722063664492 140722063664492 140722063667151 0
[pid=19684/tid=19697] ppid=19683 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19684/task/19697/stat : 19697 (java) S 19683 19683 7102 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 4923439 13587718144 160082 33554432000 4194304 4196468 140722063657216 140426513421184 140427053401813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28962816 140722063664316 140722063664492 140722063664492 140722063667151 0
[pid=19684/tid=19698] ppid=19683 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19684/task/19698/stat : 19698 (java) S 19683 19683 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4923443 13587718144 160082 33554432000 4194304 4196468 140722063657216 140426512369488 140427053410203 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 28962816 140722063664316 140722063664492 140722063664492 140722063667151 0
[pid=19684/tid=19699] ppid=19683 vsize=13269256 CPUtime=0.51 cores=0,2,4,6,8,10,12,14
/proc/19684/task/19699/stat : 19699 (java) S 19683 19683 7102 0 -1 1077944384 1419 0 0 0 51 0 0 0 20 0 20 0 4923443 13587718144 160082 33554432000 4194304 4196468 140722063657216 140426511317872 140427053402754 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 28962816 140722063664316 140722063664492 140722063664492 140722063667151 0
[pid=19684/tid=19700] ppid=19683 vsize=13269256 CPUtime=0.68 cores=0,2,4,6,8,10,12,14
/proc/19684/task/19700/stat : 19700 (java) S 19683 19683 7102 0 -1 1077944384 2006 0 0 0 67 1 0 0 20 0 20 0 4923443 13587718144 160082 33554432000 4194304 4196468 140722063657216 140426510265072 140427053402754 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 28962816 140722063664316 140722063664492 140722063664492 140722063667151 0
[pid=19684/tid=19701] ppid=19683 vsize=13269256 CPUtime=0.58 cores=0,2,4,6,8,10,12,14
/proc/19684/task/19701/stat : 19701 (java) S 19683 19683 7102 0 -1 1077944384 1618 0 0 0 58 0 0 0 20 0 20 0 4923443 13587718144 160082 33554432000 4194304 4196468 140722063657216 140426509212272 140427053402754 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28962816 140722063664316 140722063664492 140722063664492 140722063667151 0
[pid=19684/tid=19702] ppid=19683 vsize=13269256 CPUtime=0.55 cores=0,2,4,6,8,10,12,14
/proc/19684/task/19702/stat : 19702 (java) S 19683 19683 7102 0 -1 1077944384 2174 0 0 0 55 0 0 0 20 0 20 0 4923443 13587718144 160082 33554432000 4194304 4196468 140722063657216 140426508159472 140427053402754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 13 0 0 6293624 6294260 28962816 140722063664316 140722063664492 140722063664492 140722063667151 0
[pid=19684/tid=19703] ppid=19683 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19684/task/19703/stat : 19703 (java) S 19683 19683 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4923443 13587718144 160082 33554432000 4194304 4196468 140722063657216 140426507106912 140427053401813 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28962816 140722063664316 140722063664492 140722063664492 140722063667151 0
[pid=19684/tid=19704] ppid=19683 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19684/task/19704/stat : 19704 (java) S 19683 19683 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4923443 13587718144 160082 33554432000 4194304 4196468 140722063657216 140426438765104 140427053402754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 13 0 0 6293624 6294260 28962816 140722063664316 140722063664492 140722063664492 140722063667151 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 13278768
[startup+6.30142 s]
/proc/loadavg: 10.91 10.62 12.15 10/291 19704
/proc/meminfo: memFree=24247920/32770624 swapFree=5656/336060
[pid=19683] ppid=19680 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19683/stat : 19683 (xcsp3-exec) S 19680 19683 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4923434 9740288 345 33554432000 4194304 5098028 140732258700384 140732258698488 140119084065404 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 33406976 140732258702478 140732258702688 140732258702688 140732258705387 0
/proc/19683/statm: 2378 345 289 221 0 87 0
[pid=19684] ppid=19683 vsize=13269256 CPUtime=11.99 cores=0,2,4,6,8,10,12,14
/proc/19684/stat : 19684 (java) S 19683 19683 7102 0 -1 1077944320 19013 0 0 0 982 217 0 0 20 0 20 0 4923434 13587718144 341572 33554432000 4194304 4196468 140722063657216 140722063639760 140427053391607 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 28962816 140722063664316 140722063664492 140722063664492 140722063667151 0
/proc/19684/statm: 3317314 341572 3246 1 0 3304547 0
[pid=19684/tid=19685] ppid=19683 vsize=13269256 CPUtime=5.72 cores=0,2,4,6,8,10,12,14
/proc/19684/task/19685/stat : 19685 (java) R 19683 19683 7102 0 -1 4202560 7309 0 0 0 553 19 0 0 20 0 20 0 4923435 13587718144 341572 33554432000 4194304 4196468 140722063657216 140427057628280 140426661235392 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28962816 140722063664316 140722063664492 140722063664492 140722063667151 0
[pid=19684/tid=19687] ppid=19683 vsize=13269256 CPUtime=0.42 cores=0,2,4,6,8,10,12,14
/proc/19684/task/19687/stat : 19687 (java) S 19683 19683 7102 0 -1 1077944384 186 0 0 0 18 24 0 0 20 0 20 0 4923436 13587718144 341572 33554432000 4194304 4196468 140722063657216 140426985527952 140427053401813 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 28962816 140722063664316 140722063664492 140722063664492 140722063667151 0
[pid=19684/tid=19688] ppid=19683 vsize=13269256 CPUtime=0.43 cores=0,2,4,6,8,10,12,14
/proc/19684/task/19688/stat : 19688 (java) S 19683 19683 7102 0 -1 1077944384 190 0 0 0 19 24 0 0 20 0 20 0 4923436 13587718144 341572 33554432000 4194304 4196468 140722063657216 140426984475152 140427053401813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28962816 140722063664316 140722063664492 140722063664492 140722063667151 0
[pid=19684/tid=19689] ppid=19683 vsize=13269256 CPUtime=0.42 cores=0,2,4,6,8,10,12,14
/proc/19684/task/19689/stat : 19689 (java) S 19683 19683 7102 0 -1 1077944384 201 0 0 0 18 24 0 0 20 0 20 0 4923436 13587718144 341572 33554432000 4194304 4196468 140722063657216 140426983422352 140427053401813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28962816 140722063664316 140722063664492 140722063664492 140722063667151 0
[pid=19684/tid=19690] ppid=19683 vsize=13269256 CPUtime=0.42 cores=0,2,4,6,8,10,12,14
/proc/19684/task/19690/stat : 19690 (java) S 19683 19683 7102 0 -1 1077944384 228 0 0 0 19 23 0 0 20 0 20 0 4923436 13587718144 341572 33554432000 4194304 4196468 140722063657216 140426982369552 140427053401813 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 28962816 140722063664316 140722063664492 140722063664492 140722063667151 0
[pid=19684/tid=19691] ppid=19683 vsize=13269256 CPUtime=0.43 cores=0,2,4,6,8,10,12,14
/proc/19684/task/19691/stat : 19691 (java) S 19683 19683 7102 0 -1 1077944384 448 0 0 0 18 25 0 0 20 0 20 0 4923436 13587718144 341572 33554432000 4194304 4196468 140722063657216 140426981317776 140427053401813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28962816 140722063664316 140722063664492 140722063664492 140722063667151 0
[pid=19684/tid=19692] ppid=19683 vsize=13269256 CPUtime=0.42 cores=0,2,4,6,8,10,12,14
/proc/19684/task/19692/stat : 19692 (java) S 19683 19683 7102 0 -1 1077944384 208 0 0 0 20 22 0 0 20 0 20 0 4923436 13587718144 341572 33554432000 4194304 4196468 140722063657216 140426980264976 140427053401813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28962816 140722063664316 140722063664492 140722063664492 140722063667151 0
[pid=19684/tid=19693] ppid=19683 vsize=13269256 CPUtime=0.42 cores=0,2,4,6,8,10,12,14
/proc/19684/task/19693/stat : 19693 (java) S 19683 19683 7102 0 -1 1077944384 246 0 0 0 19 23 0 0 20 0 20 0 4923436 13587718144 341572 33554432000 4194304 4196468 140722063657216 140426979212176 140427053401813 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28962816 140722063664316 140722063664492 140722063664492 140722063667151 0
[pid=19684/tid=19694] ppid=19683 vsize=13269256 CPUtime=0.41 cores=0,2,4,6,8,10,12,14
/proc/19684/task/19694/stat : 19694 (java) S 19683 19683 7102 0 -1 1077944384 183 0 0 0 18 23 0 0 20 0 20 0 4923436 13587718144 341572 33554432000 4194304 4196468 140722063657216 140426978159376 140427053401813 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 28962816 140722063664316 140722063664492 140722063664492 140722063667151 0
[pid=19684/tid=19695] ppid=19683 vsize=13269256 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/19684/task/19695/stat : 19695 (java) S 19683 19683 7102 0 -1 1077944384 1051 0 0 0 1 0 0 0 20 0 20 0 4923438 13587718144 341572 33554432000 4194304 4196468 140722063657216 140426515528048 140427053402754 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28962816 140722063664316 140722063664492 140722063664492 140722063667151 0
[pid=19684/tid=19696] ppid=19683 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19684/task/19696/stat : 19696 (java) S 19683 19683 7102 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 4923439 13587718144 341572 33554432000 4194304 4196468 140722063657216 140426514474080 140427053401813 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 28962816 140722063664316 140722063664492 140722063664492 140722063667151 0
[pid=19684/tid=19697] ppid=19683 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19684/task/19697/stat : 19697 (java) S 19683 19683 7102 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 20 0 4923439 13587718144 341572 33554432000 4194304 4196468 140722063657216 140426513421184 140427053401813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28962816 140722063664316 140722063664492 140722063664492 140722063667151 0
[pid=19684/tid=19698] ppid=19683 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19684/task/19698/stat : 19698 (java) S 19683 19683 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4923443 13587718144 341572 33554432000 4194304 4196468 140722063657216 140426512369488 140427053410203 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 28962816 140722063664316 140722063664492 140722063664492 140722063667151 0
################
# More data... #
################
/proc/19684/task/19688/stat : 19688 (java) S 19683 19683 7102 0 -1 1077944384 190 0 0 0 19 24 0 0 20 0 20 0 4923436 13587718144 341572 33554432000 4194304 4196468 140722063657216 140426984475152 140427053401813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28962816 140722063664316 140722063664492 140722063664492 140722063667151 0
[pid=19684/tid=19689] ppid=19683 vsize=13269256 CPUtime=0.42 cores=0,2,4,6,8,10,12,14
/proc/19684/task/19689/stat : 19689 (java) S 19683 19683 7102 0 -1 1077944384 201 0 0 0 18 24 0 0 20 0 20 0 4923436 13587718144 341572 33554432000 4194304 4196468 140722063657216 140426983422352 140427053401813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28962816 140722063664316 140722063664492 140722063664492 140722063667151 0
[pid=19684/tid=19690] ppid=19683 vsize=13269256 CPUtime=0.42 cores=0,2,4,6,8,10,12,14
/proc/19684/task/19690/stat : 19690 (java) S 19683 19683 7102 0 -1 1077944384 228 0 0 0 19 23 0 0 20 0 20 0 4923436 13587718144 341572 33554432000 4194304 4196468 140722063657216 140426982369552 140427053401813 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 28962816 140722063664316 140722063664492 140722063664492 140722063667151 0
[pid=19684/tid=19691] ppid=19683 vsize=13269256 CPUtime=0.43 cores=0,2,4,6,8,10,12,14
/proc/19684/task/19691/stat : 19691 (java) S 19683 19683 7102 0 -1 1077944384 448 0 0 0 18 25 0 0 20 0 20 0 4923436 13587718144 341572 33554432000 4194304 4196468 140722063657216 140426981317776 140427053401813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28962816 140722063664316 140722063664492 140722063664492 140722063667151 0
[pid=19684/tid=19692] ppid=19683 vsize=13269256 CPUtime=0.42 cores=0,2,4,6,8,10,12,14
/proc/19684/task/19692/stat : 19692 (java) S 19683 19683 7102 0 -1 1077944384 208 0 0 0 20 22 0 0 20 0 20 0 4923436 13587718144 341572 33554432000 4194304 4196468 140722063657216 140426980264976 140427053401813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28962816 140722063664316 140722063664492 140722063664492 140722063667151 0
[pid=19684/tid=19693] ppid=19683 vsize=13269256 CPUtime=0.42 cores=0,2,4,6,8,10,12,14
/proc/19684/task/19693/stat : 19693 (java) S 19683 19683 7102 0 -1 1077944384 246 0 0 0 19 23 0 0 20 0 20 0 4923436 13587718144 341572 33554432000 4194304 4196468 140722063657216 140426979212176 140427053401813 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28962816 140722063664316 140722063664492 140722063664492 140722063667151 0
[pid=19684/tid=19694] ppid=19683 vsize=13269256 CPUtime=0.41 cores=0,2,4,6,8,10,12,14
/proc/19684/task/19694/stat : 19694 (java) S 19683 19683 7102 0 -1 1077944384 183 0 0 0 18 23 0 0 20 0 20 0 4923436 13587718144 341572 33554432000 4194304 4196468 140722063657216 140426978159376 140427053401813 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 28962816 140722063664316 140722063664492 140722063664492 140722063667151 0
[pid=19684/tid=19695] ppid=19683 vsize=13269256 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/19684/task/19695/stat : 19695 (java) S 19683 19683 7102 0 -1 1077944384 1051 0 0 0 1 0 0 0 20 0 20 0 4923438 13587718144 341572 33554432000 4194304 4196468 140722063657216 140426515528048 140427053402754 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28962816 140722063664316 140722063664492 140722063664492 140722063667151 0
[pid=19684/tid=19696] ppid=19683 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19684/task/19696/stat : 19696 (java) S 19683 19683 7102 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 4923439 13587718144 341572 33554432000 4194304 4196468 140722063657216 140426514474080 140427053401813 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 28962816 140722063664316 140722063664492 140722063664492 140722063667151 0
[pid=19684/tid=19697] ppid=19683 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19684/task/19697/stat : 19697 (java) S 19683 19683 7102 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 20 0 4923439 13587718144 341572 33554432000 4194304 4196468 140722063657216 140426513421184 140427053401813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28962816 140722063664316 140722063664492 140722063664492 140722063667151 0
[pid=19684/tid=19698] ppid=19683 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19684/task/19698/stat : 19698 (java) S 19683 19683 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4923443 13587718144 341572 33554432000 4194304 4196468 140722063657216 140426512369488 140427053410203 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 28962816 140722063664316 140722063664492 140722063664492 140722063667151 0
[pid=19684/tid=19699] ppid=19683 vsize=13269256 CPUtime=0.62 cores=0,2,4,6,8,10,12,14
/proc/19684/task/19699/stat : 19699 (java) S 19683 19683 7102 0 -1 1077944384 1446 0 0 0 62 0 0 0 20 0 20 0 4923443 13587718144 341572 33554432000 4194304 4196468 140722063657216 140426511317872 140427053402754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28962816 140722063664316 140722063664492 140722063664492 140722063667151 0
[pid=19684/tid=19700] ppid=19683 vsize=13269256 CPUtime=0.8 cores=0,2,4,6,8,10,12,14
/proc/19684/task/19700/stat : 19700 (java) S 19683 19683 7102 0 -1 1077944384 2038 0 0 0 79 1 0 0 20 0 20 0 4923443 13587718144 341572 33554432000 4194304 4196468 140722063657216 140426510265072 140427053402754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28962816 140722063664316 140722063664492 140722063664492 140722063667151 0
[pid=19684/tid=19701] ppid=19683 vsize=13269256 CPUtime=0.7 cores=0,2,4,6,8,10,12,14
/proc/19684/task/19701/stat : 19701 (java) S 19683 19683 7102 0 -1 1077944384 1640 0 0 0 70 0 0 0 20 0 20 0 4923443 13587718144 341572 33554432000 4194304 4196468 140722063657216 140426509212272 140427053402754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28962816 140722063664316 140722063664492 140722063664492 140722063667151 0
[pid=19684/tid=19702] ppid=19683 vsize=13269256 CPUtime=0.62 cores=0,2,4,6,8,10,12,14
/proc/19684/task/19702/stat : 19702 (java) S 19683 19683 7102 0 -1 1077944384 2337 0 0 0 62 0 0 0 20 0 20 0 4923443 13587718144 341572 33554432000 4194304 4196468 140722063657216 140426508159472 140427053402754 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 13 0 0 6293624 6294260 28962816 140722063664316 140722063664492 140722063664492 140722063667151 0
[pid=19684/tid=19703] ppid=19683 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19684/task/19703/stat : 19703 (java) S 19683 19683 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4923443 13587718144 341572 33554432000 4194304 4196468 140722063657216 140426507106912 140427053401813 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28962816 140722063664316 140722063664492 140722063664492 140722063667151 0
[pid=19684/tid=19704] ppid=19683 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19684/task/19704/stat : 19704 (java) S 19683 19683 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4923443 13587718144 341572 33554432000 4194304 4196468 140722063657216 140426438765104 140427053402754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 13 0 0 6293624 6294260 28962816 140722063664316 140722063664492 140722063664492 140722063667151 0
Current children cumulated CPU time (s) 12.09
Current children cumulated vsize (KiB) 13278768
[startup+6.80146 s]
/proc/loadavg: 10.76 10.60 12.13 21/299 19712
/proc/meminfo: memFree=23932420/32770624 swapFree=5656/336060
[pid=19683] ppid=19680 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19683/stat : 19683 (xcsp3-exec) S 19680 19683 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4923434 9740288 345 33554432000 4194304 5098028 140732258700384 140732258698488 140119084065404 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 33406976 140732258702478 140732258702688 140732258702688 140732258705387 0
/proc/19683/statm: 2378 345 289 221 0 87 0
[pid=19684] ppid=19683 vsize=13801768 CPUtime=14.2 cores=0,2,4,6,8,10,12,14
/proc/19684/stat : 19684 (java) S 19683 19683 7102 0 -1 1077944320 20041 0 0 0 1202 218 0 0 20 0 28 0 4923434 14133010432 342304 33554432000 4194304 4196468 140722063657216 140722063639760 140427053391607 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 28962816 140722063664316 140722063664492 140722063664492 140722063667151 0
/proc/19684/statm: 3450442 342304 3252 1 0 3437675 0
[pid=19684/tid=19685] ppid=19683 vsize=13801768 CPUtime=5.96 cores=0,2,4,6,8,10,12,14
/proc/19684/task/19685/stat : 19685 (java) S 19683 19683 7102 0 -1 1077944384 7377 0 0 0 577 19 0 0 20 0 28 0 4923435 14133010432 342304 33554432000 4194304 4196468 140722063657216 140427057632384 140427053401813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28962816 140722063664316 140722063664492 140722063664492 140722063667151 0
[pid=19684/tid=19687] ppid=19683 vsize=13801768 CPUtime=0.42 cores=0,2,4,6,8,10,12,14
/proc/19684/task/19687/stat : 19687 (java) S 19683 19683 7102 0 -1 1077944384 186 0 0 0 18 24 0 0 20 0 28 0 4923436 14133010432 342304 33554432000 4194304 4196468 140722063657216 140426985527952 140427053401813 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 28962816 140722063664316 140722063664492 140722063664492 140722063667151 0
[pid=19684/tid=19688] ppid=19683 vsize=13801768 CPUtime=0.43 cores=0,2,4,6,8,10,12,14
/proc/19684/task/19688/stat : 19688 (java) S 19683 19683 7102 0 -1 1077944384 190 0 0 0 19 24 0 0 20 0 28 0 4923436 14133010432 342304 33554432000 4194304 4196468 140722063657216 140426984475152 140427053401813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28962816 140722063664316 140722063664492 140722063664492 140722063667151 0
[pid=19684/tid=19689] ppid=19683 vsize=13801768 CPUtime=0.42 cores=0,2,4,6,8,10,12,14
/proc/19684/task/19689/stat : 19689 (java) S 19683 19683 7102 0 -1 1077944384 201 0 0 0 18 24 0 0 20 0 28 0 4923436 14133010432 342304 33554432000 4194304 4196468 140722063657216 140426983422352 140427053401813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28962816 140722063664316 140722063664492 140722063664492 140722063667151 0
[pid=19684/tid=19690] ppid=19683 vsize=13801768 CPUtime=0.42 cores=0,2,4,6,8,10,12,14
/proc/19684/task/19690/stat : 19690 (java) S 19683 19683 7102 0 -1 1077944384 228 0 0 0 19 23 0 0 20 0 28 0 4923436 14133010432 342304 33554432000 4194304 4196468 140722063657216 140426982369552 140427053401813 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 28962816 140722063664316 140722063664492 140722063664492 140722063667151 0
[pid=19684/tid=19691] ppid=19683 vsize=13801768 CPUtime=0.43 cores=0,2,4,6,8,10,12,14
/proc/19684/task/19691/stat : 19691 (java) S 19683 19683 7102 0 -1 1077944384 448 0 0 0 18 25 0 0 20 0 28 0 4923436 14133010432 342304 33554432000 4194304 4196468 140722063657216 140426981317776 140427053401813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28962816 140722063664316 140722063664492 140722063664492 140722063667151 0
[pid=19684/tid=19692] ppid=19683 vsize=13801768 CPUtime=0.42 cores=0,2,4,6,8,10,12,14
/proc/19684/task/19692/stat : 19692 (java) S 19683 19683 7102 0 -1 1077944384 208 0 0 0 20 22 0 0 20 0 28 0 4923436 14133010432 342304 33554432000 4194304 4196468 140722063657216 140426980264976 140427053401813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28962816 140722063664316 140722063664492 140722063664492 140722063667151 0
[pid=19684/tid=19693] ppid=19683 vsize=13801768 CPUtime=0.42 cores=0,2,4,6,8,10,12,14
/proc/19684/task/19693/stat : 19693 (java) S 19683 19683 7102 0 -1 1077944384 246 0 0 0 19 23 0 0 20 0 28 0 4923436 14133010432 342304 33554432000 4194304 4196468 140722063657216 140426979212176 140427053401813 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28962816 140722063664316 140722063664492 140722063664492 140722063667151 0
[pid=19684/tid=19694] ppid=19683 vsize=13801768 CPUtime=0.41 cores=0,2,4,6,8,10,12,14
/proc/19684/task/19694/stat : 19694 (java) S 19683 19683 7102 0 -1 1077944384 183 0 0 0 18 23 0 0 20 0 28 0 4923436 14133010432 342304 33554432000 4194304 4196468 140722063657216 140426978159376 140427053401813 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 28962816 140722063664316 140722063664492 140722063664492 140722063667151 0
[pid=19684/tid=19695] ppid=19683 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/19684/task/19695/stat : 19695 (java) S 19683 19683 7102 0 -1 1077944384 1121 0 0 0 1 0 0 0 20 0 28 0 4923438 14133010432 342304 33554432000 4194304 4196468 140722063657216 140426515528048 140427053402754 0 0 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28962816 140722063664316 140722063664492 140722063664492 140722063667151 0
[pid=19684/tid=19696] ppid=19683 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19684/task/19696/stat : 19696 (java) S 19683 19683 7102 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 4923439 14133010432 342304 33554432000 4194304 4196468 140722063657216 140426514474080 140427053401813 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 28962816 140722063664316 140722063664492 140722063664492 140722063667151 0
[pid=19684/tid=19697] ppid=19683 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19684/task/19697/stat : 19697 (java) S 19683 19683 7102 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 28 0 4923439 14133010432 342304 33554432000 4194304 4196468 140722063657216 140426513421184 140427053401813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28962816 140722063664316 140722063664492 140722063664492 140722063667151 0
[pid=19684/tid=19698] ppid=19683 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19684/task/19698/stat : 19698 (java) S 19683 19683 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4923443 14133010432 342304 33554432000 4194304 4196468 140722063657216 140426512369488 140427053410203 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 28962816 140722063664316 140722063664492 140722063664492 140722063667151 0
[pid=19684/tid=19699] ppid=19683 vsize=13801768 CPUtime=0.88 cores=0,2,4,6,8,10,12,14
/proc/19684/task/19699/stat : 19699 (java) R 19683 19683 7102 0 -1 4202560 1569 0 0 0 88 0 0 0 20 0 28 0 4923443 14133010432 342304 33554432000 4194304 4196468 140722063657216 140426511311064 140427037631808 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28962816 140722063664316 140722063664492 140722063664492 140722063667151 0
[pid=19684/tid=19700] ppid=19683 vsize=13801768 CPUtime=0.99 cores=0,2,4,6,8,10,12,14
/proc/19684/task/19700/stat : 19700 (java) R 19683 19683 7102 0 -1 4202560 2123 0 0 0 98 1 0 0 20 0 28 0 4923443 14133010432 342304 33554432000 4194304 4196468 140722063657216 140426510251616 140427034914361 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28962816 140722063664316 140722063664492 140722063664492 140722063667151 0
[pid=19684/tid=19701] ppid=19683 vsize=13801768 CPUtime=0.94 cores=0,2,4,6,8,10,12,14
/proc/19684/task/19701/stat : 19701 (java) R 19683 19683 7102 0 -1 4202560 1709 0 0 0 94 0 0 0 20 0 28 0 4923443 14133010432 342304 33554432000 4194304 4196468 140722063657216 140426509202752 140427036888441 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 28962816 140722063664316 140722063664492 140722063664492 140722063667151 0
[pid=19684/tid=19702] ppid=19683 vsize=13801768 CPUtime=0.76 cores=0,2,4,6,8,10,12,14
/proc/19684/task/19702/stat : 19702 (java) S 19683 19683 7102 0 -1 1077944384 2526 0 0 0 76 0 0 0 20 0 28 0 4923443 14133010432 342304 33554432000 4194304 4196468 140722063657216 140426508159472 140427053402754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 13 0 0 6293624 6294260 28962816 140722063664316 140722063664492 140722063664492 140722063667151 0
[pid=19684/tid=19703] ppid=19683 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19684/task/19703/stat : 19703 (java) S 19683 19683 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4923443 14133010432 342304 33554432000 4194304 4196468 140722063657216 140426507106912 140427053401813 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28962816 140722063664316 140722063664492 140722063664492 140722063667151 0
[pid=19684/tid=19704] ppid=19683 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19684/task/19704/stat : 19704 (java) S 19683 19683 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4923443 14133010432 342304 33554432000 4194304 4196468 140722063657216 140426438765104 140427053402754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 13 0 0 6293624 6294260 28962816 140722063664316 140722063664492 140722063664492 140722063667151 0
[pid=19684/tid=19705] ppid=19683 vsize=13801768 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/19684/task/19705/stat : 19705 (java) R 19683 19683 7102 0 -1 4202560 87 0 0 0 14 0 0 0 20 0 28 0 4924089 14133010432 342304 33554432000 4194304 4196468 140722063657216 140426430749960 140426664041893 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28962816 140722063664316 140722063664492 140722063664492 140722063667151 0
[pid=19684/tid=19706] ppid=19683 vsize=13801768 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/19684/task/19706/stat : 19706 (java) R 19683 19683 7102 0 -1 4202560 52 0 0 0 12 0 0 0 20 0 28 0 4924089 14133010432 342304 33554432000 4194304 4196468 140722063657216 140426429693888 140426663551522 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 28962816 140722063664316 140722063664492 140722063664492 140722063667151 0
[pid=19684/tid=19707] ppid=19683 vsize=13801768 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/19684/task/19707/stat : 19707 (java) R 19683 19683 7102 0 -1 4202560 40 0 0 0 12 0 0 0 20 0 28 0 4924089 14133010432 342304 33554432000 4194304 4196468 140722063657216 140426428632560 140426664063006 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28962816 140722063664316 140722063664492 140722063664492 140722063667151 0
[pid=19684/tid=19708] ppid=19683 vsize=13801768 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/19684/task/19708/stat : 19708 (java) R 19683 19683 7102 0 -1 4202560 39 0 0 0 10 0 0 0 20 0 28 0 4924089 14133010432 342304 33554432000 4194304 4196468 140722063657216 140426427592640 140427053403542 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 28962816 140722063664316 140722063664492 140722063664492 140722063667151 0
[pid=19684/tid=19709] ppid=19683 vsize=13801768 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/19684/task/19709/stat : 19709 (java) R 19683 19683 7102 0 -1 4202560 71 0 0 0 10 0 0 0 20 0 28 0 4924089 14133010432 342304 33554432000 4194304 4196468 140722063657216 140426426542264 140426664041780 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28962816 140722063664316 140722063664492 140722063664492 140722063667151 0
[pid=19684/tid=19710] ppid=19683 vsize=13801768 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/19684/task/19710/stat : 19710 (java) R 19683 19683 7102 0 -1 4202560 45 0 0 0 12 0 0 0 20 0 28 0 4924089 14133010432 342304 33554432000 4194304 4196468 140722063657216 140426425490024 140426664041557 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 28962816 140722063664316 140722063664492 140722063664492 140722063667151 0
[pid=19684/tid=19711] ppid=19683 vsize=13801768 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/19684/task/19711/stat : 19711 (java) R 19683 19683 7102 0 -1 4202560 54 0 0 0 21 0 0 0 20 0 28 0 4924089 14133010432 342304 33554432000 4194304 4196468 140722063657216 140426424434408 140426664041952 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28962816 140722063664316 140722063664492 140722063664492 140722063667151 0
[pid=19684/tid=19712] ppid=19683 vsize=13801768 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/19684/task/19712/stat : 19712 (java) R 19683 19683 7102 0 -1 4202560 36 0 0 0 17 0 0 0 20 0 28 0 4924089 14133010432 342304 33554432000 4194304 4196468 140722063657216 140426423381608 140426664042145 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 28962816 140722063664316 140722063664492 140722063664492 140722063667151 0
Current children cumulated CPU time (s) 14.2
Current children cumulated vsize (KiB) 13811280
[startup+6.90156 s]
/proc/loadavg: 10.76 10.60 12.13 21/299 19712
/proc/meminfo: memFree=23932420/32770624 swapFree=5656/336060
[pid=19683] ppid=19680 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19683/stat : 19683 (xcsp3-exec) S 19680 19683 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4923434 9740288 345 33554432000 4194304 5098028 140732258700384 140732258698488 140119084065404 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 33406976 140732258702478 140732258702688 140732258702688 140732258705387 0
/proc/19683/statm: 2378 345 289 221 0 87 0
[pid=19684] ppid=19683 vsize=13801768 CPUtime=15 cores=0,2,4,6,8,10,12,14
/proc/19684/stat : 19684 (java) S 19683 19683 7102 0 -1 1077944320 20285 0 0 0 1282 218 0 0 20 0 28 0 4923434 14133010432 342481 33554432000 4194304 4196468 140722063657216 140722063639760 140427053391607 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 28962816 140722063664316 140722063664492 140722063664492 140722063667151 0
/proc/19684/statm: 3450442 342481 3252 1 0 3437675 0
[pid=19684/tid=19685] ppid=19683 vsize=13801768 CPUtime=5.96 cores=0,2,4,6,8,10,12,14
/proc/19684/task/19685/stat : 19685 (java) S 19683 19683 7102 0 -1 1077944384 7377 0 0 0 577 19 0 0 20 0 28 0 4923435 14133010432 342481 33554432000 4194304 4196468 140722063657216 140427057632384 140427053401813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28962816 140722063664316 140722063664492 140722063664492 140722063667151 0
[pid=19684/tid=19687] ppid=19683 vsize=13801768 CPUtime=0.42 cores=0,2,4,6,8,10,12,14
/proc/19684/task/19687/stat : 19687 (java) S 19683 19683 7102 0 -1 1077944384 186 0 0 0 18 24 0 0 20 0 28 0 4923436 14133010432 342481 33554432000 4194304 4196468 140722063657216 140426985527952 140427053401813 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 28962816 140722063664316 140722063664492 140722063664492 140722063667151 0
[pid=19684/tid=19688] ppid=19683 vsize=13801768 CPUtime=0.43 cores=0,2,4,6,8,10,12,14
/proc/19684/task/19688/stat : 19688 (java) S 19683 19683 7102 0 -1 1077944384 190 0 0 0 19 24 0 0 20 0 28 0 4923436 14133010432 342481 33554432000 4194304 4196468 140722063657216 140426984475152 140427053401813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28962816 140722063664316 140722063664492 140722063664492 140722063667151 0
[pid=19684/tid=19689] ppid=19683 vsize=13801768 CPUtime=0.42 cores=0,2,4,6,8,10,12,14
/proc/19684/task/19689/stat : 19689 (java) S 19683 19683 7102 0 -1 1077944384 201 0 0 0 18 24 0 0 20 0 28 0 4923436 14133010432 342481 33554432000 4194304 4196468 140722063657216 140426983422352 140427053401813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28962816 140722063664316 140722063664492 140722063664492 140722063667151 0
[pid=19684/tid=19690] ppid=19683 vsize=13801768 CPUtime=0.42 cores=0,2,4,6,8,10,12,14
/proc/19684/task/19690/stat : 19690 (java) S 19683 19683 7102 0 -1 1077944384 228 0 0 0 19 23 0 0 20 0 28 0 4923436 14133010432 342481 33554432000 4194304 4196468 140722063657216 140426982369552 140427053401813 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 28962816 140722063664316 140722063664492 140722063664492 140722063667151 0
[pid=19684/tid=19691] ppid=19683 vsize=13801768 CPUtime=0.43 cores=0,2,4,6,8,10,12,14
/proc/19684/task/19691/stat : 19691 (java) S 19683 19683 7102 0 -1 1077944384 448 0 0 0 18 25 0 0 20 0 28 0 4923436 14133010432 342481 33554432000 4194304 4196468 140722063657216 140426981317776 140427053401813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28962816 140722063664316 140722063664492 140722063664492 140722063667151 0
[pid=19684/tid=19692] ppid=19683 vsize=13801768 CPUtime=0.42 cores=0,2,4,6,8,10,12,14
/proc/19684/task/19692/stat : 19692 (java) S 19683 19683 7102 0 -1 1077944384 208 0 0 0 20 22 0 0 20 0 28 0 4923436 14133010432 342481 33554432000 4194304 4196468 140722063657216 140426980264976 140427053401813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28962816 140722063664316 140722063664492 140722063664492 140722063667151 0
[pid=19684/tid=19693] ppid=19683 vsize=13801768 CPUtime=0.42 cores=0,2,4,6,8,10,12,14
/proc/19684/task/19693/stat : 19693 (java) S 19683 19683 7102 0 -1 1077944384 246 0 0 0 19 23 0 0 20 0 28 0 4923436 14133010432 342481 33554432000 4194304 4196468 140722063657216 140426979212176 140427053401813 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28962816 140722063664316 140722063664492 140722063664492 140722063667151 0
[pid=19684/tid=19694] ppid=19683 vsize=13801768 CPUtime=0.41 cores=0,2,4,6,8,10,12,14
/proc/19684/task/19694/stat : 19694 (java) S 19683 19683 7102 0 -1 1077944384 183 0 0 0 18 23 0 0 20 0 28 0 4923436 14133010432 342481 33554432000 4194304 4196468 140722063657216 140426978159376 140427053401813 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 28962816 140722063664316 140722063664492 140722063664492 140722063667151 0
[pid=19684/tid=19695] ppid=19683 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/19684/task/19695/stat : 19695 (java) S 19683 19683 7102 0 -1 1077944384 1121 0 0 0 1 0 0 0 20 0 28 0 4923438 14133010432 342481 33554432000 4194304 4196468 140722063657216 140426515528048 140427053402754 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28962816 140722063664316 140722063664492 140722063664492 140722063667151 0
[pid=19684/tid=19696] ppid=19683 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19684/task/19696/stat : 19696 (java) S 19683 19683 7102 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 4923439 14133010432 342481 33554432000 4194304 4196468 140722063657216 140426514474080 140427053401813 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 28962816 140722063664316 140722063664492 140722063664492 140722063667151 0
[pid=19684/tid=19697] ppid=19683 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19684/task/19697/stat : 19697 (java) S 19683 19683 7102 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 28 0 4923439 14133010432 342481 33554432000 4194304 4196468 140722063657216 140426513421184 140427053401813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28962816 140722063664316 140722063664492 140722063664492 140722063667151 0
[pid=19684/tid=19698] ppid=19683 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19684/task/19698/stat : 19698 (java) S 19683 19683 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4923443 14133010432 342481 33554432000 4194304 4196468 140722063657216 140426512369488 140427053410203 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 28962816 140722063664316 140722063664492 140722063664492 140722063667151 0
[pid=19684/tid=19699] ppid=19683 vsize=13801768 CPUtime=0.95 cores=0,2,4,6,8,10,12,14
/proc/19684/task/19699/stat : 19699 (java) R 19683 19683 7102 0 -1 4202560 1649 0 0 0 95 0 0 0 20 0 28 0 4923443 14133010432 342481 33554432000 4194304 4196468 140722063657216 140426511303896 140427038501173 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28962816 140722063664316 140722063664492 140722063664492 140722063667151 0
[pid=19684/tid=19700] ppid=19683 vsize=13801768 CPUtime=1.05 cores=0,2,4,6,8,10,12,14
/proc/19684/task/19700/stat : 19700 (java) R 19683 19683 7102 0 -1 4202560 2124 0 0 0 104 1 0 0 20 0 28 0 4923443 14133010432 342481 33554432000 4194304 4196468 140722063657216 140426510251616 140427031807784 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28962816 140722063664316 140722063664492 140722063664492 140722063667151 0
[pid=19684/tid=19701] ppid=19683 vsize=13801768 CPUtime=1.04 cores=0,2,4,6,8,10,12,14
/proc/19684/task/19701/stat : 19701 (java) R 19683 19683 7102 0 -1 4202560 1805 0 0 0 104 0 0 0 20 0 28 0 4923443 14133010432 342481 33554432000 4194304 4196468 140722063657216 140426509198296 140427034911068 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 28962816 140722063664316 140722063664492 140722063664492 140722063667151 0
[pid=19684/tid=19702] ppid=19683 vsize=13801768 CPUtime=0.8 cores=0,2,4,6,8,10,12,14
/proc/19684/task/19702/stat : 19702 (java) R 19683 19683 7102 0 -1 4202560 2569 0 0 0 80 0 0 0 20 0 28 0 4923443 14133010432 342481 33554432000 4194304 4196468 140722063657216 140426508159472 140427032525504 0 4 0 16800975 0 0 0 -1 0 0 0 13 0 0 6293624 6294260 28962816 140722063664316 140722063664492 140722063664492 140722063667151 0
[pid=19684/tid=19703] ppid=19683 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19684/task/19703/stat : 19703 (java) S 19683 19683 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4923443 14133010432 342481 33554432000 4194304 4196468 140722063657216 140426507106912 140427053401813 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28962816 140722063664316 140722063664492 140722063664492 140722063667151 0
[pid=19684/tid=19704] ppid=19683 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19684/task/19704/stat : 19704 (java) S 19683 19683 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4923443 14133010432 342481 33554432000 4194304 4196468 140722063657216 140426438765104 140427053402754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 13 0 0 6293624 6294260 28962816 140722063664316 140722063664492 140722063664492 140722063667151 0
[pid=19684/tid=19705] ppid=19683 vsize=13801768 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/19684/task/19705/stat : 19705 (java) R 19683 19683 7102 0 -1 4202560 92 0 0 0 21 0 0 0 20 0 28 0 4924089 14133010432 342481 33554432000 4194304 4196468 140722063657216 140426430749368 140426664041874 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 28962816 140722063664316 140722063664492 140722063664492 140722063667151 0
[pid=19684/tid=19706] ppid=19683 vsize=13801768 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/19684/task/19706/stat : 19706 (java) R 19683 19683 7102 0 -1 4202560 52 0 0 0 19 0 0 0 20 0 28 0 4924089 14133010432 342481 33554432000 4194304 4196468 140722063657216 140426429699704 140426663686467 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 28962816 140722063664316 140722063664492 140722063664492 140722063667151 0
[pid=19684/tid=19707] ppid=19683 vsize=13801768 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/19684/task/19707/stat : 19707 (java) R 19683 19683 7102 0 -1 4202560 40 0 0 0 16 0 0 0 20 0 28 0 4924089 14133010432 342481 33554432000 4194304 4196468 140722063657216 140426428647928 140426663974124 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 28962816 140722063664316 140722063664492 140722063664492 140722063667151 0
[pid=19684/tid=19708] ppid=19683 vsize=13801768 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/19684/task/19708/stat : 19708 (java) R 19683 19683 7102 0 -1 4202560 39 0 0 0 18 0 0 0 20 0 28 0 4924089 14133010432 342481 33554432000 4194304 4196468 140722063657216 140426427595656 140426664041909 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28962816 140722063664316 140722063664492 140722063664492 140722063667151 0
[pid=19684/tid=19709] ppid=19683 vsize=13801768 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/19684/task/19709/stat : 19709 (java) R 19683 19683 7102 0 -1 4202560 71 0 0 0 14 0 0 0 20 0 28 0 4924089 14133010432 342481 33554432000 4194304 4196468 140722063657216 140426426540088 140426663709460 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 28962816 140722063664316 140722063664492 140722063664492 140722063667151 0
[pid=19684/tid=19710] ppid=19683 vsize=13801768 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/19684/task/19710/stat : 19710 (java) R 19683 19683 7102 0 -1 4202560 59 0 0 0 20 0 0 0 20 0 28 0 4924089 14133010432 342481 33554432000 4194304 4196468 140722063657216 140426425490168 140426663489884 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28962816 140722063664316 140722063664492 140722063664492 140722063667151 0
[pid=19684/tid=19711] ppid=19683 vsize=13801768 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/19684/task/19711/stat : 19711 (java) R 19683 19683 7102 0 -1 4202560 59 0 0 0 26 0 0 0 20 0 28 0 4924089 14133010432 342481 33554432000 4194304 4196468 140722063657216 140426424436896 140426663702689 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28962816 140722063664316 140722063664492 140722063664492 140722063667151 0
[pid=19684/tid=19712] ppid=19683 vsize=13801768 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/19684/task/19712/stat : 19712 (java) R 19683 19683 7102 0 -1 4202560 36 0 0 0 27 0 0 0 20 0 28 0 4924089 14133010432 342481 33554432000 4194304 4196468 140722063657216 140426423381848 140426664043128 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 28962816 140722063664316 140722063664492 140722063664492 140722063667151 0
Current children cumulated CPU time (s) 15
Current children cumulated vsize (KiB) 13811280
Child status: 0
Real time (s): 6.93946
CPU time (s): 15.1479
CPU user time (s): 12.9501
CPU system time (s): 2.19788
CPU usage (%): 218.287
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.9501
system time used= 2.19788
maximum resident set size= 1371420
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20896
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= 4509
involuntary context switches= 1206
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.067351 second user time and 0.0742 second system time
The end