runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
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-3313360-1304185267/watcher-3313360-1304185267 -o /tmp/evaluation-result-3313360-1304185267/solver-3313360-1304185267 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3313360-1304185267.cnf
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 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: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.69 4.73 6.34 5/194 13938
/proc/meminfo: memFree=30049644/32950928 swapFree=67054472/67111528
[pid=13938] ppid=13936 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/13938/stat : 13938 (java) R 13936 13938 13254 0 -1 4202496 1198 0 0 0 0 0 0 0 21 0 1 0 608757412 23580672 684 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 260900431761 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/13938/statm: 5757 684 511 9 0 124 0
[startup+0.080192 s]
/proc/loadavg: 3.69 4.73 6.34 5/194 13938
/proc/meminfo: memFree=30049644/32950928 swapFree=67054472/67111528
[pid=13938] ppid=13936 vsize=15676532 CPUtime=0.08 cores=1,3,5,7
/proc/13938/stat : 13938 (java) S 13936 13938 13254 0 -1 4202496 5261 0 1 0 7 1 0 0 21 0 18 0 608757412 16052768768 4669 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13938/statm: 3919133 4669 2087 9 0 3909852 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 15676532
[startup+0.100184 s]
/proc/loadavg: 3.69 4.73 6.34 5/194 13938
/proc/meminfo: memFree=30049644/32950928 swapFree=67054472/67111528
[pid=13938] ppid=13936 vsize=15676408 CPUtime=0.1 cores=1,3,5,7
/proc/13938/stat : 13938 (java) S 13936 13938 13254 0 -1 4202496 5637 0 1 0 9 1 0 0 21 0 18 0 608757412 16052641792 5013 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13938/statm: 3919102 5014 2118 9 0 3909821 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15676408
[startup+0.300153 s]
/proc/loadavg: 3.69 4.73 6.34 5/194 13938
/proc/meminfo: memFree=30049644/32950928 swapFree=67054472/67111528
[pid=13938] ppid=13936 vsize=15680260 CPUtime=0.51 cores=1,3,5,7
/proc/13938/stat : 13938 (java) S 13936 13938 13254 0 -1 4202496 16442 0 1 0 49 2 0 0 21 0 18 0 608757412 16056586240 14862 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13938/statm: 3920065 14869 2207 9 0 3910784 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 15680260
[startup+0.701139 s]
/proc/loadavg: 3.69 4.73 6.34 5/194 13938
/proc/meminfo: memFree=30049644/32950928 swapFree=67054472/67111528
[pid=13938] ppid=13936 vsize=15680260 CPUtime=0.92 cores=1,3,5,7
/proc/13938/stat : 13938 (java) S 13936 13938 13254 0 -1 4202496 41881 0 1 0 87 5 0 0 21 0 18 0 608757412 16056586240 40299 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13938/statm: 3920065 40299 2223 9 0 3910784 0
Current children cumulated CPU time (s) 0.92
Current children cumulated vsize (KiB) 15680260
[startup+1.50096 s]
/proc/loadavg: 3.69 4.73 6.34 3/216 13960
/proc/meminfo: memFree=29736748/32950928 swapFree=67054472/67111528
[pid=13938] ppid=13936 vsize=15680260 CPUtime=1.73 cores=1,3,5,7
/proc/13938/stat : 13938 (java) S 13936 13938 13254 0 -1 4202496 75777 0 1 0 164 9 0 0 21 0 18 0 608757412 16056586240 74192 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13938/statm: 3920065 74192 2223 9 0 3910784 0
[pid=13938/tid=13940] ppid=13936 vsize=15680260 CPUtime=1.47 cores=1,3,5,7
/proc/13938/task/13940/stat : 13940 (java) R 13936 13938 13254 0 -1 4202560 66272 0 1 0 139 8 0 0 25 0 18 0 608757413 16056586240 74192 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 46912505640753 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=13938/tid=13941] ppid=13936 vsize=15680260 CPUtime=0 cores=1,3,5,7
/proc/13938/task/13941/stat : 13941 (java) S 13936 13938 13254 0 -1 4202560 84 0 0 0 0 0 0 0 15 0 18 0 608757413 16056586240 74192 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 260917210009 0 4 0 16800975 18446604454856353984 0 0 -1 3 0 0 0
[pid=13938/tid=13942] ppid=13936 vsize=15680260 CPUtime=0 cores=1,3,5,7
/proc/13938/task/13942/stat : 13942 (java) S 13936 13938 13254 0 -1 4202560 115 0 0 0 0 0 0 0 15 0 18 0 608757413 16056586240 74192 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 260917210009 0 4 0 16800975 18446604454856353984 0 0 -1 3 0 0 0
[pid=13938/tid=13943] ppid=13936 vsize=15680260 CPUtime=0 cores=1,3,5,7
/proc/13938/task/13943/stat : 13943 (java) S 13936 13938 13254 0 -1 4202560 24 0 0 0 0 0 0 0 15 0 18 0 608757413 16056586240 74192 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 260917210009 0 4 0 16800975 18446604454856353984 0 0 -1 1 0 0 0
[pid=13938/tid=13944] ppid=13936 vsize=15680260 CPUtime=0 cores=1,3,5,7
/proc/13938/task/13944/stat : 13944 (java) S 13936 13938 13254 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 608757413 16056586240 74192 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 260917210009 0 4 0 16800975 18446604454856353984 0 0 -1 7 0 0 0
[pid=13938/tid=13945] ppid=13936 vsize=15680260 CPUtime=0 cores=1,3,5,7
/proc/13938/task/13945/stat : 13945 (java) S 13936 13938 13254 0 -1 4202560 695 0 0 0 0 0 0 0 15 0 18 0 608757413 16056586240 74192 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 260917210009 0 4 0 16800975 18446604454856353984 0 0 -1 5 0 0 0
[pid=13938/tid=13946] ppid=13936 vsize=15680260 CPUtime=0 cores=1,3,5,7
/proc/13938/task/13946/stat : 13946 (java) S 13936 13938 13254 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 18 0 608757413 16056586240 74192 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 260917210009 0 4 0 16800975 18446604454856353984 0 0 -1 7 0 0 0
[pid=13938/tid=13947] ppid=13936 vsize=15680260 CPUtime=0 cores=1,3,5,7
/proc/13938/task/13947/stat : 13947 (java) S 13936 13938 13254 0 -1 4202560 2857 0 0 0 0 0 0 0 16 0 18 0 608757413 16056586240 74192 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 260917210009 0 4 0 16800975 18446604454856353984 0 0 -1 1 0 0 0
[pid=13938/tid=13948] ppid=13936 vsize=15680260 CPUtime=0 cores=1,3,5,7
/proc/13938/task/13948/stat : 13948 (java) S 13936 13938 13254 0 -1 4202560 393 0 0 0 0 0 0 0 15 0 18 0 608757413 16056586240 74192 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 260917210009 0 4 0 16800975 18446604454856353984 0 0 -1 5 0 0 0
[pid=13938/tid=13949] ppid=13936 vsize=15680260 CPUtime=0 cores=1,3,5,7
/proc/13938/task/13949/stat : 13949 (java) S 13936 13938 13254 0 -1 4202560 182 0 0 0 0 0 0 0 16 0 18 0 608757414 16056586240 74192 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 260917210624 0 0 0 16800975 18446604454856353984 0 0 -1 1 0 0 0
[pid=13938/tid=13950] ppid=13936 vsize=15680260 CPUtime=0 cores=1,3,5,7
/proc/13938/task/13950/stat : 13950 (java) S 13936 13938 13254 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 18 0 608757415 16056586240 74192 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 260917210009 0 4 0 16800975 18446604454856353984 0 0 -1 3 0 0 0
[pid=13938/tid=13951] ppid=13936 vsize=15680260 CPUtime=0 cores=1,3,5,7
/proc/13938/task/13951/stat : 13951 (java) S 13936 13938 13254 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 18 0 608757415 16056586240 74192 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 260917210009 0 4 0 16800975 18446604454856353984 0 0 -1 3 0 0 0
[pid=13938/tid=13952] ppid=13936 vsize=15680260 CPUtime=0 cores=1,3,5,7
/proc/13938/task/13952/stat : 13952 (java) S 13936 13938 13254 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 608757417 16056586240 74192 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 260917217713 0 4 0 16800975 18446604454856353984 0 0 -1 3 0 0 0
[pid=13938/tid=13953] ppid=13936 vsize=15680260 CPUtime=0.11 cores=1,3,5,7
/proc/13938/task/13953/stat : 13953 (java) S 13936 13938 13254 0 -1 4202560 1342 0 0 0 11 0 0 0 25 0 18 0 608757417 16056586240 74192 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 260917210009 0 4 0 16800975 18446604454856353984 0 0 -1 7 0 0 0
[pid=13938/tid=13954] ppid=13936 vsize=15680260 CPUtime=0.11 cores=1,3,5,7
/proc/13938/task/13954/stat : 13954 (java) S 13936 13938 13254 0 -1 4202560 2421 0 0 0 11 0 0 0 16 0 18 0 608757417 16056586240 74192 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 260917210009 0 4 0 16800975 18446604454856353984 0 0 -1 3 0 0 0
[pid=13938/tid=13955] ppid=13936 vsize=15680260 CPUtime=0 cores=1,3,5,7
/proc/13938/task/13955/stat : 13955 (java) S 13936 13938 13254 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 608757417 16056586240 74192 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 260917210009 0 4 0 16800975 18446604454856353984 0 0 -1 1 0 0 0
[pid=13938/tid=13956] ppid=13936 vsize=15680260 CPUtime=0 cores=1,3,5,7
/proc/13938/task/13956/stat : 13956 (java) S 13936 13938 13254 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 608757417 16056586240 74192 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 260917210624 0 4 0 16800975 18446604454856353984 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.73
Current children cumulated vsize (KiB) 15680260
[startup+3.10064 s]
/proc/loadavg: 3.69 4.73 6.34 3/216 13960
/proc/meminfo: memFree=29406040/32950928 swapFree=67054472/67111528
[pid=13938] ppid=13936 vsize=15688288 CPUtime=3.87 cores=1,3,5,7
/proc/13938/stat : 13938 (java) S 13936 13938 13254 0 -1 4202496 150081 0 1 0 369 18 0 0 21 0 22 0 608757412 16064806912 145609 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13938/statm: 3922072 145609 2260 9 0 3912791 0
[pid=13938/tid=13940] ppid=13936 vsize=15688288 CPUtime=3.06 cores=1,3,5,7
/proc/13938/task/13940/stat : 13940 (java) R 13936 13938 13254 0 -1 4202560 127920 0 1 0 290 16 0 0 25 0 22 0 608757413 16064806912 145609 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 47598442981176 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=13938/tid=13941] ppid=13936 vsize=15688288 CPUtime=0 cores=1,3,5,7
/proc/13938/task/13941/stat : 13941 (java) S 13936 13938 13254 0 -1 4202560 114 0 0 0 0 0 0 0 15 0 22 0 608757413 16064806912 145609 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 260917210009 0 4 0 16800975 18446604454856353984 0 0 -1 3 0 0 0
[pid=13938/tid=13942] ppid=13936 vsize=15688288 CPUtime=0 cores=1,3,5,7
/proc/13938/task/13942/stat : 13942 (java) S 13936 13938 13254 0 -1 4202560 115 0 0 0 0 0 0 0 15 0 22 0 608757413 16064806912 145609 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 260917210009 0 4 0 16800975 18446604454856353984 0 0 -1 3 0 0 0
[pid=13938/tid=13943] ppid=13936 vsize=15688288 CPUtime=0 cores=1,3,5,7
/proc/13938/task/13943/stat : 13943 (java) S 13936 13938 13254 0 -1 4202560 2653 0 0 0 0 0 0 0 16 0 22 0 608757413 16064806912 145609 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 260917210009 0 4 0 16800975 18446604454856353984 0 0 -1 5 0 0 0
[pid=13938/tid=13944] ppid=13936 vsize=15688288 CPUtime=0 cores=1,3,5,7
/proc/13938/task/13944/stat : 13944 (java) S 13936 13938 13254 0 -1 4202560 21 0 0 0 0 0 0 0 15 0 22 0 608757413 16064806912 145609 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 260917210009 0 4 0 16800975 18446604454856353984 0 0 -1 7 0 0 0
[pid=13938/tid=13945] ppid=13936 vsize=15688288 CPUtime=0 cores=1,3,5,7
/proc/13938/task/13945/stat : 13945 (java) S 13936 13938 13254 0 -1 4202560 726 0 0 0 0 0 0 0 15 0 22 0 608757413 16064806912 145609 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 260917210009 0 4 0 16800975 18446604454856353984 0 0 -1 5 0 0 0
[pid=13938/tid=13946] ppid=13936 vsize=15688288 CPUtime=0 cores=1,3,5,7
/proc/13938/task/13946/stat : 13946 (java) S 13936 13938 13254 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 22 0 608757413 16064806912 145609 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 260917210009 0 4 0 16800975 18446604454856353984 0 0 -1 7 0 0 0
[pid=13938/tid=13947] ppid=13936 vsize=15688288 CPUtime=0 cores=1,3,5,7
/proc/13938/task/13947/stat : 13947 (java) S 13936 13938 13254 0 -1 4202560 2866 0 0 0 0 0 0 0 15 0 22 0 608757413 16064806912 145609 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 260917210009 0 4 0 16800975 18446604454856353984 0 0 -1 7 0 0 0
[pid=13938/tid=13948] ppid=13936 vsize=15688288 CPUtime=0 cores=1,3,5,7
/proc/13938/task/13948/stat : 13948 (java) S 13936 13938 13254 0 -1 4202560 393 0 0 0 0 0 0 0 15 0 22 0 608757413 16064806912 145609 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 260917210009 0 4 0 16800975 18446604454856353984 0 0 -1 5 0 0 0
[pid=13938/tid=13949] ppid=13936 vsize=15688288 CPUtime=0 cores=1,3,5,7
/proc/13938/task/13949/stat : 13949 (java) S 13936 13938 13254 0 -1 4202560 434 0 0 0 0 0 0 0 16 0 22 0 608757414 16064806912 145609 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 260917210624 0 0 0 16800975 18446604454856353984 0 0 -1 1 0 0 0
[pid=13938/tid=13950] ppid=13936 vsize=15688288 CPUtime=0 cores=1,3,5,7
/proc/13938/task/13950/stat : 13950 (java) S 13936 13938 13254 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 22 0 608757415 16064806912 145609 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 260917210009 0 4 0 16800975 18446604454856353984 0 0 -1 3 0 0 0
[pid=13938/tid=13951] ppid=13936 vsize=15688288 CPUtime=0 cores=1,3,5,7
/proc/13938/task/13951/stat : 13951 (java) S 13936 13938 13254 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 22 0 608757415 16064806912 145609 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 260917210009 0 4 0 16800975 18446604454856353984 0 0 -1 3 0 0 0
[pid=13938/tid=13952] ppid=13936 vsize=15688288 CPUtime=0 cores=1,3,5,7
/proc/13938/task/13952/stat : 13952 (java) S 13936 13938 13254 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 608757417 16064806912 145609 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 260917217713 0 4 0 16800975 18446604454856353984 0 0 -1 3 0 0 0
[pid=13938/tid=13953] ppid=13936 vsize=15688288 CPUtime=0.24 cores=1,3,5,7
/proc/13938/task/13953/stat : 13953 (java) S 13936 13938 13254 0 -1 4202560 1719 0 0 0 24 0 0 0 15 0 22 0 608757417 16064806912 145609 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 260917210009 0 4 0 16800975 18446604454856353984 0 0 -1 7 0 0 0
[pid=13938/tid=13954] ppid=13936 vsize=15688288 CPUtime=0.5 cores=1,3,5,7
/proc/13938/task/13954/stat : 13954 (java) R 13936 13938 13254 0 -1 4202560 11687 0 0 0 50 0 0 0 16 0 22 0 608757417 16064806912 145609 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 47598439640524 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=13938/tid=13955] ppid=13936 vsize=15688288 CPUtime=0 cores=1,3,5,7
/proc/13938/task/13955/stat : 13955 (java) S 13936 13938 13254 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 608757417 16064806912 145609 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 260917210009 0 4 0 16800975 18446604454856353984 0 0 -1 1 0 0 0
[pid=13938/tid=13956] ppid=13936 vsize=15688288 CPUtime=0 cores=1,3,5,7
/proc/13938/task/13956/stat : 13956 (java) S 13936 13938 13254 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 608757417 16064806912 145609 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 260917210624 0 4 0 16800975 18446604454856353984 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.87
Current children cumulated vsize (KiB) 15688288
[startup+6.30105 s]
/proc/loadavg: 3.55 4.68 6.32 7/220 13965
/proc/meminfo: memFree=29081412/32950928 swapFree=67054472/67111528
[pid=13938] ppid=13936 vsize=15686180 CPUtime=7.97 cores=1,3,5,7
/proc/13938/stat : 13938 (java) S 13936 13938 13254 0 -1 4202496 153120 0 1 0 778 19 0 0 21 0 22 0 608757412 16062648320 144913 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13938/statm: 3921545 144913 2278 9 0 3912264 0
[pid=13938/tid=13940] ppid=13936 vsize=15686180 CPUtime=6.26 cores=1,3,5,7
/proc/13938/task/13940/stat : 13940 (java) R 13936 13938 13254 0 -1 4202560 127959 0 1 0 610 16 0 0 25 0 22 0 608757413 16062648320 144913 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 46912506217332 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=13938/tid=13941] ppid=13936 vsize=15686180 CPUtime=0 cores=1,3,5,7
/proc/13938/task/13941/stat : 13941 (java) S 13936 13938 13254 0 -1 4202560 114 0 0 0 0 0 0 0 15 0 22 0 608757413 16062648320 144913 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 260917210009 0 4 0 16800975 18446604454856353984 0 0 -1 3 0 0 0
[pid=13938/tid=13942] ppid=13936 vsize=15686180 CPUtime=0 cores=1,3,5,7
/proc/13938/task/13942/stat : 13942 (java) S 13936 13938 13254 0 -1 4202560 115 0 0 0 0 0 0 0 15 0 22 0 608757413 16062648320 144913 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 260917210009 0 4 0 16800975 18446604454856353984 0 0 -1 3 0 0 0
[pid=13938/tid=13943] ppid=13936 vsize=15686180 CPUtime=0 cores=1,3,5,7
/proc/13938/task/13943/stat : 13943 (java) S 13936 13938 13254 0 -1 4202560 2653 0 0 0 0 0 0 0 16 0 22 0 608757413 16062648320 144913 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 260917210009 0 4 0 16800975 18446604454856353984 0 0 -1 5 0 0 0
[pid=13938/tid=13944] ppid=13936 vsize=15686180 CPUtime=0 cores=1,3,5,7
/proc/13938/task/13944/stat : 13944 (java) S 13936 13938 13254 0 -1 4202560 21 0 0 0 0 0 0 0 15 0 22 0 608757413 16062648320 144913 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 260917210009 0 4 0 16800975 18446604454856353984 0 0 -1 7 0 0 0
[pid=13938/tid=13945] ppid=13936 vsize=15686180 CPUtime=0 cores=1,3,5,7
/proc/13938/task/13945/stat : 13945 (java) S 13936 13938 13254 0 -1 4202560 726 0 0 0 0 0 0 0 15 0 22 0 608757413 16062648320 144913 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 260917210009 0 4 0 16800975 18446604454856353984 0 0 -1 5 0 0 0
[pid=13938/tid=13946] ppid=13936 vsize=15686180 CPUtime=0 cores=1,3,5,7
/proc/13938/task/13946/stat : 13946 (java) S 13936 13938 13254 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 22 0 608757413 16062648320 144913 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 260917210009 0 4 0 16800975 18446604454856353984 0 0 -1 7 0 0 0
[pid=13938/tid=13947] ppid=13936 vsize=15686180 CPUtime=0 cores=1,3,5,7
/proc/13938/task/13947/stat : 13947 (java) S 13936 13938 13254 0 -1 4202560 2866 0 0 0 0 0 0 0 15 0 22 0 608757413 16062648320 144913 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 260917210009 0 4 0 16800975 18446604454856353984 0 0 -1 7 0 0 0
[pid=13938/tid=13948] ppid=13936 vsize=15686180 CPUtime=0 cores=1,3,5,7
/proc/13938/task/13948/stat : 13948 (java) S 13936 13938 13254 0 -1 4202560 393 0 0 0 0 0 0 0 15 0 22 0 608757413 16062648320 144913 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 260917210009 0 4 0 16800975 18446604454856353984 0 0 -1 5 0 0 0
[pid=13938/tid=13949] ppid=13936 vsize=15686180 CPUtime=0 cores=1,3,5,7
/proc/13938/task/13949/stat : 13949 (java) S 13936 13938 13254 0 -1 4202560 436 0 0 0 0 0 0 0 15 0 22 0 608757414 16062648320 144913 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 260917210624 0 0 0 16800975 18446604454856353984 0 0 -1 5 0 0 0
[pid=13938/tid=13950] ppid=13936 vsize=15686180 CPUtime=0 cores=1,3,5,7
/proc/13938/task/13950/stat : 13950 (java) S 13936 13938 13254 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 22 0 608757415 16062648320 144913 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 260917210009 0 4 0 16800975 18446604454856353984 0 0 -1 3 0 0 0
[pid=13938/tid=13951] ppid=13936 vsize=15686180 CPUtime=0 cores=1,3,5,7
/proc/13938/task/13951/stat : 13951 (java) S 13936 13938 13254 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 22 0 608757415 16062648320 144913 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 260917210009 0 4 0 16800975 18446604454856353984 0 0 -1 3 0 0 0
[pid=13938/tid=13952] ppid=13936 vsize=15686180 CPUtime=0 cores=1,3,5,7
/proc/13938/task/13952/stat : 13952 (java) S 13936 13938 13254 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 608757417 16062648320 144913 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 260917217713 0 4 0 16800975 18446604454856353984 0 0 -1 3 0 0 0
[pid=13938/tid=13953] ppid=13936 vsize=15686180 CPUtime=0.71 cores=1,3,5,7
/proc/13938/task/13953/stat : 13953 (java) S 13936 13938 13254 0 -1 4202560 3259 0 0 0 71 0 0 0 15 0 22 0 608757417 16062648320 144913 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 260917210009 0 4 0 16800975 18446604454856353984 0 0 -1 1 0 0 0
[pid=13938/tid=13954] ppid=13936 vsize=15686180 CPUtime=0.94 cores=1,3,5,7
/proc/13938/task/13954/stat : 13954 (java) S 13936 13938 13254 0 -1 4202560 13143 0 0 0 93 1 0 0 15 0 22 0 608757417 16062648320 144913 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 260917210009 0 4 0 16800975 18446604454856353984 0 0 -1 3 0 0 0
[pid=13938/tid=13955] ppid=13936 vsize=15686180 CPUtime=0 cores=1,3,5,7
/proc/13938/task/13955/stat : 13955 (java) S 13936 13938 13254 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 608757417 16062648320 144913 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 260917210009 0 4 0 16800975 18446604454856353984 0 0 -1 1 0 0 0
[pid=13938/tid=13956] ppid=13936 vsize=15686180 CPUtime=0 cores=1,3,5,7
/proc/13938/task/13956/stat : 13956 (java) S 13936 13938 13254 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 608757417 16062648320 144913 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 260917210624 0 4 0 16800975 18446604454856353984 0 0 -1 7 0 0 0
[pid=13938/tid=13961] ppid=13936 vsize=15686180 CPUtime=0 cores=1,3,5,7
/proc/13938/task/13961/stat : 13961 (java) S 13936 13938 13254 0 -1 4202560 16 0 0 0 0 0 0 0 15 0 22 0 608757654 16062648320 144913 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 260917210624 0 4 0 16800975 18446604454856353984 0 0 -1 3 0 0 0
[pid=13938/tid=13962] ppid=13936 vsize=15686180 CPUtime=0 cores=1,3,5,7
/proc/13938/task/13962/stat : 13962 (java) S 13936 13938 13254 0 -1 4202560 14 0 0 0 0 0 0 0 15 0 22 0 608757654 16062648320 144913 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 260917210624 0 4 0 16800975 18446604454856353984 0 0 -1 3 0 0 0
[pid=13938/tid=13963] ppid=13936 vsize=15686180 CPUtime=0 cores=1,3,5,7
/proc/13938/task/13963/stat : 13963 (java) S 13936 13938 13254 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 22 0 608757654 16062648320 144913 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 260917210624 0 4 0 16800975 18446604454856353984 0 0 -1 3 0 0 0
[pid=13938/tid=13964] ppid=13936 vsize=15686180 CPUtime=0 cores=1,3,5,7
/proc/13938/task/13964/stat : 13964 (java) S 13936 13938 13254 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 22 0 608757654 16062648320 144913 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 260917210624 0 4 0 16800975 18446604454856353984 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 7.97
Current children cumulated vsize (KiB) 15686180
################
# More data... #
################
[pid=13938/tid=13962] ppid=13936 vsize=15752448 CPUtime=1038.27 cores=1,3,5,7
/proc/13938/task/13962/stat : 13962 (java) R 13936 13938 13254 0 -1 4202560 136525 0 0 0 103812 15 0 0 25 0 22 0 608757654 16130506752 409729 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 46912506106968 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=13938/tid=13963] ppid=13936 vsize=15752448 CPUtime=1039.18 cores=1,3,5,7
/proc/13938/task/13963/stat : 13963 (java) R 13936 13938 13254 0 -1 4202560 155210 0 0 0 103901 17 0 0 25 0 22 0 608757654 16130506752 409729 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 46912506107100 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=13938/tid=13964] ppid=13936 vsize=15752448 CPUtime=1044.28 cores=1,3,5,7
/proc/13938/task/13964/stat : 13964 (java) R 13936 13938 13254 0 -1 4202560 253376 0 0 0 104398 30 0 0 25 0 22 0 608757654 16130506752 409729 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 46912506106927 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4196.69
Current children cumulated vsize (KiB) 15752448
[startup+1122.3 s]
/proc/loadavg: 8.19 8.03 7.54 9/220 14043
/proc/meminfo: memFree=27886588/32950928 swapFree=67054472/67111528
[pid=13938] ppid=13936 vsize=15752448 CPUtime=4435.94 cores=1,3,5,7
/proc/13938/stat : 13938 (java) S 13936 13938 13254 0 -1 4202496 2696523 0 1 0 443154 440 0 0 21 0 22 0 608757412 16130506752 424654 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13938/statm: 3938112 424654 2301 9 0 3928831 0
[pid=13938/tid=13940] ppid=13936 vsize=15752448 CPUtime=8.6 cores=1,3,5,7
/proc/13938/task/13940/stat : 13940 (java) S 13936 13938 13254 0 -1 4202560 127983 0 1 0 844 16 0 0 25 0 22 0 608757413 16130506752 424654 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 260917210009 0 4 0 16800975 18446604454856353984 0 0 -1 5 0 0 0
[pid=13938/tid=13941] ppid=13936 vsize=15752448 CPUtime=3.61 cores=1,3,5,7
/proc/13938/task/13941/stat : 13941 (java) S 13936 13938 13254 0 -1 4202560 240019 0 0 0 325 36 0 0 15 0 22 0 608757413 16130506752 424654 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 260917210009 0 4 0 16800975 18446604454856353984 0 0 -1 5 0 0 0
[pid=13938/tid=13942] ppid=13936 vsize=15752448 CPUtime=3.58 cores=1,3,5,7
/proc/13938/task/13942/stat : 13942 (java) S 13936 13938 13254 0 -1 4202560 242775 0 0 0 316 42 0 0 16 0 22 0 608757413 16130506752 424654 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 260917210009 0 4 0 16800975 18446604454856353984 0 0 -1 1 0 0 0
[pid=13938/tid=13943] ppid=13936 vsize=15752448 CPUtime=3.37 cores=1,3,5,7
/proc/13938/task/13943/stat : 13943 (java) S 13936 13938 13254 0 -1 4202560 175356 0 0 0 309 28 0 0 15 0 22 0 608757413 16130506752 424654 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 260917210009 0 4 0 16800975 18446604454856353984 0 0 -1 1 0 0 0
[pid=13938/tid=13944] ppid=13936 vsize=15752448 CPUtime=3.22 cores=1,3,5,7
/proc/13938/task/13944/stat : 13944 (java) S 13936 13938 13254 0 -1 4202560 202090 0 0 0 290 32 0 0 15 0 22 0 608757413 16130506752 424654 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 260917210009 0 4 0 16800975 18446604454856353984 0 0 -1 5 0 0 0
[pid=13938/tid=13945] ppid=13936 vsize=15752448 CPUtime=3.67 cores=1,3,5,7
/proc/13938/task/13945/stat : 13945 (java) S 13936 13938 13254 0 -1 4202560 222032 0 0 0 328 39 0 0 16 0 22 0 608757413 16130506752 424654 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 260917210009 0 4 0 16800975 18446604454856353984 0 0 -1 5 0 0 0
[pid=13938/tid=13946] ppid=13936 vsize=15752448 CPUtime=3.72 cores=1,3,5,7
/proc/13938/task/13946/stat : 13946 (java) S 13936 13938 13254 0 -1 4202560 223364 0 0 0 340 32 0 0 15 0 22 0 608757413 16130506752 424654 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 260917210009 0 4 0 16800975 18446604454856353984 0 0 -1 1 0 0 0
[pid=13938/tid=13947] ppid=13936 vsize=15752448 CPUtime=3.47 cores=1,3,5,7
/proc/13938/task/13947/stat : 13947 (java) S 13936 13938 13254 0 -1 4202560 244622 0 0 0 306 41 0 0 16 0 22 0 608757413 16130506752 424654 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 260917210009 0 4 0 16800975 18446604454856353984 0 0 -1 1 0 0 0
[pid=13938/tid=13948] ppid=13936 vsize=15752448 CPUtime=3.72 cores=1,3,5,7
/proc/13938/task/13948/stat : 13948 (java) S 13936 13938 13254 0 -1 4202560 232534 0 0 0 335 37 0 0 16 0 22 0 608757413 16130506752 424654 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 260917210009 0 4 0 16800975 18446604454856353984 0 0 -1 3 0 0 0
[pid=13938/tid=13949] ppid=13936 vsize=15752448 CPUtime=1.57 cores=1,3,5,7
/proc/13938/task/13949/stat : 13949 (java) S 13936 13938 13254 0 -1 4202560 6766 0 0 0 119 38 0 0 15 0 22 0 608757414 16130506752 424654 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 260917210624 0 0 0 16800975 18446604454856353984 0 0 -1 7 0 0 0
[pid=13938/tid=13950] ppid=13936 vsize=15752448 CPUtime=0 cores=1,3,5,7
/proc/13938/task/13950/stat : 13950 (java) S 13936 13938 13254 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 608757415 16130506752 424654 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 260917210009 0 4 0 16800975 18446604454856353984 0 0 -1 3 0 0 0
[pid=13938/tid=13951] ppid=13936 vsize=15752448 CPUtime=0 cores=1,3,5,7
/proc/13938/task/13951/stat : 13951 (java) S 13936 13938 13254 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 608757415 16130506752 424654 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 260917210009 0 4 0 16800975 18446604454856353984 0 0 -1 3 0 0 0
[pid=13938/tid=13952] ppid=13936 vsize=15752448 CPUtime=0 cores=1,3,5,7
/proc/13938/task/13952/stat : 13952 (java) S 13936 13938 13254 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 608757417 16130506752 424654 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 260917217713 0 4 0 16800975 18446604454856353984 0 0 -1 3 0 0 0
[pid=13938/tid=13953] ppid=13936 vsize=15752448 CPUtime=1.46 cores=1,3,5,7
/proc/13938/task/13953/stat : 13953 (java) S 13936 13938 13254 0 -1 4202560 3511 0 0 0 146 0 0 0 15 0 22 0 608757417 16130506752 424654 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 260917210009 0 4 0 16800975 18446604454856353984 0 0 -1 5 0 0 0
[pid=13938/tid=13954] ppid=13936 vsize=15752448 CPUtime=1.83 cores=1,3,5,7
/proc/13938/task/13954/stat : 13954 (java) S 13936 13938 13254 0 -1 4202560 13203 0 0 0 182 1 0 0 15 0 22 0 608757417 16130506752 424654 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 260917210009 0 4 0 16800975 18446604454856353984 0 0 -1 7 0 0 0
[pid=13938/tid=13955] ppid=13936 vsize=15752448 CPUtime=0 cores=1,3,5,7
/proc/13938/task/13955/stat : 13955 (java) S 13936 13938 13254 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 608757417 16130506752 424654 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 260917210009 0 4 0 16800975 18446604454856353984 0 0 -1 1 0 0 0
[pid=13938/tid=13956] ppid=13936 vsize=15752448 CPUtime=0 cores=1,3,5,7
/proc/13938/task/13956/stat : 13956 (java) S 13936 13938 13254 0 -1 4202560 66 0 0 0 0 0 0 0 15 0 22 0 608757417 16130506752 424654 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 260917210624 0 4 0 16800975 18446604454856353984 0 0 -1 3 0 0 0
[pid=13938/tid=13961] ppid=13936 vsize=15752448 CPUtime=1094.41 cores=1,3,5,7
/proc/13938/task/13961/stat : 13961 (java) R 13936 13938 13254 0 -1 4202560 182645 0 0 0 109417 24 0 0 25 0 22 0 608757654 16130506752 424654 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 47598442641569 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=13938/tid=13962] ppid=13936 vsize=15752448 CPUtime=1097.54 cores=1,3,5,7
/proc/13938/task/13962/stat : 13962 (java) R 13936 13938 13254 0 -1 4202560 146295 0 0 0 109738 16 0 0 25 0 22 0 608757654 16130506752 424654 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 46912506321047 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=13938/tid=13963] ppid=13936 vsize=15752448 CPUtime=1098.42 cores=1,3,5,7
/proc/13938/task/13963/stat : 13963 (java) R 13936 13938 13254 0 -1 4202560 163276 0 0 0 109824 18 0 0 25 0 22 0 608757654 16130506752 424654 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 46912505719841 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=13938/tid=13964] ppid=13936 vsize=15752448 CPUtime=1103.59 cores=1,3,5,7
/proc/13938/task/13964/stat : 13964 (java) R 13936 13938 13254 0 -1 4202560 268601 0 0 0 110328 31 0 0 25 0 22 0 608757654 16130506752 424654 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 46912506334458 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4435.94
Current children cumulated vsize (KiB) 15752448
[startup+1182.3 s]
/proc/loadavg: 8.28 8.08 7.59 9/220 14045
/proc/meminfo: memFree=27801236/32950928 swapFree=67054472/67111528
[pid=13938] ppid=13936 vsize=15752448 CPUtime=4675.19 cores=1,3,5,7
/proc/13938/stat : 13938 (java) S 13936 13938 13254 0 -1 4202496 2853408 0 1 0 467051 468 0 0 21 0 22 0 608757412 16130506752 443076 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13938/statm: 3938112 443076 2301 9 0 3928831 0
[pid=13938/tid=13940] ppid=13936 vsize=15752448 CPUtime=8.6 cores=1,3,5,7
/proc/13938/task/13940/stat : 13940 (java) S 13936 13938 13254 0 -1 4202560 127983 0 1 0 844 16 0 0 25 0 22 0 608757413 16130506752 443076 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 260917210009 0 4 0 16800975 18446604454856353984 0 0 -1 5 0 0 0
[pid=13938/tid=13941] ppid=13936 vsize=15752448 CPUtime=3.83 cores=1,3,5,7
/proc/13938/task/13941/stat : 13941 (java) S 13936 13938 13254 0 -1 4202560 248064 0 0 0 345 38 0 0 15 0 22 0 608757413 16130506752 443076 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 260917210009 0 4 0 16800975 18446604454856353984 0 0 -1 7 0 0 0
[pid=13938/tid=13942] ppid=13936 vsize=15752448 CPUtime=3.8 cores=1,3,5,7
/proc/13938/task/13942/stat : 13942 (java) S 13936 13938 13254 0 -1 4202560 254485 0 0 0 336 44 0 0 15 0 22 0 608757413 16130506752 443076 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 260917210009 0 4 0 16800975 18446604454856353984 0 0 -1 5 0 0 0
[pid=13938/tid=13943] ppid=13936 vsize=15752448 CPUtime=3.6 cores=1,3,5,7
/proc/13938/task/13943/stat : 13943 (java) S 13936 13938 13254 0 -1 4202560 189980 0 0 0 330 30 0 0 16 0 22 0 608757413 16130506752 443076 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 260917210009 0 4 0 16800975 18446604454856353984 0 0 -1 3 0 0 0
[pid=13938/tid=13944] ppid=13936 vsize=15752448 CPUtime=3.46 cores=1,3,5,7
/proc/13938/task/13944/stat : 13944 (java) S 13936 13938 13254 0 -1 4202560 217026 0 0 0 312 34 0 0 16 0 22 0 608757413 16130506752 443076 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 260917210009 0 4 0 16800975 18446604454856353984 0 0 -1 7 0 0 0
[pid=13938/tid=13945] ppid=13936 vsize=15752448 CPUtime=3.95 cores=1,3,5,7
/proc/13938/task/13945/stat : 13945 (java) S 13936 13938 13254 0 -1 4202560 236283 0 0 0 353 42 0 0 15 0 22 0 608757413 16130506752 443076 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 260917210009 0 4 0 16800975 18446604454856353984 0 0 -1 3 0 0 0
[pid=13938/tid=13946] ppid=13936 vsize=15752448 CPUtime=3.95 cores=1,3,5,7
/proc/13938/task/13946/stat : 13946 (java) S 13936 13938 13254 0 -1 4202560 236484 0 0 0 360 35 0 0 16 0 22 0 608757413 16130506752 443076 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 260917210009 0 4 0 16800975 18446604454856353984 0 0 -1 3 0 0 0
[pid=13938/tid=13947] ppid=13936 vsize=15752448 CPUtime=3.74 cores=1,3,5,7
/proc/13938/task/13947/stat : 13947 (java) S 13936 13938 13254 0 -1 4202560 264268 0 0 0 329 45 0 0 15 0 22 0 608757413 16130506752 443076 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 260917210009 0 4 0 16800975 18446604454856353984 0 0 -1 5 0 0 0
[pid=13938/tid=13948] ppid=13936 vsize=15752448 CPUtime=3.98 cores=1,3,5,7
/proc/13938/task/13948/stat : 13948 (java) S 13936 13938 13254 0 -1 4202560 244529 0 0 0 359 39 0 0 15 0 22 0 608757413 16130506752 443076 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 260917210009 0 4 0 16800975 18446604454856353984 0 0 -1 5 0 0 0
[pid=13938/tid=13949] ppid=13936 vsize=15752448 CPUtime=1.67 cores=1,3,5,7
/proc/13938/task/13949/stat : 13949 (java) S 13936 13938 13254 0 -1 4202560 7162 0 0 0 126 41 0 0 16 0 22 0 608757414 16130506752 443076 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 260917210624 0 0 0 16800975 18446604454856353984 0 0 -1 1 0 0 0
[pid=13938/tid=13950] ppid=13936 vsize=15752448 CPUtime=0 cores=1,3,5,7
/proc/13938/task/13950/stat : 13950 (java) S 13936 13938 13254 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 608757415 16130506752 443076 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 260917210009 0 4 0 16800975 18446604454856353984 0 0 -1 3 0 0 0
[pid=13938/tid=13951] ppid=13936 vsize=15752448 CPUtime=0 cores=1,3,5,7
/proc/13938/task/13951/stat : 13951 (java) S 13936 13938 13254 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 608757415 16130506752 443076 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 260917210009 0 4 0 16800975 18446604454856353984 0 0 -1 3 0 0 0
[pid=13938/tid=13952] ppid=13936 vsize=15752448 CPUtime=0 cores=1,3,5,7
/proc/13938/task/13952/stat : 13952 (java) S 13936 13938 13254 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 608757417 16130506752 443076 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 260917217713 0 4 0 16800975 18446604454856353984 0 0 -1 3 0 0 0
[pid=13938/tid=13953] ppid=13936 vsize=15752448 CPUtime=1.46 cores=1,3,5,7
/proc/13938/task/13953/stat : 13953 (java) S 13936 13938 13254 0 -1 4202560 3511 0 0 0 146 0 0 0 15 0 22 0 608757417 16130506752 443076 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 260917210009 0 4 0 16800975 18446604454856353984 0 0 -1 5 0 0 0
[pid=13938/tid=13954] ppid=13936 vsize=15752448 CPUtime=1.83 cores=1,3,5,7
/proc/13938/task/13954/stat : 13954 (java) S 13936 13938 13254 0 -1 4202560 13203 0 0 0 182 1 0 0 15 0 22 0 608757417 16130506752 443076 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 260917210009 0 4 0 16800975 18446604454856353984 0 0 -1 7 0 0 0
[pid=13938/tid=13955] ppid=13936 vsize=15752448 CPUtime=0 cores=1,3,5,7
/proc/13938/task/13955/stat : 13955 (java) S 13936 13938 13254 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 608757417 16130506752 443076 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 260917210009 0 4 0 16800975 18446604454856353984 0 0 -1 1 0 0 0
[pid=13938/tid=13956] ppid=13936 vsize=15752448 CPUtime=0 cores=1,3,5,7
/proc/13938/task/13956/stat : 13956 (java) S 13936 13938 13254 0 -1 4202560 68 0 0 0 0 0 0 0 15 0 22 0 608757417 16130506752 443076 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 260917210624 0 4 0 16800975 18446604454856353984 0 0 -1 3 0 0 0
[pid=13938/tid=13961] ppid=13936 vsize=15752448 CPUtime=1153.79 cores=1,3,5,7
/proc/13938/task/13961/stat : 13961 (java) R 13936 13938 13254 0 -1 4202560 197598 0 0 0 115354 25 0 0 25 0 22 0 608757654 16130506752 443076 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 46912506107077 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=13938/tid=13962] ppid=13936 vsize=15752448 CPUtime=1156.69 cores=1,3,5,7
/proc/13938/task/13962/stat : 13962 (java) R 13936 13938 13254 0 -1 4202560 149802 0 0 0 115652 17 0 0 25 0 22 0 608757654 16130506752 443076 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 46912506126503 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=13938/tid=13963] ppid=13936 vsize=15752448 CPUtime=1157.73 cores=1,3,5,7
/proc/13938/task/13963/stat : 13963 (java) R 13936 13938 13254 0 -1 4202560 177260 0 0 0 115753 20 0 0 25 0 22 0 608757654 16130506752 443076 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 46912506095390 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=13938/tid=13964] ppid=13936 vsize=15752448 CPUtime=1162.95 cores=1,3,5,7
/proc/13938/task/13964/stat : 13964 (java) R 13936 13938 13254 0 -1 4202560 284317 0 0 0 116262 33 0 0 25 0 22 0 608757654 16130506752 443076 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 46912506362382 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4675.19
Current children cumulated vsize (KiB) 15752448
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1213.6 s]
/proc/loadavg: 8.15 8.07 7.60 9/220 14055
/proc/meminfo: memFree=27945500/32950928 swapFree=67054472/67111528
[pid=13938] ppid=13936 vsize=15752448 CPUtime=4800.04 cores=1,3,5,7
/proc/13938/stat : 13938 (java) S 13936 13938 13254 0 -1 4202496 2899006 0 1 0 479528 476 0 0 21 0 22 0 608757412 16130506752 402584 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13938/statm: 3938112 402584 2301 9 0 3928831 0
[pid=13938/tid=13940] ppid=13936 vsize=15752448 CPUtime=8.6 cores=1,3,5,7
/proc/13938/task/13940/stat : 13940 (java) S 13936 13938 13254 0 -1 4202560 127983 0 1 0 844 16 0 0 25 0 22 0 608757413 16130506752 402584 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 260917210009 0 4 0 16800975 18446604454856353984 0 0 -1 5 0 0 0
[pid=13938/tid=13941] ppid=13936 vsize=15752448 CPUtime=3.93 cores=1,3,5,7
/proc/13938/task/13941/stat : 13941 (java) S 13936 13938 13254 0 -1 4202560 251686 0 0 0 355 38 0 0 16 0 22 0 608757413 16130506752 402584 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 260917210009 0 4 0 16800975 18446604454856353984 0 0 -1 5 0 0 0
[pid=13938/tid=13942] ppid=13936 vsize=15752448 CPUtime=3.95 cores=1,3,5,7
/proc/13938/task/13942/stat : 13942 (java) S 13936 13938 13254 0 -1 4202560 260209 0 0 0 349 46 0 0 15 0 22 0 608757413 16130506752 402584 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 260917210009 0 4 0 16800975 18446604454856353984 0 0 -1 3 0 0 0
[pid=13938/tid=13943] ppid=13936 vsize=15752448 CPUtime=3.72 cores=1,3,5,7
/proc/13938/task/13943/stat : 13943 (java) S 13936 13938 13254 0 -1 4202560 193690 0 0 0 341 31 0 0 15 0 22 0 608757413 16130506752 402584 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 260917210009 0 4 0 16800975 18446604454856353984 0 0 -1 1 0 0 0
[pid=13938/tid=13944] ppid=13936 vsize=15752448 CPUtime=3.59 cores=1,3,5,7
/proc/13938/task/13944/stat : 13944 (java) S 13936 13938 13254 0 -1 4202560 220798 0 0 0 324 35 0 0 15 0 22 0 608757413 16130506752 402584 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 260917210009 0 4 0 16800975 18446604454856353984 0 0 -1 5 0 0 0
[pid=13938/tid=13945] ppid=13936 vsize=15752448 CPUtime=4.09 cores=1,3,5,7
/proc/13938/task/13945/stat : 13945 (java) S 13936 13938 13254 0 -1 4202560 242158 0 0 0 366 43 0 0 15 0 22 0 608757413 16130506752 402584 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 260917210009 0 4 0 16800975 18446604454856353984 0 0 -1 7 0 0 0
[pid=13938/tid=13946] ppid=13936 vsize=15752448 CPUtime=4.08 cores=1,3,5,7
/proc/13938/task/13946/stat : 13946 (java) S 13936 13938 13254 0 -1 4202560 242429 0 0 0 372 36 0 0 16 0 22 0 608757413 16130506752 402584 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 260917210009 0 4 0 16800975 18446604454856353984 0 0 -1 7 0 0 0
[pid=13938/tid=13947] ppid=13936 vsize=15752448 CPUtime=3.87 cores=1,3,5,7
/proc/13938/task/13947/stat : 13947 (java) S 13936 13938 13254 0 -1 4202560 269310 0 0 0 341 46 0 0 16 0 22 0 608757413 16130506752 402584 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 260917210009 0 4 0 16800975 18446604454856353984 0 0 -1 1 0 0 0
[pid=13938/tid=13948] ppid=13936 vsize=15752448 CPUtime=4.09 cores=1,3,5,7
/proc/13938/task/13948/stat : 13948 (java) S 13936 13938 13254 0 -1 4202560 248831 0 0 0 370 39 0 0 16 0 22 0 608757413 16130506752 402584 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 260917210009 0 4 0 16800975 18446604454856353984 0 0 -1 3 0 0 0
[pid=13938/tid=13949] ppid=13936 vsize=15752448 CPUtime=1.68 cores=1,3,5,7
/proc/13938/task/13949/stat : 13949 (java) S 13936 13938 13254 0 -1 4202560 7249 0 0 0 126 42 0 0 15 0 22 0 608757414 16130506752 402584 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 260917210624 0 0 0 16800975 18446604454856353984 0 0 -1 1 0 0 0
[pid=13938/tid=13950] ppid=13936 vsize=15752448 CPUtime=0 cores=1,3,5,7
/proc/13938/task/13950/stat : 13950 (java) S 13936 13938 13254 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 608757415 16130506752 402584 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 260917210009 0 4 0 16800975 18446604454856353984 0 0 -1 3 0 0 0
[pid=13938/tid=13951] ppid=13936 vsize=15752448 CPUtime=0 cores=1,3,5,7
/proc/13938/task/13951/stat : 13951 (java) S 13936 13938 13254 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 608757415 16130506752 402584 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 260917210009 0 4 0 16800975 18446604454856353984 0 0 -1 3 0 0 0
[pid=13938/tid=13952] ppid=13936 vsize=15752448 CPUtime=0 cores=1,3,5,7
/proc/13938/task/13952/stat : 13952 (java) S 13936 13938 13254 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 608757417 16130506752 402584 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 260917217713 0 4 0 16800975 18446604454856353984 0 0 -1 3 0 0 0
[pid=13938/tid=13953] ppid=13936 vsize=15752448 CPUtime=1.46 cores=1,3,5,7
/proc/13938/task/13953/stat : 13953 (java) S 13936 13938 13254 0 -1 4202560 3511 0 0 0 146 0 0 0 15 0 22 0 608757417 16130506752 402584 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 260917210009 0 4 0 16800975 18446604454856353984 0 0 -1 5 0 0 0
[pid=13938/tid=13954] ppid=13936 vsize=15752448 CPUtime=1.83 cores=1,3,5,7
/proc/13938/task/13954/stat : 13954 (java) S 13936 13938 13254 0 -1 4202560 13203 0 0 0 182 1 0 0 15 0 22 0 608757417 16130506752 402584 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 260917210009 0 4 0 16800975 18446604454856353984 0 0 -1 7 0 0 0
[pid=13938/tid=13955] ppid=13936 vsize=15752448 CPUtime=0 cores=1,3,5,7
/proc/13938/task/13955/stat : 13955 (java) S 13936 13938 13254 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 608757417 16130506752 402584 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 260917210009 0 4 0 16800975 18446604454856353984 0 0 -1 1 0 0 0
[pid=13938/tid=13956] ppid=13936 vsize=15752448 CPUtime=0 cores=1,3,5,7
/proc/13938/task/13956/stat : 13956 (java) S 13936 13938 13254 0 -1 4202560 70 0 0 0 0 0 0 0 15 0 22 0 608757417 16130506752 402584 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 260917210624 0 4 0 16800975 18446604454856353984 0 0 -1 1 0 0 0
[pid=13938/tid=13961] ppid=13936 vsize=15752448 CPUtime=1184.8 cores=1,3,5,7
/proc/13938/task/13961/stat : 13961 (java) R 13936 13938 13254 0 -1 4202560 198430 0 0 0 118455 25 0 0 25 0 22 0 608757654 16130506752 402584 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 46912506106885 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=13938/tid=13962] ppid=13936 vsize=15752448 CPUtime=1187.7 cores=1,3,5,7
/proc/13938/task/13962/stat : 13962 (java) R 13936 13938 13254 0 -1 4202560 152246 0 0 0 118752 18 0 0 25 0 22 0 608757654 16130506752 402584 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 46912506106832 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=13938/tid=13963] ppid=13936 vsize=15752448 CPUtime=1188.74 cores=1,3,5,7
/proc/13938/task/13963/stat : 13963 (java) R 13936 13938 13254 0 -1 4202560 179839 0 0 0 118853 21 0 0 25 0 22 0 608757654 16130506752 402584 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 46912506107077 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=13938/tid=13964] ppid=13936 vsize=15752448 CPUtime=1193.78 cores=1,3,5,7
/proc/13938/task/13964/stat : 13964 (java) R 13936 13938 13254 0 -1 4202560 285979 0 0 0 119345 33 0 0 25 0 22 0 608757654 16130506752 402584 33554432000 1073741824 1073778376 140735124404144 18446744073709551615 46912506106864 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.04
Current children cumulated vsize (KiB) 15752448
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1213.68
CPU time (s): 4800.15
CPU user time (s): 4795.32
CPU system time (s): 4.83427
CPU usage (%): 395.504
Max. virtual memory (cumulated for all children) (KiB): 15752448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4795.32
system time used= 4.83427
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2899032
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 52267
involuntary context switches= 63472
runsolver used 2.02569 second user time and 4.67029 second system time
The end