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 /tmp/evaluation-result-3711095-1338204480/watcher-3711095-1338204480 -o /tmp/evaluation-result-3711095-1338204480/solver-3711095-1338204480 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3711095-1338204480.opb
running on 4 cores: 1,3,5,7
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: 1.92 2.01 2.00 3/194 11140
/proc/meminfo: memFree=30794940/32873844 swapFree=6872/6872
[pid=11140] ppid=11138 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/11140/stat : 11140 (java) D 11138 11140 9972 0 -1 4202496 250 0 0 0 0 0 0 0 20 0 1 0 286576481 9515008 183 33554432000 1073741824 1073778376 140736909955920 140736909946952 270118239925 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/11140/statm: 2323 183 140 9 0 71 0
[startup+0.013211 s]
/proc/loadavg: 1.92 2.01 2.00 3/194 11140
/proc/meminfo: memFree=30794940/32873844 swapFree=6872/6872
[pid=11140] ppid=11138 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/11140/stat : 11140 (java) S 11138 11140 9972 0 -1 4202496 1274 0 0 0 0 0 0 0 20 0 2 0 286576481 98570240 974 33554432000 1073741824 1073778376 140736706589232 140736706580368 270121599037 0 0 4096 0 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/11140/statm: 24065 974 740 9 0 16771 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 96260
[startup+0.100316 s]
/proc/loadavg: 1.92 2.01 2.00 3/194 11140
/proc/meminfo: memFree=30794940/32873844 swapFree=6872/6872
[pid=11140] ppid=11138 vsize=9558440 CPUtime=0.08 cores=1,3,5,7
/proc/11140/stat : 11140 (java) S 11138 11140 9972 0 -1 4202496 3819 0 1 0 7 1 0 0 20 0 18 0 286576481 9787842560 5026 33554432000 1073741824 1073778376 140736706589232 140736706580368 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/11140/statm: 2389610 5039 2005 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558440
[startup+0.300297 s]
/proc/loadavg: 1.92 2.01 2.00 3/194 11140
/proc/meminfo: memFree=30794940/32873844 swapFree=6872/6872
[pid=11140] ppid=11138 vsize=9558440 CPUtime=0.45 cores=1,3,5,7
/proc/11140/stat : 11140 (java) S 11138 11140 9972 0 -1 4202496 5435 0 1 0 43 2 0 0 20 0 18 0 286576481 9787842560 14511 33554432000 1073741824 1073778376 140736706589232 140736706580368 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/11140/statm: 2389610 14511 2221 9 0 2380296 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 9558440
[startup+0.700304 s]
/proc/loadavg: 1.92 2.01 2.00 3/194 11140
/proc/meminfo: memFree=30794940/32873844 swapFree=6872/6872
[pid=11140] ppid=11138 vsize=9625004 CPUtime=1.34 cores=1,3,5,7
/proc/11140/stat : 11140 (java) S 11138 11140 9972 0 -1 4202496 9162 0 1 0 131 3 0 0 20 0 19 0 286576481 9856004096 20182 33554432000 1073741824 1073778376 140736706589232 140736706580368 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/11140/statm: 2406251 20182 2254 9 0 2396937 0
Current children cumulated CPU time (s) 1.34
Current children cumulated vsize (KiB) 9625004
[startup+1.50078 s]
/proc/loadavg: 1.92 2.01 2.00 3/213 11159
/proc/meminfo: memFree=30716140/32873844 swapFree=6872/6872
[pid=11140] ppid=11138 vsize=9625004 CPUtime=2.28 cores=1,3,5,7
/proc/11140/stat : 11140 (java) S 11138 11140 9972 0 -1 4202496 9549 0 1 0 224 4 0 0 20 0 19 0 286576481 9856004096 22813 33554432000 1073741824 1073778376 140736706589232 140736706580368 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/11140/statm: 2406251 22813 2286 9 0 2396937 0
[pid=11140/tid=11142] ppid=11138 vsize=9625004 CPUtime=1.42 cores=1,3,5,7
/proc/11140/task/11142/stat : 11142 (java) R 11138 11140 9972 0 -1 4202560 2571 0 1 0 140 2 0 0 20 0 19 0 286576482 9856004096 22813 33554432000 1073741824 1073778376 140736706589232 140471868563880 140471808931058 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=11140/tid=11143] ppid=11138 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/11140/task/11143/stat : 11143 (java) S 11138 11140 9972 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 286576483 9856004096 22813 33554432000 1073741824 1073778376 140736706589232 140471807293992 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11140/tid=11144] ppid=11138 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/11140/task/11144/stat : 11144 (java) S 11138 11140 9972 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 286576483 9856004096 22813 33554432000 1073741824 1073778376 140736706589232 140471806241192 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11140/tid=11145] ppid=11138 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/11140/task/11145/stat : 11145 (java) S 11138 11140 9972 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 286576483 9856004096 22813 33554432000 1073741824 1073778376 140736706589232 140471709677864 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11140/tid=11146] ppid=11138 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/11140/task/11146/stat : 11146 (java) S 11138 11140 9972 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 286576483 9856004096 22813 33554432000 1073741824 1073778376 140736706589232 140471708625064 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11140/tid=11147] ppid=11138 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/11140/task/11147/stat : 11147 (java) S 11138 11140 9972 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286576483 9856004096 22813 33554432000 1073741824 1073778376 140736706589232 140471707573288 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11140/tid=11148] ppid=11138 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/11140/task/11148/stat : 11148 (java) S 11138 11140 9972 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 286576483 9856004096 22813 33554432000 1073741824 1073778376 140736706589232 140471706520488 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11140/tid=11149] ppid=11138 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/11140/task/11149/stat : 11149 (java) S 11138 11140 9972 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 286576483 9856004096 22813 33554432000 1073741824 1073778376 140736706589232 140471705467688 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11140/tid=11150] ppid=11138 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/11140/task/11150/stat : 11150 (java) S 11138 11140 9972 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 286576483 9856004096 22813 33554432000 1073741824 1073778376 140736706589232 140471704414888 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11140/tid=11151] ppid=11138 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/11140/task/11151/stat : 11151 (java) S 11138 11140 9972 0 -1 4202560 31 0 0 0 1 0 0 0 20 0 19 0 286576484 9856004096 22813 33554432000 1073741824 1073778376 140736706589232 140471692216808 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11140/tid=11152] ppid=11138 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/11140/task/11152/stat : 11152 (java) S 11138 11140 9972 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 286576485 9856004096 22813 33554432000 1073741824 1073778376 140736706589232 140471691162872 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11140/tid=11153] ppid=11138 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/11140/task/11153/stat : 11153 (java) S 11138 11140 9972 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 286576485 9856004096 22813 33554432000 1073741824 1073778376 140736706589232 140471690109960 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11140/tid=11154] ppid=11138 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/11140/task/11154/stat : 11154 (java) S 11138 11140 9972 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286576487 9856004096 22813 33554432000 1073741824 1073778376 140736706589232 140471689058448 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11140/tid=11155] ppid=11138 vsize=9625004 CPUtime=0.37 cores=1,3,5,7
/proc/11140/task/11155/stat : 11155 (java) S 11138 11140 9972 0 -1 4202560 2173 0 0 0 37 0 0 0 20 0 19 0 286576487 9856004096 22813 33554432000 1073741824 1073778376 140736706589232 140471688006584 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11140/tid=11156] ppid=11138 vsize=9625004 CPUtime=0.37 cores=1,3,5,7
/proc/11140/task/11156/stat : 11156 (java) S 11138 11140 9972 0 -1 4202560 3550 0 0 0 37 0 0 0 20 0 19 0 286576487 9856004096 22813 33554432000 1073741824 1073778376 140736706589232 140471686953784 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11140/tid=11157] ppid=11138 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/11140/task/11157/stat : 11157 (java) S 11138 11140 9972 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286576487 9856004096 22813 33554432000 1073741824 1073778376 140736706589232 140471685901176 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11140/tid=11158] ppid=11138 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/11140/task/11158/stat : 11158 (java) S 11138 11140 9972 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286576487 9856004096 22813 33554432000 1073741824 1073778376 140736706589232 140471684848584 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11140/tid=11159] ppid=11138 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/11140/task/11159/stat : 11159 (java) S 11138 11140 9972 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 286576517 9856004096 22813 33554432000 1073741824 1073778376 140736706589232 140471683794088 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.28
Current children cumulated vsize (KiB) 9625004
[startup+3.10061 s]
/proc/loadavg: 1.92 2.01 2.00 3/213 11159
/proc/meminfo: memFree=30709500/32873844 swapFree=6872/6872
[pid=11140] ppid=11138 vsize=9625004 CPUtime=3.97 cores=1,3,5,7
/proc/11140/stat : 11140 (java) S 11138 11140 9972 0 -1 4202496 10276 0 1 0 393 4 0 0 20 0 19 0 286576481 9856004096 23338 33554432000 1073741824 1073778376 140736706589232 140736706580368 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/11140/statm: 2406251 23338 2286 9 0 2396937 0
[pid=11140/tid=11142] ppid=11138 vsize=9625004 CPUtime=2.98 cores=1,3,5,7
/proc/11140/task/11142/stat : 11142 (java) R 11138 11140 9972 0 -1 4202560 2571 0 1 0 296 2 0 0 20 0 19 0 286576482 9856004096 23338 33554432000 1073741824 1073778376 140736706589232 140471868563944 140471808880896 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=11140/tid=11143] ppid=11138 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/11140/task/11143/stat : 11143 (java) S 11138 11140 9972 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 286576483 9856004096 23338 33554432000 1073741824 1073778376 140736706589232 140471807293992 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11140/tid=11144] ppid=11138 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/11140/task/11144/stat : 11144 (java) S 11138 11140 9972 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 286576483 9856004096 23338 33554432000 1073741824 1073778376 140736706589232 140471806241192 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11140/tid=11145] ppid=11138 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/11140/task/11145/stat : 11145 (java) S 11138 11140 9972 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 286576483 9856004096 23338 33554432000 1073741824 1073778376 140736706589232 140471709677864 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11140/tid=11146] ppid=11138 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/11140/task/11146/stat : 11146 (java) S 11138 11140 9972 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 286576483 9856004096 23338 33554432000 1073741824 1073778376 140736706589232 140471708625064 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11140/tid=11147] ppid=11138 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/11140/task/11147/stat : 11147 (java) S 11138 11140 9972 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286576483 9856004096 23338 33554432000 1073741824 1073778376 140736706589232 140471707573288 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11140/tid=11148] ppid=11138 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/11140/task/11148/stat : 11148 (java) S 11138 11140 9972 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 286576483 9856004096 23338 33554432000 1073741824 1073778376 140736706589232 140471706520488 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11140/tid=11149] ppid=11138 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/11140/task/11149/stat : 11149 (java) S 11138 11140 9972 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 286576483 9856004096 23338 33554432000 1073741824 1073778376 140736706589232 140471705467688 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11140/tid=11150] ppid=11138 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/11140/task/11150/stat : 11150 (java) S 11138 11140 9972 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 286576483 9856004096 23338 33554432000 1073741824 1073778376 140736706589232 140471704414888 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11140/tid=11151] ppid=11138 vsize=9625004 CPUtime=0.04 cores=1,3,5,7
/proc/11140/task/11151/stat : 11151 (java) S 11138 11140 9972 0 -1 4202560 32 0 0 0 4 0 0 0 20 0 19 0 286576484 9856004096 23338 33554432000 1073741824 1073778376 140736706589232 140471692216808 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11140/tid=11152] ppid=11138 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/11140/task/11152/stat : 11152 (java) S 11138 11140 9972 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 286576485 9856004096 23338 33554432000 1073741824 1073778376 140736706589232 140471691162872 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11140/tid=11153] ppid=11138 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/11140/task/11153/stat : 11153 (java) S 11138 11140 9972 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 286576485 9856004096 23338 33554432000 1073741824 1073778376 140736706589232 140471690109960 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11140/tid=11154] ppid=11138 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/11140/task/11154/stat : 11154 (java) S 11138 11140 9972 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286576487 9856004096 23338 33554432000 1073741824 1073778376 140736706589232 140471689058448 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11140/tid=11155] ppid=11138 vsize=9625004 CPUtime=0.37 cores=1,3,5,7
/proc/11140/task/11155/stat : 11155 (java) S 11138 11140 9972 0 -1 4202560 2173 0 0 0 37 0 0 0 20 0 19 0 286576487 9856004096 23338 33554432000 1073741824 1073778376 140736706589232 140471688006584 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11140/tid=11156] ppid=11138 vsize=9625004 CPUtime=0.46 cores=1,3,5,7
/proc/11140/task/11156/stat : 11156 (java) S 11138 11140 9972 0 -1 4202560 4260 0 0 0 46 0 0 0 20 0 19 0 286576487 9856004096 23338 33554432000 1073741824 1073778376 140736706589232 140471686953784 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11140/tid=11157] ppid=11138 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/11140/task/11157/stat : 11157 (java) S 11138 11140 9972 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286576487 9856004096 23338 33554432000 1073741824 1073778376 140736706589232 140471685901176 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11140/tid=11158] ppid=11138 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/11140/task/11158/stat : 11158 (java) S 11138 11140 9972 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286576487 9856004096 23338 33554432000 1073741824 1073778376 140736706589232 140471684848584 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11140/tid=11159] ppid=11138 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/11140/task/11159/stat : 11159 (java) S 11138 11140 9972 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 286576517 9856004096 23338 33554432000 1073741824 1073778376 140736706589232 140471683794088 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 3.97
Current children cumulated vsize (KiB) 9625004
[startup+6.30061 s]
/proc/loadavg: 1.93 2.01 2.00 3/213 11159
/proc/meminfo: memFree=30709136/32873844 swapFree=6872/6872
[pid=11140] ppid=11138 vsize=9625004 CPUtime=7.23 cores=1,3,5,7
/proc/11140/stat : 11140 (java) S 11138 11140 9972 0 -1 4202496 10288 0 1 0 718 5 0 0 20 0 19 0 286576481 9856004096 23854 33554432000 1073741824 1073778376 140736706589232 140736706580368 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/11140/statm: 2406251 23854 2286 9 0 2396937 0
[pid=11140/tid=11142] ppid=11138 vsize=9625004 CPUtime=6.1 cores=1,3,5,7
/proc/11140/task/11142/stat : 11142 (java) R 11138 11140 9972 0 -1 4202560 2575 0 1 0 608 2 0 0 20 0 19 0 286576482 9856004096 23854 33554432000 1073741824 1073778376 140736706589232 140471868563760 140471808960414 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=11140/tid=11143] ppid=11138 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/11140/task/11143/stat : 11143 (java) S 11138 11140 9972 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 286576483 9856004096 23854 33554432000 1073741824 1073778376 140736706589232 140471807293992 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11140/tid=11144] ppid=11138 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/11140/task/11144/stat : 11144 (java) S 11138 11140 9972 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 286576483 9856004096 23854 33554432000 1073741824 1073778376 140736706589232 140471806241192 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11140/tid=11145] ppid=11138 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/11140/task/11145/stat : 11145 (java) S 11138 11140 9972 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 286576483 9856004096 23854 33554432000 1073741824 1073778376 140736706589232 140471709677864 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11140/tid=11146] ppid=11138 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/11140/task/11146/stat : 11146 (java) S 11138 11140 9972 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 19 0 286576483 9856004096 23854 33554432000 1073741824 1073778376 140736706589232 140471708625064 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11140/tid=11147] ppid=11138 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/11140/task/11147/stat : 11147 (java) S 11138 11140 9972 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286576483 9856004096 23854 33554432000 1073741824 1073778376 140736706589232 140471707573288 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11140/tid=11148] ppid=11138 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/11140/task/11148/stat : 11148 (java) S 11138 11140 9972 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 19 0 286576483 9856004096 23854 33554432000 1073741824 1073778376 140736706589232 140471706520488 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11140/tid=11149] ppid=11138 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/11140/task/11149/stat : 11149 (java) S 11138 11140 9972 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 286576483 9856004096 23854 33554432000 1073741824 1073778376 140736706589232 140471705467688 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11140/tid=11150] ppid=11138 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/11140/task/11150/stat : 11150 (java) S 11138 11140 9972 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 286576483 9856004096 23854 33554432000 1073741824 1073778376 140736706589232 140471704414888 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11140/tid=11151] ppid=11138 vsize=9625004 CPUtime=0.09 cores=1,3,5,7
/proc/11140/task/11151/stat : 11151 (java) S 11138 11140 9972 0 -1 4202560 32 0 0 0 9 0 0 0 20 0 19 0 286576484 9856004096 23854 33554432000 1073741824 1073778376 140736706589232 140471692216808 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11140/tid=11152] ppid=11138 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/11140/task/11152/stat : 11152 (java) S 11138 11140 9972 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 286576485 9856004096 23854 33554432000 1073741824 1073778376 140736706589232 140471691162872 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11140/tid=11153] ppid=11138 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/11140/task/11153/stat : 11153 (java) S 11138 11140 9972 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 286576485 9856004096 23854 33554432000 1073741824 1073778376 140736706589232 140471690109960 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11140/tid=11154] ppid=11138 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/11140/task/11154/stat : 11154 (java) S 11138 11140 9972 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286576487 9856004096 23854 33554432000 1073741824 1073778376 140736706589232 140471689058448 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11140/tid=11155] ppid=11138 vsize=9625004 CPUtime=0.37 cores=1,3,5,7
/proc/11140/task/11155/stat : 11155 (java) S 11138 11140 9972 0 -1 4202560 2173 0 0 0 37 0 0 0 20 0 19 0 286576487 9856004096 23854 33554432000 1073741824 1073778376 140736706589232 140471688006584 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11140/tid=11156] ppid=11138 vsize=9625004 CPUtime=0.47 cores=1,3,5,7
/proc/11140/task/11156/stat : 11156 (java) S 11138 11140 9972 0 -1 4202560 4260 0 0 0 47 0 0 0 20 0 19 0 286576487 9856004096 23854 33554432000 1073741824 1073778376 140736706589232 140471686953784 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11140/tid=11157] ppid=11138 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/11140/task/11157/stat : 11157 (java) S 11138 11140 9972 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286576487 9856004096 23854 33554432000 1073741824 1073778376 140736706589232 140471685901176 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11140/tid=11158] ppid=11138 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/11140/task/11158/stat : 11158 (java) S 11138 11140 9972 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286576487 9856004096 23854 33554432000 1073741824 1073778376 140736706589232 140471684848584 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11140/tid=11159] ppid=11138 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/11140/task/11159/stat : 11159 (java) S 11138 11140 9972 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 286576517 9856004096 23854 33554432000 1073741824 1073778376 140736706589232 140471683794088 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.23
Current children cumulated vsize (KiB) 9625004
[startup+12.7007 s]
################
# More data... #
################
[pid=11140/tid=11155] ppid=11138 vsize=9625004 CPUtime=0.37 cores=1,3,5,7
/proc/11140/task/11155/stat : 11155 (java) S 11138 11140 9972 0 -1 4202560 2173 0 0 0 37 0 0 0 20 0 19 0 286576487 9856004096 65279 33554432000 1073741824 1073778376 140736706589232 140471688006584 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11140/tid=11156] ppid=11138 vsize=9625004 CPUtime=0.48 cores=1,3,5,7
/proc/11140/task/11156/stat : 11156 (java) S 11138 11140 9972 0 -1 4202560 4264 0 0 0 48 0 0 0 20 0 19 0 286576487 9856004096 65279 33554432000 1073741824 1073778376 140736706589232 140471686953784 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11140/tid=11157] ppid=11138 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/11140/task/11157/stat : 11157 (java) S 11138 11140 9972 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286576487 9856004096 65279 33554432000 1073741824 1073778376 140736706589232 140471685901176 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11140/tid=11158] ppid=11138 vsize=9625004 CPUtime=0.78 cores=1,3,5,7
/proc/11140/task/11158/stat : 11158 (java) S 11138 11140 9972 0 -1 4202560 95 0 0 0 53 25 0 0 20 0 19 0 286576487 9856004096 65279 33554432000 1073741824 1073778376 140736706589232 140471684848584 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11140/tid=11159] ppid=11138 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/11140/task/11159/stat : 11159 (java) S 11138 11140 9972 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 286576517 9856004096 65279 33554432000 1073741824 1073778376 140736706589232 140471683794088 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1668
Current children cumulated vsize (KiB) 9625004
[startup+1722.3 s]
/proc/loadavg: 1.99 1.99 1.99 4/213 11232
/proc/meminfo: memFree=30629044/32873844 swapFree=6872/6872
[pid=11140] ppid=11138 vsize=9625004 CPUtime=1728.16 cores=1,3,5,7
/proc/11140/stat : 11140 (java) S 11138 11140 9972 0 -1 4202496 12097 0 1 0 172739 77 0 0 20 0 19 0 286576481 9856004096 65317 33554432000 1073741824 1073778376 140736706589232 140736706580368 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/11140/statm: 2406251 65317 2287 9 0 2396937 0
[pid=11140/tid=11142] ppid=11138 vsize=9625004 CPUtime=1712.28 cores=1,3,5,7
/proc/11140/task/11142/stat : 11142 (java) R 11138 11140 9972 0 -1 4202560 2685 0 1 0 171199 29 0 0 20 0 19 0 286576482 9856004096 65317 33554432000 1073741824 1073778376 140736706589232 140471868563760 140471808874675 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=11140/tid=11143] ppid=11138 vsize=9625004 CPUtime=0.65 cores=1,3,5,7
/proc/11140/task/11143/stat : 11143 (java) S 11138 11140 9972 0 -1 4202560 179 0 0 0 62 3 0 0 20 0 19 0 286576483 9856004096 65317 33554432000 1073741824 1073778376 140736706589232 140471807293992 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11140/tid=11144] ppid=11138 vsize=9625004 CPUtime=0.6 cores=1,3,5,7
/proc/11140/task/11144/stat : 11144 (java) S 11138 11140 9972 0 -1 4202560 118 0 0 0 56 4 0 0 20 0 19 0 286576483 9856004096 65317 33554432000 1073741824 1073778376 140736706589232 140471806241192 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11140/tid=11145] ppid=11138 vsize=9625004 CPUtime=0.66 cores=1,3,5,7
/proc/11140/task/11145/stat : 11145 (java) S 11138 11140 9972 0 -1 4202560 88 0 0 0 64 2 0 0 20 0 19 0 286576483 9856004096 65317 33554432000 1073741824 1073778376 140736706589232 140471709677864 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11140/tid=11146] ppid=11138 vsize=9625004 CPUtime=0.61 cores=1,3,5,7
/proc/11140/task/11146/stat : 11146 (java) S 11138 11140 9972 0 -1 4202560 402 0 0 0 58 3 0 0 20 0 19 0 286576483 9856004096 65317 33554432000 1073741824 1073778376 140736706589232 140471708625064 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11140/tid=11147] ppid=11138 vsize=9625004 CPUtime=0.62 cores=1,3,5,7
/proc/11140/task/11147/stat : 11147 (java) S 11138 11140 9972 0 -1 4202560 229 0 0 0 59 3 0 0 20 0 19 0 286576483 9856004096 65317 33554432000 1073741824 1073778376 140736706589232 140471707573288 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11140/tid=11148] ppid=11138 vsize=9625004 CPUtime=0.66 cores=1,3,5,7
/proc/11140/task/11148/stat : 11148 (java) S 11138 11140 9972 0 -1 4202560 333 0 0 0 63 3 0 0 20 0 19 0 286576483 9856004096 65317 33554432000 1073741824 1073778376 140736706589232 140471706520488 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11140/tid=11149] ppid=11138 vsize=9625004 CPUtime=0.58 cores=1,3,5,7
/proc/11140/task/11149/stat : 11149 (java) S 11138 11140 9972 0 -1 4202560 48 0 0 0 56 2 0 0 20 0 19 0 286576483 9856004096 65317 33554432000 1073741824 1073778376 140736706589232 140471705467688 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11140/tid=11150] ppid=11138 vsize=9625004 CPUtime=0.71 cores=1,3,5,7
/proc/11140/task/11150/stat : 11150 (java) S 11138 11140 9972 0 -1 4202560 162 0 0 0 68 3 0 0 20 0 19 0 286576483 9856004096 65317 33554432000 1073741824 1073778376 140736706589232 140471704414888 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11140/tid=11151] ppid=11138 vsize=9625004 CPUtime=3.99 cores=1,3,5,7
/proc/11140/task/11151/stat : 11151 (java) S 11138 11140 9972 0 -1 4202560 130 0 0 0 397 2 0 0 20 0 19 0 286576484 9856004096 65317 33554432000 1073741824 1073778376 140736706589232 140471692216808 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11140/tid=11152] ppid=11138 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/11140/task/11152/stat : 11152 (java) S 11138 11140 9972 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 286576485 9856004096 65317 33554432000 1073741824 1073778376 140736706589232 140471691162872 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11140/tid=11153] ppid=11138 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/11140/task/11153/stat : 11153 (java) S 11138 11140 9972 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 286576485 9856004096 65317 33554432000 1073741824 1073778376 140736706589232 140471690109960 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11140/tid=11154] ppid=11138 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/11140/task/11154/stat : 11154 (java) S 11138 11140 9972 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286576487 9856004096 65317 33554432000 1073741824 1073778376 140736706589232 140471689058448 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11140/tid=11155] ppid=11138 vsize=9625004 CPUtime=0.37 cores=1,3,5,7
/proc/11140/task/11155/stat : 11155 (java) S 11138 11140 9972 0 -1 4202560 2173 0 0 0 37 0 0 0 20 0 19 0 286576487 9856004096 65317 33554432000 1073741824 1073778376 140736706589232 140471688006584 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11140/tid=11156] ppid=11138 vsize=9625004 CPUtime=0.48 cores=1,3,5,7
/proc/11140/task/11156/stat : 11156 (java) S 11138 11140 9972 0 -1 4202560 4264 0 0 0 48 0 0 0 20 0 19 0 286576487 9856004096 65317 33554432000 1073741824 1073778376 140736706589232 140471686953784 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11140/tid=11157] ppid=11138 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/11140/task/11157/stat : 11157 (java) S 11138 11140 9972 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286576487 9856004096 65317 33554432000 1073741824 1073778376 140736706589232 140471685901176 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11140/tid=11158] ppid=11138 vsize=9625004 CPUtime=0.82 cores=1,3,5,7
/proc/11140/task/11158/stat : 11158 (java) S 11138 11140 9972 0 -1 4202560 99 0 0 0 56 26 0 0 20 0 19 0 286576487 9856004096 65317 33554432000 1073741824 1073778376 140736706589232 140471684848584 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11140/tid=11159] ppid=11138 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/11140/task/11159/stat : 11159 (java) S 11138 11140 9972 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 286576517 9856004096 65317 33554432000 1073741824 1073778376 140736706589232 140471683794088 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1728.16
Current children cumulated vsize (KiB) 9625004
[startup+1782.3 s]
/proc/loadavg: 1.99 1.99 1.99 4/213 11233
/proc/meminfo: memFree=30628796/32873844 swapFree=6872/6872
[pid=11140] ppid=11138 vsize=9625004 CPUtime=1788.32 cores=1,3,5,7
/proc/11140/stat : 11140 (java) S 11138 11140 9972 0 -1 4202496 12122 0 1 0 178751 81 0 0 20 0 19 0 286576481 9856004096 65332 33554432000 1073741824 1073778376 140736706589232 140736706580368 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/11140/statm: 2406251 65332 2287 9 0 2396937 0
[pid=11140/tid=11142] ppid=11138 vsize=9625004 CPUtime=1771.97 cores=1,3,5,7
/proc/11140/task/11142/stat : 11142 (java) R 11138 11140 9972 0 -1 4202560 2687 0 1 0 177168 29 0 0 20 0 19 0 286576482 9856004096 65332 33554432000 1073741824 1073778376 140736706589232 140471868563760 140471808880896 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=11140/tid=11143] ppid=11138 vsize=9625004 CPUtime=0.66 cores=1,3,5,7
/proc/11140/task/11143/stat : 11143 (java) S 11138 11140 9972 0 -1 4202560 179 0 0 0 63 3 0 0 20 0 19 0 286576483 9856004096 65332 33554432000 1073741824 1073778376 140736706589232 140471807293992 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11140/tid=11144] ppid=11138 vsize=9625004 CPUtime=0.61 cores=1,3,5,7
/proc/11140/task/11144/stat : 11144 (java) S 11138 11140 9972 0 -1 4202560 118 0 0 0 57 4 0 0 20 0 19 0 286576483 9856004096 65332 33554432000 1073741824 1073778376 140736706589232 140471806241192 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11140/tid=11145] ppid=11138 vsize=9625004 CPUtime=0.68 cores=1,3,5,7
/proc/11140/task/11145/stat : 11145 (java) S 11138 11140 9972 0 -1 4202560 88 0 0 0 66 2 0 0 20 0 19 0 286576483 9856004096 65332 33554432000 1073741824 1073778376 140736706589232 140471709677864 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11140/tid=11146] ppid=11138 vsize=9625004 CPUtime=0.62 cores=1,3,5,7
/proc/11140/task/11146/stat : 11146 (java) S 11138 11140 9972 0 -1 4202560 406 0 0 0 59 3 0 0 20 0 19 0 286576483 9856004096 65332 33554432000 1073741824 1073778376 140736706589232 140471708625064 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11140/tid=11147] ppid=11138 vsize=9625004 CPUtime=0.63 cores=1,3,5,7
/proc/11140/task/11147/stat : 11147 (java) S 11138 11140 9972 0 -1 4202560 240 0 0 0 60 3 0 0 20 0 19 0 286576483 9856004096 65332 33554432000 1073741824 1073778376 140736706589232 140471707573288 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11140/tid=11148] ppid=11138 vsize=9625004 CPUtime=0.68 cores=1,3,5,7
/proc/11140/task/11148/stat : 11148 (java) S 11138 11140 9972 0 -1 4202560 333 0 0 0 65 3 0 0 20 0 19 0 286576483 9856004096 65332 33554432000 1073741824 1073778376 140736706589232 140471706520488 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11140/tid=11149] ppid=11138 vsize=9625004 CPUtime=0.59 cores=1,3,5,7
/proc/11140/task/11149/stat : 11149 (java) S 11138 11140 9972 0 -1 4202560 48 0 0 0 57 2 0 0 20 0 19 0 286576483 9856004096 65332 33554432000 1073741824 1073778376 140736706589232 140471705467688 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11140/tid=11150] ppid=11138 vsize=9625004 CPUtime=0.71 cores=1,3,5,7
/proc/11140/task/11150/stat : 11150 (java) S 11138 11140 9972 0 -1 4202560 162 0 0 0 68 3 0 0 20 0 19 0 286576483 9856004096 65332 33554432000 1073741824 1073778376 140736706589232 140471704414888 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11140/tid=11151] ppid=11138 vsize=9625004 CPUtime=4.12 cores=1,3,5,7
/proc/11140/task/11151/stat : 11151 (java) S 11138 11140 9972 0 -1 4202560 134 0 0 0 410 2 0 0 20 0 19 0 286576484 9856004096 65332 33554432000 1073741824 1073778376 140736706589232 140471692216808 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11140/tid=11152] ppid=11138 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/11140/task/11152/stat : 11152 (java) S 11138 11140 9972 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 286576485 9856004096 65332 33554432000 1073741824 1073778376 140736706589232 140471691162872 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11140/tid=11153] ppid=11138 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/11140/task/11153/stat : 11153 (java) S 11138 11140 9972 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 286576485 9856004096 65332 33554432000 1073741824 1073778376 140736706589232 140471690109960 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11140/tid=11154] ppid=11138 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/11140/task/11154/stat : 11154 (java) S 11138 11140 9972 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286576487 9856004096 65332 33554432000 1073741824 1073778376 140736706589232 140471689058448 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11140/tid=11155] ppid=11138 vsize=9625004 CPUtime=0.37 cores=1,3,5,7
/proc/11140/task/11155/stat : 11155 (java) S 11138 11140 9972 0 -1 4202560 2173 0 0 0 37 0 0 0 20 0 19 0 286576487 9856004096 65332 33554432000 1073741824 1073778376 140736706589232 140471688006584 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11140/tid=11156] ppid=11138 vsize=9625004 CPUtime=0.48 cores=1,3,5,7
/proc/11140/task/11156/stat : 11156 (java) S 11138 11140 9972 0 -1 4202560 4264 0 0 0 48 0 0 0 20 0 19 0 286576487 9856004096 65332 33554432000 1073741824 1073778376 140736706589232 140471686953784 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11140/tid=11157] ppid=11138 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/11140/task/11157/stat : 11157 (java) S 11138 11140 9972 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286576487 9856004096 65332 33554432000 1073741824 1073778376 140736706589232 140471685901176 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11140/tid=11158] ppid=11138 vsize=9625004 CPUtime=0.85 cores=1,3,5,7
/proc/11140/task/11158/stat : 11158 (java) S 11138 11140 9972 0 -1 4202560 103 0 0 0 57 28 0 0 20 0 19 0 286576487 9856004096 65332 33554432000 1073741824 1073778376 140736706589232 140471684848584 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11140/tid=11159] ppid=11138 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/11140/task/11159/stat : 11159 (java) S 11138 11140 9972 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 286576517 9856004096 65332 33554432000 1073741824 1073778376 140736706589232 140471683794088 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1788.32
Current children cumulated vsize (KiB) 9625004
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1794 s]
/proc/loadavg: 1.99 1.99 1.99 3/213 11233
/proc/meminfo: memFree=30628920/32873844 swapFree=6872/6872
[pid=11140] ppid=11138 vsize=9625004 CPUtime=1800.05 cores=1,3,5,7
/proc/11140/stat : 11140 (java) S 11138 11140 9972 0 -1 4202496 12122 0 1 0 179923 82 0 0 20 0 19 0 286576481 9856004096 65332 33554432000 1073741824 1073778376 140736706589232 140736706580368 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/11140/statm: 2406251 65332 2287 9 0 2396937 0
[pid=11140/tid=11142] ppid=11138 vsize=9625004 CPUtime=1783.65 cores=1,3,5,7
/proc/11140/task/11142/stat : 11142 (java) R 11138 11140 9972 0 -1 4202560 2687 0 1 0 178335 30 0 0 20 0 19 0 286576482 9856004096 65332 33554432000 1073741824 1073778376 140736706589232 140471868563760 140471808874675 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=11140/tid=11143] ppid=11138 vsize=9625004 CPUtime=0.66 cores=1,3,5,7
/proc/11140/task/11143/stat : 11143 (java) S 11138 11140 9972 0 -1 4202560 179 0 0 0 63 3 0 0 20 0 19 0 286576483 9856004096 65332 33554432000 1073741824 1073778376 140736706589232 140471807293992 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11140/tid=11144] ppid=11138 vsize=9625004 CPUtime=0.61 cores=1,3,5,7
/proc/11140/task/11144/stat : 11144 (java) S 11138 11140 9972 0 -1 4202560 118 0 0 0 57 4 0 0 20 0 19 0 286576483 9856004096 65332 33554432000 1073741824 1073778376 140736706589232 140471806241192 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11140/tid=11145] ppid=11138 vsize=9625004 CPUtime=0.68 cores=1,3,5,7
/proc/11140/task/11145/stat : 11145 (java) S 11138 11140 9972 0 -1 4202560 88 0 0 0 66 2 0 0 20 0 19 0 286576483 9856004096 65332 33554432000 1073741824 1073778376 140736706589232 140471709677864 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11140/tid=11146] ppid=11138 vsize=9625004 CPUtime=0.62 cores=1,3,5,7
/proc/11140/task/11146/stat : 11146 (java) S 11138 11140 9972 0 -1 4202560 406 0 0 0 59 3 0 0 20 0 19 0 286576483 9856004096 65332 33554432000 1073741824 1073778376 140736706589232 140471708625064 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11140/tid=11147] ppid=11138 vsize=9625004 CPUtime=0.63 cores=1,3,5,7
/proc/11140/task/11147/stat : 11147 (java) S 11138 11140 9972 0 -1 4202560 240 0 0 0 60 3 0 0 20 0 19 0 286576483 9856004096 65332 33554432000 1073741824 1073778376 140736706589232 140471707573288 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11140/tid=11148] ppid=11138 vsize=9625004 CPUtime=0.68 cores=1,3,5,7
/proc/11140/task/11148/stat : 11148 (java) S 11138 11140 9972 0 -1 4202560 333 0 0 0 65 3 0 0 20 0 19 0 286576483 9856004096 65332 33554432000 1073741824 1073778376 140736706589232 140471706520488 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11140/tid=11149] ppid=11138 vsize=9625004 CPUtime=0.59 cores=1,3,5,7
/proc/11140/task/11149/stat : 11149 (java) S 11138 11140 9972 0 -1 4202560 48 0 0 0 57 2 0 0 20 0 19 0 286576483 9856004096 65332 33554432000 1073741824 1073778376 140736706589232 140471705467688 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11140/tid=11150] ppid=11138 vsize=9625004 CPUtime=0.71 cores=1,3,5,7
/proc/11140/task/11150/stat : 11150 (java) S 11138 11140 9972 0 -1 4202560 162 0 0 0 68 3 0 0 20 0 19 0 286576483 9856004096 65332 33554432000 1073741824 1073778376 140736706589232 140471704414888 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11140/tid=11151] ppid=11138 vsize=9625004 CPUtime=4.12 cores=1,3,5,7
/proc/11140/task/11151/stat : 11151 (java) S 11138 11140 9972 0 -1 4202560 134 0 0 0 410 2 0 0 20 0 19 0 286576484 9856004096 65332 33554432000 1073741824 1073778376 140736706589232 140471692216808 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11140/tid=11152] ppid=11138 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/11140/task/11152/stat : 11152 (java) S 11138 11140 9972 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 286576485 9856004096 65332 33554432000 1073741824 1073778376 140736706589232 140471691162872 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11140/tid=11153] ppid=11138 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/11140/task/11153/stat : 11153 (java) S 11138 11140 9972 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 286576485 9856004096 65332 33554432000 1073741824 1073778376 140736706589232 140471690109960 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11140/tid=11154] ppid=11138 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/11140/task/11154/stat : 11154 (java) S 11138 11140 9972 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286576487 9856004096 65332 33554432000 1073741824 1073778376 140736706589232 140471689058448 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11140/tid=11155] ppid=11138 vsize=9625004 CPUtime=0.37 cores=1,3,5,7
/proc/11140/task/11155/stat : 11155 (java) S 11138 11140 9972 0 -1 4202560 2173 0 0 0 37 0 0 0 20 0 19 0 286576487 9856004096 65332 33554432000 1073741824 1073778376 140736706589232 140471688006584 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11140/tid=11156] ppid=11138 vsize=9625004 CPUtime=0.48 cores=1,3,5,7
/proc/11140/task/11156/stat : 11156 (java) S 11138 11140 9972 0 -1 4202560 4264 0 0 0 48 0 0 0 20 0 19 0 286576487 9856004096 65332 33554432000 1073741824 1073778376 140736706589232 140471686953784 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11140/tid=11157] ppid=11138 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/11140/task/11157/stat : 11157 (java) S 11138 11140 9972 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286576487 9856004096 65332 33554432000 1073741824 1073778376 140736706589232 140471685901176 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11140/tid=11158] ppid=11138 vsize=9625004 CPUtime=0.86 cores=1,3,5,7
/proc/11140/task/11158/stat : 11158 (java) S 11138 11140 9972 0 -1 4202560 103 0 0 0 58 28 0 0 20 0 19 0 286576487 9856004096 65332 33554432000 1073741824 1073778376 140736706589232 140471684848584 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11140/tid=11159] ppid=11138 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/11140/task/11159/stat : 11159 (java) S 11138 11140 9972 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 286576517 9856004096 65332 33554432000 1073741824 1073778376 140736706589232 140471683794088 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 9625004
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 11140 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=58261
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=972852
# CPU time returned by wait4() is 1795.03
# while last known CPU time is 1800.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1794.06
CPU time (s): 1800.05
CPU user time (s): 1799.23
CPU system time (s): 0.82
CPU usage (%): 100.334
Max. virtual memory (cumulated for all children) (KiB): 9625004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.06
system time used= 0.972852
maximum resident set size= 261472
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12161
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1672
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 40618
involuntary context switches= 12531
runsolver used 6.32104 second user time and 15.4227 second system time
The end