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-4248939-1500693158/watcher-4248939-1500693158 -o /tmp/evaluation-result-4248939-1500693158/solver-4248939-1500693158 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1500682387-7776 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1851249212 HOME/instance-4248939-1500693158.xml
pid=4767
running on 8 cores: 1,3,5,7,9,11,13,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: 8.89 10.85 12.32 11/271 4770
/proc/meminfo: memFree=27906592/32770624 swapFree=5880/291760
[pid=4770] ppid=4767 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4770/stat : 4770 (xcsp3-exec) S 4767 4770 7744 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4583472 9740288 346 33554432000 4194304 5098028 140735596490016 140735596488120 140122090566268 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 12775424 140735596496014 140735596496224 140735596496224 140735596498923 0
/proc/4770/statm: 2378 346 289 221 0 87 0
[startup+0.100063 s]
/proc/loadavg: 8.89 10.85 12.32 11/271 4770
/proc/meminfo: memFree=27906592/32770624 swapFree=5880/291760
[pid=4770] ppid=4767 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4770/stat : 4770 (xcsp3-exec) S 4767 4770 7744 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4583472 9740288 346 33554432000 4194304 5098028 140735596490016 140735596488120 140122090566268 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 12775424 140735596496014 140735596496224 140735596496224 140735596498923 0
/proc/4770/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200324 s]
/proc/loadavg: 8.89 10.85 12.32 11/271 4770
/proc/meminfo: memFree=27906592/32770624 swapFree=5880/291760
[pid=4770] ppid=4767 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4770/stat : 4770 (xcsp3-exec) S 4767 4770 7744 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4583472 9740288 346 33554432000 4194304 5098028 140735596490016 140735596488120 140122090566268 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 12775424 140735596496014 140735596496224 140735596496224 140735596498923 0
/proc/4770/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300343 s]
/proc/loadavg: 8.89 10.85 12.32 11/271 4770
/proc/meminfo: memFree=27906592/32770624 swapFree=5880/291760
[pid=4770] ppid=4767 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4770/stat : 4770 (xcsp3-exec) S 4767 4770 7744 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4583472 9740288 346 33554432000 4194304 5098028 140735596490016 140735596488120 140122090566268 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 12775424 140735596496014 140735596496224 140735596496224 140735596498923 0
/proc/4770/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700224 s]
/proc/loadavg: 8.89 10.85 12.32 11/271 4770
/proc/meminfo: memFree=27906592/32770624 swapFree=5880/291760
[pid=4770] ppid=4767 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4770/stat : 4770 (xcsp3-exec) S 4767 4770 7744 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4583472 9740288 346 33554432000 4194304 5098028 140735596490016 140735596488120 140122090566268 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 12775424 140735596496014 140735596496224 140735596496224 140735596498923 0
/proc/4770/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50093 s]
/proc/loadavg: 8.89 10.85 12.32 11/292 4791
/proc/meminfo: memFree=27792236/32770624 swapFree=5880/291736
[pid=4770] ppid=4767 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4770/stat : 4770 (xcsp3-exec) S 4767 4770 7744 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4583472 9740288 346 33554432000 4194304 5098028 140735596490016 140735596488120 140122090566268 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 12775424 140735596496014 140735596496224 140735596496224 140735596498923 0
/proc/4770/statm: 2378 346 289 221 0 87 0
[pid=4771] ppid=4770 vsize=13269256 CPUtime=3.75 cores=1,3,5,7,9,11,13,15
/proc/4771/stat : 4771 (java) S 4770 4770 7744 0 -1 1077944320 39843 0 0 0 364 11 0 0 20 0 20 0 4583473 13587718144 34292 33554432000 4194304 4196468 140731482005808 140731481988352 140693964906231 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 19292160 140731482010812 140731482010988 140731482010988 140731482013647 0
/proc/4771/statm: 3317314 34292 3207 1 0 3304547 0
[pid=4771/tid=4772] ppid=4770 vsize=13269256 CPUtime=1.47 cores=1,3,5,7,9,11,13,15
/proc/4771/task/4772/stat : 4772 (java) R 4770 4770 7744 0 -1 4202560 6809 0 0 0 143 4 0 0 20 0 20 0 4583473 13587718144 34292 33554432000 4194304 4196468 140731482005808 140693969141064 140693964918166 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19292160 140731482010812 140731482010988 140731482010988 140731482013647 0
[pid=4771/tid=4774] ppid=4770 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4771/task/4774/stat : 4774 (java) S 4770 4770 7744 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4583474 13587718144 34292 33554432000 4194304 4196468 140731482005808 140693936749328 140693964916437 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19292160 140731482010812 140731482010988 140731482010988 140731482013647 0
[pid=4771/tid=4775] ppid=4770 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4771/task/4775/stat : 4775 (java) S 4770 4770 7744 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4583474 13587718144 34292 33554432000 4194304 4196468 140731482005808 140693562567568 140693964916437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19292160 140731482010812 140731482010988 140731482010988 140731482013647 0
[pid=4771/tid=4776] ppid=4770 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4771/task/4776/stat : 4776 (java) S 4770 4770 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4583474 13587718144 34292 33554432000 4194304 4196468 140731482005808 140693561515024 140693964916437 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19292160 140731482010812 140731482010988 140731482010988 140731482013647 0
[pid=4771/tid=4777] ppid=4770 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4771/task/4777/stat : 4777 (java) S 4770 4770 7744 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4583474 13587718144 34292 33554432000 4194304 4196468 140731482005808 140693560462480 140693964916437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19292160 140731482010812 140731482010988 140731482010988 140731482013647 0
[pid=4771/tid=4778] ppid=4770 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4771/task/4778/stat : 4778 (java) S 4770 4770 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4583474 13587718144 34292 33554432000 4194304 4196468 140731482005808 140693559408912 140693964916437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19292160 140731482010812 140731482010988 140731482010988 140731482013647 0
[pid=4771/tid=4779] ppid=4770 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4771/task/4779/stat : 4779 (java) S 4770 4770 7744 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4583474 13587718144 34292 33554432000 4194304 4196468 140731482005808 140693558356368 140693964916437 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19292160 140731482010812 140731482010988 140731482010988 140731482013647 0
[pid=4771/tid=4780] ppid=4770 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4771/task/4780/stat : 4780 (java) S 4770 4770 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4583474 13587718144 34292 33554432000 4194304 4196468 140731482005808 140693557303824 140693964916437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19292160 140731482010812 140731482010988 140731482010988 140731482013647 0
[pid=4771/tid=4781] ppid=4770 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4771/task/4781/stat : 4781 (java) S 4770 4770 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4583474 13587718144 34292 33554432000 4194304 4196468 140731482005808 140693556251280 140693964916437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19292160 140731482010812 140731482010988 140731482010988 140731482013647 0
[pid=4771/tid=4782] ppid=4770 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4771/task/4782/stat : 4782 (java) S 4770 4770 7744 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 4583476 13587718144 34292 33554432000 4194304 4196468 140731482005808 140693427177968 140693964917378 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19292160 140731482010812 140731482010988 140731482010988 140731482013647 0
[pid=4771/tid=4783] ppid=4770 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4771/task/4783/stat : 4783 (java) S 4770 4770 7744 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 4583477 13587718144 34292 33554432000 4194304 4196468 140731482005808 140693426124192 140693964916437 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19292160 140731482010812 140731482010988 140731482010988 140731482013647 0
[pid=4771/tid=4784] ppid=4770 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4771/task/4784/stat : 4784 (java) S 4770 4770 7744 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 4583478 13587718144 34292 33554432000 4194304 4196468 140731482005808 140693425071600 140693964916437 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19292160 140731482010812 140731482010988 140731482010988 140731482013647 0
[pid=4771/tid=4785] ppid=4770 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4771/task/4785/stat : 4785 (java) S 4770 4770 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4583482 13587718144 34292 33554432000 4194304 4196468 140731482005808 140693424020176 140693964924827 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19292160 140731482010812 140731482010988 140731482010988 140731482013647 0
[pid=4771/tid=4786] ppid=4770 vsize=13269256 CPUtime=0.58 cores=1,3,5,7,9,11,13,15
/proc/4771/task/4786/stat : 4786 (java) S 4770 4770 7744 0 -1 1077944384 10611 0 0 0 57 1 0 0 20 0 20 0 4583482 13587718144 34292 33554432000 4194304 4196468 140731482005808 140693422966768 140693964917378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19292160 140731482010812 140731482010988 140731482010988 140731482013647 0
[pid=4771/tid=4787] ppid=4770 vsize=13269256 CPUtime=0.63 cores=1,3,5,7,9,11,13,15
/proc/4771/task/4787/stat : 4787 (java) R 4770 4770 7744 0 -1 4202560 7724 0 0 0 62 1 0 0 20 0 20 0 4583482 13587718144 34292 33554432000 4194304 4196468 140731482005808 140693421914520 140693949303048 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19292160 140731482010812 140731482010988 140731482010988 140731482013647 0
[pid=4771/tid=4788] ppid=4770 vsize=13269256 CPUtime=0.62 cores=1,3,5,7,9,11,13,15
/proc/4771/task/4788/stat : 4788 (java) S 4770 4770 7744 0 -1 1077944384 9768 0 0 0 61 1 0 0 20 0 20 0 4583482 13587718144 34292 33554432000 4194304 4196468 140731482005808 140693420861680 140693964917378 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19292160 140731482010812 140731482010988 140731482010988 140731482013647 0
[pid=4771/tid=4789] ppid=4770 vsize=13269256 CPUtime=0.4 cores=1,3,5,7,9,11,13,15
/proc/4771/task/4789/stat : 4789 (java) S 4770 4770 7744 0 -1 1077944384 3598 0 0 0 39 1 0 0 20 0 20 0 4583482 13587718144 34292 33554432000 4194304 4196468 140731482005808 140693419809136 140693964917378 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19292160 140731482010812 140731482010988 140731482010988 140731482013647 0
[pid=4771/tid=4790] ppid=4770 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4771/task/4790/stat : 4790 (java) S 4770 4770 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4583482 13587718144 34292 33554432000 4194304 4196468 140731482005808 140693418756832 140693964916437 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19292160 140731482010812 140731482010988 140731482010988 140731482013647 0
[pid=4771/tid=4791] ppid=4770 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4771/task/4791/stat : 4791 (java) S 4770 4770 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4583483 13587718144 34292 33554432000 4194304 4196468 140731482005808 140693417704368 140693964917378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19292160 140731482010812 140731482010988 140731482010988 140731482013647 0
Current children cumulated CPU time (s) 3.75
Current children cumulated vsize (KiB) 13278768
[startup+3.10079 s]
/proc/loadavg: 8.89 10.85 12.32 6/292 4791
/proc/meminfo: memFree=27762672/32770624 swapFree=5880/291736
[pid=4770] ppid=4767 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4770/stat : 4770 (xcsp3-exec) S 4767 4770 7744 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4583472 9740288 346 33554432000 4194304 5098028 140735596490016 140735596488120 140122090566268 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 12775424 140735596496014 140735596496224 140735596496224 140735596498923 0
/proc/4770/statm: 2378 346 289 221 0 87 0
[pid=4771] ppid=4770 vsize=13269256 CPUtime=5.85 cores=1,3,5,7,9,11,13,15
/proc/4771/stat : 4771 (java) S 4770 4770 7744 0 -1 1077944320 42910 0 0 0 573 12 0 0 20 0 20 0 4583473 13587718144 45281 33554432000 4194304 4196468 140731482005808 140731481988352 140693964906231 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 19292160 140731482010812 140731482010988 140731482010988 140731482013647 0
/proc/4771/statm: 3317314 45281 3218 1 0 3304547 0
[pid=4771/tid=4772] ppid=4770 vsize=13269256 CPUtime=3.07 cores=1,3,5,7,9,11,13,15
/proc/4771/task/4772/stat : 4772 (java) R 4770 4770 7744 0 -1 4202560 8219 0 0 0 302 5 0 0 20 0 20 0 4583473 13587718144 45281 33554432000 4194304 4196468 140731482005808 140693969140400 140693603430090 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19292160 140731482010812 140731482010988 140731482010988 140731482013647 0
[pid=4771/tid=4774] ppid=4770 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4771/task/4774/stat : 4774 (java) S 4770 4770 7744 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4583474 13587718144 45281 33554432000 4194304 4196468 140731482005808 140693936749328 140693964916437 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19292160 140731482010812 140731482010988 140731482010988 140731482013647 0
[pid=4771/tid=4775] ppid=4770 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4771/task/4775/stat : 4775 (java) S 4770 4770 7744 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4583474 13587718144 45281 33554432000 4194304 4196468 140731482005808 140693562567568 140693964916437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19292160 140731482010812 140731482010988 140731482010988 140731482013647 0
[pid=4771/tid=4776] ppid=4770 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4771/task/4776/stat : 4776 (java) S 4770 4770 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4583474 13587718144 45281 33554432000 4194304 4196468 140731482005808 140693561515024 140693964916437 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19292160 140731482010812 140731482010988 140731482010988 140731482013647 0
[pid=4771/tid=4777] ppid=4770 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4771/task/4777/stat : 4777 (java) S 4770 4770 7744 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4583474 13587718144 45281 33554432000 4194304 4196468 140731482005808 140693560462480 140693964916437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19292160 140731482010812 140731482010988 140731482010988 140731482013647 0
[pid=4771/tid=4778] ppid=4770 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4771/task/4778/stat : 4778 (java) S 4770 4770 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4583474 13587718144 45281 33554432000 4194304 4196468 140731482005808 140693559408912 140693964916437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19292160 140731482010812 140731482010988 140731482010988 140731482013647 0
[pid=4771/tid=4779] ppid=4770 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4771/task/4779/stat : 4779 (java) S 4770 4770 7744 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4583474 13587718144 45281 33554432000 4194304 4196468 140731482005808 140693558356368 140693964916437 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19292160 140731482010812 140731482010988 140731482010988 140731482013647 0
[pid=4771/tid=4780] ppid=4770 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4771/task/4780/stat : 4780 (java) S 4770 4770 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4583474 13587718144 45281 33554432000 4194304 4196468 140731482005808 140693557303824 140693964916437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19292160 140731482010812 140731482010988 140731482010988 140731482013647 0
[pid=4771/tid=4781] ppid=4770 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4771/task/4781/stat : 4781 (java) S 4770 4770 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4583474 13587718144 45281 33554432000 4194304 4196468 140731482005808 140693556251280 140693964916437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19292160 140731482010812 140731482010988 140731482010988 140731482013647 0
[pid=4771/tid=4782] ppid=4770 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4771/task/4782/stat : 4782 (java) S 4770 4770 7744 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 20 0 4583476 13587718144 45281 33554432000 4194304 4196468 140731482005808 140693427177968 140693964917378 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19292160 140731482010812 140731482010988 140731482010988 140731482013647 0
[pid=4771/tid=4783] ppid=4770 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4771/task/4783/stat : 4783 (java) S 4770 4770 7744 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 4583477 13587718144 45281 33554432000 4194304 4196468 140731482005808 140693426124192 140693964916437 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19292160 140731482010812 140731482010988 140731482010988 140731482013647 0
[pid=4771/tid=4784] ppid=4770 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4771/task/4784/stat : 4784 (java) S 4770 4770 7744 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 4583478 13587718144 45281 33554432000 4194304 4196468 140731482005808 140693425071600 140693964916437 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19292160 140731482010812 140731482010988 140731482010988 140731482013647 0
[pid=4771/tid=4785] ppid=4770 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4771/task/4785/stat : 4785 (java) S 4770 4770 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4583482 13587718144 45281 33554432000 4194304 4196468 140731482005808 140693424020176 140693964924827 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19292160 140731482010812 140731482010988 140731482010988 140731482013647 0
[pid=4771/tid=4786] ppid=4770 vsize=13269256 CPUtime=0.84 cores=1,3,5,7,9,11,13,15
/proc/4771/task/4786/stat : 4786 (java) S 4770 4770 7744 0 -1 1077944384 11350 0 0 0 83 1 0 0 20 0 20 0 4583482 13587718144 45281 33554432000 4194304 4196468 140731482005808 140693422966768 140693964917378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19292160 140731482010812 140731482010988 140731482010988 140731482013647 0
[pid=4771/tid=4787] ppid=4770 vsize=13269256 CPUtime=0.66 cores=1,3,5,7,9,11,13,15
/proc/4771/task/4787/stat : 4787 (java) S 4770 4770 7744 0 -1 1077944384 7759 0 0 0 65 1 0 0 20 0 20 0 4583482 13587718144 45281 33554432000 4194304 4196468 140731482005808 140693421914224 140693964917378 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19292160 140731482010812 140731482010988 140731482010988 140731482013647 0
[pid=4771/tid=4788] ppid=4770 vsize=13269256 CPUtime=0.75 cores=1,3,5,7,9,11,13,15
/proc/4771/task/4788/stat : 4788 (java) S 4770 4770 7744 0 -1 1077944384 10115 0 0 0 74 1 0 0 20 0 20 0 4583482 13587718144 45281 33554432000 4194304 4196468 140731482005808 140693420861680 140693964917378 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19292160 140731482010812 140731482010988 140731482010988 140731482013647 0
[pid=4771/tid=4789] ppid=4770 vsize=13269256 CPUtime=0.49 cores=1,3,5,7,9,11,13,15
/proc/4771/task/4789/stat : 4789 (java) S 4770 4770 7744 0 -1 1077944384 4107 0 0 0 47 2 0 0 20 0 20 0 4583482 13587718144 45281 33554432000 4194304 4196468 140731482005808 140693419809136 140693964917378 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19292160 140731482010812 140731482010988 140731482010988 140731482013647 0
[pid=4771/tid=4790] ppid=4770 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4771/task/4790/stat : 4790 (java) S 4770 4770 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4583482 13587718144 45281 33554432000 4194304 4196468 140731482005808 140693418756832 140693964916437 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19292160 140731482010812 140731482010988 140731482010988 140731482013647 0
[pid=4771/tid=4791] ppid=4770 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4771/task/4791/stat : 4791 (java) D 4770 4770 7744 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 20 0 4583483 13587718144 45281 33554432000 4194304 4196468 140731482005808 140693417704288 140693949762318 0 4 0 16800975 18446744072100387973 0 0 -1 7 0 0 0 0 0 6293624 6294260 19292160 140731482010812 140731482010988 140731482010988 140731482013647 0
Current children cumulated CPU time (s) 5.85
Current children cumulated vsize (KiB) 13278768
[startup+6.30154 s]
/proc/loadavg: 9.14 10.87 12.32 15/300 4799
/proc/meminfo: memFree=27631412/32770624 swapFree=5880/291744
[pid=4770] ppid=4767 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4770/stat : 4770 (xcsp3-exec) S 4767 4770 7744 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4583472 9740288 346 33554432000 4194304 5098028 140735596490016 140735596488120 140122090566268 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 12775424 140735596496014 140735596496224 140735596496224 140735596498923 0
/proc/4770/statm: 2378 346 289 221 0 87 0
[pid=4771] ppid=4770 vsize=13801768 CPUtime=24.7 cores=1,3,5,7,9,11,13,15
/proc/4771/stat : 4771 (java) S 4770 4770 7744 0 -1 1077944320 59801 0 0 0 2434 36 0 0 20 0 28 0 4583473 14133010432 71803 33554432000 4194304 4196468 140731482005808 140731481988352 140693964906231 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 19292160 140731482010812 140731482010988 140731482010988 140731482013647 0
/proc/4771/statm: 3450442 71803 3259 1 0 3437675 0
[pid=4771/tid=4772] ppid=4770 vsize=13801768 CPUtime=4.01 cores=1,3,5,7,9,11,13,15
/proc/4771/task/4772/stat : 4772 (java) S 4770 4770 7744 0 -1 1077944384 9156 0 0 0 396 5 0 0 20 0 28 0 4583473 14133010432 71803 33554432000 4194304 4196468 140731482005808 140693969147008 140693964916437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19292160 140731482010812 140731482010988 140731482010988 140731482013647 0
[pid=4771/tid=4774] ppid=4770 vsize=13801768 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/4771/task/4774/stat : 4774 (java) S 4770 4770 7744 0 -1 1077944384 39 0 0 0 1 3 0 0 20 0 28 0 4583474 14133010432 71803 33554432000 4194304 4196468 140731482005808 140693936749328 140693964916437 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19292160 140731482010812 140731482010988 140731482010988 140731482013647 0
[pid=4771/tid=4775] ppid=4770 vsize=13801768 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/4771/task/4775/stat : 4775 (java) S 4770 4770 7744 0 -1 1077944384 22 0 0 0 0 1 0 0 20 0 28 0 4583474 14133010432 71803 33554432000 4194304 4196468 140731482005808 140693562567568 140693964916437 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19292160 140731482010812 140731482010988 140731482010988 140731482013647 0
[pid=4771/tid=4776] ppid=4770 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/4771/task/4776/stat : 4776 (java) S 4770 4770 7744 0 -1 1077944384 175 0 0 0 1 1 0 0 20 0 28 0 4583474 14133010432 71803 33554432000 4194304 4196468 140731482005808 140693561515024 140693964916437 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19292160 140731482010812 140731482010988 140731482010988 140731482013647 0
[pid=4771/tid=4777] ppid=4770 vsize=13801768 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/4771/task/4777/stat : 4777 (java) S 4770 4770 7744 0 -1 1077944384 38 0 0 0 1 3 0 0 20 0 28 0 4583474 14133010432 71803 33554432000 4194304 4196468 140731482005808 140693560462480 140693964916437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19292160 140731482010812 140731482010988 140731482010988 140731482013647 0
[pid=4771/tid=4778] ppid=4770 vsize=13801768 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/4771/task/4778/stat : 4778 (java) S 4770 4770 7744 0 -1 1077944384 129 0 0 0 1 3 0 0 20 0 28 0 4583474 14133010432 71803 33554432000 4194304 4196468 140731482005808 140693559408912 140693964916437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19292160 140731482010812 140731482010988 140731482010988 140731482013647 0
[pid=4771/tid=4779] ppid=4770 vsize=13801768 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/4771/task/4779/stat : 4779 (java) S 4770 4770 7744 0 -1 1077944384 43 0 0 0 2 2 0 0 20 0 28 0 4583474 14133010432 71803 33554432000 4194304 4196468 140731482005808 140693558356368 140693964916437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19292160 140731482010812 140731482010988 140731482010988 140731482013647 0
[pid=4771/tid=4780] ppid=4770 vsize=13801768 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/4771/task/4780/stat : 4780 (java) S 4770 4770 7744 0 -1 1077944384 21 0 0 0 0 1 0 0 20 0 28 0 4583474 14133010432 71803 33554432000 4194304 4196468 140731482005808 140693557303824 140693964916437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19292160 140731482010812 140731482010988 140731482010988 140731482013647 0
[pid=4771/tid=4781] ppid=4770 vsize=13801768 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/4771/task/4781/stat : 4781 (java) S 4770 4770 7744 0 -1 1077944384 59 0 0 0 3 1 0 0 20 0 28 0 4583474 14133010432 71803 33554432000 4194304 4196468 140731482005808 140693556251280 140693964916437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19292160 140731482010812 140731482010988 140731482010988 140731482013647 0
[pid=4771/tid=4782] ppid=4770 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4771/task/4782/stat : 4782 (java) S 4770 4770 7744 0 -1 1077944384 245 0 0 0 0 0 0 0 20 0 28 0 4583476 14133010432 71803 33554432000 4194304 4196468 140731482005808 140693427177968 140693964917378 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19292160 140731482010812 140731482010988 140731482010988 140731482013647 0
[pid=4771/tid=4783] ppid=4770 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4771/task/4783/stat : 4783 (java) S 4770 4770 7744 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 4583477 14133010432 71803 33554432000 4194304 4196468 140731482005808 140693426124192 140693964916437 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19292160 140731482010812 140731482010988 140731482010988 140731482013647 0
[pid=4771/tid=4784] ppid=4770 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4771/task/4784/stat : 4784 (java) S 4770 4770 7744 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 28 0 4583478 14133010432 71803 33554432000 4194304 4196468 140731482005808 140693425071600 140693964916437 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19292160 140731482010812 140731482010988 140731482010988 140731482013647 0
[pid=4771/tid=4785] ppid=4770 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4771/task/4785/stat : 4785 (java) S 4770 4770 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4583482 14133010432 71803 33554432000 4194304 4196468 140731482005808 140693424020176 140693964924827 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19292160 140731482010812 140731482010988 140731482010988 140731482013647 0
################
# More data... #
################
/proc/4771/task/4775/stat : 4775 (java) S 4770 4770 7744 0 -1 1077944384 389 0 0 0 7 9 0 0 20 0 28 0 4583474 14133010432 308232 33554432000 4194304 4196468 140731482005808 140693562567568 140693964916437 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19292160 140731482010812 140731482010988 140731482010988 140731482013647 0
[pid=4771/tid=4776] ppid=4770 vsize=13801768 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/4771/task/4776/stat : 4776 (java) S 4770 4770 7744 0 -1 1077944384 1316 0 0 0 7 8 0 0 20 0 28 0 4583474 14133010432 308232 33554432000 4194304 4196468 140731482005808 140693561515024 140693964916437 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19292160 140731482010812 140731482010988 140731482010988 140731482013647 0
[pid=4771/tid=4777] ppid=4770 vsize=13801768 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/4771/task/4777/stat : 4777 (java) S 4770 4770 7744 0 -1 1077944384 124 0 0 0 7 9 0 0 20 0 28 0 4583474 14133010432 308232 33554432000 4194304 4196468 140731482005808 140693560462480 140693964916437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19292160 140731482010812 140731482010988 140731482010988 140731482013647 0
[pid=4771/tid=4778] ppid=4770 vsize=13801768 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/4771/task/4778/stat : 4778 (java) S 4770 4770 7744 0 -1 1077944384 276 0 0 0 8 10 0 0 20 0 28 0 4583474 14133010432 308232 33554432000 4194304 4196468 140731482005808 140693559408912 140693964916437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19292160 140731482010812 140731482010988 140731482010988 140731482013647 0
[pid=4771/tid=4779] ppid=4770 vsize=13801768 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/4771/task/4779/stat : 4779 (java) S 4770 4770 7744 0 -1 1077944384 368 0 0 0 8 9 0 0 20 0 28 0 4583474 14133010432 308232 33554432000 4194304 4196468 140731482005808 140693558356368 140693964916437 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19292160 140731482010812 140731482010988 140731482010988 140731482013647 0
[pid=4771/tid=4780] ppid=4770 vsize=13801768 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/4771/task/4780/stat : 4780 (java) S 4770 4770 7744 0 -1 1077944384 251 0 0 0 5 9 0 0 20 0 28 0 4583474 14133010432 308232 33554432000 4194304 4196468 140731482005808 140693557303824 140693964916437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19292160 140731482010812 140731482010988 140731482010988 140731482013647 0
[pid=4771/tid=4781] ppid=4770 vsize=13801768 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/4771/task/4781/stat : 4781 (java) S 4770 4770 7744 0 -1 1077944384 178 0 0 0 9 9 0 0 20 0 28 0 4583474 14133010432 308232 33554432000 4194304 4196468 140731482005808 140693556251280 140693964916437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19292160 140731482010812 140731482010988 140731482010988 140731482013647 0
[pid=4771/tid=4782] ppid=4770 vsize=13801768 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/4771/task/4782/stat : 4782 (java) S 4770 4770 7744 0 -1 1077944384 1769 0 0 0 2 2 0 0 20 0 28 0 4583476 14133010432 308232 33554432000 4194304 4196468 140731482005808 140693427177968 140693964917378 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19292160 140731482010812 140731482010988 140731482010988 140731482013647 0
[pid=4771/tid=4783] ppid=4770 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4771/task/4783/stat : 4783 (java) S 4770 4770 7744 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 4583477 14133010432 308232 33554432000 4194304 4196468 140731482005808 140693426124192 140693964916437 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19292160 140731482010812 140731482010988 140731482010988 140731482013647 0
[pid=4771/tid=4784] ppid=4770 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4771/task/4784/stat : 4784 (java) S 4770 4770 7744 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 28 0 4583478 14133010432 308232 33554432000 4194304 4196468 140731482005808 140693425071600 140693964916437 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19292160 140731482010812 140731482010988 140731482010988 140731482013647 0
[pid=4771/tid=4785] ppid=4770 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4771/task/4785/stat : 4785 (java) S 4770 4770 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4583482 14133010432 308232 33554432000 4194304 4196468 140731482005808 140693424020176 140693964924827 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19292160 140731482010812 140731482010988 140731482010988 140731482013647 0
[pid=4771/tid=4786] ppid=4770 vsize=13801768 CPUtime=3.19 cores=1,3,5,7,9,11,13,15
/proc/4771/task/4786/stat : 4786 (java) S 4770 4770 7744 0 -1 1077944384 16032 0 0 0 316 3 0 0 20 0 28 0 4583482 14133010432 308232 33554432000 4194304 4196468 140731482005808 140693422966768 140693964917378 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19292160 140731482010812 140731482010988 140731482010988 140731482013647 0
[pid=4771/tid=4787] ppid=4770 vsize=13801768 CPUtime=3.44 cores=1,3,5,7,9,11,13,15
/proc/4771/task/4787/stat : 4787 (java) S 4770 4770 7744 0 -1 1077944384 15071 0 0 0 342 2 0 0 20 0 28 0 4583482 14133010432 308232 33554432000 4194304 4196468 140731482005808 140693421914224 140693964917378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19292160 140731482010812 140731482010988 140731482010988 140731482013647 0
[pid=4771/tid=4788] ppid=4770 vsize=13801768 CPUtime=3.44 cores=1,3,5,7,9,11,13,15
/proc/4771/task/4788/stat : 4788 (java) S 4770 4770 7744 0 -1 1077944384 15949 0 0 0 342 2 0 0 20 0 28 0 4583482 14133010432 308232 33554432000 4194304 4196468 140731482005808 140693420861680 140693964917378 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19292160 140731482010812 140731482010988 140731482010988 140731482013647 0
[pid=4771/tid=4789] ppid=4770 vsize=13801768 CPUtime=1 cores=1,3,5,7,9,11,13,15
/proc/4771/task/4789/stat : 4789 (java) S 4770 4770 7744 0 -1 1077944384 8063 0 0 0 97 3 0 0 20 0 28 0 4583482 14133010432 308232 33554432000 4194304 4196468 140731482005808 140693419809136 140693964917378 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19292160 140731482010812 140731482010988 140731482010988 140731482013647 0
[pid=4771/tid=4790] ppid=4770 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4771/task/4790/stat : 4790 (java) S 4770 4770 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4583482 14133010432 308232 33554432000 4194304 4196468 140731482005808 140693418756832 140693964916437 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19292160 140731482010812 140731482010988 140731482010988 140731482013647 0
[pid=4771/tid=4791] ppid=4770 vsize=13801768 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/4771/task/4791/stat : 4791 (java) S 4770 4770 7744 0 -1 1077944384 2004 0 0 0 0 1 0 0 20 0 28 0 4583483 14133010432 308232 33554432000 4194304 4196468 140731482005808 140693417704368 140693964917378 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 19292160 140731482010812 140731482010988 140731482010988 140731482013647 0
[pid=4771/tid=4792] ppid=4770 vsize=13801768 CPUtime=21.76 cores=1,3,5,7,9,11,13,15
/proc/4771/task/4792/stat : 4792 (java) R 4770 4770 7744 0 -1 4202560 790 0 0 0 2175 1 0 0 20 0 28 0 4583877 14133010432 308232 33554432000 4194304 4196468 140731482005808 140693409691072 140693608229238 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 19292160 140731482010812 140731482010988 140731482010988 140731482013647 0
[pid=4771/tid=4793] ppid=4770 vsize=13801768 CPUtime=22.03 cores=1,3,5,7,9,11,13,15
/proc/4771/task/4793/stat : 4793 (java) R 4770 4770 7744 0 -1 4202560 572 0 0 0 2201 2 0 0 20 0 28 0 4583877 14133010432 308232 33554432000 4194304 4196468 140731482005808 140693408637272 140693607861920 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 19292160 140731482010812 140731482010988 140731482010988 140731482013647 0
[pid=4771/tid=4794] ppid=4770 vsize=13801768 CPUtime=21.73 cores=1,3,5,7,9,11,13,15
/proc/4771/task/4794/stat : 4794 (java) R 4770 4770 7744 0 -1 4202560 830 0 0 0 2172 1 0 0 20 0 28 0 4583877 14133010432 308232 33554432000 4194304 4196468 140731482005808 140693407584008 140693607053294 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 19292160 140731482010812 140731482010988 140731482010988 140731482013647 0
[pid=4771/tid=4795] ppid=4770 vsize=13801768 CPUtime=21.68 cores=1,3,5,7,9,11,13,15
/proc/4771/task/4795/stat : 4795 (java) R 4770 4770 7744 0 -1 4202560 616 0 0 0 2166 2 0 0 20 0 28 0 4583877 14133010432 308232 33554432000 4194304 4196468 140731482005808 140693406531464 140693607997275 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19292160 140731482010812 140731482010988 140731482010988 140731482013647 0
[pid=4771/tid=4796] ppid=4770 vsize=13801768 CPUtime=21.88 cores=1,3,5,7,9,11,13,15
/proc/4771/task/4796/stat : 4796 (java) R 4770 4770 7744 0 -1 4202560 503 0 0 0 2186 2 0 0 20 0 28 0 4583877 14133010432 308232 33554432000 4194304 4196468 140731482005808 140693405478472 140693608256017 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19292160 140731482010812 140731482010988 140731482010988 140731482013647 0
[pid=4771/tid=4797] ppid=4770 vsize=13801768 CPUtime=21.63 cores=1,3,5,7,9,11,13,15
/proc/4771/task/4797/stat : 4797 (java) R 4770 4770 7744 0 -1 4202560 386 0 0 0 2161 2 0 0 20 0 28 0 4583877 14133010432 308232 33554432000 4194304 4196468 140731482005808 140693404425952 140693607547572 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19292160 140731482010812 140731482010988 140731482010988 140731482013647 0
[pid=4771/tid=4798] ppid=4770 vsize=13801768 CPUtime=21.5 cores=1,3,5,7,9,11,13,15
/proc/4771/task/4798/stat : 4798 (java) R 4770 4770 7744 0 -1 4202560 967 0 0 0 2148 2 0 0 20 0 28 0 4583877 14133010432 308232 33554432000 4194304 4196468 140731482005808 140693403373688 140693606054464 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19292160 140731482010812 140731482010988 140731482010988 140731482013647 0
[pid=4771/tid=4799] ppid=4770 vsize=13801768 CPUtime=21.78 cores=1,3,5,7,9,11,13,15
/proc/4771/task/4799/stat : 4799 (java) R 4770 4770 7744 0 -1 4202560 869 0 0 0 2176 2 0 0 20 0 28 0 4583877 14133010432 308232 33554432000 4194304 4196468 140731482005808 140693402320952 140693607052122 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 19292160 140731482010812 140731482010988 140731482010988 140731482013647 0
Current children cumulated CPU time (s) 190.67
Current children cumulated vsize (KiB) 13811280
[startup+27.6188 s]
/proc/loadavg: 9.23 10.78 12.26 11/300 4799
/proc/meminfo: memFree=26681908/32770624 swapFree=5880/291756
[pid=4770] ppid=4767 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4770/stat : 4770 (xcsp3-exec) S 4767 4770 7744 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4583472 9740288 346 33554432000 4194304 5098028 140735596490016 140735596488120 140122090566268 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 12775424 140735596496014 140735596496224 140735596496224 140735596498923 0
/proc/4770/statm: 2378 346 289 221 0 87 0
[pid=4771] ppid=4770 vsize=13801768 CPUtime=193.98 cores=1,3,5,7,9,11,13,15
/proc/4771/stat : 4771 (java) S 4770 4770 7744 0 -1 1077944320 79127 0 0 0 19282 116 0 0 20 0 28 0 4583473 14133010432 308233 33554432000 4194304 4196468 140731482005808 140731481988352 140693964906231 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 19292160 140731482010812 140731482010988 140731482010988 140731482013647 0
/proc/4771/statm: 3450442 308233 3287 1 0 3437675 0
[pid=4771/tid=4772] ppid=4770 vsize=13801768 CPUtime=4.01 cores=1,3,5,7,9,11,13,15
/proc/4771/task/4772/stat : 4772 (java) S 4770 4770 7744 0 -1 1077944384 9156 0 0 0 396 5 0 0 20 0 28 0 4583473 14133010432 308233 33554432000 4194304 4196468 140731482005808 140693969147008 140693964916437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19292160 140731482010812 140731482010988 140731482010988 140731482013647 0
[pid=4771/tid=4774] ppid=4770 vsize=13801768 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/4771/task/4774/stat : 4774 (java) S 4770 4770 7744 0 -1 1077944384 1068 0 0 0 7 10 0 0 20 0 28 0 4583474 14133010432 308233 33554432000 4194304 4196468 140731482005808 140693936749328 140693964916437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19292160 140731482010812 140731482010988 140731482010988 140731482013647 0
[pid=4771/tid=4775] ppid=4770 vsize=13801768 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/4771/task/4775/stat : 4775 (java) S 4770 4770 7744 0 -1 1077944384 389 0 0 0 7 9 0 0 20 0 28 0 4583474 14133010432 308233 33554432000 4194304 4196468 140731482005808 140693562567568 140693964916437 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19292160 140731482010812 140731482010988 140731482010988 140731482013647 0
[pid=4771/tid=4776] ppid=4770 vsize=13801768 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/4771/task/4776/stat : 4776 (java) S 4770 4770 7744 0 -1 1077944384 1316 0 0 0 7 8 0 0 20 0 28 0 4583474 14133010432 308233 33554432000 4194304 4196468 140731482005808 140693561515024 140693964916437 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19292160 140731482010812 140731482010988 140731482010988 140731482013647 0
[pid=4771/tid=4777] ppid=4770 vsize=13801768 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/4771/task/4777/stat : 4777 (java) S 4770 4770 7744 0 -1 1077944384 124 0 0 0 7 9 0 0 20 0 28 0 4583474 14133010432 308233 33554432000 4194304 4196468 140731482005808 140693560462480 140693964916437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19292160 140731482010812 140731482010988 140731482010988 140731482013647 0
[pid=4771/tid=4778] ppid=4770 vsize=13801768 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/4771/task/4778/stat : 4778 (java) S 4770 4770 7744 0 -1 1077944384 276 0 0 0 8 10 0 0 20 0 28 0 4583474 14133010432 308233 33554432000 4194304 4196468 140731482005808 140693559408912 140693964916437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19292160 140731482010812 140731482010988 140731482010988 140731482013647 0
[pid=4771/tid=4779] ppid=4770 vsize=13801768 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/4771/task/4779/stat : 4779 (java) S 4770 4770 7744 0 -1 1077944384 368 0 0 0 8 9 0 0 20 0 28 0 4583474 14133010432 308233 33554432000 4194304 4196468 140731482005808 140693558356368 140693964916437 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19292160 140731482010812 140731482010988 140731482010988 140731482013647 0
[pid=4771/tid=4780] ppid=4770 vsize=13801768 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/4771/task/4780/stat : 4780 (java) S 4770 4770 7744 0 -1 1077944384 251 0 0 0 5 9 0 0 20 0 28 0 4583474 14133010432 308233 33554432000 4194304 4196468 140731482005808 140693557303824 140693964916437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19292160 140731482010812 140731482010988 140731482010988 140731482013647 0
[pid=4771/tid=4781] ppid=4770 vsize=13801768 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/4771/task/4781/stat : 4781 (java) S 4770 4770 7744 0 -1 1077944384 178 0 0 0 9 9 0 0 20 0 28 0 4583474 14133010432 308233 33554432000 4194304 4196468 140731482005808 140693556251280 140693964916437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19292160 140731482010812 140731482010988 140731482010988 140731482013647 0
[pid=4771/tid=4782] ppid=4770 vsize=13801768 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/4771/task/4782/stat : 4782 (java) S 4770 4770 7744 0 -1 1077944384 1769 0 0 0 2 2 0 0 20 0 28 0 4583476 14133010432 308233 33554432000 4194304 4196468 140731482005808 140693427177968 140693964917378 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19292160 140731482010812 140731482010988 140731482010988 140731482013647 0
[pid=4771/tid=4783] ppid=4770 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4771/task/4783/stat : 4783 (java) S 4770 4770 7744 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 4583477 14133010432 308233 33554432000 4194304 4196468 140731482005808 140693426124192 140693964916437 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19292160 140731482010812 140731482010988 140731482010988 140731482013647 0
[pid=4771/tid=4784] ppid=4770 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4771/task/4784/stat : 4784 (java) S 4770 4770 7744 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 28 0 4583478 14133010432 308233 33554432000 4194304 4196468 140731482005808 140693425071600 140693964916437 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19292160 140731482010812 140731482010988 140731482010988 140731482013647 0
[pid=4771/tid=4785] ppid=4770 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4771/task/4785/stat : 4785 (java) S 4770 4770 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4583482 14133010432 308233 33554432000 4194304 4196468 140731482005808 140693424020176 140693964924827 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19292160 140731482010812 140731482010988 140731482010988 140731482013647 0
[pid=4771/tid=4786] ppid=4770 vsize=13801768 CPUtime=3.19 cores=1,3,5,7,9,11,13,15
/proc/4771/task/4786/stat : 4786 (java) S 4770 4770 7744 0 -1 1077944384 16032 0 0 0 316 3 0 0 20 0 28 0 4583482 14133010432 308233 33554432000 4194304 4196468 140731482005808 140693422966768 140693964917378 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19292160 140731482010812 140731482010988 140731482010988 140731482013647 0
[pid=4771/tid=4787] ppid=4770 vsize=13801768 CPUtime=3.44 cores=1,3,5,7,9,11,13,15
/proc/4771/task/4787/stat : 4787 (java) S 4770 4770 7744 0 -1 1077944384 15071 0 0 0 342 2 0 0 20 0 28 0 4583482 14133010432 308233 33554432000 4194304 4196468 140731482005808 140693421914224 140693964917378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19292160 140731482010812 140731482010988 140731482010988 140731482013647 0
[pid=4771/tid=4788] ppid=4770 vsize=13801768 CPUtime=3.47 cores=1,3,5,7,9,11,13,15
/proc/4771/task/4788/stat : 4788 (java) S 4770 4770 7744 0 -1 1077944384 16146 0 0 0 345 2 0 0 20 0 28 0 4583482 14133010432 308233 33554432000 4194304 4196468 140731482005808 140693420861680 140693964917378 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19292160 140731482010812 140731482010988 140731482010988 140731482013647 0
[pid=4771/tid=4789] ppid=4770 vsize=13801768 CPUtime=1 cores=1,3,5,7,9,11,13,15
/proc/4771/task/4789/stat : 4789 (java) S 4770 4770 7744 0 -1 1077944384 8063 0 0 0 97 3 0 0 20 0 28 0 4583482 14133010432 308233 33554432000 4194304 4196468 140731482005808 140693419809136 140693964917378 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19292160 140731482010812 140731482010988 140731482010988 140731482013647 0
[pid=4771/tid=4790] ppid=4770 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4771/task/4790/stat : 4790 (java) S 4770 4770 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4583482 14133010432 308233 33554432000 4194304 4196468 140731482005808 140693418756832 140693964916437 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19292160 140731482010812 140731482010988 140731482010988 140731482013647 0
[pid=4771/tid=4791] ppid=4770 vsize=13801768 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/4771/task/4791/stat : 4791 (java) S 4770 4770 7744 0 -1 1077944384 2004 0 0 0 0 1 0 0 20 0 28 0 4583483 14133010432 308233 33554432000 4194304 4196468 140731482005808 140693417704368 140693964917378 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 19292160 140731482010812 140731482010988 140731482010988 140731482013647 0
[pid=4771/tid=4792] ppid=4770 vsize=13801768 CPUtime=22.18 cores=1,3,5,7,9,11,13,15
/proc/4771/task/4792/stat : 4792 (java) R 4770 4770 7744 0 -1 4202560 796 0 0 0 2217 1 0 0 20 0 28 0 4583877 14133010432 308233 33554432000 4194304 4196468 140731482005808 140693409691072 140693608230095 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 19292160 140731482010812 140731482010988 140731482010988 140731482013647 0
[pid=4771/tid=4793] ppid=4770 vsize=13801768 CPUtime=22.45 cores=1,3,5,7,9,11,13,15
/proc/4771/task/4793/stat : 4793 (java) R 4770 4770 7744 0 -1 4202560 581 0 0 0 2243 2 0 0 20 0 28 0 4583877 14133010432 308233 33554432000 4194304 4196468 140731482005808 140693408637272 140693608254441 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 19292160 140731482010812 140731482010988 140731482010988 140731482013647 0
[pid=4771/tid=4794] ppid=4770 vsize=13801768 CPUtime=22.15 cores=1,3,5,7,9,11,13,15
/proc/4771/task/4794/stat : 4794 (java) R 4770 4770 7744 0 -1 4202560 834 0 0 0 2214 1 0 0 20 0 28 0 4583877 14133010432 308233 33554432000 4194304 4196468 140731482005808 140693407584008 140693608229950 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 19292160 140731482010812 140731482010988 140731482010988 140731482013647 0
[pid=4771/tid=4795] ppid=4770 vsize=13801768 CPUtime=22.09 cores=1,3,5,7,9,11,13,15
/proc/4771/task/4795/stat : 4795 (java) R 4770 4770 7744 0 -1 4202560 620 0 0 0 2207 2 0 0 20 0 28 0 4583877 14133010432 308233 33554432000 4194304 4196468 140731482005808 140693406531464 140693606255590 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19292160 140731482010812 140731482010988 140731482010988 140731482013647 0
[pid=4771/tid=4796] ppid=4770 vsize=13801768 CPUtime=22.3 cores=1,3,5,7,9,11,13,15
/proc/4771/task/4796/stat : 4796 (java) R 4770 4770 7744 0 -1 4202560 510 0 0 0 2228 2 0 0 20 0 28 0 4583877 14133010432 308233 33554432000 4194304 4196468 140731482005808 140693405478664 140693608257106 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19292160 140731482010812 140731482010988 140731482010988 140731482013647 0
[pid=4771/tid=4797] ppid=4770 vsize=13801768 CPUtime=22.05 cores=1,3,5,7,9,11,13,15
/proc/4771/task/4797/stat : 4797 (java) R 4770 4770 7744 0 -1 4202560 391 0 0 0 2203 2 0 0 20 0 28 0 4583877 14133010432 308233 33554432000 4194304 4196468 140731482005808 140693404425952 140693608231263 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19292160 140731482010812 140731482010988 140731482010988 140731482013647 0
[pid=4771/tid=4798] ppid=4770 vsize=13801768 CPUtime=21.91 cores=1,3,5,7,9,11,13,15
/proc/4771/task/4798/stat : 4798 (java) R 4770 4770 7744 0 -1 4202560 973 0 0 0 2189 2 0 0 20 0 28 0 4583877 14133010432 308233 33554432000 4194304 4196468 140731482005808 140693403373688 140693607996247 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19292160 140731482010812 140731482010988 140731482010988 140731482013647 0
[pid=4771/tid=4799] ppid=4770 vsize=13801768 CPUtime=22.15 cores=1,3,5,7,9,11,13,15
/proc/4771/task/4799/stat : 4799 (java) R 4770 4770 7744 0 -1 4202560 876 0 0 0 2213 2 0 0 20 0 28 0 4583877 14133010432 308233 33554432000 4194304 4196468 140731482005808 140693402320952 140693606569654 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 19292160 140731482010812 140731482010988 140731482010988 140731482013647 0
Current children cumulated CPU time (s) 193.98
Current children cumulated vsize (KiB) 13811280
[startup+27.8016 s]
/proc/loadavg: 9.23 10.78 12.26 11/300 4799
/proc/meminfo: memFree=26681908/32770624 swapFree=5880/291756
[pid=4770] ppid=4767 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4770/stat : 4770 (xcsp3-exec) S 4767 4770 7744 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4583472 9740288 346 33554432000 4194304 5098028 140735596490016 140735596488120 140122090566268 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 12775424 140735596496014 140735596496224 140735596496224 140735596498923 0
/proc/4770/statm: 2378 346 289 221 0 87 0
[pid=4771] ppid=4770 vsize=13801768 CPUtime=195.43 cores=1,3,5,7,9,11,13,15
/proc/4771/stat : 4771 (java) S 4770 4770 7744 0 -1 1077944320 79615 0 0 0 19427 116 0 0 20 0 20 0 4583473 14133010432 308094 33554432000 4194304 4196468 140731482005808 140731481988352 140693964906231 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 19292160 140731482010812 140731482010988 140731482010988 140731482013647 0
/proc/4771/statm: 3450442 308094 3289 1 0 3437675 0
[pid=4771/tid=4772] ppid=4770 vsize=13801768 CPUtime=4.01 cores=1,3,5,7,9,11,13,15
/proc/4771/task/4772/stat : 4772 (java) R 4770 4770 7744 0 -1 4202560 9395 0 0 0 396 5 0 0 20 0 20 0 4583473 14133010432 308094 33554432000 4194304 4196468 140731482005808 140693969147096 140693950601297 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19292160 140731482010812 140731482010988 140731482010988 140731482013647 0
[pid=4771/tid=4774] ppid=4770 vsize=13801768 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/4771/task/4774/stat : 4774 (java) S 4770 4770 7744 0 -1 1077944384 1068 0 0 0 7 10 0 0 20 0 20 0 4583474 14133010432 308094 33554432000 4194304 4196468 140731482005808 140693936749328 140693964916437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19292160 140731482010812 140731482010988 140731482010988 140731482013647 0
[pid=4771/tid=4775] ppid=4770 vsize=13801768 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/4771/task/4775/stat : 4775 (java) S 4770 4770 7744 0 -1 1077944384 389 0 0 0 7 9 0 0 20 0 20 0 4583474 14133010432 308094 33554432000 4194304 4196468 140731482005808 140693562567568 140693964916437 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19292160 140731482010812 140731482010988 140731482010988 140731482013647 0
[pid=4771/tid=4776] ppid=4770 vsize=13801768 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/4771/task/4776/stat : 4776 (java) S 4770 4770 7744 0 -1 1077944384 1316 0 0 0 7 8 0 0 20 0 20 0 4583474 14133010432 308094 33554432000 4194304 4196468 140731482005808 140693561515024 140693964916437 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19292160 140731482010812 140731482010988 140731482010988 140731482013647 0
[pid=4771/tid=4777] ppid=4770 vsize=13801768 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/4771/task/4777/stat : 4777 (java) S 4770 4770 7744 0 -1 1077944384 124 0 0 0 7 9 0 0 20 0 20 0 4583474 14133010432 308094 33554432000 4194304 4196468 140731482005808 140693560462480 140693964916437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19292160 140731482010812 140731482010988 140731482010988 140731482013647 0
[pid=4771/tid=4778] ppid=4770 vsize=13801768 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/4771/task/4778/stat : 4778 (java) S 4770 4770 7744 0 -1 1077944384 276 0 0 0 8 10 0 0 20 0 20 0 4583474 14133010432 308094 33554432000 4194304 4196468 140731482005808 140693559408912 140693964916437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19292160 140731482010812 140731482010988 140731482010988 140731482013647 0
[pid=4771/tid=4779] ppid=4770 vsize=13801768 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/4771/task/4779/stat : 4779 (java) S 4770 4770 7744 0 -1 1077944384 368 0 0 0 8 9 0 0 20 0 20 0 4583474 14133010432 308094 33554432000 4194304 4196468 140731482005808 140693558356368 140693964916437 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19292160 140731482010812 140731482010988 140731482010988 140731482013647 0
[pid=4771/tid=4780] ppid=4770 vsize=13801768 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/4771/task/4780/stat : 4780 (java) S 4770 4770 7744 0 -1 1077944384 251 0 0 0 5 9 0 0 20 0 20 0 4583474 14133010432 308094 33554432000 4194304 4196468 140731482005808 140693557303824 140693964916437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19292160 140731482010812 140731482010988 140731482010988 140731482013647 0
[pid=4771/tid=4781] ppid=4770 vsize=13801768 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/4771/task/4781/stat : 4781 (java) S 4770 4770 7744 0 -1 1077944384 178 0 0 0 9 9 0 0 20 0 20 0 4583474 14133010432 308094 33554432000 4194304 4196468 140731482005808 140693556251280 140693964916437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19292160 140731482010812 140731482010988 140731482010988 140731482013647 0
[pid=4771/tid=4782] ppid=4770 vsize=13801768 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/4771/task/4782/stat : 4782 (java) S 4770 4770 7744 0 -1 1077944384 1769 0 0 0 2 2 0 0 20 0 20 0 4583476 14133010432 308094 33554432000 4194304 4196468 140731482005808 140693427177968 140693964917378 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19292160 140731482010812 140731482010988 140731482010988 140731482013647 0
[pid=4771/tid=4783] ppid=4770 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4771/task/4783/stat : 4783 (java) S 4770 4770 7744 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 20 0 4583477 14133010432 308094 33554432000 4194304 4196468 140731482005808 140693426124192 140693964916437 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19292160 140731482010812 140731482010988 140731482010988 140731482013647 0
[pid=4771/tid=4784] ppid=4770 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4771/task/4784/stat : 4784 (java) S 4770 4770 7744 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 4583478 14133010432 308094 33554432000 4194304 4196468 140731482005808 140693425071600 140693964916437 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19292160 140731482010812 140731482010988 140731482010988 140731482013647 0
[pid=4771/tid=4785] ppid=4770 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4771/task/4785/stat : 4785 (java) S 4770 4770 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4583482 14133010432 308094 33554432000 4194304 4196468 140731482005808 140693424020176 140693964924827 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19292160 140731482010812 140731482010988 140731482010988 140731482013647 0
[pid=4771/tid=4786] ppid=4770 vsize=13801768 CPUtime=3.19 cores=1,3,5,7,9,11,13,15
/proc/4771/task/4786/stat : 4786 (java) R 4770 4770 7744 0 -1 4202560 16035 0 0 0 316 3 0 0 20 0 20 0 4583482 14133010432 308094 33554432000 4194304 4196468 140731482005808 140693422966768 140693942135511 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 19292160 140731482010812 140731482010988 140731482010988 140731482013647 0
[pid=4771/tid=4787] ppid=4770 vsize=13801768 CPUtime=3.44 cores=1,3,5,7,9,11,13,15
/proc/4771/task/4787/stat : 4787 (java) S 4770 4770 7744 0 -1 1077944384 15071 0 0 0 342 2 0 0 20 0 20 0 4583482 14133010432 308096 33554432000 4194304 4196468 140731482005808 140693421914224 140693964917378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19292160 140731482010812 140731482010988 140731482010988 140731482013647 0
[pid=4771/tid=4788] ppid=4770 vsize=13801768 CPUtime=3.47 cores=1,3,5,7,9,11,13,15
/proc/4771/task/4788/stat : 4788 (java) S 4770 4770 7744 0 -1 1077944384 16146 0 0 0 345 2 0 0 20 0 20 0 4583482 14133010432 308096 33554432000 4194304 4196468 140731482005808 140693420861680 140693964917378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19292160 140731482010812 140731482010988 140731482010988 140731482013647 0
[pid=4771/tid=4789] ppid=4770 vsize=13801768 CPUtime=1 cores=1,3,5,7,9,11,13,15
/proc/4771/task/4789/stat : 4789 (java) R 4770 4770 7744 0 -1 4202560 8090 0 0 0 97 3 0 0 20 0 20 0 4583482 14133010432 308096 33554432000 4194304 4196468 140731482005808 140693419803520 140693964927578 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 19292160 140731482010812 140731482010988 140731482010988 140731482013647 0
[pid=4771/tid=4790] ppid=4770 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4771/task/4790/stat : 4790 (java) S 4770 4770 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4583482 14133010432 308096 33554432000 4194304 4196468 140731482005808 140693418756832 140693964916437 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19292160 140731482010812 140731482010988 140731482010988 140731482013647 0
[pid=4771/tid=4791] ppid=4770 vsize=13801768 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/4771/task/4791/stat : 4791 (java) S 4770 4770 7744 0 -1 1077944384 2004 0 0 0 0 1 0 0 20 0 20 0 4583483 14133010432 308096 33554432000 4194304 4196468 140731482005808 140693417704368 140693964917378 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 19292160 140731482010812 140731482010988 140731482010988 140731482013647 0
Current children cumulated CPU time (s) 195.43
Current children cumulated vsize (KiB) 13811280
Child status: 0
Real time (s): 27.8158
CPU time (s): 195.463
CPU user time (s): 194.282
CPU system time (s): 1.18044
CPU usage (%): 702.705
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 194.283
system time used= 1.18044
maximum resident set size= 1233852
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80328
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5745
involuntary context switches= 12330
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.34084 second user time and 0.417909 second system time
The end