runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3459294-1307634098/watcher-3459294-1307634098 -o /tmp/evaluation-result-3459294-1307634098/solver-3459294-1307634098 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3459294-1307634098.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.04 1.88 1.21 2/195 26704
/proc/meminfo: memFree=32105304/32951124 swapFree=67050780/67111528
[pid=26704] ppid=26702 vsize=30528 CPUtime=0 cores=0,2,4,6
/proc/26704/stat : 26704 (java) S 26702 26704 26276 0 -1 4202496 1237 0 0 0 0 0 0 0 25 0 2 0 875012670 31260672 957 33554432000 1073741824 1073778376 140735604532480 18446744073709551615 218382759909 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/26704/statm: 7632 957 730 9 0 383 0
[pid=26704/tid=26705] ppid=26702 vsize=30540 CPUtime=0 cores=0,2,4,6
/proc/26704/task/26705/stat : 26705 (java) R 26702 26704 26276 0 -1 4202560 125 0 0 0 0 0 0 0 25 0 2 0 875012671 31272960 959 33554432000 1073741824 1073778376 140735604532480 18446744073709551615 218370957115 0 0 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.100421 s]
/proc/loadavg: 2.04 1.88 1.21 2/195 26704
/proc/meminfo: memFree=32105304/32951124 swapFree=67050780/67111528
[pid=26704] ppid=26702 vsize=13687700 CPUtime=0.1 cores=0,2,4,6
/proc/26704/stat : 26704 (java) S 26702 26704 26276 0 -1 4202496 15632 0 1 0 9 1 0 0 25 0 18 0 875012670 14016204800 15284 33554432000 1073741824 1073778376 140735604532480 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/26704/statm: 3421925 15287 2092 9 0 3412659 0
[pid=26704/tid=26705] ppid=26702 vsize=13687700 CPUtime=0.09 cores=0,2,4,6
/proc/26704/task/26705/stat : 26705 (java) R 26702 26704 26276 0 -1 4202560 13657 0 1 0 8 1 0 0 18 0 18 0 875012671 14016204800 15287 33554432000 1073741824 1073778376 140735604532480 18446744073709551615 46912496197392 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13687700
[startup+0.200459 s]
/proc/loadavg: 2.04 1.88 1.21 2/195 26704
/proc/meminfo: memFree=32105304/32951124 swapFree=67050780/67111528
[pid=26704] ppid=26702 vsize=13687700 CPUtime=0.26 cores=0,2,4,6
/proc/26704/stat : 26704 (java) S 26702 26704 26276 0 -1 4202496 16547 0 1 0 25 1 0 0 25 0 18 0 875012670 14016204800 16169 33554432000 1073741824 1073778376 140735604532480 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/26704/statm: 3421925 16169 2170 9 0 3412659 0
[pid=26704/tid=26705] ppid=26702 vsize=13687700 CPUtime=0.19 cores=0,2,4,6
/proc/26704/task/26705/stat : 26705 (java) R 26702 26704 26276 0 -1 4202560 14325 0 1 0 18 1 0 0 18 0 18 0 875012671 14016204800 16169 33554432000 1073741824 1073778376 140735604532480 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 13687700
[startup+0.307387 s]
/proc/loadavg: 2.04 1.88 1.21 2/195 26704
/proc/meminfo: memFree=32105304/32951124 swapFree=67050780/67111528
[pid=26704] ppid=26702 vsize=13689748 CPUtime=0.5 cores=0,2,4,6
/proc/26704/stat : 26704 (java) S 26702 26704 26276 0 -1 4202496 18682 0 1 0 48 2 0 0 25 0 18 0 875012670 14018301952 18267 33554432000 1073741824 1073778376 140735604532480 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/26704/statm: 3422437 18269 2202 9 0 3413171 0
[pid=26704/tid=26705] ppid=26702 vsize=13689748 CPUtime=0.29 cores=0,2,4,6
/proc/26704/task/26705/stat : 26705 (java) R 26702 26704 26276 0 -1 4202560 15743 0 1 0 28 1 0 0 18 0 18 0 875012671 14018301952 18269 33554432000 1073741824 1073778376 140735604532480 18446744073709551615 47946947709748 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 13689748
[startup+0.70035 s]
/proc/loadavg: 2.04 1.88 1.21 2/195 26704
/proc/meminfo: memFree=32105304/32951124 swapFree=67050780/67111528
[pid=26704] ppid=26702 vsize=13693844 CPUtime=1.18 cores=0,2,4,6
/proc/26704/stat : 26704 (java) S 26702 26704 26276 0 -1 4202496 57174 0 1 0 112 6 0 0 25 0 18 0 875012670 14022496256 55602 33554432000 1073741824 1073778376 140735604532480 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/26704/statm: 3423461 55607 2214 9 0 3414195 0
[pid=26704/tid=26705] ppid=26702 vsize=13693844 CPUtime=0.69 cores=0,2,4,6
/proc/26704/task/26705/stat : 26705 (java) R 26702 26704 26276 0 -1 4202560 51322 0 1 0 64 5 0 0 18 0 18 0 875012671 14022496256 55609 33554432000 1073741824 1073778376 140735604532480 18446744073709551615 46912505558822 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 13693844
[startup+1.50126 s]
/proc/loadavg: 2.04 1.88 1.21 3/213 26722
/proc/meminfo: memFree=31710432/32951124 swapFree=67050780/67111528
[pid=26704] ppid=26702 vsize=13693844 CPUtime=1.98 cores=0,2,4,6
/proc/26704/stat : 26704 (java) S 26702 26704 26276 0 -1 4202496 147499 0 1 0 183 15 0 0 25 0 18 0 875012670 14022496256 145928 33554432000 1073741824 1073778376 140735604532480 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/26704/statm: 3423461 145932 2214 9 0 3414195 0
[pid=26704/tid=26705] ppid=26702 vsize=13693844 CPUtime=1.48 cores=0,2,4,6
/proc/26704/task/26705/stat : 26705 (java) R 26702 26704 26276 0 -1 4202560 141648 0 1 0 134 14 0 0 19 0 18 0 875012671 14022496256 145935 33554432000 1073741824 1073778376 140735604532480 18446744073709551615 46912505567746 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=26704/tid=26707] ppid=26702 vsize=13693844 CPUtime=0 cores=0,2,4,6
/proc/26704/task/26707/stat : 26707 (java) S 26702 26704 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875012673 14022496256 145938 33554432000 1073741824 1073778376 140735604532480 18446744073709551615 218382773145 0 4 0 16800975 18446604449758259328 0 0 -1 4 0 0 0
[pid=26704/tid=26708] ppid=26702 vsize=13693844 CPUtime=0 cores=0,2,4,6
/proc/26704/task/26708/stat : 26708 (java) S 26702 26704 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875012673 14022496256 145941 33554432000 1073741824 1073778376 140735604532480 18446744073709551615 218382773145 0 4 0 16800975 18446604449758259328 0 0 -1 4 0 0 0
[pid=26704/tid=26709] ppid=26702 vsize=13693844 CPUtime=0 cores=0,2,4,6
/proc/26704/task/26709/stat : 26709 (java) S 26702 26704 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875012673 14022496256 145944 33554432000 1073741824 1073778376 140735604532480 18446744073709551615 218382773145 0 4 0 16800975 18446604449758259328 0 0 -1 4 0 0 0
[pid=26704/tid=26710] ppid=26702 vsize=13693844 CPUtime=0 cores=0,2,4,6
/proc/26704/task/26710/stat : 26710 (java) S 26702 26704 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875012673 14022496256 145946 33554432000 1073741824 1073778376 140735604532480 18446744073709551615 218382773145 0 4 0 16800975 18446604449758259328 0 0 -1 4 0 0 0
[pid=26704/tid=26711] ppid=26702 vsize=13693844 CPUtime=0 cores=0,2,4,6
/proc/26704/task/26711/stat : 26711 (java) S 26702 26704 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875012673 14022496256 145949 33554432000 1073741824 1073778376 140735604532480 18446744073709551615 218382773145 0 4 0 16800975 18446604449758259328 0 0 -1 4 0 0 0
[pid=26704/tid=26712] ppid=26702 vsize=13693844 CPUtime=0 cores=0,2,4,6
/proc/26704/task/26712/stat : 26712 (java) S 26702 26704 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875012673 14022496256 145952 33554432000 1073741824 1073778376 140735604532480 18446744073709551615 218382773145 0 4 0 16800975 18446604449758259328 0 0 -1 4 0 0 0
[pid=26704/tid=26713] ppid=26702 vsize=13693844 CPUtime=0 cores=0,2,4,6
/proc/26704/task/26713/stat : 26713 (java) S 26702 26704 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875012673 14022496256 145955 33554432000 1073741824 1073778376 140735604532480 18446744073709551615 218382773145 0 4 0 16800975 18446604449758259328 0 0 -1 4 0 0 0
[pid=26704/tid=26714] ppid=26702 vsize=13693844 CPUtime=0 cores=0,2,4,6
/proc/26704/task/26714/stat : 26714 (java) S 26702 26704 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875012673 14022496256 145957 33554432000 1073741824 1073778376 140735604532480 18446744073709551615 218382773145 0 4 0 16800975 18446604449758259328 0 0 -1 4 0 0 0
[pid=26704/tid=26715] ppid=26702 vsize=13693844 CPUtime=0 cores=0,2,4,6
/proc/26704/task/26715/stat : 26715 (java) S 26702 26704 26276 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 875012674 14022496256 145960 33554432000 1073741824 1073778376 140735604532480 18446744073709551615 218382773760 0 0 0 16800975 18446604449758259328 0 0 -1 0 0 0 0
[pid=26704/tid=26716] ppid=26702 vsize=13693844 CPUtime=0 cores=0,2,4,6
/proc/26704/task/26716/stat : 26716 (java) S 26702 26704 26276 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 875012674 14022496256 145963 33554432000 1073741824 1073778376 140735604532480 18446744073709551615 218382773145 0 4 0 16800975 18446604449758259328 0 0 -1 2 0 0 0
[pid=26704/tid=26717] ppid=26702 vsize=13693844 CPUtime=0 cores=0,2,4,6
/proc/26704/task/26717/stat : 26717 (java) S 26702 26704 26276 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 875012674 14022496256 145966 33554432000 1073741824 1073778376 140735604532480 18446744073709551615 218382773145 0 4 0 16800975 18446604449758259328 0 0 -1 2 0 0 0
[pid=26704/tid=26718] ppid=26702 vsize=13693844 CPUtime=0 cores=0,2,4,6
/proc/26704/task/26718/stat : 26718 (java) S 26702 26704 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875012676 14022496256 145969 33554432000 1073741824 1073778376 140735604532480 18446744073709551615 218382780849 0 4 0 16800975 18446604449758259328 0 0 -1 2 0 0 0
[pid=26704/tid=26719] ppid=26702 vsize=13693844 CPUtime=0.25 cores=0,2,4,6
/proc/26704/task/26719/stat : 26719 (java) S 26702 26704 26276 0 -1 4202560 2043 0 0 0 25 0 0 0 17 0 18 0 875012676 14022496256 145972 33554432000 1073741824 1073778376 140735604532480 18446744073709551615 218382773145 0 4 0 16800975 18446604449758259328 0 0 -1 4 0 0 0
[pid=26704/tid=26720] ppid=26702 vsize=13693844 CPUtime=0.22 cores=0,2,4,6
/proc/26704/task/26720/stat : 26720 (java) S 26702 26704 26276 0 -1 4202560 2666 0 0 0 22 0 0 0 16 0 18 0 875012676 14022496256 145975 33554432000 1073741824 1073778376 140735604532480 18446744073709551615 218382773145 0 4 0 16800975 18446604449758259328 0 0 -1 0 0 0 0
[pid=26704/tid=26721] ppid=26702 vsize=13693844 CPUtime=0 cores=0,2,4,6
/proc/26704/task/26721/stat : 26721 (java) S 26702 26704 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875012676 14022496256 145977 33554432000 1073741824 1073778376 140735604532480 18446744073709551615 218382773145 0 4 0 16800975 18446604449758259328 0 0 -1 2 0 0 0
[pid=26704/tid=26722] ppid=26702 vsize=13693844 CPUtime=0 cores=0,2,4,6
/proc/26704/task/26722/stat : 26722 (java) S 26702 26704 26276 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 875012676 14022496256 145980 33554432000 1073741824 1073778376 140735604532480 18446744073709551615 218382773760 0 4 0 16800975 18446604449758259328 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.98
Current children cumulated vsize (KiB) 13693844
[startup+3.10095 s]
/proc/loadavg: 2.04 1.88 1.21 3/213 26722
/proc/meminfo: memFree=31213564/32951124 swapFree=67050780/67111528
[pid=26704] ppid=26702 vsize=13693844 CPUtime=3.59 cores=0,2,4,6
/proc/26704/stat : 26704 (java) S 26702 26704 26276 0 -1 4202496 327754 0 1 0 324 35 0 0 25 0 18 0 875012670 14022496256 326182 33554432000 1073741824 1073778376 140735604532480 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/26704/statm: 3423461 326187 2214 9 0 3414195 0
[pid=26704/tid=26705] ppid=26702 vsize=13693844 CPUtime=3.08 cores=0,2,4,6
/proc/26704/task/26705/stat : 26705 (java) R 26702 26704 26276 0 -1 4202560 321903 0 1 0 275 33 0 0 23 0 18 0 875012671 14022496256 326190 33554432000 1073741824 1073778376 140735604532480 18446744073709551615 46912505558697 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=26704/tid=26707] ppid=26702 vsize=13693844 CPUtime=0 cores=0,2,4,6
/proc/26704/task/26707/stat : 26707 (java) S 26702 26704 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875012673 14022496256 326193 33554432000 1073741824 1073778376 140735604532480 18446744073709551615 218382773145 0 4 0 16800975 18446604449758259328 0 0 -1 4 0 0 0
[pid=26704/tid=26708] ppid=26702 vsize=13693844 CPUtime=0 cores=0,2,4,6
/proc/26704/task/26708/stat : 26708 (java) S 26702 26704 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875012673 14022496256 326195 33554432000 1073741824 1073778376 140735604532480 18446744073709551615 218382773145 0 4 0 16800975 18446604449758259328 0 0 -1 4 0 0 0
[pid=26704/tid=26709] ppid=26702 vsize=13693844 CPUtime=0 cores=0,2,4,6
/proc/26704/task/26709/stat : 26709 (java) S 26702 26704 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875012673 14022496256 326198 33554432000 1073741824 1073778376 140735604532480 18446744073709551615 218382773145 0 4 0 16800975 18446604449758259328 0 0 -1 4 0 0 0
[pid=26704/tid=26710] ppid=26702 vsize=13693844 CPUtime=0 cores=0,2,4,6
/proc/26704/task/26710/stat : 26710 (java) S 26702 26704 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875012673 14022496256 326201 33554432000 1073741824 1073778376 140735604532480 18446744073709551615 218382773145 0 4 0 16800975 18446604449758259328 0 0 -1 4 0 0 0
[pid=26704/tid=26711] ppid=26702 vsize=13693844 CPUtime=0 cores=0,2,4,6
/proc/26704/task/26711/stat : 26711 (java) S 26702 26704 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875012673 14022496256 326204 33554432000 1073741824 1073778376 140735604532480 18446744073709551615 218382773145 0 4 0 16800975 18446604449758259328 0 0 -1 4 0 0 0
[pid=26704/tid=26712] ppid=26702 vsize=13693844 CPUtime=0 cores=0,2,4,6
/proc/26704/task/26712/stat : 26712 (java) S 26702 26704 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875012673 14022496256 326207 33554432000 1073741824 1073778376 140735604532480 18446744073709551615 218382773145 0 4 0 16800975 18446604449758259328 0 0 -1 4 0 0 0
[pid=26704/tid=26713] ppid=26702 vsize=13693844 CPUtime=0 cores=0,2,4,6
/proc/26704/task/26713/stat : 26713 (java) S 26702 26704 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875012673 14022496256 326209 33554432000 1073741824 1073778376 140735604532480 18446744073709551615 218382773145 0 4 0 16800975 18446604449758259328 0 0 -1 4 0 0 0
[pid=26704/tid=26714] ppid=26702 vsize=13693844 CPUtime=0 cores=0,2,4,6
/proc/26704/task/26714/stat : 26714 (java) S 26702 26704 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875012673 14022496256 326212 33554432000 1073741824 1073778376 140735604532480 18446744073709551615 218382773145 0 4 0 16800975 18446604449758259328 0 0 -1 4 0 0 0
[pid=26704/tid=26715] ppid=26702 vsize=13693844 CPUtime=0 cores=0,2,4,6
/proc/26704/task/26715/stat : 26715 (java) S 26702 26704 26276 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 875012674 14022496256 326215 33554432000 1073741824 1073778376 140735604532480 18446744073709551615 218382773760 0 0 0 16800975 18446604449758259328 0 0 -1 0 0 0 0
[pid=26704/tid=26716] ppid=26702 vsize=13693844 CPUtime=0 cores=0,2,4,6
/proc/26704/task/26716/stat : 26716 (java) S 26702 26704 26276 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 875012674 14022496256 326217 33554432000 1073741824 1073778376 140735604532480 18446744073709551615 218382773145 0 4 0 16800975 18446604449758259328 0 0 -1 2 0 0 0
[pid=26704/tid=26717] ppid=26702 vsize=13693844 CPUtime=0 cores=0,2,4,6
/proc/26704/task/26717/stat : 26717 (java) S 26702 26704 26276 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 875012674 14022496256 326220 33554432000 1073741824 1073778376 140735604532480 18446744073709551615 218382773145 0 4 0 16800975 18446604449758259328 0 0 -1 2 0 0 0
[pid=26704/tid=26718] ppid=26702 vsize=13693844 CPUtime=0 cores=0,2,4,6
/proc/26704/task/26718/stat : 26718 (java) S 26702 26704 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875012676 14022496256 326223 33554432000 1073741824 1073778376 140735604532480 18446744073709551615 218382780849 0 4 0 16800975 18446604449758259328 0 0 -1 2 0 0 0
[pid=26704/tid=26719] ppid=26702 vsize=13693844 CPUtime=0.25 cores=0,2,4,6
/proc/26704/task/26719/stat : 26719 (java) S 26702 26704 26276 0 -1 4202560 2043 0 0 0 25 0 0 0 17 0 18 0 875012676 14022496256 326226 33554432000 1073741824 1073778376 140735604532480 18446744073709551615 218382773145 0 4 0 16800975 18446604449758259328 0 0 -1 4 0 0 0
[pid=26704/tid=26720] ppid=26702 vsize=13693844 CPUtime=0.23 cores=0,2,4,6
/proc/26704/task/26720/stat : 26720 (java) S 26702 26704 26276 0 -1 4202560 2666 0 0 0 23 0 0 0 15 0 18 0 875012676 14022496256 326229 33554432000 1073741824 1073778376 140735604532480 18446744073709551615 218382773145 0 4 0 16800975 18446604449758259328 0 0 -1 0 0 0 0
[pid=26704/tid=26721] ppid=26702 vsize=13693844 CPUtime=0 cores=0,2,4,6
/proc/26704/task/26721/stat : 26721 (java) S 26702 26704 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875012676 14022496256 326231 33554432000 1073741824 1073778376 140735604532480 18446744073709551615 218382773145 0 4 0 16800975 18446604449758259328 0 0 -1 2 0 0 0
[pid=26704/tid=26722] ppid=26702 vsize=13693844 CPUtime=0 cores=0,2,4,6
/proc/26704/task/26722/stat : 26722 (java) S 26702 26704 26276 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 875012676 14022496256 326234 33554432000 1073741824 1073778376 140735604532480 18446744073709551615 218382773760 0 4 0 16800975 18446604449758259328 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3.59
Current children cumulated vsize (KiB) 13693844
Solver just ended. Dumping a history of the last processes samples
[startup+3.20094 s]
/proc/loadavg: 2.04 1.88 1.21 3/213 26722
/proc/meminfo: memFree=31213564/32951124 swapFree=67050780/67111528
[pid=26704] ppid=26702 vsize=13693844 CPUtime=3.68 cores=0,2,4,6
/proc/26704/stat : 26704 (java) S 26702 26704 26276 0 -1 4202496 338917 0 1 0 332 36 0 0 25 0 18 0 875012670 14022496256 337345 33554432000 1073741824 1073778376 140735604532480 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/26704/statm: 3423461 337348 2214 9 0 3414195 0
[pid=26704/tid=26705] ppid=26702 vsize=13693844 CPUtime=3.18 cores=0,2,4,6
/proc/26704/task/26705/stat : 26705 (java) R 26702 26704 26276 0 -1 4202560 333061 0 1 0 284 34 0 0 23 0 18 0 875012671 14022496256 337348 33554432000 1073741824 1073778376 140735604532480 18446744073709551615 218382783947 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=26704/tid=26707] ppid=26702 vsize=13693844 CPUtime=0 cores=0,2,4,6
/proc/26704/task/26707/stat : 26707 (java) S 26702 26704 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875012673 14022496256 337351 33554432000 1073741824 1073778376 140735604532480 18446744073709551615 218382773145 0 4 0 16800975 18446604449758259328 0 0 -1 4 0 0 0
[pid=26704/tid=26708] ppid=26702 vsize=13693844 CPUtime=0 cores=0,2,4,6
/proc/26704/task/26708/stat : 26708 (java) S 26702 26704 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875012673 14022496256 337354 33554432000 1073741824 1073778376 140735604532480 18446744073709551615 218382773145 0 4 0 16800975 18446604449758259328 0 0 -1 4 0 0 0
[pid=26704/tid=26709] ppid=26702 vsize=13693844 CPUtime=0 cores=0,2,4,6
/proc/26704/task/26709/stat : 26709 (java) S 26702 26704 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875012673 14022496256 337357 33554432000 1073741824 1073778376 140735604532480 18446744073709551615 218382773145 0 4 0 16800975 18446604449758259328 0 0 -1 4 0 0 0
[pid=26704/tid=26710] ppid=26702 vsize=13693844 CPUtime=0 cores=0,2,4,6
/proc/26704/task/26710/stat : 26710 (java) S 26702 26704 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875012673 14022496256 337360 33554432000 1073741824 1073778376 140735604532480 18446744073709551615 218382773145 0 4 0 16800975 18446604449758259328 0 0 -1 4 0 0 0
[pid=26704/tid=26711] ppid=26702 vsize=13693844 CPUtime=0 cores=0,2,4,6
/proc/26704/task/26711/stat : 26711 (java) S 26702 26704 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875012673 14022496256 337363 33554432000 1073741824 1073778376 140735604532480 18446744073709551615 218382773145 0 4 0 16800975 18446604449758259328 0 0 -1 4 0 0 0
[pid=26704/tid=26712] ppid=26702 vsize=13693844 CPUtime=0 cores=0,2,4,6
/proc/26704/task/26712/stat : 26712 (java) S 26702 26704 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875012673 14022496256 337365 33554432000 1073741824 1073778376 140735604532480 18446744073709551615 218382773145 0 4 0 16800975 18446604449758259328 0 0 -1 4 0 0 0
[pid=26704/tid=26713] ppid=26702 vsize=13693844 CPUtime=0 cores=0,2,4,6
/proc/26704/task/26713/stat : 26713 (java) S 26702 26704 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875012673 14022496256 337368 33554432000 1073741824 1073778376 140735604532480 18446744073709551615 218382773145 0 4 0 16800975 18446604449758259328 0 0 -1 4 0 0 0
[pid=26704/tid=26714] ppid=26702 vsize=13693844 CPUtime=0 cores=0,2,4,6
/proc/26704/task/26714/stat : 26714 (java) S 26702 26704 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875012673 14022496256 337371 33554432000 1073741824 1073778376 140735604532480 18446744073709551615 218382773145 0 4 0 16800975 18446604449758259328 0 0 -1 4 0 0 0
[pid=26704/tid=26715] ppid=26702 vsize=13693844 CPUtime=0 cores=0,2,4,6
/proc/26704/task/26715/stat : 26715 (java) S 26702 26704 26276 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 875012674 14022496256 337374 33554432000 1073741824 1073778376 140735604532480 18446744073709551615 218382773760 0 0 0 16800975 18446604449758259328 0 0 -1 0 0 0 0
[pid=26704/tid=26716] ppid=26702 vsize=13693844 CPUtime=0 cores=0,2,4,6
/proc/26704/task/26716/stat : 26716 (java) S 26702 26704 26276 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 875012674 14022496256 337376 33554432000 1073741824 1073778376 140735604532480 18446744073709551615 218382773145 0 4 0 16800975 18446604449758259328 0 0 -1 2 0 0 0
[pid=26704/tid=26717] ppid=26702 vsize=13693844 CPUtime=0 cores=0,2,4,6
/proc/26704/task/26717/stat : 26717 (java) S 26702 26704 26276 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 875012674 14022496256 337379 33554432000 1073741824 1073778376 140735604532480 18446744073709551615 218382773145 0 4 0 16800975 18446604449758259328 0 0 -1 2 0 0 0
[pid=26704/tid=26718] ppid=26702 vsize=13693844 CPUtime=0 cores=0,2,4,6
/proc/26704/task/26718/stat : 26718 (java) S 26702 26704 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875012676 14022496256 337382 33554432000 1073741824 1073778376 140735604532480 18446744073709551615 218382780849 0 4 0 16800975 18446604449758259328 0 0 -1 2 0 0 0
[pid=26704/tid=26719] ppid=26702 vsize=13693844 CPUtime=0.25 cores=0,2,4,6
/proc/26704/task/26719/stat : 26719 (java) S 26702 26704 26276 0 -1 4202560 2043 0 0 0 25 0 0 0 17 0 18 0 875012676 14022496256 337384 33554432000 1073741824 1073778376 140735604532480 18446744073709551615 218382773145 0 4 0 16800975 18446604449758259328 0 0 -1 4 0 0 0
[pid=26704/tid=26720] ppid=26702 vsize=13693844 CPUtime=0.23 cores=0,2,4,6
/proc/26704/task/26720/stat : 26720 (java) S 26702 26704 26276 0 -1 4202560 2666 0 0 0 23 0 0 0 15 0 18 0 875012676 14022496256 337387 33554432000 1073741824 1073778376 140735604532480 18446744073709551615 218382773145 0 4 0 16800975 18446604449758259328 0 0 -1 0 0 0 0
[pid=26704/tid=26721] ppid=26702 vsize=13693844 CPUtime=0 cores=0,2,4,6
/proc/26704/task/26721/stat : 26721 (java) S 26702 26704 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875012676 14022496256 337390 33554432000 1073741824 1073778376 140735604532480 18446744073709551615 218382773145 0 4 0 16800975 18446604449758259328 0 0 -1 2 0 0 0
[pid=26704/tid=26722] ppid=26702 vsize=13693844 CPUtime=0 cores=0,2,4,6
/proc/26704/task/26722/stat : 26722 (java) S 26702 26704 26276 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 875012676 14022496256 337394 33554432000 1073741824 1073778376 140735604532480 18446744073709551615 218382773760 0 4 0 16800975 18446604449758259328 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3.68
Current children cumulated vsize (KiB) 13693844
[startup+4.80065 s]
/proc/loadavg: 2.03 1.88 1.21 3/213 26722
/proc/meminfo: memFree=30210156/32951124 swapFree=67050780/67111528
[pid=26704] ppid=26702 vsize=13693844 CPUtime=5.29 cores=0,2,4,6
/proc/26704/stat : 26704 (java) S 26702 26704 26276 0 -1 4202496 528651 0 1 0 470 59 0 0 25 0 18 0 875012670 14022496256 527078 33554432000 1073741824 1073778376 140735604532480 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/26704/statm: 3423461 527084 2217 9 0 3414195 0
[pid=26704/tid=26705] ppid=26702 vsize=13693844 CPUtime=4.79 cores=0,2,4,6
/proc/26704/task/26705/stat : 26705 (java) R 26702 26704 26276 0 -1 4202560 522798 0 1 0 421 58 0 0 18 0 18 0 875012671 14022496256 527087 33554432000 1073741824 1073778376 140735604532480 18446744073709551615 46912505575500 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=26704/tid=26707] ppid=26702 vsize=13693844 CPUtime=0 cores=0,2,4,6
/proc/26704/task/26707/stat : 26707 (java) S 26702 26704 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875012673 14022496256 527090 33554432000 1073741824 1073778376 140735604532480 18446744073709551615 218382773145 0 4 0 16800975 18446604449758259328 0 0 -1 4 0 0 0
[pid=26704/tid=26708] ppid=26702 vsize=13693844 CPUtime=0 cores=0,2,4,6
/proc/26704/task/26708/stat : 26708 (java) S 26702 26704 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875012673 14022496256 527094 33554432000 1073741824 1073778376 140735604532480 18446744073709551615 218382773145 0 4 0 16800975 18446604449758259328 0 0 -1 4 0 0 0
[pid=26704/tid=26709] ppid=26702 vsize=13693844 CPUtime=0 cores=0,2,4,6
/proc/26704/task/26709/stat : 26709 (java) S 26702 26704 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875012673 14022496256 527097 33554432000 1073741824 1073778376 140735604532480 18446744073709551615 218382773145 0 4 0 16800975 18446604449758259328 0 0 -1 4 0 0 0
[pid=26704/tid=26710] ppid=26702 vsize=13693844 CPUtime=0 cores=0,2,4,6
/proc/26704/task/26710/stat : 26710 (java) S 26702 26704 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875012673 14022496256 527101 33554432000 1073741824 1073778376 140735604532480 18446744073709551615 218382773145 0 4 0 16800975 18446604449758259328 0 0 -1 4 0 0 0
[pid=26704/tid=26711] ppid=26702 vsize=13693844 CPUtime=0 cores=0,2,4,6
/proc/26704/task/26711/stat : 26711 (java) S 26702 26704 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875012673 14022496256 527104 33554432000 1073741824 1073778376 140735604532480 18446744073709551615 218382773145 0 4 0 16800975 18446604449758259328 0 0 -1 4 0 0 0
[pid=26704/tid=26712] ppid=26702 vsize=13693844 CPUtime=0 cores=0,2,4,6
/proc/26704/task/26712/stat : 26712 (java) S 26702 26704 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875012673 14022496256 527107 33554432000 1073741824 1073778376 140735604532480 18446744073709551615 218382773145 0 4 0 16800975 18446604449758259328 0 0 -1 4 0 0 0
[pid=26704/tid=26713] ppid=26702 vsize=13693844 CPUtime=0 cores=0,2,4,6
/proc/26704/task/26713/stat : 26713 (java) S 26702 26704 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875012673 14022496256 527110 33554432000 1073741824 1073778376 140735604532480 18446744073709551615 218382773145 0 4 0 16800975 18446604449758259328 0 0 -1 4 0 0 0
[pid=26704/tid=26714] ppid=26702 vsize=13693844 CPUtime=0 cores=0,2,4,6
/proc/26704/task/26714/stat : 26714 (java) S 26702 26704 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875012673 14022496256 527114 33554432000 1073741824 1073778376 140735604532480 18446744073709551615 218382773145 0 4 0 16800975 18446604449758259328 0 0 -1 4 0 0 0
[pid=26704/tid=26715] ppid=26702 vsize=13693844 CPUtime=0 cores=0,2,4,6
/proc/26704/task/26715/stat : 26715 (java) S 26702 26704 26276 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 18 0 875012674 14022496256 527117 33554432000 1073741824 1073778376 140735604532480 18446744073709551615 218382773760 0 0 0 16800975 18446604449758259328 0 0 -1 0 0 0 0
[pid=26704/tid=26716] ppid=26702 vsize=13693844 CPUtime=0 cores=0,2,4,6
/proc/26704/task/26716/stat : 26716 (java) S 26702 26704 26276 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 875012674 14022496256 527120 33554432000 1073741824 1073778376 140735604532480 18446744073709551615 218382773145 0 4 0 16800975 18446604449758259328 0 0 -1 2 0 0 0
[pid=26704/tid=26717] ppid=26702 vsize=13693844 CPUtime=0 cores=0,2,4,6
/proc/26704/task/26717/stat : 26717 (java) S 26702 26704 26276 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 875012674 14022496256 527123 33554432000 1073741824 1073778376 140735604532480 18446744073709551615 218382773145 0 4 0 16800975 18446604449758259328 0 0 -1 2 0 0 0
[pid=26704/tid=26718] ppid=26702 vsize=13693844 CPUtime=0 cores=0,2,4,6
/proc/26704/task/26718/stat : 26718 (java) S 26702 26704 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875012676 14022496256 527127 33554432000 1073741824 1073778376 140735604532480 18446744073709551615 218382780849 0 4 0 16800975 18446604449758259328 0 0 -1 2 0 0 0
[pid=26704/tid=26719] ppid=26702 vsize=13693844 CPUtime=0.25 cores=0,2,4,6
/proc/26704/task/26719/stat : 26719 (java) S 26702 26704 26276 0 -1 4202560 2043 0 0 0 25 0 0 0 17 0 18 0 875012676 14022496256 527130 33554432000 1073741824 1073778376 140735604532480 18446744073709551615 218382773145 0 4 0 16800975 18446604449758259328 0 0 -1 4 0 0 0
[pid=26704/tid=26720] ppid=26702 vsize=13693844 CPUtime=0.23 cores=0,2,4,6
/proc/26704/task/26720/stat : 26720 (java) S 26702 26704 26276 0 -1 4202560 2668 0 0 0 23 0 0 0 15 0 18 0 875012676 14022496256 527134 33554432000 1073741824 1073778376 140735604532480 18446744073709551615 218382773145 0 4 0 16800975 18446604449758259328 0 0 -1 0 0 0 0
[pid=26704/tid=26721] ppid=26702 vsize=13693844 CPUtime=0 cores=0,2,4,6
/proc/26704/task/26721/stat : 26721 (java) S 26702 26704 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875012676 14022496256 527137 33554432000 1073741824 1073778376 140735604532480 18446744073709551615 218382773145 0 4 0 16800975 18446604449758259328 0 0 -1 2 0 0 0
[pid=26704/tid=26722] ppid=26702 vsize=13693844 CPUtime=0 cores=0,2,4,6
/proc/26704/task/26722/stat : 26722 (java) S 26702 26704 26276 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 875012676 14022496256 527140 33554432000 1073741824 1073778376 140735604532480 18446744073709551615 218382773760 0 4 0 16800975 18446604449758259328 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.29
Current children cumulated vsize (KiB) 13693844
[startup+5.20159 s]
/proc/loadavg: 2.03 1.88 1.21 3/213 26722
/proc/meminfo: memFree=30210156/32951124 swapFree=67050780/67111528
[pid=26704] ppid=26702 vsize=13693844 CPUtime=5.69 cores=0,2,4,6
/proc/26704/stat : 26704 (java) S 26702 26704 26276 0 -1 4202496 581252 0 1 0 504 65 0 0 25 0 18 0 875012670 14022496256 579679 33554432000 1073741824 1073778376 140735604532480 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/26704/statm: 3423461 579681 2217 9 0 3414195 0
[pid=26704/tid=26705] ppid=26702 vsize=13693844 CPUtime=5.19 cores=0,2,4,6
/proc/26704/task/26705/stat : 26705 (java) R 26702 26704 26276 0 -1 4202560 575395 0 1 0 455 64 0 0 19 0 18 0 875012671 14022496256 579684 33554432000 1073741824 1073778376 140735604532480 18446744073709551615 46912505621487 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=26704/tid=26707] ppid=26702 vsize=13693844 CPUtime=0 cores=0,2,4,6
/proc/26704/task/26707/stat : 26707 (java) S 26702 26704 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875012673 14022496256 579687 33554432000 1073741824 1073778376 140735604532480 18446744073709551615 218382773145 0 4 0 16800975 18446604449758259328 0 0 -1 4 0 0 0
[pid=26704/tid=26708] ppid=26702 vsize=13693844 CPUtime=0 cores=0,2,4,6
/proc/26704/task/26708/stat : 26708 (java) S 26702 26704 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875012673 14022496256 579691 33554432000 1073741824 1073778376 140735604532480 18446744073709551615 218382773145 0 4 0 16800975 18446604449758259328 0 0 -1 4 0 0 0
[pid=26704/tid=26709] ppid=26702 vsize=13693844 CPUtime=0 cores=0,2,4,6
/proc/26704/task/26709/stat : 26709 (java) S 26702 26704 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875012673 14022496256 579694 33554432000 1073741824 1073778376 140735604532480 18446744073709551615 218382773145 0 4 0 16800975 18446604449758259328 0 0 -1 4 0 0 0
[pid=26704/tid=26710] ppid=26702 vsize=13693844 CPUtime=0 cores=0,2,4,6
/proc/26704/task/26710/stat : 26710 (java) S 26702 26704 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875012673 14022496256 579697 33554432000 1073741824 1073778376 140735604532480 18446744073709551615 218382773145 0 4 0 16800975 18446604449758259328 0 0 -1 4 0 0 0
[pid=26704/tid=26711] ppid=26702 vsize=13693844 CPUtime=0 cores=0,2,4,6
/proc/26704/task/26711/stat : 26711 (java) S 26702 26704 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875012673 14022496256 579701 33554432000 1073741824 1073778376 140735604532480 18446744073709551615 218382773145 0 4 0 16800975 18446604449758259328 0 0 -1 4 0 0 0
[pid=26704/tid=26712] ppid=26702 vsize=13693844 CPUtime=0 cores=0,2,4,6
/proc/26704/task/26712/stat : 26712 (java) S 26702 26704 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875012673 14022496256 579704 33554432000 1073741824 1073778376 140735604532480 18446744073709551615 218382773145 0 4 0 16800975 18446604449758259328 0 0 -1 4 0 0 0
[pid=26704/tid=26713] ppid=26702 vsize=13693844 CPUtime=0 cores=0,2,4,6
/proc/26704/task/26713/stat : 26713 (java) S 26702 26704 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875012673 14022496256 579707 33554432000 1073741824 1073778376 140735604532480 18446744073709551615 218382773145 0 4 0 16800975 18446604449758259328 0 0 -1 4 0 0 0
[pid=26704/tid=26714] ppid=26702 vsize=13693844 CPUtime=0 cores=0,2,4,6
/proc/26704/task/26714/stat : 26714 (java) S 26702 26704 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875012673 14022496256 579711 33554432000 1073741824 1073778376 140735604532480 18446744073709551615 218382773145 0 4 0 16800975 18446604449758259328 0 0 -1 4 0 0 0
[pid=26704/tid=26715] ppid=26702 vsize=13693844 CPUtime=0 cores=0,2,4,6
/proc/26704/task/26715/stat : 26715 (java) S 26702 26704 26276 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 18 0 875012674 14022496256 579714 33554432000 1073741824 1073778376 140735604532480 18446744073709551615 218382773760 0 0 0 16800975 18446604449758259328 0 0 -1 0 0 0 0
[pid=26704/tid=26716] ppid=26702 vsize=13693844 CPUtime=0 cores=0,2,4,6
/proc/26704/task/26716/stat : 26716 (java) S 26702 26704 26276 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 875012674 14022496256 579717 33554432000 1073741824 1073778376 140735604532480 18446744073709551615 218382773145 0 4 0 16800975 18446604449758259328 0 0 -1 2 0 0 0
[pid=26704/tid=26717] ppid=26702 vsize=13693844 CPUtime=0 cores=0,2,4,6
/proc/26704/task/26717/stat : 26717 (java) S 26702 26704 26276 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 875012674 14022496256 579720 33554432000 1073741824 1073778376 140735604532480 18446744073709551615 218382773145 0 4 0 16800975 18446604449758259328 0 0 -1 2 0 0 0
[pid=26704/tid=26718] ppid=26702 vsize=13693844 CPUtime=0 cores=0,2,4,6
/proc/26704/task/26718/stat : 26718 (java) S 26702 26704 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875012676 14022496256 579724 33554432000 1073741824 1073778376 140735604532480 18446744073709551615 218382780849 0 4 0 16800975 18446604449758259328 0 0 -1 2 0 0 0
[pid=26704/tid=26719] ppid=26702 vsize=13693844 CPUtime=0.25 cores=0,2,4,6
/proc/26704/task/26719/stat : 26719 (java) S 26702 26704 26276 0 -1 4202560 2043 0 0 0 25 0 0 0 17 0 18 0 875012676 14022496256 579727 33554432000 1073741824 1073778376 140735604532480 18446744073709551615 218382773145 0 4 0 16800975 18446604449758259328 0 0 -1 4 0 0 0
[pid=26704/tid=26720] ppid=26702 vsize=13693844 CPUtime=0.23 cores=0,2,4,6
/proc/26704/task/26720/stat : 26720 (java) S 26702 26704 26276 0 -1 4202560 2668 0 0 0 23 0 0 0 15 0 18 0 875012676 14022496256 579730 33554432000 1073741824 1073778376 140735604532480 18446744073709551615 218382773145 0 4 0 16800975 18446604449758259328 0 0 -1 0 0 0 0
[pid=26704/tid=26721] ppid=26702 vsize=13693844 CPUtime=0 cores=0,2,4,6
/proc/26704/task/26721/stat : 26721 (java) S 26702 26704 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875012676 14022496256 579734 33554432000 1073741824 1073778376 140735604532480 18446744073709551615 218382773145 0 4 0 16800975 18446604449758259328 0 0 -1 2 0 0 0
[pid=26704/tid=26722] ppid=26702 vsize=13693844 CPUtime=0 cores=0,2,4,6
/proc/26704/task/26722/stat : 26722 (java) S 26702 26704 26276 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 875012676 14022496256 579737 33554432000 1073741824 1073778376 140735604532480 18446744073709551615 218382773760 0 4 0 16800975 18446604449758259328 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.69
Current children cumulated vsize (KiB) 13693844
[startup+5.6065 s]
/proc/loadavg: 2.03 1.88 1.21 3/213 26722
/proc/meminfo: memFree=29647440/32951124 swapFree=67050780/67111528
[pid=26704] ppid=26702 vsize=13694872 CPUtime=6.33 cores=0,2,4,6
/proc/26704/stat : 26704 (java) S 26702 26704 26276 0 -1 4202496 620320 0 1 0 564 69 0 0 25 0 19 0 875012670 14023548928 618549 33554432000 1073741824 1073778376 140735604532480 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/26704/statm: 3423718 618549 2234 9 0 3414452 0
[pid=26704/tid=26705] ppid=26702 vsize=13694872 CPUtime=5.58 cores=0,2,4,6
/proc/26704/task/26705/stat : 26705 (java) R 26702 26704 26276 0 -1 4202560 614198 0 1 0 491 67 0 0 20 0 19 0 875012671 14023548928 618549 33554432000 1073741824 1073778376 140735604532480 18446744073709551615 46912505823961 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=26704/tid=26707] ppid=26702 vsize=13694872 CPUtime=0 cores=0,2,4,6
/proc/26704/task/26707/stat : 26707 (java) S 26702 26704 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 875012673 14023548928 618549 33554432000 1073741824 1073778376 140735604532480 18446744073709551615 218382773145 0 4 0 16800975 18446604449758259328 0 0 -1 4 0 0 0
[pid=26704/tid=26708] ppid=26702 vsize=13694872 CPUtime=0 cores=0,2,4,6
/proc/26704/task/26708/stat : 26708 (java) S 26702 26704 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 875012673 14023548928 618549 33554432000 1073741824 1073778376 140735604532480 18446744073709551615 218382773145 0 4 0 16800975 18446604449758259328 0 0 -1 4 0 0 0
[pid=26704/tid=26709] ppid=26702 vsize=13694872 CPUtime=0 cores=0,2,4,6
/proc/26704/task/26709/stat : 26709 (java) S 26702 26704 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 875012673 14023548928 618550 33554432000 1073741824 1073778376 140735604532480 18446744073709551615 218382773145 0 4 0 16800975 18446604449758259328 0 0 -1 4 0 0 0
[pid=26704/tid=26710] ppid=26702 vsize=13694872 CPUtime=0 cores=0,2,4,6
/proc/26704/task/26710/stat : 26710 (java) S 26702 26704 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 875012673 14023548928 618550 33554432000 1073741824 1073778376 140735604532480 18446744073709551615 218382773145 0 4 0 16800975 18446604449758259328 0 0 -1 4 0 0 0
[pid=26704/tid=26711] ppid=26702 vsize=13694872 CPUtime=0 cores=0,2,4,6
/proc/26704/task/26711/stat : 26711 (java) S 26702 26704 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 875012673 14023548928 618550 33554432000 1073741824 1073778376 140735604532480 18446744073709551615 218382773145 0 4 0 16800975 18446604449758259328 0 0 -1 4 0 0 0
[pid=26704/tid=26712] ppid=26702 vsize=13694872 CPUtime=0 cores=0,2,4,6
/proc/26704/task/26712/stat : 26712 (java) S 26702 26704 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 875012673 14023548928 618550 33554432000 1073741824 1073778376 140735604532480 18446744073709551615 218382773145 0 4 0 16800975 18446604449758259328 0 0 -1 4 0 0 0
[pid=26704/tid=26713] ppid=26702 vsize=13694872 CPUtime=0 cores=0,2,4,6
/proc/26704/task/26713/stat : 26713 (java) S 26702 26704 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 875012673 14023548928 618550 33554432000 1073741824 1073778376 140735604532480 18446744073709551615 218382773145 0 4 0 16800975 18446604449758259328 0 0 -1 4 0 0 0
[pid=26704/tid=26714] ppid=26702 vsize=13694872 CPUtime=0 cores=0,2,4,6
/proc/26704/task/26714/stat : 26714 (java) S 26702 26704 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 875012673 14023548928 618550 33554432000 1073741824 1073778376 140735604532480 18446744073709551615 218382773145 0 4 0 16800975 18446604449758259328 0 0 -1 4 0 0 0
[pid=26704/tid=26715] ppid=26702 vsize=13694872 CPUtime=0 cores=0,2,4,6
/proc/26704/task/26715/stat : 26715 (java) S 26702 26704 26276 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 875012674 14023548928 618550 33554432000 1073741824 1073778376 140735604532480 18446744073709551615 218382773760 0 0 0 16800975 18446604449758259328 0 0 -1 2 0 0 0
[pid=26704/tid=26716] ppid=26702 vsize=13694872 CPUtime=0 cores=0,2,4,6
/proc/26704/task/26716/stat : 26716 (java) S 26702 26704 26276 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 875012674 14023548928 618550 33554432000 1073741824 1073778376 140735604532480 18446744073709551615 218382773145 0 4 0 16800975 18446604449758259328 0 0 -1 2 0 0 0
[pid=26704/tid=26717] ppid=26702 vsize=13694872 CPUtime=0 cores=0,2,4,6
/proc/26704/task/26717/stat : 26717 (java) S 26702 26704 26276 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 875012674 14023548928 618550 33554432000 1073741824 1073778376 140735604532480 18446744073709551615 218382773145 0 4 0 16800975 18446604449758259328 0 0 -1 2 0 0 0
[pid=26704/tid=26718] ppid=26702 vsize=13694872 CPUtime=0 cores=0,2,4,6
/proc/26704/task/26718/stat : 26718 (java) S 26702 26704 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 875012676 14023548928 618550 33554432000 1073741824 1073778376 140735604532480 18446744073709551615 218382780849 0 4 0 16800975 18446604449758259328 0 0 -1 2 0 0 0
[pid=26704/tid=26719] ppid=26702 vsize=13694872 CPUtime=0.36 cores=0,2,4,6
/proc/26704/task/26719/stat : 26719 (java) R 26702 26704 26276 0 -1 4202560 2075 0 0 0 36 0 0 0 16 0 19 0 875012676 14023548928 618550 33554432000 1073741824 1073778376 140735604532480 18446744073709551615 47946943461366 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=26704/tid=26720] ppid=26702 vsize=13694872 CPUtime=0.35 cores=0,2,4,6
/proc/26704/task/26720/stat : 26720 (java) R 26702 26704 26276 0 -1 4202560 2886 0 0 0 35 0 0 0 15 0 19 0 875012676 14023548928 618550 33554432000 1073741824 1073778376 140735604532480 18446744073709551615 47946942576955 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26704/tid=26721] ppid=26702 vsize=13694872 CPUtime=0 cores=0,2,4,6
/proc/26704/task/26721/stat : 26721 (java) S 26702 26704 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 875012676 14023548928 618550 33554432000 1073741824 1073778376 140735604532480 18446744073709551615 218382773145 0 4 0 16800975 18446604449758259328 0 0 -1 2 0 0 0
[pid=26704/tid=26722] ppid=26702 vsize=13694872 CPUtime=0 cores=0,2,4,6
/proc/26704/task/26722/stat : 26722 (java) S 26702 26704 26276 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 875012676 14023548928 618550 33554432000 1073741824 1073778376 140735604532480 18446744073709551615 218382773760 0 4 0 16800975 18446604449758259328 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 6.33
Current children cumulated vsize (KiB) 13694872
[startup+5.70149 s]
/proc/loadavg: 2.03 1.88 1.21 3/213 26722
/proc/meminfo: memFree=29647440/32951124 swapFree=67050780/67111528
[pid=26704] ppid=26702 vsize=0 CPUtime=6.52 cores=0,2,4,6
/proc/26704/stat : 26704 (java) Z 26702 26704 26276 0 -1 4203548 620764 0 1 0 581 71 0 0 18 0 2 0 875012670 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/26704/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.52
Current children cumulated vsize (KiB) 0
Child status: 10
Real time (s): 5.77206
CPU time (s): 6.602
CPU user time (s): 5.81612
CPU system time (s): 0.78588
CPU usage (%): 114.378
Max. virtual memory (cumulated for all children) (KiB): 13694872
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.81611
system time used= 0.78588
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 620764
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= 349
involuntary context switches= 44
runsolver used 0.011998 second user time and 0.023996 second system time
The end