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-4253980-1501613467/watcher-4253980-1501613467 -o /tmp/evaluation-result-4253980-1501613467/solver-4253980-1501613467 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node130-1501611170-5184 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 455160892 HOME/instance-4253980-1501613467.xml
pid=6629
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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: 2.11 1.94 1.52 3/195 6632
/proc/meminfo: memFree=31884852/32770624 swapFree=0/180272
[pid=6632] ppid=6629 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/6632/stat : 6632 (runsolver) D 6629 6632 5123 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 9963645 24240128 108 18446744073709551615 4194304 4338465 140724056174624 140724056172264 140017107993303 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 39112704 140724056182878 140724056183366 140724056183366 140724056186826 0
/proc/6632/statm: 5918 108 54 36 0 2156 0
[startup+0.100107 s]
/proc/loadavg: 2.11 1.94 1.52 3/195 6632
/proc/meminfo: memFree=31884852/32770624 swapFree=0/180272
[pid=6632] ppid=6629 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6632/stat : 6632 (xcsp3-exec) S 6629 6632 5123 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9963645 9740288 345 18446744073709551615 4194304 5098028 140734239497856 140734239495960 140370590802556 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 11378688 140734239506844 140734239507047 140734239507047 140734239510507 0
/proc/6632/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200301 s]
/proc/loadavg: 2.11 1.94 1.52 3/195 6632
/proc/meminfo: memFree=31884852/32770624 swapFree=0/180272
[pid=6632] ppid=6629 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6632/stat : 6632 (xcsp3-exec) S 6629 6632 5123 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9963645 9740288 345 18446744073709551615 4194304 5098028 140734239497856 140734239495960 140370590802556 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 11378688 140734239506844 140734239507047 140734239507047 140734239510507 0
/proc/6632/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300222 s]
/proc/loadavg: 2.11 1.94 1.52 3/195 6632
/proc/meminfo: memFree=31884852/32770624 swapFree=0/180272
[pid=6632] ppid=6629 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6632/stat : 6632 (xcsp3-exec) S 6629 6632 5123 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9963645 9740288 345 18446744073709551615 4194304 5098028 140734239497856 140734239495960 140370590802556 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 11378688 140734239506844 140734239507047 140734239507047 140734239510507 0
/proc/6632/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.701204 s]
/proc/loadavg: 2.11 1.94 1.52 3/195 6632
/proc/meminfo: memFree=31884852/32770624 swapFree=0/180272
[pid=6632] ppid=6629 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6632/stat : 6632 (xcsp3-exec) S 6629 6632 5123 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9963645 9740288 345 18446744073709551615 4194304 5098028 140734239497856 140734239495960 140370590802556 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 11378688 140734239506844 140734239507047 140734239507047 140734239510507 0
/proc/6632/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50121 s]
/proc/loadavg: 2.11 1.94 1.52 3/211 6648
/proc/meminfo: memFree=31815748/32770624 swapFree=0/180288
[pid=6632] ppid=6629 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6632/stat : 6632 (xcsp3-exec) S 6629 6632 5123 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9963645 9740288 345 18446744073709551615 4194304 5098028 140734239497856 140734239495960 140370590802556 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 11378688 140734239506844 140734239507047 140734239507047 140734239510507 0
/proc/6632/statm: 2378 345 289 221 0 87 0
[pid=6634] ppid=6632 vsize=13980732 CPUtime=3.22 cores=1,3,5,7
/proc/6634/stat : 6634 (java) S 6632 6632 5123 0 -1 1077944320 23070 0 0 0 317 5 0 0 20 0 15 0 9963653 14316269568 21239 18446744073709551615 4194304 4196468 140725145263344 140725145245888 140328138972919 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26689536 140725145264596 140725145264771 140725145264771 140725145268175 0
/proc/6634/statm: 3495183 21239 3172 1 0 3483484 0
[pid=6634/tid=6635] ppid=6632 vsize=13980732 CPUtime=1.36 cores=1,3,5,7
/proc/6634/task/6635/stat : 6635 (java) R 6632 6632 5123 0 -1 4202560 9119 0 0 0 134 2 0 0 20 0 15 0 9963653 14316269568 21239 18446744073709551615 4194304 4196468 140725145263344 140328143211424 140327742269792 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 26689536 140725145264596 140725145264771 140725145264771 140725145268175 0
[pid=6634/tid=6636] ppid=6632 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6634/task/6636/stat : 6636 (java) S 6632 6632 5123 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9963654 14316269568 21239 18446744073709551615 4194304 4196468 140725145263344 140328058387344 140328138983125 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26689536 140725145264596 140725145264771 140725145264771 140725145268175 0
[pid=6634/tid=6637] ppid=6632 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6634/task/6637/stat : 6637 (java) S 6632 6632 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9963654 14316269568 21239 18446744073709551615 4194304 4196468 140725145263344 140327738403600 140328138983125 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26689536 140725145264596 140725145264771 140725145264771 140725145268175 0
[pid=6634/tid=6638] ppid=6632 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6634/task/6638/stat : 6638 (java) S 6632 6632 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9963654 14316269568 21239 18446744073709551615 4194304 4196468 140725145263344 140327737351312 140328138983125 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26689536 140725145264596 140725145264771 140725145264771 140725145268175 0
[pid=6634/tid=6639] ppid=6632 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6634/task/6639/stat : 6639 (java) S 6632 6632 5123 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9963654 14316269568 21239 18446744073709551615 4194304 4196468 140725145263344 140327736298512 140328138983125 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26689536 140725145264596 140725145264771 140725145264771 140725145268175 0
[pid=6634/tid=6640] ppid=6632 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6634/task/6640/stat : 6640 (java) S 6632 6632 5123 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 9963656 14316269568 21239 18446744073709551615 4194304 4196468 140725145263344 140327324297328 140328138984066 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26689536 140725145264596 140725145264771 140725145264771 140725145268175 0
[pid=6634/tid=6641] ppid=6632 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6634/task/6641/stat : 6641 (java) S 6632 6632 5123 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9963656 14316269568 21239 18446744073709551615 4194304 4196468 140725145263344 140327323243296 140328138983125 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26689536 140725145264596 140725145264771 140725145264771 140725145268175 0
[pid=6634/tid=6642] ppid=6632 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6634/task/6642/stat : 6642 (java) S 6632 6632 5123 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9963656 14316269568 21239 18446744073709551615 4194304 4196468 140725145263344 140327322190960 140328138983125 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26689536 140725145264596 140725145264771 140725145264771 140725145268175 0
[pid=6634/tid=6643] ppid=6632 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6634/task/6643/stat : 6643 (java) S 6632 6632 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9963659 14316269568 21239 18446744073709551615 4194304 4196468 140725145263344 140327321139280 140328138991515 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26689536 140725145264596 140725145264771 140725145264771 140725145268175 0
[pid=6634/tid=6644] ppid=6632 vsize=13980732 CPUtime=0.71 cores=1,3,5,7
/proc/6634/task/6644/stat : 6644 (java) R 6632 6632 5123 0 -1 4202560 4923 0 0 0 71 0 0 0 20 0 15 0 9963659 14316269568 21239 18446744073709551615 4194304 4196468 140725145263344 140327320080344 140328118229491 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26689536 140725145264596 140725145264771 140725145264771 140725145268175 0
[pid=6634/tid=6645] ppid=6632 vsize=13980732 CPUtime=0.71 cores=1,3,5,7
/proc/6634/task/6645/stat : 6645 (java) R 6632 6632 5123 0 -1 4202560 4939 0 0 0 71 0 0 0 20 0 15 0 9963659 14316269568 21239 18446744073709551615 4194304 4196468 140725145263344 140326782093328 140328120158672 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26689536 140725145264596 140725145264771 140725145264771 140725145268175 0
[pid=6634/tid=6646] ppid=6632 vsize=13980732 CPUtime=0.4 cores=1,3,5,7
/proc/6634/task/6646/stat : 6646 (java) S 6632 6632 5123 0 -1 1077944384 2779 0 0 0 39 1 0 0 20 0 15 0 9963659 14316269568 21239 18446744073709551615 4194304 4196468 140725145263344 140326781049712 140328138984066 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26689536 140725145264596 140725145264771 140725145264771 140725145268175 0
[pid=6634/tid=6647] ppid=6632 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6634/task/6647/stat : 6647 (java) S 6632 6632 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9963659 14316269568 21239 18446744073709551615 4194304 4196468 140725145263344 140326779997152 140328138983125 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26689536 140725145264596 140725145264771 140725145264771 140725145268175 0
[pid=6634/tid=6648] ppid=6632 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6634/task/6648/stat : 6648 (java) S 6632 6632 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9963663 14316269568 21239 18446744073709551615 4194304 4196468 140725145263344 140326778943920 140328138984066 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26689536 140725145264596 140725145264771 140725145264771 140725145268175 0
Current children cumulated CPU time (s) 3.22
Current children cumulated vsize (KiB) 13990244
[startup+3.10057 s]
/proc/loadavg: 2.11 1.94 1.52 3/211 6648
/proc/meminfo: memFree=31804276/32770624 swapFree=0/180288
[pid=6632] ppid=6629 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6632/stat : 6632 (xcsp3-exec) S 6629 6632 5123 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9963645 9740288 345 18446744073709551615 4194304 5098028 140734239497856 140734239495960 140370590802556 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 11378688 140734239506844 140734239507047 140734239507047 140734239510507 0
/proc/6632/statm: 2378 345 289 221 0 87 0
[pid=6634] ppid=6632 vsize=13980732 CPUtime=5.94 cores=1,3,5,7
/proc/6634/stat : 6634 (java) S 6632 6632 5123 0 -1 1077944320 28217 0 0 0 588 6 0 0 20 0 15 0 9963653 14316269568 23636 18446744073709551615 4194304 4196468 140725145263344 140725145245888 140328138972919 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26689536 140725145264596 140725145264771 140725145264771 140725145268175 0
/proc/6634/statm: 3495183 23636 3180 1 0 3483484 0
[pid=6634/tid=6635] ppid=6632 vsize=13980732 CPUtime=2.96 cores=1,3,5,7
/proc/6634/task/6635/stat : 6635 (java) R 6632 6632 5123 0 -1 4202560 9518 0 0 0 293 3 0 0 20 0 15 0 9963653 14316269568 23636 18446744073709551615 4194304 4196468 140725145263344 140328143211304 140327743272169 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 26689536 140725145264596 140725145264771 140725145264771 140725145268175 0
[pid=6634/tid=6636] ppid=6632 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6634/task/6636/stat : 6636 (java) S 6632 6632 5123 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9963654 14316269568 23636 18446744073709551615 4194304 4196468 140725145263344 140328058387344 140328138983125 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26689536 140725145264596 140725145264771 140725145264771 140725145268175 0
[pid=6634/tid=6637] ppid=6632 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6634/task/6637/stat : 6637 (java) S 6632 6632 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9963654 14316269568 23636 18446744073709551615 4194304 4196468 140725145263344 140327738403600 140328138983125 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26689536 140725145264596 140725145264771 140725145264771 140725145268175 0
[pid=6634/tid=6638] ppid=6632 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6634/task/6638/stat : 6638 (java) S 6632 6632 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9963654 14316269568 23636 18446744073709551615 4194304 4196468 140725145263344 140327737351312 140328138983125 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26689536 140725145264596 140725145264771 140725145264771 140725145268175 0
[pid=6634/tid=6639] ppid=6632 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6634/task/6639/stat : 6639 (java) S 6632 6632 5123 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9963654 14316269568 23636 18446744073709551615 4194304 4196468 140725145263344 140327736298512 140328138983125 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26689536 140725145264596 140725145264771 140725145264771 140725145268175 0
[pid=6634/tid=6640] ppid=6632 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6634/task/6640/stat : 6640 (java) S 6632 6632 5123 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 9963656 14316269568 23636 18446744073709551615 4194304 4196468 140725145263344 140327324297328 140328138984066 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26689536 140725145264596 140725145264771 140725145264771 140725145268175 0
[pid=6634/tid=6641] ppid=6632 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6634/task/6641/stat : 6641 (java) S 6632 6632 5123 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9963656 14316269568 23636 18446744073709551615 4194304 4196468 140725145263344 140327323243296 140328138983125 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26689536 140725145264596 140725145264771 140725145264771 140725145268175 0
[pid=6634/tid=6642] ppid=6632 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6634/task/6642/stat : 6642 (java) S 6632 6632 5123 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9963656 14316269568 23636 18446744073709551615 4194304 4196468 140725145263344 140327322190960 140328138983125 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26689536 140725145264596 140725145264771 140725145264771 140725145268175 0
[pid=6634/tid=6643] ppid=6632 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6634/task/6643/stat : 6643 (java) S 6632 6632 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9963659 14316269568 23636 18446744073709551615 4194304 4196468 140725145263344 140327321139280 140328138991515 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26689536 140725145264596 140725145264771 140725145264771 140725145268175 0
[pid=6634/tid=6644] ppid=6632 vsize=13980732 CPUtime=1.28 cores=1,3,5,7
/proc/6634/task/6644/stat : 6644 (java) S 6632 6632 5123 0 -1 1077944384 6524 0 0 0 128 0 0 0 20 0 15 0 9963659 14316269568 23636 18446744073709551615 4194304 4196468 140725145263344 140327320087152 140328138984066 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26689536 140725145264596 140725145264771 140725145264771 140725145268175 0
[pid=6634/tid=6645] ppid=6632 vsize=13980732 CPUtime=1.24 cores=1,3,5,7
/proc/6634/task/6645/stat : 6645 (java) S 6632 6632 5123 0 -1 1077944384 7953 0 0 0 123 1 0 0 20 0 15 0 9963659 14316269568 23636 18446744073709551615 4194304 4196468 140725145263344 140326782102000 140328138984066 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26689536 140725145264596 140725145264771 140725145264771 140725145268175 0
[pid=6634/tid=6646] ppid=6632 vsize=13980732 CPUtime=0.42 cores=1,3,5,7
/proc/6634/task/6646/stat : 6646 (java) S 6632 6632 5123 0 -1 1077944384 2896 0 0 0 41 1 0 0 20 0 15 0 9963659 14316269568 23636 18446744073709551615 4194304 4196468 140725145263344 140326781049712 140328138984066 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26689536 140725145264596 140725145264771 140725145264771 140725145268175 0
[pid=6634/tid=6647] ppid=6632 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6634/task/6647/stat : 6647 (java) S 6632 6632 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9963659 14316269568 23636 18446744073709551615 4194304 4196468 140725145263344 140326779997152 140328138983125 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26689536 140725145264596 140725145264771 140725145264771 140725145268175 0
[pid=6634/tid=6648] ppid=6632 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6634/task/6648/stat : 6648 (java) S 6632 6632 5123 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 9963663 14316269568 23636 18446744073709551615 4194304 4196468 140725145263344 140326778943920 140328138984066 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26689536 140725145264596 140725145264771 140725145264771 140725145268175 0
Current children cumulated CPU time (s) 5.94
Current children cumulated vsize (KiB) 13990244
[startup+6.30057 s]
/proc/loadavg: 2.10 1.94 1.52 3/211 6648
/proc/meminfo: memFree=31804016/32770624 swapFree=0/180300
[pid=6632] ppid=6629 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6632/stat : 6632 (xcsp3-exec) S 6629 6632 5123 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9963645 9740288 345 18446744073709551615 4194304 5098028 140734239497856 140734239495960 140370590802556 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 11378688 140734239506844 140734239507047 140734239507047 140734239510507 0
/proc/6632/statm: 2378 345 289 221 0 87 0
[pid=6634] ppid=6632 vsize=13980732 CPUtime=9.32 cores=1,3,5,7
/proc/6634/stat : 6634 (java) S 6632 6632 5123 0 -1 1077944320 32063 0 0 0 925 7 0 0 20 0 15 0 9963653 14316269568 24179 18446744073709551615 4194304 4196468 140725145263344 140725145245888 140328138972919 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26689536 140725145264596 140725145264771 140725145264771 140725145268175 0
/proc/6634/statm: 3495183 24179 3189 1 0 3483484 0
[pid=6634/tid=6635] ppid=6632 vsize=13980732 CPUtime=6.16 cores=1,3,5,7
/proc/6634/task/6635/stat : 6635 (java) R 6632 6632 5123 0 -1 4202560 10109 0 0 0 613 3 0 0 20 0 15 0 9963653 14316269568 24179 18446744073709551615 4194304 4196468 140725145263344 140328143209904 140327743271529 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 26689536 140725145264596 140725145264771 140725145264771 140725145268175 0
[pid=6634/tid=6636] ppid=6632 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6634/task/6636/stat : 6636 (java) S 6632 6632 5123 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9963654 14316269568 24179 18446744073709551615 4194304 4196468 140725145263344 140328058387344 140328138983125 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26689536 140725145264596 140725145264771 140725145264771 140725145268175 0
[pid=6634/tid=6637] ppid=6632 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6634/task/6637/stat : 6637 (java) S 6632 6632 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9963654 14316269568 24179 18446744073709551615 4194304 4196468 140725145263344 140327738403600 140328138983125 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26689536 140725145264596 140725145264771 140725145264771 140725145268175 0
[pid=6634/tid=6638] ppid=6632 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6634/task/6638/stat : 6638 (java) S 6632 6632 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9963654 14316269568 24179 18446744073709551615 4194304 4196468 140725145263344 140327737351312 140328138983125 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26689536 140725145264596 140725145264771 140725145264771 140725145268175 0
[pid=6634/tid=6639] ppid=6632 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6634/task/6639/stat : 6639 (java) S 6632 6632 5123 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9963654 14316269568 24179 18446744073709551615 4194304 4196468 140725145263344 140327736298512 140328138983125 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26689536 140725145264596 140725145264771 140725145264771 140725145268175 0
[pid=6634/tid=6640] ppid=6632 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6634/task/6640/stat : 6640 (java) S 6632 6632 5123 0 -1 1077944384 318 0 0 0 0 0 0 0 20 0 15 0 9963656 14316269568 24179 18446744073709551615 4194304 4196468 140725145263344 140327324297328 140328138984066 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26689536 140725145264596 140725145264771 140725145264771 140725145268175 0
[pid=6634/tid=6641] ppid=6632 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6634/task/6641/stat : 6641 (java) S 6632 6632 5123 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9963656 14316269568 24179 18446744073709551615 4194304 4196468 140725145263344 140327323243296 140328138983125 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26689536 140725145264596 140725145264771 140725145264771 140725145268175 0
[pid=6634/tid=6642] ppid=6632 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6634/task/6642/stat : 6642 (java) S 6632 6632 5123 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9963656 14316269568 24179 18446744073709551615 4194304 4196468 140725145263344 140327322190960 140328138983125 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26689536 140725145264596 140725145264771 140725145264771 140725145268175 0
[pid=6634/tid=6643] ppid=6632 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6634/task/6643/stat : 6643 (java) S 6632 6632 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9963659 14316269568 24179 18446744073709551615 4194304 4196468 140725145263344 140327321139280 140328138991515 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26689536 140725145264596 140725145264771 140725145264771 140725145268175 0
[pid=6634/tid=6644] ppid=6632 vsize=13980732 CPUtime=1.35 cores=1,3,5,7
/proc/6634/task/6644/stat : 6644 (java) S 6632 6632 5123 0 -1 1077944384 7734 0 0 0 135 0 0 0 20 0 15 0 9963659 14316269568 24179 18446744073709551615 4194304 4196468 140725145263344 140327320087152 140328138984066 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26689536 140725145264596 140725145264771 140725145264771 140725145268175 0
[pid=6634/tid=6645] ppid=6632 vsize=13980732 CPUtime=1.33 cores=1,3,5,7
/proc/6634/task/6645/stat : 6645 (java) S 6632 6632 5123 0 -1 1077944384 8890 0 0 0 132 1 0 0 20 0 15 0 9963659 14316269568 24179 18446744073709551615 4194304 4196468 140725145263344 140326782102000 140328138984066 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26689536 140725145264596 140725145264771 140725145264771 140725145268175 0
[pid=6634/tid=6646] ppid=6632 vsize=13980732 CPUtime=0.44 cores=1,3,5,7
/proc/6634/task/6646/stat : 6646 (java) S 6632 6632 5123 0 -1 1077944384 3188 0 0 0 43 1 0 0 20 0 15 0 9963659 14316269568 24179 18446744073709551615 4194304 4196468 140725145263344 140326781049712 140328138984066 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26689536 140725145264596 140725145264771 140725145264771 140725145268175 0
[pid=6634/tid=6647] ppid=6632 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6634/task/6647/stat : 6647 (java) S 6632 6632 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9963659 14316269568 24179 18446744073709551615 4194304 4196468 140725145263344 140326779997152 140328138983125 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26689536 140725145264596 140725145264771 140725145264771 140725145268175 0
[pid=6634/tid=6648] ppid=6632 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6634/task/6648/stat : 6648 (java) S 6632 6632 5123 0 -1 1077944384 522 0 0 0 0 0 0 0 20 0 15 0 9963663 14316269568 24179 18446744073709551615 4194304 4196468 140725145263344 140326778943920 140328138984066 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26689536 140725145264596 140725145264771 140725145264771 140725145268175 0
Current children cumulated CPU time (s) 9.32
Current children cumulated vsize (KiB) 13990244
[startup+12.7006 s]
/proc/loadavg: 2.10 1.94 1.53 3/211 6648
/proc/meminfo: memFree=31779316/32770624 swapFree=0/180308
[pid=6632] ppid=6629 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6632/stat : 6632 (xcsp3-exec) S 6629 6632 5123 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9963645 9740288 345 18446744073709551615 4194304 5098028 140734239497856 140734239495960 140370590802556 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 11378688 140734239506844 140734239507047 140734239507047 140734239510507 0
/proc/6632/statm: 2378 345 289 221 0 87 0
[pid=6634] ppid=6632 vsize=13980732 CPUtime=15.8 cores=1,3,5,7
/proc/6634/stat : 6634 (java) S 6632 6632 5123 0 -1 1077944320 34954 0 0 0 1573 7 0 0 20 0 15 0 9963653 14316269568 28295 18446744073709551615 4194304 4196468 140725145263344 140725145245888 140328138972919 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26689536 140725145264596 140725145264771 140725145264771 140725145268175 0
/proc/6634/statm: 3495183 28295 3189 1 0 3483484 0
[pid=6634/tid=6635] ppid=6632 vsize=13980732 CPUtime=12.56 cores=1,3,5,7
/proc/6634/task/6635/stat : 6635 (java) R 6632 6632 5123 0 -1 4202560 10769 0 0 0 1253 3 0 0 20 0 15 0 9963653 14316269568 28295 18446744073709551615 4194304 4196468 140725145263344 140328143211752 140327743272118 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 26689536 140725145264596 140725145264771 140725145264771 140725145268175 0
[pid=6634/tid=6636] ppid=6632 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6634/task/6636/stat : 6636 (java) S 6632 6632 5123 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9963654 14316269568 28295 18446744073709551615 4194304 4196468 140725145263344 140328058387344 140328138983125 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26689536 140725145264596 140725145264771 140725145264771 140725145268175 0
[pid=6634/tid=6637] ppid=6632 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6634/task/6637/stat : 6637 (java) S 6632 6632 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9963654 14316269568 28295 18446744073709551615 4194304 4196468 140725145263344 140327738403600 140328138983125 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26689536 140725145264596 140725145264771 140725145264771 140725145268175 0
################
# More data... #
################
/proc/6634/task/6646/stat : 6646 (java) S 6632 6632 5123 0 -1 1077944384 6019 0 0 0 45 1 0 0 20 0 15 0 9963659 14316269568 49381 18446744073709551615 4194304 4196468 140725145263344 140326781049712 140328138984066 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26689536 140725145264596 140725145264771 140725145264771 140725145268175 0
[pid=6634/tid=6647] ppid=6632 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6634/task/6647/stat : 6647 (java) S 6632 6632 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9963659 14316269568 49381 18446744073709551615 4194304 4196468 140725145263344 140326779997152 140328138983125 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26689536 140725145264596 140725145264771 140725145264771 140725145268175 0
[pid=6634/tid=6648] ppid=6632 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6634/task/6648/stat : 6648 (java) S 6632 6632 5123 0 -1 1077944384 677 0 0 0 0 0 0 0 20 0 15 0 9963663 14316269568 49381 18446744073709551615 4194304 4196468 140725145263344 140326778943920 140328138984066 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26689536 140725145264596 140725145264771 140725145264771 140725145268175 0
Current children cumulated CPU time (s) 57.77
Current children cumulated vsize (KiB) 13990244
[startup+57.6006 s]
/proc/loadavg: 1.98 1.93 1.54 3/211 6648
/proc/meminfo: memFree=31670040/32770624 swapFree=0/180344
[pid=6632] ppid=6629 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6632/stat : 6632 (xcsp3-exec) S 6629 6632 5123 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9963645 9740288 345 18446744073709551615 4194304 5098028 140734239497856 140734239495960 140370590802556 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 11378688 140734239506844 140734239507047 140734239507047 140734239510507 0
/proc/6632/statm: 2378 345 289 221 0 87 0
[pid=6634] ppid=6632 vsize=13980732 CPUtime=60.98 cores=1,3,5,7
/proc/6634/stat : 6634 (java) S 6632 6632 5123 0 -1 1077944320 44096 0 0 0 6088 10 0 0 20 0 15 0 9963653 14316269568 49382 18446744073709551615 4194304 4196468 140725145263344 140725145245888 140328138972919 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26689536 140725145264596 140725145264771 140725145264771 140725145268175 0
/proc/6634/statm: 3495183 49382 3214 1 0 3483484 0
[pid=6634/tid=6635] ppid=6632 vsize=13980732 CPUtime=57.46 cores=1,3,5,7
/proc/6634/task/6635/stat : 6635 (java) R 6632 6632 5123 0 -1 4202560 12681 0 0 0 5741 5 0 0 20 0 15 0 9963653 14316269568 49382 18446744073709551615 4194304 4196468 140725145263344 140328143209408 140327743271529 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 26689536 140725145264596 140725145264771 140725145264771 140725145268175 0
[pid=6634/tid=6636] ppid=6632 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6634/task/6636/stat : 6636 (java) S 6632 6632 5123 0 -1 1077944384 385 0 0 0 0 0 0 0 20 0 15 0 9963654 14316269568 49382 18446744073709551615 4194304 4196468 140725145263344 140328058387344 140328138983125 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26689536 140725145264596 140725145264771 140725145264771 140725145268175 0
[pid=6634/tid=6637] ppid=6632 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6634/task/6637/stat : 6637 (java) S 6632 6632 5123 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 9963654 14316269568 49382 18446744073709551615 4194304 4196468 140725145263344 140327738403600 140328138983125 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26689536 140725145264596 140725145264771 140725145264771 140725145268175 0
[pid=6634/tid=6638] ppid=6632 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6634/task/6638/stat : 6638 (java) S 6632 6632 5123 0 -1 1077944384 504 0 0 0 0 0 0 0 20 0 15 0 9963654 14316269568 49382 18446744073709551615 4194304 4196468 140725145263344 140327737351312 140328138983125 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26689536 140725145264596 140725145264771 140725145264771 140725145268175 0
[pid=6634/tid=6639] ppid=6632 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6634/task/6639/stat : 6639 (java) S 6632 6632 5123 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 9963654 14316269568 49382 18446744073709551615 4194304 4196468 140725145263344 140327736298512 140328138983125 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26689536 140725145264596 140725145264771 140725145264771 140725145268175 0
[pid=6634/tid=6640] ppid=6632 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6634/task/6640/stat : 6640 (java) S 6632 6632 5123 0 -1 1077944384 652 0 0 0 0 0 0 0 20 0 15 0 9963656 14316269568 49382 18446744073709551615 4194304 4196468 140725145263344 140327324297328 140328138984066 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26689536 140725145264596 140725145264771 140725145264771 140725145268175 0
[pid=6634/tid=6641] ppid=6632 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6634/task/6641/stat : 6641 (java) S 6632 6632 5123 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 9963656 14316269568 49382 18446744073709551615 4194304 4196468 140725145263344 140327323243296 140328138983125 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26689536 140725145264596 140725145264771 140725145264771 140725145268175 0
[pid=6634/tid=6642] ppid=6632 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6634/task/6642/stat : 6642 (java) S 6632 6632 5123 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 9963656 14316269568 49382 18446744073709551615 4194304 4196468 140725145263344 140327322190960 140328138983125 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26689536 140725145264596 140725145264771 140725145264771 140725145268175 0
[pid=6634/tid=6643] ppid=6632 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6634/task/6643/stat : 6643 (java) S 6632 6632 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9963659 14316269568 49382 18446744073709551615 4194304 4196468 140725145263344 140327321139280 140328138991515 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26689536 140725145264596 140725145264771 140725145264771 140725145268175 0
[pid=6634/tid=6644] ppid=6632 vsize=13980732 CPUtime=1.48 cores=1,3,5,7
/proc/6634/task/6644/stat : 6644 (java) S 6632 6632 5123 0 -1 1077944384 9744 0 0 0 148 0 0 0 20 0 15 0 9963659 14316269568 49382 18446744073709551615 4194304 4196468 140725145263344 140327320087152 140328138984066 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26689536 140725145264596 140725145264771 140725145264771 140725145268175 0
[pid=6634/tid=6645] ppid=6632 vsize=13980732 CPUtime=1.5 cores=1,3,5,7
/proc/6634/task/6645/stat : 6645 (java) S 6632 6632 5123 0 -1 1077944384 11916 0 0 0 149 1 0 0 20 0 15 0 9963659 14316269568 49382 18446744073709551615 4194304 4196468 140725145263344 140326782102000 140328138984066 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26689536 140725145264596 140725145264771 140725145264771 140725145268175 0
[pid=6634/tid=6646] ppid=6632 vsize=13980732 CPUtime=0.47 cores=1,3,5,7
/proc/6634/task/6646/stat : 6646 (java) S 6632 6632 5123 0 -1 1077944384 6043 0 0 0 46 1 0 0 20 0 15 0 9963659 14316269568 49382 18446744073709551615 4194304 4196468 140725145263344 140326781049712 140328138984066 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26689536 140725145264596 140725145264771 140725145264771 140725145268175 0
[pid=6634/tid=6647] ppid=6632 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6634/task/6647/stat : 6647 (java) S 6632 6632 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9963659 14316269568 49382 18446744073709551615 4194304 4196468 140725145263344 140326779997152 140328138983125 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26689536 140725145264596 140725145264771 140725145264771 140725145268175 0
[pid=6634/tid=6648] ppid=6632 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6634/task/6648/stat : 6648 (java) S 6632 6632 5123 0 -1 1077944384 679 0 0 0 0 0 0 0 20 0 15 0 9963663 14316269568 49382 18446744073709551615 4194304 4196468 140725145263344 140326778943920 140328138984066 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26689536 140725145264596 140725145264771 140725145264771 140725145268175 0
Current children cumulated CPU time (s) 60.98
Current children cumulated vsize (KiB) 13990244
[startup+59.2006 s]
/proc/loadavg: 1.98 1.93 1.54 3/211 6648
/proc/meminfo: memFree=31670040/32770624 swapFree=0/180352
[pid=6632] ppid=6629 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6632/stat : 6632 (xcsp3-exec) S 6629 6632 5123 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9963645 9740288 345 18446744073709551615 4194304 5098028 140734239497856 140734239495960 140370590802556 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 11378688 140734239506844 140734239507047 140734239507047 140734239510507 0
/proc/6632/statm: 2378 345 289 221 0 87 0
[pid=6634] ppid=6632 vsize=13980732 CPUtime=62.57 cores=1,3,5,7
/proc/6634/stat : 6634 (java) S 6632 6632 5123 0 -1 1077944320 44115 0 0 0 6247 10 0 0 20 0 15 0 9963653 14316269568 49382 18446744073709551615 4194304 4196468 140725145263344 140725145245888 140328138972919 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26689536 140725145264596 140725145264771 140725145264771 140725145268175 0
/proc/6634/statm: 3495183 49382 3214 1 0 3483484 0
[pid=6634/tid=6635] ppid=6632 vsize=13980732 CPUtime=59.06 cores=1,3,5,7
/proc/6634/task/6635/stat : 6635 (java) R 6632 6632 5123 0 -1 4202560 12700 0 0 0 5901 5 0 0 20 0 15 0 9963653 14316269568 49382 18446744073709551615 4194304 4196468 140725145263344 140328143209408 140327743271764 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 26689536 140725145264596 140725145264771 140725145264771 140725145268175 0
[pid=6634/tid=6636] ppid=6632 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6634/task/6636/stat : 6636 (java) S 6632 6632 5123 0 -1 1077944384 385 0 0 0 0 0 0 0 20 0 15 0 9963654 14316269568 49382 18446744073709551615 4194304 4196468 140725145263344 140328058387344 140328138983125 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26689536 140725145264596 140725145264771 140725145264771 140725145268175 0
[pid=6634/tid=6637] ppid=6632 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6634/task/6637/stat : 6637 (java) S 6632 6632 5123 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 9963654 14316269568 49382 18446744073709551615 4194304 4196468 140725145263344 140327738403600 140328138983125 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26689536 140725145264596 140725145264771 140725145264771 140725145268175 0
[pid=6634/tid=6638] ppid=6632 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6634/task/6638/stat : 6638 (java) S 6632 6632 5123 0 -1 1077944384 504 0 0 0 0 0 0 0 20 0 15 0 9963654 14316269568 49382 18446744073709551615 4194304 4196468 140725145263344 140327737351312 140328138983125 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26689536 140725145264596 140725145264771 140725145264771 140725145268175 0
[pid=6634/tid=6639] ppid=6632 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6634/task/6639/stat : 6639 (java) S 6632 6632 5123 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 9963654 14316269568 49382 18446744073709551615 4194304 4196468 140725145263344 140327736298512 140328138983125 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26689536 140725145264596 140725145264771 140725145264771 140725145268175 0
[pid=6634/tid=6640] ppid=6632 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6634/task/6640/stat : 6640 (java) S 6632 6632 5123 0 -1 1077944384 652 0 0 0 0 0 0 0 20 0 15 0 9963656 14316269568 49382 18446744073709551615 4194304 4196468 140725145263344 140327324297328 140328138984066 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26689536 140725145264596 140725145264771 140725145264771 140725145268175 0
[pid=6634/tid=6641] ppid=6632 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6634/task/6641/stat : 6641 (java) S 6632 6632 5123 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 9963656 14316269568 49382 18446744073709551615 4194304 4196468 140725145263344 140327323243296 140328138983125 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26689536 140725145264596 140725145264771 140725145264771 140725145268175 0
[pid=6634/tid=6642] ppid=6632 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6634/task/6642/stat : 6642 (java) S 6632 6632 5123 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 9963656 14316269568 49382 18446744073709551615 4194304 4196468 140725145263344 140327322190960 140328138983125 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26689536 140725145264596 140725145264771 140725145264771 140725145268175 0
[pid=6634/tid=6643] ppid=6632 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6634/task/6643/stat : 6643 (java) S 6632 6632 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9963659 14316269568 49382 18446744073709551615 4194304 4196468 140725145263344 140327321139280 140328138991515 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26689536 140725145264596 140725145264771 140725145264771 140725145268175 0
[pid=6634/tid=6644] ppid=6632 vsize=13980732 CPUtime=1.48 cores=1,3,5,7
/proc/6634/task/6644/stat : 6644 (java) S 6632 6632 5123 0 -1 1077944384 9744 0 0 0 148 0 0 0 20 0 15 0 9963659 14316269568 49382 18446744073709551615 4194304 4196468 140725145263344 140327320087152 140328138984066 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26689536 140725145264596 140725145264771 140725145264771 140725145268175 0
[pid=6634/tid=6645] ppid=6632 vsize=13980732 CPUtime=1.5 cores=1,3,5,7
/proc/6634/task/6645/stat : 6645 (java) S 6632 6632 5123 0 -1 1077944384 11916 0 0 0 149 1 0 0 20 0 15 0 9963659 14316269568 49382 18446744073709551615 4194304 4196468 140725145263344 140326782102000 140328138984066 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26689536 140725145264596 140725145264771 140725145264771 140725145268175 0
[pid=6634/tid=6646] ppid=6632 vsize=13980732 CPUtime=0.47 cores=1,3,5,7
/proc/6634/task/6646/stat : 6646 (java) S 6632 6632 5123 0 -1 1077944384 6043 0 0 0 46 1 0 0 20 0 15 0 9963659 14316269568 49382 18446744073709551615 4194304 4196468 140725145263344 140326781049712 140328138984066 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26689536 140725145264596 140725145264771 140725145264771 140725145268175 0
[pid=6634/tid=6647] ppid=6632 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6634/task/6647/stat : 6647 (java) S 6632 6632 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9963659 14316269568 49382 18446744073709551615 4194304 4196468 140725145263344 140326779997152 140328138983125 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26689536 140725145264596 140725145264771 140725145264771 140725145268175 0
[pid=6634/tid=6648] ppid=6632 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6634/task/6648/stat : 6648 (java) S 6632 6632 5123 0 -1 1077944384 679 0 0 0 0 0 0 0 20 0 15 0 9963663 14316269568 49382 18446744073709551615 4194304 4196468 140725145263344 140326778943920 140328138984066 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26689536 140725145264596 140725145264771 140725145264771 140725145268175 0
Current children cumulated CPU time (s) 62.57
Current children cumulated vsize (KiB) 13990244
[startup+60.0006 s]
/proc/loadavg: 1.98 1.93 1.54 3/211 6649
/proc/meminfo: memFree=31670040/32770624 swapFree=0/180352
[pid=6632] ppid=6629 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6632/stat : 6632 (xcsp3-exec) S 6629 6632 5123 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9963645 9740288 345 18446744073709551615 4194304 5098028 140734239497856 140734239495960 140370590802556 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 11378688 140734239506844 140734239507047 140734239507047 140734239510507 0
/proc/6632/statm: 2378 345 289 221 0 87 0
[pid=6634] ppid=6632 vsize=13980732 CPUtime=63.38 cores=1,3,5,7
/proc/6634/stat : 6634 (java) S 6632 6632 5123 0 -1 1077944320 45179 0 0 0 6328 10 0 0 20 0 15 0 9963653 14316269568 50412 18446744073709551615 4194304 4196468 140725145263344 140725145245888 140328138972919 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26689536 140725145264596 140725145264771 140725145264771 140725145268175 0
/proc/6634/statm: 3495183 50412 3214 1 0 3483484 0
[pid=6634/tid=6635] ppid=6632 vsize=13980732 CPUtime=59.85 cores=1,3,5,7
/proc/6634/task/6635/stat : 6635 (java) R 6632 6632 5123 0 -1 4202560 12833 0 0 0 5980 5 0 0 20 0 15 0 9963653 14316269568 50412 18446744073709551615 4194304 4196468 140725145263344 140328143211728 140327741901868 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 26689536 140725145264596 140725145264771 140725145264771 140725145268175 0
[pid=6634/tid=6636] ppid=6632 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6634/task/6636/stat : 6636 (java) S 6632 6632 5123 0 -1 1077944384 416 0 0 0 0 0 0 0 20 0 15 0 9963654 14316269568 50412 18446744073709551615 4194304 4196468 140725145263344 140328058387344 140328138983125 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26689536 140725145264596 140725145264771 140725145264771 140725145268175 0
[pid=6634/tid=6637] ppid=6632 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6634/task/6637/stat : 6637 (java) S 6632 6632 5123 0 -1 1077944384 536 0 0 0 0 0 0 0 20 0 15 0 9963654 14316269568 50412 18446744073709551615 4194304 4196468 140725145263344 140327738403600 140328138983125 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26689536 140725145264596 140725145264771 140725145264771 140725145268175 0
[pid=6634/tid=6638] ppid=6632 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6634/task/6638/stat : 6638 (java) S 6632 6632 5123 0 -1 1077944384 554 0 0 0 0 0 0 0 20 0 15 0 9963654 14316269568 50412 18446744073709551615 4194304 4196468 140725145263344 140327737351312 140328138983125 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26689536 140725145264596 140725145264771 140725145264771 140725145268175 0
[pid=6634/tid=6639] ppid=6632 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6634/task/6639/stat : 6639 (java) S 6632 6632 5123 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 15 0 9963654 14316269568 50412 18446744073709551615 4194304 4196468 140725145263344 140327736298512 140328138983125 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26689536 140725145264596 140725145264771 140725145264771 140725145268175 0
[pid=6634/tid=6640] ppid=6632 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6634/task/6640/stat : 6640 (java) S 6632 6632 5123 0 -1 1077944384 801 0 0 0 0 0 0 0 20 0 15 0 9963656 14316269568 50412 18446744073709551615 4194304 4196468 140725145263344 140327324297328 140328138984066 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26689536 140725145264596 140725145264771 140725145264771 140725145268175 0
[pid=6634/tid=6641] ppid=6632 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6634/task/6641/stat : 6641 (java) S 6632 6632 5123 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 9963656 14316269568 50412 18446744073709551615 4194304 4196468 140725145263344 140327323243296 140328138983125 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26689536 140725145264596 140725145264771 140725145264771 140725145268175 0
[pid=6634/tid=6642] ppid=6632 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6634/task/6642/stat : 6642 (java) S 6632 6632 5123 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 9963656 14316269568 50412 18446744073709551615 4194304 4196468 140725145263344 140327322190960 140328138983125 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26689536 140725145264596 140725145264771 140725145264771 140725145268175 0
[pid=6634/tid=6643] ppid=6632 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6634/task/6643/stat : 6643 (java) S 6632 6632 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9963659 14316269568 50412 18446744073709551615 4194304 4196468 140725145263344 140327321139280 140328138991515 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26689536 140725145264596 140725145264771 140725145264771 140725145268175 0
[pid=6634/tid=6644] ppid=6632 vsize=13980732 CPUtime=1.48 cores=1,3,5,7
/proc/6634/task/6644/stat : 6644 (java) S 6632 6632 5123 0 -1 1077944384 9744 0 0 0 148 0 0 0 20 0 15 0 9963659 14316269568 50412 18446744073709551615 4194304 4196468 140725145263344 140327320087152 140328138984066 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26689536 140725145264596 140725145264771 140725145264771 140725145268175 0
[pid=6634/tid=6645] ppid=6632 vsize=13980732 CPUtime=1.5 cores=1,3,5,7
/proc/6634/task/6645/stat : 6645 (java) S 6632 6632 5123 0 -1 1077944384 11916 0 0 0 149 1 0 0 20 0 15 0 9963659 14316269568 50412 18446744073709551615 4194304 4196468 140725145263344 140326782102000 140328138984066 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26689536 140725145264596 140725145264771 140725145264771 140725145268175 0
[pid=6634/tid=6646] ppid=6632 vsize=13980732 CPUtime=0.47 cores=1,3,5,7
/proc/6634/task/6646/stat : 6646 (java) S 6632 6632 5123 0 -1 1077944384 6043 0 0 0 46 1 0 0 20 0 15 0 9963659 14316269568 50412 18446744073709551615 4194304 4196468 140725145263344 140326781049712 140328138984066 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26689536 140725145264596 140725145264771 140725145264771 140725145268175 0
[pid=6634/tid=6647] ppid=6632 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6634/task/6647/stat : 6647 (java) S 6632 6632 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9963659 14316269568 50412 18446744073709551615 4194304 4196468 140725145263344 140326779997152 140328138983125 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26689536 140725145264596 140725145264771 140725145264771 140725145268175 0
[pid=6634/tid=6648] ppid=6632 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6634/task/6648/stat : 6648 (java) S 6632 6632 5123 0 -1 1077944384 679 0 0 0 0 0 0 0 20 0 15 0 9963663 14316269568 50412 18446744073709551615 4194304 4196468 140725145263344 140326778943920 140328138984066 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26689536 140725145264596 140725145264771 140725145264771 140725145268175 0
Current children cumulated CPU time (s) 63.38
Current children cumulated vsize (KiB) 13990244
[startup+60.4006 s]
/proc/loadavg: 1.98 1.93 1.54 3/211 6649
/proc/meminfo: memFree=31670040/32770624 swapFree=0/180352
[pid=6632] ppid=6629 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6632/stat : 6632 (xcsp3-exec) S 6629 6632 5123 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9963645 9740288 345 18446744073709551615 4194304 5098028 140734239497856 140734239495960 140370590802556 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 11378688 140734239506844 140734239507047 140734239507047 140734239510507 0
/proc/6632/statm: 2378 345 289 221 0 87 0
[pid=6634] ppid=6632 vsize=13980732 CPUtime=63.78 cores=1,3,5,7
/proc/6634/stat : 6634 (java) S 6632 6632 5123 0 -1 1077944320 45189 0 0 0 6368 10 0 0 20 0 15 0 9963653 14316269568 50412 18446744073709551615 4194304 4196468 140725145263344 140725145245888 140328138972919 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26689536 140725145264596 140725145264771 140725145264771 140725145268175 0
/proc/6634/statm: 3495183 50412 3214 1 0 3483484 0
[pid=6634/tid=6635] ppid=6632 vsize=13980732 CPUtime=60.25 cores=1,3,5,7
/proc/6634/task/6635/stat : 6635 (java) R 6632 6632 5123 0 -1 4202560 12833 0 0 0 6020 5 0 0 20 0 15 0 9963653 14316269568 50412 18446744073709551615 4194304 4196468 140725145263344 140328143211616 140327741902280 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 26689536 140725145264596 140725145264771 140725145264771 140725145268175 0
[pid=6634/tid=6636] ppid=6632 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6634/task/6636/stat : 6636 (java) S 6632 6632 5123 0 -1 1077944384 416 0 0 0 0 0 0 0 20 0 15 0 9963654 14316269568 50412 18446744073709551615 4194304 4196468 140725145263344 140328058387344 140328138983125 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26689536 140725145264596 140725145264771 140725145264771 140725145268175 0
[pid=6634/tid=6637] ppid=6632 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6634/task/6637/stat : 6637 (java) S 6632 6632 5123 0 -1 1077944384 536 0 0 0 0 0 0 0 20 0 15 0 9963654 14316269568 50412 18446744073709551615 4194304 4196468 140725145263344 140327738403600 140328138983125 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26689536 140725145264596 140725145264771 140725145264771 140725145268175 0
[pid=6634/tid=6638] ppid=6632 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6634/task/6638/stat : 6638 (java) S 6632 6632 5123 0 -1 1077944384 554 0 0 0 0 0 0 0 20 0 15 0 9963654 14316269568 50412 18446744073709551615 4194304 4196468 140725145263344 140327737351312 140328138983125 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26689536 140725145264596 140725145264771 140725145264771 140725145268175 0
[pid=6634/tid=6639] ppid=6632 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6634/task/6639/stat : 6639 (java) S 6632 6632 5123 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 15 0 9963654 14316269568 50412 18446744073709551615 4194304 4196468 140725145263344 140327736298512 140328138983125 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26689536 140725145264596 140725145264771 140725145264771 140725145268175 0
[pid=6634/tid=6640] ppid=6632 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6634/task/6640/stat : 6640 (java) S 6632 6632 5123 0 -1 1077944384 801 0 0 0 0 0 0 0 20 0 15 0 9963656 14316269568 50412 18446744073709551615 4194304 4196468 140725145263344 140327324297328 140328138984066 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26689536 140725145264596 140725145264771 140725145264771 140725145268175 0
[pid=6634/tid=6641] ppid=6632 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6634/task/6641/stat : 6641 (java) S 6632 6632 5123 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 9963656 14316269568 50412 18446744073709551615 4194304 4196468 140725145263344 140327323243296 140328138983125 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26689536 140725145264596 140725145264771 140725145264771 140725145268175 0
[pid=6634/tid=6642] ppid=6632 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6634/task/6642/stat : 6642 (java) S 6632 6632 5123 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 9963656 14316269568 50412 18446744073709551615 4194304 4196468 140725145263344 140327322190960 140328138983125 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26689536 140725145264596 140725145264771 140725145264771 140725145268175 0
[pid=6634/tid=6643] ppid=6632 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6634/task/6643/stat : 6643 (java) S 6632 6632 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9963659 14316269568 50412 18446744073709551615 4194304 4196468 140725145263344 140327321139280 140328138991515 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26689536 140725145264596 140725145264771 140725145264771 140725145268175 0
[pid=6634/tid=6644] ppid=6632 vsize=13980732 CPUtime=1.48 cores=1,3,5,7
/proc/6634/task/6644/stat : 6644 (java) S 6632 6632 5123 0 -1 1077944384 9744 0 0 0 148 0 0 0 20 0 15 0 9963659 14316269568 50412 18446744073709551615 4194304 4196468 140725145263344 140327320087152 140328138984066 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26689536 140725145264596 140725145264771 140725145264771 140725145268175 0
[pid=6634/tid=6645] ppid=6632 vsize=13980732 CPUtime=1.5 cores=1,3,5,7
/proc/6634/task/6645/stat : 6645 (java) S 6632 6632 5123 0 -1 1077944384 11916 0 0 0 149 1 0 0 20 0 15 0 9963659 14316269568 50412 18446744073709551615 4194304 4196468 140725145263344 140326782102000 140328138984066 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26689536 140725145264596 140725145264771 140725145264771 140725145268175 0
[pid=6634/tid=6646] ppid=6632 vsize=13980732 CPUtime=0.47 cores=1,3,5,7
/proc/6634/task/6646/stat : 6646 (java) S 6632 6632 5123 0 -1 1077944384 6043 0 0 0 46 1 0 0 20 0 15 0 9963659 14316269568 50412 18446744073709551615 4194304 4196468 140725145263344 140326781049712 140328138984066 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26689536 140725145264596 140725145264771 140725145264771 140725145268175 0
[pid=6634/tid=6647] ppid=6632 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6634/task/6647/stat : 6647 (java) S 6632 6632 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9963659 14316269568 50412 18446744073709551615 4194304 4196468 140725145263344 140326779997152 140328138983125 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26689536 140725145264596 140725145264771 140725145264771 140725145268175 0
[pid=6634/tid=6648] ppid=6632 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6634/task/6648/stat : 6648 (java) S 6632 6632 5123 0 -1 1077944384 689 0 0 0 0 0 0 0 20 0 15 0 9963663 14316269568 50412 18446744073709551615 4194304 4196468 140725145263344 140326778943920 140328138984066 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26689536 140725145264596 140725145264771 140725145264771 140725145268175 0
Current children cumulated CPU time (s) 63.78
Current children cumulated vsize (KiB) 13990244
Child status: 0
Real time (s): 60.4911
CPU time (s): 63.8843
CPU user time (s): 63.7752
CPU system time (s): 0.10917
CPU usage (%): 105.609
Max. virtual memory (cumulated for all children) (KiB): 13992176
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 63.7752
system time used= 0.10917
maximum resident set size= 202008
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46120
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3753
involuntary context switches= 53
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.242093 second user time and 0.348595 second system time
The end