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-4246973-1502059133/watcher-4246973-1502059133 -o /tmp/evaluation-result-4246973-1502059133/solver-4246973-1502059133 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502042263-31899 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 10000 -tdir HOME -seed 672860112 HOME/instance-4246973-1502059133.xml
pid=9784
running on 4 cores: 1,3,5,7
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: 8.42 8.57 8.06 7/205 9787
/proc/meminfo: memFree=30486760/32770624 swapFree=0/328892
[pid=9787] ppid=9784 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/9787/stat : 9787 (runsolver) D 9784 9787 25100 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 53728560 24240128 108 18446744073709551615 4194304 4338465 140729335951584 140729335949224 139690824430295 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 39604224 140729335955543 140729335956041 140729335956041 140729335959498 0
/proc/9787/statm: 5918 108 54 36 0 2156 0
[startup+0.10012 s]
/proc/loadavg: 8.42 8.57 8.06 7/205 9787
/proc/meminfo: memFree=30486760/32770624 swapFree=0/328892
[pid=9787] ppid=9784 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/9787/stat : 9787 (runsolver) D 9784 9787 25100 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 53728560 24240128 108 18446744073709551615 4194304 4338465 140729335951584 140729335949224 139690824430295 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 39604224 140729335955543 140729335956041 140729335956041 140729335959498 0
/proc/9787/statm: 5918 108 54 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672
[startup+0.200273 s]
/proc/loadavg: 8.42 8.57 8.06 7/205 9787
/proc/meminfo: memFree=30486760/32770624 swapFree=0/328892
[pid=9787] ppid=9784 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/9787/stat : 9787 (xcsp3-exec) S 9784 9787 25100 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 53728560 9740288 345 18446744073709551615 4194304 5098028 140729411417136 140729411415240 140403145327228 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 10 0 0 7196144 7232144 13287424 140729411424665 140729411424874 140729411424874 140729411428331 0
/proc/9787/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.303811 s]
/proc/loadavg: 8.42 8.57 8.06 7/205 9787
/proc/meminfo: memFree=30486760/32770624 swapFree=0/328892
[pid=9787] ppid=9784 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/9787/stat : 9787 (xcsp3-exec) S 9784 9787 25100 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 53728560 9740288 345 18446744073709551615 4194304 5098028 140729411417136 140729411415240 140403145327228 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 10 0 0 7196144 7232144 13287424 140729411424665 140729411424874 140729411424874 140729411428331 0
/proc/9787/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.704957 s]
/proc/loadavg: 8.42 8.57 8.06 7/205 9787
/proc/meminfo: memFree=30486760/32770624 swapFree=0/328892
[pid=9787] ppid=9784 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/9787/stat : 9787 (xcsp3-exec) S 9784 9787 25100 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 53728560 9740288 345 18446744073709551615 4194304 5098028 140729411417136 140729411415240 140403145327228 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 10 0 0 7196144 7232144 13287424 140729411424665 140729411424874 140729411424874 140729411428331 0
/proc/9787/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50112 s]
/proc/loadavg: 8.42 8.57 8.06 14/225 9807
/proc/meminfo: memFree=30338384/32770624 swapFree=0/328916
[pid=9787] ppid=9784 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/9787/stat : 9787 (xcsp3-exec) S 9784 9787 25100 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 53728560 9740288 345 18446744073709551615 4194304 5098028 140729411417136 140729411415240 140403145327228 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 10 0 0 7196144 7232144 13287424 140729411424665 140729411424874 140729411424874 140729411428331 0
/proc/9787/statm: 2378 345 289 221 0 87 0
[pid=9789] ppid=9787 vsize=13318712 CPUtime=4.11 cores=1,3,5,7
/proc/9789/stat : 9789 (java) S 9787 9787 25100 0 -1 1077944320 15722 0 0 0 403 8 0 0 20 0 19 0 53728571 13638361088 47708 18446744073709551615 4194304 4196468 140735910951344 140735910933888 140313313271543 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19279872 140735910953430 140735910953606 140735910953606 140735910957007 0
/proc/9789/statm: 3329678 47708 3213 1 0 3317970 0
[pid=9789/tid=9790] ppid=9787 vsize=13318712 CPUtime=0.83 cores=1,3,5,7
/proc/9789/task/9790/stat : 9790 (java) S 9787 9787 25100 0 -1 1077944384 8354 0 0 0 79 4 0 0 20 0 19 0 53728571 13638361088 47708 18446744073709551615 4194304 4196468 140735910951344 140313317512320 140313313281749 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 7 0 0 6293624 6294260 19279872 140735910953430 140735910953606 140735910953606 140735910957007 0
[pid=9789/tid=9791] ppid=9787 vsize=13318712 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9791/stat : 9791 (java) S 9787 9787 25100 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 19 0 53728572 13638361088 47708 18446744073709551615 4194304 4196468 140735910951344 140313236097552 140313313281749 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19279872 140735910953430 140735910953606 140735910953606 140735910957007 0
[pid=9789/tid=9792] ppid=9787 vsize=13318712 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9792/stat : 9792 (java) S 9787 9787 25100 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 53728572 13638361088 47708 18446744073709551615 4194304 4196468 140735910951344 140313235045008 140313313281749 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19279872 140735910953430 140735910953606 140735910953606 140735910957007 0
[pid=9789/tid=9793] ppid=9787 vsize=13318712 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9793/stat : 9793 (java) S 9787 9787 25100 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 19 0 53728572 13638361088 47708 18446744073709551615 4194304 4196468 140735910951344 140313233991952 140313313281749 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19279872 140735910953430 140735910953606 140735910953606 140735910957007 0
[pid=9789/tid=9794] ppid=9787 vsize=13318712 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9794/stat : 9794 (java) S 9787 9787 25100 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 19 0 53728572 13638361088 47708 18446744073709551615 4194304 4196468 140735910951344 140313232939408 140313313281749 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19279872 140735910953430 140735910953606 140735910953606 140735910957007 0
[pid=9789/tid=9795] ppid=9787 vsize=13318712 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9795/stat : 9795 (java) S 9787 9787 25100 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 19 0 53728573 13638361088 47708 18446744073709551615 4194304 4196468 140735910951344 140312796662512 140313313282690 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19279872 140735910953430 140735910953606 140735910953606 140735910957007 0
[pid=9789/tid=9796] ppid=9787 vsize=13318712 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9796/stat : 9796 (java) S 9787 9787 25100 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 53728573 13638361088 47708 18446744073709551615 4194304 4196468 140735910951344 140312795608736 140313313281749 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19279872 140735910953430 140735910953606 140735910953606 140735910957007 0
[pid=9789/tid=9797] ppid=9787 vsize=13318712 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9797/stat : 9797 (java) S 9787 9787 25100 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 53728574 13638361088 47708 18446744073709551615 4194304 4196468 140735910951344 140312794555632 140313313281749 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19279872 140735910953430 140735910953606 140735910953606 140735910957007 0
[pid=9789/tid=9798] ppid=9787 vsize=13318712 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9798/stat : 9798 (java) S 9787 9787 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53728576 13638361088 47708 18446744073709551615 4194304 4196468 140735910951344 140312793504208 140313313290139 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19279872 140735910953430 140735910953606 140735910953606 140735910957007 0
[pid=9789/tid=9799] ppid=9787 vsize=13318712 CPUtime=0.75 cores=1,3,5,7
/proc/9789/task/9799/stat : 9799 (java) R 9787 9787 25100 0 -1 4202560 1541 0 0 0 75 0 0 0 20 0 19 0 53728576 13638361088 47708 18446744073709551615 4194304 4196468 140735910951344 140312792431904 140313290868897 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19279872 140735910953430 140735910953606 140735910953606 140735910957007 0
[pid=9789/tid=9800] ppid=9787 vsize=13318712 CPUtime=0.79 cores=1,3,5,7
/proc/9789/task/9800/stat : 9800 (java) R 9787 9787 25100 0 -1 4202560 1641 0 0 0 79 0 0 0 20 0 19 0 53728576 13638361088 47708 18446744073709551615 4194304 4196468 140735910951344 140312791380336 140313297177732 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19279872 140735910953430 140735910953606 140735910953606 140735910957007 0
[pid=9789/tid=9801] ppid=9787 vsize=13318712 CPUtime=0.59 cores=1,3,5,7
/proc/9789/task/9801/stat : 9801 (java) S 9787 9787 25100 0 -1 1077944384 2275 0 0 0 58 1 0 0 20 0 19 0 53728576 13638361088 47708 18446744073709551615 4194304 4196468 140735910951344 140312790345712 140313313282690 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19279872 140735910953430 140735910953606 140735910953606 140735910957007 0
[pid=9789/tid=9802] ppid=9787 vsize=13318712 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9802/stat : 9802 (java) S 9787 9787 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53728576 13638361088 47708 18446744073709551615 4194304 4196468 140735910951344 140312789293408 140313313281749 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19279872 140735910953430 140735910953606 140735910953606 140735910957007 0
[pid=9789/tid=9803] ppid=9787 vsize=13318712 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9803/stat : 9803 (java) S 9787 9787 25100 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53728584 13638361088 47708 18446744073709551615 4194304 4196468 140735910951344 140312788241456 140313313282690 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19279872 140735910953430 140735910953606 140735910953606 140735910957007 0
Current children cumulated CPU time (s) 4.11
Current children cumulated vsize (KiB) 13328224
[startup+3.10713 s]
/proc/loadavg: 8.39 8.56 8.06 12/225 9823
/proc/meminfo: memFree=30283128/32770624 swapFree=0/328924
[pid=9787] ppid=9784 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/9787/stat : 9787 (xcsp3-exec) S 9784 9787 25100 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 53728560 9740288 345 18446744073709551615 4194304 5098028 140729411417136 140729411415240 140403145327228 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 10 0 0 7196144 7232144 13287424 140729411424665 140729411424874 140729411424874 140729411428331 0
/proc/9787/statm: 2378 345 289 221 0 87 0
[pid=9789] ppid=9787 vsize=13318712 CPUtime=10.51 cores=1,3,5,7
/proc/9789/stat : 9789 (java) S 9787 9787 25100 0 -1 1077944320 18004 0 0 0 1042 9 0 0 20 0 19 0 53728571 13638361088 49859 18446744073709551615 4194304 4196468 140735910951344 140735910933888 140313313271543 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19279872 140735910953430 140735910953606 140735910953606 140735910957007 0
/proc/9789/statm: 3329678 49859 3238 1 0 3317970 0
[pid=9789/tid=9790] ppid=9787 vsize=13318712 CPUtime=0.84 cores=1,3,5,7
/proc/9789/task/9790/stat : 9790 (java) S 9787 9787 25100 0 -1 1077944384 8354 0 0 0 80 4 0 0 20 0 19 0 53728571 13638361088 49859 18446744073709551615 4194304 4196468 140735910951344 140313317512320 140313313281749 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 19279872 140735910953430 140735910953606 140735910953606 140735910957007 0
[pid=9789/tid=9791] ppid=9787 vsize=13318712 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9791/stat : 9791 (java) S 9787 9787 25100 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 19 0 53728572 13638361088 49859 18446744073709551615 4194304 4196468 140735910951344 140313236097552 140313313281749 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19279872 140735910953430 140735910953606 140735910953606 140735910957007 0
[pid=9789/tid=9792] ppid=9787 vsize=13318712 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9792/stat : 9792 (java) S 9787 9787 25100 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 53728572 13638361088 49859 18446744073709551615 4194304 4196468 140735910951344 140313235045008 140313313281749 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19279872 140735910953430 140735910953606 140735910953606 140735910957007 0
[pid=9789/tid=9793] ppid=9787 vsize=13318712 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9793/stat : 9793 (java) S 9787 9787 25100 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 19 0 53728572 13638361088 49859 18446744073709551615 4194304 4196468 140735910951344 140313233991952 140313313281749 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19279872 140735910953430 140735910953606 140735910953606 140735910957007 0
[pid=9789/tid=9794] ppid=9787 vsize=13318712 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9794/stat : 9794 (java) S 9787 9787 25100 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 19 0 53728572 13638361088 49859 18446744073709551615 4194304 4196468 140735910951344 140313232939408 140313313281749 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19279872 140735910953430 140735910953606 140735910953606 140735910957007 0
[pid=9789/tid=9795] ppid=9787 vsize=13318712 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9795/stat : 9795 (java) S 9787 9787 25100 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 19 0 53728573 13638361088 49859 18446744073709551615 4194304 4196468 140735910951344 140312796662512 140313313282690 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19279872 140735910953430 140735910953606 140735910953606 140735910957007 0
[pid=9789/tid=9796] ppid=9787 vsize=13318712 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9796/stat : 9796 (java) S 9787 9787 25100 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 53728573 13638361088 49859 18446744073709551615 4194304 4196468 140735910951344 140312795608736 140313313281749 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19279872 140735910953430 140735910953606 140735910953606 140735910957007 0
[pid=9789/tid=9797] ppid=9787 vsize=13318712 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9797/stat : 9797 (java) S 9787 9787 25100 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 53728574 13638361088 49859 18446744073709551615 4194304 4196468 140735910951344 140312794555632 140313313281749 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19279872 140735910953430 140735910953606 140735910953606 140735910957007 0
[pid=9789/tid=9798] ppid=9787 vsize=13318712 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9798/stat : 9798 (java) S 9787 9787 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53728576 13638361088 49859 18446744073709551615 4194304 4196468 140735910951344 140312793504208 140313313290139 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19279872 140735910953430 140735910953606 140735910953606 140735910957007 0
[pid=9789/tid=9799] ppid=9787 vsize=13318712 CPUtime=1.55 cores=1,3,5,7
/proc/9789/task/9799/stat : 9799 (java) S 9787 9787 25100 0 -1 1077944384 2107 0 0 0 155 0 0 0 20 0 19 0 53728576 13638361088 49859 18446744073709551615 4194304 4196468 140735910951344 140312792451312 140313313282690 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19279872 140735910953430 140735910953606 140735910953606 140735910957007 0
[pid=9789/tid=9800] ppid=9787 vsize=13318712 CPUtime=1.59 cores=1,3,5,7
/proc/9789/task/9800/stat : 9800 (java) R 9787 9787 25100 0 -1 1077944384 2435 0 0 0 159 0 0 0 20 0 19 0 53728576 13638361088 49859 18446744073709551615 4194304 4196468 140735910951344 140312791398768 140313313282690 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19279872 140735910953430 140735910953606 140735910953606 140735910957007 0
[pid=9789/tid=9801] ppid=9787 vsize=13318712 CPUtime=0.74 cores=1,3,5,7
/proc/9789/task/9801/stat : 9801 (java) R 9787 9787 25100 0 -1 4202560 3027 0 0 0 73 1 0 0 20 0 19 0 53728576 13638361088 49859 18446744073709551615 4194304 4196468 140735910951344 140312790345712 140313294681551 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19279872 140735910953430 140735910953606 140735910953606 140735910957007 0
[pid=9789/tid=9802] ppid=9787 vsize=13318712 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9802/stat : 9802 (java) S 9787 9787 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53728576 13638361088 49859 18446744073709551615 4194304 4196468 140735910951344 140312789293408 140313313281749 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19279872 140735910953430 140735910953606 140735910953606 140735910957007 0
[pid=9789/tid=9803] ppid=9787 vsize=13318712 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9803/stat : 9803 (java) S 9787 9787 25100 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53728584 13638361088 49859 18446744073709551615 4194304 4196468 140735910951344 140312788241456 140313313282690 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19279872 140735910953430 140735910953606 140735910953606 140735910957007 0
[pid=9789/tid=9820] ppid=9787 vsize=13318712 CPUtime=0.94 cores=1,3,5,7
/proc/9789/task/9820/stat : 9820 (java) R 9787 9787 25100 0 -1 4202560 25 0 0 0 94 0 0 0 20 0 19 0 53728736 13638361088 49859 18446744073709551615 4194304 4196468 140735910951344 140312778620936 140312912582806 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19279872 140735910953430 140735910953606 140735910953606 140735910957007 0
[pid=9789/tid=9821] ppid=9787 vsize=13318712 CPUtime=1.02 cores=1,3,5,7
/proc/9789/task/9821/stat : 9821 (java) R 9787 9787 25100 0 -1 4202560 98 0 0 0 102 0 0 0 20 0 19 0 53728736 13638361088 49859 18446744073709551615 4194304 4196468 140735910951344 140312776517960 140312912583767 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19279872 140735910953430 140735910953606 140735910953606 140735910957007 0
[pid=9789/tid=9822] ppid=9787 vsize=13318712 CPUtime=0.95 cores=1,3,5,7
/proc/9789/task/9822/stat : 9822 (java) R 9787 9787 25100 0 -1 4202560 21 0 0 0 95 0 0 0 20 0 19 0 53728736 13638361088 49859 18446744073709551615 4194304 4196468 140735910951344 140312775462904 140312912582396 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19279872 140735910953430 140735910953606 140735910953606 140735910957007 0
[pid=9789/tid=9823] ppid=9787 vsize=13318712 CPUtime=0.96 cores=1,3,5,7
/proc/9789/task/9823/stat : 9823 (java) R 9787 9787 25100 0 -1 4202560 21 0 0 0 96 0 0 0 20 0 19 0 53728737 13638361088 49859 18446744073709551615 4194304 4196468 140735910951344 140312779673688 140312912582368 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19279872 140735910953430 140735910953606 140735910953606 140735910957007 0
Current children cumulated CPU time (s) 10.51
Current children cumulated vsize (KiB) 13328224
[startup+6.30112 s]
/proc/loadavg: 8.39 8.56 8.06 9/225 9823
/proc/meminfo: memFree=30243784/32770624 swapFree=0/328924
[pid=9787] ppid=9784 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/9787/stat : 9787 (xcsp3-exec) S 9784 9787 25100 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 53728560 9740288 345 18446744073709551615 4194304 5098028 140729411417136 140729411415240 140403145327228 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 10 0 0 7196144 7232144 13287424 140729411424665 140729411424874 140729411424874 140729411428331 0
/proc/9787/statm: 2378 345 289 221 0 87 0
[pid=9789] ppid=9787 vsize=13318712 CPUtime=23.2 cores=1,3,5,7
/proc/9789/stat : 9789 (java) S 9787 9787 25100 0 -1 1077944320 24333 0 0 0 2310 10 0 0 20 0 19 0 53728571 13638361088 50289 18446744073709551615 4194304 4196468 140735910951344 140735910933888 140313313271543 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19279872 140735910953430 140735910953606 140735910953606 140735910957007 0
/proc/9789/statm: 3329678 50289 3247 1 0 3317970 0
[pid=9789/tid=9790] ppid=9787 vsize=13318712 CPUtime=0.84 cores=1,3,5,7
/proc/9789/task/9790/stat : 9790 (java) S 9787 9787 25100 0 -1 1077944384 8354 0 0 0 80 4 0 0 20 0 19 0 53728571 13638361088 50289 18446744073709551615 4194304 4196468 140735910951344 140313317512320 140313313281749 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 19279872 140735910953430 140735910953606 140735910953606 140735910957007 0
[pid=9789/tid=9791] ppid=9787 vsize=13318712 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9791/stat : 9791 (java) S 9787 9787 25100 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 19 0 53728572 13638361088 50289 18446744073709551615 4194304 4196468 140735910951344 140313236097552 140313313281749 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19279872 140735910953430 140735910953606 140735910953606 140735910957007 0
[pid=9789/tid=9792] ppid=9787 vsize=13318712 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9792/stat : 9792 (java) S 9787 9787 25100 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 53728572 13638361088 50289 18446744073709551615 4194304 4196468 140735910951344 140313235045008 140313313281749 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19279872 140735910953430 140735910953606 140735910953606 140735910957007 0
[pid=9789/tid=9793] ppid=9787 vsize=13318712 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9793/stat : 9793 (java) S 9787 9787 25100 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 19 0 53728572 13638361088 50289 18446744073709551615 4194304 4196468 140735910951344 140313233991952 140313313281749 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19279872 140735910953430 140735910953606 140735910953606 140735910957007 0
[pid=9789/tid=9794] ppid=9787 vsize=13318712 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9794/stat : 9794 (java) S 9787 9787 25100 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 19 0 53728572 13638361088 50289 18446744073709551615 4194304 4196468 140735910951344 140313232939408 140313313281749 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19279872 140735910953430 140735910953606 140735910953606 140735910957007 0
[pid=9789/tid=9795] ppid=9787 vsize=13318712 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9795/stat : 9795 (java) S 9787 9787 25100 0 -1 1077944384 361 0 0 0 0 0 0 0 20 0 19 0 53728573 13638361088 50289 18446744073709551615 4194304 4196468 140735910951344 140312796662512 140313313282690 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19279872 140735910953430 140735910953606 140735910953606 140735910957007 0
[pid=9789/tid=9796] ppid=9787 vsize=13318712 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9796/stat : 9796 (java) S 9787 9787 25100 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 53728573 13638361088 50289 18446744073709551615 4194304 4196468 140735910951344 140312795608736 140313313281749 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19279872 140735910953430 140735910953606 140735910953606 140735910957007 0
[pid=9789/tid=9797] ppid=9787 vsize=13318712 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9797/stat : 9797 (java) S 9787 9787 25100 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 53728574 13638361088 50289 18446744073709551615 4194304 4196468 140735910951344 140312794555632 140313313281749 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19279872 140735910953430 140735910953606 140735910953606 140735910957007 0
[pid=9789/tid=9798] ppid=9787 vsize=13318712 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9798/stat : 9798 (java) S 9787 9787 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53728576 13638361088 50289 18446744073709551615 4194304 4196468 140735910951344 140312793504208 140313313290139 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19279872 140735910953430 140735910953606 140735910953606 140735910957007 0
[pid=9789/tid=9799] ppid=9787 vsize=13318712 CPUtime=2.02 cores=1,3,5,7
/proc/9789/task/9799/stat : 9799 (java) S 9787 9787 25100 0 -1 1077944384 4427 0 0 0 202 0 0 0 20 0 19 0 53728576 13638361088 50289 18446744073709551615 4194304 4196468 140735910951344 140312792451312 140313313282690 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19279872 140735910953430 140735910953606 140735910953606 140735910957007 0
[pid=9789/tid=9800] ppid=9787 vsize=13318712 CPUtime=2.23 cores=1,3,5,7
/proc/9789/task/9800/stat : 9800 (java) S 9787 9787 25100 0 -1 1077944384 4239 0 0 0 222 1 0 0 20 0 19 0 53728576 13638361088 50289 18446744073709551615 4194304 4196468 140735910951344 140312791398768 140313313282690 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19279872 140735910953430 140735910953606 140735910953606 140735910957007 0
[pid=9789/tid=9801] ppid=9787 vsize=13318712 CPUtime=0.8 cores=1,3,5,7
/proc/9789/task/9801/stat : 9801 (java) S 9787 9787 25100 0 -1 1077944384 3782 0 0 0 79 1 0 0 20 0 19 0 53728576 13638361088 50289 18446744073709551615 4194304 4196468 140735910951344 140312790345712 140313313282690 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19279872 140735910953430 140735910953606 140735910953606 140735910957007 0
[pid=9789/tid=9802] ppid=9787 vsize=13318712 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9802/stat : 9802 (java) S 9787 9787 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53728576 13638361088 50289 18446744073709551615 4194304 4196468 140735910951344 140312789293408 140313313281749 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19279872 140735910953430 140735910953606 140735910953606 140735910957007 0
[pid=9789/tid=9803] ppid=9787 vsize=13318712 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9803/stat : 9803 (java) S 9787 9787 25100 0 -1 1077944384 151 0 0 0 0 0 0 0 20 0 19 0 53728584 13638361088 50289 18446744073709551615 4194304 4196468 140735910951344 140312788241456 140313313282690 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19279872 140735910953430 140735910953606 140735910953606 140735910957007 0
[pid=9789/tid=9820] ppid=9787 vsize=13318712 CPUtime=3.75 cores=1,3,5,7
/proc/9789/task/9820/stat : 9820 (java) R 9787 9787 25100 0 -1 4202560 371 0 0 0 375 0 0 0 20 0 19 0 53728736 13638361088 50289 18446744073709551615 4194304 4196468 140735910951344 140312778620160 140312912582130 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19279872 140735910953430 140735910953606 140735910953606 140735910957007 0
[pid=9789/tid=9821] ppid=9787 vsize=13318712 CPUtime=3.94 cores=1,3,5,7
/proc/9789/task/9821/stat : 9821 (java) R 9787 9787 25100 0 -1 4202560 312 0 0 0 394 0 0 0 20 0 19 0 53728736 13638361088 50289 18446744073709551615 4194304 4196468 140735910951344 140312776515704 140312912583300 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19279872 140735910953430 140735910953606 140735910953606 140735910957007 0
[pid=9789/tid=9822] ppid=9787 vsize=13318712 CPUtime=3.84 cores=1,3,5,7
/proc/9789/task/9822/stat : 9822 (java) R 9787 9787 25100 0 -1 4202560 324 0 0 0 384 0 0 0 20 0 19 0 53728736 13638361088 50289 18446744073709551615 4194304 4196468 140735910951344 140312775463024 140312912582263 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19279872 140735910953430 140735910953606 140735910953606 140735910957007 0
[pid=9789/tid=9823] ppid=9787 vsize=13318712 CPUtime=3.87 cores=1,3,5,7
/proc/9789/task/9823/stat : 9823 (java) R 9787 9787 25100 0 -1 4202560 180 0 0 0 387 0 0 0 20 0 19 0 53728737 13638361088 50289 18446744073709551615 4194304 4196468 140735910951344 140312779672912 140312912582263 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19279872 140735910953430 140735910953606 140735910953606 140735910957007 0
Current children cumulated CPU time (s) 23.2
Current children cumulated vsize (KiB) 13328224
################
# More data... #
################
/proc/9789/task/9797/stat : 9797 (java) S 9787 9787 25100 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 19 0 53728574 13638361088 58034 18446744073709551615 4194304 4196468 140735910951344 140312794555648 140313313281749 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19279872 140735910953430 140735910953606 140735910953606 140735910957007 0
[pid=9789/tid=9798] ppid=9787 vsize=13318712 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9798/stat : 9798 (java) S 9787 9787 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53728576 13638361088 58034 18446744073709551615 4194304 4196468 140735910951344 140312793504208 140313313290139 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19279872 140735910953430 140735910953606 140735910953606 140735910957007 0
[pid=9789/tid=9799] ppid=9787 vsize=13318712 CPUtime=2.65 cores=1,3,5,7
/proc/9789/task/9799/stat : 9799 (java) S 9787 9787 25100 0 -1 1077944384 10853 0 0 0 265 0 0 0 20 0 19 0 53728576 13638361088 58034 18446744073709551615 4194304 4196468 140735910951344 140312792451312 140313313282690 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19279872 140735910953430 140735910953606 140735910953606 140735910957007 0
[pid=9789/tid=9800] ppid=9787 vsize=13318712 CPUtime=2.85 cores=1,3,5,7
/proc/9789/task/9800/stat : 9800 (java) S 9787 9787 25100 0 -1 1077944384 11274 0 0 0 284 1 0 0 20 0 19 0 53728576 13638361088 58034 18446744073709551615 4194304 4196468 140735910951344 140312791398768 140313313282690 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19279872 140735910953430 140735910953606 140735910953606 140735910957007 0
[pid=9789/tid=9801] ppid=9787 vsize=13318712 CPUtime=0.86 cores=1,3,5,7
/proc/9789/task/9801/stat : 9801 (java) S 9787 9787 25100 0 -1 1077944384 7549 0 0 0 84 2 0 0 20 0 19 0 53728576 13638361088 58034 18446744073709551615 4194304 4196468 140735910951344 140312790345712 140313313282690 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19279872 140735910953430 140735910953606 140735910953606 140735910957007 0
[pid=9789/tid=9802] ppid=9787 vsize=13318712 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9802/stat : 9802 (java) S 9787 9787 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53728576 13638361088 58034 18446744073709551615 4194304 4196468 140735910951344 140312789293408 140313313281749 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19279872 140735910953430 140735910953606 140735910953606 140735910957007 0
[pid=9789/tid=9803] ppid=9787 vsize=13318712 CPUtime=0.02 cores=1,3,5,7
/proc/9789/task/9803/stat : 9803 (java) S 9787 9787 25100 0 -1 1077944384 643 0 0 0 0 2 0 0 20 0 19 0 53728584 13638361088 58034 18446744073709551615 4194304 4196468 140735910951344 140312788241456 140313313282690 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19279872 140735910953430 140735910953606 140735910953606 140735910957007 0
[pid=9789/tid=9820] ppid=9787 vsize=13318712 CPUtime=111.64 cores=1,3,5,7
/proc/9789/task/9820/stat : 9820 (java) R 9787 9787 25100 0 -1 4202560 1611 0 0 0 11164 0 0 0 20 0 19 0 53728736 13638361088 58034 18446744073709551615 4194304 4196468 140735910951344 140312778620296 140312912582289 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19279872 140735910953430 140735910953606 140735910953606 140735910957007 0
[pid=9789/tid=9821] ppid=9787 vsize=13318712 CPUtime=112.22 cores=1,3,5,7
/proc/9789/task/9821/stat : 9821 (java) R 9787 9787 25100 0 -1 4202560 1623 0 0 0 11222 0 0 0 20 0 19 0 53728736 13638361088 58034 18446744073709551615 4194304 4196468 140735910951344 140312776515704 140312912582351 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19279872 140735910953430 140735910953606 140735910953606 140735910957007 0
[pid=9789/tid=9822] ppid=9787 vsize=13318712 CPUtime=112.02 cores=1,3,5,7
/proc/9789/task/9822/stat : 9822 (java) R 9787 9787 25100 0 -1 4202560 2740 0 0 0 11202 0 0 0 20 0 19 0 53728736 13638361088 58034 18446744073709551615 4194304 4196468 140735910951344 140312775463368 140312912582377 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19279872 140735910953430 140735910953606 140735910953606 140735910957007 0
[pid=9789/tid=9823] ppid=9787 vsize=13318712 CPUtime=112.06 cores=1,3,5,7
/proc/9789/task/9823/stat : 9823 (java) R 9787 9787 25100 0 -1 4202560 857 0 0 0 11206 0 0 0 20 0 19 0 53728737 13638361088 58034 18446744073709551615 4194304 4196468 140735910951344 140312779676144 140312912582657 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19279872 140735910953430 140735910953606 140735910953606 140735910957007 0
Current children cumulated CPU time (s) 457.31
Current children cumulated vsize (KiB) 13328224
[startup+116.001 s]
/proc/loadavg: 8.45 8.56 8.12 9/223 9827
/proc/meminfo: memFree=29992800/32770624 swapFree=0/328976
[pid=9787] ppid=9784 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/9787/stat : 9787 (xcsp3-exec) S 9784 9787 25100 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 53728560 9740288 345 18446744073709551615 4194304 5098028 140729411417136 140729411415240 140403145327228 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 10 0 0 7196144 7232144 13287424 140729411424665 140729411424874 140729411424874 140729411428331 0
/proc/9787/statm: 2378 345 289 221 0 87 0
[pid=9789] ppid=9787 vsize=13318712 CPUtime=460.49 cores=1,3,5,7
/proc/9789/stat : 9789 (java) S 9787 9787 25100 0 -1 1077944320 54436 0 0 0 46031 18 0 0 20 0 19 0 53728571 13638361088 58034 18446744073709551615 4194304 4196468 140735910951344 140735910933888 140313313271543 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19279872 140735910953430 140735910953606 140735910953606 140735910957007 0
/proc/9789/statm: 3329678 58034 3257 1 0 3317970 0
[pid=9789/tid=9790] ppid=9787 vsize=13318712 CPUtime=0.84 cores=1,3,5,7
/proc/9789/task/9790/stat : 9790 (java) S 9787 9787 25100 0 -1 1077944384 8354 0 0 0 80 4 0 0 20 0 19 0 53728571 13638361088 58034 18446744073709551615 4194304 4196468 140735910951344 140313317512320 140313313281749 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 19279872 140735910953430 140735910953606 140735910953606 140735910957007 0
[pid=9789/tid=9791] ppid=9787 vsize=13318712 CPUtime=0.05 cores=1,3,5,7
/proc/9789/task/9791/stat : 9791 (java) S 9787 9787 25100 0 -1 1077944384 1669 0 0 0 4 1 0 0 20 0 19 0 53728572 13638361088 58034 18446744073709551615 4194304 4196468 140735910951344 140313236097552 140313313281749 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19279872 140735910953430 140735910953606 140735910953606 140735910957007 0
[pid=9789/tid=9792] ppid=9787 vsize=13318712 CPUtime=0.04 cores=1,3,5,7
/proc/9789/task/9792/stat : 9792 (java) S 9787 9787 25100 0 -1 1077944384 1118 0 0 0 3 1 0 0 20 0 19 0 53728572 13638361088 58034 18446744073709551615 4194304 4196468 140735910951344 140313235045008 140313313281749 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19279872 140735910953430 140735910953606 140735910953606 140735910957007 0
[pid=9789/tid=9793] ppid=9787 vsize=13318712 CPUtime=0.05 cores=1,3,5,7
/proc/9789/task/9793/stat : 9793 (java) S 9787 9787 25100 0 -1 1077944384 1434 0 0 0 4 1 0 0 20 0 19 0 53728572 13638361088 58034 18446744073709551615 4194304 4196468 140735910951344 140313233991952 140313313281749 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19279872 140735910953430 140735910953606 140735910953606 140735910957007 0
[pid=9789/tid=9794] ppid=9787 vsize=13318712 CPUtime=0.05 cores=1,3,5,7
/proc/9789/task/9794/stat : 9794 (java) S 9787 9787 25100 0 -1 1077944384 1509 0 0 0 4 1 0 0 20 0 19 0 53728572 13638361088 58034 18446744073709551615 4194304 4196468 140735910951344 140313232939408 140313313281749 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19279872 140735910953430 140735910953606 140735910953606 140735910957007 0
[pid=9789/tid=9795] ppid=9787 vsize=13318712 CPUtime=0.02 cores=1,3,5,7
/proc/9789/task/9795/stat : 9795 (java) S 9787 9787 25100 0 -1 1077944384 1391 0 0 0 2 0 0 0 20 0 19 0 53728573 13638361088 58034 18446744073709551615 4194304 4196468 140735910951344 140312796662512 140313313282690 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19279872 140735910953430 140735910953606 140735910953606 140735910957007 0
[pid=9789/tid=9796] ppid=9787 vsize=13318712 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9796/stat : 9796 (java) S 9787 9787 25100 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 19 0 53728573 13638361088 58034 18446744073709551615 4194304 4196468 140735910951344 140312795608800 140313313281749 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19279872 140735910953430 140735910953606 140735910953606 140735910957007 0
[pid=9789/tid=9797] ppid=9787 vsize=13318712 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9797/stat : 9797 (java) S 9787 9787 25100 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 19 0 53728574 13638361088 58034 18446744073709551615 4194304 4196468 140735910951344 140312794555648 140313313281749 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19279872 140735910953430 140735910953606 140735910953606 140735910957007 0
[pid=9789/tid=9798] ppid=9787 vsize=13318712 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9798/stat : 9798 (java) S 9787 9787 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53728576 13638361088 58034 18446744073709551615 4194304 4196468 140735910951344 140312793504208 140313313290139 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19279872 140735910953430 140735910953606 140735910953606 140735910957007 0
[pid=9789/tid=9799] ppid=9787 vsize=13318712 CPUtime=2.65 cores=1,3,5,7
/proc/9789/task/9799/stat : 9799 (java) S 9787 9787 25100 0 -1 1077944384 10853 0 0 0 265 0 0 0 20 0 19 0 53728576 13638361088 58034 18446744073709551615 4194304 4196468 140735910951344 140312792451312 140313313282690 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19279872 140735910953430 140735910953606 140735910953606 140735910957007 0
[pid=9789/tid=9800] ppid=9787 vsize=13318712 CPUtime=2.85 cores=1,3,5,7
/proc/9789/task/9800/stat : 9800 (java) S 9787 9787 25100 0 -1 1077944384 11274 0 0 0 284 1 0 0 20 0 19 0 53728576 13638361088 58034 18446744073709551615 4194304 4196468 140735910951344 140312791398768 140313313282690 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19279872 140735910953430 140735910953606 140735910953606 140735910957007 0
[pid=9789/tid=9801] ppid=9787 vsize=13318712 CPUtime=0.86 cores=1,3,5,7
/proc/9789/task/9801/stat : 9801 (java) S 9787 9787 25100 0 -1 1077944384 7549 0 0 0 84 2 0 0 20 0 19 0 53728576 13638361088 58034 18446744073709551615 4194304 4196468 140735910951344 140312790345712 140313313282690 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19279872 140735910953430 140735910953606 140735910953606 140735910957007 0
[pid=9789/tid=9802] ppid=9787 vsize=13318712 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9802/stat : 9802 (java) S 9787 9787 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53728576 13638361088 58034 18446744073709551615 4194304 4196468 140735910951344 140312789293408 140313313281749 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19279872 140735910953430 140735910953606 140735910953606 140735910957007 0
[pid=9789/tid=9803] ppid=9787 vsize=13318712 CPUtime=0.02 cores=1,3,5,7
/proc/9789/task/9803/stat : 9803 (java) S 9787 9787 25100 0 -1 1077944384 643 0 0 0 0 2 0 0 20 0 19 0 53728584 13638361088 58034 18446744073709551615 4194304 4196468 140735910951344 140312788241456 140313313282690 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19279872 140735910953430 140735910953606 140735910953606 140735910957007 0
[pid=9789/tid=9820] ppid=9787 vsize=13318712 CPUtime=112.44 cores=1,3,5,7
/proc/9789/task/9820/stat : 9820 (java) R 9787 9787 25100 0 -1 4202560 1611 0 0 0 11244 0 0 0 20 0 19 0 53728736 13638361088 58034 18446744073709551615 4194304 4196468 140735910951344 140312778620296 140312912582512 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19279872 140735910953430 140735910953606 140735910953606 140735910957007 0
[pid=9789/tid=9821] ppid=9787 vsize=13318712 CPUtime=113.01 cores=1,3,5,7
/proc/9789/task/9821/stat : 9821 (java) R 9787 9787 25100 0 -1 4202560 1623 0 0 0 11301 0 0 0 20 0 19 0 53728736 13638361088 58034 18446744073709551615 4194304 4196468 140735910951344 140312776515704 140312912582322 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19279872 140735910953430 140735910953606 140735910953606 140735910957007 0
[pid=9789/tid=9822] ppid=9787 vsize=13318712 CPUtime=112.82 cores=1,3,5,7
/proc/9789/task/9822/stat : 9822 (java) R 9787 9787 25100 0 -1 4202560 2740 0 0 0 11282 0 0 0 20 0 19 0 53728736 13638361088 58034 18446744073709551615 4194304 4196468 140735910951344 140312775463368 140312912582363 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19279872 140735910953430 140735910953606 140735910953606 140735910957007 0
[pid=9789/tid=9823] ppid=9787 vsize=13318712 CPUtime=112.85 cores=1,3,5,7
/proc/9789/task/9823/stat : 9823 (java) R 9787 9787 25100 0 -1 4202560 857 0 0 0 11285 0 0 0 20 0 19 0 53728737 13638361088 58034 18446744073709551615 4194304 4196468 140735910951344 140312779676144 140312912582424 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19279872 140735910953430 140735910953606 140735910953606 140735910957007 0
Current children cumulated CPU time (s) 460.49
Current children cumulated vsize (KiB) 13328224
[startup+116.801 s]
/proc/loadavg: 8.45 8.56 8.12 10/223 9827
/proc/meminfo: memFree=29992924/32770624 swapFree=0/328976
[pid=9787] ppid=9784 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/9787/stat : 9787 (xcsp3-exec) S 9784 9787 25100 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 53728560 9740288 345 18446744073709551615 4194304 5098028 140729411417136 140729411415240 140403145327228 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 10 0 0 7196144 7232144 13287424 140729411424665 140729411424874 140729411424874 140729411428331 0
/proc/9787/statm: 2378 345 289 221 0 87 0
[pid=9789] ppid=9787 vsize=13318712 CPUtime=463.67 cores=1,3,5,7
/proc/9789/stat : 9789 (java) S 9787 9787 25100 0 -1 1077944320 54436 0 0 0 46349 18 0 0 20 0 19 0 53728571 13638361088 58034 18446744073709551615 4194304 4196468 140735910951344 140735910933888 140313313271543 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19279872 140735910953430 140735910953606 140735910953606 140735910957007 0
/proc/9789/statm: 3329678 58034 3257 1 0 3317970 0
[pid=9789/tid=9790] ppid=9787 vsize=13318712 CPUtime=0.84 cores=1,3,5,7
/proc/9789/task/9790/stat : 9790 (java) S 9787 9787 25100 0 -1 1077944384 8354 0 0 0 80 4 0 0 20 0 19 0 53728571 13638361088 58034 18446744073709551615 4194304 4196468 140735910951344 140313317512320 140313313281749 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 19279872 140735910953430 140735910953606 140735910953606 140735910957007 0
[pid=9789/tid=9791] ppid=9787 vsize=13318712 CPUtime=0.05 cores=1,3,5,7
/proc/9789/task/9791/stat : 9791 (java) S 9787 9787 25100 0 -1 1077944384 1669 0 0 0 4 1 0 0 20 0 19 0 53728572 13638361088 58034 18446744073709551615 4194304 4196468 140735910951344 140313236097552 140313313281749 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19279872 140735910953430 140735910953606 140735910953606 140735910957007 0
[pid=9789/tid=9792] ppid=9787 vsize=13318712 CPUtime=0.04 cores=1,3,5,7
/proc/9789/task/9792/stat : 9792 (java) S 9787 9787 25100 0 -1 1077944384 1118 0 0 0 3 1 0 0 20 0 19 0 53728572 13638361088 58034 18446744073709551615 4194304 4196468 140735910951344 140313235045008 140313313281749 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19279872 140735910953430 140735910953606 140735910953606 140735910957007 0
[pid=9789/tid=9793] ppid=9787 vsize=13318712 CPUtime=0.05 cores=1,3,5,7
/proc/9789/task/9793/stat : 9793 (java) S 9787 9787 25100 0 -1 1077944384 1434 0 0 0 4 1 0 0 20 0 19 0 53728572 13638361088 58034 18446744073709551615 4194304 4196468 140735910951344 140313233991952 140313313281749 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19279872 140735910953430 140735910953606 140735910953606 140735910957007 0
[pid=9789/tid=9794] ppid=9787 vsize=13318712 CPUtime=0.05 cores=1,3,5,7
/proc/9789/task/9794/stat : 9794 (java) S 9787 9787 25100 0 -1 1077944384 1509 0 0 0 4 1 0 0 20 0 19 0 53728572 13638361088 58034 18446744073709551615 4194304 4196468 140735910951344 140313232939408 140313313281749 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19279872 140735910953430 140735910953606 140735910953606 140735910957007 0
[pid=9789/tid=9795] ppid=9787 vsize=13318712 CPUtime=0.02 cores=1,3,5,7
/proc/9789/task/9795/stat : 9795 (java) S 9787 9787 25100 0 -1 1077944384 1391 0 0 0 2 0 0 0 20 0 19 0 53728573 13638361088 58034 18446744073709551615 4194304 4196468 140735910951344 140312796662512 140313313282690 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19279872 140735910953430 140735910953606 140735910953606 140735910957007 0
[pid=9789/tid=9796] ppid=9787 vsize=13318712 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9796/stat : 9796 (java) S 9787 9787 25100 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 19 0 53728573 13638361088 58034 18446744073709551615 4194304 4196468 140735910951344 140312795608800 140313313281749 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19279872 140735910953430 140735910953606 140735910953606 140735910957007 0
[pid=9789/tid=9797] ppid=9787 vsize=13318712 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9797/stat : 9797 (java) S 9787 9787 25100 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 19 0 53728574 13638361088 58034 18446744073709551615 4194304 4196468 140735910951344 140312794555648 140313313281749 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19279872 140735910953430 140735910953606 140735910953606 140735910957007 0
[pid=9789/tid=9798] ppid=9787 vsize=13318712 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9798/stat : 9798 (java) S 9787 9787 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53728576 13638361088 58034 18446744073709551615 4194304 4196468 140735910951344 140312793504208 140313313290139 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19279872 140735910953430 140735910953606 140735910953606 140735910957007 0
[pid=9789/tid=9799] ppid=9787 vsize=13318712 CPUtime=2.65 cores=1,3,5,7
/proc/9789/task/9799/stat : 9799 (java) S 9787 9787 25100 0 -1 1077944384 10853 0 0 0 265 0 0 0 20 0 19 0 53728576 13638361088 58034 18446744073709551615 4194304 4196468 140735910951344 140312792451312 140313313282690 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19279872 140735910953430 140735910953606 140735910953606 140735910957007 0
[pid=9789/tid=9800] ppid=9787 vsize=13318712 CPUtime=2.85 cores=1,3,5,7
/proc/9789/task/9800/stat : 9800 (java) S 9787 9787 25100 0 -1 1077944384 11274 0 0 0 284 1 0 0 20 0 19 0 53728576 13638361088 58034 18446744073709551615 4194304 4196468 140735910951344 140312791398768 140313313282690 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19279872 140735910953430 140735910953606 140735910953606 140735910957007 0
[pid=9789/tid=9801] ppid=9787 vsize=13318712 CPUtime=0.86 cores=1,3,5,7
/proc/9789/task/9801/stat : 9801 (java) S 9787 9787 25100 0 -1 1077944384 7549 0 0 0 84 2 0 0 20 0 19 0 53728576 13638361088 58034 18446744073709551615 4194304 4196468 140735910951344 140312790345712 140313313282690 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19279872 140735910953430 140735910953606 140735910953606 140735910957007 0
[pid=9789/tid=9802] ppid=9787 vsize=13318712 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9802/stat : 9802 (java) S 9787 9787 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53728576 13638361088 58034 18446744073709551615 4194304 4196468 140735910951344 140312789293408 140313313281749 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19279872 140735910953430 140735910953606 140735910953606 140735910957007 0
[pid=9789/tid=9803] ppid=9787 vsize=13318712 CPUtime=0.02 cores=1,3,5,7
/proc/9789/task/9803/stat : 9803 (java) S 9787 9787 25100 0 -1 1077944384 643 0 0 0 0 2 0 0 20 0 19 0 53728584 13638361088 58034 18446744073709551615 4194304 4196468 140735910951344 140312788241456 140313313282690 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19279872 140735910953430 140735910953606 140735910953606 140735910957007 0
[pid=9789/tid=9820] ppid=9787 vsize=13318712 CPUtime=113.24 cores=1,3,5,7
/proc/9789/task/9820/stat : 9820 (java) R 9787 9787 25100 0 -1 4202560 1611 0 0 0 11324 0 0 0 20 0 19 0 53728736 13638361088 58034 18446744073709551615 4194304 4196468 140735910951344 140312778620296 140312912582331 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19279872 140735910953430 140735910953606 140735910953606 140735910957007 0
[pid=9789/tid=9821] ppid=9787 vsize=13318712 CPUtime=113.8 cores=1,3,5,7
/proc/9789/task/9821/stat : 9821 (java) R 9787 9787 25100 0 -1 4202560 1623 0 0 0 11380 0 0 0 20 0 19 0 53728736 13638361088 58034 18446744073709551615 4194304 4196468 140735910951344 140312776515704 140312912582906 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19279872 140735910953430 140735910953606 140735910953606 140735910957007 0
[pid=9789/tid=9822] ppid=9787 vsize=13318712 CPUtime=113.62 cores=1,3,5,7
/proc/9789/task/9822/stat : 9822 (java) R 9787 9787 25100 0 -1 4202560 2740 0 0 0 11362 0 0 0 20 0 19 0 53728736 13638361088 58034 18446744073709551615 4194304 4196468 140735910951344 140312775463368 140312912582091 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19279872 140735910953430 140735910953606 140735910953606 140735910957007 0
[pid=9789/tid=9823] ppid=9787 vsize=13318712 CPUtime=113.65 cores=1,3,5,7
/proc/9789/task/9823/stat : 9823 (java) R 9787 9787 25100 0 -1 4202560 857 0 0 0 11365 0 0 0 20 0 19 0 53728737 13638361088 58034 18446744073709551615 4194304 4196468 140735910951344 140312779676144 140312912582934 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19279872 140735910953430 140735910953606 140735910953606 140735910957007 0
Current children cumulated CPU time (s) 463.67
Current children cumulated vsize (KiB) 13328224
[startup+117.001 s]
/proc/loadavg: 8.45 8.56 8.12 10/223 9827
/proc/meminfo: memFree=29992924/32770624 swapFree=0/328976
[pid=9787] ppid=9784 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/9787/stat : 9787 (xcsp3-exec) S 9784 9787 25100 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 53728560 9740288 345 18446744073709551615 4194304 5098028 140729411417136 140729411415240 140403145327228 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 10 0 0 7196144 7232144 13287424 140729411424665 140729411424874 140729411424874 140729411428331 0
/proc/9787/statm: 2378 345 289 221 0 87 0
[pid=9789] ppid=9787 vsize=13318712 CPUtime=464.47 cores=1,3,5,7
/proc/9789/stat : 9789 (java) S 9787 9787 25100 0 -1 1077944320 54436 0 0 0 46429 18 0 0 20 0 19 0 53728571 13638361088 58034 18446744073709551615 4194304 4196468 140735910951344 140735910933888 140313313271543 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19279872 140735910953430 140735910953606 140735910953606 140735910957007 0
/proc/9789/statm: 3329678 58034 3257 1 0 3317970 0
[pid=9789/tid=9790] ppid=9787 vsize=13318712 CPUtime=0.84 cores=1,3,5,7
/proc/9789/task/9790/stat : 9790 (java) S 9787 9787 25100 0 -1 1077944384 8354 0 0 0 80 4 0 0 20 0 19 0 53728571 13638361088 58034 18446744073709551615 4194304 4196468 140735910951344 140313317512320 140313313281749 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 19279872 140735910953430 140735910953606 140735910953606 140735910957007 0
[pid=9789/tid=9791] ppid=9787 vsize=13318712 CPUtime=0.05 cores=1,3,5,7
/proc/9789/task/9791/stat : 9791 (java) S 9787 9787 25100 0 -1 1077944384 1669 0 0 0 4 1 0 0 20 0 19 0 53728572 13638361088 58034 18446744073709551615 4194304 4196468 140735910951344 140313236097552 140313313281749 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19279872 140735910953430 140735910953606 140735910953606 140735910957007 0
[pid=9789/tid=9792] ppid=9787 vsize=13318712 CPUtime=0.04 cores=1,3,5,7
/proc/9789/task/9792/stat : 9792 (java) S 9787 9787 25100 0 -1 1077944384 1118 0 0 0 3 1 0 0 20 0 19 0 53728572 13638361088 58034 18446744073709551615 4194304 4196468 140735910951344 140313235045008 140313313281749 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19279872 140735910953430 140735910953606 140735910953606 140735910957007 0
[pid=9789/tid=9793] ppid=9787 vsize=13318712 CPUtime=0.05 cores=1,3,5,7
/proc/9789/task/9793/stat : 9793 (java) S 9787 9787 25100 0 -1 1077944384 1434 0 0 0 4 1 0 0 20 0 19 0 53728572 13638361088 58034 18446744073709551615 4194304 4196468 140735910951344 140313233991952 140313313281749 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19279872 140735910953430 140735910953606 140735910953606 140735910957007 0
[pid=9789/tid=9794] ppid=9787 vsize=13318712 CPUtime=0.05 cores=1,3,5,7
/proc/9789/task/9794/stat : 9794 (java) S 9787 9787 25100 0 -1 1077944384 1509 0 0 0 4 1 0 0 20 0 19 0 53728572 13638361088 58034 18446744073709551615 4194304 4196468 140735910951344 140313232939408 140313313281749 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19279872 140735910953430 140735910953606 140735910953606 140735910957007 0
[pid=9789/tid=9795] ppid=9787 vsize=13318712 CPUtime=0.02 cores=1,3,5,7
/proc/9789/task/9795/stat : 9795 (java) S 9787 9787 25100 0 -1 1077944384 1391 0 0 0 2 0 0 0 20 0 19 0 53728573 13638361088 58034 18446744073709551615 4194304 4196468 140735910951344 140312796662512 140313313282690 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19279872 140735910953430 140735910953606 140735910953606 140735910957007 0
[pid=9789/tid=9796] ppid=9787 vsize=13318712 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9796/stat : 9796 (java) S 9787 9787 25100 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 19 0 53728573 13638361088 58034 18446744073709551615 4194304 4196468 140735910951344 140312795608800 140313313281749 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19279872 140735910953430 140735910953606 140735910953606 140735910957007 0
[pid=9789/tid=9797] ppid=9787 vsize=13318712 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9797/stat : 9797 (java) S 9787 9787 25100 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 19 0 53728574 13638361088 58034 18446744073709551615 4194304 4196468 140735910951344 140312794555648 140313313281749 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19279872 140735910953430 140735910953606 140735910953606 140735910957007 0
[pid=9789/tid=9798] ppid=9787 vsize=13318712 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9798/stat : 9798 (java) S 9787 9787 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53728576 13638361088 58034 18446744073709551615 4194304 4196468 140735910951344 140312793504208 140313313290139 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19279872 140735910953430 140735910953606 140735910953606 140735910957007 0
[pid=9789/tid=9799] ppid=9787 vsize=13318712 CPUtime=2.65 cores=1,3,5,7
/proc/9789/task/9799/stat : 9799 (java) S 9787 9787 25100 0 -1 1077944384 10853 0 0 0 265 0 0 0 20 0 19 0 53728576 13638361088 58034 18446744073709551615 4194304 4196468 140735910951344 140312792451312 140313313282690 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19279872 140735910953430 140735910953606 140735910953606 140735910957007 0
[pid=9789/tid=9800] ppid=9787 vsize=13318712 CPUtime=2.85 cores=1,3,5,7
/proc/9789/task/9800/stat : 9800 (java) S 9787 9787 25100 0 -1 1077944384 11274 0 0 0 284 1 0 0 20 0 19 0 53728576 13638361088 58034 18446744073709551615 4194304 4196468 140735910951344 140312791398768 140313313282690 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19279872 140735910953430 140735910953606 140735910953606 140735910957007 0
[pid=9789/tid=9801] ppid=9787 vsize=13318712 CPUtime=0.86 cores=1,3,5,7
/proc/9789/task/9801/stat : 9801 (java) S 9787 9787 25100 0 -1 1077944384 7549 0 0 0 84 2 0 0 20 0 19 0 53728576 13638361088 58034 18446744073709551615 4194304 4196468 140735910951344 140312790345712 140313313282690 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19279872 140735910953430 140735910953606 140735910953606 140735910957007 0
[pid=9789/tid=9802] ppid=9787 vsize=13318712 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9802/stat : 9802 (java) S 9787 9787 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53728576 13638361088 58034 18446744073709551615 4194304 4196468 140735910951344 140312789293408 140313313281749 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19279872 140735910953430 140735910953606 140735910953606 140735910957007 0
[pid=9789/tid=9803] ppid=9787 vsize=13318712 CPUtime=0.02 cores=1,3,5,7
/proc/9789/task/9803/stat : 9803 (java) S 9787 9787 25100 0 -1 1077944384 643 0 0 0 0 2 0 0 20 0 19 0 53728584 13638361088 58034 18446744073709551615 4194304 4196468 140735910951344 140312788241456 140313313282690 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19279872 140735910953430 140735910953606 140735910953606 140735910957007 0
[pid=9789/tid=9820] ppid=9787 vsize=13318712 CPUtime=113.44 cores=1,3,5,7
/proc/9789/task/9820/stat : 9820 (java) R 9787 9787 25100 0 -1 4202560 1611 0 0 0 11344 0 0 0 20 0 19 0 53728736 13638361088 58034 18446744073709551615 4194304 4196468 140735910951344 140312778620296 140312914411438 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19279872 140735910953430 140735910953606 140735910953606 140735910957007 0
[pid=9789/tid=9821] ppid=9787 vsize=13318712 CPUtime=114 cores=1,3,5,7
/proc/9789/task/9821/stat : 9821 (java) R 9787 9787 25100 0 -1 4202560 1623 0 0 0 11400 0 0 0 20 0 19 0 53728736 13638361088 58034 18446744073709551615 4194304 4196468 140735910951344 140312776515704 140312912581886 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19279872 140735910953430 140735910953606 140735910953606 140735910957007 0
[pid=9789/tid=9822] ppid=9787 vsize=13318712 CPUtime=113.82 cores=1,3,5,7
/proc/9789/task/9822/stat : 9822 (java) R 9787 9787 25100 0 -1 4202560 2740 0 0 0 11382 0 0 0 20 0 19 0 53728736 13638361088 58034 18446744073709551615 4194304 4196468 140735910951344 140312775463368 140312914446623 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19279872 140735910953430 140735910953606 140735910953606 140735910957007 0
[pid=9789/tid=9823] ppid=9787 vsize=13318712 CPUtime=113.85 cores=1,3,5,7
/proc/9789/task/9823/stat : 9823 (java) R 9787 9787 25100 0 -1 4202560 857 0 0 0 11385 0 0 0 20 0 19 0 53728737 13638361088 58034 18446744073709551615 4194304 4196468 140735910951344 140312779676144 140312912582308 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19279872 140735910953430 140735910953606 140735910953606 140735910957007 0
Current children cumulated CPU time (s) 464.47
Current children cumulated vsize (KiB) 13328224
Child status: 0
Real time (s): 117.079
CPU time (s): 464.639
CPU user time (s): 464.451
CPU system time (s): 0.187691
CPU usage (%): 396.859
Max. virtual memory (cumulated for all children) (KiB): 13328224
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 464.451
system time used= 0.187691
maximum resident set size= 243060
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55264
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= 5697
involuntary context switches= 9117
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.548618 second user time and 0.907988 second system time
The end