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-4248814-1500692992/watcher-4248814-1500692992 -o /tmp/evaluation-result-4248814-1500692992/solver-4248814-1500692992 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1500682387-18842 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1449434240 HOME/instance-4248814-1500692992.xml
pid=14662
running on 8 cores: 4-7,12-15
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 11.85 12.46 12.86 10/275 14665
/proc/meminfo: memFree=29409472/32770624 swapFree=5944/265824
[pid=14665] ppid=14662 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/14665/stat : 14665 (xcsp3-exec) S 14662 14665 18810 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4566377 9740288 345 33554432000 4194304 5098028 140730575797808 140730575795912 140251344269948 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 14422016 140730575799438 140730575799648 140730575799648 140730575802347 0
/proc/14665/statm: 2378 345 289 221 0 87 0
[startup+0.100121 s]
/proc/loadavg: 11.85 12.46 12.86 10/275 14665
/proc/meminfo: memFree=29409472/32770624 swapFree=5944/265824
[pid=14665] ppid=14662 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/14665/stat : 14665 (xcsp3-exec) S 14662 14665 18810 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4566377 9740288 345 33554432000 4194304 5098028 140730575797808 140730575795912 140251344269948 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 14422016 140730575799438 140730575799648 140730575799648 140730575802347 0
/proc/14665/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: 11.85 12.46 12.86 10/275 14665
/proc/meminfo: memFree=29409472/32770624 swapFree=5944/265824
[pid=14665] ppid=14662 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/14665/stat : 14665 (xcsp3-exec) S 14662 14665 18810 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4566377 9740288 345 33554432000 4194304 5098028 140730575797808 140730575795912 140251344269948 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 14422016 140730575799438 140730575799648 140730575799648 140730575802347 0
/proc/14665/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300302 s]
/proc/loadavg: 11.85 12.46 12.86 10/275 14665
/proc/meminfo: memFree=29409472/32770624 swapFree=5944/265824
[pid=14665] ppid=14662 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/14665/stat : 14665 (xcsp3-exec) S 14662 14665 18810 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4566377 9740288 345 33554432000 4194304 5098028 140730575797808 140730575795912 140251344269948 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 14422016 140730575799438 140730575799648 140730575799648 140730575802347 0
/proc/14665/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700234 s]
/proc/loadavg: 11.85 12.46 12.86 10/275 14665
/proc/meminfo: memFree=29409472/32770624 swapFree=5944/265824
[pid=14665] ppid=14662 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/14665/stat : 14665 (xcsp3-exec) S 14662 14665 18810 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4566377 9740288 345 33554432000 4194304 5098028 140730575797808 140730575795912 140251344269948 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 14422016 140730575799438 140730575799648 140730575799648 140730575802347 0
/proc/14665/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50092 s]
/proc/loadavg: 11.70 12.42 12.85 10/296 14686
/proc/meminfo: memFree=28829848/32770624 swapFree=5944/265852
[pid=14665] ppid=14662 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/14665/stat : 14665 (xcsp3-exec) S 14662 14665 18810 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4566377 9740288 345 33554432000 4194304 5098028 140730575797808 140730575795912 140251344269948 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 14422016 140730575799438 140730575799648 140730575799648 140730575802347 0
/proc/14665/statm: 2378 345 289 221 0 87 0
[pid=14666] ppid=14665 vsize=13267208 CPUtime=3.76 cores=4-7,12-15
/proc/14666/stat : 14666 (java) S 14665 14665 18810 0 -1 1077944320 13702 0 0 0 316 60 0 0 20 0 20 0 4566378 13585620992 148774 33554432000 4194304 4196468 140721753852512 140721753835056 140601165741815 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 38502400 140721753855164 140721753855340 140721753855340 140721753857999 0
/proc/14666/statm: 3316802 148774 3236 1 0 3304035 0
[pid=14666/tid=14667] ppid=14665 vsize=13267208 CPUtime=1.24 cores=4-7,12-15
/proc/14666/task/14667/stat : 14667 (java) R 14665 14665 18810 0 -1 4202560 6511 0 0 0 117 7 0 0 20 0 20 0 4566378 13585620992 148774 33554432000 4194304 4196468 140721753852512 140601169979584 140600805026351 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38502400 140721753855164 140721753855340 140721753855340 140721753857999 0
[pid=14666/tid=14669] ppid=14665 vsize=13267208 CPUtime=0.2 cores=4-7,12-15
/proc/14666/task/14669/stat : 14669 (java) S 14665 14665 18810 0 -1 1077944384 140 0 0 0 12 8 0 0 20 0 20 0 4566379 13585620992 148774 33554432000 4194304 4196468 140721753852512 140601124502416 140601165752021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38502400 140721753855164 140721753855340 140721753855340 140721753857999 0
[pid=14666/tid=14670] ppid=14665 vsize=13267208 CPUtime=0.17 cores=4-7,12-15
/proc/14666/task/14670/stat : 14670 (java) S 14665 14665 18810 0 -1 1077944384 147 0 0 0 12 5 0 0 20 0 20 0 4566379 13585620992 148774 33554432000 4194304 4196468 140721753852512 140600764091152 140601165752021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38502400 140721753855164 140721753855340 140721753855340 140721753857999 0
[pid=14666/tid=14671] ppid=14665 vsize=13267208 CPUtime=0.2 cores=4-7,12-15
/proc/14666/task/14671/stat : 14671 (java) S 14665 14665 18810 0 -1 1077944384 76 0 0 0 14 6 0 0 20 0 20 0 4566379 13585620992 148774 33554432000 4194304 4196468 140721753852512 140600763038864 140601165752021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38502400 140721753855164 140721753855340 140721753855340 140721753857999 0
[pid=14666/tid=14672] ppid=14665 vsize=13267208 CPUtime=0.2 cores=4-7,12-15
/proc/14666/task/14672/stat : 14672 (java) S 14665 14665 18810 0 -1 1077944384 61 0 0 0 14 6 0 0 20 0 20 0 4566379 13585620992 148774 33554432000 4194304 4196468 140721753852512 140600761986064 140601165752021 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38502400 140721753855164 140721753855340 140721753855340 140721753857999 0
[pid=14666/tid=14673] ppid=14665 vsize=13267208 CPUtime=0.19 cores=4-7,12-15
/proc/14666/task/14673/stat : 14673 (java) S 14665 14665 18810 0 -1 1077944384 80 0 0 0 13 6 0 0 20 0 20 0 4566379 13585620992 148774 33554432000 4194304 4196468 140721753852512 140600760932752 140601165752021 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 38502400 140721753855164 140721753855340 140721753855340 140721753857999 0
[pid=14666/tid=14674] ppid=14665 vsize=13267208 CPUtime=0.19 cores=4-7,12-15
/proc/14666/task/14674/stat : 14674 (java) S 14665 14665 18810 0 -1 1077944384 73 0 0 0 14 5 0 0 20 0 20 0 4566379 13585620992 148774 33554432000 4194304 4196468 140721753852512 140600759879952 140601165752021 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38502400 140721753855164 140721753855340 140721753855340 140721753857999 0
[pid=14666/tid=14675] ppid=14665 vsize=13267208 CPUtime=0.18 cores=4-7,12-15
/proc/14666/task/14675/stat : 14675 (java) S 14665 14665 18810 0 -1 1077944384 203 0 0 0 12 6 0 0 20 0 20 0 4566379 13585620992 148774 33554432000 4194304 4196468 140721753852512 140600758827664 140601165752021 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 38502400 140721753855164 140721753855340 140721753855340 140721753857999 0
[pid=14666/tid=14676] ppid=14665 vsize=13267208 CPUtime=0.18 cores=4-7,12-15
/proc/14666/task/14676/stat : 14676 (java) S 14665 14665 18810 0 -1 1077944384 51 0 0 0 12 6 0 0 20 0 20 0 4566379 13585620992 148774 33554432000 4194304 4196468 140721753852512 140600757774864 140601165752021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38502400 140721753855164 140721753855340 140721753855340 140721753857999 0
[pid=14666/tid=14677] ppid=14665 vsize=13267208 CPUtime=0.02 cores=4-7,12-15
/proc/14666/task/14677/stat : 14677 (java) S 14665 14665 18810 0 -1 1077944384 564 0 0 0 2 0 0 0 20 0 20 0 4566380 13585620992 148774 33554432000 4194304 4196468 140721753852512 140600628083312 140601165752962 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38502400 140721753855164 140721753855340 140721753855340 140721753857999 0
[pid=14666/tid=14678] ppid=14665 vsize=13267208 CPUtime=0 cores=4-7,12-15
/proc/14666/task/14678/stat : 14678 (java) S 14665 14665 18810 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 4566381 13585620992 148774 33554432000 4194304 4196468 140721753852512 140600627029280 140601165752021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38502400 140721753855164 140721753855340 140721753855340 140721753857999 0
[pid=14666/tid=14679] ppid=14665 vsize=13267208 CPUtime=0 cores=4-7,12-15
/proc/14666/task/14679/stat : 14679 (java) S 14665 14665 18810 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 4566381 13585620992 148774 33554432000 4194304 4196468 140721753852512 140600625976944 140601165752021 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38502400 140721753855164 140721753855340 140721753855340 140721753857999 0
[pid=14666/tid=14680] ppid=14665 vsize=13267208 CPUtime=0 cores=4-7,12-15
/proc/14666/task/14680/stat : 14680 (java) S 14665 14665 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4566384 13585620992 148774 33554432000 4194304 4196468 140721753852512 140600624925264 140601165760411 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38502400 140721753855164 140721753855340 140721753855340 140721753857999 0
[pid=14666/tid=14681] ppid=14665 vsize=13267208 CPUtime=0.23 cores=4-7,12-15
/proc/14666/task/14681/stat : 14681 (java) S 14665 14665 18810 0 -1 1077944384 1183 0 0 0 23 0 0 0 20 0 20 0 4566384 13585620992 148774 33554432000 4194304 4196468 140721753852512 140600623872112 140601165752962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38502400 140721753855164 140721753855340 140721753855340 140721753857999 0
[pid=14666/tid=14682] ppid=14665 vsize=13267208 CPUtime=0.23 cores=4-7,12-15
/proc/14666/task/14682/stat : 14682 (java) S 14665 14665 18810 0 -1 1077944384 1106 0 0 0 23 0 0 0 20 0 20 0 4566384 13585620992 148774 33554432000 4194304 4196468 140721753852512 140600622819312 140601165752962 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38502400 140721753855164 140721753855340 140721753855340 140721753857999 0
[pid=14666/tid=14683] ppid=14665 vsize=13267208 CPUtime=0.2 cores=4-7,12-15
/proc/14666/task/14683/stat : 14683 (java) S 14665 14665 18810 0 -1 1077944384 833 0 0 0 20 0 0 0 20 0 20 0 4566384 13585620992 148774 33554432000 4194304 4196468 140721753852512 140600621767024 140601165752962 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38502400 140721753855164 140721753855340 140721753855340 140721753857999 0
[pid=14666/tid=14684] ppid=14665 vsize=13267208 CPUtime=0.22 cores=4-7,12-15
/proc/14666/task/14684/stat : 14684 (java) S 14665 14665 18810 0 -1 1077944384 1376 0 0 0 22 0 0 0 20 0 20 0 4566384 13585620992 148774 33554432000 4194304 4196468 140721753852512 140600620714224 140601165752962 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38502400 140721753855164 140721753855340 140721753855340 140721753857999 0
[pid=14666/tid=14685] ppid=14665 vsize=13267208 CPUtime=0 cores=4-7,12-15
/proc/14666/task/14685/stat : 14685 (java) S 14665 14665 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4566384 13585620992 148774 33554432000 4194304 4196468 140721753852512 140600619662176 140601165752021 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38502400 140721753855164 140721753855340 140721753855340 140721753857999 0
[pid=14666/tid=14686] ppid=14665 vsize=13267208 CPUtime=0 cores=4-7,12-15
/proc/14666/task/14686/stat : 14686 (java) S 14665 14665 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4566384 13585620992 148774 33554432000 4194304 4196468 140721753852512 140600618609456 140601165752962 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38502400 140721753855164 140721753855340 140721753855340 140721753857999 0
Current children cumulated CPU time (s) 3.76
Current children cumulated vsize (KiB) 13276720
[startup+3.10084 s]
/proc/loadavg: 11.70 12.42 12.85 10/296 14686
/proc/meminfo: memFree=28586440/32770624 swapFree=5944/265852
[pid=14665] ppid=14662 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/14665/stat : 14665 (xcsp3-exec) S 14662 14665 18810 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4566377 9740288 345 33554432000 4194304 5098028 140730575797808 140730575795912 140251344269948 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 14422016 140730575799438 140730575799648 140730575799648 140730575802347 0
/proc/14665/statm: 2378 345 289 221 0 87 0
[pid=14666] ppid=14665 vsize=13267208 CPUtime=6.15 cores=4-7,12-15
/proc/14666/stat : 14666 (java) S 14665 14665 18810 0 -1 1077944320 16675 0 0 0 512 103 0 0 20 0 20 0 4566378 13585620992 273234 33554432000 4194304 4196468 140721753852512 140721753835056 140601165741815 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 38502400 140721753855164 140721753855340 140721753855340 140721753857999 0
/proc/14666/statm: 3316802 273234 3237 1 0 3304035 0
[pid=14666/tid=14667] ppid=14665 vsize=13267208 CPUtime=2.71 cores=4-7,12-15
/proc/14666/task/14667/stat : 14667 (java) R 14665 14665 18810 0 -1 4202560 7346 0 0 0 258 13 0 0 20 0 20 0 4566378 13585620992 273234 33554432000 4194304 4196468 140721753852512 140601169979712 140600805338591 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38502400 140721753855164 140721753855340 140721753855340 140721753857999 0
[pid=14666/tid=14669] ppid=14665 vsize=13267208 CPUtime=0.3 cores=4-7,12-15
/proc/14666/task/14669/stat : 14669 (java) S 14665 14665 18810 0 -1 1077944384 300 0 0 0 18 12 0 0 20 0 20 0 4566379 13585620992 273234 33554432000 4194304 4196468 140721753852512 140601124502416 140601165752021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38502400 140721753855164 140721753855340 140721753855340 140721753857999 0
[pid=14666/tid=14670] ppid=14665 vsize=13267208 CPUtime=0.27 cores=4-7,12-15
/proc/14666/task/14670/stat : 14670 (java) S 14665 14665 18810 0 -1 1077944384 308 0 0 0 18 9 0 0 20 0 20 0 4566379 13585620992 273234 33554432000 4194304 4196468 140721753852512 140600764091152 140601165752021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38502400 140721753855164 140721753855340 140721753855340 140721753857999 0
[pid=14666/tid=14671] ppid=14665 vsize=13267208 CPUtime=0.31 cores=4-7,12-15
/proc/14666/task/14671/stat : 14671 (java) S 14665 14665 18810 0 -1 1077944384 259 0 0 0 21 10 0 0 20 0 20 0 4566379 13585620992 273234 33554432000 4194304 4196468 140721753852512 140600763038864 140601165752021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38502400 140721753855164 140721753855340 140721753855340 140721753857999 0
[pid=14666/tid=14672] ppid=14665 vsize=13267208 CPUtime=0.32 cores=4-7,12-15
/proc/14666/task/14672/stat : 14672 (java) S 14665 14665 18810 0 -1 1077944384 253 0 0 0 21 11 0 0 20 0 20 0 4566379 13585620992 273234 33554432000 4194304 4196468 140721753852512 140600761986064 140601165752021 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38502400 140721753855164 140721753855340 140721753855340 140721753857999 0
[pid=14666/tid=14673] ppid=14665 vsize=13267208 CPUtime=0.3 cores=4-7,12-15
/proc/14666/task/14673/stat : 14673 (java) S 14665 14665 18810 0 -1 1077944384 585 0 0 0 20 10 0 0 20 0 20 0 4566379 13585620992 273234 33554432000 4194304 4196468 140721753852512 140600760932752 140601165752021 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 38502400 140721753855164 140721753855340 140721753855340 140721753857999 0
[pid=14666/tid=14674] ppid=14665 vsize=13267208 CPUtime=0.31 cores=4-7,12-15
/proc/14666/task/14674/stat : 14674 (java) S 14665 14665 18810 0 -1 1077944384 267 0 0 0 21 10 0 0 20 0 20 0 4566379 13585620992 273234 33554432000 4194304 4196468 140721753852512 140600759879952 140601165752021 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38502400 140721753855164 140721753855340 140721753855340 140721753857999 0
[pid=14666/tid=14675] ppid=14665 vsize=13267208 CPUtime=0.3 cores=4-7,12-15
/proc/14666/task/14675/stat : 14675 (java) S 14665 14665 18810 0 -1 1077944384 392 0 0 0 19 11 0 0 20 0 20 0 4566379 13585620992 273234 33554432000 4194304 4196468 140721753852512 140600758827664 140601165752021 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 38502400 140721753855164 140721753855340 140721753855340 140721753857999 0
[pid=14666/tid=14676] ppid=14665 vsize=13267208 CPUtime=0.29 cores=4-7,12-15
/proc/14666/task/14676/stat : 14676 (java) S 14665 14665 18810 0 -1 1077944384 235 0 0 0 18 11 0 0 20 0 20 0 4566379 13585620992 273234 33554432000 4194304 4196468 140721753852512 140600757774864 140601165752021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38502400 140721753855164 140721753855340 140721753855340 140721753857999 0
[pid=14666/tid=14677] ppid=14665 vsize=13267208 CPUtime=0.02 cores=4-7,12-15
/proc/14666/task/14677/stat : 14677 (java) S 14665 14665 18810 0 -1 1077944384 932 0 0 0 2 0 0 0 20 0 20 0 4566380 13585620992 273234 33554432000 4194304 4196468 140721753852512 140600628083312 140601165752962 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38502400 140721753855164 140721753855340 140721753855340 140721753857999 0
[pid=14666/tid=14678] ppid=14665 vsize=13267208 CPUtime=0 cores=4-7,12-15
/proc/14666/task/14678/stat : 14678 (java) S 14665 14665 18810 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 4566381 13585620992 273234 33554432000 4194304 4196468 140721753852512 140600627029280 140601165752021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38502400 140721753855164 140721753855340 140721753855340 140721753857999 0
[pid=14666/tid=14679] ppid=14665 vsize=13267208 CPUtime=0 cores=4-7,12-15
/proc/14666/task/14679/stat : 14679 (java) S 14665 14665 18810 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 4566381 13585620992 273234 33554432000 4194304 4196468 140721753852512 140600625976944 140601165752021 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38502400 140721753855164 140721753855340 140721753855340 140721753857999 0
[pid=14666/tid=14680] ppid=14665 vsize=13267208 CPUtime=0 cores=4-7,12-15
/proc/14666/task/14680/stat : 14680 (java) S 14665 14665 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4566384 13585620992 273234 33554432000 4194304 4196468 140721753852512 140600624925264 140601165760411 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38502400 140721753855164 140721753855340 140721753855340 140721753857999 0
[pid=14666/tid=14681] ppid=14665 vsize=13267208 CPUtime=0.23 cores=4-7,12-15
/proc/14666/task/14681/stat : 14681 (java) S 14665 14665 18810 0 -1 1077944384 1183 0 0 0 23 0 0 0 20 0 20 0 4566384 13585620992 273234 33554432000 4194304 4196468 140721753852512 140600623872112 140601165752962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38502400 140721753855164 140721753855340 140721753855340 140721753857999 0
[pid=14666/tid=14682] ppid=14665 vsize=13267208 CPUtime=0.23 cores=4-7,12-15
/proc/14666/task/14682/stat : 14682 (java) S 14665 14665 18810 0 -1 1077944384 1106 0 0 0 23 0 0 0 20 0 20 0 4566384 13585620992 273234 33554432000 4194304 4196468 140721753852512 140600622819312 140601165752962 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38502400 140721753855164 140721753855340 140721753855340 140721753857999 0
[pid=14666/tid=14683] ppid=14665 vsize=13267208 CPUtime=0.2 cores=4-7,12-15
/proc/14666/task/14683/stat : 14683 (java) S 14665 14665 18810 0 -1 1077944384 833 0 0 0 20 0 0 0 20 0 20 0 4566384 13585620992 273234 33554432000 4194304 4196468 140721753852512 140600621767024 140601165752962 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38502400 140721753855164 140721753855340 140721753855340 140721753857999 0
[pid=14666/tid=14684] ppid=14665 vsize=13267208 CPUtime=0.22 cores=4-7,12-15
/proc/14666/task/14684/stat : 14684 (java) S 14665 14665 18810 0 -1 1077944384 1376 0 0 0 22 0 0 0 20 0 20 0 4566384 13585620992 273234 33554432000 4194304 4196468 140721753852512 140600620714224 140601165752962 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38502400 140721753855164 140721753855340 140721753855340 140721753857999 0
[pid=14666/tid=14685] ppid=14665 vsize=13267208 CPUtime=0 cores=4-7,12-15
/proc/14666/task/14685/stat : 14685 (java) S 14665 14665 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4566384 13585620992 273234 33554432000 4194304 4196468 140721753852512 140600619662176 140601165752021 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38502400 140721753855164 140721753855340 140721753855340 140721753857999 0
[pid=14666/tid=14686] ppid=14665 vsize=13267208 CPUtime=0 cores=4-7,12-15
/proc/14666/task/14686/stat : 14686 (java) S 14665 14665 18810 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 4566384 13585620992 273234 33554432000 4194304 4196468 140721753852512 140600618609456 140601165752962 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38502400 140721753855164 140721753855340 140721753855340 140721753857999 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 13276720
[startup+6.30085 s]
/proc/loadavg: 11.48 12.36 12.83 10/296 14686
/proc/meminfo: memFree=28196280/32770624 swapFree=5944/265864
[pid=14665] ppid=14662 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/14665/stat : 14665 (xcsp3-exec) S 14662 14665 18810 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4566377 9740288 345 33554432000 4194304 5098028 140730575797808 140730575795912 140251344269948 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 14422016 140730575799438 140730575799648 140730575799648 140730575802347 0
/proc/14665/statm: 2378 345 289 221 0 87 0
[pid=14666] ppid=14665 vsize=13267208 CPUtime=10.69 cores=4-7,12-15
/proc/14666/stat : 14666 (java) S 14665 14665 18810 0 -1 1077944320 22885 0 0 0 914 155 0 0 20 0 20 0 4566378 13585620992 305289 33554432000 4194304 4196468 140721753852512 140721753835056 140601165741815 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 38502400 140721753855164 140721753855340 140721753855340 140721753857999 0
/proc/14666/statm: 3316802 305289 3245 1 0 3304035 0
[pid=14666/tid=14667] ppid=14665 vsize=13267208 CPUtime=5.78 cores=4-7,12-15
/proc/14666/task/14667/stat : 14667 (java) R 14665 14665 18810 0 -1 4202560 9073 0 0 0 564 14 0 0 20 0 20 0 4566378 13585620992 305289 33554432000 4194304 4196468 140721753852512 140601169977560 140600805851901 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 38502400 140721753855164 140721753855340 140721753855340 140721753857999 0
[pid=14666/tid=14669] ppid=14665 vsize=13267208 CPUtime=0.44 cores=4-7,12-15
/proc/14666/task/14669/stat : 14669 (java) S 14665 14665 18810 0 -1 1077944384 473 0 0 0 25 19 0 0 20 0 20 0 4566379 13585620992 305289 33554432000 4194304 4196468 140721753852512 140601124502416 140601165752021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38502400 140721753855164 140721753855340 140721753855340 140721753857999 0
[pid=14666/tid=14670] ppid=14665 vsize=13267208 CPUtime=0.41 cores=4-7,12-15
/proc/14666/task/14670/stat : 14670 (java) S 14665 14665 18810 0 -1 1077944384 475 0 0 0 26 15 0 0 20 0 20 0 4566379 13585620992 305289 33554432000 4194304 4196468 140721753852512 140600764091152 140601165752021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38502400 140721753855164 140721753855340 140721753855340 140721753857999 0
[pid=14666/tid=14671] ppid=14665 vsize=13267208 CPUtime=0.45 cores=4-7,12-15
/proc/14666/task/14671/stat : 14671 (java) S 14665 14665 18810 0 -1 1077944384 405 0 0 0 28 17 0 0 20 0 20 0 4566379 13585620992 305289 33554432000 4194304 4196468 140721753852512 140600763038864 140601165752021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38502400 140721753855164 140721753855340 140721753855340 140721753857999 0
[pid=14666/tid=14672] ppid=14665 vsize=13267208 CPUtime=0.45 cores=4-7,12-15
/proc/14666/task/14672/stat : 14672 (java) S 14665 14665 18810 0 -1 1077944384 564 0 0 0 28 17 0 0 20 0 20 0 4566379 13585620992 305289 33554432000 4194304 4196468 140721753852512 140600761986064 140601165752021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38502400 140721753855164 140721753855340 140721753855340 140721753857999 0
[pid=14666/tid=14673] ppid=14665 vsize=13267208 CPUtime=0.45 cores=4-7,12-15
/proc/14666/task/14673/stat : 14673 (java) S 14665 14665 18810 0 -1 1077944384 736 0 0 0 28 17 0 0 20 0 20 0 4566379 13585620992 305289 33554432000 4194304 4196468 140721753852512 140600760932752 140601165752021 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 38502400 140721753855164 140721753855340 140721753855340 140721753857999 0
[pid=14666/tid=14674] ppid=14665 vsize=13267208 CPUtime=0.45 cores=4-7,12-15
/proc/14666/task/14674/stat : 14674 (java) S 14665 14665 18810 0 -1 1077944384 438 0 0 0 29 16 0 0 20 0 20 0 4566379 13585620992 305289 33554432000 4194304 4196468 140721753852512 140600759879952 140601165752021 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38502400 140721753855164 140721753855340 140721753855340 140721753857999 0
[pid=14666/tid=14675] ppid=14665 vsize=13267208 CPUtime=0.43 cores=4-7,12-15
/proc/14666/task/14675/stat : 14675 (java) S 14665 14665 18810 0 -1 1077944384 620 0 0 0 26 17 0 0 20 0 20 0 4566379 13585620992 305289 33554432000 4194304 4196468 140721753852512 140600758827664 140601165752021 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 38502400 140721753855164 140721753855340 140721753855340 140721753857999 0
[pid=14666/tid=14676] ppid=14665 vsize=13267208 CPUtime=0.43 cores=4-7,12-15
/proc/14666/task/14676/stat : 14676 (java) S 14665 14665 18810 0 -1 1077944384 501 0 0 0 26 17 0 0 20 0 20 0 4566379 13585620992 305289 33554432000 4194304 4196468 140721753852512 140600757774864 140601165752021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38502400 140721753855164 140721753855340 140721753855340 140721753857999 0
[pid=14666/tid=14677] ppid=14665 vsize=13267208 CPUtime=0.02 cores=4-7,12-15
/proc/14666/task/14677/stat : 14677 (java) S 14665 14665 18810 0 -1 1077944384 1097 0 0 0 2 0 0 0 20 0 20 0 4566380 13585620992 305289 33554432000 4194304 4196468 140721753852512 140600628083312 140601165752962 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38502400 140721753855164 140721753855340 140721753855340 140721753857999 0
[pid=14666/tid=14678] ppid=14665 vsize=13267208 CPUtime=0 cores=4-7,12-15
/proc/14666/task/14678/stat : 14678 (java) S 14665 14665 18810 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 20 0 4566381 13585620992 305289 33554432000 4194304 4196468 140721753852512 140600627029344 140601165752021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38502400 140721753855164 140721753855340 140721753855340 140721753857999 0
[pid=14666/tid=14679] ppid=14665 vsize=13267208 CPUtime=0 cores=4-7,12-15
/proc/14666/task/14679/stat : 14679 (java) S 14665 14665 18810 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 20 0 4566381 13585620992 305289 33554432000 4194304 4196468 140721753852512 140600625976960 140601165752021 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38502400 140721753855164 140721753855340 140721753855340 140721753857999 0
[pid=14666/tid=14680] ppid=14665 vsize=13267208 CPUtime=0 cores=4-7,12-15
/proc/14666/task/14680/stat : 14680 (java) S 14665 14665 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4566384 13585620992 305289 33554432000 4194304 4196468 140721753852512 140600624925264 140601165760411 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38502400 140721753855164 140721753855340 140721753855340 140721753857999 0
################
# More data... #
################
/proc/14666/task/14669/stat : 14669 (java) S 14665 14665 18810 0 -1 1077944384 15714 0 0 0 850 138 0 0 20 0 28 0 4566379 14133010432 1442597 33554432000 4194304 4196468 140721753852512 140601124502416 140601165752021 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38502400 140721753855164 140721753855340 140721753855340 140721753857999 0
[pid=14666/tid=14670] ppid=14665 vsize=13801768 CPUtime=9.94 cores=4-7,12-15
/proc/14666/task/14670/stat : 14670 (java) S 14665 14665 18810 0 -1 1077944384 12713 0 0 0 872 122 0 0 20 0 28 0 4566379 14133010432 1442597 33554432000 4194304 4196468 140721753852512 140600764091152 140601165752021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38502400 140721753855164 140721753855340 140721753855340 140721753857999 0
[pid=14666/tid=14671] ppid=14665 vsize=13801768 CPUtime=9.83 cores=4-7,12-15
/proc/14666/task/14671/stat : 14671 (java) S 14665 14665 18810 0 -1 1077944384 20061 0 0 0 855 128 0 0 20 0 28 0 4566379 14133010432 1442597 33554432000 4194304 4196468 140721753852512 140600763038864 140601165752021 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 38502400 140721753855164 140721753855340 140721753855340 140721753857999 0
[pid=14666/tid=14672] ppid=14665 vsize=13801768 CPUtime=10.04 cores=4-7,12-15
/proc/14666/task/14672/stat : 14672 (java) S 14665 14665 18810 0 -1 1077944384 11527 0 0 0 876 128 0 0 20 0 28 0 4566379 14133010432 1442597 33554432000 4194304 4196468 140721753852512 140600761986064 140601165752021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38502400 140721753855164 140721753855340 140721753855340 140721753857999 0
[pid=14666/tid=14673] ppid=14665 vsize=13801768 CPUtime=10.05 cores=4-7,12-15
/proc/14666/task/14673/stat : 14673 (java) S 14665 14665 18810 0 -1 1077944384 11001 0 0 0 883 122 0 0 20 0 28 0 4566379 14133010432 1442597 33554432000 4194304 4196468 140721753852512 140600760932752 140601165752021 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38502400 140721753855164 140721753855340 140721753855340 140721753857999 0
[pid=14666/tid=14674] ppid=14665 vsize=13801768 CPUtime=10.02 cores=4-7,12-15
/proc/14666/task/14674/stat : 14674 (java) S 14665 14665 18810 0 -1 1077944384 13361 0 0 0 878 124 0 0 20 0 28 0 4566379 14133010432 1442597 33554432000 4194304 4196468 140721753852512 140600759879952 140601165752021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38502400 140721753855164 140721753855340 140721753855340 140721753857999 0
[pid=14666/tid=14675] ppid=14665 vsize=13801768 CPUtime=9.97 cores=4-7,12-15
/proc/14666/task/14675/stat : 14675 (java) S 14665 14665 18810 0 -1 1077944384 12420 0 0 0 855 142 0 0 20 0 28 0 4566379 14133010432 1442597 33554432000 4194304 4196468 140721753852512 140600758827664 140601165752021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38502400 140721753855164 140721753855340 140721753855340 140721753857999 0
[pid=14666/tid=14676] ppid=14665 vsize=13801768 CPUtime=9.93 cores=4-7,12-15
/proc/14666/task/14676/stat : 14676 (java) S 14665 14665 18810 0 -1 1077944384 30541 0 0 0 879 114 0 0 20 0 28 0 4566379 14133010432 1442597 33554432000 4194304 4196468 140721753852512 140600757774864 140601165752021 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38502400 140721753855164 140721753855340 140721753855340 140721753857999 0
[pid=14666/tid=14677] ppid=14665 vsize=13801768 CPUtime=13.55 cores=4-7,12-15
/proc/14666/task/14677/stat : 14677 (java) S 14665 14665 18810 0 -1 1077944384 17527 0 0 0 1349 6 0 0 20 0 28 0 4566380 14133010432 1442597 33554432000 4194304 4196468 140721753852512 140600628083312 140601165752962 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38502400 140721753855164 140721753855340 140721753855340 140721753857999 0
[pid=14666/tid=14678] ppid=14665 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/14666/task/14678/stat : 14678 (java) S 14665 14665 18810 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 28 0 4566381 14133010432 1442597 33554432000 4194304 4196468 140721753852512 140600627029344 140601165752021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38502400 140721753855164 140721753855340 140721753855340 140721753857999 0
[pid=14666/tid=14679] ppid=14665 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/14666/task/14679/stat : 14679 (java) S 14665 14665 18810 0 -1 1077944384 154 0 0 0 0 0 0 0 20 0 28 0 4566381 14133010432 1442597 33554432000 4194304 4196468 140721753852512 140600625976960 140601165752021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38502400 140721753855164 140721753855340 140721753855340 140721753857999 0
[pid=14666/tid=14680] ppid=14665 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/14666/task/14680/stat : 14680 (java) S 14665 14665 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4566384 14133010432 1442597 33554432000 4194304 4196468 140721753852512 140600624925264 140601165760411 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38502400 140721753855164 140721753855340 140721753855340 140721753857999 0
[pid=14666/tid=14681] ppid=14665 vsize=13801768 CPUtime=1.68 cores=4-7,12-15
/proc/14666/task/14681/stat : 14681 (java) R 14665 14665 18810 0 -1 4202560 7447 0 0 0 167 1 0 0 20 0 28 0 4566384 14133010432 1442597 33554432000 4194304 4196468 140721753852512 140600623865304 140601150557226 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 38502400 140721753855164 140721753855340 140721753855340 140721753857999 0
[pid=14666/tid=14682] ppid=14665 vsize=13801768 CPUtime=2.09 cores=4-7,12-15
/proc/14666/task/14682/stat : 14682 (java) R 14665 14665 18810 0 -1 4202560 8844 0 0 0 207 2 0 0 20 0 28 0 4566384 14133010432 1442597 33554432000 4194304 4196468 140721753852512 140600622805344 140601147286033 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38502400 140721753855164 140721753855340 140721753855340 140721753857999 0
[pid=14666/tid=14683] ppid=14665 vsize=13801768 CPUtime=1.94 cores=4-7,12-15
/proc/14666/task/14683/stat : 14683 (java) R 14665 14665 18810 0 -1 4202560 8237 0 0 0 193 1 0 0 20 0 28 0 4566384 14133010432 1442597 33554432000 4194304 4196468 140721753852512 140600621755584 140601149732139 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 38502400 140721753855164 140721753855340 140721753855340 140721753857999 0
[pid=14666/tid=14684] ppid=14665 vsize=13801768 CPUtime=0.7 cores=4-7,12-15
/proc/14666/task/14684/stat : 14684 (java) S 14665 14665 18810 0 -1 1077944384 7550 0 0 0 68 2 0 0 20 0 28 0 4566384 14133010432 1442597 33554432000 4194304 4196468 140721753852512 140600620714224 140601165752962 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 38502400 140721753855164 140721753855340 140721753855340 140721753857999 0
[pid=14666/tid=14685] ppid=14665 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/14666/task/14685/stat : 14685 (java) S 14665 14665 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4566384 14133010432 1442597 33554432000 4194304 4196468 140721753852512 140600619662176 140601165752021 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38502400 140721753855164 140721753855340 140721753855340 140721753857999 0
[pid=14666/tid=14686] ppid=14665 vsize=13801768 CPUtime=0.06 cores=4-7,12-15
/proc/14666/task/14686/stat : 14686 (java) S 14665 14665 18810 0 -1 1077944384 325 0 0 0 3 3 0 0 20 0 28 0 4566384 14133010432 1442597 33554432000 4194304 4196468 140721753852512 140600618609456 140601165752962 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38502400 140721753855164 140721753855340 140721753855340 140721753857999 0
[pid=14666/tid=14877] ppid=14665 vsize=13801768 CPUtime=1.63 cores=4-7,12-15
/proc/14666/task/14877/stat : 14877 (java) R 14665 14665 18810 0 -1 4202560 95 0 0 0 163 0 0 0 20 0 28 0 4578304 14133010432 1442597 33554432000 4194304 4196468 140721753852512 140600610594688 140600805062544 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 38502400 140721753855164 140721753855340 140721753855340 140721753857999 0
[pid=14666/tid=14878] ppid=14665 vsize=13801768 CPUtime=1.64 cores=4-7,12-15
/proc/14666/task/14878/stat : 14878 (java) R 14665 14665 18810 0 -1 4202560 3490 0 0 0 164 0 0 0 20 0 28 0 4578329 14133010432 1442597 33554432000 4194304 4196468 140721753852512 140600609543128 140600804844681 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 38502400 140721753855164 140721753855340 140721753855340 140721753857999 0
[pid=14666/tid=14879] ppid=14665 vsize=13801768 CPUtime=1.65 cores=4-7,12-15
/proc/14666/task/14879/stat : 14879 (java) R 14665 14665 18810 0 -1 4202560 102 0 0 0 165 0 0 0 20 0 28 0 4578329 14133010432 1442597 33554432000 4194304 4196468 140721753852512 140600608489992 140600805110160 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 38502400 140721753855164 140721753855340 140721753855340 140721753857999 0
[pid=14666/tid=14880] ppid=14665 vsize=13801768 CPUtime=1.62 cores=4-7,12-15
/proc/14666/task/14880/stat : 14880 (java) R 14665 14665 18810 0 -1 4202560 81 0 0 0 162 0 0 0 20 0 28 0 4578329 14133010432 1442597 33554432000 4194304 4196468 140721753852512 140600607438208 140600808180349 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38502400 140721753855164 140721753855340 140721753855340 140721753857999 0
[pid=14666/tid=14881] ppid=14665 vsize=13801768 CPUtime=1.43 cores=4-7,12-15
/proc/14666/task/14881/stat : 14881 (java) R 14665 14665 18810 0 -1 4202560 461 0 0 0 143 0 0 0 20 0 28 0 4578329 14133010432 1442597 33554432000 4194304 4196468 140721753852512 140600606384768 140600808180321 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38502400 140721753855164 140721753855340 140721753855340 140721753857999 0
[pid=14666/tid=14882] ppid=14665 vsize=13801768 CPUtime=1.5 cores=4-7,12-15
/proc/14666/task/14882/stat : 14882 (java) R 14665 14665 18810 0 -1 4202560 30 0 0 0 150 0 0 0 20 0 28 0 4578329 14133010432 1442597 33554432000 4194304 4196468 140721753852512 140600605331872 140600804799121 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38502400 140721753855164 140721753855340 140721753855340 140721753857999 0
[pid=14666/tid=14883] ppid=14665 vsize=13801768 CPUtime=1.59 cores=4-7,12-15
/proc/14666/task/14883/stat : 14883 (java) R 14665 14665 18810 0 -1 4202560 32 0 0 0 159 0 0 0 20 0 28 0 4578329 14133010432 1442597 33554432000 4194304 4196468 140721753852512 140600604279272 140600804844659 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 38502400 140721753855164 140721753855340 140721753855340 140721753857999 0
[pid=14666/tid=14884] ppid=14665 vsize=13801768 CPUtime=1.5 cores=4-7,12-15
/proc/14666/task/14884/stat : 14884 (java) R 14665 14665 18810 0 -1 4202560 29 0 0 0 150 0 0 0 20 0 28 0 4578329 14133010432 1442597 33554432000 4194304 4196468 140721753852512 140600603226920 140600804844672 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 38502400 140721753855164 140721753855340 140721753855340 140721753857999 0
Current children cumulated CPU time (s) 208.23
Current children cumulated vsize (KiB) 13811280
[startup+122.402 s]
/proc/loadavg: 4.82 9.77 11.84 13/296 14884
/proc/meminfo: memFree=24652416/32770624 swapFree=5944/266084
[pid=14665] ppid=14662 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/14665/stat : 14665 (xcsp3-exec) S 14662 14665 18810 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4566377 9740288 345 33554432000 4194304 5098028 140730575797808 140730575795912 140251344269948 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 14422016 140730575799438 140730575799648 140730575799648 140730575802347 0
/proc/14665/statm: 2378 345 289 221 0 87 0
[pid=14666] ppid=14665 vsize=13801768 CPUtime=214.58 cores=4-7,12-15
/proc/14666/stat : 14666 (java) S 14665 14665 18810 0 -1 1077944320 224084 0 0 0 20388 1070 0 0 20 0 28 0 4566378 14133010432 1443087 33554432000 4194304 4196468 140721753852512 140721753835056 140601165741815 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 38502400 140721753855164 140721753855340 140721753855340 140721753857999 0
/proc/14666/statm: 3450442 1443087 3287 1 0 3437675 0
[pid=14666/tid=14667] ppid=14665 vsize=13801768 CPUtime=95.79 cores=4-7,12-15
/proc/14666/task/14667/stat : 14667 (java) S 14665 14665 18810 0 -1 1077944384 28927 0 0 0 9553 26 0 0 20 0 28 0 4566378 14133010432 1443087 33554432000 4194304 4196468 140721753852512 140601169982592 140601165752021 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38502400 140721753855164 140721753855340 140721753855340 140721753857999 0
[pid=14666/tid=14669] ppid=14665 vsize=13801768 CPUtime=9.88 cores=4-7,12-15
/proc/14666/task/14669/stat : 14669 (java) S 14665 14665 18810 0 -1 1077944384 15714 0 0 0 850 138 0 0 20 0 28 0 4566379 14133010432 1443087 33554432000 4194304 4196468 140721753852512 140601124502416 140601165752021 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38502400 140721753855164 140721753855340 140721753855340 140721753857999 0
[pid=14666/tid=14670] ppid=14665 vsize=13801768 CPUtime=9.94 cores=4-7,12-15
/proc/14666/task/14670/stat : 14670 (java) S 14665 14665 18810 0 -1 1077944384 12713 0 0 0 872 122 0 0 20 0 28 0 4566379 14133010432 1443087 33554432000 4194304 4196468 140721753852512 140600764091152 140601165752021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38502400 140721753855164 140721753855340 140721753855340 140721753857999 0
[pid=14666/tid=14671] ppid=14665 vsize=13801768 CPUtime=9.83 cores=4-7,12-15
/proc/14666/task/14671/stat : 14671 (java) S 14665 14665 18810 0 -1 1077944384 20061 0 0 0 855 128 0 0 20 0 28 0 4566379 14133010432 1443087 33554432000 4194304 4196468 140721753852512 140600763038864 140601165752021 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 38502400 140721753855164 140721753855340 140721753855340 140721753857999 0
[pid=14666/tid=14672] ppid=14665 vsize=13801768 CPUtime=10.04 cores=4-7,12-15
/proc/14666/task/14672/stat : 14672 (java) S 14665 14665 18810 0 -1 1077944384 11527 0 0 0 876 128 0 0 20 0 28 0 4566379 14133010432 1443087 33554432000 4194304 4196468 140721753852512 140600761986064 140601165752021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38502400 140721753855164 140721753855340 140721753855340 140721753857999 0
[pid=14666/tid=14673] ppid=14665 vsize=13801768 CPUtime=10.05 cores=4-7,12-15
/proc/14666/task/14673/stat : 14673 (java) S 14665 14665 18810 0 -1 1077944384 11001 0 0 0 883 122 0 0 20 0 28 0 4566379 14133010432 1443087 33554432000 4194304 4196468 140721753852512 140600760932752 140601165752021 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38502400 140721753855164 140721753855340 140721753855340 140721753857999 0
[pid=14666/tid=14674] ppid=14665 vsize=13801768 CPUtime=10.02 cores=4-7,12-15
/proc/14666/task/14674/stat : 14674 (java) S 14665 14665 18810 0 -1 1077944384 13361 0 0 0 878 124 0 0 20 0 28 0 4566379 14133010432 1443087 33554432000 4194304 4196468 140721753852512 140600759879952 140601165752021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38502400 140721753855164 140721753855340 140721753855340 140721753857999 0
[pid=14666/tid=14675] ppid=14665 vsize=13801768 CPUtime=9.97 cores=4-7,12-15
/proc/14666/task/14675/stat : 14675 (java) S 14665 14665 18810 0 -1 1077944384 12420 0 0 0 855 142 0 0 20 0 28 0 4566379 14133010432 1443087 33554432000 4194304 4196468 140721753852512 140600758827664 140601165752021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38502400 140721753855164 140721753855340 140721753855340 140721753857999 0
[pid=14666/tid=14676] ppid=14665 vsize=13801768 CPUtime=9.93 cores=4-7,12-15
/proc/14666/task/14676/stat : 14676 (java) S 14665 14665 18810 0 -1 1077944384 30541 0 0 0 879 114 0 0 20 0 28 0 4566379 14133010432 1443087 33554432000 4194304 4196468 140721753852512 140600757774864 140601165752021 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38502400 140721753855164 140721753855340 140721753855340 140721753857999 0
[pid=14666/tid=14677] ppid=14665 vsize=13801768 CPUtime=13.55 cores=4-7,12-15
/proc/14666/task/14677/stat : 14677 (java) S 14665 14665 18810 0 -1 1077944384 17545 0 0 0 1349 6 0 0 20 0 28 0 4566380 14133010432 1443087 33554432000 4194304 4196468 140721753852512 140600628083312 140601165752962 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38502400 140721753855164 140721753855340 140721753855340 140721753857999 0
[pid=14666/tid=14678] ppid=14665 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/14666/task/14678/stat : 14678 (java) S 14665 14665 18810 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 28 0 4566381 14133010432 1443087 33554432000 4194304 4196468 140721753852512 140600627029344 140601165752021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38502400 140721753855164 140721753855340 140721753855340 140721753857999 0
[pid=14666/tid=14679] ppid=14665 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/14666/task/14679/stat : 14679 (java) S 14665 14665 18810 0 -1 1077944384 154 0 0 0 0 0 0 0 20 0 28 0 4566381 14133010432 1443087 33554432000 4194304 4196468 140721753852512 140600625976960 140601165752021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38502400 140721753855164 140721753855340 140721753855340 140721753857999 0
[pid=14666/tid=14680] ppid=14665 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/14666/task/14680/stat : 14680 (java) S 14665 14665 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4566384 14133010432 1443087 33554432000 4194304 4196468 140721753852512 140600624925264 140601165760411 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38502400 140721753855164 140721753855340 140721753855340 140721753857999 0
[pid=14666/tid=14681] ppid=14665 vsize=13801768 CPUtime=2.3 cores=4-7,12-15
/proc/14666/task/14681/stat : 14681 (java) R 14665 14665 18810 0 -1 4202560 10660 0 0 0 228 2 0 0 20 0 28 0 4566384 14133010432 1443087 33554432000 4194304 4196468 140721753852512 140600623858136 140601147266716 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 38502400 140721753855164 140721753855340 140721753855340 140721753857999 0
[pid=14666/tid=14682] ppid=14665 vsize=13801768 CPUtime=2.55 cores=4-7,12-15
/proc/14666/task/14682/stat : 14682 (java) R 14665 14665 18810 0 -1 4202560 13602 0 0 0 253 2 0 0 20 0 28 0 4566384 14133010432 1443087 33554432000 4194304 4196468 140721753852512 140600622805152 140601147262937 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38502400 140721753855164 140721753855340 140721753855340 140721753857999 0
[pid=14666/tid=14683] ppid=14665 vsize=13801768 CPUtime=2.44 cores=4-7,12-15
/proc/14666/task/14683/stat : 14683 (java) R 14665 14665 18810 0 -1 4202560 10832 0 0 0 243 1 0 0 20 0 28 0 4566384 14133010432 1443087 33554432000 4194304 4196468 140721753852512 140600621753120 140601143661451 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 38502400 140721753855164 140721753855340 140721753855340 140721753857999 0
[pid=14666/tid=14684] ppid=14665 vsize=13801768 CPUtime=0.71 cores=4-7,12-15
/proc/14666/task/14684/stat : 14684 (java) S 14665 14665 18810 0 -1 1077944384 7655 0 0 0 69 2 0 0 20 0 28 0 4566384 14133010432 1443087 33554432000 4194304 4196468 140721753852512 140600620714224 140601165752962 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 38502400 140721753855164 140721753855340 140721753855340 140721753857999 0
[pid=14666/tid=14685] ppid=14665 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/14666/task/14685/stat : 14685 (java) S 14665 14665 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4566384 14133010432 1443087 33554432000 4194304 4196468 140721753852512 140600619662176 140601165752021 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38502400 140721753855164 140721753855340 140721753855340 140721753857999 0
[pid=14666/tid=14686] ppid=14665 vsize=13801768 CPUtime=0.06 cores=4-7,12-15
/proc/14666/task/14686/stat : 14686 (java) S 14665 14665 18810 0 -1 1077944384 336 0 0 0 3 3 0 0 20 0 28 0 4566384 14133010432 1443087 33554432000 4194304 4196468 140721753852512 140600618609456 140601165752962 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38502400 140721753855164 140721753855340 140721753855340 140721753857999 0
[pid=14666/tid=14877] ppid=14665 vsize=13801768 CPUtime=2.29 cores=4-7,12-15
/proc/14666/task/14877/stat : 14877 (java) R 14665 14665 18810 0 -1 4202560 192 0 0 0 229 0 0 0 20 0 28 0 4578304 14133010432 1443087 33554432000 4194304 4196468 140721753852512 140600610594496 140600804844654 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 38502400 140721753855164 140721753855340 140721753855340 140721753857999 0
[pid=14666/tid=14878] ppid=14665 vsize=13801768 CPUtime=2.22 cores=4-7,12-15
/proc/14666/task/14878/stat : 14878 (java) R 14665 14665 18810 0 -1 4202560 4145 0 0 0 222 0 0 0 20 0 28 0 4578329 14133010432 1443087 33554432000 4194304 4196468 140721753852512 140600609543784 140600804844693 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38502400 140721753855164 140721753855340 140721753855340 140721753857999 0
[pid=14666/tid=14879] ppid=14665 vsize=13801768 CPUtime=2.2 cores=4-7,12-15
/proc/14666/task/14879/stat : 14879 (java) R 14665 14665 18810 0 -1 4202560 180 0 0 0 220 0 0 0 20 0 28 0 4578329 14133010432 1443087 33554432000 4194304 4196468 140721753852512 140600608491080 140600804844659 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 38502400 140721753855164 140721753855340 140721753855340 140721753857999 0
[pid=14666/tid=14880] ppid=14665 vsize=13801768 CPUtime=2.2 cores=4-7,12-15
/proc/14666/task/14880/stat : 14880 (java) R 14665 14665 18810 0 -1 4202560 302 0 0 0 220 0 0 0 20 0 28 0 4578329 14133010432 1443087 33554432000 4194304 4196468 140721753852512 140600607436408 140600804844659 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 38502400 140721753855164 140721753855340 140721753855340 140721753857999 0
[pid=14666/tid=14881] ppid=14665 vsize=13801768 CPUtime=2.06 cores=4-7,12-15
/proc/14666/task/14881/stat : 14881 (java) R 14665 14665 18810 0 -1 4202560 507 0 0 0 206 0 0 0 20 0 28 0 4578329 14133010432 1443087 33554432000 4194304 4196468 140721753852512 140600606384008 140600805062586 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 38502400 140721753855164 140721753855340 140721753855340 140721753857999 0
[pid=14666/tid=14882] ppid=14665 vsize=13801768 CPUtime=2.05 cores=4-7,12-15
/proc/14666/task/14882/stat : 14882 (java) R 14665 14665 18810 0 -1 4202560 98 0 0 0 205 0 0 0 20 0 28 0 4578329 14133010432 1443087 33554432000 4194304 4196468 140721753852512 140600605333840 140600804799287 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38502400 140721753855164 140721753855340 140721753855340 140721753857999 0
[pid=14666/tid=14883] ppid=14665 vsize=13801768 CPUtime=2.1 cores=4-7,12-15
/proc/14666/task/14883/stat : 14883 (java) R 14665 14665 18810 0 -1 4202560 96 0 0 0 210 0 0 0 20 0 28 0 4578329 14133010432 1443087 33554432000 4194304 4196468 140721753852512 140600604278904 140600804844693 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38502400 140721753855164 140721753855340 140721753855340 140721753857999 0
[pid=14666/tid=14884] ppid=14665 vsize=13801768 CPUtime=2.18 cores=4-7,12-15
/proc/14666/task/14884/stat : 14884 (java) R 14665 14665 18810 0 -1 4202560 212 0 0 0 218 0 0 0 20 0 28 0 4578329 14133010432 1443087 33554432000 4194304 4196468 140721753852512 140600603226184 140600805062581 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38502400 140721753855164 140721753855340 140721753855340 140721753857999 0
Current children cumulated CPU time (s) 214.58
Current children cumulated vsize (KiB) 13811280
[startup+122.602 s]
/proc/loadavg: 4.82 9.77 11.84 13/296 14884
/proc/meminfo: memFree=24652416/32770624 swapFree=5944/266084
[pid=14665] ppid=14662 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/14665/stat : 14665 (xcsp3-exec) S 14662 14665 18810 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4566377 9740288 345 33554432000 4194304 5098028 140730575797808 140730575795912 140251344269948 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 14422016 140730575799438 140730575799648 140730575799648 140730575802347 0
/proc/14665/statm: 2378 345 289 221 0 87 0
[pid=14666] ppid=14665 vsize=13801768 CPUtime=216.04 cores=4-7,12-15
/proc/14666/stat : 14666 (java) S 14665 14665 18810 0 -1 1077944320 226370 0 0 0 20534 1070 0 0 20 0 19 0 4566378 14133010432 1442959 33554432000 4194304 4196468 140721753852512 140721753835056 140601165741815 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 38502400 140721753855164 140721753855340 140721753855340 140721753857999 0
/proc/14666/statm: 3450442 1442959 3290 1 0 3437675 0
[pid=14666/tid=14667] ppid=14665 vsize=13801768 CPUtime=95.8 cores=4-7,12-15
/proc/14666/task/14667/stat : 14667 (java) S 14665 14665 18810 0 -1 1077944384 29421 0 0 0 9554 26 0 0 20 0 19 0 4566378 14133010432 1442959 33554432000 4194304 4196468 140721753852512 140601169984656 140601165752021 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38502400 140721753855164 140721753855340 140721753855340 140721753857999 0
[pid=14666/tid=14669] ppid=14665 vsize=13801768 CPUtime=9.88 cores=4-7,12-15
/proc/14666/task/14669/stat : 14669 (java) S 14665 14665 18810 0 -1 1077944384 15714 0 0 0 850 138 0 0 20 0 19 0 4566379 14133010432 1442959 33554432000 4194304 4196468 140721753852512 140601124502416 140601165752021 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38502400 140721753855164 140721753855340 140721753855340 140721753857999 0
[pid=14666/tid=14670] ppid=14665 vsize=13801768 CPUtime=9.94 cores=4-7,12-15
/proc/14666/task/14670/stat : 14670 (java) S 14665 14665 18810 0 -1 1077944384 12713 0 0 0 872 122 0 0 20 0 19 0 4566379 14133010432 1442959 33554432000 4194304 4196468 140721753852512 140600764091152 140601165752021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38502400 140721753855164 140721753855340 140721753855340 140721753857999 0
[pid=14666/tid=14671] ppid=14665 vsize=13801768 CPUtime=9.83 cores=4-7,12-15
/proc/14666/task/14671/stat : 14671 (java) S 14665 14665 18810 0 -1 1077944384 20061 0 0 0 855 128 0 0 20 0 19 0 4566379 14133010432 1442959 33554432000 4194304 4196468 140721753852512 140600763038864 140601165752021 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 38502400 140721753855164 140721753855340 140721753855340 140721753857999 0
[pid=14666/tid=14672] ppid=14665 vsize=13801768 CPUtime=10.04 cores=4-7,12-15
/proc/14666/task/14672/stat : 14672 (java) S 14665 14665 18810 0 -1 1077944384 11527 0 0 0 876 128 0 0 20 0 19 0 4566379 14133010432 1442959 33554432000 4194304 4196468 140721753852512 140600761986064 140601165752021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38502400 140721753855164 140721753855340 140721753855340 140721753857999 0
[pid=14666/tid=14673] ppid=14665 vsize=13801768 CPUtime=10.05 cores=4-7,12-15
/proc/14666/task/14673/stat : 14673 (java) S 14665 14665 18810 0 -1 1077944384 11001 0 0 0 883 122 0 0 20 0 19 0 4566379 14133010432 1442959 33554432000 4194304 4196468 140721753852512 140600760932752 140601165752021 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38502400 140721753855164 140721753855340 140721753855340 140721753857999 0
[pid=14666/tid=14674] ppid=14665 vsize=13801768 CPUtime=10.02 cores=4-7,12-15
/proc/14666/task/14674/stat : 14674 (java) S 14665 14665 18810 0 -1 1077944384 13361 0 0 0 878 124 0 0 20 0 19 0 4566379 14133010432 1442959 33554432000 4194304 4196468 140721753852512 140600759879952 140601165752021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38502400 140721753855164 140721753855340 140721753855340 140721753857999 0
[pid=14666/tid=14675] ppid=14665 vsize=13801768 CPUtime=9.97 cores=4-7,12-15
/proc/14666/task/14675/stat : 14675 (java) S 14665 14665 18810 0 -1 1077944384 12420 0 0 0 855 142 0 0 20 0 19 0 4566379 14133010432 1442959 33554432000 4194304 4196468 140721753852512 140600758827664 140601165752021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38502400 140721753855164 140721753855340 140721753855340 140721753857999 0
[pid=14666/tid=14676] ppid=14665 vsize=13801768 CPUtime=9.93 cores=4-7,12-15
/proc/14666/task/14676/stat : 14676 (java) S 14665 14665 18810 0 -1 1077944384 30541 0 0 0 879 114 0 0 20 0 19 0 4566379 14133010432 1442959 33554432000 4194304 4196468 140721753852512 140600757774864 140601165752021 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38502400 140721753855164 140721753855340 140721753855340 140721753857999 0
[pid=14666/tid=14677] ppid=14665 vsize=13801768 CPUtime=13.55 cores=4-7,12-15
/proc/14666/task/14677/stat : 14677 (java) S 14665 14665 18810 0 -1 1077944384 17573 0 0 0 1349 6 0 0 20 0 19 0 4566380 14133010432 1442959 33554432000 4194304 4196468 140721753852512 140600628083520 140601165752962 0 0 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 38502400 140721753855164 140721753855340 140721753855340 140721753857999 0
[pid=14666/tid=14678] ppid=14665 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/14666/task/14678/stat : 14678 (java) S 14665 14665 18810 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 19 0 4566381 14133010432 1442959 33554432000 4194304 4196468 140721753852512 140600627029344 140601165752021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38502400 140721753855164 140721753855340 140721753855340 140721753857999 0
[pid=14666/tid=14679] ppid=14665 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/14666/task/14679/stat : 14679 (java) S 14665 14665 18810 0 -1 1077944384 154 0 0 0 0 0 0 0 20 0 19 0 4566381 14133010432 1443025 33554432000 4194304 4196468 140721753852512 140600625976960 140601165752021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38502400 140721753855164 140721753855340 140721753855340 140721753857999 0
[pid=14666/tid=14680] ppid=14665 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/14666/task/14680/stat : 14680 (java) S 14665 14665 18810 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 4566384 14133010432 1443025 33554432000 4194304 4196468 140721753852512 140600624924320 140601165752021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38502400 140721753855164 140721753855340 140721753855340 140721753857999 0
[pid=14666/tid=14681] ppid=14665 vsize=13801768 CPUtime=2.5 cores=4-7,12-15
/proc/14666/task/14681/stat : 14681 (java) R 14665 14665 18810 0 -1 4202560 11992 0 0 0 248 2 0 0 20 0 19 0 4566384 14133010432 1443025 33554432000 4194304 4196468 140721753852512 140600623858088 140601147285538 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 38502400 140721753855164 140721753855340 140721753855340 140721753857999 0
[pid=14666/tid=14682] ppid=14665 vsize=13801768 CPUtime=2.61 cores=4-7,12-15
/proc/14666/task/14682/stat : 14682 (java) S 14665 14665 18810 0 -1 1077944384 13686 0 0 0 259 2 0 0 20 0 19 0 4566384 14133010432 1443025 33554432000 4194304 4196468 140721753852512 140600622819312 140601165752962 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38502400 140721753855164 140721753855340 140721753855340 140721753857999 0
[pid=14666/tid=14683] ppid=14665 vsize=13801768 CPUtime=2.53 cores=4-7,12-15
/proc/14666/task/14683/stat : 14683 (java) S 14665 14665 18810 0 -1 1077944384 10911 0 0 0 252 1 0 0 20 0 19 0 4566384 14133010432 1443025 33554432000 4194304 4196468 140721753852512 140600621751984 140601165752021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38502400 140721753855164 140721753855340 140721753855340 140721753857999 0
[pid=14666/tid=14684] ppid=14665 vsize=13801768 CPUtime=0.71 cores=4-7,12-15
/proc/14666/task/14684/stat : 14684 (java) S 14665 14665 18810 0 -1 1077944384 7679 0 0 0 69 2 0 0 20 0 19 0 4566384 14133010432 1443025 33554432000 4194304 4196468 140721753852512 140600620714224 140601165752962 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38502400 140721753855164 140721753855340 140721753855340 140721753857999 0
[pid=14666/tid=14685] ppid=14665 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/14666/task/14685/stat : 14685 (java) S 14665 14665 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 4566384 14133010432 1443025 33554432000 4194304 4196468 140721753852512 140600619662176 140601165752021 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38502400 140721753855164 140721753855340 140721753855340 140721753857999 0
Current children cumulated CPU time (s) 216.04
Current children cumulated vsize (KiB) 13811280
Child status: 0
Real time (s): 122.66
CPU time (s): 216.099
CPU user time (s): 205.359
CPU system time (s): 10.7397
CPU usage (%): 176.177
Max. virtual memory (cumulated for all children) (KiB): 13813240
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 205.359
system time used= 10.7397
maximum resident set size= 5772656
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 227000
page faults= 0
swaps= 0
block input operations= 0
block output operations= 312
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16207
involuntary context switches= 13724
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.983239 second user time and 1.2789 second system time
The end