runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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 /var/tmp/evaluation-result-3500797-1308036297/watcher-3500797-1308036297 -o /var/tmp/evaluation-result-3500797-1308036297/solver-3500797-1308036297 -C 1800 -W 1850 -M 7680 java -Xms6000m -Xmx6000m -jar sat4j-mus-v20110206.jar /varHOME/instance-3500797-1308036297.gcnf
running on 2 cores: 1,3
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): 1850 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.40 0.33 0.11 4/227 12263
/proc/meminfo: memFree=11143452/32951124 swapFree=67055536/67111528
[pid=12263] ppid=12261 vsize=11804 CPUtime=0 cores=1,3
/proc/12263/stat : 12263 (runsolver) S 12261 12263 11983 0 -1 4202560 41 0 0 0 0 0 0 0 23 0 1 0 896046773 12087296 50 33554432000 4194304 5436572 140733448515136 18446744073709551615 4883175 0 2147483391 4096 24578 18446744071699960631 0 0 17 3 0 0 0
/proc/12263/statm: 2951 50 31 304 0 2643 0
[startup+0.0982821 s]
/proc/loadavg: 1.40 0.33 0.11 4/227 12263
/proc/meminfo: memFree=11143452/32951124 swapFree=67055536/67111528
[pid=12263] ppid=12261 vsize=30536 CPUtime=0 cores=1,3
/proc/12263/stat : 12263 (java) S 12261 12263 11983 0 -1 4202496 1246 0 0 0 0 0 0 0 24 0 2 0 896046773 31268864 963 33554432000 1073741824 1073778376 140736782983776 18446744073709551615 255118571493 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/12263/statm: 7634 963 736 9 0 385 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 30536
[startup+0.100278 s]
/proc/loadavg: 1.40 0.33 0.11 4/227 12263
/proc/meminfo: memFree=11143452/32951124 swapFree=67055536/67111528
[pid=12263] ppid=12261 vsize=30536 CPUtime=0 cores=1,3
/proc/12263/stat : 12263 (java) S 12261 12263 11983 0 -1 4202496 1246 0 0 0 0 0 0 0 24 0 2 0 896046773 31268864 963 33554432000 1073741824 1073778376 140736782983776 18446744073709551615 255118571493 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/12263/statm: 7634 963 736 9 0 385 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 30536
[startup+0.300209 s]
/proc/loadavg: 1.40 0.33 0.11 4/227 12263
/proc/meminfo: memFree=11143452/32951124 swapFree=67055536/67111528
[pid=12263] ppid=12261 vsize=6364156 CPUtime=0.12 cores=1,3
/proc/12263/stat : 12263 (java) S 12261 12263 11983 0 -1 4202496 22441 0 1 0 9 3 0 0 24 0 18 0 896046773 6516895744 22136 33554432000 1073741824 1073778376 140736782983776 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12263/statm: 1591039 22136 1754 9 0 1581777 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 6364156
[startup+0.70014 s]
/proc/loadavg: 1.40 0.33 0.11 4/227 12263
/proc/meminfo: memFree=11143452/32951124 swapFree=67055536/67111528
[pid=12263] ppid=12261 vsize=6443944 CPUtime=0.77 cores=1,3
/proc/12263/stat : 12263 (java) S 12261 12263 11983 0 -1 4202496 31823 0 1 0 74 3 0 0 24 0 18 0 896046773 6598598656 29840 33554432000 1073741824 1073778376 140736782983776 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12263/statm: 1610986 29840 2205 9 0 1601724 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 6443944
[startup+1.50103 s]
/proc/loadavg: 1.40 0.33 0.11 5/260 12297
/proc/meminfo: memFree=10778756/32951124 swapFree=67055536/67111528
[pid=12263] ppid=12261 vsize=6443944 CPUtime=1.61 cores=1,3
/proc/12263/stat : 12263 (java) S 12261 12263 11983 0 -1 4202496 65322 0 1 0 153 8 0 0 24 0 18 0 896046773 6598598656 63033 33554432000 1073741824 1073778376 140736782983776 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12263/statm: 1610986 63035 2206 9 0 1601724 0
[pid=12263/tid=12276] ppid=12261 vsize=6443944 CPUtime=1.22 cores=1,3
/proc/12263/task/12276/stat : 12276 (java) R 12261 12263 11983 0 -1 4202560 58106 0 1 0 115 7 0 0 25 0 18 0 896046781 6598598656 63036 33554432000 1073741824 1073778376 140736782983776 18446744073709551615 46912505585743 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=12263/tid=12282] ppid=12261 vsize=6443944 CPUtime=0 cores=1,3
/proc/12263/task/12282/stat : 12282 (java) S 12261 12263 11983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896046788 6598598656 63037 33554432000 1073741824 1073778376 140736782983776 18446744073709551615 255118584729 0 4 0 16800975 18446604457202939776 0 0 -1 3 0 0 0
[pid=12263/tid=12283] ppid=12261 vsize=6443944 CPUtime=0 cores=1,3
/proc/12263/task/12283/stat : 12283 (java) S 12261 12263 11983 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 896046788 6598598656 63038 33554432000 1073741824 1073778376 140736782983776 18446744073709551615 255118584729 0 4 0 16800975 18446604457202939776 0 0 -1 3 0 0 0
[pid=12263/tid=12284] ppid=12261 vsize=6443944 CPUtime=0 cores=1,3
/proc/12263/task/12284/stat : 12284 (java) S 12261 12263 11983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896046788 6598598656 63039 33554432000 1073741824 1073778376 140736782983776 18446744073709551615 255118584729 0 4 0 16800975 18446604457202939776 0 0 -1 3 0 0 0
[pid=12263/tid=12285] ppid=12261 vsize=6443944 CPUtime=0 cores=1,3
/proc/12263/task/12285/stat : 12285 (java) S 12261 12263 11983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896046788 6598598656 63040 33554432000 1073741824 1073778376 140736782983776 18446744073709551615 255118584729 0 4 0 16800975 18446604457202939776 0 0 -1 3 0 0 0
[pid=12263/tid=12286] ppid=12261 vsize=6443944 CPUtime=0 cores=1,3
/proc/12263/task/12286/stat : 12286 (java) S 12261 12263 11983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896046788 6598598656 63040 33554432000 1073741824 1073778376 140736782983776 18446744073709551615 255118584729 0 4 0 16800975 18446604457202939776 0 0 -1 3 0 0 0
[pid=12263/tid=12287] ppid=12261 vsize=6443944 CPUtime=0 cores=1,3
/proc/12263/task/12287/stat : 12287 (java) S 12261 12263 11983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896046788 6598598656 63041 33554432000 1073741824 1073778376 140736782983776 18446744073709551615 255118584729 0 4 0 16800975 18446604457202939776 0 0 -1 3 0 0 0
[pid=12263/tid=12288] ppid=12261 vsize=6443944 CPUtime=0 cores=1,3
/proc/12263/task/12288/stat : 12288 (java) S 12261 12263 11983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896046788 6598598656 63042 33554432000 1073741824 1073778376 140736782983776 18446744073709551615 255118584729 0 4 0 16800975 18446604457202939776 0 0 -1 3 0 0 0
[pid=12263/tid=12289] ppid=12261 vsize=6443944 CPUtime=0 cores=1,3
/proc/12263/task/12289/stat : 12289 (java) S 12261 12263 11983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896046788 6598598656 63043 33554432000 1073741824 1073778376 140736782983776 18446744073709551615 255118584729 0 4 0 16800975 18446604457202939776 0 0 -1 3 0 0 0
[pid=12263/tid=12290] ppid=12261 vsize=6443944 CPUtime=0 cores=1,3
/proc/12263/task/12290/stat : 12290 (java) S 12261 12263 11983 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 896046790 6598598656 63044 33554432000 1073741824 1073778376 140736782983776 18446744073709551615 255118585344 0 0 0 16800975 18446604457202939776 0 0 -1 3 0 0 0
[pid=12263/tid=12291] ppid=12261 vsize=6443944 CPUtime=0 cores=1,3
/proc/12263/task/12291/stat : 12291 (java) S 12261 12263 11983 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 896046790 6598598656 63045 33554432000 1073741824 1073778376 140736782983776 18446744073709551615 255118584729 0 4 0 16800975 18446604457202939776 0 0 -1 3 0 0 0
[pid=12263/tid=12292] ppid=12261 vsize=6443944 CPUtime=0 cores=1,3
/proc/12263/task/12292/stat : 12292 (java) S 12261 12263 11983 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 896046790 6598598656 63046 33554432000 1073741824 1073778376 140736782983776 18446744073709551615 255118584729 0 4 0 16800975 18446604457202939776 0 0 -1 3 0 0 0
[pid=12263/tid=12293] ppid=12261 vsize=6443944 CPUtime=0 cores=1,3
/proc/12263/task/12293/stat : 12293 (java) S 12261 12263 11983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896046794 6598598656 63047 33554432000 1073741824 1073778376 140736782983776 18446744073709551615 255118592433 0 4 0 16800975 18446604457202939776 0 0 -1 3 0 0 0
[pid=12263/tid=12294] ppid=12261 vsize=6443944 CPUtime=0.2 cores=1,3
/proc/12263/task/12294/stat : 12294 (java) S 12261 12263 11983 0 -1 4202560 2795 0 0 0 20 0 0 0 25 0 18 0 896046794 6598598656 63048 33554432000 1073741824 1073778376 140736782983776 18446744073709551615 255118584729 0 4 0 16800975 18446604457202939776 0 0 -1 1 0 0 0
[pid=12263/tid=12295] ppid=12261 vsize=6443944 CPUtime=0.17 cores=1,3
/proc/12263/task/12295/stat : 12295 (java) S 12261 12263 11983 0 -1 4202560 3271 0 0 0 17 0 0 0 25 0 18 0 896046794 6598598656 63049 33554432000 1073741824 1073778376 140736782983776 18446744073709551615 255118584729 0 4 0 16800975 18446604457202939776 0 0 -1 3 0 0 0
[pid=12263/tid=12296] ppid=12261 vsize=6443944 CPUtime=0 cores=1,3
/proc/12263/task/12296/stat : 12296 (java) S 12261 12263 11983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896046794 6598598656 63051 33554432000 1073741824 1073778376 140736782983776 18446744073709551615 255118584729 0 4 0 16800975 18446604457202939776 0 0 -1 3 0 0 0
[pid=12263/tid=12297] ppid=12261 vsize=6443944 CPUtime=0 cores=1,3
/proc/12263/task/12297/stat : 12297 (java) S 12261 12263 11983 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 896046794 6598598656 63052 33554432000 1073741824 1073778376 140736782983776 18446744073709551615 255118585344 0 4 0 16800975 18446604457202939776 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.61
Current children cumulated vsize (KiB) 6443944
[startup+3.10072 s]
/proc/loadavg: 1.40 0.33 0.11 7/260 12297
/proc/meminfo: memFree=10288836/32951124 swapFree=67055536/67111528
[pid=12263] ppid=12261 vsize=6443944 CPUtime=3.2 cores=1,3
/proc/12263/stat : 12263 (java) S 12261 12263 11983 0 -1 4202496 133563 0 1 0 304 16 0 0 24 0 18 0 896046773 6598598656 131274 33554432000 1073741824 1073778376 140736782983776 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12263/statm: 1610986 131274 2206 9 0 1601724 0
[pid=12263/tid=12276] ppid=12261 vsize=6443944 CPUtime=2.81 cores=1,3
/proc/12263/task/12276/stat : 12276 (java) R 12261 12263 11983 0 -1 4202560 126344 0 1 0 266 15 0 0 25 0 18 0 896046781 6598598656 131274 33554432000 1073741824 1073778376 140736782983776 18446744073709551615 46912505491062 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=12263/tid=12282] ppid=12261 vsize=6443944 CPUtime=0 cores=1,3
/proc/12263/task/12282/stat : 12282 (java) S 12261 12263 11983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896046788 6598598656 131274 33554432000 1073741824 1073778376 140736782983776 18446744073709551615 255118584729 0 4 0 16800975 18446604457202939776 0 0 -1 3 0 0 0
[pid=12263/tid=12283] ppid=12261 vsize=6443944 CPUtime=0 cores=1,3
/proc/12263/task/12283/stat : 12283 (java) S 12261 12263 11983 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 896046788 6598598656 131274 33554432000 1073741824 1073778376 140736782983776 18446744073709551615 255118584729 0 4 0 16800975 18446604457202939776 0 0 -1 3 0 0 0
[pid=12263/tid=12284] ppid=12261 vsize=6443944 CPUtime=0 cores=1,3
/proc/12263/task/12284/stat : 12284 (java) S 12261 12263 11983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896046788 6598598656 131274 33554432000 1073741824 1073778376 140736782983776 18446744073709551615 255118584729 0 4 0 16800975 18446604457202939776 0 0 -1 3 0 0 0
[pid=12263/tid=12285] ppid=12261 vsize=6443944 CPUtime=0 cores=1,3
/proc/12263/task/12285/stat : 12285 (java) S 12261 12263 11983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896046788 6598598656 131274 33554432000 1073741824 1073778376 140736782983776 18446744073709551615 255118584729 0 4 0 16800975 18446604457202939776 0 0 -1 3 0 0 0
[pid=12263/tid=12286] ppid=12261 vsize=6443944 CPUtime=0 cores=1,3
/proc/12263/task/12286/stat : 12286 (java) S 12261 12263 11983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896046788 6598598656 131274 33554432000 1073741824 1073778376 140736782983776 18446744073709551615 255118584729 0 4 0 16800975 18446604457202939776 0 0 -1 3 0 0 0
[pid=12263/tid=12287] ppid=12261 vsize=6443944 CPUtime=0 cores=1,3
/proc/12263/task/12287/stat : 12287 (java) S 12261 12263 11983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896046788 6598598656 131274 33554432000 1073741824 1073778376 140736782983776 18446744073709551615 255118584729 0 4 0 16800975 18446604457202939776 0 0 -1 3 0 0 0
[pid=12263/tid=12288] ppid=12261 vsize=6443944 CPUtime=0 cores=1,3
/proc/12263/task/12288/stat : 12288 (java) S 12261 12263 11983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896046788 6598598656 131274 33554432000 1073741824 1073778376 140736782983776 18446744073709551615 255118584729 0 4 0 16800975 18446604457202939776 0 0 -1 3 0 0 0
[pid=12263/tid=12289] ppid=12261 vsize=6443944 CPUtime=0 cores=1,3
/proc/12263/task/12289/stat : 12289 (java) S 12261 12263 11983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896046788 6598598656 131274 33554432000 1073741824 1073778376 140736782983776 18446744073709551615 255118584729 0 4 0 16800975 18446604457202939776 0 0 -1 3 0 0 0
[pid=12263/tid=12290] ppid=12261 vsize=6443944 CPUtime=0 cores=1,3
/proc/12263/task/12290/stat : 12290 (java) S 12261 12263 11983 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 896046790 6598598656 131274 33554432000 1073741824 1073778376 140736782983776 18446744073709551615 255118585344 0 0 0 16800975 18446604457202939776 0 0 -1 3 0 0 0
[pid=12263/tid=12291] ppid=12261 vsize=6443944 CPUtime=0 cores=1,3
/proc/12263/task/12291/stat : 12291 (java) S 12261 12263 11983 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 896046790 6598598656 131274 33554432000 1073741824 1073778376 140736782983776 18446744073709551615 255118584729 0 4 0 16800975 18446604457202939776 0 0 -1 3 0 0 0
[pid=12263/tid=12292] ppid=12261 vsize=6443944 CPUtime=0 cores=1,3
/proc/12263/task/12292/stat : 12292 (java) S 12261 12263 11983 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 896046790 6598598656 131274 33554432000 1073741824 1073778376 140736782983776 18446744073709551615 255118584729 0 4 0 16800975 18446604457202939776 0 0 -1 3 0 0 0
[pid=12263/tid=12293] ppid=12261 vsize=6443944 CPUtime=0 cores=1,3
/proc/12263/task/12293/stat : 12293 (java) S 12261 12263 11983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896046794 6598598656 131274 33554432000 1073741824 1073778376 140736782983776 18446744073709551615 255118592433 0 4 0 16800975 18446604457202939776 0 0 -1 3 0 0 0
[pid=12263/tid=12294] ppid=12261 vsize=6443944 CPUtime=0.2 cores=1,3
/proc/12263/task/12294/stat : 12294 (java) S 12261 12263 11983 0 -1 4202560 2795 0 0 0 20 0 0 0 25 0 18 0 896046794 6598598656 131274 33554432000 1073741824 1073778376 140736782983776 18446744073709551615 255118584729 0 4 0 16800975 18446604457202939776 0 0 -1 1 0 0 0
[pid=12263/tid=12295] ppid=12261 vsize=6443944 CPUtime=0.17 cores=1,3
/proc/12263/task/12295/stat : 12295 (java) S 12261 12263 11983 0 -1 4202560 3271 0 0 0 17 0 0 0 25 0 18 0 896046794 6598598656 131274 33554432000 1073741824 1073778376 140736782983776 18446744073709551615 255118584729 0 4 0 16800975 18446604457202939776 0 0 -1 3 0 0 0
[pid=12263/tid=12296] ppid=12261 vsize=6443944 CPUtime=0 cores=1,3
/proc/12263/task/12296/stat : 12296 (java) S 12261 12263 11983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896046794 6598598656 131274 33554432000 1073741824 1073778376 140736782983776 18446744073709551615 255118584729 0 4 0 16800975 18446604457202939776 0 0 -1 3 0 0 0
[pid=12263/tid=12297] ppid=12261 vsize=6443944 CPUtime=0 cores=1,3
/proc/12263/task/12297/stat : 12297 (java) S 12261 12263 11983 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 896046794 6598598656 131274 33554432000 1073741824 1073778376 140736782983776 18446744073709551615 255118585344 0 4 0 16800975 18446604457202939776 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.2
Current children cumulated vsize (KiB) 6443944
[startup+6.30119 s]
/proc/loadavg: 1.61 0.39 0.13 10/260 12297
/proc/meminfo: memFree=8908596/32951124 swapFree=67055536/67111528
[pid=12263] ppid=12261 vsize=6441620 CPUtime=6.41 cores=1,3
/proc/12263/stat : 12263 (java) S 12261 12263 11983 0 -1 4202496 267362 0 1 0 607 34 0 0 24 0 18 0 896046773 6596218880 264544 33554432000 1073741824 1073778376 140736782983776 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12263/statm: 1610405 264546 2208 9 0 1601143 0
[pid=12263/tid=12276] ppid=12261 vsize=6441620 CPUtime=6.01 cores=1,3
/proc/12263/task/12276/stat : 12276 (java) R 12261 12263 11983 0 -1 4202560 260143 0 1 0 568 33 0 0 20 0 18 0 896046781 6596218880 264547 33554432000 1073741824 1073778376 140736782983776 18446744073709551615 46912505587334 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=12263/tid=12282] ppid=12261 vsize=6441620 CPUtime=0 cores=1,3
/proc/12263/task/12282/stat : 12282 (java) S 12261 12263 11983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896046788 6596218880 264548 33554432000 1073741824 1073778376 140736782983776 18446744073709551615 255118584729 0 4 0 16800975 18446604457202939776 0 0 -1 3 0 0 0
[pid=12263/tid=12283] ppid=12261 vsize=6441620 CPUtime=0 cores=1,3
/proc/12263/task/12283/stat : 12283 (java) S 12261 12263 11983 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 896046788 6596218880 264548 33554432000 1073741824 1073778376 140736782983776 18446744073709551615 255118584729 0 4 0 16800975 18446604457202939776 0 0 -1 3 0 0 0
[pid=12263/tid=12284] ppid=12261 vsize=6441620 CPUtime=0 cores=1,3
/proc/12263/task/12284/stat : 12284 (java) S 12261 12263 11983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896046788 6596218880 264549 33554432000 1073741824 1073778376 140736782983776 18446744073709551615 255118584729 0 4 0 16800975 18446604457202939776 0 0 -1 3 0 0 0
[pid=12263/tid=12285] ppid=12261 vsize=6441620 CPUtime=0 cores=1,3
/proc/12263/task/12285/stat : 12285 (java) S 12261 12263 11983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896046788 6596218880 264550 33554432000 1073741824 1073778376 140736782983776 18446744073709551615 255118584729 0 4 0 16800975 18446604457202939776 0 0 -1 3 0 0 0
[pid=12263/tid=12286] ppid=12261 vsize=6441620 CPUtime=0 cores=1,3
/proc/12263/task/12286/stat : 12286 (java) S 12261 12263 11983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896046788 6596218880 264551 33554432000 1073741824 1073778376 140736782983776 18446744073709551615 255118584729 0 4 0 16800975 18446604457202939776 0 0 -1 3 0 0 0
[pid=12263/tid=12287] ppid=12261 vsize=6441620 CPUtime=0 cores=1,3
/proc/12263/task/12287/stat : 12287 (java) S 12261 12263 11983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896046788 6596218880 264552 33554432000 1073741824 1073778376 140736782983776 18446744073709551615 255118584729 0 4 0 16800975 18446604457202939776 0 0 -1 3 0 0 0
[pid=12263/tid=12288] ppid=12261 vsize=6441620 CPUtime=0 cores=1,3
/proc/12263/task/12288/stat : 12288 (java) S 12261 12263 11983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896046788 6596218880 264553 33554432000 1073741824 1073778376 140736782983776 18446744073709551615 255118584729 0 4 0 16800975 18446604457202939776 0 0 -1 3 0 0 0
[pid=12263/tid=12289] ppid=12261 vsize=6441620 CPUtime=0 cores=1,3
/proc/12263/task/12289/stat : 12289 (java) S 12261 12263 11983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896046788 6596218880 264554 33554432000 1073741824 1073778376 140736782983776 18446744073709551615 255118584729 0 4 0 16800975 18446604457202939776 0 0 -1 3 0 0 0
[pid=12263/tid=12290] ppid=12261 vsize=6441620 CPUtime=0 cores=1,3
/proc/12263/task/12290/stat : 12290 (java) S 12261 12263 11983 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 18 0 896046790 6596218880 264555 33554432000 1073741824 1073778376 140736782983776 18446744073709551615 255118585344 0 0 0 16800975 18446604457202939776 0 0 -1 3 0 0 0
[pid=12263/tid=12291] ppid=12261 vsize=6441620 CPUtime=0 cores=1,3
/proc/12263/task/12291/stat : 12291 (java) S 12261 12263 11983 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 896046790 6596218880 264555 33554432000 1073741824 1073778376 140736782983776 18446744073709551615 255118584729 0 4 0 16800975 18446604457202939776 0 0 -1 3 0 0 0
[pid=12263/tid=12292] ppid=12261 vsize=6441620 CPUtime=0 cores=1,3
/proc/12263/task/12292/stat : 12292 (java) S 12261 12263 11983 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 896046790 6596218880 264556 33554432000 1073741824 1073778376 140736782983776 18446744073709551615 255118584729 0 4 0 16800975 18446604457202939776 0 0 -1 3 0 0 0
[pid=12263/tid=12293] ppid=12261 vsize=6441620 CPUtime=0 cores=1,3
/proc/12263/task/12293/stat : 12293 (java) S 12261 12263 11983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896046794 6596218880 264557 33554432000 1073741824 1073778376 140736782983776 18446744073709551615 255118592433 0 4 0 16800975 18446604457202939776 0 0 -1 3 0 0 0
[pid=12263/tid=12294] ppid=12261 vsize=6441620 CPUtime=0.2 cores=1,3
/proc/12263/task/12294/stat : 12294 (java) S 12261 12263 11983 0 -1 4202560 2795 0 0 0 20 0 0 0 25 0 18 0 896046794 6596218880 264558 33554432000 1073741824 1073778376 140736782983776 18446744073709551615 255118584729 0 4 0 16800975 18446604457202939776 0 0 -1 1 0 0 0
[pid=12263/tid=12295] ppid=12261 vsize=6441620 CPUtime=0.17 cores=1,3
/proc/12263/task/12295/stat : 12295 (java) S 12261 12263 11983 0 -1 4202560 3271 0 0 0 17 0 0 0 25 0 18 0 896046794 6596218880 264559 33554432000 1073741824 1073778376 140736782983776 18446744073709551615 255118584729 0 4 0 16800975 18446604457202939776 0 0 -1 3 0 0 0
[pid=12263/tid=12296] ppid=12261 vsize=6441620 CPUtime=0 cores=1,3
/proc/12263/task/12296/stat : 12296 (java) S 12261 12263 11983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896046794 6596218880 264560 33554432000 1073741824 1073778376 140736782983776 18446744073709551615 255118584729 0 4 0 16800975 18446604457202939776 0 0 -1 3 0 0 0
[pid=12263/tid=12297] ppid=12261 vsize=6441620 CPUtime=0 cores=1,3
/proc/12263/task/12297/stat : 12297 (java) S 12261 12263 11983 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 896046794 6596218880 264561 33554432000 1073741824 1073778376 140736782983776 18446744073709551615 255118585344 0 4 0 16800975 18446604457202939776 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 6.41
Current children cumulated vsize (KiB) 6441620
[startup+12.7011 s]
/proc/loadavg: 1.80 0.45 0.15 5/262 12303
/proc/meminfo: memFree=8399808/32951124 swapFree=67055536/67111528
[pid=12263] ppid=12261 vsize=6442648 CPUtime=13.23 cores=1,3
/proc/12263/stat : 12263 (java) S 12261 12263 11983 0 -1 4202496 355368 0 1 0 1278 45 0 0 24 0 19 0 896046773 6597271552 350864 33554432000 1073741824 1073778376 140736782983776 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12263/statm: 1610662 350864 2234 9 0 1601400 0
[pid=12263/tid=12276] ppid=12261 vsize=6442648 CPUtime=12.1 cores=1,3
################
# More data... #
################
/proc/12263/task/12291/stat : 12291 (java) S 12261 12263 11983 0 -1 4202560 20 0 0 0 0 0 0 0 15 0 19 0 896046790 6597271552 692542 33554432000 1073741824 1073778376 140736782983776 18446744073709551615 255118584729 0 4 0 16800975 18446604457202939776 0 0 -1 3 0 0 0
[pid=12263/tid=12292] ppid=12261 vsize=6442648 CPUtime=0 cores=1,3
/proc/12263/task/12292/stat : 12292 (java) S 12261 12263 11983 0 -1 4202560 22 0 0 0 0 0 0 0 15 0 19 0 896046790 6597271552 692542 33554432000 1073741824 1073778376 140736782983776 18446744073709551615 255118584729 0 4 0 16800975 18446604457202939776 0 0 -1 3 0 0 0
[pid=12263/tid=12293] ppid=12261 vsize=6442648 CPUtime=0 cores=1,3
/proc/12263/task/12293/stat : 12293 (java) S 12261 12263 11983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 896046794 6597271552 692542 33554432000 1073741824 1073778376 140736782983776 18446744073709551615 255118592433 0 4 0 16800975 18446604457202939776 0 0 -1 3 0 0 0
[pid=12263/tid=12294] ppid=12261 vsize=6442648 CPUtime=1.56 cores=1,3
/proc/12263/task/12294/stat : 12294 (java) S 12261 12263 11983 0 -1 4202560 14763 0 0 0 155 1 0 0 15 0 19 0 896046794 6597271552 692542 33554432000 1073741824 1073778376 140736782983776 18446744073709551615 255118584729 0 4 0 16800975 18446604457202939776 0 0 -1 1 0 0 0
[pid=12263/tid=12295] ppid=12261 vsize=6442648 CPUtime=0.6 cores=1,3
/proc/12263/task/12295/stat : 12295 (java) S 12261 12263 11983 0 -1 4202560 3324 0 0 0 60 0 0 0 16 0 19 0 896046794 6597271552 692542 33554432000 1073741824 1073778376 140736782983776 18446744073709551615 255118584729 0 4 0 16800975 18446604457202939776 0 0 -1 3 0 0 0
[pid=12263/tid=12296] ppid=12261 vsize=6442648 CPUtime=0 cores=1,3
/proc/12263/task/12296/stat : 12296 (java) S 12261 12263 11983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 896046794 6597271552 692542 33554432000 1073741824 1073778376 140736782983776 18446744073709551615 255118584729 0 4 0 16800975 18446604457202939776 0 0 -1 3 0 0 0
[pid=12263/tid=12297] ppid=12261 vsize=6442648 CPUtime=0 cores=1,3
/proc/12263/task/12297/stat : 12297 (java) S 12261 12263 11983 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 896046794 6597271552 692542 33554432000 1073741824 1073778376 140736782983776 18446744073709551615 255118585344 0 4 0 16800975 18446604457202939776 0 0 -1 3 0 0 0
[pid=12263/tid=12329] ppid=12261 vsize=6442648 CPUtime=0 cores=1,3
/proc/12263/task/12329/stat : 12329 (java) S 12261 12263 11983 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 896050887 6597271552 692542 33554432000 1073741824 1073778376 140736782983776 18446744073709551615 255118585344 0 4 0 16800975 18446604457202939776 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1666.26
Current children cumulated vsize (KiB) 6442648
[startup+1722.3 s]
/proc/loadavg: 4.10 4.07 3.43 5/262 1233
/proc/meminfo: memFree=5424248/32951124 swapFree=67055536/67111528
[pid=12263] ppid=12261 vsize=6442648 CPUtime=1726.26 cores=1,3
/proc/12263/stat : 12263 (java) S 12261 12263 11983 0 -1 4202496 705501 0 1 0 172543 83 0 0 24 0 19 0 896046773 6597271552 692542 33554432000 1073741824 1073778376 140736782983776 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12263/statm: 1610662 692542 2263 9 0 1601400 0
[pid=12263/tid=12276] ppid=12261 vsize=6442648 CPUtime=1705.13 cores=1,3
/proc/12263/task/12276/stat : 12276 (java) R 12261 12263 11983 0 -1 4202560 391569 0 1 0 170464 49 0 0 25 0 19 0 896046781 6597271552 692542 33554432000 1073741824 1073778376 140736782983776 18446744073709551615 46912505764650 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=12263/tid=12282] ppid=12261 vsize=6442648 CPUtime=0.95 cores=1,3
/proc/12263/task/12282/stat : 12282 (java) S 12261 12263 11983 0 -1 4202560 37198 0 0 0 91 4 0 0 15 0 19 0 896046788 6597271552 692542 33554432000 1073741824 1073778376 140736782983776 18446744073709551615 255118584729 0 4 0 16800975 18446604457202939776 0 0 -1 3 0 0 0
[pid=12263/tid=12283] ppid=12261 vsize=6442648 CPUtime=1.23 cores=1,3
/proc/12263/task/12283/stat : 12283 (java) S 12261 12263 11983 0 -1 4202560 53827 0 0 0 117 6 0 0 16 0 19 0 896046788 6597271552 692542 33554432000 1073741824 1073778376 140736782983776 18446744073709551615 255118584729 0 4 0 16800975 18446604457202939776 0 0 -1 3 0 0 0
[pid=12263/tid=12284] ppid=12261 vsize=6442648 CPUtime=0.4 cores=1,3
/proc/12263/task/12284/stat : 12284 (java) S 12261 12263 11983 0 -1 4202560 40613 0 0 0 37 3 0 0 15 0 19 0 896046788 6597271552 692542 33554432000 1073741824 1073778376 140736782983776 18446744073709551615 255118584729 0 4 0 16800975 18446604457202939776 0 0 -1 3 0 0 0
[pid=12263/tid=12285] ppid=12261 vsize=6442648 CPUtime=0.61 cores=1,3
/proc/12263/task/12285/stat : 12285 (java) S 12261 12263 11983 0 -1 4202560 38848 0 0 0 57 4 0 0 16 0 19 0 896046788 6597271552 692542 33554432000 1073741824 1073778376 140736782983776 18446744073709551615 255118584729 0 4 0 16800975 18446604457202939776 0 0 -1 3 0 0 0
[pid=12263/tid=12286] ppid=12261 vsize=6442648 CPUtime=0.89 cores=1,3
/proc/12263/task/12286/stat : 12286 (java) S 12261 12263 11983 0 -1 4202560 51182 0 0 0 84 5 0 0 15 0 19 0 896046788 6597271552 692542 33554432000 1073741824 1073778376 140736782983776 18446744073709551615 255118584729 0 4 0 16800975 18446604457202939776 0 0 -1 3 0 0 0
[pid=12263/tid=12287] ppid=12261 vsize=6442648 CPUtime=0.51 cores=1,3
/proc/12263/task/12287/stat : 12287 (java) S 12261 12263 11983 0 -1 4202560 4722 0 0 0 51 0 0 0 16 0 19 0 896046788 6597271552 692542 33554432000 1073741824 1073778376 140736782983776 18446744073709551615 255118584729 0 4 0 16800975 18446604457202939776 0 0 -1 3 0 0 0
[pid=12263/tid=12288] ppid=12261 vsize=6442648 CPUtime=0.45 cores=1,3
/proc/12263/task/12288/stat : 12288 (java) S 12261 12263 11983 0 -1 4202560 3470 0 0 0 45 0 0 0 15 0 19 0 896046788 6597271552 692542 33554432000 1073741824 1073778376 140736782983776 18446744073709551615 255118584729 0 4 0 16800975 18446604457202939776 0 0 -1 3 0 0 0
[pid=12263/tid=12289] ppid=12261 vsize=6442648 CPUtime=0.64 cores=1,3
/proc/12263/task/12289/stat : 12289 (java) S 12261 12263 11983 0 -1 4202560 1716 0 0 0 64 0 0 0 15 0 19 0 896046788 6597271552 692542 33554432000 1073741824 1073778376 140736782983776 18446744073709551615 255118584729 0 4 0 16800975 18446604457202939776 0 0 -1 3 0 0 0
[pid=12263/tid=12290] ppid=12261 vsize=6442648 CPUtime=13.16 cores=1,3
/proc/12263/task/12290/stat : 12290 (java) S 12261 12263 11983 0 -1 4202560 62964 0 0 0 1310 6 0 0 18 0 19 0 896046790 6597271552 692542 33554432000 1073741824 1073778376 140736782983776 18446744073709551615 255118585344 0 0 0 16800975 18446604457202939776 0 0 -1 1 0 0 0
[pid=12263/tid=12291] ppid=12261 vsize=6442648 CPUtime=0 cores=1,3
/proc/12263/task/12291/stat : 12291 (java) S 12261 12263 11983 0 -1 4202560 20 0 0 0 0 0 0 0 15 0 19 0 896046790 6597271552 692542 33554432000 1073741824 1073778376 140736782983776 18446744073709551615 255118584729 0 4 0 16800975 18446604457202939776 0 0 -1 3 0 0 0
[pid=12263/tid=12292] ppid=12261 vsize=6442648 CPUtime=0 cores=1,3
/proc/12263/task/12292/stat : 12292 (java) S 12261 12263 11983 0 -1 4202560 22 0 0 0 0 0 0 0 15 0 19 0 896046790 6597271552 692542 33554432000 1073741824 1073778376 140736782983776 18446744073709551615 255118584729 0 4 0 16800975 18446604457202939776 0 0 -1 3 0 0 0
[pid=12263/tid=12293] ppid=12261 vsize=6442648 CPUtime=0 cores=1,3
/proc/12263/task/12293/stat : 12293 (java) S 12261 12263 11983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 896046794 6597271552 692542 33554432000 1073741824 1073778376 140736782983776 18446744073709551615 255118592433 0 4 0 16800975 18446604457202939776 0 0 -1 3 0 0 0
[pid=12263/tid=12294] ppid=12261 vsize=6442648 CPUtime=1.56 cores=1,3
/proc/12263/task/12294/stat : 12294 (java) S 12261 12263 11983 0 -1 4202560 14763 0 0 0 155 1 0 0 15 0 19 0 896046794 6597271552 692542 33554432000 1073741824 1073778376 140736782983776 18446744073709551615 255118584729 0 4 0 16800975 18446604457202939776 0 0 -1 1 0 0 0
[pid=12263/tid=12295] ppid=12261 vsize=6442648 CPUtime=0.6 cores=1,3
/proc/12263/task/12295/stat : 12295 (java) S 12261 12263 11983 0 -1 4202560 3324 0 0 0 60 0 0 0 16 0 19 0 896046794 6597271552 692542 33554432000 1073741824 1073778376 140736782983776 18446744073709551615 255118584729 0 4 0 16800975 18446604457202939776 0 0 -1 3 0 0 0
[pid=12263/tid=12296] ppid=12261 vsize=6442648 CPUtime=0 cores=1,3
/proc/12263/task/12296/stat : 12296 (java) S 12261 12263 11983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 896046794 6597271552 692542 33554432000 1073741824 1073778376 140736782983776 18446744073709551615 255118584729 0 4 0 16800975 18446604457202939776 0 0 -1 3 0 0 0
[pid=12263/tid=12297] ppid=12261 vsize=6442648 CPUtime=0 cores=1,3
/proc/12263/task/12297/stat : 12297 (java) S 12261 12263 11983 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 896046794 6597271552 692542 33554432000 1073741824 1073778376 140736782983776 18446744073709551615 255118585344 0 4 0 16800975 18446604457202939776 0 0 -1 3 0 0 0
[pid=12263/tid=12329] ppid=12261 vsize=6442648 CPUtime=0 cores=1,3
/proc/12263/task/12329/stat : 12329 (java) S 12261 12263 11983 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 896050887 6597271552 692542 33554432000 1073741824 1073778376 140736782983776 18446744073709551615 255118585344 0 4 0 16800975 18446604457202939776 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1726.26
Current children cumulated vsize (KiB) 6442648
[startup+1782.3 s]
/proc/loadavg: 4.04 4.06 3.47 5/261 1856
/proc/meminfo: memFree=4762020/32951124 swapFree=67055536/67111528
[pid=12263] ppid=12261 vsize=6442648 CPUtime=1786.37 cores=1,3
/proc/12263/stat : 12263 (java) S 12261 12263 11983 0 -1 4202496 705506 0 1 0 178554 83 0 0 24 0 19 0 896046773 6597271552 692542 33554432000 1073741824 1073778376 140736782983776 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12263/statm: 1610662 692542 2263 9 0 1601400 0
[pid=12263/tid=12276] ppid=12261 vsize=6442648 CPUtime=1763.56 cores=1,3
/proc/12263/task/12276/stat : 12276 (java) R 12261 12263 11983 0 -1 4202560 391570 0 1 0 176307 49 0 0 25 0 19 0 896046781 6597271552 692542 33554432000 1073741824 1073778376 140736782983776 18446744073709551615 46912505629287 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=12263/tid=12282] ppid=12261 vsize=6442648 CPUtime=0.95 cores=1,3
/proc/12263/task/12282/stat : 12282 (java) S 12261 12263 11983 0 -1 4202560 37198 0 0 0 91 4 0 0 15 0 19 0 896046788 6597271552 692542 33554432000 1073741824 1073778376 140736782983776 18446744073709551615 255118584729 0 4 0 16800975 18446604457202939776 0 0 -1 3 0 0 0
[pid=12263/tid=12283] ppid=12261 vsize=6442648 CPUtime=1.23 cores=1,3
/proc/12263/task/12283/stat : 12283 (java) S 12261 12263 11983 0 -1 4202560 53827 0 0 0 117 6 0 0 15 0 19 0 896046788 6597271552 692542 33554432000 1073741824 1073778376 140736782983776 18446744073709551615 255118584729 0 4 0 16800975 18446604457202939776 0 0 -1 3 0 0 0
[pid=12263/tid=12284] ppid=12261 vsize=6442648 CPUtime=0.4 cores=1,3
/proc/12263/task/12284/stat : 12284 (java) S 12261 12263 11983 0 -1 4202560 40613 0 0 0 37 3 0 0 15 0 19 0 896046788 6597271552 692542 33554432000 1073741824 1073778376 140736782983776 18446744073709551615 255118584729 0 4 0 16800975 18446604457202939776 0 0 -1 3 0 0 0
[pid=12263/tid=12285] ppid=12261 vsize=6442648 CPUtime=0.64 cores=1,3
/proc/12263/task/12285/stat : 12285 (java) S 12261 12263 11983 0 -1 4202560 38848 0 0 0 60 4 0 0 16 0 19 0 896046788 6597271552 692542 33554432000 1073741824 1073778376 140736782983776 18446744073709551615 255118584729 0 4 0 16800975 18446604457202939776 0 0 -1 3 0 0 0
[pid=12263/tid=12286] ppid=12261 vsize=6442648 CPUtime=0.89 cores=1,3
/proc/12263/task/12286/stat : 12286 (java) S 12261 12263 11983 0 -1 4202560 51182 0 0 0 84 5 0 0 15 0 19 0 896046788 6597271552 692542 33554432000 1073741824 1073778376 140736782983776 18446744073709551615 255118584729 0 4 0 16800975 18446604457202939776 0 0 -1 3 0 0 0
[pid=12263/tid=12287] ppid=12261 vsize=6442648 CPUtime=0.59 cores=1,3
/proc/12263/task/12287/stat : 12287 (java) S 12261 12263 11983 0 -1 4202560 4722 0 0 0 59 0 0 0 16 0 19 0 896046788 6597271552 692542 33554432000 1073741824 1073778376 140736782983776 18446744073709551615 255118584729 0 4 0 16800975 18446604457202939776 0 0 -1 3 0 0 0
[pid=12263/tid=12288] ppid=12261 vsize=6442648 CPUtime=0.45 cores=1,3
/proc/12263/task/12288/stat : 12288 (java) S 12261 12263 11983 0 -1 4202560 3470 0 0 0 45 0 0 0 15 0 19 0 896046788 6597271552 692542 33554432000 1073741824 1073778376 140736782983776 18446744073709551615 255118584729 0 4 0 16800975 18446604457202939776 0 0 -1 3 0 0 0
[pid=12263/tid=12289] ppid=12261 vsize=6442648 CPUtime=0.75 cores=1,3
/proc/12263/task/12289/stat : 12289 (java) S 12261 12263 11983 0 -1 4202560 1716 0 0 0 75 0 0 0 16 0 19 0 896046788 6597271552 692542 33554432000 1073741824 1073778376 140736782983776 18446744073709551615 255118584729 0 4 0 16800975 18446604457202939776 0 0 -1 3 0 0 0
[pid=12263/tid=12290] ppid=12261 vsize=6442648 CPUtime=14.61 cores=1,3
/proc/12263/task/12290/stat : 12290 (java) S 12261 12263 11983 0 -1 4202560 62966 0 0 0 1455 6 0 0 15 0 19 0 896046790 6597271552 692542 33554432000 1073741824 1073778376 140736782983776 18446744073709551615 255118585344 0 0 0 16800975 18446604457202939776 0 0 -1 1 0 0 0
[pid=12263/tid=12291] ppid=12261 vsize=6442648 CPUtime=0 cores=1,3
/proc/12263/task/12291/stat : 12291 (java) S 12261 12263 11983 0 -1 4202560 20 0 0 0 0 0 0 0 15 0 19 0 896046790 6597271552 692542 33554432000 1073741824 1073778376 140736782983776 18446744073709551615 255118584729 0 4 0 16800975 18446604457202939776 0 0 -1 3 0 0 0
[pid=12263/tid=12292] ppid=12261 vsize=6442648 CPUtime=0 cores=1,3
/proc/12263/task/12292/stat : 12292 (java) S 12261 12263 11983 0 -1 4202560 22 0 0 0 0 0 0 0 15 0 19 0 896046790 6597271552 692542 33554432000 1073741824 1073778376 140736782983776 18446744073709551615 255118584729 0 4 0 16800975 18446604457202939776 0 0 -1 3 0 0 0
[pid=12263/tid=12293] ppid=12261 vsize=6442648 CPUtime=0 cores=1,3
/proc/12263/task/12293/stat : 12293 (java) S 12261 12263 11983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 896046794 6597271552 692542 33554432000 1073741824 1073778376 140736782983776 18446744073709551615 255118592433 0 4 0 16800975 18446604457202939776 0 0 -1 3 0 0 0
[pid=12263/tid=12294] ppid=12261 vsize=6442648 CPUtime=1.56 cores=1,3
/proc/12263/task/12294/stat : 12294 (java) S 12261 12263 11983 0 -1 4202560 14763 0 0 0 155 1 0 0 15 0 19 0 896046794 6597271552 692542 33554432000 1073741824 1073778376 140736782983776 18446744073709551615 255118584729 0 4 0 16800975 18446604457202939776 0 0 -1 1 0 0 0
[pid=12263/tid=12295] ppid=12261 vsize=6442648 CPUtime=0.6 cores=1,3
/proc/12263/task/12295/stat : 12295 (java) S 12261 12263 11983 0 -1 4202560 3324 0 0 0 60 0 0 0 16 0 19 0 896046794 6597271552 692542 33554432000 1073741824 1073778376 140736782983776 18446744073709551615 255118584729 0 4 0 16800975 18446604457202939776 0 0 -1 3 0 0 0
[pid=12263/tid=12296] ppid=12261 vsize=6442648 CPUtime=0 cores=1,3
/proc/12263/task/12296/stat : 12296 (java) S 12261 12263 11983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 896046794 6597271552 692542 33554432000 1073741824 1073778376 140736782983776 18446744073709551615 255118584729 0 4 0 16800975 18446604457202939776 0 0 -1 3 0 0 0
[pid=12263/tid=12297] ppid=12261 vsize=6442648 CPUtime=0 cores=1,3
/proc/12263/task/12297/stat : 12297 (java) S 12261 12263 11983 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 896046794 6597271552 692542 33554432000 1073741824 1073778376 140736782983776 18446744073709551615 255118585344 0 4 0 16800975 18446604457202939776 0 0 -1 3 0 0 0
[pid=12263/tid=12329] ppid=12261 vsize=6442648 CPUtime=0 cores=1,3
/proc/12263/task/12329/stat : 12329 (java) S 12261 12263 11983 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 896050887 6597271552 692542 33554432000 1073741824 1073778376 140736782983776 18446744073709551615 255118585344 0 4 0 16800975 18446604457202939776 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1786.37
Current children cumulated vsize (KiB) 6442648
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1796 s]
/proc/loadavg: 4.03 4.05 3.47 5/262 2053
/proc/meminfo: memFree=4608724/32951124 swapFree=67055536/67111528
[pid=12263] ppid=12261 vsize=6442648 CPUtime=1800.08 cores=1,3
/proc/12263/stat : 12263 (java) S 12261 12263 11983 0 -1 4202496 705508 0 1 0 179925 83 0 0 24 0 19 0 896046773 6597271552 692542 33554432000 1073741824 1073778376 140736782983776 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12263/statm: 1610662 692542 2263 9 0 1601400 0
[pid=12263/tid=12276] ppid=12261 vsize=6442648 CPUtime=1777.27 cores=1,3
/proc/12263/task/12276/stat : 12276 (java) R 12261 12263 11983 0 -1 4202560 391570 0 1 0 177678 49 0 0 25 0 19 0 896046781 6597271552 692542 33554432000 1073741824 1073778376 140736782983776 18446744073709551615 46912505584652 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=12263/tid=12282] ppid=12261 vsize=6442648 CPUtime=0.95 cores=1,3
/proc/12263/task/12282/stat : 12282 (java) S 12261 12263 11983 0 -1 4202560 37198 0 0 0 91 4 0 0 15 0 19 0 896046788 6597271552 692542 33554432000 1073741824 1073778376 140736782983776 18446744073709551615 255118584729 0 4 0 16800975 18446604457202939776 0 0 -1 3 0 0 0
[pid=12263/tid=12283] ppid=12261 vsize=6442648 CPUtime=1.23 cores=1,3
/proc/12263/task/12283/stat : 12283 (java) S 12261 12263 11983 0 -1 4202560 53827 0 0 0 117 6 0 0 15 0 19 0 896046788 6597271552 692542 33554432000 1073741824 1073778376 140736782983776 18446744073709551615 255118584729 0 4 0 16800975 18446604457202939776 0 0 -1 3 0 0 0
[pid=12263/tid=12284] ppid=12261 vsize=6442648 CPUtime=0.4 cores=1,3
/proc/12263/task/12284/stat : 12284 (java) S 12261 12263 11983 0 -1 4202560 40613 0 0 0 37 3 0 0 15 0 19 0 896046788 6597271552 692542 33554432000 1073741824 1073778376 140736782983776 18446744073709551615 255118584729 0 4 0 16800975 18446604457202939776 0 0 -1 3 0 0 0
[pid=12263/tid=12285] ppid=12261 vsize=6442648 CPUtime=0.64 cores=1,3
/proc/12263/task/12285/stat : 12285 (java) S 12261 12263 11983 0 -1 4202560 38848 0 0 0 60 4 0 0 16 0 19 0 896046788 6597271552 692542 33554432000 1073741824 1073778376 140736782983776 18446744073709551615 255118584729 0 4 0 16800975 18446604457202939776 0 0 -1 3 0 0 0
[pid=12263/tid=12286] ppid=12261 vsize=6442648 CPUtime=0.89 cores=1,3
/proc/12263/task/12286/stat : 12286 (java) S 12261 12263 11983 0 -1 4202560 51182 0 0 0 84 5 0 0 15 0 19 0 896046788 6597271552 692542 33554432000 1073741824 1073778376 140736782983776 18446744073709551615 255118584729 0 4 0 16800975 18446604457202939776 0 0 -1 3 0 0 0
[pid=12263/tid=12287] ppid=12261 vsize=6442648 CPUtime=0.59 cores=1,3
/proc/12263/task/12287/stat : 12287 (java) S 12261 12263 11983 0 -1 4202560 4722 0 0 0 59 0 0 0 16 0 19 0 896046788 6597271552 692542 33554432000 1073741824 1073778376 140736782983776 18446744073709551615 255118584729 0 4 0 16800975 18446604457202939776 0 0 -1 3 0 0 0
[pid=12263/tid=12288] ppid=12261 vsize=6442648 CPUtime=0.45 cores=1,3
/proc/12263/task/12288/stat : 12288 (java) S 12261 12263 11983 0 -1 4202560 3470 0 0 0 45 0 0 0 15 0 19 0 896046788 6597271552 692542 33554432000 1073741824 1073778376 140736782983776 18446744073709551615 255118584729 0 4 0 16800975 18446604457202939776 0 0 -1 3 0 0 0
[pid=12263/tid=12289] ppid=12261 vsize=6442648 CPUtime=0.75 cores=1,3
/proc/12263/task/12289/stat : 12289 (java) S 12261 12263 11983 0 -1 4202560 1716 0 0 0 75 0 0 0 16 0 19 0 896046788 6597271552 692542 33554432000 1073741824 1073778376 140736782983776 18446744073709551615 255118584729 0 4 0 16800975 18446604457202939776 0 0 -1 3 0 0 0
[pid=12263/tid=12290] ppid=12261 vsize=6442648 CPUtime=14.61 cores=1,3
/proc/12263/task/12290/stat : 12290 (java) S 12261 12263 11983 0 -1 4202560 62966 0 0 0 1455 6 0 0 15 0 19 0 896046790 6597271552 692542 33554432000 1073741824 1073778376 140736782983776 18446744073709551615 255118585344 0 0 0 16800975 18446604457202939776 0 0 -1 1 0 0 0
[pid=12263/tid=12291] ppid=12261 vsize=6442648 CPUtime=0 cores=1,3
/proc/12263/task/12291/stat : 12291 (java) S 12261 12263 11983 0 -1 4202560 20 0 0 0 0 0 0 0 15 0 19 0 896046790 6597271552 692542 33554432000 1073741824 1073778376 140736782983776 18446744073709551615 255118584729 0 4 0 16800975 18446604457202939776 0 0 -1 3 0 0 0
[pid=12263/tid=12292] ppid=12261 vsize=6442648 CPUtime=0 cores=1,3
/proc/12263/task/12292/stat : 12292 (java) S 12261 12263 11983 0 -1 4202560 22 0 0 0 0 0 0 0 15 0 19 0 896046790 6597271552 692542 33554432000 1073741824 1073778376 140736782983776 18446744073709551615 255118584729 0 4 0 16800975 18446604457202939776 0 0 -1 3 0 0 0
[pid=12263/tid=12293] ppid=12261 vsize=6442648 CPUtime=0 cores=1,3
/proc/12263/task/12293/stat : 12293 (java) S 12261 12263 11983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 896046794 6597271552 692542 33554432000 1073741824 1073778376 140736782983776 18446744073709551615 255118592433 0 4 0 16800975 18446604457202939776 0 0 -1 3 0 0 0
[pid=12263/tid=12294] ppid=12261 vsize=6442648 CPUtime=1.56 cores=1,3
/proc/12263/task/12294/stat : 12294 (java) S 12261 12263 11983 0 -1 4202560 14763 0 0 0 155 1 0 0 15 0 19 0 896046794 6597271552 692542 33554432000 1073741824 1073778376 140736782983776 18446744073709551615 255118584729 0 4 0 16800975 18446604457202939776 0 0 -1 1 0 0 0
[pid=12263/tid=12295] ppid=12261 vsize=6442648 CPUtime=0.6 cores=1,3
/proc/12263/task/12295/stat : 12295 (java) S 12261 12263 11983 0 -1 4202560 3324 0 0 0 60 0 0 0 16 0 19 0 896046794 6597271552 692542 33554432000 1073741824 1073778376 140736782983776 18446744073709551615 255118584729 0 4 0 16800975 18446604457202939776 0 0 -1 3 0 0 0
[pid=12263/tid=12296] ppid=12261 vsize=6442648 CPUtime=0 cores=1,3
/proc/12263/task/12296/stat : 12296 (java) S 12261 12263 11983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 896046794 6597271552 692542 33554432000 1073741824 1073778376 140736782983776 18446744073709551615 255118584729 0 4 0 16800975 18446604457202939776 0 0 -1 3 0 0 0
[pid=12263/tid=12297] ppid=12261 vsize=6442648 CPUtime=0 cores=1,3
/proc/12263/task/12297/stat : 12297 (java) S 12261 12263 11983 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 896046794 6597271552 692542 33554432000 1073741824 1073778376 140736782983776 18446744073709551615 255118585344 0 4 0 16800975 18446604457202939776 0 0 -1 3 0 0 0
[pid=12263/tid=12329] ppid=12261 vsize=6442648 CPUtime=0 cores=1,3
/proc/12263/task/12329/stat : 12329 (java) S 12261 12263 11983 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 896050887 6597271552 692542 33554432000 1073741824 1073778376 140736782983776 18446744073709551615 255118585344 0 4 0 16800975 18446604457202939776 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 6442648
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1796.11 s]
/proc/loadavg: 4.03 4.05 3.47 5/262 2053
/proc/meminfo: memFree=4608724/32951124 swapFree=67055536/67111528
[pid=12263] ppid=12261 vsize=0 CPUtime=1800.21 cores=1,3
/proc/12263/stat : 12263 (java) Z 12261 12263 11983 0 -1 4203548 705536 0 1 0 179930 91 0 0 17 0 2 0 896046773 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12263/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.21
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1796.14
CPU time (s): 1800.25
CPU user time (s): 1799.31
CPU system time (s): 0.940856
CPU usage (%): 100.229
Max. virtual memory (cumulated for all children) (KiB): 6443944
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.31
system time used= 0.940856
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 705536
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= 37495
involuntary context switches= 17757
runsolver used 2.96455 second user time and 6.87695 second system time
The end