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-3500789-1308036279/watcher-3500789-1308036279 -o /var/tmp/evaluation-result-3500789-1308036279/solver-3500789-1308036279 -C 1800 -W 1850 -M 7680 java -Xms6000m -Xmx6000m -jar sat4j-mus-v20110206.jar /varHOME/instance-3500789-1308036279.gcnf
running on 2 cores: 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): 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: 0.38 0.08 0.03 5/219 11447
/proc/meminfo: memFree=15616976/32951124 swapFree=67053964/67111528
[pid=11447] ppid=11444 vsize=11804 CPUtime=0 cores=5,7
/proc/11447/stat : 11447 (runsolver) S 11444 11447 11321 0 -1 4202560 40 0 0 0 0 0 0 0 22 0 1 0 896044624 12087296 51 33554432000 4194304 5436572 140736387592640 18446744073709551615 4883175 0 2147483391 4096 24578 18446744071699968823 0 0 17 5 0 0 0
/proc/11447/statm: 2951 51 31 304 0 2643 0
[startup+0.077026 s]
/proc/loadavg: 0.38 0.08 0.03 5/219 11447
/proc/meminfo: memFree=15616976/32951124 swapFree=67053964/67111528
[pid=11447] ppid=11444 vsize=30536 CPUtime=0 cores=5,7
/proc/11447/stat : 11447 (java) S 11444 11447 11321 0 -1 4202496 1245 0 0 0 0 0 0 0 22 0 2 0 896044624 31268864 963 33554432000 1073741824 1073778376 140733476365040 18446744073709551615 228107253733 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0
/proc/11447/statm: 7634 963 736 9 0 385 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 30536
[startup+0.10253 s]
/proc/loadavg: 0.38 0.08 0.03 5/219 11447
/proc/meminfo: memFree=15616976/32951124 swapFree=67053964/67111528
[pid=11447] ppid=11444 vsize=6336172 CPUtime=0.01 cores=5,7
/proc/11447/stat : 11447 (java) S 11444 11447 11321 0 -1 4202496 6511 0 1 0 0 1 0 0 22 0 3 0 896044624 6488240128 6212 33554432000 1073741824 1073778376 140733476365040 18446744073709551615 228107253733 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0
/proc/11447/statm: 1584043 6212 928 9 0 1575199 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 6336172
[startup+0.300987 s]
/proc/loadavg: 0.38 0.08 0.03 5/219 11447
/proc/meminfo: memFree=15616976/32951124 swapFree=67053964/67111528
[pid=11447] ppid=11444 vsize=6431072 CPUtime=0.18 cores=5,7
/proc/11447/stat : 11447 (java) S 11444 11447 11321 0 -1 4202496 18814 0 1 0 15 3 0 0 22 0 18 0 896044624 6585417728 18510 33554432000 1073741824 1073778376 140733476365040 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/11447/statm: 1607768 18510 2138 9 0 1598506 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 6431072
[startup+0.700912 s]
/proc/loadavg: 0.38 0.08 0.03 5/219 11447
/proc/meminfo: memFree=15616976/32951124 swapFree=67053964/67111528
[pid=11447] ppid=11444 vsize=6436896 CPUtime=0.76 cores=5,7
/proc/11447/stat : 11447 (java) S 11444 11447 11321 0 -1 4202496 34031 0 1 0 72 4 0 0 22 0 18 0 896044624 6591381504 32808 33554432000 1073741824 1073778376 140733476365040 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/11447/statm: 1609224 32809 2205 9 0 1599962 0
Current children cumulated CPU time (s) 0.76
Current children cumulated vsize (KiB) 6436896
[startup+1.5008 s]
/proc/loadavg: 0.38 0.08 0.03 4/238 11500
/proc/meminfo: memFree=15065796/32951124 swapFree=67053964/67111528
[pid=11447] ppid=11444 vsize=6436896 CPUtime=1.57 cores=5,7
/proc/11447/stat : 11447 (java) S 11444 11447 11321 0 -1 4202496 68528 0 1 0 150 7 0 0 22 0 18 0 896044624 6591381504 67304 33554432000 1073741824 1073778376 140733476365040 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/11447/statm: 1609224 67306 2205 9 0 1599962 0
[pid=11447/tid=11458] ppid=11444 vsize=6436896 CPUtime=1.3 cores=5,7
/proc/11447/task/11458/stat : 11458 (java) R 11444 11447 11321 0 -1 4202560 63739 0 1 0 124 6 0 0 25 0 18 0 896044630 6591381504 67307 33554432000 1073741824 1073778376 140733476365040 18446744073709551615 46912505548334 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=11447/tid=11462] ppid=11444 vsize=6436896 CPUtime=0 cores=5,7
/proc/11447/task/11462/stat : 11462 (java) S 11444 11447 11321 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 896044634 6591381504 67308 33554432000 1073741824 1073778376 140733476365040 18446744073709551615 228107266969 0 4 0 16800975 18446604467608476608 0 0 -1 7 0 0 0
[pid=11447/tid=11463] ppid=11444 vsize=6436896 CPUtime=0 cores=5,7
/proc/11447/task/11463/stat : 11463 (java) S 11444 11447 11321 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 896044634 6591381504 67309 33554432000 1073741824 1073778376 140733476365040 18446744073709551615 228107266969 0 4 0 16800975 18446604467608476608 0 0 -1 7 0 0 0
[pid=11447/tid=11464] ppid=11444 vsize=6436896 CPUtime=0 cores=5,7
/proc/11447/task/11464/stat : 11464 (java) S 11444 11447 11321 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896044634 6591381504 67310 33554432000 1073741824 1073778376 140733476365040 18446744073709551615 228107266969 0 4 0 16800975 18446604467608476608 0 0 -1 7 0 0 0
[pid=11447/tid=11465] ppid=11444 vsize=6436896 CPUtime=0 cores=5,7
/proc/11447/task/11465/stat : 11465 (java) S 11444 11447 11321 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896044634 6591381504 67311 33554432000 1073741824 1073778376 140733476365040 18446744073709551615 228107266969 0 4 0 16800975 18446604467608476608 0 0 -1 7 0 0 0
[pid=11447/tid=11466] ppid=11444 vsize=6436896 CPUtime=0 cores=5,7
/proc/11447/task/11466/stat : 11466 (java) S 11444 11447 11321 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896044634 6591381504 67312 33554432000 1073741824 1073778376 140733476365040 18446744073709551615 228107266969 0 4 0 16800975 18446604467608476608 0 0 -1 7 0 0 0
[pid=11447/tid=11467] ppid=11444 vsize=6436896 CPUtime=0 cores=5,7
/proc/11447/task/11467/stat : 11467 (java) S 11444 11447 11321 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896044634 6591381504 67313 33554432000 1073741824 1073778376 140733476365040 18446744073709551615 228107266969 0 4 0 16800975 18446604467608476608 0 0 -1 7 0 0 0
[pid=11447/tid=11468] ppid=11444 vsize=6436896 CPUtime=0 cores=5,7
/proc/11447/task/11468/stat : 11468 (java) S 11444 11447 11321 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896044634 6591381504 67314 33554432000 1073741824 1073778376 140733476365040 18446744073709551615 228107266969 0 4 0 16800975 18446604467608476608 0 0 -1 7 0 0 0
[pid=11447/tid=11469] ppid=11444 vsize=6436896 CPUtime=0 cores=5,7
/proc/11447/task/11469/stat : 11469 (java) S 11444 11447 11321 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896044634 6591381504 67315 33554432000 1073741824 1073778376 140733476365040 18446744073709551615 228107266969 0 4 0 16800975 18446604467608476608 0 0 -1 7 0 0 0
[pid=11447/tid=11470] ppid=11444 vsize=6436896 CPUtime=0 cores=5,7
/proc/11447/task/11470/stat : 11470 (java) S 11444 11447 11321 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 896044636 6591381504 67316 33554432000 1073741824 1073778376 140733476365040 18446744073709551615 228107267584 0 0 0 16800975 18446604467608476608 0 0 -1 7 0 0 0
[pid=11447/tid=11474] ppid=11444 vsize=6436896 CPUtime=0 cores=5,7
/proc/11447/task/11474/stat : 11474 (java) S 11444 11447 11321 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 18 0 896044636 6591381504 67317 33554432000 1073741824 1073778376 140733476365040 18446744073709551615 228107266969 0 4 0 16800975 18446604467608476608 0 0 -1 7 0 0 0
[pid=11447/tid=11475] ppid=11444 vsize=6436896 CPUtime=0 cores=5,7
/proc/11447/task/11475/stat : 11475 (java) S 11444 11447 11321 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 18 0 896044636 6591381504 67318 33554432000 1073741824 1073778376 140733476365040 18446744073709551615 228107266969 0 4 0 16800975 18446604467608476608 0 0 -1 7 0 0 0
[pid=11447/tid=11479] ppid=11444 vsize=6436896 CPUtime=0 cores=5,7
/proc/11447/task/11479/stat : 11479 (java) S 11444 11447 11321 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 896044639 6591381504 67319 33554432000 1073741824 1073778376 140733476365040 18446744073709551615 228107274673 0 4 0 16800975 18446604467608476608 0 0 -1 7 0 0 0
[pid=11447/tid=11480] ppid=11444 vsize=6436896 CPUtime=0.15 cores=5,7
/proc/11447/task/11480/stat : 11480 (java) S 11444 11447 11321 0 -1 4202560 2321 0 0 0 15 0 0 0 22 0 18 0 896044640 6591381504 67320 33554432000 1073741824 1073778376 140733476365040 18446744073709551615 228107266969 0 4 0 16800975 18446604467608476608 0 0 -1 7 0 0 0
[pid=11447/tid=11481] ppid=11444 vsize=6436896 CPUtime=0.09 cores=5,7
/proc/11447/task/11481/stat : 11481 (java) S 11444 11447 11321 0 -1 4202560 1319 0 0 0 9 0 0 0 21 0 18 0 896044640 6591381504 67321 33554432000 1073741824 1073778376 140733476365040 18446744073709551615 228107266969 0 4 0 16800975 18446604467608476608 0 0 -1 5 0 0 0
[pid=11447/tid=11482] ppid=11444 vsize=6436896 CPUtime=0 cores=5,7
/proc/11447/task/11482/stat : 11482 (java) S 11444 11447 11321 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 896044640 6591381504 67322 33554432000 1073741824 1073778376 140733476365040 18446744073709551615 228107266969 0 4 0 16800975 18446604467608476608 0 0 -1 7 0 0 0
[pid=11447/tid=11484] ppid=11444 vsize=6436896 CPUtime=0 cores=5,7
/proc/11447/task/11484/stat : 11484 (java) S 11444 11447 11321 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 896044640 6591381504 67323 33554432000 1073741824 1073778376 140733476365040 18446744073709551615 228107267584 0 4 0 16800975 18446604467608476608 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.57
Current children cumulated vsize (KiB) 6436896
[startup+3.10152 s]
/proc/loadavg: 1.07 0.23 0.07 9/259 11522
/proc/meminfo: memFree=14381428/32951124 swapFree=67053964/67111528
[pid=11447] ppid=11444 vsize=6436896 CPUtime=3.17 cores=5,7
/proc/11447/stat : 11447 (java) S 11444 11447 11321 0 -1 4202496 136430 0 1 0 301 16 0 0 22 0 18 0 896044624 6591381504 135206 33554432000 1073741824 1073778376 140733476365040 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/11447/statm: 1609224 135208 2205 9 0 1599962 0
[pid=11447/tid=11458] ppid=11444 vsize=6436896 CPUtime=2.9 cores=5,7
/proc/11447/task/11458/stat : 11458 (java) R 11444 11447 11321 0 -1 4202560 131641 0 1 0 275 15 0 0 25 0 18 0 896044630 6591381504 135209 33554432000 1073741824 1073778376 140733476365040 18446744073709551615 46912505548349 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=11447/tid=11462] ppid=11444 vsize=6436896 CPUtime=0 cores=5,7
/proc/11447/task/11462/stat : 11462 (java) S 11444 11447 11321 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 896044634 6591381504 135210 33554432000 1073741824 1073778376 140733476365040 18446744073709551615 228107266969 0 4 0 16800975 18446604467608476608 0 0 -1 7 0 0 0
[pid=11447/tid=11463] ppid=11444 vsize=6436896 CPUtime=0 cores=5,7
/proc/11447/task/11463/stat : 11463 (java) S 11444 11447 11321 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 896044634 6591381504 135211 33554432000 1073741824 1073778376 140733476365040 18446744073709551615 228107266969 0 4 0 16800975 18446604467608476608 0 0 -1 7 0 0 0
[pid=11447/tid=11464] ppid=11444 vsize=6436896 CPUtime=0 cores=5,7
/proc/11447/task/11464/stat : 11464 (java) S 11444 11447 11321 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896044634 6591381504 135212 33554432000 1073741824 1073778376 140733476365040 18446744073709551615 228107266969 0 4 0 16800975 18446604467608476608 0 0 -1 7 0 0 0
[pid=11447/tid=11465] ppid=11444 vsize=6436896 CPUtime=0 cores=5,7
/proc/11447/task/11465/stat : 11465 (java) S 11444 11447 11321 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896044634 6591381504 135213 33554432000 1073741824 1073778376 140733476365040 18446744073709551615 228107266969 0 4 0 16800975 18446604467608476608 0 0 -1 7 0 0 0
[pid=11447/tid=11466] ppid=11444 vsize=6436896 CPUtime=0 cores=5,7
/proc/11447/task/11466/stat : 11466 (java) S 11444 11447 11321 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896044634 6591381504 135214 33554432000 1073741824 1073778376 140733476365040 18446744073709551615 228107266969 0 4 0 16800975 18446604467608476608 0 0 -1 7 0 0 0
[pid=11447/tid=11467] ppid=11444 vsize=6436896 CPUtime=0 cores=5,7
/proc/11447/task/11467/stat : 11467 (java) S 11444 11447 11321 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896044634 6591381504 135215 33554432000 1073741824 1073778376 140733476365040 18446744073709551615 228107266969 0 4 0 16800975 18446604467608476608 0 0 -1 7 0 0 0
[pid=11447/tid=11468] ppid=11444 vsize=6436896 CPUtime=0 cores=5,7
/proc/11447/task/11468/stat : 11468 (java) S 11444 11447 11321 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896044634 6591381504 135216 33554432000 1073741824 1073778376 140733476365040 18446744073709551615 228107266969 0 4 0 16800975 18446604467608476608 0 0 -1 7 0 0 0
[pid=11447/tid=11469] ppid=11444 vsize=6436896 CPUtime=0 cores=5,7
/proc/11447/task/11469/stat : 11469 (java) S 11444 11447 11321 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896044634 6591381504 135217 33554432000 1073741824 1073778376 140733476365040 18446744073709551615 228107266969 0 4 0 16800975 18446604467608476608 0 0 -1 7 0 0 0
[pid=11447/tid=11470] ppid=11444 vsize=6436896 CPUtime=0 cores=5,7
/proc/11447/task/11470/stat : 11470 (java) S 11444 11447 11321 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 896044636 6591381504 135218 33554432000 1073741824 1073778376 140733476365040 18446744073709551615 228107267584 0 0 0 16800975 18446604467608476608 0 0 -1 7 0 0 0
[pid=11447/tid=11474] ppid=11444 vsize=6436896 CPUtime=0 cores=5,7
/proc/11447/task/11474/stat : 11474 (java) S 11444 11447 11321 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 18 0 896044636 6591381504 135218 33554432000 1073741824 1073778376 140733476365040 18446744073709551615 228107266969 0 4 0 16800975 18446604467608476608 0 0 -1 7 0 0 0
[pid=11447/tid=11475] ppid=11444 vsize=6436896 CPUtime=0 cores=5,7
/proc/11447/task/11475/stat : 11475 (java) S 11444 11447 11321 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 18 0 896044636 6591381504 135219 33554432000 1073741824 1073778376 140733476365040 18446744073709551615 228107266969 0 4 0 16800975 18446604467608476608 0 0 -1 7 0 0 0
[pid=11447/tid=11479] ppid=11444 vsize=6436896 CPUtime=0 cores=5,7
/proc/11447/task/11479/stat : 11479 (java) S 11444 11447 11321 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 896044639 6591381504 135220 33554432000 1073741824 1073778376 140733476365040 18446744073709551615 228107274673 0 4 0 16800975 18446604467608476608 0 0 -1 7 0 0 0
[pid=11447/tid=11480] ppid=11444 vsize=6436896 CPUtime=0.15 cores=5,7
/proc/11447/task/11480/stat : 11480 (java) S 11444 11447 11321 0 -1 4202560 2321 0 0 0 15 0 0 0 22 0 18 0 896044640 6591381504 135221 33554432000 1073741824 1073778376 140733476365040 18446744073709551615 228107266969 0 4 0 16800975 18446604467608476608 0 0 -1 7 0 0 0
[pid=11447/tid=11481] ppid=11444 vsize=6436896 CPUtime=0.09 cores=5,7
/proc/11447/task/11481/stat : 11481 (java) S 11444 11447 11321 0 -1 4202560 1319 0 0 0 9 0 0 0 21 0 18 0 896044640 6591381504 135222 33554432000 1073741824 1073778376 140733476365040 18446744073709551615 228107266969 0 4 0 16800975 18446604467608476608 0 0 -1 5 0 0 0
[pid=11447/tid=11482] ppid=11444 vsize=6436896 CPUtime=0 cores=5,7
/proc/11447/task/11482/stat : 11482 (java) S 11444 11447 11321 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 896044640 6591381504 135223 33554432000 1073741824 1073778376 140733476365040 18446744073709551615 228107266969 0 4 0 16800975 18446604467608476608 0 0 -1 7 0 0 0
[pid=11447/tid=11484] ppid=11444 vsize=6436896 CPUtime=0 cores=5,7
/proc/11447/task/11484/stat : 11484 (java) S 11444 11447 11321 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 896044640 6591381504 135224 33554432000 1073741824 1073778376 140733476365040 18446744073709551615 228107267584 0 4 0 16800975 18446604467608476608 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.17
Current children cumulated vsize (KiB) 6436896
Solver just ended. Dumping a history of the last processes samples
[startup+4.70118 s]
/proc/loadavg: 1.07 0.23 0.07 4/239 11567
/proc/meminfo: memFree=13861860/32951124 swapFree=67053964/67111528
[pid=11447] ppid=11444 vsize=6443316 CPUtime=4.84 cores=5,7
/proc/11447/stat : 11447 (java) S 11444 11447 11321 0 -1 4202496 214003 0 1 0 457 27 0 0 22 0 18 0 896044624 6597955584 211713 33554432000 1073741824 1073778376 140733476365040 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/11447/statm: 1610829 211713 2220 9 0 1601567 0
[pid=11447/tid=11458] ppid=11444 vsize=6443316 CPUtime=4.48 cores=5,7
/proc/11447/task/11458/stat : 11458 (java) R 11444 11447 11321 0 -1 4202560 206819 0 1 0 423 25 0 0 25 0 18 0 896044630 6597955584 211713 33554432000 1073741824 1073778376 140733476365040 18446744073709551615 228107276981 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=11447/tid=11462] ppid=11444 vsize=6443316 CPUtime=0 cores=5,7
/proc/11447/task/11462/stat : 11462 (java) S 11444 11447 11321 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 896044634 6597955584 211713 33554432000 1073741824 1073778376 140733476365040 18446744073709551615 228107266969 0 4 0 16800975 18446604467608476608 0 0 -1 7 0 0 0
[pid=11447/tid=11463] ppid=11444 vsize=6443316 CPUtime=0 cores=5,7
/proc/11447/task/11463/stat : 11463 (java) S 11444 11447 11321 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 896044634 6597955584 211713 33554432000 1073741824 1073778376 140733476365040 18446744073709551615 228107266969 0 4 0 16800975 18446604467608476608 0 0 -1 7 0 0 0
[pid=11447/tid=11464] ppid=11444 vsize=6443316 CPUtime=0 cores=5,7
/proc/11447/task/11464/stat : 11464 (java) S 11444 11447 11321 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896044634 6597955584 211713 33554432000 1073741824 1073778376 140733476365040 18446744073709551615 228107266969 0 4 0 16800975 18446604467608476608 0 0 -1 7 0 0 0
[pid=11447/tid=11465] ppid=11444 vsize=6443316 CPUtime=0 cores=5,7
/proc/11447/task/11465/stat : 11465 (java) S 11444 11447 11321 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896044634 6597955584 211713 33554432000 1073741824 1073778376 140733476365040 18446744073709551615 228107266969 0 4 0 16800975 18446604467608476608 0 0 -1 7 0 0 0
[pid=11447/tid=11466] ppid=11444 vsize=6443316 CPUtime=0 cores=5,7
/proc/11447/task/11466/stat : 11466 (java) S 11444 11447 11321 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896044634 6597955584 211713 33554432000 1073741824 1073778376 140733476365040 18446744073709551615 228107266969 0 4 0 16800975 18446604467608476608 0 0 -1 7 0 0 0
[pid=11447/tid=11467] ppid=11444 vsize=6443316 CPUtime=0 cores=5,7
/proc/11447/task/11467/stat : 11467 (java) S 11444 11447 11321 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896044634 6597955584 211713 33554432000 1073741824 1073778376 140733476365040 18446744073709551615 228107266969 0 4 0 16800975 18446604467608476608 0 0 -1 7 0 0 0
[pid=11447/tid=11468] ppid=11444 vsize=6443316 CPUtime=0 cores=5,7
/proc/11447/task/11468/stat : 11468 (java) S 11444 11447 11321 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896044634 6597955584 211713 33554432000 1073741824 1073778376 140733476365040 18446744073709551615 228107266969 0 4 0 16800975 18446604467608476608 0 0 -1 7 0 0 0
[pid=11447/tid=11469] ppid=11444 vsize=6443316 CPUtime=0 cores=5,7
/proc/11447/task/11469/stat : 11469 (java) S 11444 11447 11321 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896044634 6597955584 211713 33554432000 1073741824 1073778376 140733476365040 18446744073709551615 228107266969 0 4 0 16800975 18446604467608476608 0 0 -1 7 0 0 0
[pid=11447/tid=11470] ppid=11444 vsize=6443316 CPUtime=0 cores=5,7
/proc/11447/task/11470/stat : 11470 (java) S 11444 11447 11321 0 -1 4202560 3 0 0 0 0 0 0 0 16 0 18 0 896044636 6597955584 211713 33554432000 1073741824 1073778376 140733476365040 18446744073709551615 228107267584 0 0 0 16800975 18446604467608476608 0 0 -1 7 0 0 0
[pid=11447/tid=11474] ppid=11444 vsize=6443316 CPUtime=0 cores=5,7
/proc/11447/task/11474/stat : 11474 (java) S 11444 11447 11321 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 18 0 896044636 6597955584 211713 33554432000 1073741824 1073778376 140733476365040 18446744073709551615 228107266969 0 4 0 16800975 18446604467608476608 0 0 -1 7 0 0 0
[pid=11447/tid=11475] ppid=11444 vsize=6443316 CPUtime=0 cores=5,7
/proc/11447/task/11475/stat : 11475 (java) S 11444 11447 11321 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 18 0 896044636 6597955584 211713 33554432000 1073741824 1073778376 140733476365040 18446744073709551615 228107266969 0 4 0 16800975 18446604467608476608 0 0 -1 7 0 0 0
[pid=11447/tid=11479] ppid=11444 vsize=6443316 CPUtime=0 cores=5,7
/proc/11447/task/11479/stat : 11479 (java) S 11444 11447 11321 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 896044639 6597955584 211713 33554432000 1073741824 1073778376 140733476365040 18446744073709551615 228107274673 0 4 0 16800975 18446604467608476608 0 0 -1 7 0 0 0
[pid=11447/tid=11480] ppid=11444 vsize=6443316 CPUtime=0.23 cores=5,7
/proc/11447/task/11480/stat : 11480 (java) R 11444 11447 11321 0 -1 4202560 4679 0 0 0 23 0 0 0 18 0 18 0 896044640 6597955584 211713 33554432000 1073741824 1073778376 140733476365040 18446744073709551615 47483166292336 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=11447/tid=11481] ppid=11444 vsize=6443316 CPUtime=0.11 cores=5,7
/proc/11447/task/11481/stat : 11481 (java) R 11444 11447 11321 0 -1 4202560 1351 0 0 0 11 0 0 0 17 0 18 0 896044640 6597955584 211713 33554432000 1073741824 1073778376 140733476365040 18446744073709551615 47483168618674 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=11447/tid=11482] ppid=11444 vsize=6443316 CPUtime=0 cores=5,7
/proc/11447/task/11482/stat : 11482 (java) S 11444 11447 11321 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 896044640 6597955584 211713 33554432000 1073741824 1073778376 140733476365040 18446744073709551615 228107266969 0 4 0 16800975 18446604467608476608 0 0 -1 7 0 0 0
[pid=11447/tid=11484] ppid=11444 vsize=6443316 CPUtime=0 cores=5,7
/proc/11447/task/11484/stat : 11484 (java) S 11444 11447 11321 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 896044640 6597955584 211713 33554432000 1073741824 1073778376 140733476365040 18446744073709551615 228107267584 0 4 0 16800975 18446604467608476608 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4.84
Current children cumulated vsize (KiB) 6443316
[startup+5.10115 s]
/proc/loadavg: 1.07 0.23 0.07 4/239 11567
/proc/meminfo: memFree=13861860/32951124 swapFree=67053964/67111528
[pid=11447] ppid=11444 vsize=6444576 CPUtime=5.44 cores=5,7
/proc/11447/stat : 11447 (java) S 11444 11447 11321 0 -1 4202496 234183 0 1 0 515 29 0 0 22 0 18 0 896044624 6599245824 229938 33554432000 1073741824 1073778376 140733476365040 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/11447/statm: 1611144 229938 2221 9 0 1601882 0
[pid=11447/tid=11458] ppid=11444 vsize=6444576 CPUtime=4.73 cores=5,7
/proc/11447/task/11458/stat : 11458 (java) R 11444 11447 11321 0 -1 4202560 222891 0 1 0 446 27 0 0 25 0 18 0 896044630 6599245824 229938 33554432000 1073741824 1073778376 140733476365040 18446744073709551615 46912505641073 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=11447/tid=11462] ppid=11444 vsize=6444576 CPUtime=0 cores=5,7
/proc/11447/task/11462/stat : 11462 (java) S 11444 11447 11321 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 896044634 6599245824 229938 33554432000 1073741824 1073778376 140733476365040 18446744073709551615 228107266969 0 4 0 16800975 18446604467608476608 0 0 -1 7 0 0 0
[pid=11447/tid=11463] ppid=11444 vsize=6444576 CPUtime=0 cores=5,7
/proc/11447/task/11463/stat : 11463 (java) S 11444 11447 11321 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 896044634 6599245824 229938 33554432000 1073741824 1073778376 140733476365040 18446744073709551615 228107266969 0 4 0 16800975 18446604467608476608 0 0 -1 7 0 0 0
[pid=11447/tid=11464] ppid=11444 vsize=6444576 CPUtime=0 cores=5,7
/proc/11447/task/11464/stat : 11464 (java) S 11444 11447 11321 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896044634 6599245824 229938 33554432000 1073741824 1073778376 140733476365040 18446744073709551615 228107266969 0 4 0 16800975 18446604467608476608 0 0 -1 7 0 0 0
[pid=11447/tid=11465] ppid=11444 vsize=6444576 CPUtime=0 cores=5,7
/proc/11447/task/11465/stat : 11465 (java) S 11444 11447 11321 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896044634 6599245824 229938 33554432000 1073741824 1073778376 140733476365040 18446744073709551615 228107266969 0 4 0 16800975 18446604467608476608 0 0 -1 7 0 0 0
[pid=11447/tid=11466] ppid=11444 vsize=6444576 CPUtime=0 cores=5,7
/proc/11447/task/11466/stat : 11466 (java) S 11444 11447 11321 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896044634 6599245824 229938 33554432000 1073741824 1073778376 140733476365040 18446744073709551615 228107266969 0 4 0 16800975 18446604467608476608 0 0 -1 7 0 0 0
[pid=11447/tid=11467] ppid=11444 vsize=6444576 CPUtime=0 cores=5,7
/proc/11447/task/11467/stat : 11467 (java) S 11444 11447 11321 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896044634 6599245824 229938 33554432000 1073741824 1073778376 140733476365040 18446744073709551615 228107266969 0 4 0 16800975 18446604467608476608 0 0 -1 7 0 0 0
[pid=11447/tid=11468] ppid=11444 vsize=6444576 CPUtime=0 cores=5,7
/proc/11447/task/11468/stat : 11468 (java) S 11444 11447 11321 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896044634 6599245824 229938 33554432000 1073741824 1073778376 140733476365040 18446744073709551615 228107266969 0 4 0 16800975 18446604467608476608 0 0 -1 7 0 0 0
[pid=11447/tid=11469] ppid=11444 vsize=6444576 CPUtime=0 cores=5,7
/proc/11447/task/11469/stat : 11469 (java) S 11444 11447 11321 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896044634 6599245824 229938 33554432000 1073741824 1073778376 140733476365040 18446744073709551615 228107266969 0 4 0 16800975 18446604467608476608 0 0 -1 7 0 0 0
[pid=11447/tid=11470] ppid=11444 vsize=6444576 CPUtime=0 cores=5,7
/proc/11447/task/11470/stat : 11470 (java) S 11444 11447 11321 0 -1 4202560 3 0 0 0 0 0 0 0 16 0 18 0 896044636 6599245824 229938 33554432000 1073741824 1073778376 140733476365040 18446744073709551615 228107267584 0 0 0 16800975 18446604467608476608 0 0 -1 7 0 0 0
[pid=11447/tid=11474] ppid=11444 vsize=6444576 CPUtime=0 cores=5,7
/proc/11447/task/11474/stat : 11474 (java) S 11444 11447 11321 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 18 0 896044636 6599245824 229938 33554432000 1073741824 1073778376 140733476365040 18446744073709551615 228107266969 0 4 0 16800975 18446604467608476608 0 0 -1 7 0 0 0
[pid=11447/tid=11475] ppid=11444 vsize=6444576 CPUtime=0 cores=5,7
/proc/11447/task/11475/stat : 11475 (java) S 11444 11447 11321 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 18 0 896044636 6599245824 229938 33554432000 1073741824 1073778376 140733476365040 18446744073709551615 228107266969 0 4 0 16800975 18446604467608476608 0 0 -1 7 0 0 0
[pid=11447/tid=11479] ppid=11444 vsize=6444576 CPUtime=0 cores=5,7
/proc/11447/task/11479/stat : 11479 (java) S 11444 11447 11321 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 896044639 6599245824 229938 33554432000 1073741824 1073778376 140733476365040 18446744073709551615 228107274673 0 4 0 16800975 18446604467608476608 0 0 -1 7 0 0 0
[pid=11447/tid=11480] ppid=11444 vsize=6444576 CPUtime=0.42 cores=5,7
/proc/11447/task/11480/stat : 11480 (java) S 11444 11447 11321 0 -1 4202560 6567 0 0 0 41 1 0 0 16 0 18 0 896044640 6599245824 229938 33554432000 1073741824 1073778376 140733476365040 18446744073709551615 228107266969 0 4 0 16800975 18446604467608476608 0 0 -1 7 0 0 0
[pid=11447/tid=11481] ppid=11444 vsize=6444576 CPUtime=0.27 cores=5,7
/proc/11447/task/11481/stat : 11481 (java) S 11444 11447 11321 0 -1 4202560 3571 0 0 0 27 0 0 0 15 0 18 0 896044640 6599245824 229938 33554432000 1073741824 1073778376 140733476365040 18446744073709551615 228107266969 0 4 0 16800975 18446604467608476608 0 0 -1 5 0 0 0
[pid=11447/tid=11482] ppid=11444 vsize=6444576 CPUtime=0 cores=5,7
/proc/11447/task/11482/stat : 11482 (java) S 11444 11447 11321 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 896044640 6599245824 229938 33554432000 1073741824 1073778376 140733476365040 18446744073709551615 228107266969 0 4 0 16800975 18446604467608476608 0 0 -1 7 0 0 0
[pid=11447/tid=11484] ppid=11444 vsize=6444576 CPUtime=0 cores=5,7
/proc/11447/task/11484/stat : 11484 (java) S 11444 11447 11321 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 896044640 6599245824 229938 33554432000 1073741824 1073778376 140733476365040 18446744073709551615 228107267584 0 4 0 16800975 18446604467608476608 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.44
Current children cumulated vsize (KiB) 6444576
[startup+5.30107 s]
/proc/loadavg: 1.07 0.23 0.07 4/239 11567
/proc/meminfo: memFree=13861860/32951124 swapFree=67053964/67111528
[pid=11447] ppid=11444 vsize=6444576 CPUtime=5.77 cores=5,7
/proc/11447/stat : 11447 (java) S 11444 11447 11321 0 -1 4202496 236409 0 1 0 547 30 0 0 22 0 18 0 896044624 6599245824 231120 33554432000 1073741824 1073778376 140733476365040 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/11447/statm: 1611144 231120 2224 9 0 1601882 0
[pid=11447/tid=11458] ppid=11444 vsize=6444576 CPUtime=4.89 cores=5,7
/proc/11447/task/11458/stat : 11458 (java) R 11444 11447 11321 0 -1 4202560 224051 0 1 0 461 28 0 0 25 0 18 0 896044630 6599245824 231120 33554432000 1073741824 1073778376 140733476365040 18446744073709551615 228107276981 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=11447/tid=11462] ppid=11444 vsize=6444576 CPUtime=0 cores=5,7
/proc/11447/task/11462/stat : 11462 (java) S 11444 11447 11321 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 896044634 6599245824 231120 33554432000 1073741824 1073778376 140733476365040 18446744073709551615 228107266969 0 4 0 16800975 18446604467608476608 0 0 -1 7 0 0 0
[pid=11447/tid=11463] ppid=11444 vsize=6444576 CPUtime=0 cores=5,7
/proc/11447/task/11463/stat : 11463 (java) S 11444 11447 11321 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 896044634 6599245824 231120 33554432000 1073741824 1073778376 140733476365040 18446744073709551615 228107266969 0 4 0 16800975 18446604467608476608 0 0 -1 7 0 0 0
[pid=11447/tid=11464] ppid=11444 vsize=6444576 CPUtime=0 cores=5,7
/proc/11447/task/11464/stat : 11464 (java) S 11444 11447 11321 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896044634 6599245824 231120 33554432000 1073741824 1073778376 140733476365040 18446744073709551615 228107266969 0 4 0 16800975 18446604467608476608 0 0 -1 7 0 0 0
[pid=11447/tid=11465] ppid=11444 vsize=6444576 CPUtime=0 cores=5,7
/proc/11447/task/11465/stat : 11465 (java) S 11444 11447 11321 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896044634 6599245824 231120 33554432000 1073741824 1073778376 140733476365040 18446744073709551615 228107266969 0 4 0 16800975 18446604467608476608 0 0 -1 7 0 0 0
[pid=11447/tid=11466] ppid=11444 vsize=6444576 CPUtime=0 cores=5,7
/proc/11447/task/11466/stat : 11466 (java) S 11444 11447 11321 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896044634 6599245824 231120 33554432000 1073741824 1073778376 140733476365040 18446744073709551615 228107266969 0 4 0 16800975 18446604467608476608 0 0 -1 7 0 0 0
[pid=11447/tid=11467] ppid=11444 vsize=6444576 CPUtime=0 cores=5,7
/proc/11447/task/11467/stat : 11467 (java) S 11444 11447 11321 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896044634 6599245824 231120 33554432000 1073741824 1073778376 140733476365040 18446744073709551615 228107266969 0 4 0 16800975 18446604467608476608 0 0 -1 7 0 0 0
[pid=11447/tid=11468] ppid=11444 vsize=6444576 CPUtime=0 cores=5,7
/proc/11447/task/11468/stat : 11468 (java) S 11444 11447 11321 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896044634 6599245824 231120 33554432000 1073741824 1073778376 140733476365040 18446744073709551615 228107266969 0 4 0 16800975 18446604467608476608 0 0 -1 7 0 0 0
[pid=11447/tid=11469] ppid=11444 vsize=6444576 CPUtime=0 cores=5,7
/proc/11447/task/11469/stat : 11469 (java) S 11444 11447 11321 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896044634 6599245824 231120 33554432000 1073741824 1073778376 140733476365040 18446744073709551615 228107266969 0 4 0 16800975 18446604467608476608 0 0 -1 7 0 0 0
[pid=11447/tid=11470] ppid=11444 vsize=6444576 CPUtime=0 cores=5,7
/proc/11447/task/11470/stat : 11470 (java) S 11444 11447 11321 0 -1 4202560 3 0 0 0 0 0 0 0 16 0 18 0 896044636 6599245824 231120 33554432000 1073741824 1073778376 140733476365040 18446744073709551615 228107267584 0 0 0 16800975 18446604467608476608 0 0 -1 7 0 0 0
[pid=11447/tid=11474] ppid=11444 vsize=6444576 CPUtime=0 cores=5,7
/proc/11447/task/11474/stat : 11474 (java) S 11444 11447 11321 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 18 0 896044636 6599245824 231120 33554432000 1073741824 1073778376 140733476365040 18446744073709551615 228107266969 0 4 0 16800975 18446604467608476608 0 0 -1 7 0 0 0
[pid=11447/tid=11475] ppid=11444 vsize=6444576 CPUtime=0 cores=5,7
/proc/11447/task/11475/stat : 11475 (java) S 11444 11447 11321 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 18 0 896044636 6599245824 231120 33554432000 1073741824 1073778376 140733476365040 18446744073709551615 228107266969 0 4 0 16800975 18446604467608476608 0 0 -1 7 0 0 0
[pid=11447/tid=11479] ppid=11444 vsize=6444576 CPUtime=0 cores=5,7
/proc/11447/task/11479/stat : 11479 (java) S 11444 11447 11321 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 896044639 6599245824 231120 33554432000 1073741824 1073778376 140733476365040 18446744073709551615 228107274673 0 4 0 16800975 18446604467608476608 0 0 -1 7 0 0 0
[pid=11447/tid=11480] ppid=11444 vsize=6444576 CPUtime=0.48 cores=5,7
/proc/11447/task/11480/stat : 11480 (java) S 11444 11447 11321 0 -1 4202560 6574 0 0 0 47 1 0 0 15 0 18 0 896044640 6599245824 231120 33554432000 1073741824 1073778376 140733476365040 18446744073709551615 228107266969 0 4 0 16800975 18446604467608476608 0 0 -1 7 0 0 0
[pid=11447/tid=11481] ppid=11444 vsize=6444576 CPUtime=0.38 cores=5,7
/proc/11447/task/11481/stat : 11481 (java) R 11444 11447 11321 0 -1 4202560 4630 0 0 0 38 0 0 0 15 0 18 0 896044640 6599245824 231120 33554432000 1073741824 1073778376 140733476365040 18446744073709551615 47483164723472 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=11447/tid=11482] ppid=11444 vsize=6444576 CPUtime=0 cores=5,7
/proc/11447/task/11482/stat : 11482 (java) S 11444 11447 11321 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 896044640 6599245824 231120 33554432000 1073741824 1073778376 140733476365040 18446744073709551615 228107266969 0 4 0 16800975 18446604467608476608 0 0 -1 7 0 0 0
[pid=11447/tid=11484] ppid=11444 vsize=6444576 CPUtime=0 cores=5,7
/proc/11447/task/11484/stat : 11484 (java) S 11444 11447 11321 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 896044640 6599245824 231120 33554432000 1073741824 1073778376 140733476365040 18446744073709551615 228107267584 0 4 0 16800975 18446604467608476608 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.77
Current children cumulated vsize (KiB) 6444576
Child status: 20
Real time (s): 5.38441
CPU time (s): 5.87711
CPU user time (s): 5.53716
CPU system time (s): 0.339948
CPU usage (%): 109.15
Max. virtual memory (cumulated for all children) (KiB): 6446068
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.53716
system time used= 0.339948
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 236443
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= 313
involuntary context switches= 398
runsolver used 0.010998 second user time and 0.026995 second system time
The end