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-3500824-1308036331/watcher-3500824-1308036331 -o /tmp/evaluation-result-3500824-1308036331/solver-3500824-1308036331 -C 1800 -W 1850 -M 7680 java -Xms6000m -Xmx6000m -jar sat4j-mus-v20110206.jar HOME/instance-3500824-1308036331.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.49 0.43 0.15 4/240 16006
/proc/meminfo: memFree=15594920/32951124 swapFree=67050916/67111528
[pid=16006] ppid=16004 vsize=35788 CPUtime=0 cores=1,3
/proc/16006/stat : 16006 (java) S 16004 16006 14728 0 -1 4202496 1317 0 0 0 0 0 0 0 22 0 2 0 896049428 36646912 1018 33554432000 1073741824 1073778376 140736211184672 18446744073709551615 212051458021 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/16006/statm: 8947 1018 782 9 0 386 0
[pid=16006/tid=16007] ppid=16004 vsize=35788 CPUtime=0 cores=1,3
/proc/16006/task/16007/stat : 16007 (java) S 16004 16006 14728 0 -1 4202560 202 0 0 0 0 0 0 0 24 0 2 0 896049428 36646912 1018 33554432000 1073741824 1073778376 140736211184672 18446744073709551615 212039675462 0 0 0 16784584 4523079404296863743 0 0 -1 1 0 0 0
[startup+0.082387 s]
/proc/loadavg: 1.49 0.43 0.15 4/240 16006
/proc/meminfo: memFree=15594920/32951124 swapFree=67050916/67111528
[pid=16006] ppid=16004 vsize=6363864 CPUtime=0.07 cores=1,3
/proc/16006/stat : 16006 (java) S 16004 16006 14728 0 -1 4202496 8801 0 1 0 6 1 0 0 22 0 18 0 896049428 6516596736 8497 33554432000 1073741824 1073778376 140736211184672 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/16006/statm: 1590966 8497 1751 9 0 1581704 0
[pid=16006/tid=16007] ppid=16004 vsize=6363864 CPUtime=0.07 cores=1,3
/proc/16006/task/16007/stat : 16007 (java) R 16004 16006 14728 0 -1 4202560 7626 0 1 0 6 1 0 0 25 0 18 0 896049428 6516596736 8498 33554432000 1073741824 1073778376 140736211184672 18446744073709551615 47839623580499 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 6363864
[startup+0.100352 s]
/proc/loadavg: 1.49 0.43 0.15 4/240 16006
/proc/meminfo: memFree=15594920/32951124 swapFree=67050916/67111528
[pid=16006] ppid=16004 vsize=6430912 CPUtime=0.1 cores=1,3
/proc/16006/stat : 16006 (java) S 16004 16006 14728 0 -1 4202496 9700 0 1 0 9 1 0 0 22 0 18 0 896049428 6585253888 9396 33554432000 1073741824 1073778376 140736211184672 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/16006/statm: 1607728 9396 2090 9 0 1598466 0
[pid=16006/tid=16007] ppid=16004 vsize=6430912 CPUtime=0.08 cores=1,3
/proc/16006/task/16007/stat : 16007 (java) R 16004 16006 14728 0 -1 4202560 7847 0 1 0 7 1 0 0 25 0 18 0 896049428 6585253888 9396 33554432000 1073741824 1073778376 140736211184672 18446744073709551615 47839622145560 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 6430912
[startup+0.300321 s]
/proc/loadavg: 1.49 0.43 0.15 4/240 16006
/proc/meminfo: memFree=15594920/32951124 swapFree=67050916/67111528
[pid=16006] ppid=16004 vsize=6437068 CPUtime=0.44 cores=1,3
/proc/16006/stat : 16006 (java) S 16004 16006 14728 0 -1 4202496 20139 0 1 0 42 2 0 0 22 0 18 0 896049428 6591557632 19103 33554432000 1073741824 1073778376 140736211184672 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/16006/statm: 1609267 19104 2204 9 0 1600005 0
[pid=16006/tid=16007] ppid=16004 vsize=6437068 CPUtime=0.28 cores=1,3
/proc/16006/task/16007/stat : 16007 (java) R 16004 16006 14728 0 -1 4202560 15979 0 1 0 26 2 0 0 25 0 18 0 896049428 6591557632 19105 33554432000 1073741824 1073778376 140736211184672 18446744073709551615 46912505554608 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 6437068
[startup+0.700281 s]
/proc/loadavg: 1.49 0.43 0.15 4/240 16006
/proc/meminfo: memFree=15594920/32951124 swapFree=67050916/67111528
[pid=16006] ppid=16004 vsize=6437484 CPUtime=0.95 cores=1,3
/proc/16006/stat : 16006 (java) S 16004 16006 14728 0 -1 4202496 37778 0 1 0 90 5 0 0 22 0 18 0 896049428 6591983616 36739 33554432000 1073741824 1073778376 140736211184672 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/16006/statm: 1609371 36741 2205 9 0 1600109 0
[pid=16006/tid=16007] ppid=16004 vsize=6437484 CPUtime=0.68 cores=1,3
/proc/16006/task/16007/stat : 16007 (java) R 16004 16006 14728 0 -1 4202560 33385 0 1 0 64 4 0 0 25 0 18 0 896049428 6591983616 36742 33554432000 1073741824 1073778376 140736211184672 18446744073709551615 46912505365719 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.95
Current children cumulated vsize (KiB) 6437484
[startup+1.50114 s]
/proc/loadavg: 1.49 0.43 0.15 5/259 16025
/proc/meminfo: memFree=14961524/32951124 swapFree=67050916/67111528
[pid=16006] ppid=16004 vsize=6437484 CPUtime=1.75 cores=1,3
/proc/16006/stat : 16006 (java) S 16004 16006 14728 0 -1 4202496 71709 0 1 0 166 9 0 0 22 0 18 0 896049428 6591983616 70671 33554432000 1073741824 1073778376 140736211184672 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/16006/statm: 1609371 70672 2205 9 0 1600109 0
[pid=16006/tid=16007] ppid=16004 vsize=6437484 CPUtime=1.48 cores=1,3
/proc/16006/task/16007/stat : 16007 (java) R 16004 16006 14728 0 -1 4202560 67316 0 1 0 140 8 0 0 25 0 18 0 896049428 6591983616 70673 33554432000 1073741824 1073778376 140736211184672 18446744073709551615 46912505554604 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=16006/tid=16009] ppid=16004 vsize=6437484 CPUtime=0 cores=1,3
/proc/16006/task/16009/stat : 16009 (java) S 16004 16006 14728 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896049429 6591983616 70675 33554432000 1073741824 1073778376 140736211184672 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 3 0 0 0
[pid=16006/tid=16010] ppid=16004 vsize=6437484 CPUtime=0 cores=1,3
/proc/16006/task/16010/stat : 16010 (java) S 16004 16006 14728 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 896049429 6591983616 70676 33554432000 1073741824 1073778376 140736211184672 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 3 0 0 0
[pid=16006/tid=16011] ppid=16004 vsize=6437484 CPUtime=0 cores=1,3
/proc/16006/task/16011/stat : 16011 (java) S 16004 16006 14728 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896049429 6591983616 70677 33554432000 1073741824 1073778376 140736211184672 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 3 0 0 0
[pid=16006/tid=16012] ppid=16004 vsize=6437484 CPUtime=0 cores=1,3
/proc/16006/task/16012/stat : 16012 (java) S 16004 16006 14728 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896049429 6591983616 70679 33554432000 1073741824 1073778376 140736211184672 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 3 0 0 0
[pid=16006/tid=16013] ppid=16004 vsize=6437484 CPUtime=0 cores=1,3
/proc/16006/task/16013/stat : 16013 (java) S 16004 16006 14728 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896049429 6591983616 70680 33554432000 1073741824 1073778376 140736211184672 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 3 0 0 0
[pid=16006/tid=16014] ppid=16004 vsize=6437484 CPUtime=0 cores=1,3
/proc/16006/task/16014/stat : 16014 (java) S 16004 16006 14728 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896049429 6591983616 70681 33554432000 1073741824 1073778376 140736211184672 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 3 0 0 0
[pid=16006/tid=16015] ppid=16004 vsize=6437484 CPUtime=0 cores=1,3
/proc/16006/task/16015/stat : 16015 (java) S 16004 16006 14728 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896049429 6591983616 70682 33554432000 1073741824 1073778376 140736211184672 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 3 0 0 0
[pid=16006/tid=16016] ppid=16004 vsize=6437484 CPUtime=0 cores=1,3
/proc/16006/task/16016/stat : 16016 (java) S 16004 16006 14728 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896049429 6591983616 70683 33554432000 1073741824 1073778376 140736211184672 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 3 0 0 0
[pid=16006/tid=16017] ppid=16004 vsize=6437484 CPUtime=0 cores=1,3
/proc/16006/task/16017/stat : 16017 (java) S 16004 16006 14728 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 896049430 6591983616 70684 33554432000 1073741824 1073778376 140736211184672 18446744073709551615 212051471872 0 0 0 16800975 18446604471145673920 0 0 -1 1 0 0 0
[pid=16006/tid=16018] ppid=16004 vsize=6437484 CPUtime=0 cores=1,3
/proc/16006/task/16018/stat : 16018 (java) S 16004 16006 14728 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 896049431 6591983616 70685 33554432000 1073741824 1073778376 140736211184672 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 1 0 0 0
[pid=16006/tid=16019] ppid=16004 vsize=6437484 CPUtime=0 cores=1,3
/proc/16006/task/16019/stat : 16019 (java) S 16004 16006 14728 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 896049431 6591983616 70686 33554432000 1073741824 1073778376 140736211184672 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 1 0 0 0
[pid=16006/tid=16020] ppid=16004 vsize=6437484 CPUtime=0 cores=1,3
/proc/16006/task/16020/stat : 16020 (java) S 16004 16006 14728 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896049433 6591983616 70687 33554432000 1073741824 1073778376 140736211184672 18446744073709551615 212051478961 0 4 0 16800975 18446604471145673920 0 0 -1 1 0 0 0
[pid=16006/tid=16021] ppid=16004 vsize=6437484 CPUtime=0.14 cores=1,3
/proc/16006/task/16021/stat : 16021 (java) S 16004 16006 14728 0 -1 4202560 2289 0 0 0 14 0 0 0 25 0 18 0 896049433 6591983616 70688 33554432000 1073741824 1073778376 140736211184672 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 3 0 0 0
[pid=16006/tid=16022] ppid=16004 vsize=6437484 CPUtime=0.11 cores=1,3
/proc/16006/task/16022/stat : 16022 (java) S 16004 16006 14728 0 -1 4202560 955 0 0 0 11 0 0 0 25 0 18 0 896049433 6591983616 70690 33554432000 1073741824 1073778376 140736211184672 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 3 0 0 0
[pid=16006/tid=16023] ppid=16004 vsize=6437484 CPUtime=0 cores=1,3
/proc/16006/task/16023/stat : 16023 (java) S 16004 16006 14728 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896049433 6591983616 70691 33554432000 1073741824 1073778376 140736211184672 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 1 0 0 0
[pid=16006/tid=16024] ppid=16004 vsize=6437484 CPUtime=0 cores=1,3
/proc/16006/task/16024/stat : 16024 (java) S 16004 16006 14728 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 896049433 6591983616 70692 33554432000 1073741824 1073778376 140736211184672 18446744073709551615 212051471872 0 4 0 16800975 18446604471145673920 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.75
Current children cumulated vsize (KiB) 6437484
[startup+3.10082 s]
/proc/loadavg: 1.49 0.43 0.15 5/260 16026
/proc/meminfo: memFree=14549932/32951124 swapFree=67050916/67111528
[pid=16006] ppid=16004 vsize=6444692 CPUtime=3.42 cores=1,3
/proc/16006/stat : 16006 (java) S 16004 16006 14728 0 -1 4202496 145874 0 1 0 325 17 0 0 22 0 18 0 896049428 6599364608 143769 33554432000 1073741824 1073778376 140736211184672 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/16006/statm: 1611173 143769 2219 9 0 1601911 0
[pid=16006/tid=16007] ppid=16004 vsize=6444692 CPUtime=3.07 cores=1,3
/proc/16006/task/16007/stat : 16007 (java) R 16004 16006 14728 0 -1 4202560 139066 0 1 0 291 16 0 0 25 0 18 0 896049428 6599364608 143769 33554432000 1073741824 1073778376 140736211184672 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=16006/tid=16009] ppid=16004 vsize=6444692 CPUtime=0 cores=1,3
/proc/16006/task/16009/stat : 16009 (java) S 16004 16006 14728 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896049429 6599364608 143769 33554432000 1073741824 1073778376 140736211184672 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 3 0 0 0
[pid=16006/tid=16010] ppid=16004 vsize=6444692 CPUtime=0 cores=1,3
/proc/16006/task/16010/stat : 16010 (java) S 16004 16006 14728 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 896049429 6599364608 143769 33554432000 1073741824 1073778376 140736211184672 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 3 0 0 0
[pid=16006/tid=16011] ppid=16004 vsize=6444692 CPUtime=0 cores=1,3
/proc/16006/task/16011/stat : 16011 (java) S 16004 16006 14728 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896049429 6599364608 143769 33554432000 1073741824 1073778376 140736211184672 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 3 0 0 0
[pid=16006/tid=16012] ppid=16004 vsize=6444692 CPUtime=0 cores=1,3
/proc/16006/task/16012/stat : 16012 (java) S 16004 16006 14728 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896049429 6599364608 143769 33554432000 1073741824 1073778376 140736211184672 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 3 0 0 0
[pid=16006/tid=16013] ppid=16004 vsize=6444692 CPUtime=0 cores=1,3
/proc/16006/task/16013/stat : 16013 (java) S 16004 16006 14728 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896049429 6599364608 143769 33554432000 1073741824 1073778376 140736211184672 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 3 0 0 0
[pid=16006/tid=16014] ppid=16004 vsize=6444692 CPUtime=0 cores=1,3
/proc/16006/task/16014/stat : 16014 (java) S 16004 16006 14728 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896049429 6599364608 143769 33554432000 1073741824 1073778376 140736211184672 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 3 0 0 0
[pid=16006/tid=16015] ppid=16004 vsize=6444692 CPUtime=0 cores=1,3
/proc/16006/task/16015/stat : 16015 (java) S 16004 16006 14728 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896049429 6599364608 143769 33554432000 1073741824 1073778376 140736211184672 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 3 0 0 0
[pid=16006/tid=16016] ppid=16004 vsize=6444692 CPUtime=0 cores=1,3
/proc/16006/task/16016/stat : 16016 (java) S 16004 16006 14728 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896049429 6599364608 143769 33554432000 1073741824 1073778376 140736211184672 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 3 0 0 0
[pid=16006/tid=16017] ppid=16004 vsize=6444692 CPUtime=0 cores=1,3
/proc/16006/task/16017/stat : 16017 (java) S 16004 16006 14728 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 18 0 896049430 6599364608 143769 33554432000 1073741824 1073778376 140736211184672 18446744073709551615 212051471872 0 0 0 16800975 18446604471145673920 0 0 -1 1 0 0 0
[pid=16006/tid=16018] ppid=16004 vsize=6444692 CPUtime=0 cores=1,3
/proc/16006/task/16018/stat : 16018 (java) S 16004 16006 14728 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 896049431 6599364608 143769 33554432000 1073741824 1073778376 140736211184672 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 1 0 0 0
[pid=16006/tid=16019] ppid=16004 vsize=6444692 CPUtime=0 cores=1,3
/proc/16006/task/16019/stat : 16019 (java) S 16004 16006 14728 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 896049431 6599364608 143769 33554432000 1073741824 1073778376 140736211184672 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 1 0 0 0
[pid=16006/tid=16020] ppid=16004 vsize=6444692 CPUtime=0 cores=1,3
/proc/16006/task/16020/stat : 16020 (java) S 16004 16006 14728 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896049433 6599364608 143769 33554432000 1073741824 1073778376 140736211184672 18446744073709551615 212051478961 0 4 0 16800975 18446604471145673920 0 0 -1 1 0 0 0
[pid=16006/tid=16021] ppid=16004 vsize=6444692 CPUtime=0.14 cores=1,3
/proc/16006/task/16021/stat : 16021 (java) R 16004 16006 14728 0 -1 4202560 2289 0 0 0 14 0 0 0 18 0 18 0 896049433 6599364608 143769 33554432000 1073741824 1073778376 140736211184672 18446744073709551615 47839623533244 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=16006/tid=16022] ppid=16004 vsize=6444692 CPUtime=0.18 cores=1,3
/proc/16006/task/16022/stat : 16022 (java) R 16004 16006 14728 0 -1 4202560 3364 0 0 0 18 0 0 0 18 0 18 0 896049433 6599364608 143769 33554432000 1073741824 1073778376 140736211184672 18446744073709551615 47839619909544 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=16006/tid=16023] ppid=16004 vsize=6444692 CPUtime=0 cores=1,3
/proc/16006/task/16023/stat : 16023 (java) S 16004 16006 14728 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896049433 6599364608 143769 33554432000 1073741824 1073778376 140736211184672 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 1 0 0 0
[pid=16006/tid=16024] ppid=16004 vsize=6444692 CPUtime=0 cores=1,3
/proc/16006/task/16024/stat : 16024 (java) S 16004 16006 14728 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 896049433 6599364608 143769 33554432000 1073741824 1073778376 140736211184672 18446744073709551615 212051471872 0 4 0 16800975 18446604471145673920 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.42
Current children cumulated vsize (KiB) 6444692
Solver just ended. Dumping a history of the last processes samples
[startup+3.50075 s]
/proc/loadavg: 1.77 0.51 0.17 7/240 16047
/proc/meminfo: memFree=15152312/32951124 swapFree=67050916/67111528
[pid=16006] ppid=16004 vsize=6448504 CPUtime=4.02 cores=1,3
/proc/16006/stat : 16006 (java) S 16004 16006 14728 0 -1 4202496 162463 0 1 0 383 19 0 0 22 0 18 0 896049428 6603268096 157706 33554432000 1073741824 1073778376 140736211184672 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/16006/statm: 1612126 157706 2221 9 0 1602864 0
[pid=16006/tid=16007] ppid=16004 vsize=6448504 CPUtime=3.26 cores=1,3
/proc/16006/task/16007/stat : 16007 (java) R 16004 16006 14728 0 -1 4202560 149737 0 1 0 308 18 0 0 25 0 18 0 896049428 6603268096 157706 33554432000 1073741824 1073778376 140736211184672 18446744073709551615 212051481269 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=16006/tid=16009] ppid=16004 vsize=6448504 CPUtime=0 cores=1,3
/proc/16006/task/16009/stat : 16009 (java) S 16004 16006 14728 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896049429 6603268096 157706 33554432000 1073741824 1073778376 140736211184672 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 3 0 0 0
[pid=16006/tid=16010] ppid=16004 vsize=6448504 CPUtime=0 cores=1,3
/proc/16006/task/16010/stat : 16010 (java) S 16004 16006 14728 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 896049429 6603268096 157706 33554432000 1073741824 1073778376 140736211184672 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 3 0 0 0
[pid=16006/tid=16011] ppid=16004 vsize=6448504 CPUtime=0 cores=1,3
/proc/16006/task/16011/stat : 16011 (java) S 16004 16006 14728 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896049429 6603268096 157706 33554432000 1073741824 1073778376 140736211184672 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 3 0 0 0
[pid=16006/tid=16012] ppid=16004 vsize=6448504 CPUtime=0 cores=1,3
/proc/16006/task/16012/stat : 16012 (java) S 16004 16006 14728 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896049429 6603268096 157706 33554432000 1073741824 1073778376 140736211184672 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 3 0 0 0
[pid=16006/tid=16013] ppid=16004 vsize=6448504 CPUtime=0 cores=1,3
/proc/16006/task/16013/stat : 16013 (java) S 16004 16006 14728 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896049429 6603268096 157706 33554432000 1073741824 1073778376 140736211184672 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 3 0 0 0
[pid=16006/tid=16014] ppid=16004 vsize=6448504 CPUtime=0 cores=1,3
/proc/16006/task/16014/stat : 16014 (java) S 16004 16006 14728 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896049429 6603268096 157706 33554432000 1073741824 1073778376 140736211184672 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 3 0 0 0
[pid=16006/tid=16015] ppid=16004 vsize=6448504 CPUtime=0 cores=1,3
/proc/16006/task/16015/stat : 16015 (java) S 16004 16006 14728 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896049429 6603268096 157706 33554432000 1073741824 1073778376 140736211184672 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 3 0 0 0
[pid=16006/tid=16016] ppid=16004 vsize=6448504 CPUtime=0 cores=1,3
/proc/16006/task/16016/stat : 16016 (java) S 16004 16006 14728 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896049429 6603268096 157706 33554432000 1073741824 1073778376 140736211184672 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 3 0 0 0
[pid=16006/tid=16017] ppid=16004 vsize=6448504 CPUtime=0 cores=1,3
/proc/16006/task/16017/stat : 16017 (java) S 16004 16006 14728 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 18 0 896049430 6603268096 157706 33554432000 1073741824 1073778376 140736211184672 18446744073709551615 212051471872 0 0 0 16800975 18446604471145673920 0 0 -1 1 0 0 0
[pid=16006/tid=16018] ppid=16004 vsize=6448504 CPUtime=0 cores=1,3
/proc/16006/task/16018/stat : 16018 (java) S 16004 16006 14728 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 896049431 6603268096 157706 33554432000 1073741824 1073778376 140736211184672 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 1 0 0 0
[pid=16006/tid=16019] ppid=16004 vsize=6448504 CPUtime=0 cores=1,3
/proc/16006/task/16019/stat : 16019 (java) S 16004 16006 14728 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 896049431 6603268096 157706 33554432000 1073741824 1073778376 140736211184672 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 1 0 0 0
[pid=16006/tid=16020] ppid=16004 vsize=6448504 CPUtime=0 cores=1,3
/proc/16006/task/16020/stat : 16020 (java) S 16004 16006 14728 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896049433 6603268096 157706 33554432000 1073741824 1073778376 140736211184672 18446744073709551615 212051478961 0 4 0 16800975 18446604471145673920 0 0 -1 1 0 0 0
[pid=16006/tid=16021] ppid=16004 vsize=6448504 CPUtime=0.34 cores=1,3
/proc/16006/task/16021/stat : 16021 (java) R 16004 16006 14728 0 -1 4202560 3644 0 0 0 34 0 0 0 16 0 18 0 896049433 6603268096 157706 33554432000 1073741824 1073778376 140736211184672 18446744073709551615 47839621959308 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=16006/tid=16022] ppid=16004 vsize=6448504 CPUtime=0.4 cores=1,3
/proc/16006/task/16022/stat : 16022 (java) R 16004 16006 14728 0 -1 4202560 7927 0 0 0 40 0 0 0 16 0 18 0 896049433 6603268096 157706 33554432000 1073741824 1073778376 140736211184672 18446744073709551615 47839623552840 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=16006/tid=16023] ppid=16004 vsize=6448504 CPUtime=0 cores=1,3
/proc/16006/task/16023/stat : 16023 (java) S 16004 16006 14728 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896049433 6603268096 157706 33554432000 1073741824 1073778376 140736211184672 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 1 0 0 0
[pid=16006/tid=16024] ppid=16004 vsize=6448504 CPUtime=0 cores=1,3
/proc/16006/task/16024/stat : 16024 (java) S 16004 16006 14728 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 896049433 6603268096 157706 33554432000 1073741824 1073778376 140736211184672 18446744073709551615 212051471872 0 4 0 16800975 18446604471145673920 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.02
Current children cumulated vsize (KiB) 6448504
[startup+3.60073 s]
/proc/loadavg: 1.77 0.51 0.17 7/240 16047
/proc/meminfo: memFree=15152312/32951124 swapFree=67050916/67111528
[pid=16006] ppid=16004 vsize=6448504 CPUtime=4.19 cores=1,3
/proc/16006/stat : 16006 (java) S 16004 16006 14728 0 -1 4202496 162658 0 1 0 400 19 0 0 22 0 18 0 896049428 6603268096 157901 33554432000 1073741824 1073778376 140736211184672 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/16006/statm: 1612126 157901 2222 9 0 1602864 0
[pid=16006/tid=16007] ppid=16004 vsize=6448504 CPUtime=3.34 cores=1,3
/proc/16006/task/16007/stat : 16007 (java) R 16004 16006 14728 0 -1 4202560 149813 0 1 0 316 18 0 0 25 0 18 0 896049428 6603268096 157901 33554432000 1073741824 1073778376 140736211184672 18446744073709551615 46912505217820 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=16006/tid=16009] ppid=16004 vsize=6448504 CPUtime=0 cores=1,3
/proc/16006/task/16009/stat : 16009 (java) S 16004 16006 14728 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896049429 6603268096 157901 33554432000 1073741824 1073778376 140736211184672 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 3 0 0 0
[pid=16006/tid=16010] ppid=16004 vsize=6448504 CPUtime=0 cores=1,3
/proc/16006/task/16010/stat : 16010 (java) S 16004 16006 14728 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 896049429 6603268096 157901 33554432000 1073741824 1073778376 140736211184672 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 3 0 0 0
[pid=16006/tid=16011] ppid=16004 vsize=6448504 CPUtime=0 cores=1,3
/proc/16006/task/16011/stat : 16011 (java) S 16004 16006 14728 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896049429 6603268096 157901 33554432000 1073741824 1073778376 140736211184672 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 3 0 0 0
[pid=16006/tid=16012] ppid=16004 vsize=6448504 CPUtime=0 cores=1,3
/proc/16006/task/16012/stat : 16012 (java) S 16004 16006 14728 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896049429 6603268096 157901 33554432000 1073741824 1073778376 140736211184672 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 3 0 0 0
[pid=16006/tid=16013] ppid=16004 vsize=6448504 CPUtime=0 cores=1,3
/proc/16006/task/16013/stat : 16013 (java) S 16004 16006 14728 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896049429 6603268096 157901 33554432000 1073741824 1073778376 140736211184672 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 3 0 0 0
[pid=16006/tid=16014] ppid=16004 vsize=6448504 CPUtime=0 cores=1,3
/proc/16006/task/16014/stat : 16014 (java) S 16004 16006 14728 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896049429 6603268096 157901 33554432000 1073741824 1073778376 140736211184672 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 3 0 0 0
[pid=16006/tid=16015] ppid=16004 vsize=6448504 CPUtime=0 cores=1,3
/proc/16006/task/16015/stat : 16015 (java) S 16004 16006 14728 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896049429 6603268096 157901 33554432000 1073741824 1073778376 140736211184672 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 3 0 0 0
[pid=16006/tid=16016] ppid=16004 vsize=6448504 CPUtime=0 cores=1,3
/proc/16006/task/16016/stat : 16016 (java) S 16004 16006 14728 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896049429 6603268096 157901 33554432000 1073741824 1073778376 140736211184672 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 3 0 0 0
[pid=16006/tid=16017] ppid=16004 vsize=6448504 CPUtime=0 cores=1,3
/proc/16006/task/16017/stat : 16017 (java) S 16004 16006 14728 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 18 0 896049430 6603268096 157901 33554432000 1073741824 1073778376 140736211184672 18446744073709551615 212051471872 0 0 0 16800975 18446604471145673920 0 0 -1 1 0 0 0
[pid=16006/tid=16018] ppid=16004 vsize=6448504 CPUtime=0 cores=1,3
/proc/16006/task/16018/stat : 16018 (java) S 16004 16006 14728 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 896049431 6603268096 157901 33554432000 1073741824 1073778376 140736211184672 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 1 0 0 0
[pid=16006/tid=16019] ppid=16004 vsize=6448504 CPUtime=0 cores=1,3
/proc/16006/task/16019/stat : 16019 (java) S 16004 16006 14728 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 896049431 6603268096 157901 33554432000 1073741824 1073778376 140736211184672 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 1 0 0 0
[pid=16006/tid=16020] ppid=16004 vsize=6448504 CPUtime=0 cores=1,3
/proc/16006/task/16020/stat : 16020 (java) S 16004 16006 14728 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896049433 6603268096 157901 33554432000 1073741824 1073778376 140736211184672 18446744073709551615 212051478961 0 4 0 16800975 18446604471145673920 0 0 -1 1 0 0 0
[pid=16006/tid=16021] ppid=16004 vsize=6448504 CPUtime=0.38 cores=1,3
/proc/16006/task/16021/stat : 16021 (java) S 16004 16006 14728 0 -1 4202560 3758 0 0 0 38 0 0 0 16 0 18 0 896049433 6603268096 157901 33554432000 1073741824 1073778376 140736211184672 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 3 0 0 0
[pid=16006/tid=16022] ppid=16004 vsize=6448504 CPUtime=0.44 cores=1,3
/proc/16006/task/16022/stat : 16022 (java) S 16004 16006 14728 0 -1 4202560 7932 0 0 0 44 0 0 0 16 0 18 0 896049433 6603268096 157901 33554432000 1073741824 1073778376 140736211184672 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 1 0 0 0
[pid=16006/tid=16023] ppid=16004 vsize=6448504 CPUtime=0 cores=1,3
/proc/16006/task/16023/stat : 16023 (java) S 16004 16006 14728 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896049433 6603268096 157901 33554432000 1073741824 1073778376 140736211184672 18446744073709551615 212051471257 0 4 0 16800975 18446604471145673920 0 0 -1 1 0 0 0
[pid=16006/tid=16024] ppid=16004 vsize=6448504 CPUtime=0 cores=1,3
/proc/16006/task/16024/stat : 16024 (java) S 16004 16006 14728 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 896049433 6603268096 157901 33554432000 1073741824 1073778376 140736211184672 18446744073709551615 212051471872 0 4 0 16800975 18446604471145673920 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.19
Current children cumulated vsize (KiB) 6448504
Child status: 20
Real time (s): 3.6797
CPU time (s): 4.28335
CPU user time (s): 4.06238
CPU system time (s): 0.220966
CPU usage (%): 116.405
Max. virtual memory (cumulated for all children) (KiB): 6448504
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.06238
system time used= 0.220966
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 162691
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= 267
involuntary context switches= 215
runsolver used 0.007998 second user time and 0.017997 second system time
The end