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-4249399-1500694692/watcher-4249399-1500694692 -o /tmp/evaluation-result-4249399-1500694692/solver-4249399-1500694692 -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 1929141109 HOME/instance-4249399-1500694692.xml
pid=30592
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: 15.98 15.51 13.94 10/271 30595
/proc/meminfo: memFree=31158088/32770624 swapFree=5860/289468
[pid=30595] ppid=30592 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30595/stat : 30595 (xcsp3-exec) S 30592 30595 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4736633 9740288 345 33554432000 4194304 5098028 140732283268000 140732283266104 139797575172732 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 40312832 140732283270286 140732283270496 140732283270496 140732283273195 0
/proc/30595/statm: 2378 345 289 221 0 87 0
[startup+0.100135 s]
/proc/loadavg: 15.98 15.51 13.94 10/271 30595
/proc/meminfo: memFree=31158088/32770624 swapFree=5860/289468
[pid=30595] ppid=30592 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30595/stat : 30595 (xcsp3-exec) S 30592 30595 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4736633 9740288 345 33554432000 4194304 5098028 140732283268000 140732283266104 139797575172732 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 40312832 140732283270286 140732283270496 140732283270496 140732283273195 0
/proc/30595/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200275 s]
/proc/loadavg: 15.98 15.51 13.94 10/271 30595
/proc/meminfo: memFree=31158088/32770624 swapFree=5860/289468
[pid=30595] ppid=30592 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30595/stat : 30595 (xcsp3-exec) S 30592 30595 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4736633 9740288 345 33554432000 4194304 5098028 140732283268000 140732283266104 139797575172732 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 40312832 140732283270286 140732283270496 140732283270496 140732283273195 0
/proc/30595/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300343 s]
/proc/loadavg: 15.98 15.51 13.94 10/271 30595
/proc/meminfo: memFree=31158088/32770624 swapFree=5860/289468
[pid=30595] ppid=30592 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30595/stat : 30595 (xcsp3-exec) S 30592 30595 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4736633 9740288 345 33554432000 4194304 5098028 140732283268000 140732283266104 139797575172732 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 40312832 140732283270286 140732283270496 140732283270496 140732283273195 0
/proc/30595/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700183 s]
/proc/loadavg: 15.98 15.51 13.94 10/271 30595
/proc/meminfo: memFree=31158088/32770624 swapFree=5860/289468
[pid=30595] ppid=30592 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30595/stat : 30595 (xcsp3-exec) S 30592 30595 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4736633 9740288 345 33554432000 4194304 5098028 140732283268000 140732283266104 139797575172732 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 40312832 140732283270286 140732283270496 140732283270496 140732283273195 0
/proc/30595/statm: 2378 345 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.98 15.51 13.94 11/292 30616
/proc/meminfo: memFree=30966372/32770624 swapFree=5860/290096
[pid=30595] ppid=30592 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30595/stat : 30595 (xcsp3-exec) S 30592 30595 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4736633 9740288 345 33554432000 4194304 5098028 140732283268000 140732283266104 139797575172732 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 40312832 140732283270286 140732283270496 140732283270496 140732283273195 0
/proc/30595/statm: 2378 345 289 221 0 87 0
[pid=30596] ppid=30595 vsize=13267208 CPUtime=2.81 cores=0,2,4,6,8,10,12,14
/proc/30596/stat : 30596 (java) S 30595 30595 7411 0 -1 1077944320 13020 0 0 0 268 13 0 0 20 0 20 0 4736634 13585620992 51483 33554432000 4194304 4196468 140721970527104 140721970509648 140176184983287 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 22142976 140721970533564 140721970533740 140721970533740 140721970536399 0
/proc/30596/statm: 3316802 51483 3212 1 0 3304035 0
[pid=30596/tid=30597] ppid=30595 vsize=13267208 CPUtime=1.45 cores=0,2,4,6,8,10,12,14
/proc/30596/task/30597/stat : 30597 (java) R 30595 30595 7411 0 -1 4202560 6455 0 0 0 141 4 0 0 20 0 20 0 4736634 13585620992 51483 33554432000 4194304 4196468 140721970527104 140176189221432 140176167390301 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22142976 140721970533564 140721970533740 140721970533740 140721970536399 0
[pid=30596/tid=30599] ppid=30595 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30596/task/30599/stat : 30599 (java) S 30595 30595 7411 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 20 0 4736635 13585620992 51483 33554432000 4194304 4196468 140721970527104 140176123947664 140176184993493 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 22142976 140721970533564 140721970533740 140721970533740 140721970536399 0
[pid=30596/tid=30600] ppid=30595 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30596/task/30600/stat : 30600 (java) S 30595 30595 7411 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 20 0 4736635 13585620992 51483 33554432000 4194304 4196468 140721970527104 140175783451152 140176184993493 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 22142976 140721970533564 140721970533740 140721970533740 140721970536399 0
[pid=30596/tid=30601] ppid=30595 vsize=13267208 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/30596/task/30601/stat : 30601 (java) S 30595 30595 7411 0 -1 1077944384 12 0 0 0 0 1 0 0 20 0 20 0 4736635 13585620992 51483 33554432000 4194304 4196468 140721970527104 140175782398352 140176184993493 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 22142976 140721970533564 140721970533740 140721970533740 140721970536399 0
[pid=30596/tid=30602] ppid=30595 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30596/task/30602/stat : 30602 (java) S 30595 30595 7411 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 20 0 4736635 13585620992 51483 33554432000 4194304 4196468 140721970527104 140175781345552 140176184993493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22142976 140721970533564 140721970533740 140721970533740 140721970536399 0
[pid=30596/tid=30603] ppid=30595 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30596/task/30603/stat : 30603 (java) S 30595 30595 7411 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 20 0 4736635 13585620992 51483 33554432000 4194304 4196468 140721970527104 140175780293776 140176184993493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22142976 140721970533564 140721970533740 140721970533740 140721970536399 0
[pid=30596/tid=30604] ppid=30595 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30596/task/30604/stat : 30604 (java) S 30595 30595 7411 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 20 0 4736635 13585620992 51483 33554432000 4194304 4196468 140721970527104 140175779240976 140176184993493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22142976 140721970533564 140721970533740 140721970533740 140721970536399 0
[pid=30596/tid=30605] ppid=30595 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30596/task/30605/stat : 30605 (java) S 30595 30595 7411 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 20 0 4736635 13585620992 51483 33554432000 4194304 4196468 140721970527104 140175778188176 140176184993493 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 22142976 140721970533564 140721970533740 140721970533740 140721970536399 0
[pid=30596/tid=30606] ppid=30595 vsize=13267208 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/30596/task/30606/stat : 30606 (java) S 30595 30595 7411 0 -1 1077944384 9 0 0 0 0 1 0 0 20 0 20 0 4736635 13585620992 51483 33554432000 4194304 4196468 140721970527104 140175777135376 140176184993493 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 22142976 140721970533564 140721970533740 140721970533740 140721970536399 0
[pid=30596/tid=30607] ppid=30595 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30596/task/30607/stat : 30607 (java) S 30595 30595 7411 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 20 0 4736637 13585620992 51483 33554432000 4194304 4196468 140721970527104 140175378188656 140176184994434 0 0 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 22142976 140721970533564 140721970533740 140721970533740 140721970536399 0
[pid=30596/tid=30608] ppid=30595 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30596/task/30608/stat : 30608 (java) S 30595 30595 7411 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 4736638 13585620992 51483 33554432000 4194304 4196468 140721970527104 140175377134624 140176184993493 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 22142976 140721970533564 140721970533740 140721970533740 140721970536399 0
[pid=30596/tid=30609] ppid=30595 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30596/task/30609/stat : 30609 (java) S 30595 30595 7411 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 4736638 13585620992 51483 33554432000 4194304 4196468 140721970527104 140175376081776 140176184993493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22142976 140721970533564 140721970533740 140721970533740 140721970536399 0
[pid=30596/tid=30610] ppid=30595 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30596/task/30610/stat : 30610 (java) S 30595 30595 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4736642 13585620992 51483 33554432000 4194304 4196468 140721970527104 140175375030096 140176185001883 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 22142976 140721970533564 140721970533740 140721970533740 140721970536399 0
[pid=30596/tid=30611] ppid=30595 vsize=13267208 CPUtime=0.3 cores=0,2,4,6,8,10,12,14
/proc/30596/task/30611/stat : 30611 (java) S 30595 30595 7411 0 -1 1077944384 1276 0 0 0 30 0 0 0 20 0 20 0 4736642 13585620992 51483 33554432000 4194304 4196468 140721970527104 140175373978480 140176184994434 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22142976 140721970533564 140721970533740 140721970533740 140721970536399 0
[pid=30596/tid=30612] ppid=30595 vsize=13267208 CPUtime=0.32 cores=0,2,4,6,8,10,12,14
/proc/30596/task/30612/stat : 30612 (java) S 30595 30595 7411 0 -1 1077944384 1096 0 0 0 32 0 0 0 20 0 20 0 4736642 13585620992 51483 33554432000 4194304 4196468 140721970527104 140175372925680 140176184994434 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22142976 140721970533564 140721970533740 140721970533740 140721970536399 0
[pid=30596/tid=30613] ppid=30595 vsize=13267208 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/30596/task/30613/stat : 30613 (java) S 30595 30595 7411 0 -1 1077944384 940 0 0 0 26 1 0 0 20 0 20 0 4736642 13585620992 51483 33554432000 4194304 4196468 140721970527104 140175371872880 140176184994434 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 22142976 140721970533564 140721970533740 140721970533740 140721970536399 0
[pid=30596/tid=30614] ppid=30595 vsize=13267208 CPUtime=0.3 cores=0,2,4,6,8,10,12,14
/proc/30596/task/30614/stat : 30614 (java) S 30595 30595 7411 0 -1 1077944384 1788 0 0 0 30 0 0 0 20 0 20 0 4736642 13585620992 51483 33554432000 4194304 4196468 140721970527104 140175370820080 140176184994434 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 22142976 140721970533564 140721970533740 140721970533740 140721970536399 0
[pid=30596/tid=30615] ppid=30595 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30596/task/30615/stat : 30615 (java) S 30595 30595 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4736642 13585620992 51483 33554432000 4194304 4196468 140721970527104 140175369767520 140176184993493 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 22142976 140721970533564 140721970533740 140721970533740 140721970536399 0
[pid=30596/tid=30616] ppid=30595 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30596/task/30616/stat : 30616 (java) S 30595 30595 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4736643 13585620992 51483 33554432000 4194304 4196468 140721970527104 140175368714800 140176184994434 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22142976 140721970533564 140721970533740 140721970533740 140721970536399 0
Current children cumulated CPU time (s) 2.81
Current children cumulated vsize (KiB) 13276720
[startup+3.10099 s]
/proc/loadavg: 15.98 15.51 13.94 10/292 30616
/proc/meminfo: memFree=30939564/32770624 swapFree=5860/290092
[pid=30595] ppid=30592 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30595/stat : 30595 (xcsp3-exec) S 30592 30595 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4736633 9740288 345 33554432000 4194304 5098028 140732283268000 140732283266104 139797575172732 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 40312832 140732283270286 140732283270496 140732283270496 140732283273195 0
/proc/30595/statm: 2378 345 289 221 0 87 0
[pid=30596] ppid=30595 vsize=13269256 CPUtime=4.8 cores=0,2,4,6,8,10,12,14
/proc/30596/stat : 30596 (java) S 30595 30595 7411 0 -1 1077944320 13712 0 0 0 462 18 0 0 20 0 20 0 4736634 13587718144 57973 33554432000 4194304 4196468 140721970527104 140721970509648 140176184983287 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 22142976 140721970533564 140721970533740 140721970533740 140721970536399 0
/proc/30596/statm: 3317314 57973 3220 1 0 3304547 0
[pid=30596/tid=30597] ppid=30595 vsize=13269256 CPUtime=3.03 cores=0,2,4,6,8,10,12,14
/proc/30596/task/30597/stat : 30597 (java) R 30595 30595 7411 0 -1 4202560 6586 0 0 0 299 4 0 0 20 0 20 0 4736634 13587718144 57973 33554432000 4194304 4196468 140721970527104 140176189220824 140175808010209 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22142976 140721970533564 140721970533740 140721970533740 140721970536399 0
[pid=30596/tid=30599] ppid=30595 vsize=13269256 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/30596/task/30599/stat : 30599 (java) S 30595 30595 7411 0 -1 1077944384 64 0 0 0 1 1 0 0 20 0 20 0 4736635 13587718144 57973 33554432000 4194304 4196468 140721970527104 140176123947664 140176184993493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22142976 140721970533564 140721970533740 140721970533740 140721970536399 0
[pid=30596/tid=30600] ppid=30595 vsize=13269256 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/30596/task/30600/stat : 30600 (java) S 30595 30595 7411 0 -1 1077944384 61 0 0 0 1 1 0 0 20 0 20 0 4736635 13587718144 57973 33554432000 4194304 4196468 140721970527104 140175783451152 140176184993493 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 22142976 140721970533564 140721970533740 140721970533740 140721970536399 0
[pid=30596/tid=30601] ppid=30595 vsize=13269256 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/30596/task/30601/stat : 30601 (java) S 30595 30595 7411 0 -1 1077944384 66 0 0 0 1 1 0 0 20 0 20 0 4736635 13587718144 57973 33554432000 4194304 4196468 140721970527104 140175782398352 140176184993493 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 22142976 140721970533564 140721970533740 140721970533740 140721970536399 0
[pid=30596/tid=30602] ppid=30595 vsize=13269256 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/30596/task/30602/stat : 30602 (java) S 30595 30595 7411 0 -1 1077944384 22 0 0 0 1 1 0 0 20 0 20 0 4736635 13587718144 57973 33554432000 4194304 4196468 140721970527104 140175781345552 140176184993493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22142976 140721970533564 140721970533740 140721970533740 140721970536399 0
[pid=30596/tid=30603] ppid=30595 vsize=13269256 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/30596/task/30603/stat : 30603 (java) S 30595 30595 7411 0 -1 1077944384 73 0 0 0 1 1 0 0 20 0 20 0 4736635 13587718144 57973 33554432000 4194304 4196468 140721970527104 140175780293776 140176184993493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22142976 140721970533564 140721970533740 140721970533740 140721970536399 0
[pid=30596/tid=30604] ppid=30595 vsize=13269256 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/30596/task/30604/stat : 30604 (java) S 30595 30595 7411 0 -1 1077944384 74 0 0 0 2 1 0 0 20 0 20 0 4736635 13587718144 57973 33554432000 4194304 4196468 140721970527104 140175779240976 140176184993493 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 22142976 140721970533564 140721970533740 140721970533740 140721970536399 0
[pid=30596/tid=30605] ppid=30595 vsize=13269256 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/30596/task/30605/stat : 30605 (java) S 30595 30595 7411 0 -1 1077944384 15 0 0 0 1 0 0 0 20 0 20 0 4736635 13587718144 57973 33554432000 4194304 4196468 140721970527104 140175778188176 140176184993493 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 22142976 140721970533564 140721970533740 140721970533740 140721970536399 0
[pid=30596/tid=30606] ppid=30595 vsize=13269256 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/30596/task/30606/stat : 30606 (java) S 30595 30595 7411 0 -1 1077944384 71 0 0 0 1 1 0 0 20 0 20 0 4736635 13587718144 57973 33554432000 4194304 4196468 140721970527104 140175777135376 140176184993493 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 22142976 140721970533564 140721970533740 140721970533740 140721970536399 0
[pid=30596/tid=30607] ppid=30595 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30596/task/30607/stat : 30607 (java) S 30595 30595 7411 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 20 0 4736637 13587718144 57973 33554432000 4194304 4196468 140721970527104 140175378188656 140176184994434 0 0 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 22142976 140721970533564 140721970533740 140721970533740 140721970536399 0
[pid=30596/tid=30608] ppid=30595 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30596/task/30608/stat : 30608 (java) S 30595 30595 7411 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 4736638 13587718144 57973 33554432000 4194304 4196468 140721970527104 140175377134688 140176184993493 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 22142976 140721970533564 140721970533740 140721970533740 140721970536399 0
[pid=30596/tid=30609] ppid=30595 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30596/task/30609/stat : 30609 (java) S 30595 30595 7411 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 4736638 13587718144 57973 33554432000 4194304 4196468 140721970527104 140175376081792 140176184993493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22142976 140721970533564 140721970533740 140721970533740 140721970536399 0
[pid=30596/tid=30610] ppid=30595 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30596/task/30610/stat : 30610 (java) S 30595 30595 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4736642 13587718144 57973 33554432000 4194304 4196468 140721970527104 140175375030096 140176185001883 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 22142976 140721970533564 140721970533740 140721970533740 140721970536399 0
[pid=30596/tid=30611] ppid=30595 vsize=13269256 CPUtime=0.38 cores=0,2,4,6,8,10,12,14
/proc/30596/task/30611/stat : 30611 (java) S 30595 30595 7411 0 -1 1077944384 1297 0 0 0 38 0 0 0 20 0 20 0 4736642 13587718144 57973 33554432000 4194304 4196468 140721970527104 140175373978480 140176184994434 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22142976 140721970533564 140721970533740 140721970533740 140721970536399 0
[pid=30596/tid=30612] ppid=30595 vsize=13269256 CPUtime=0.4 cores=0,2,4,6,8,10,12,14
/proc/30596/task/30612/stat : 30612 (java) S 30595 30595 7411 0 -1 1077944384 1115 0 0 0 40 0 0 0 20 0 20 0 4736642 13587718144 57973 33554432000 4194304 4196468 140721970527104 140175372925680 140176184994434 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 22142976 140721970533564 140721970533740 140721970533740 140721970536399 0
[pid=30596/tid=30613] ppid=30595 vsize=13269256 CPUtime=0.34 cores=0,2,4,6,8,10,12,14
/proc/30596/task/30613/stat : 30613 (java) S 30595 30595 7411 0 -1 1077944384 960 0 0 0 33 1 0 0 20 0 20 0 4736642 13587718144 57973 33554432000 4194304 4196468 140721970527104 140175371872880 140176184994434 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22142976 140721970533564 140721970533740 140721970533740 140721970536399 0
[pid=30596/tid=30614] ppid=30595 vsize=13269256 CPUtime=0.36 cores=0,2,4,6,8,10,12,14
/proc/30596/task/30614/stat : 30614 (java) S 30595 30595 7411 0 -1 1077944384 1897 0 0 0 36 0 0 0 20 0 20 0 4736642 13587718144 57973 33554432000 4194304 4196468 140721970527104 140175370820080 140176184994434 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 22142976 140721970533564 140721970533740 140721970533740 140721970536399 0
[pid=30596/tid=30615] ppid=30595 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30596/task/30615/stat : 30615 (java) S 30595 30595 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4736642 13587718144 57973 33554432000 4194304 4196468 140721970527104 140175369767520 140176184993493 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 22142976 140721970533564 140721970533740 140721970533740 140721970536399 0
[pid=30596/tid=30616] ppid=30595 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30596/task/30616/stat : 30616 (java) S 30595 30595 7411 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 4736643 13587718144 57973 33554432000 4194304 4196468 140721970527104 140175368714800 140176184994434 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22142976 140721970533564 140721970533740 140721970533740 140721970536399 0
Current children cumulated CPU time (s) 4.8
Current children cumulated vsize (KiB) 13278768
[startup+6.30103 s]
/proc/loadavg: 15.42 15.40 13.91 10/292 30616
/proc/meminfo: memFree=30891180/32770624 swapFree=5860/290092
[pid=30595] ppid=30592 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30595/stat : 30595 (xcsp3-exec) S 30592 30595 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4736633 9740288 345 33554432000 4194304 5098028 140732283268000 140732283266104 139797575172732 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 40312832 140732283270286 140732283270496 140732283270496 140732283273195 0
/proc/30595/statm: 2378 345 289 221 0 87 0
[pid=30596] ppid=30595 vsize=13269256 CPUtime=8.04 cores=0,2,4,6,8,10,12,14
/proc/30596/stat : 30596 (java) S 30595 30595 7411 0 -1 1077944320 16215 0 0 0 784 20 0 0 20 0 20 0 4736634 13587718144 79581 33554432000 4194304 4196468 140721970527104 140721970509648 140176184983287 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 22142976 140721970533564 140721970533740 140721970533740 140721970536399 0
/proc/30596/statm: 3317314 79581 3222 1 0 3304547 0
[pid=30596/tid=30597] ppid=30595 vsize=13269256 CPUtime=6.23 cores=0,2,4,6,8,10,12,14
/proc/30596/task/30597/stat : 30597 (java) R 30595 30595 7411 0 -1 4202560 7631 0 0 0 618 5 0 0 20 0 20 0 4736634 13587718144 79581 33554432000 4194304 4196468 140721970527104 140176189220920 140175808063443 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22142976 140721970533564 140721970533740 140721970533740 140721970536399 0
[pid=30596/tid=30599] ppid=30595 vsize=13269256 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/30596/task/30599/stat : 30599 (java) S 30595 30595 7411 0 -1 1077944384 64 0 0 0 1 1 0 0 20 0 20 0 4736635 13587718144 79581 33554432000 4194304 4196468 140721970527104 140176123947664 140176184993493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22142976 140721970533564 140721970533740 140721970533740 140721970536399 0
[pid=30596/tid=30600] ppid=30595 vsize=13269256 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/30596/task/30600/stat : 30600 (java) S 30595 30595 7411 0 -1 1077944384 61 0 0 0 1 1 0 0 20 0 20 0 4736635 13587718144 79581 33554432000 4194304 4196468 140721970527104 140175783451152 140176184993493 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 22142976 140721970533564 140721970533740 140721970533740 140721970536399 0
[pid=30596/tid=30601] ppid=30595 vsize=13269256 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/30596/task/30601/stat : 30601 (java) S 30595 30595 7411 0 -1 1077944384 66 0 0 0 1 1 0 0 20 0 20 0 4736635 13587718144 79581 33554432000 4194304 4196468 140721970527104 140175782398352 140176184993493 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 22142976 140721970533564 140721970533740 140721970533740 140721970536399 0
[pid=30596/tid=30602] ppid=30595 vsize=13269256 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/30596/task/30602/stat : 30602 (java) S 30595 30595 7411 0 -1 1077944384 22 0 0 0 1 1 0 0 20 0 20 0 4736635 13587718144 79581 33554432000 4194304 4196468 140721970527104 140175781345552 140176184993493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22142976 140721970533564 140721970533740 140721970533740 140721970536399 0
[pid=30596/tid=30603] ppid=30595 vsize=13269256 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/30596/task/30603/stat : 30603 (java) S 30595 30595 7411 0 -1 1077944384 73 0 0 0 1 1 0 0 20 0 20 0 4736635 13587718144 79581 33554432000 4194304 4196468 140721970527104 140175780293776 140176184993493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22142976 140721970533564 140721970533740 140721970533740 140721970536399 0
[pid=30596/tid=30604] ppid=30595 vsize=13269256 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/30596/task/30604/stat : 30604 (java) S 30595 30595 7411 0 -1 1077944384 74 0 0 0 2 1 0 0 20 0 20 0 4736635 13587718144 79581 33554432000 4194304 4196468 140721970527104 140175779240976 140176184993493 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 22142976 140721970533564 140721970533740 140721970533740 140721970536399 0
[pid=30596/tid=30605] ppid=30595 vsize=13269256 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/30596/task/30605/stat : 30605 (java) S 30595 30595 7411 0 -1 1077944384 15 0 0 0 1 0 0 0 20 0 20 0 4736635 13587718144 79581 33554432000 4194304 4196468 140721970527104 140175778188176 140176184993493 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 22142976 140721970533564 140721970533740 140721970533740 140721970536399 0
[pid=30596/tid=30606] ppid=30595 vsize=13269256 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/30596/task/30606/stat : 30606 (java) S 30595 30595 7411 0 -1 1077944384 71 0 0 0 1 1 0 0 20 0 20 0 4736635 13587718144 79581 33554432000 4194304 4196468 140721970527104 140175777135376 140176184993493 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 22142976 140721970533564 140721970533740 140721970533740 140721970536399 0
[pid=30596/tid=30607] ppid=30595 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30596/task/30607/stat : 30607 (java) S 30595 30595 7411 0 -1 1077944384 328 0 0 0 0 0 0 0 20 0 20 0 4736637 13587718144 79581 33554432000 4194304 4196468 140721970527104 140175378188656 140176184994434 0 0 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 22142976 140721970533564 140721970533740 140721970533740 140721970536399 0
[pid=30596/tid=30608] ppid=30595 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30596/task/30608/stat : 30608 (java) S 30595 30595 7411 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 4736638 13587718144 79581 33554432000 4194304 4196468 140721970527104 140175377134688 140176184993493 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 22142976 140721970533564 140721970533740 140721970533740 140721970536399 0
[pid=30596/tid=30609] ppid=30595 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30596/task/30609/stat : 30609 (java) S 30595 30595 7411 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 4736638 13587718144 79581 33554432000 4194304 4196468 140721970527104 140175376081792 140176184993493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22142976 140721970533564 140721970533740 140721970533740 140721970536399 0
[pid=30596/tid=30610] ppid=30595 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30596/task/30610/stat : 30610 (java) S 30595 30595 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4736642 13587718144 79581 33554432000 4194304 4196468 140721970527104 140175375030096 140176185001883 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 22142976 140721970533564 140721970533740 140721970533740 140721970536399 0
################
# More data... #
################
/proc/30596/task/30609/stat : 30609 (java) S 30595 30595 7411 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 20 0 4736638 13587718144 2660057 33554432000 4194304 4196468 140721970527104 140175376081792 140176184993493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22142976 140721970533564 140721970533740 140721970533740 140721970536399 0
[pid=30596/tid=30610] ppid=30595 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30596/task/30610/stat : 30610 (java) S 30595 30595 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4736642 13587718144 2660057 33554432000 4194304 4196468 140721970527104 140175375030096 140176185001883 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 22142976 140721970533564 140721970533740 140721970533740 140721970536399 0
[pid=30596/tid=30611] ppid=30595 vsize=13269256 CPUtime=0.67 cores=0,2,4,6,8,10,12,14
/proc/30596/task/30611/stat : 30611 (java) S 30595 30595 7411 0 -1 1077944384 3778 0 0 0 67 0 0 0 20 0 20 0 4736642 13587718144 2660057 33554432000 4194304 4196468 140721970527104 140175373978480 140176184994434 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 22142976 140721970533564 140721970533740 140721970533740 140721970536399 0
[pid=30596/tid=30612] ppid=30595 vsize=13269256 CPUtime=0.63 cores=0,2,4,6,8,10,12,14
/proc/30596/task/30612/stat : 30612 (java) S 30595 30595 7411 0 -1 1077944384 3124 0 0 0 63 0 0 0 20 0 20 0 4736642 13587718144 2660057 33554432000 4194304 4196468 140721970527104 140175372925680 140176184994434 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22142976 140721970533564 140721970533740 140721970533740 140721970536399 0
[pid=30596/tid=30613] ppid=30595 vsize=13269256 CPUtime=0.69 cores=0,2,4,6,8,10,12,14
/proc/30596/task/30613/stat : 30613 (java) S 30595 30595 7411 0 -1 1077944384 3521 0 0 0 68 1 0 0 20 0 20 0 4736642 13587718144 2660057 33554432000 4194304 4196468 140721970527104 140175371872880 140176184994434 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22142976 140721970533564 140721970533740 140721970533740 140721970536399 0
[pid=30596/tid=30614] ppid=30595 vsize=13269256 CPUtime=0.5 cores=0,2,4,6,8,10,12,14
/proc/30596/task/30614/stat : 30614 (java) S 30595 30595 7411 0 -1 1077944384 4030 0 0 0 50 0 0 0 20 0 20 0 4736642 13587718144 2660057 33554432000 4194304 4196468 140721970527104 140175370820080 140176184994434 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22142976 140721970533564 140721970533740 140721970533740 140721970536399 0
[pid=30596/tid=30615] ppid=30595 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30596/task/30615/stat : 30615 (java) S 30595 30595 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4736642 13587718144 2660057 33554432000 4194304 4196468 140721970527104 140175369767520 140176184993493 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 22142976 140721970533564 140721970533740 140721970533740 140721970536399 0
[pid=30596/tid=30616] ppid=30595 vsize=13269256 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/30596/task/30616/stat : 30616 (java) S 30595 30595 7411 0 -1 1077944384 404 0 0 0 3 3 0 0 20 0 20 0 4736643 13587718144 2660057 33554432000 4194304 4196468 140721970527104 140175368714800 140176184994434 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 11 0 0 6293624 6294260 22142976 140721970533564 140721970533740 140721970533740 140721970536399 0
Current children cumulated CPU time (s) 240.45
Current children cumulated vsize (KiB) 13278768
[startup+105.901 s]
/proc/loadavg: 11.22 13.82 13.49 10/292 30617
/proc/meminfo: memFree=20097448/32770624 swapFree=5860/290228
[pid=30595] ppid=30592 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30595/stat : 30595 (xcsp3-exec) S 30592 30595 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4736633 9740288 345 33554432000 4194304 5098028 140732283268000 140732283266104 139797575172732 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 40312832 140732283270286 140732283270496 140732283270496 140732283273195 0
/proc/30595/statm: 2378 345 289 221 0 87 0
[pid=30596] ppid=30595 vsize=13269256 CPUtime=245.25 cores=0,2,4,6,8,10,12,14
/proc/30596/stat : 30596 (java) S 30595 30595 7411 0 -1 1077944320 164800 0 0 0 20176 4349 0 0 20 0 20 0 4736634 13587718144 2660057 33554432000 4194304 4196468 140721970527104 140721970509648 140176184983287 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 22142976 140721970533564 140721970533740 140721970533740 140721970536399 0
/proc/30596/statm: 3317314 2660057 3262 1 0 3304547 0
[pid=30596/tid=30597] ppid=30595 vsize=13269256 CPUtime=82.52 cores=0,2,4,6,8,10,12,14
/proc/30596/task/30597/stat : 30597 (java) S 30595 30595 7411 0 -1 1077944384 10955 0 0 0 8242 10 0 0 20 0 20 0 4736634 13587718144 2660057 33554432000 4194304 4196468 140721970527104 140176189224880 140176184993493 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 22142976 140721970533564 140721970533740 140721970533740 140721970536399 0
[pid=30596/tid=30599] ppid=30595 vsize=13269256 CPUtime=19.44 cores=0,2,4,6,8,10,12,14
/proc/30596/task/30599/stat : 30599 (java) S 30595 30595 7411 0 -1 1077944384 17031 0 0 0 1366 578 0 0 20 0 20 0 4736635 13587718144 2660057 33554432000 4194304 4196468 140721970527104 140176123947664 140176184993493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22142976 140721970533564 140721970533740 140721970533740 140721970536399 0
[pid=30596/tid=30600] ppid=30595 vsize=13269256 CPUtime=19.77 cores=0,2,4,6,8,10,12,14
/proc/30596/task/30600/stat : 30600 (java) S 30595 30595 7411 0 -1 1077944384 12527 0 0 0 1461 516 0 0 20 0 20 0 4736635 13587718144 2660057 33554432000 4194304 4196468 140721970527104 140175783451152 140176184993493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22142976 140721970533564 140721970533740 140721970533740 140721970536399 0
[pid=30596/tid=30601] ppid=30595 vsize=13269256 CPUtime=19.55 cores=0,2,4,6,8,10,12,14
/proc/30596/task/30601/stat : 30601 (java) S 30595 30595 7411 0 -1 1077944384 12706 0 0 0 1407 548 0 0 20 0 20 0 4736635 13587718144 2660057 33554432000 4194304 4196468 140721970527104 140175782398352 140176184993493 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 22142976 140721970533564 140721970533740 140721970533740 140721970536399 0
[pid=30596/tid=30602] ppid=30595 vsize=13269256 CPUtime=19.65 cores=0,2,4,6,8,10,12,14
/proc/30596/task/30602/stat : 30602 (java) S 30595 30595 7411 0 -1 1077944384 10790 0 0 0 1404 561 0 0 20 0 20 0 4736635 13587718144 2660057 33554432000 4194304 4196468 140721970527104 140175781345552 140176184993493 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 22142976 140721970533564 140721970533740 140721970533740 140721970536399 0
[pid=30596/tid=30603] ppid=30595 vsize=13269256 CPUtime=19.66 cores=0,2,4,6,8,10,12,14
/proc/30596/task/30603/stat : 30603 (java) S 30595 30595 7411 0 -1 1077944384 9776 0 0 0 1403 563 0 0 20 0 20 0 4736635 13587718144 2660057 33554432000 4194304 4196468 140721970527104 140175780293776 140176184993493 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 22142976 140721970533564 140721970533740 140721970533740 140721970536399 0
[pid=30596/tid=30604] ppid=30595 vsize=13269256 CPUtime=19.67 cores=0,2,4,6,8,10,12,14
/proc/30596/task/30604/stat : 30604 (java) S 30595 30595 7411 0 -1 1077944384 4834 0 0 0 1514 453 0 0 20 0 20 0 4736635 13587718144 2660057 33554432000 4194304 4196468 140721970527104 140175779240976 140176184993493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22142976 140721970533564 140721970533740 140721970533740 140721970536399 0
[pid=30596/tid=30605] ppid=30595 vsize=13269256 CPUtime=19.18 cores=0,2,4,6,8,10,12,14
/proc/30596/task/30605/stat : 30605 (java) S 30595 30595 7411 0 -1 1077944384 9306 0 0 0 1409 509 0 0 20 0 20 0 4736635 13587718144 2660057 33554432000 4194304 4196468 140721970527104 140175778188176 140176184993493 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 22142976 140721970533564 140721970533740 140721970533740 140721970536399 0
[pid=30596/tid=30606] ppid=30595 vsize=13269256 CPUtime=19.77 cores=0,2,4,6,8,10,12,14
/proc/30596/task/30606/stat : 30606 (java) S 30595 30595 7411 0 -1 1077944384 43558 0 0 0 1380 597 0 0 20 0 20 0 4736635 13587718144 2660057 33554432000 4194304 4196468 140721970527104 140175777135376 140176184993493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22142976 140721970533564 140721970533740 140721970533740 140721970536399 0
[pid=30596/tid=30607] ppid=30595 vsize=13269256 CPUtime=3.34 cores=0,2,4,6,8,10,12,14
/proc/30596/task/30607/stat : 30607 (java) R 30595 30595 7411 0 -1 4202560 17096 0 0 0 333 1 0 0 20 0 20 0 4736637 13587718144 2660057 33554432000 4194304 4196468 140721970527104 140175378187088 140176169979697 0 0 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22142976 140721970533564 140721970533740 140721970533740 140721970536399 0
[pid=30596/tid=30608] ppid=30595 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30596/task/30608/stat : 30608 (java) S 30595 30595 7411 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 20 0 4736638 13587718144 2660057 33554432000 4194304 4196468 140721970527104 140175377134688 140176184993493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22142976 140721970533564 140721970533740 140721970533740 140721970536399 0
[pid=30596/tid=30609] ppid=30595 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30596/task/30609/stat : 30609 (java) S 30595 30595 7411 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 20 0 4736638 13587718144 2660057 33554432000 4194304 4196468 140721970527104 140175376081792 140176184993493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22142976 140721970533564 140721970533740 140721970533740 140721970536399 0
[pid=30596/tid=30610] ppid=30595 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30596/task/30610/stat : 30610 (java) S 30595 30595 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4736642 13587718144 2660057 33554432000 4194304 4196468 140721970527104 140175375030096 140176185001883 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 22142976 140721970533564 140721970533740 140721970533740 140721970536399 0
[pid=30596/tid=30611] ppid=30595 vsize=13269256 CPUtime=0.67 cores=0,2,4,6,8,10,12,14
/proc/30596/task/30611/stat : 30611 (java) S 30595 30595 7411 0 -1 1077944384 3778 0 0 0 67 0 0 0 20 0 20 0 4736642 13587718144 2660057 33554432000 4194304 4196468 140721970527104 140175373978480 140176184994434 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 22142976 140721970533564 140721970533740 140721970533740 140721970536399 0
[pid=30596/tid=30612] ppid=30595 vsize=13269256 CPUtime=0.63 cores=0,2,4,6,8,10,12,14
/proc/30596/task/30612/stat : 30612 (java) S 30595 30595 7411 0 -1 1077944384 3124 0 0 0 63 0 0 0 20 0 20 0 4736642 13587718144 2660057 33554432000 4194304 4196468 140721970527104 140175372925680 140176184994434 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22142976 140721970533564 140721970533740 140721970533740 140721970536399 0
[pid=30596/tid=30613] ppid=30595 vsize=13269256 CPUtime=0.69 cores=0,2,4,6,8,10,12,14
/proc/30596/task/30613/stat : 30613 (java) S 30595 30595 7411 0 -1 1077944384 3521 0 0 0 68 1 0 0 20 0 20 0 4736642 13587718144 2660057 33554432000 4194304 4196468 140721970527104 140175371872880 140176184994434 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22142976 140721970533564 140721970533740 140721970533740 140721970536399 0
[pid=30596/tid=30614] ppid=30595 vsize=13269256 CPUtime=0.5 cores=0,2,4,6,8,10,12,14
/proc/30596/task/30614/stat : 30614 (java) S 30595 30595 7411 0 -1 1077944384 4030 0 0 0 50 0 0 0 20 0 20 0 4736642 13587718144 2660057 33554432000 4194304 4196468 140721970527104 140175370820080 140176184994434 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22142976 140721970533564 140721970533740 140721970533740 140721970536399 0
[pid=30596/tid=30615] ppid=30595 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30596/task/30615/stat : 30615 (java) S 30595 30595 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4736642 13587718144 2660057 33554432000 4194304 4196468 140721970527104 140175369767520 140176184993493 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 22142976 140721970533564 140721970533740 140721970533740 140721970536399 0
[pid=30596/tid=30616] ppid=30595 vsize=13269256 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/30596/task/30616/stat : 30616 (java) S 30595 30595 7411 0 -1 1077944384 404 0 0 0 3 3 0 0 20 0 20 0 4736643 13587718144 2660057 33554432000 4194304 4196468 140721970527104 140175368714800 140176184994434 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 11 0 0 6293624 6294260 22142976 140721970533564 140721970533740 140721970533740 140721970536399 0
Current children cumulated CPU time (s) 245.25
Current children cumulated vsize (KiB) 13278768
[startup+106.101 s]
/proc/loadavg: 11.22 13.82 13.49 10/292 30617
/proc/meminfo: memFree=20097448/32770624 swapFree=5860/290228
[pid=30595] ppid=30592 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30595/stat : 30595 (xcsp3-exec) S 30592 30595 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4736633 9740288 345 33554432000 4194304 5098028 140732283268000 140732283266104 139797575172732 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 40312832 140732283270286 140732283270496 140732283270496 140732283273195 0
/proc/30595/statm: 2378 345 289 221 0 87 0
[pid=30596] ppid=30595 vsize=13335820 CPUtime=246.33 cores=0,2,4,6,8,10,12,14
/proc/30596/stat : 30596 (java) S 30595 30595 7411 0 -1 1077944320 164890 0 0 0 20284 4349 0 0 20 0 21 0 4736634 13655879680 2660058 33554432000 4194304 4196468 140721970527104 140721970509648 140176184983287 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 22142976 140721970533564 140721970533740 140721970533740 140721970536399 0
/proc/30596/statm: 3333955 2660058 3262 1 0 3321188 0
[pid=30596/tid=30597] ppid=30595 vsize=13335820 CPUtime=82.52 cores=0,2,4,6,8,10,12,14
/proc/30596/task/30597/stat : 30597 (java) S 30595 30595 7411 0 -1 1077944384 10967 0 0 0 8242 10 0 0 20 0 21 0 4736634 13655879680 2660058 33554432000 4194304 4196468 140721970527104 140176189223968 140176184993493 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 22142976 140721970533564 140721970533740 140721970533740 140721970536399 0
[pid=30596/tid=30599] ppid=30595 vsize=13335820 CPUtime=19.57 cores=0,2,4,6,8,10,12,14
/proc/30596/task/30599/stat : 30599 (java) R 30595 30595 7411 0 -1 4202560 17033 0 0 0 1379 578 0 0 20 0 21 0 4736635 13655879680 2660058 33554432000 4194304 4196468 140721970527104 140176123947864 140176169979688 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22142976 140721970533564 140721970533740 140721970533740 140721970536399 0
[pid=30596/tid=30600] ppid=30595 vsize=13335820 CPUtime=19.9 cores=0,2,4,6,8,10,12,14
/proc/30596/task/30600/stat : 30600 (java) R 30595 30595 7411 0 -1 4202560 12527 0 0 0 1474 516 0 0 20 0 21 0 4736635 13655879680 2660058 33554432000 4194304 4196468 140721970527104 140175783451352 140176169979658 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22142976 140721970533564 140721970533740 140721970533740 140721970536399 0
[pid=30596/tid=30601] ppid=30595 vsize=13335820 CPUtime=19.68 cores=0,2,4,6,8,10,12,14
/proc/30596/task/30601/stat : 30601 (java) R 30595 30595 7411 0 -1 4202560 12706 0 0 0 1420 548 0 0 20 0 21 0 4736635 13655879680 2660058 33554432000 4194304 4196468 140721970527104 140175782398552 140176169440878 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22142976 140721970533564 140721970533740 140721970533740 140721970536399 0
[pid=30596/tid=30602] ppid=30595 vsize=13335820 CPUtime=19.78 cores=0,2,4,6,8,10,12,14
/proc/30596/task/30602/stat : 30602 (java) R 30595 30595 7411 0 -1 4202560 10791 0 0 0 1417 561 0 0 20 0 21 0 4736635 13655879680 2660058 33554432000 4194304 4196468 140721970527104 140175781345752 140176169682707 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 22142976 140721970533564 140721970533740 140721970533740 140721970536399 0
[pid=30596/tid=30603] ppid=30595 vsize=13335820 CPUtime=19.78 cores=0,2,4,6,8,10,12,14
/proc/30596/task/30603/stat : 30603 (java) R 30595 30595 7411 0 -1 4202560 9781 0 0 0 1415 563 0 0 20 0 21 0 4736635 13655879680 2660058 33554432000 4194304 4196468 140721970527104 140175780293976 140176169682704 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 22142976 140721970533564 140721970533740 140721970533740 140721970536399 0
[pid=30596/tid=30604] ppid=30595 vsize=13335820 CPUtime=19.8 cores=0,2,4,6,8,10,12,14
/proc/30596/task/30604/stat : 30604 (java) R 30595 30595 7411 0 -1 4202560 4835 0 0 0 1527 453 0 0 20 0 21 0 4736635 13655879680 2660058 33554432000 4194304 4196468 140721970527104 140175779241176 140176169979694 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 22142976 140721970533564 140721970533740 140721970533740 140721970536399 0
[pid=30596/tid=30605] ppid=30595 vsize=13335820 CPUtime=19.3 cores=0,2,4,6,8,10,12,14
/proc/30596/task/30605/stat : 30605 (java) R 30595 30595 7411 0 -1 4202560 9306 0 0 0 1421 509 0 0 20 0 21 0 4736635 13655879680 2660058 33554432000 4194304 4196468 140721970527104 140175778188064 140176169979691 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 22142976 140721970533564 140721970533740 140721970533740 140721970536399 0
[pid=30596/tid=30606] ppid=30595 vsize=13335820 CPUtime=19.9 cores=0,2,4,6,8,10,12,14
/proc/30596/task/30606/stat : 30606 (java) R 30595 30595 7411 0 -1 4202560 43558 0 0 0 1393 597 0 0 20 0 21 0 4736635 13655879680 2660058 33554432000 4194304 4196468 140721970527104 140175777135576 140176169682579 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22142976 140721970533564 140721970533740 140721970533740 140721970536399 0
[pid=30596/tid=30607] ppid=30595 vsize=13335820 CPUtime=3.4 cores=0,2,4,6,8,10,12,14
/proc/30596/task/30607/stat : 30607 (java) S 30595 30595 7411 0 -1 1077944384 17144 0 0 0 339 1 0 0 20 0 21 0 4736637 13655879680 2660058 33554432000 4194304 4196468 140721970527104 140175378187200 140176184993493 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22142976 140721970533564 140721970533740 140721970533740 140721970536399 0
[pid=30596/tid=30608] ppid=30595 vsize=13335820 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30596/task/30608/stat : 30608 (java) S 30595 30595 7411 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 21 0 4736638 13655879680 2660058 33554432000 4194304 4196468 140721970527104 140175377134688 140176184993493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22142976 140721970533564 140721970533740 140721970533740 140721970536399 0
[pid=30596/tid=30609] ppid=30595 vsize=13335820 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30596/task/30609/stat : 30609 (java) S 30595 30595 7411 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 21 0 4736638 13655879680 2660058 33554432000 4194304 4196468 140721970527104 140175376081792 140176184993493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22142976 140721970533564 140721970533740 140721970533740 140721970536399 0
[pid=30596/tid=30610] ppid=30595 vsize=13335820 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30596/task/30610/stat : 30610 (java) S 30595 30595 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 4736642 13655879680 2660058 33554432000 4194304 4196468 140721970527104 140175375030096 140176185001883 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 22142976 140721970533564 140721970533740 140721970533740 140721970536399 0
[pid=30596/tid=30611] ppid=30595 vsize=13335820 CPUtime=0.67 cores=0,2,4,6,8,10,12,14
/proc/30596/task/30611/stat : 30611 (java) S 30595 30595 7411 0 -1 1077944384 3778 0 0 0 67 0 0 0 20 0 21 0 4736642 13655879680 2660058 33554432000 4194304 4196468 140721970527104 140175373978480 140176184994434 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 22142976 140721970533564 140721970533740 140721970533740 140721970536399 0
[pid=30596/tid=30612] ppid=30595 vsize=13335820 CPUtime=0.63 cores=0,2,4,6,8,10,12,14
/proc/30596/task/30612/stat : 30612 (java) S 30595 30595 7411 0 -1 1077944384 3124 0 0 0 63 0 0 0 20 0 21 0 4736642 13655879680 2660058 33554432000 4194304 4196468 140721970527104 140175372925680 140176184994434 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22142976 140721970533564 140721970533740 140721970533740 140721970536399 0
[pid=30596/tid=30613] ppid=30595 vsize=13335820 CPUtime=0.69 cores=0,2,4,6,8,10,12,14
/proc/30596/task/30613/stat : 30613 (java) S 30595 30595 7411 0 -1 1077944384 3521 0 0 0 68 1 0 0 20 0 21 0 4736642 13655879680 2660058 33554432000 4194304 4196468 140721970527104 140175371872880 140176184994434 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22142976 140721970533564 140721970533740 140721970533740 140721970536399 0
[pid=30596/tid=30614] ppid=30595 vsize=13335820 CPUtime=0.5 cores=0,2,4,6,8,10,12,14
/proc/30596/task/30614/stat : 30614 (java) S 30595 30595 7411 0 -1 1077944384 4030 0 0 0 50 0 0 0 20 0 21 0 4736642 13655879680 2660058 33554432000 4194304 4196468 140721970527104 140175370820080 140176184994434 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22142976 140721970533564 140721970533740 140721970533740 140721970536399 0
[pid=30596/tid=30615] ppid=30595 vsize=13335820 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30596/task/30615/stat : 30615 (java) S 30595 30595 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 4736642 13655879680 2660058 33554432000 4194304 4196468 140721970527104 140175369767520 140176184993493 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 22142976 140721970533564 140721970533740 140721970533740 140721970536399 0
[pid=30596/tid=30616] ppid=30595 vsize=13335820 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/30596/task/30616/stat : 30616 (java) S 30595 30595 7411 0 -1 1077944384 404 0 0 0 3 3 0 0 20 0 21 0 4736643 13655879680 2660058 33554432000 4194304 4196468 140721970527104 140175368714800 140176184994434 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 11 0 0 6293624 6294260 22142976 140721970533564 140721970533740 140721970533740 140721970536399 0
Current children cumulated CPU time (s) 246.33
Current children cumulated vsize (KiB) 13345332
[startup+106.201 s]
/proc/loadavg: 11.22 13.82 13.49 10/292 30617
/proc/meminfo: memFree=20097448/32770624 swapFree=5860/290228
[pid=30595] ppid=30592 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30595/stat : 30595 (xcsp3-exec) S 30592 30595 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4736633 9740288 345 33554432000 4194304 5098028 140732283268000 140732283266104 139797575172732 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 40312832 140732283270286 140732283270496 140732283270496 140732283273195 0
/proc/30595/statm: 2378 345 289 221 0 87 0
[pid=30596] ppid=30595 vsize=13335820 CPUtime=246.6 cores=0,2,4,6,8,10,12,14
/proc/30596/stat : 30596 (java) S 30595 30595 7411 0 -1 1077944320 164890 0 0 0 20311 4349 0 0 20 0 21 0 4736634 13655879680 2660058 33554432000 4194304 4196468 140721970527104 140721970509648 140176184983287 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 22142976 140721970533564 140721970533740 140721970533740 140721970536399 0
/proc/30596/statm: 3333955 2660058 3262 1 0 3321188 0
[pid=30596/tid=30597] ppid=30595 vsize=13335820 CPUtime=82.52 cores=0,2,4,6,8,10,12,14
/proc/30596/task/30597/stat : 30597 (java) S 30595 30595 7411 0 -1 1077944384 10967 0 0 0 8242 10 0 0 20 0 21 0 4736634 13655879680 2660058 33554432000 4194304 4196468 140721970527104 140176189223968 140176184993493 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 22142976 140721970533564 140721970533740 140721970533740 140721970536399 0
[pid=30596/tid=30599] ppid=30595 vsize=13335820 CPUtime=19.59 cores=0,2,4,6,8,10,12,14
/proc/30596/task/30599/stat : 30599 (java) S 30595 30595 7411 0 -1 1077944384 17033 0 0 0 1381 578 0 0 20 0 21 0 4736635 13655879680 2660058 33554432000 4194304 4196468 140721970527104 140176123947664 140176184993493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22142976 140721970533564 140721970533740 140721970533740 140721970536399 0
[pid=30596/tid=30600] ppid=30595 vsize=13335820 CPUtime=19.92 cores=0,2,4,6,8,10,12,14
/proc/30596/task/30600/stat : 30600 (java) S 30595 30595 7411 0 -1 1077944384 12527 0 0 0 1476 516 0 0 20 0 21 0 4736635 13655879680 2660058 33554432000 4194304 4196468 140721970527104 140175783451152 140176184993493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22142976 140721970533564 140721970533740 140721970533740 140721970536399 0
[pid=30596/tid=30601] ppid=30595 vsize=13335820 CPUtime=19.71 cores=0,2,4,6,8,10,12,14
/proc/30596/task/30601/stat : 30601 (java) S 30595 30595 7411 0 -1 1077944384 12706 0 0 0 1423 548 0 0 20 0 21 0 4736635 13655879680 2660058 33554432000 4194304 4196468 140721970527104 140175782398352 140176184993493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22142976 140721970533564 140721970533740 140721970533740 140721970536399 0
[pid=30596/tid=30602] ppid=30595 vsize=13335820 CPUtime=19.8 cores=0,2,4,6,8,10,12,14
/proc/30596/task/30602/stat : 30602 (java) S 30595 30595 7411 0 -1 1077944384 10791 0 0 0 1419 561 0 0 20 0 21 0 4736635 13655879680 2660058 33554432000 4194304 4196468 140721970527104 140175781345552 140176184993493 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 22142976 140721970533564 140721970533740 140721970533740 140721970536399 0
[pid=30596/tid=30603] ppid=30595 vsize=13335820 CPUtime=19.81 cores=0,2,4,6,8,10,12,14
/proc/30596/task/30603/stat : 30603 (java) S 30595 30595 7411 0 -1 1077944384 9781 0 0 0 1418 563 0 0 20 0 21 0 4736635 13655879680 2660058 33554432000 4194304 4196468 140721970527104 140175780293776 140176184993493 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 22142976 140721970533564 140721970533740 140721970533740 140721970536399 0
[pid=30596/tid=30604] ppid=30595 vsize=13335820 CPUtime=19.83 cores=0,2,4,6,8,10,12,14
/proc/30596/task/30604/stat : 30604 (java) S 30595 30595 7411 0 -1 1077944384 4835 0 0 0 1530 453 0 0 20 0 21 0 4736635 13655879680 2660058 33554432000 4194304 4196468 140721970527104 140175779240976 140176184993493 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 22142976 140721970533564 140721970533740 140721970533740 140721970536399 0
[pid=30596/tid=30605] ppid=30595 vsize=13335820 CPUtime=19.33 cores=0,2,4,6,8,10,12,14
/proc/30596/task/30605/stat : 30605 (java) S 30595 30595 7411 0 -1 1077944384 9306 0 0 0 1424 509 0 0 20 0 21 0 4736635 13655879680 2660058 33554432000 4194304 4196468 140721970527104 140175778188176 140176184993493 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 22142976 140721970533564 140721970533740 140721970533740 140721970536399 0
[pid=30596/tid=30606] ppid=30595 vsize=13335820 CPUtime=19.92 cores=0,2,4,6,8,10,12,14
/proc/30596/task/30606/stat : 30606 (java) S 30595 30595 7411 0 -1 1077944384 43558 0 0 0 1395 597 0 0 20 0 21 0 4736635 13655879680 2660058 33554432000 4194304 4196468 140721970527104 140175777135376 140176184993493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22142976 140721970533564 140721970533740 140721970533740 140721970536399 0
[pid=30596/tid=30607] ppid=30595 vsize=13335820 CPUtime=3.48 cores=0,2,4,6,8,10,12,14
/proc/30596/task/30607/stat : 30607 (java) R 30595 30595 7411 0 -1 4202560 17144 0 0 0 347 1 0 0 20 0 21 0 4736637 13655879680 2660058 33554432000 4194304 4196468 140721970527104 140175378187088 140176177272741 0 0 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22142976 140721970533564 140721970533740 140721970533740 140721970536399 0
[pid=30596/tid=30608] ppid=30595 vsize=13335820 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30596/task/30608/stat : 30608 (java) S 30595 30595 7411 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 21 0 4736638 13655879680 2660058 33554432000 4194304 4196468 140721970527104 140175377134688 140176184993493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22142976 140721970533564 140721970533740 140721970533740 140721970536399 0
[pid=30596/tid=30609] ppid=30595 vsize=13335820 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30596/task/30609/stat : 30609 (java) S 30595 30595 7411 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 21 0 4736638 13655879680 2660058 33554432000 4194304 4196468 140721970527104 140175376081792 140176184993493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22142976 140721970533564 140721970533740 140721970533740 140721970536399 0
[pid=30596/tid=30610] ppid=30595 vsize=13335820 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30596/task/30610/stat : 30610 (java) S 30595 30595 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 4736642 13655879680 2660058 33554432000 4194304 4196468 140721970527104 140175375030096 140176185001883 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 22142976 140721970533564 140721970533740 140721970533740 140721970536399 0
[pid=30596/tid=30611] ppid=30595 vsize=13335820 CPUtime=0.67 cores=0,2,4,6,8,10,12,14
/proc/30596/task/30611/stat : 30611 (java) S 30595 30595 7411 0 -1 1077944384 3778 0 0 0 67 0 0 0 20 0 21 0 4736642 13655879680 2660058 33554432000 4194304 4196468 140721970527104 140175373978480 140176184994434 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 22142976 140721970533564 140721970533740 140721970533740 140721970536399 0
[pid=30596/tid=30612] ppid=30595 vsize=13335820 CPUtime=0.63 cores=0,2,4,6,8,10,12,14
/proc/30596/task/30612/stat : 30612 (java) S 30595 30595 7411 0 -1 1077944384 3124 0 0 0 63 0 0 0 20 0 21 0 4736642 13655879680 2660058 33554432000 4194304 4196468 140721970527104 140175372925680 140176184994434 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22142976 140721970533564 140721970533740 140721970533740 140721970536399 0
[pid=30596/tid=30613] ppid=30595 vsize=13335820 CPUtime=0.69 cores=0,2,4,6,8,10,12,14
/proc/30596/task/30613/stat : 30613 (java) S 30595 30595 7411 0 -1 1077944384 3521 0 0 0 68 1 0 0 20 0 21 0 4736642 13655879680 2660058 33554432000 4194304 4196468 140721970527104 140175371872880 140176184994434 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22142976 140721970533564 140721970533740 140721970533740 140721970536399 0
[pid=30596/tid=30614] ppid=30595 vsize=13335820 CPUtime=0.5 cores=0,2,4,6,8,10,12,14
/proc/30596/task/30614/stat : 30614 (java) S 30595 30595 7411 0 -1 1077944384 4030 0 0 0 50 0 0 0 20 0 21 0 4736642 13655879680 2660058 33554432000 4194304 4196468 140721970527104 140175370820080 140176184994434 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22142976 140721970533564 140721970533740 140721970533740 140721970536399 0
[pid=30596/tid=30615] ppid=30595 vsize=13335820 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30596/task/30615/stat : 30615 (java) S 30595 30595 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 4736642 13655879680 2660058 33554432000 4194304 4196468 140721970527104 140175369767520 140176184993493 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 22142976 140721970533564 140721970533740 140721970533740 140721970536399 0
[pid=30596/tid=30616] ppid=30595 vsize=13335820 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/30596/task/30616/stat : 30616 (java) S 30595 30595 7411 0 -1 1077944384 404 0 0 0 3 3 0 0 20 0 21 0 4736643 13655879680 2660058 33554432000 4194304 4196468 140721970527104 140175368714800 140176184994434 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 11 0 0 6293624 6294260 22142976 140721970533564 140721970533740 140721970533740 140721970536399 0
Current children cumulated CPU time (s) 246.6
Current children cumulated vsize (KiB) 13345332
Child status: 1
Real time (s): 106.254
CPU time (s): 246.657
CPU user time (s): 203.116
CPU system time (s): 43.5408
CPU usage (%): 232.138
Max. virtual memory (cumulated for all children) (KiB): 13345332
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 203.116
system time used= 43.5408
maximum resident set size= 10640624
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 165456
page faults= 0
swaps= 0
block input operations= 0
block output operations= 232
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8546
involuntary context switches= 18693
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.941692 second user time and 1.45119 second system time
The end