runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3457365-1307635166/watcher-3457365-1307635166 -o /tmp/evaluation-result-3457365-1307635166/solver-3457365-1307635166 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3457365-1307635166.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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: 2.02 2.00 1.70 3/195 28215
/proc/meminfo: memFree=29547676/32950928 swapFree=67056212/67111528
[pid=28215] ppid=28213 vsize=256 CPUtime=0 cores=0,2,4,6
/proc/28215/stat : 28215 (java) R 28213 28215 27745 0 -1 4194304 268 0 0 0 0 0 0 0 25 0 1 0 953747285 262144 32 33554432000 1073741824 1073778376 140736456533456 18446744073709551615 256410467975 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/28215/statm: 64 32 24 9 0 23 0
[startup+0.0835081 s]
/proc/loadavg: 2.02 2.00 1.70 3/195 28215
/proc/meminfo: memFree=29547676/32950928 swapFree=67056212/67111528
[pid=28215] ppid=28213 vsize=10473244 CPUtime=0.06 cores=0,2,4,6
/proc/28215/stat : 28215 (java) S 28213 28215 27745 0 -1 4202496 12084 0 1 0 5 1 0 0 25 0 18 0 953747285 10724601856 11781 33554432000 1073741824 1073778376 140736456533456 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/28215/statm: 2618311 11805 1833 9 0 2609045 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10473244
[startup+0.104526 s]
/proc/loadavg: 2.02 2.00 1.70 3/195 28215
/proc/meminfo: memFree=29547676/32950928 swapFree=67056212/67111528
[pid=28215] ppid=28213 vsize=10540436 CPUtime=0.1 cores=0,2,4,6
/proc/28215/stat : 28215 (java) S 28213 28215 27745 0 -1 4202496 13100 0 1 0 9 1 0 0 25 0 18 0 953747285 10793406464 12795 33554432000 1073741824 1073778376 140736456533456 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/28215/statm: 2635109 12796 2093 9 0 2625843 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540436
[startup+0.300446 s]
/proc/loadavg: 2.02 2.00 1.70 3/195 28215
/proc/meminfo: memFree=29547676/32950928 swapFree=67056212/67111528
[pid=28215] ppid=28213 vsize=10542524 CPUtime=0.44 cores=0,2,4,6
/proc/28215/stat : 28215 (java) S 28213 28215 27745 0 -1 4202496 15200 0 1 0 42 2 0 0 25 0 18 0 953747285 10795544576 14777 33554432000 1073741824 1073778376 140736456533456 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/28215/statm: 2635631 14778 2198 9 0 2626365 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 10542524
[startup+0.700336 s]
/proc/loadavg: 2.02 2.00 1.70 3/195 28215
/proc/meminfo: memFree=29547676/32950928 swapFree=67056212/67111528
[pid=28215] ppid=28213 vsize=10564796 CPUtime=1.4 cores=0,2,4,6
/proc/28215/stat : 28215 (java) S 28213 28215 27745 0 -1 4202496 34291 0 1 0 136 4 0 0 25 0 19 0 953747285 10818351104 30128 33554432000 1073741824 1073778376 140736456533456 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/28215/statm: 2641199 30129 2226 9 0 2631933 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 10564796
[startup+1.50126 s]
/proc/loadavg: 2.02 2.00 1.70 3/214 28234
/proc/meminfo: memFree=29400668/32950928 swapFree=67056212/67111528
[pid=28215] ppid=28213 vsize=10560828 CPUtime=2.65 cores=0,2,4,6
/proc/28215/stat : 28215 (java) S 28213 28215 27745 0 -1 4202496 69690 0 1 0 256 9 0 0 25 0 19 0 953747285 10814287872 63114 33554432000 1073741824 1073778376 140736456533456 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/28215/statm: 2640207 63115 2231 9 0 2630941 0
[pid=28215/tid=28217] ppid=28213 vsize=10560828 CPUtime=1.48 cores=0,2,4,6
/proc/28215/task/28217/stat : 28217 (java) R 28213 28215 27745 0 -1 4202560 53820 0 1 0 141 7 0 0 20 0 19 0 953747285 10814287872 63116 33554432000 1073741824 1073778376 140736456533456 18446744073709551615 46912505734818 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28215/tid=28218] ppid=28213 vsize=10560828 CPUtime=0 cores=0,2,4,6
/proc/28215/task/28218/stat : 28218 (java) S 28213 28215 27745 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953747287 10814287872 63118 33554432000 1073741824 1073778376 140736456533456 18446744073709551615 256427207577 0 4 0 16800975 18446604444896985216 0 0 -1 0 0 0 0
[pid=28215/tid=28219] ppid=28213 vsize=10560828 CPUtime=0 cores=0,2,4,6
/proc/28215/task/28219/stat : 28219 (java) S 28213 28215 27745 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953747287 10814287872 63119 33554432000 1073741824 1073778376 140736456533456 18446744073709551615 256427207577 0 4 0 16800975 18446604444896985216 0 0 -1 0 0 0 0
[pid=28215/tid=28220] ppid=28213 vsize=10560828 CPUtime=0 cores=0,2,4,6
/proc/28215/task/28220/stat : 28220 (java) S 28213 28215 27745 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953747287 10814287872 63120 33554432000 1073741824 1073778376 140736456533456 18446744073709551615 256427207577 0 4 0 16800975 18446604444896985216 0 0 -1 0 0 0 0
[pid=28215/tid=28221] ppid=28213 vsize=10560828 CPUtime=0 cores=0,2,4,6
/proc/28215/task/28221/stat : 28221 (java) S 28213 28215 27745 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953747287 10814287872 63121 33554432000 1073741824 1073778376 140736456533456 18446744073709551615 256427207577 0 4 0 16800975 18446604444896985216 0 0 -1 0 0 0 0
[pid=28215/tid=28222] ppid=28213 vsize=10560828 CPUtime=0 cores=0,2,4,6
/proc/28215/task/28222/stat : 28222 (java) S 28213 28215 27745 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953747287 10814287872 63122 33554432000 1073741824 1073778376 140736456533456 18446744073709551615 256427207577 0 4 0 16800975 18446604444896985216 0 0 -1 0 0 0 0
[pid=28215/tid=28223] ppid=28213 vsize=10560828 CPUtime=0 cores=0,2,4,6
/proc/28215/task/28223/stat : 28223 (java) S 28213 28215 27745 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953747287 10814287872 63123 33554432000 1073741824 1073778376 140736456533456 18446744073709551615 256427207577 0 4 0 16800975 18446604444896985216 0 0 -1 0 0 0 0
[pid=28215/tid=28224] ppid=28213 vsize=10560828 CPUtime=0 cores=0,2,4,6
/proc/28215/task/28224/stat : 28224 (java) S 28213 28215 27745 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953747287 10814287872 63124 33554432000 1073741824 1073778376 140736456533456 18446744073709551615 256427207577 0 4 0 16800975 18446604444896985216 0 0 -1 0 0 0 0
[pid=28215/tid=28225] ppid=28213 vsize=10560828 CPUtime=0 cores=0,2,4,6
/proc/28215/task/28225/stat : 28225 (java) S 28213 28215 27745 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953747287 10814287872 63126 33554432000 1073741824 1073778376 140736456533456 18446744073709551615 256427207577 0 4 0 16800975 18446604444896985216 0 0 -1 0 0 0 0
[pid=28215/tid=28226] ppid=28213 vsize=10560828 CPUtime=0 cores=0,2,4,6
/proc/28215/task/28226/stat : 28226 (java) S 28213 28215 27745 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 19 0 953747288 10814287872 63127 33554432000 1073741824 1073778376 140736456533456 18446744073709551615 256427208192 0 0 0 16800975 18446604444896985216 0 0 -1 2 0 0 0
[pid=28215/tid=28227] ppid=28213 vsize=10560828 CPUtime=0 cores=0,2,4,6
/proc/28215/task/28227/stat : 28227 (java) S 28213 28215 27745 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 953747289 10814287872 63128 33554432000 1073741824 1073778376 140736456533456 18446744073709551615 256427207577 0 4 0 16800975 18446604444896985216 0 0 -1 2 0 0 0
[pid=28215/tid=28228] ppid=28213 vsize=10560828 CPUtime=0 cores=0,2,4,6
/proc/28215/task/28228/stat : 28228 (java) S 28213 28215 27745 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 953747289 10814287872 63129 33554432000 1073741824 1073778376 140736456533456 18446744073709551615 256427207577 0 4 0 16800975 18446604444896985216 0 0 -1 6 0 0 0
[pid=28215/tid=28229] ppid=28213 vsize=10560828 CPUtime=0 cores=0,2,4,6
/proc/28215/task/28229/stat : 28229 (java) S 28213 28215 27745 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 953747291 10814287872 63130 33554432000 1073741824 1073778376 140736456533456 18446744073709551615 256427215281 0 4 0 16800975 18446604444896985216 0 0 -1 2 0 0 0
[pid=28215/tid=28230] ppid=28213 vsize=10560828 CPUtime=0.6 cores=0,2,4,6
/proc/28215/task/28230/stat : 28230 (java) S 28213 28215 27745 0 -1 4202560 8008 0 0 0 60 0 0 0 15 0 19 0 953747291 10814287872 63131 33554432000 1073741824 1073778376 140736456533456 18446744073709551615 256427207577 0 4 0 16800975 18446604444896985216 0 0 -1 2 0 0 0
[pid=28215/tid=28231] ppid=28213 vsize=10560828 CPUtime=0.54 cores=0,2,4,6
/proc/28215/task/28231/stat : 28231 (java) S 28213 28215 27745 0 -1 4202560 6705 0 0 0 53 1 0 0 15 0 19 0 953747291 10814287872 63133 33554432000 1073741824 1073778376 140736456533456 18446744073709551615 256427207577 0 4 0 16800975 18446604444896985216 0 0 -1 6 0 0 0
[pid=28215/tid=28232] ppid=28213 vsize=10560828 CPUtime=0 cores=0,2,4,6
/proc/28215/task/28232/stat : 28232 (java) S 28213 28215 27745 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 953747291 10814287872 63134 33554432000 1073741824 1073778376 140736456533456 18446744073709551615 256427207577 0 4 0 16800975 18446604444896985216 0 0 -1 2 0 0 0
[pid=28215/tid=28233] ppid=28213 vsize=10560828 CPUtime=0 cores=0,2,4,6
/proc/28215/task/28233/stat : 28233 (java) S 28213 28215 27745 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 953747291 10814287872 63135 33554432000 1073741824 1073778376 140736456533456 18446744073709551615 256427208192 0 4 0 16800975 18446604444896985216 0 0 -1 4 0 0 0
[pid=28215/tid=28234] ppid=28213 vsize=10560828 CPUtime=0 cores=0,2,4,6
/proc/28215/task/28234/stat : 28234 (java) S 28213 28215 27745 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 953747330 10814287872 63136 33554432000 1073741824 1073778376 140736456533456 18446744073709551615 256427208192 0 4 0 16800975 18446604444896985216 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.65
Current children cumulated vsize (KiB) 10560828
[startup+3.10095 s]
/proc/loadavg: 2.02 2.00 1.70 3/214 28234
/proc/meminfo: memFree=29181684/32950928 swapFree=67056212/67111528
[pid=28215] ppid=28213 vsize=10560828 CPUtime=4.37 cores=0,2,4,6
/proc/28215/stat : 28215 (java) S 28213 28215 27745 0 -1 4202496 150894 0 1 0 417 20 0 0 25 0 19 0 953747285 10814287872 143759 33554432000 1073741824 1073778376 140736456533456 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/28215/statm: 2640207 143759 2233 9 0 2630941 0
[pid=28215/tid=28217] ppid=28213 vsize=10560828 CPUtime=3.08 cores=0,2,4,6
/proc/28215/task/28217/stat : 28217 (java) R 28213 28215 27745 0 -1 4202560 134446 0 1 0 291 17 0 0 25 0 19 0 953747285 10814287872 143759 33554432000 1073741824 1073778376 140736456533456 18446744073709551615 46912505724218 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28215/tid=28218] ppid=28213 vsize=10560828 CPUtime=0 cores=0,2,4,6
/proc/28215/task/28218/stat : 28218 (java) S 28213 28215 27745 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953747287 10814287872 143760 33554432000 1073741824 1073778376 140736456533456 18446744073709551615 256427207577 0 4 0 16800975 18446604444896985216 0 0 -1 0 0 0 0
[pid=28215/tid=28219] ppid=28213 vsize=10560828 CPUtime=0 cores=0,2,4,6
/proc/28215/task/28219/stat : 28219 (java) S 28213 28215 27745 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953747287 10814287872 143762 33554432000 1073741824 1073778376 140736456533456 18446744073709551615 256427207577 0 4 0 16800975 18446604444896985216 0 0 -1 0 0 0 0
[pid=28215/tid=28220] ppid=28213 vsize=10560828 CPUtime=0 cores=0,2,4,6
/proc/28215/task/28220/stat : 28220 (java) S 28213 28215 27745 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953747287 10814287872 143768 33554432000 1073741824 1073778376 140736456533456 18446744073709551615 256427207577 0 4 0 16800975 18446604444896985216 0 0 -1 0 0 0 0
[pid=28215/tid=28221] ppid=28213 vsize=10560828 CPUtime=0 cores=0,2,4,6
/proc/28215/task/28221/stat : 28221 (java) S 28213 28215 27745 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953747287 10814287872 143772 33554432000 1073741824 1073778376 140736456533456 18446744073709551615 256427207577 0 4 0 16800975 18446604444896985216 0 0 -1 0 0 0 0
[pid=28215/tid=28222] ppid=28213 vsize=10560828 CPUtime=0 cores=0,2,4,6
/proc/28215/task/28222/stat : 28222 (java) S 28213 28215 27745 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953747287 10814287872 143777 33554432000 1073741824 1073778376 140736456533456 18446744073709551615 256427207577 0 4 0 16800975 18446604444896985216 0 0 -1 0 0 0 0
[pid=28215/tid=28223] ppid=28213 vsize=10560828 CPUtime=0 cores=0,2,4,6
/proc/28215/task/28223/stat : 28223 (java) S 28213 28215 27745 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953747287 10814287872 143782 33554432000 1073741824 1073778376 140736456533456 18446744073709551615 256427207577 0 4 0 16800975 18446604444896985216 0 0 -1 0 0 0 0
[pid=28215/tid=28224] ppid=28213 vsize=10560828 CPUtime=0 cores=0,2,4,6
/proc/28215/task/28224/stat : 28224 (java) S 28213 28215 27745 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953747287 10814287872 143786 33554432000 1073741824 1073778376 140736456533456 18446744073709551615 256427207577 0 4 0 16800975 18446604444896985216 0 0 -1 0 0 0 0
[pid=28215/tid=28225] ppid=28213 vsize=10560828 CPUtime=0 cores=0,2,4,6
/proc/28215/task/28225/stat : 28225 (java) S 28213 28215 27745 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953747287 10814287872 143786 33554432000 1073741824 1073778376 140736456533456 18446744073709551615 256427207577 0 4 0 16800975 18446604444896985216 0 0 -1 0 0 0 0
[pid=28215/tid=28226] ppid=28213 vsize=10560828 CPUtime=0 cores=0,2,4,6
/proc/28215/task/28226/stat : 28226 (java) S 28213 28215 27745 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 19 0 953747288 10814287872 143787 33554432000 1073741824 1073778376 140736456533456 18446744073709551615 256427208192 0 0 0 16800975 18446604444896985216 0 0 -1 2 0 0 0
[pid=28215/tid=28227] ppid=28213 vsize=10560828 CPUtime=0 cores=0,2,4,6
/proc/28215/task/28227/stat : 28227 (java) S 28213 28215 27745 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 953747289 10814287872 143788 33554432000 1073741824 1073778376 140736456533456 18446744073709551615 256427207577 0 4 0 16800975 18446604444896985216 0 0 -1 2 0 0 0
[pid=28215/tid=28228] ppid=28213 vsize=10560828 CPUtime=0 cores=0,2,4,6
/proc/28215/task/28228/stat : 28228 (java) S 28213 28215 27745 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 953747289 10814287872 143789 33554432000 1073741824 1073778376 140736456533456 18446744073709551615 256427207577 0 4 0 16800975 18446604444896985216 0 0 -1 6 0 0 0
[pid=28215/tid=28229] ppid=28213 vsize=10560828 CPUtime=0 cores=0,2,4,6
/proc/28215/task/28229/stat : 28229 (java) S 28213 28215 27745 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 953747291 10814287872 143790 33554432000 1073741824 1073778376 140736456533456 18446744073709551615 256427215281 0 4 0 16800975 18446604444896985216 0 0 -1 2 0 0 0
[pid=28215/tid=28230] ppid=28213 vsize=10560828 CPUtime=0.61 cores=0,2,4,6
/proc/28215/task/28230/stat : 28230 (java) S 28213 28215 27745 0 -1 4202560 8010 0 0 0 61 0 0 0 15 0 19 0 953747291 10814287872 143791 33554432000 1073741824 1073778376 140736456533456 18446744073709551615 256427207577 0 4 0 16800975 18446604444896985216 0 0 -1 2 0 0 0
[pid=28215/tid=28231] ppid=28213 vsize=10560828 CPUtime=0.64 cores=0,2,4,6
/proc/28215/task/28231/stat : 28231 (java) S 28213 28215 27745 0 -1 4202560 7278 0 0 0 63 1 0 0 15 0 19 0 953747291 10814287872 143792 33554432000 1073741824 1073778376 140736456533456 18446744073709551615 256427207577 0 4 0 16800975 18446604444896985216 0 0 -1 6 0 0 0
[pid=28215/tid=28232] ppid=28213 vsize=10560828 CPUtime=0 cores=0,2,4,6
/proc/28215/task/28232/stat : 28232 (java) S 28213 28215 27745 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 953747291 10814287872 143793 33554432000 1073741824 1073778376 140736456533456 18446744073709551615 256427207577 0 4 0 16800975 18446604444896985216 0 0 -1 2 0 0 0
[pid=28215/tid=28233] ppid=28213 vsize=10560828 CPUtime=0 cores=0,2,4,6
/proc/28215/task/28233/stat : 28233 (java) S 28213 28215 27745 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 953747291 10814287872 143794 33554432000 1073741824 1073778376 140736456533456 18446744073709551615 256427208192 0 4 0 16800975 18446604444896985216 0 0 -1 4 0 0 0
[pid=28215/tid=28234] ppid=28213 vsize=10560828 CPUtime=0 cores=0,2,4,6
/proc/28215/task/28234/stat : 28234 (java) S 28213 28215 27745 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 953747330 10814287872 143794 33554432000 1073741824 1073778376 140736456533456 18446744073709551615 256427208192 0 4 0 16800975 18446604444896985216 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.37
Current children cumulated vsize (KiB) 10560828
[startup+6.30135 s]
/proc/loadavg: 2.02 2.00 1.71 3/214 28234
/proc/meminfo: memFree=28504116/32950928 swapFree=67056212/67111528
[pid=28215] ppid=28213 vsize=10555368 CPUtime=7.61 cores=0,2,4,6
/proc/28215/stat : 28215 (java) S 28213 28215 27745 0 -1 4202496 313710 0 1 0 722 39 0 0 25 0 19 0 953747285 10808696832 305311 33554432000 1073741824 1073778376 140736456533456 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/28215/statm: 2638842 305313 2234 9 0 2629576 0
[pid=28215/tid=28217] ppid=28213 vsize=10555368 CPUtime=6.28 cores=0,2,4,6
/proc/28215/task/28217/stat : 28217 (java) R 28213 28215 27745 0 -1 4202560 297257 0 1 0 591 37 0 0 25 0 19 0 953747285 10808696832 305315 33554432000 1073741824 1073778376 140736456533456 18446744073709551615 46912505768361 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28215/tid=28218] ppid=28213 vsize=10555368 CPUtime=0 cores=0,2,4,6
/proc/28215/task/28218/stat : 28218 (java) S 28213 28215 27745 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953747287 10808696832 305316 33554432000 1073741824 1073778376 140736456533456 18446744073709551615 256427207577 0 4 0 16800975 18446604444896985216 0 0 -1 0 0 0 0
[pid=28215/tid=28219] ppid=28213 vsize=10555368 CPUtime=0 cores=0,2,4,6
/proc/28215/task/28219/stat : 28219 (java) S 28213 28215 27745 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953747287 10808696832 305318 33554432000 1073741824 1073778376 140736456533456 18446744073709551615 256427207577 0 4 0 16800975 18446604444896985216 0 0 -1 0 0 0 0
[pid=28215/tid=28220] ppid=28213 vsize=10555368 CPUtime=0 cores=0,2,4,6
/proc/28215/task/28220/stat : 28220 (java) S 28213 28215 27745 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953747287 10808696832 305320 33554432000 1073741824 1073778376 140736456533456 18446744073709551615 256427207577 0 4 0 16800975 18446604444896985216 0 0 -1 0 0 0 0
[pid=28215/tid=28221] ppid=28213 vsize=10555368 CPUtime=0 cores=0,2,4,6
/proc/28215/task/28221/stat : 28221 (java) S 28213 28215 27745 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953747287 10808696832 305322 33554432000 1073741824 1073778376 140736456533456 18446744073709551615 256427207577 0 4 0 16800975 18446604444896985216 0 0 -1 0 0 0 0
[pid=28215/tid=28222] ppid=28213 vsize=10555368 CPUtime=0 cores=0,2,4,6
/proc/28215/task/28222/stat : 28222 (java) S 28213 28215 27745 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953747287 10808696832 305324 33554432000 1073741824 1073778376 140736456533456 18446744073709551615 256427207577 0 4 0 16800975 18446604444896985216 0 0 -1 0 0 0 0
[pid=28215/tid=28223] ppid=28213 vsize=10555368 CPUtime=0 cores=0,2,4,6
/proc/28215/task/28223/stat : 28223 (java) S 28213 28215 27745 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953747287 10808696832 305325 33554432000 1073741824 1073778376 140736456533456 18446744073709551615 256427207577 0 4 0 16800975 18446604444896985216 0 0 -1 0 0 0 0
[pid=28215/tid=28224] ppid=28213 vsize=10555368 CPUtime=0 cores=0,2,4,6
/proc/28215/task/28224/stat : 28224 (java) S 28213 28215 27745 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953747287 10808696832 305327 33554432000 1073741824 1073778376 140736456533456 18446744073709551615 256427207577 0 4 0 16800975 18446604444896985216 0 0 -1 0 0 0 0
[pid=28215/tid=28225] ppid=28213 vsize=10555368 CPUtime=0 cores=0,2,4,6
/proc/28215/task/28225/stat : 28225 (java) S 28213 28215 27745 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953747287 10808696832 305329 33554432000 1073741824 1073778376 140736456533456 18446744073709551615 256427207577 0 4 0 16800975 18446604444896985216 0 0 -1 0 0 0 0
[pid=28215/tid=28226] ppid=28213 vsize=10555368 CPUtime=0 cores=0,2,4,6
/proc/28215/task/28226/stat : 28226 (java) S 28213 28215 27745 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 953747288 10808696832 305331 33554432000 1073741824 1073778376 140736456533456 18446744073709551615 256427208192 0 0 0 16800975 18446604444896985216 0 0 -1 2 0 0 0
[pid=28215/tid=28227] ppid=28213 vsize=10555368 CPUtime=0 cores=0,2,4,6
/proc/28215/task/28227/stat : 28227 (java) S 28213 28215 27745 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 953747289 10808696832 305333 33554432000 1073741824 1073778376 140736456533456 18446744073709551615 256427207577 0 4 0 16800975 18446604444896985216 0 0 -1 2 0 0 0
[pid=28215/tid=28228] ppid=28213 vsize=10555368 CPUtime=0 cores=0,2,4,6
/proc/28215/task/28228/stat : 28228 (java) S 28213 28215 27745 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 953747289 10808696832 305334 33554432000 1073741824 1073778376 140736456533456 18446744073709551615 256427207577 0 4 0 16800975 18446604444896985216 0 0 -1 6 0 0 0
[pid=28215/tid=28229] ppid=28213 vsize=10555368 CPUtime=0 cores=0,2,4,6
/proc/28215/task/28229/stat : 28229 (java) S 28213 28215 27745 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 953747291 10808696832 305336 33554432000 1073741824 1073778376 140736456533456 18446744073709551615 256427215281 0 4 0 16800975 18446604444896985216 0 0 -1 2 0 0 0
[pid=28215/tid=28230] ppid=28213 vsize=10555368 CPUtime=0.65 cores=0,2,4,6
/proc/28215/task/28230/stat : 28230 (java) S 28213 28215 27745 0 -1 4202560 8016 0 0 0 65 0 0 0 15 0 19 0 953747291 10808696832 305338 33554432000 1073741824 1073778376 140736456533456 18446744073709551615 256427207577 0 4 0 16800975 18446604444896985216 0 0 -1 2 0 0 0
[pid=28215/tid=28231] ppid=28213 vsize=10555368 CPUtime=0.66 cores=0,2,4,6
/proc/28215/task/28231/stat : 28231 (java) S 28213 28215 27745 0 -1 4202560 7279 0 0 0 65 1 0 0 15 0 19 0 953747291 10808696832 305340 33554432000 1073741824 1073778376 140736456533456 18446744073709551615 256427207577 0 4 0 16800975 18446604444896985216 0 0 -1 6 0 0 0
[pid=28215/tid=28232] ppid=28213 vsize=10555368 CPUtime=0 cores=0,2,4,6
/proc/28215/task/28232/stat : 28232 (java) S 28213 28215 27745 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 953747291 10808696832 305342 33554432000 1073741824 1073778376 140736456533456 18446744073709551615 256427207577 0 4 0 16800975 18446604444896985216 0 0 -1 2 0 0 0
[pid=28215/tid=28233] ppid=28213 vsize=10555368 CPUtime=0 cores=0,2,4,6
/proc/28215/task/28233/stat : 28233 (java) S 28213 28215 27745 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 953747291 10808696832 305343 33554432000 1073741824 1073778376 140736456533456 18446744073709551615 256427208192 0 4 0 16800975 18446604444896985216 0 0 -1 4 0 0 0
[pid=28215/tid=28234] ppid=28213 vsize=10555368 CPUtime=0 cores=0,2,4,6
/proc/28215/task/28234/stat : 28234 (java) S 28213 28215 27745 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 953747330 10808696832 305344 33554432000 1073741824 1073778376 140736456533456 18446744073709551615 256427208192 0 4 0 16800975 18446604444896985216 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 7.61
Current children cumulated vsize (KiB) 10555368
[startup+12.7011 s]
################
# More data... #
################
/proc/28215/task/28228/stat : 28228 (java) S 28213 28215 27745 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 953747289 10808696832 1012580 33554432000 1073741824 1073778376 140736456533456 18446744073709551615 256427207577 0 4 0 16800975 18446604444896985216 0 0 -1 6 0 0 0
[pid=28215/tid=28229] ppid=28213 vsize=10555368 CPUtime=0 cores=0,2,4,6
/proc/28215/task/28229/stat : 28229 (java) S 28213 28215 27745 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 953747291 10808696832 1012580 33554432000 1073741824 1073778376 140736456533456 18446744073709551615 256427215281 0 4 0 16800975 18446604444896985216 0 0 -1 2 0 0 0
[pid=28215/tid=28230] ppid=28213 vsize=10555368 CPUtime=0.83 cores=0,2,4,6
/proc/28215/task/28230/stat : 28230 (java) S 28213 28215 27745 0 -1 4202560 8070 0 0 0 83 0 0 0 16 0 19 0 953747291 10808696832 1012580 33554432000 1073741824 1073778376 140736456533456 18446744073709551615 256427207577 0 4 0 16800975 18446604444896985216 0 0 -1 2 0 0 0
[pid=28215/tid=28231] ppid=28213 vsize=10555368 CPUtime=0.86 cores=0,2,4,6
/proc/28215/task/28231/stat : 28231 (java) S 28213 28215 27745 0 -1 4202560 7306 0 0 0 85 1 0 0 15 0 19 0 953747291 10808696832 1012580 33554432000 1073741824 1073778376 140736456533456 18446744073709551615 256427207577 0 4 0 16800975 18446604444896985216 0 0 -1 4 0 0 0
[pid=28215/tid=28232] ppid=28213 vsize=10555368 CPUtime=0 cores=0,2,4,6
/proc/28215/task/28232/stat : 28232 (java) S 28213 28215 27745 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 953747291 10808696832 1012580 33554432000 1073741824 1073778376 140736456533456 18446744073709551615 256427207577 0 4 0 16800975 18446604444896985216 0 0 -1 2 0 0 0
[pid=28215/tid=28233] ppid=28213 vsize=10555368 CPUtime=0 cores=0,2,4,6
/proc/28215/task/28233/stat : 28233 (java) S 28213 28215 27745 0 -1 4202560 96 0 0 0 0 0 0 0 15 0 19 0 953747291 10808696832 1012580 33554432000 1073741824 1073778376 140736456533456 18446744073709551615 256427208192 0 4 0 16800975 18446604444896985216 0 0 -1 2 0 0 0
[pid=28215/tid=28234] ppid=28213 vsize=10555368 CPUtime=0 cores=0,2,4,6
/proc/28215/task/28234/stat : 28234 (java) S 28213 28215 27745 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 953747330 10808696832 1012580 33554432000 1073741824 1073778376 140736456533456 18446744073709551615 256427208192 0 4 0 16800975 18446604444896985216 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1670.47
Current children cumulated vsize (KiB) 10555368
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/214 28289
/proc/meminfo: memFree=24449944/32950928 swapFree=67056212/67111528
[pid=28215] ppid=28213 vsize=10555368 CPUtime=1730.61 cores=0,2,4,6
/proc/28215/stat : 28215 (java) S 28213 28215 27745 0 -1 4202496 1025713 0 1 0 172922 139 0 0 25 0 19 0 953747285 10808696832 1014258 33554432000 1073741824 1073778376 140736456533456 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/28215/statm: 2638842 1014258 2264 9 0 2629576 0
[pid=28215/tid=28217] ppid=28213 vsize=10555368 CPUtime=1717.75 cores=0,2,4,6
/proc/28215/task/28217/stat : 28217 (java) R 28213 28215 27745 0 -1 4202560 741958 0 1 0 171684 91 0 0 25 0 19 0 953747285 10808696832 1014258 33554432000 1073741824 1073778376 140736456533456 18446744073709551615 46912505998851 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28215/tid=28218] ppid=28213 vsize=10555368 CPUtime=1.31 cores=0,2,4,6
/proc/28215/task/28218/stat : 28218 (java) S 28213 28215 27745 0 -1 4202560 46170 0 0 0 125 6 0 0 15 0 19 0 953747287 10808696832 1014258 33554432000 1073741824 1073778376 140736456533456 18446744073709551615 256427207577 0 4 0 16800975 18446604444896985216 0 0 -1 6 0 0 0
[pid=28215/tid=28219] ppid=28213 vsize=10555368 CPUtime=1.12 cores=0,2,4,6
/proc/28215/task/28219/stat : 28219 (java) S 28213 28215 27745 0 -1 4202560 22682 0 0 0 109 3 0 0 16 0 19 0 953747287 10808696832 1014258 33554432000 1073741824 1073778376 140736456533456 18446744073709551615 256427207577 0 4 0 16800975 18446604444896985216 0 0 -1 0 0 0 0
[pid=28215/tid=28220] ppid=28213 vsize=10555368 CPUtime=0.99 cores=0,2,4,6
/proc/28215/task/28220/stat : 28220 (java) S 28213 28215 27745 0 -1 4202560 29320 0 0 0 94 5 0 0 15 0 19 0 953747287 10808696832 1014258 33554432000 1073741824 1073778376 140736456533456 18446744073709551615 256427207577 0 4 0 16800975 18446604444896985216 0 0 -1 4 0 0 0
[pid=28215/tid=28221] ppid=28213 vsize=10555368 CPUtime=1.32 cores=0,2,4,6
/proc/28215/task/28221/stat : 28221 (java) S 28213 28215 27745 0 -1 4202560 46525 0 0 0 126 6 0 0 15 0 19 0 953747287 10808696832 1014258 33554432000 1073741824 1073778376 140736456533456 18446744073709551615 256427207577 0 4 0 16800975 18446604444896985216 0 0 -1 2 0 0 0
[pid=28215/tid=28222] ppid=28213 vsize=10555368 CPUtime=1.06 cores=0,2,4,6
/proc/28215/task/28222/stat : 28222 (java) S 28213 28215 27745 0 -1 4202560 29835 0 0 0 101 5 0 0 16 0 19 0 953747287 10808696832 1014258 33554432000 1073741824 1073778376 140736456533456 18446744073709551615 256427207577 0 4 0 16800975 18446604444896985216 0 0 -1 2 0 0 0
[pid=28215/tid=28223] ppid=28213 vsize=10555368 CPUtime=0.91 cores=0,2,4,6
/proc/28215/task/28223/stat : 28223 (java) S 28213 28215 27745 0 -1 4202560 22054 0 0 0 88 3 0 0 15 0 19 0 953747287 10808696832 1014258 33554432000 1073741824 1073778376 140736456533456 18446744073709551615 256427207577 0 4 0 16800975 18446604444896985216 0 0 -1 6 0 0 0
[pid=28215/tid=28224] ppid=28213 vsize=10555368 CPUtime=0.98 cores=0,2,4,6
/proc/28215/task/28224/stat : 28224 (java) S 28213 28215 27745 0 -1 4202560 28861 0 0 0 93 5 0 0 16 0 19 0 953747287 10808696832 1014258 33554432000 1073741824 1073778376 140736456533456 18446744073709551615 256427207577 0 4 0 16800975 18446604444896985216 0 0 -1 6 0 0 0
[pid=28215/tid=28225] ppid=28213 vsize=10555368 CPUtime=1.14 cores=0,2,4,6
/proc/28215/task/28225/stat : 28225 (java) S 28213 28215 27745 0 -1 4202560 36280 0 0 0 108 6 0 0 15 0 19 0 953747287 10808696832 1014258 33554432000 1073741824 1073778376 140736456533456 18446744073709551615 256427207577 0 4 0 16800975 18446604444896985216 0 0 -1 6 0 0 0
[pid=28215/tid=28226] ppid=28213 vsize=10555368 CPUtime=2.19 cores=0,2,4,6
/proc/28215/task/28226/stat : 28226 (java) S 28213 28215 27745 0 -1 4202560 5402 0 0 0 219 0 0 0 15 0 19 0 953747288 10808696832 1014258 33554432000 1073741824 1073778376 140736456533456 18446744073709551615 256427208192 0 0 0 16800975 18446604444896985216 0 0 -1 0 0 0 0
[pid=28215/tid=28227] ppid=28213 vsize=10555368 CPUtime=0 cores=0,2,4,6
/proc/28215/task/28227/stat : 28227 (java) S 28213 28215 27745 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 953747289 10808696832 1014258 33554432000 1073741824 1073778376 140736456533456 18446744073709551615 256427207577 0 4 0 16800975 18446604444896985216 0 0 -1 2 0 0 0
[pid=28215/tid=28228] ppid=28213 vsize=10555368 CPUtime=0 cores=0,2,4,6
/proc/28215/task/28228/stat : 28228 (java) S 28213 28215 27745 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 953747289 10808696832 1014258 33554432000 1073741824 1073778376 140736456533456 18446744073709551615 256427207577 0 4 0 16800975 18446604444896985216 0 0 -1 6 0 0 0
[pid=28215/tid=28229] ppid=28213 vsize=10555368 CPUtime=0 cores=0,2,4,6
/proc/28215/task/28229/stat : 28229 (java) S 28213 28215 27745 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 953747291 10808696832 1014258 33554432000 1073741824 1073778376 140736456533456 18446744073709551615 256427215281 0 4 0 16800975 18446604444896985216 0 0 -1 2 0 0 0
[pid=28215/tid=28230] ppid=28213 vsize=10555368 CPUtime=0.83 cores=0,2,4,6
/proc/28215/task/28230/stat : 28230 (java) S 28213 28215 27745 0 -1 4202560 8070 0 0 0 83 0 0 0 16 0 19 0 953747291 10808696832 1014258 33554432000 1073741824 1073778376 140736456533456 18446744073709551615 256427207577 0 4 0 16800975 18446604444896985216 0 0 -1 2 0 0 0
[pid=28215/tid=28231] ppid=28213 vsize=10555368 CPUtime=0.86 cores=0,2,4,6
/proc/28215/task/28231/stat : 28231 (java) S 28213 28215 27745 0 -1 4202560 7306 0 0 0 85 1 0 0 15 0 19 0 953747291 10808696832 1014258 33554432000 1073741824 1073778376 140736456533456 18446744073709551615 256427207577 0 4 0 16800975 18446604444896985216 0 0 -1 4 0 0 0
[pid=28215/tid=28232] ppid=28213 vsize=10555368 CPUtime=0 cores=0,2,4,6
/proc/28215/task/28232/stat : 28232 (java) S 28213 28215 27745 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 953747291 10808696832 1014258 33554432000 1073741824 1073778376 140736456533456 18446744073709551615 256427207577 0 4 0 16800975 18446604444896985216 0 0 -1 2 0 0 0
[pid=28215/tid=28233] ppid=28213 vsize=10555368 CPUtime=0 cores=0,2,4,6
/proc/28215/task/28233/stat : 28233 (java) S 28213 28215 27745 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 953747291 10808696832 1014258 33554432000 1073741824 1073778376 140736456533456 18446744073709551615 256427208192 0 4 0 16800975 18446604444896985216 0 0 -1 2 0 0 0
[pid=28215/tid=28234] ppid=28213 vsize=10555368 CPUtime=0 cores=0,2,4,6
/proc/28215/task/28234/stat : 28234 (java) S 28213 28215 27745 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 953747330 10808696832 1014258 33554432000 1073741824 1073778376 140736456533456 18446744073709551615 256427208192 0 4 0 16800975 18446604444896985216 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1730.61
Current children cumulated vsize (KiB) 10555368
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/214 28350
/proc/meminfo: memFree=25210536/32950928 swapFree=67056212/67111528
[pid=28215] ppid=28213 vsize=10555368 CPUtime=1790.75 cores=0,2,4,6
/proc/28215/stat : 28215 (java) S 28213 28215 27745 0 -1 4202496 1027237 0 1 0 178935 140 0 0 25 0 19 0 953747285 10808696832 1015737 33554432000 1073741824 1073778376 140736456533456 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/28215/statm: 2638842 1015737 2264 9 0 2629576 0
[pid=28215/tid=28217] ppid=28213 vsize=10555368 CPUtime=1777.68 cores=0,2,4,6
/proc/28215/task/28217/stat : 28217 (java) R 28213 28215 27745 0 -1 4202560 741960 0 1 0 177676 92 0 0 25 0 19 0 953747285 10808696832 1015737 33554432000 1073741824 1073778376 140736456533456 18446744073709551615 46912505791468 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28215/tid=28218] ppid=28213 vsize=10555368 CPUtime=1.34 cores=0,2,4,6
/proc/28215/task/28218/stat : 28218 (java) S 28213 28215 27745 0 -1 4202560 46526 0 0 0 128 6 0 0 15 0 19 0 953747287 10808696832 1015737 33554432000 1073741824 1073778376 140736456533456 18446744073709551615 256427207577 0 4 0 16800975 18446604444896985216 0 0 -1 2 0 0 0
[pid=28215/tid=28219] ppid=28213 vsize=10555368 CPUtime=1.13 cores=0,2,4,6
/proc/28215/task/28219/stat : 28219 (java) S 28213 28215 27745 0 -1 4202560 22695 0 0 0 110 3 0 0 15 0 19 0 953747287 10808696832 1015737 33554432000 1073741824 1073778376 140736456533456 18446744073709551615 256427207577 0 4 0 16800975 18446604444896985216 0 0 -1 4 0 0 0
[pid=28215/tid=28220] ppid=28213 vsize=10555368 CPUtime=1.01 cores=0,2,4,6
/proc/28215/task/28220/stat : 28220 (java) S 28213 28215 27745 0 -1 4202560 29572 0 0 0 96 5 0 0 16 0 19 0 953747287 10808696832 1015737 33554432000 1073741824 1073778376 140736456533456 18446744073709551615 256427207577 0 4 0 16800975 18446604444896985216 0 0 -1 4 0 0 0
[pid=28215/tid=28221] ppid=28213 vsize=10555368 CPUtime=1.34 cores=0,2,4,6
/proc/28215/task/28221/stat : 28221 (java) S 28213 28215 27745 0 -1 4202560 46732 0 0 0 128 6 0 0 16 0 19 0 953747287 10808696832 1015737 33554432000 1073741824 1073778376 140736456533456 18446744073709551615 256427207577 0 4 0 16800975 18446604444896985216 0 0 -1 2 0 0 0
[pid=28215/tid=28222] ppid=28213 vsize=10555368 CPUtime=1.09 cores=0,2,4,6
/proc/28215/task/28222/stat : 28222 (java) S 28213 28215 27745 0 -1 4202560 29993 0 0 0 104 5 0 0 16 0 19 0 953747287 10808696832 1015737 33554432000 1073741824 1073778376 140736456533456 18446744073709551615 256427207577 0 4 0 16800975 18446604444896985216 0 0 -1 4 0 0 0
[pid=28215/tid=28223] ppid=28213 vsize=10555368 CPUtime=0.95 cores=0,2,4,6
/proc/28215/task/28223/stat : 28223 (java) S 28213 28215 27745 0 -1 4202560 22391 0 0 0 92 3 0 0 15 0 19 0 953747287 10808696832 1015737 33554432000 1073741824 1073778376 140736456533456 18446744073709551615 256427207577 0 4 0 16800975 18446604444896985216 0 0 -1 0 0 0 0
[pid=28215/tid=28224] ppid=28213 vsize=10555368 CPUtime=0.98 cores=0,2,4,6
/proc/28215/task/28224/stat : 28224 (java) S 28213 28215 27745 0 -1 4202560 28861 0 0 0 93 5 0 0 15 0 19 0 953747287 10808696832 1015737 33554432000 1073741824 1073778376 140736456533456 18446744073709551615 256427207577 0 4 0 16800975 18446604444896985216 0 0 -1 6 0 0 0
[pid=28215/tid=28225] ppid=28213 vsize=10555368 CPUtime=1.19 cores=0,2,4,6
/proc/28215/task/28225/stat : 28225 (java) S 28213 28215 27745 0 -1 4202560 36471 0 0 0 113 6 0 0 16 0 19 0 953747287 10808696832 1015737 33554432000 1073741824 1073778376 140736456533456 18446744073709551615 256427207577 0 4 0 16800975 18446604444896985216 0 0 -1 6 0 0 0
[pid=28215/tid=28226] ppid=28213 vsize=10555368 CPUtime=2.19 cores=0,2,4,6
/proc/28215/task/28226/stat : 28226 (java) S 28213 28215 27745 0 -1 4202560 5406 0 0 0 219 0 0 0 15 0 19 0 953747288 10808696832 1015737 33554432000 1073741824 1073778376 140736456533456 18446744073709551615 256427208192 0 0 0 16800975 18446604444896985216 0 0 -1 0 0 0 0
[pid=28215/tid=28227] ppid=28213 vsize=10555368 CPUtime=0 cores=0,2,4,6
/proc/28215/task/28227/stat : 28227 (java) S 28213 28215 27745 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 953747289 10808696832 1015737 33554432000 1073741824 1073778376 140736456533456 18446744073709551615 256427207577 0 4 0 16800975 18446604444896985216 0 0 -1 2 0 0 0
[pid=28215/tid=28228] ppid=28213 vsize=10555368 CPUtime=0 cores=0,2,4,6
/proc/28215/task/28228/stat : 28228 (java) S 28213 28215 27745 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 953747289 10808696832 1015737 33554432000 1073741824 1073778376 140736456533456 18446744073709551615 256427207577 0 4 0 16800975 18446604444896985216 0 0 -1 6 0 0 0
[pid=28215/tid=28229] ppid=28213 vsize=10555368 CPUtime=0 cores=0,2,4,6
/proc/28215/task/28229/stat : 28229 (java) S 28213 28215 27745 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 953747291 10808696832 1015737 33554432000 1073741824 1073778376 140736456533456 18446744073709551615 256427215281 0 4 0 16800975 18446604444896985216 0 0 -1 2 0 0 0
[pid=28215/tid=28230] ppid=28213 vsize=10555368 CPUtime=0.83 cores=0,2,4,6
/proc/28215/task/28230/stat : 28230 (java) S 28213 28215 27745 0 -1 4202560 8070 0 0 0 83 0 0 0 16 0 19 0 953747291 10808696832 1015737 33554432000 1073741824 1073778376 140736456533456 18446744073709551615 256427207577 0 4 0 16800975 18446604444896985216 0 0 -1 2 0 0 0
[pid=28215/tid=28231] ppid=28213 vsize=10555368 CPUtime=0.86 cores=0,2,4,6
/proc/28215/task/28231/stat : 28231 (java) S 28213 28215 27745 0 -1 4202560 7306 0 0 0 85 1 0 0 15 0 19 0 953747291 10808696832 1015737 33554432000 1073741824 1073778376 140736456533456 18446744073709551615 256427207577 0 4 0 16800975 18446604444896985216 0 0 -1 4 0 0 0
[pid=28215/tid=28232] ppid=28213 vsize=10555368 CPUtime=0 cores=0,2,4,6
/proc/28215/task/28232/stat : 28232 (java) S 28213 28215 27745 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 953747291 10808696832 1015737 33554432000 1073741824 1073778376 140736456533456 18446744073709551615 256427207577 0 4 0 16800975 18446604444896985216 0 0 -1 2 0 0 0
[pid=28215/tid=28233] ppid=28213 vsize=10555368 CPUtime=0 cores=0,2,4,6
/proc/28215/task/28233/stat : 28233 (java) S 28213 28215 27745 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 953747291 10808696832 1015737 33554432000 1073741824 1073778376 140736456533456 18446744073709551615 256427208192 0 4 0 16800975 18446604444896985216 0 0 -1 2 0 0 0
[pid=28215/tid=28234] ppid=28213 vsize=10555368 CPUtime=0 cores=0,2,4,6
/proc/28215/task/28234/stat : 28234 (java) S 28213 28215 27745 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 953747330 10808696832 1015737 33554432000 1073741824 1073778376 140736456533456 18446744073709551615 256427208192 0 4 0 16800975 18446604444896985216 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1790.75
Current children cumulated vsize (KiB) 10555368
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1791.6 s]
/proc/loadavg: 2.00 2.00 1.91 3/214 28350
/proc/meminfo: memFree=25092108/32950928 swapFree=67056212/67111528
[pid=28215] ppid=28213 vsize=10555368 CPUtime=1800.05 cores=0,2,4,6
/proc/28215/stat : 28215 (java) S 28213 28215 27745 0 -1 4202496 1027237 0 1 0 179865 140 0 0 25 0 19 0 953747285 10808696832 1015737 33554432000 1073741824 1073778376 140736456533456 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/28215/statm: 2638842 1015737 2264 9 0 2629576 0
[pid=28215/tid=28217] ppid=28213 vsize=10555368 CPUtime=1786.99 cores=0,2,4,6
/proc/28215/task/28217/stat : 28217 (java) R 28213 28215 27745 0 -1 4202560 741960 0 1 0 178607 92 0 0 25 0 19 0 953747285 10808696832 1015737 33554432000 1073741824 1073778376 140736456533456 18446744073709551615 46912505765559 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28215/tid=28218] ppid=28213 vsize=10555368 CPUtime=1.34 cores=0,2,4,6
/proc/28215/task/28218/stat : 28218 (java) S 28213 28215 27745 0 -1 4202560 46526 0 0 0 128 6 0 0 15 0 19 0 953747287 10808696832 1015737 33554432000 1073741824 1073778376 140736456533456 18446744073709551615 256427207577 0 4 0 16800975 18446604444896985216 0 0 -1 2 0 0 0
[pid=28215/tid=28219] ppid=28213 vsize=10555368 CPUtime=1.13 cores=0,2,4,6
/proc/28215/task/28219/stat : 28219 (java) S 28213 28215 27745 0 -1 4202560 22695 0 0 0 110 3 0 0 15 0 19 0 953747287 10808696832 1015737 33554432000 1073741824 1073778376 140736456533456 18446744073709551615 256427207577 0 4 0 16800975 18446604444896985216 0 0 -1 4 0 0 0
[pid=28215/tid=28220] ppid=28213 vsize=10555368 CPUtime=1.01 cores=0,2,4,6
/proc/28215/task/28220/stat : 28220 (java) S 28213 28215 27745 0 -1 4202560 29572 0 0 0 96 5 0 0 16 0 19 0 953747287 10808696832 1015737 33554432000 1073741824 1073778376 140736456533456 18446744073709551615 256427207577 0 4 0 16800975 18446604444896985216 0 0 -1 4 0 0 0
[pid=28215/tid=28221] ppid=28213 vsize=10555368 CPUtime=1.34 cores=0,2,4,6
/proc/28215/task/28221/stat : 28221 (java) S 28213 28215 27745 0 -1 4202560 46732 0 0 0 128 6 0 0 16 0 19 0 953747287 10808696832 1015737 33554432000 1073741824 1073778376 140736456533456 18446744073709551615 256427207577 0 4 0 16800975 18446604444896985216 0 0 -1 2 0 0 0
[pid=28215/tid=28222] ppid=28213 vsize=10555368 CPUtime=1.09 cores=0,2,4,6
/proc/28215/task/28222/stat : 28222 (java) S 28213 28215 27745 0 -1 4202560 29993 0 0 0 104 5 0 0 16 0 19 0 953747287 10808696832 1015737 33554432000 1073741824 1073778376 140736456533456 18446744073709551615 256427207577 0 4 0 16800975 18446604444896985216 0 0 -1 4 0 0 0
[pid=28215/tid=28223] ppid=28213 vsize=10555368 CPUtime=0.95 cores=0,2,4,6
/proc/28215/task/28223/stat : 28223 (java) S 28213 28215 27745 0 -1 4202560 22391 0 0 0 92 3 0 0 15 0 19 0 953747287 10808696832 1015737 33554432000 1073741824 1073778376 140736456533456 18446744073709551615 256427207577 0 4 0 16800975 18446604444896985216 0 0 -1 0 0 0 0
[pid=28215/tid=28224] ppid=28213 vsize=10555368 CPUtime=0.98 cores=0,2,4,6
/proc/28215/task/28224/stat : 28224 (java) S 28213 28215 27745 0 -1 4202560 28861 0 0 0 93 5 0 0 15 0 19 0 953747287 10808696832 1015737 33554432000 1073741824 1073778376 140736456533456 18446744073709551615 256427207577 0 4 0 16800975 18446604444896985216 0 0 -1 6 0 0 0
[pid=28215/tid=28225] ppid=28213 vsize=10555368 CPUtime=1.19 cores=0,2,4,6
/proc/28215/task/28225/stat : 28225 (java) S 28213 28215 27745 0 -1 4202560 36471 0 0 0 113 6 0 0 16 0 19 0 953747287 10808696832 1015737 33554432000 1073741824 1073778376 140736456533456 18446744073709551615 256427207577 0 4 0 16800975 18446604444896985216 0 0 -1 6 0 0 0
[pid=28215/tid=28226] ppid=28213 vsize=10555368 CPUtime=2.19 cores=0,2,4,6
/proc/28215/task/28226/stat : 28226 (java) S 28213 28215 27745 0 -1 4202560 5406 0 0 0 219 0 0 0 15 0 19 0 953747288 10808696832 1015737 33554432000 1073741824 1073778376 140736456533456 18446744073709551615 256427208192 0 0 0 16800975 18446604444896985216 0 0 -1 0 0 0 0
[pid=28215/tid=28227] ppid=28213 vsize=10555368 CPUtime=0 cores=0,2,4,6
/proc/28215/task/28227/stat : 28227 (java) S 28213 28215 27745 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 953747289 10808696832 1015737 33554432000 1073741824 1073778376 140736456533456 18446744073709551615 256427207577 0 4 0 16800975 18446604444896985216 0 0 -1 2 0 0 0
[pid=28215/tid=28228] ppid=28213 vsize=10555368 CPUtime=0 cores=0,2,4,6
/proc/28215/task/28228/stat : 28228 (java) S 28213 28215 27745 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 953747289 10808696832 1015737 33554432000 1073741824 1073778376 140736456533456 18446744073709551615 256427207577 0 4 0 16800975 18446604444896985216 0 0 -1 6 0 0 0
[pid=28215/tid=28229] ppid=28213 vsize=10555368 CPUtime=0 cores=0,2,4,6
/proc/28215/task/28229/stat : 28229 (java) S 28213 28215 27745 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 953747291 10808696832 1015737 33554432000 1073741824 1073778376 140736456533456 18446744073709551615 256427215281 0 4 0 16800975 18446604444896985216 0 0 -1 2 0 0 0
[pid=28215/tid=28230] ppid=28213 vsize=10555368 CPUtime=0.83 cores=0,2,4,6
/proc/28215/task/28230/stat : 28230 (java) S 28213 28215 27745 0 -1 4202560 8070 0 0 0 83 0 0 0 16 0 19 0 953747291 10808696832 1015737 33554432000 1073741824 1073778376 140736456533456 18446744073709551615 256427207577 0 4 0 16800975 18446604444896985216 0 0 -1 2 0 0 0
[pid=28215/tid=28231] ppid=28213 vsize=10555368 CPUtime=0.86 cores=0,2,4,6
/proc/28215/task/28231/stat : 28231 (java) S 28213 28215 27745 0 -1 4202560 7306 0 0 0 85 1 0 0 15 0 19 0 953747291 10808696832 1015737 33554432000 1073741824 1073778376 140736456533456 18446744073709551615 256427207577 0 4 0 16800975 18446604444896985216 0 0 -1 4 0 0 0
[pid=28215/tid=28232] ppid=28213 vsize=10555368 CPUtime=0 cores=0,2,4,6
/proc/28215/task/28232/stat : 28232 (java) S 28213 28215 27745 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 953747291 10808696832 1015737 33554432000 1073741824 1073778376 140736456533456 18446744073709551615 256427207577 0 4 0 16800975 18446604444896985216 0 0 -1 2 0 0 0
[pid=28215/tid=28233] ppid=28213 vsize=10555368 CPUtime=0 cores=0,2,4,6
/proc/28215/task/28233/stat : 28233 (java) S 28213 28215 27745 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 953747291 10808696832 1015737 33554432000 1073741824 1073778376 140736456533456 18446744073709551615 256427208192 0 4 0 16800975 18446604444896985216 0 0 -1 2 0 0 0
[pid=28215/tid=28234] ppid=28213 vsize=10555368 CPUtime=0 cores=0,2,4,6
/proc/28215/task/28234/stat : 28234 (java) S 28213 28215 27745 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 953747330 10808696832 1015737 33554432000 1073741824 1073778376 140736456533456 18446744073709551615 256427208192 0 4 0 16800975 18446604444896985216 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 10555368
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1791.71 s]
/proc/loadavg: 2.00 2.00 1.91 3/214 28350
/proc/meminfo: memFree=25092108/32950928 swapFree=67056212/67111528
[pid=28215] ppid=28213 vsize=0 CPUtime=1800.17 cores=0,2,4,6
/proc/28215/stat : 28215 (java) Z 28213 28215 27745 0 -1 4203548 1027271 0 1 0 179870 147 0 0 17 0 2 0 953747285 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/28215/statm: 0 0 0 0 0 0 0
[pid=28215/tid=28222] ppid=28213 vsize=0 CPUtime=1.16 cores=0,2,4,6
/proc/28215/task/28222/stat : 28222 (java) R 28213 28215 27745 0 -1 4203588 29993 0 0 0 104 12 0 0 15 0 2 0 953747287 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1791.79
CPU time (s): 1800.26
CPU user time (s): 1798.71
CPU system time (s): 1.55476
CPU usage (%): 100.472
Max. virtual memory (cumulated for all children) (KiB): 10564796
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.71
system time used= 1.55476
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1027271
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= 38430
involuntary context switches= 15913
runsolver used 3.23051 second user time and 6.565 second system time
The end