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-3500796-1308036295/watcher-3500796-1308036295 -o /var/tmp/evaluation-result-3500796-1308036295/solver-3500796-1308036295 -C 1800 -W 1850 -M 7680 java -Xms6000m -Xmx6000m -jar sat4j-mus-v20110206.jar /varHOME/instance-3500796-1308036295.gcnf
running on 2 cores: 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): 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.31 0.29 0.10 4/237 11643
/proc/meminfo: memFree=14072036/32951124 swapFree=67053964/67111528
[pid=11643] ppid=11639 vsize=11804 CPUtime=0 cores=4,6
/proc/11643/stat : 11643 (runsolver) S 11639 11643 11321 0 -1 4202560 40 0 0 0 0 0 0 0 23 0 1 0 896045723 12087296 51 33554432000 4194304 5436572 140736157545328 18446744073709551615 4883175 0 2147483391 4096 24578 18446744071699968823 0 0 17 4 0 0 0
/proc/11643/statm: 2951 51 31 304 0 2643 0
[startup+0.0713019 s]
/proc/loadavg: 1.31 0.29 0.10 4/237 11643
/proc/meminfo: memFree=14072036/32951124 swapFree=67053964/67111528
[pid=11643] ppid=11639 vsize=27172 CPUtime=0 cores=4,6
/proc/11643/stat : 11643 (java) S 11639 11643 11321 0 -1 4202496 1178 0 0 0 0 0 0 0 24 0 2 0 896045723 27824128 906 33554432000 1073741824 1073778376 140735055179584 18446744073709551615 228107253733 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/11643/statm: 6793 906 688 9 0 381 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 27172
[startup+0.100308 s]
/proc/loadavg: 1.31 0.29 0.10 4/237 11643
/proc/meminfo: memFree=14072036/32951124 swapFree=67053964/67111528
[pid=11643] ppid=11639 vsize=6334980 CPUtime=0 cores=4,6
/proc/11643/stat : 11643 (java) S 11639 11643 11321 0 -1 4202496 5941 0 1 0 0 0 0 0 24 0 2 0 896045723 6487019520 5643 33554432000 1073741824 1073778376 140735055179584 18446744073709551615 228107253733 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/11643/statm: 1583745 5670 917 9 0 1574901 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 6334980
[startup+0.300221 s]
/proc/loadavg: 1.31 0.29 0.10 4/237 11643
/proc/meminfo: memFree=14072036/32951124 swapFree=67053964/67111528
[pid=11643] ppid=11639 vsize=6431808 CPUtime=0.25 cores=4,6
/proc/11643/stat : 11643 (java) S 11639 11643 11321 0 -1 4202496 19413 0 1 0 23 2 0 0 24 0 18 0 896045723 6586171392 19032 33554432000 1073741824 1073778376 140735055179584 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/11643/statm: 1607952 19032 2175 9 0 1598690 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 6431808
[startup+0.700184 s]
/proc/loadavg: 1.31 0.29 0.10 4/237 11643
/proc/meminfo: memFree=14072036/32951124 swapFree=67053964/67111528
[pid=11643] ppid=11639 vsize=6434584 CPUtime=0.78 cores=4,6
/proc/11643/stat : 11643 (java) S 11639 11643 11321 0 -1 4202496 36986 0 1 0 75 3 0 0 24 0 18 0 896045723 6589014016 36303 33554432000 1073741824 1073778376 140735055179584 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/11643/statm: 1608646 36305 2202 9 0 1599384 0
Current children cumulated CPU time (s) 0.78
Current children cumulated vsize (KiB) 6434584
[startup+1.50107 s]
/proc/loadavg: 1.31 0.29 0.10 5/260 11666
/proc/meminfo: memFree=13705432/32951124 swapFree=67053964/67111528
[pid=11643] ppid=11639 vsize=6434584 CPUtime=1.58 cores=4,6
/proc/11643/stat : 11643 (java) S 11639 11643 11321 0 -1 4202496 74971 0 1 0 150 8 0 0 24 0 18 0 896045723 6589014016 74287 33554432000 1073741824 1073778376 140735055179584 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/11643/statm: 1608646 74289 2203 9 0 1599384 0
[pid=11643/tid=11650] ppid=11639 vsize=6434584 CPUtime=1.38 cores=4,6
/proc/11643/task/11650/stat : 11650 (java) R 11639 11643 11321 0 -1 4202560 71752 0 1 0 130 8 0 0 19 0 18 0 896045729 6589014016 74290 33554432000 1073741824 1073778376 140735055179584 18446744073709551615 46912505612881 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=11643/tid=11651] ppid=11639 vsize=6434584 CPUtime=0 cores=4,6
/proc/11643/task/11651/stat : 11651 (java) S 11639 11643 11321 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896045733 6589014016 74291 33554432000 1073741824 1073778376 140735055179584 18446744073709551615 228107266969 0 4 0 16800975 18446604447713263872 0 0 -1 4 0 0 0
[pid=11643/tid=11652] ppid=11639 vsize=6434584 CPUtime=0 cores=4,6
/proc/11643/task/11652/stat : 11652 (java) S 11639 11643 11321 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 896045733 6589014016 74292 33554432000 1073741824 1073778376 140735055179584 18446744073709551615 228107266969 0 4 0 16800975 18446604447713263872 0 0 -1 4 0 0 0
[pid=11643/tid=11653] ppid=11639 vsize=6434584 CPUtime=0 cores=4,6
/proc/11643/task/11653/stat : 11653 (java) S 11639 11643 11321 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896045733 6589014016 74293 33554432000 1073741824 1073778376 140735055179584 18446744073709551615 228107266969 0 4 0 16800975 18446604447713263872 0 0 -1 4 0 0 0
[pid=11643/tid=11654] ppid=11639 vsize=6434584 CPUtime=0 cores=4,6
/proc/11643/task/11654/stat : 11654 (java) S 11639 11643 11321 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896045733 6589014016 74294 33554432000 1073741824 1073778376 140735055179584 18446744073709551615 228107266969 0 4 0 16800975 18446604447713263872 0 0 -1 4 0 0 0
[pid=11643/tid=11655] ppid=11639 vsize=6434584 CPUtime=0 cores=4,6
/proc/11643/task/11655/stat : 11655 (java) S 11639 11643 11321 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896045733 6589014016 74295 33554432000 1073741824 1073778376 140735055179584 18446744073709551615 228107266969 0 4 0 16800975 18446604447713263872 0 0 -1 4 0 0 0
[pid=11643/tid=11656] ppid=11639 vsize=6434584 CPUtime=0 cores=4,6
/proc/11643/task/11656/stat : 11656 (java) S 11639 11643 11321 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896045733 6589014016 74296 33554432000 1073741824 1073778376 140735055179584 18446744073709551615 228107266969 0 4 0 16800975 18446604447713263872 0 0 -1 4 0 0 0
[pid=11643/tid=11657] ppid=11639 vsize=6434584 CPUtime=0 cores=4,6
/proc/11643/task/11657/stat : 11657 (java) S 11639 11643 11321 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896045733 6589014016 74297 33554432000 1073741824 1073778376 140735055179584 18446744073709551615 228107266969 0 4 0 16800975 18446604447713263872 0 0 -1 4 0 0 0
[pid=11643/tid=11658] ppid=11639 vsize=6434584 CPUtime=0 cores=4,6
/proc/11643/task/11658/stat : 11658 (java) S 11639 11643 11321 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896045733 6589014016 74298 33554432000 1073741824 1073778376 140735055179584 18446744073709551615 228107266969 0 4 0 16800975 18446604447713263872 0 0 -1 4 0 0 0
[pid=11643/tid=11659] ppid=11639 vsize=6434584 CPUtime=0 cores=4,6
/proc/11643/task/11659/stat : 11659 (java) S 11639 11643 11321 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 18 0 896045735 6589014016 74299 33554432000 1073741824 1073778376 140735055179584 18446744073709551615 228107267584 0 0 0 16800975 18446604447713263872 0 0 -1 4 0 0 0
[pid=11643/tid=11660] ppid=11639 vsize=6434584 CPUtime=0 cores=4,6
/proc/11643/task/11660/stat : 11660 (java) S 11639 11643 11321 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 896045735 6589014016 74300 33554432000 1073741824 1073778376 140735055179584 18446744073709551615 228107266969 0 4 0 16800975 18446604447713263872 0 0 -1 4 0 0 0
[pid=11643/tid=11661] ppid=11639 vsize=6434584 CPUtime=0 cores=4,6
/proc/11643/task/11661/stat : 11661 (java) S 11639 11643 11321 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 896045735 6589014016 74302 33554432000 1073741824 1073778376 140735055179584 18446744073709551615 228107266969 0 4 0 16800975 18446604447713263872 0 0 -1 4 0 0 0
[pid=11643/tid=11662] ppid=11639 vsize=6434584 CPUtime=0 cores=4,6
/proc/11643/task/11662/stat : 11662 (java) S 11639 11643 11321 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896045738 6589014016 74303 33554432000 1073741824 1073778376 140735055179584 18446744073709551615 228107274673 0 4 0 16800975 18446604447713263872 0 0 -1 4 0 0 0
[pid=11643/tid=11663] ppid=11639 vsize=6434584 CPUtime=0.07 cores=4,6
/proc/11643/task/11663/stat : 11663 (java) S 11639 11643 11321 0 -1 4202560 424 0 0 0 7 0 0 0 25 0 18 0 896045738 6589014016 74304 33554432000 1073741824 1073778376 140735055179584 18446744073709551615 228107266969 0 4 0 16800975 18446604447713263872 0 0 -1 6 0 0 0
[pid=11643/tid=11664] ppid=11639 vsize=6434584 CPUtime=0.12 cores=4,6
/proc/11643/task/11664/stat : 11664 (java) S 11639 11643 11321 0 -1 4202560 1646 0 0 0 12 0 0 0 25 0 18 0 896045738 6589014016 74305 33554432000 1073741824 1073778376 140735055179584 18446744073709551615 228107266969 0 4 0 16800975 18446604447713263872 0 0 -1 6 0 0 0
[pid=11643/tid=11665] ppid=11639 vsize=6434584 CPUtime=0 cores=4,6
/proc/11643/task/11665/stat : 11665 (java) S 11639 11643 11321 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896045738 6589014016 74306 33554432000 1073741824 1073778376 140735055179584 18446744073709551615 228107266969 0 4 0 16800975 18446604447713263872 0 0 -1 4 0 0 0
[pid=11643/tid=11666] ppid=11639 vsize=6434584 CPUtime=0 cores=4,6
/proc/11643/task/11666/stat : 11666 (java) S 11639 11643 11321 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 896045738 6589014016 74307 33554432000 1073741824 1073778376 140735055179584 18446744073709551615 228107267584 0 4 0 16800975 18446604447713263872 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.58
Current children cumulated vsize (KiB) 6434584
[startup+3.10077 s]
/proc/loadavg: 1.52 0.35 0.12 5/260 11666
/proc/meminfo: memFree=13290576/32951124 swapFree=67053964/67111528
[pid=11643] ppid=11639 vsize=6434584 CPUtime=3.18 cores=4,6
/proc/11643/stat : 11643 (java) S 11639 11643 11321 0 -1 4202496 150105 0 1 0 301 17 0 0 24 0 18 0 896045723 6589014016 149421 33554432000 1073741824 1073778376 140735055179584 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/11643/statm: 1608646 149423 2203 9 0 1599384 0
[pid=11643/tid=11650] ppid=11639 vsize=6434584 CPUtime=2.98 cores=4,6
/proc/11643/task/11650/stat : 11650 (java) R 11639 11643 11321 0 -1 4202560 146886 0 1 0 281 17 0 0 24 0 18 0 896045729 6589014016 149424 33554432000 1073741824 1073778376 140735055179584 18446744073709551615 46912505521946 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=11643/tid=11651] ppid=11639 vsize=6434584 CPUtime=0 cores=4,6
/proc/11643/task/11651/stat : 11651 (java) S 11639 11643 11321 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896045733 6589014016 149425 33554432000 1073741824 1073778376 140735055179584 18446744073709551615 228107266969 0 4 0 16800975 18446604447713263872 0 0 -1 4 0 0 0
[pid=11643/tid=11652] ppid=11639 vsize=6434584 CPUtime=0 cores=4,6
/proc/11643/task/11652/stat : 11652 (java) S 11639 11643 11321 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 896045733 6589014016 149426 33554432000 1073741824 1073778376 140735055179584 18446744073709551615 228107266969 0 4 0 16800975 18446604447713263872 0 0 -1 4 0 0 0
[pid=11643/tid=11653] ppid=11639 vsize=6434584 CPUtime=0 cores=4,6
/proc/11643/task/11653/stat : 11653 (java) S 11639 11643 11321 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896045733 6589014016 149427 33554432000 1073741824 1073778376 140735055179584 18446744073709551615 228107266969 0 4 0 16800975 18446604447713263872 0 0 -1 4 0 0 0
[pid=11643/tid=11654] ppid=11639 vsize=6434584 CPUtime=0 cores=4,6
/proc/11643/task/11654/stat : 11654 (java) S 11639 11643 11321 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896045733 6589014016 149428 33554432000 1073741824 1073778376 140735055179584 18446744073709551615 228107266969 0 4 0 16800975 18446604447713263872 0 0 -1 4 0 0 0
[pid=11643/tid=11655] ppid=11639 vsize=6434584 CPUtime=0 cores=4,6
/proc/11643/task/11655/stat : 11655 (java) S 11639 11643 11321 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896045733 6589014016 149429 33554432000 1073741824 1073778376 140735055179584 18446744073709551615 228107266969 0 4 0 16800975 18446604447713263872 0 0 -1 4 0 0 0
[pid=11643/tid=11656] ppid=11639 vsize=6434584 CPUtime=0 cores=4,6
/proc/11643/task/11656/stat : 11656 (java) S 11639 11643 11321 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896045733 6589014016 149431 33554432000 1073741824 1073778376 140735055179584 18446744073709551615 228107266969 0 4 0 16800975 18446604447713263872 0 0 -1 4 0 0 0
[pid=11643/tid=11657] ppid=11639 vsize=6434584 CPUtime=0 cores=4,6
/proc/11643/task/11657/stat : 11657 (java) S 11639 11643 11321 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896045733 6589014016 149432 33554432000 1073741824 1073778376 140735055179584 18446744073709551615 228107266969 0 4 0 16800975 18446604447713263872 0 0 -1 4 0 0 0
[pid=11643/tid=11658] ppid=11639 vsize=6434584 CPUtime=0 cores=4,6
/proc/11643/task/11658/stat : 11658 (java) S 11639 11643 11321 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896045733 6589014016 149433 33554432000 1073741824 1073778376 140735055179584 18446744073709551615 228107266969 0 4 0 16800975 18446604447713263872 0 0 -1 4 0 0 0
[pid=11643/tid=11659] ppid=11639 vsize=6434584 CPUtime=0 cores=4,6
/proc/11643/task/11659/stat : 11659 (java) S 11639 11643 11321 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 18 0 896045735 6589014016 149434 33554432000 1073741824 1073778376 140735055179584 18446744073709551615 228107267584 0 0 0 16800975 18446604447713263872 0 0 -1 4 0 0 0
[pid=11643/tid=11660] ppid=11639 vsize=6434584 CPUtime=0 cores=4,6
/proc/11643/task/11660/stat : 11660 (java) S 11639 11643 11321 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 896045735 6589014016 149435 33554432000 1073741824 1073778376 140735055179584 18446744073709551615 228107266969 0 4 0 16800975 18446604447713263872 0 0 -1 4 0 0 0
[pid=11643/tid=11661] ppid=11639 vsize=6434584 CPUtime=0 cores=4,6
/proc/11643/task/11661/stat : 11661 (java) S 11639 11643 11321 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 896045735 6589014016 149436 33554432000 1073741824 1073778376 140735055179584 18446744073709551615 228107266969 0 4 0 16800975 18446604447713263872 0 0 -1 4 0 0 0
[pid=11643/tid=11662] ppid=11639 vsize=6434584 CPUtime=0 cores=4,6
/proc/11643/task/11662/stat : 11662 (java) S 11639 11643 11321 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896045738 6589014016 149437 33554432000 1073741824 1073778376 140735055179584 18446744073709551615 228107274673 0 4 0 16800975 18446604447713263872 0 0 -1 4 0 0 0
[pid=11643/tid=11663] ppid=11639 vsize=6434584 CPUtime=0.07 cores=4,6
/proc/11643/task/11663/stat : 11663 (java) S 11639 11643 11321 0 -1 4202560 424 0 0 0 7 0 0 0 25 0 18 0 896045738 6589014016 149438 33554432000 1073741824 1073778376 140735055179584 18446744073709551615 228107266969 0 4 0 16800975 18446604447713263872 0 0 -1 6 0 0 0
[pid=11643/tid=11664] ppid=11639 vsize=6434584 CPUtime=0.12 cores=4,6
/proc/11643/task/11664/stat : 11664 (java) S 11639 11643 11321 0 -1 4202560 1646 0 0 0 12 0 0 0 25 0 18 0 896045738 6589014016 149440 33554432000 1073741824 1073778376 140735055179584 18446744073709551615 228107266969 0 4 0 16800975 18446604447713263872 0 0 -1 6 0 0 0
[pid=11643/tid=11665] ppid=11639 vsize=6434584 CPUtime=0 cores=4,6
/proc/11643/task/11665/stat : 11665 (java) S 11639 11643 11321 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896045738 6589014016 149441 33554432000 1073741824 1073778376 140735055179584 18446744073709551615 228107266969 0 4 0 16800975 18446604447713263872 0 0 -1 4 0 0 0
[pid=11643/tid=11666] ppid=11639 vsize=6434584 CPUtime=0 cores=4,6
/proc/11643/task/11666/stat : 11666 (java) S 11639 11643 11321 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 896045738 6589014016 149442 33554432000 1073741824 1073778376 140735055179584 18446744073709551615 228107267584 0 4 0 16800975 18446604447713263872 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.18
Current children cumulated vsize (KiB) 6434584
Solver just ended. Dumping a history of the last processes samples
[startup+4.70142 s]
/proc/loadavg: 1.52 0.35 0.12 5/261 11668
/proc/meminfo: memFree=12728848/32951124 swapFree=67053964/67111528
[pid=11643] ppid=11639 vsize=6434584 CPUtime=4.83 cores=4,6
/proc/11643/stat : 11643 (java) S 11639 11643 11321 0 -1 4202496 233952 0 1 0 457 26 0 0 24 0 18 0 896045723 6589014016 233267 33554432000 1073741824 1073778376 140735055179584 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/11643/statm: 1608646 233268 2212 9 0 1599384 0
[pid=11643/tid=11650] ppid=11639 vsize=6434584 CPUtime=4.58 cores=4,6
/proc/11643/task/11650/stat : 11650 (java) R 11639 11643 11321 0 -1 4202560 230664 0 1 0 432 26 0 0 25 0 18 0 896045729 6589014016 233269 33554432000 1073741824 1073778376 140735055179584 18446744073709551615 46912505544520 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=11643/tid=11651] ppid=11639 vsize=6434584 CPUtime=0 cores=4,6
/proc/11643/task/11651/stat : 11651 (java) S 11639 11643 11321 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896045733 6589014016 233270 33554432000 1073741824 1073778376 140735055179584 18446744073709551615 228107266969 0 4 0 16800975 18446604447713263872 0 0 -1 4 0 0 0
[pid=11643/tid=11652] ppid=11639 vsize=6434584 CPUtime=0 cores=4,6
/proc/11643/task/11652/stat : 11652 (java) S 11639 11643 11321 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 896045733 6589014016 233271 33554432000 1073741824 1073778376 140735055179584 18446744073709551615 228107266969 0 4 0 16800975 18446604447713263872 0 0 -1 4 0 0 0
[pid=11643/tid=11653] ppid=11639 vsize=6434584 CPUtime=0 cores=4,6
/proc/11643/task/11653/stat : 11653 (java) S 11639 11643 11321 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896045733 6589014016 233272 33554432000 1073741824 1073778376 140735055179584 18446744073709551615 228107266969 0 4 0 16800975 18446604447713263872 0 0 -1 4 0 0 0
[pid=11643/tid=11654] ppid=11639 vsize=6434584 CPUtime=0 cores=4,6
/proc/11643/task/11654/stat : 11654 (java) S 11639 11643 11321 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896045733 6589014016 233273 33554432000 1073741824 1073778376 140735055179584 18446744073709551615 228107266969 0 4 0 16800975 18446604447713263872 0 0 -1 4 0 0 0
[pid=11643/tid=11655] ppid=11639 vsize=6434584 CPUtime=0 cores=4,6
/proc/11643/task/11655/stat : 11655 (java) S 11639 11643 11321 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896045733 6589014016 233274 33554432000 1073741824 1073778376 140735055179584 18446744073709551615 228107266969 0 4 0 16800975 18446604447713263872 0 0 -1 4 0 0 0
[pid=11643/tid=11656] ppid=11639 vsize=6434584 CPUtime=0 cores=4,6
/proc/11643/task/11656/stat : 11656 (java) S 11639 11643 11321 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896045733 6589014016 233275 33554432000 1073741824 1073778376 140735055179584 18446744073709551615 228107266969 0 4 0 16800975 18446604447713263872 0 0 -1 4 0 0 0
[pid=11643/tid=11657] ppid=11639 vsize=6434584 CPUtime=0 cores=4,6
/proc/11643/task/11657/stat : 11657 (java) S 11639 11643 11321 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896045733 6589014016 233275 33554432000 1073741824 1073778376 140735055179584 18446744073709551615 228107266969 0 4 0 16800975 18446604447713263872 0 0 -1 4 0 0 0
[pid=11643/tid=11658] ppid=11639 vsize=6434584 CPUtime=0 cores=4,6
/proc/11643/task/11658/stat : 11658 (java) S 11639 11643 11321 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896045733 6589014016 233276 33554432000 1073741824 1073778376 140735055179584 18446744073709551615 228107266969 0 4 0 16800975 18446604447713263872 0 0 -1 4 0 0 0
[pid=11643/tid=11659] ppid=11639 vsize=6434584 CPUtime=0 cores=4,6
/proc/11643/task/11659/stat : 11659 (java) S 11639 11643 11321 0 -1 4202560 3 0 0 0 0 0 0 0 16 0 18 0 896045735 6589014016 233277 33554432000 1073741824 1073778376 140735055179584 18446744073709551615 228107267584 0 0 0 16800975 18446604447713263872 0 0 -1 4 0 0 0
[pid=11643/tid=11660] ppid=11639 vsize=6434584 CPUtime=0 cores=4,6
/proc/11643/task/11660/stat : 11660 (java) S 11639 11643 11321 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 896045735 6589014016 233278 33554432000 1073741824 1073778376 140735055179584 18446744073709551615 228107266969 0 4 0 16800975 18446604447713263872 0 0 -1 4 0 0 0
[pid=11643/tid=11661] ppid=11639 vsize=6434584 CPUtime=0 cores=4,6
/proc/11643/task/11661/stat : 11661 (java) S 11639 11643 11321 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 896045735 6589014016 233279 33554432000 1073741824 1073778376 140735055179584 18446744073709551615 228107266969 0 4 0 16800975 18446604447713263872 0 0 -1 4 0 0 0
[pid=11643/tid=11662] ppid=11639 vsize=6434584 CPUtime=0 cores=4,6
/proc/11643/task/11662/stat : 11662 (java) S 11639 11643 11321 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896045738 6589014016 233279 33554432000 1073741824 1073778376 140735055179584 18446744073709551615 228107274673 0 4 0 16800975 18446604447713263872 0 0 -1 4 0 0 0
[pid=11643/tid=11663] ppid=11639 vsize=6434584 CPUtime=0.11 cores=4,6
/proc/11643/task/11663/stat : 11663 (java) R 11639 11643 11321 0 -1 4202560 491 0 0 0 11 0 0 0 17 0 18 0 896045738 6589014016 233280 33554432000 1073741824 1073778376 140735055179584 18446744073709551615 47770743702880 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=11643/tid=11664] ppid=11639 vsize=6434584 CPUtime=0.13 cores=4,6
/proc/11643/task/11664/stat : 11664 (java) R 11639 11643 11321 0 -1 4202560 1646 0 0 0 13 0 0 0 17 0 18 0 896045738 6589014016 233281 33554432000 1073741824 1073778376 140735055179584 18446744073709551615 228107266969 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=11643/tid=11665] ppid=11639 vsize=6434584 CPUtime=0 cores=4,6
/proc/11643/task/11665/stat : 11665 (java) S 11639 11643 11321 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896045738 6589014016 233282 33554432000 1073741824 1073778376 140735055179584 18446744073709551615 228107266969 0 4 0 16800975 18446604447713263872 0 0 -1 4 0 0 0
[pid=11643/tid=11666] ppid=11639 vsize=6434584 CPUtime=0 cores=4,6
/proc/11643/task/11666/stat : 11666 (java) S 11639 11643 11321 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 896045738 6589014016 233282 33554432000 1073741824 1073778376 140735055179584 18446744073709551615 228107267584 0 4 0 16800975 18446604447713263872 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.83
Current children cumulated vsize (KiB) 6434584
[startup+5.10136 s]
/proc/loadavg: 1.52 0.35 0.12 5/261 11668
/proc/meminfo: memFree=12728848/32951124 swapFree=67053964/67111528
[pid=11643] ppid=11639 vsize=6442872 CPUtime=5.47 cores=4,6
/proc/11643/stat : 11643 (java) S 11639 11643 11321 0 -1 4202496 254093 0 1 0 518 29 0 0 24 0 18 0 896045723 6597500928 252202 33554432000 1073741824 1073778376 140735055179584 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/11643/statm: 1610718 252202 2221 9 0 1601456 0
[pid=11643/tid=11650] ppid=11639 vsize=6442872 CPUtime=4.98 cores=4,6
/proc/11643/task/11650/stat : 11650 (java) R 11639 11643 11321 0 -1 4202560 247612 0 1 0 470 28 0 0 25 0 18 0 896045729 6597500928 252202 33554432000 1073741824 1073778376 140735055179584 18446744073709551615 46912505228269 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=11643/tid=11651] ppid=11639 vsize=6442872 CPUtime=0 cores=4,6
/proc/11643/task/11651/stat : 11651 (java) S 11639 11643 11321 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896045733 6597500928 252202 33554432000 1073741824 1073778376 140735055179584 18446744073709551615 228107266969 0 4 0 16800975 18446604447713263872 0 0 -1 4 0 0 0
[pid=11643/tid=11652] ppid=11639 vsize=6442872 CPUtime=0 cores=4,6
/proc/11643/task/11652/stat : 11652 (java) S 11639 11643 11321 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 896045733 6597500928 252202 33554432000 1073741824 1073778376 140735055179584 18446744073709551615 228107266969 0 4 0 16800975 18446604447713263872 0 0 -1 4 0 0 0
[pid=11643/tid=11653] ppid=11639 vsize=6442872 CPUtime=0 cores=4,6
/proc/11643/task/11653/stat : 11653 (java) S 11639 11643 11321 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896045733 6597500928 252202 33554432000 1073741824 1073778376 140735055179584 18446744073709551615 228107266969 0 4 0 16800975 18446604447713263872 0 0 -1 4 0 0 0
[pid=11643/tid=11654] ppid=11639 vsize=6442872 CPUtime=0 cores=4,6
/proc/11643/task/11654/stat : 11654 (java) S 11639 11643 11321 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896045733 6597500928 252202 33554432000 1073741824 1073778376 140735055179584 18446744073709551615 228107266969 0 4 0 16800975 18446604447713263872 0 0 -1 4 0 0 0
[pid=11643/tid=11655] ppid=11639 vsize=6442872 CPUtime=0 cores=4,6
/proc/11643/task/11655/stat : 11655 (java) S 11639 11643 11321 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896045733 6597500928 252202 33554432000 1073741824 1073778376 140735055179584 18446744073709551615 228107266969 0 4 0 16800975 18446604447713263872 0 0 -1 4 0 0 0
[pid=11643/tid=11656] ppid=11639 vsize=6442872 CPUtime=0 cores=4,6
/proc/11643/task/11656/stat : 11656 (java) S 11639 11643 11321 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896045733 6597500928 252202 33554432000 1073741824 1073778376 140735055179584 18446744073709551615 228107266969 0 4 0 16800975 18446604447713263872 0 0 -1 4 0 0 0
[pid=11643/tid=11657] ppid=11639 vsize=6442872 CPUtime=0 cores=4,6
/proc/11643/task/11657/stat : 11657 (java) S 11639 11643 11321 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896045733 6597500928 252202 33554432000 1073741824 1073778376 140735055179584 18446744073709551615 228107266969 0 4 0 16800975 18446604447713263872 0 0 -1 4 0 0 0
[pid=11643/tid=11658] ppid=11639 vsize=6442872 CPUtime=0 cores=4,6
/proc/11643/task/11658/stat : 11658 (java) S 11639 11643 11321 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896045733 6597500928 252202 33554432000 1073741824 1073778376 140735055179584 18446744073709551615 228107266969 0 4 0 16800975 18446604447713263872 0 0 -1 4 0 0 0
[pid=11643/tid=11659] ppid=11639 vsize=6442872 CPUtime=0 cores=4,6
/proc/11643/task/11659/stat : 11659 (java) S 11639 11643 11321 0 -1 4202560 3 0 0 0 0 0 0 0 16 0 18 0 896045735 6597500928 252202 33554432000 1073741824 1073778376 140735055179584 18446744073709551615 228107267584 0 0 0 16800975 18446604447713263872 0 0 -1 4 0 0 0
[pid=11643/tid=11660] ppid=11639 vsize=6442872 CPUtime=0 cores=4,6
/proc/11643/task/11660/stat : 11660 (java) S 11639 11643 11321 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 896045735 6597500928 252202 33554432000 1073741824 1073778376 140735055179584 18446744073709551615 228107266969 0 4 0 16800975 18446604447713263872 0 0 -1 4 0 0 0
[pid=11643/tid=11661] ppid=11639 vsize=6442872 CPUtime=0 cores=4,6
/proc/11643/task/11661/stat : 11661 (java) S 11639 11643 11321 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 896045735 6597500928 252202 33554432000 1073741824 1073778376 140735055179584 18446744073709551615 228107266969 0 4 0 16800975 18446604447713263872 0 0 -1 4 0 0 0
[pid=11643/tid=11662] ppid=11639 vsize=6442872 CPUtime=0 cores=4,6
/proc/11643/task/11662/stat : 11662 (java) S 11639 11643 11321 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896045738 6597500928 252202 33554432000 1073741824 1073778376 140735055179584 18446744073709551615 228107274673 0 4 0 16800975 18446604447713263872 0 0 -1 4 0 0 0
[pid=11643/tid=11663] ppid=11639 vsize=6442872 CPUtime=0.15 cores=4,6
/proc/11643/task/11663/stat : 11663 (java) R 11639 11643 11321 0 -1 4202560 498 0 0 0 15 0 0 0 16 0 18 0 896045738 6597500928 252202 33554432000 1073741824 1073778376 140735055179584 18446744073709551615 228107266969 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=11643/tid=11664] ppid=11639 vsize=6442872 CPUtime=0.31 cores=4,6
/proc/11643/task/11664/stat : 11664 (java) R 11639 11643 11321 0 -1 4202560 4830 0 0 0 31 0 0 0 16 0 18 0 896045738 6597500928 252202 33554432000 1073741824 1073778376 140735055179584 18446744073709551615 47770742934911 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=11643/tid=11665] ppid=11639 vsize=6442872 CPUtime=0 cores=4,6
/proc/11643/task/11665/stat : 11665 (java) S 11639 11643 11321 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896045738 6597500928 252202 33554432000 1073741824 1073778376 140735055179584 18446744073709551615 228107266969 0 4 0 16800975 18446604447713263872 0 0 -1 4 0 0 0
[pid=11643/tid=11666] ppid=11639 vsize=6442872 CPUtime=0 cores=4,6
/proc/11643/task/11666/stat : 11666 (java) S 11639 11643 11321 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 896045738 6597500928 252202 33554432000 1073741824 1073778376 140735055179584 18446744073709551615 228107267584 0 4 0 16800975 18446604447713263872 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.47
Current children cumulated vsize (KiB) 6442872
[startup+5.30134 s]
/proc/loadavg: 1.52 0.35 0.12 5/261 11668
/proc/meminfo: memFree=12728848/32951124 swapFree=67053964/67111528
[pid=11643] ppid=11639 vsize=6442872 CPUtime=5.72 cores=4,6
/proc/11643/stat : 11643 (java) S 11639 11643 11321 0 -1 4202496 254267 0 1 0 543 29 0 0 24 0 18 0 896045723 6597500928 252376 33554432000 1073741824 1073778376 140735055179584 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/11643/statm: 1610718 252376 2224 9 0 1601456 0
[pid=11643/tid=11650] ppid=11639 vsize=6442872 CPUtime=5.18 cores=4,6
/proc/11643/task/11650/stat : 11650 (java) R 11639 11643 11321 0 -1 4202560 247753 0 1 0 490 28 0 0 25 0 18 0 896045729 6597500928 252376 33554432000 1073741824 1073778376 140735055179584 18446744073709551615 46912505765419 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=11643/tid=11651] ppid=11639 vsize=6442872 CPUtime=0 cores=4,6
/proc/11643/task/11651/stat : 11651 (java) S 11639 11643 11321 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896045733 6597500928 252376 33554432000 1073741824 1073778376 140735055179584 18446744073709551615 228107266969 0 4 0 16800975 18446604447713263872 0 0 -1 4 0 0 0
[pid=11643/tid=11652] ppid=11639 vsize=6442872 CPUtime=0 cores=4,6
/proc/11643/task/11652/stat : 11652 (java) S 11639 11643 11321 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 896045733 6597500928 252376 33554432000 1073741824 1073778376 140735055179584 18446744073709551615 228107266969 0 4 0 16800975 18446604447713263872 0 0 -1 4 0 0 0
[pid=11643/tid=11653] ppid=11639 vsize=6442872 CPUtime=0 cores=4,6
/proc/11643/task/11653/stat : 11653 (java) S 11639 11643 11321 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896045733 6597500928 252376 33554432000 1073741824 1073778376 140735055179584 18446744073709551615 228107266969 0 4 0 16800975 18446604447713263872 0 0 -1 4 0 0 0
[pid=11643/tid=11654] ppid=11639 vsize=6442872 CPUtime=0 cores=4,6
/proc/11643/task/11654/stat : 11654 (java) S 11639 11643 11321 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896045733 6597500928 252376 33554432000 1073741824 1073778376 140735055179584 18446744073709551615 228107266969 0 4 0 16800975 18446604447713263872 0 0 -1 4 0 0 0
[pid=11643/tid=11655] ppid=11639 vsize=6442872 CPUtime=0 cores=4,6
/proc/11643/task/11655/stat : 11655 (java) S 11639 11643 11321 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896045733 6597500928 252376 33554432000 1073741824 1073778376 140735055179584 18446744073709551615 228107266969 0 4 0 16800975 18446604447713263872 0 0 -1 4 0 0 0
[pid=11643/tid=11656] ppid=11639 vsize=6442872 CPUtime=0 cores=4,6
/proc/11643/task/11656/stat : 11656 (java) S 11639 11643 11321 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896045733 6597500928 252376 33554432000 1073741824 1073778376 140735055179584 18446744073709551615 228107266969 0 4 0 16800975 18446604447713263872 0 0 -1 4 0 0 0
[pid=11643/tid=11657] ppid=11639 vsize=6442872 CPUtime=0 cores=4,6
/proc/11643/task/11657/stat : 11657 (java) S 11639 11643 11321 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896045733 6597500928 252376 33554432000 1073741824 1073778376 140735055179584 18446744073709551615 228107266969 0 4 0 16800975 18446604447713263872 0 0 -1 4 0 0 0
[pid=11643/tid=11658] ppid=11639 vsize=6442872 CPUtime=0 cores=4,6
/proc/11643/task/11658/stat : 11658 (java) S 11639 11643 11321 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896045733 6597500928 252376 33554432000 1073741824 1073778376 140735055179584 18446744073709551615 228107266969 0 4 0 16800975 18446604447713263872 0 0 -1 4 0 0 0
[pid=11643/tid=11659] ppid=11639 vsize=6442872 CPUtime=0 cores=4,6
/proc/11643/task/11659/stat : 11659 (java) S 11639 11643 11321 0 -1 4202560 3 0 0 0 0 0 0 0 16 0 18 0 896045735 6597500928 252376 33554432000 1073741824 1073778376 140735055179584 18446744073709551615 228107267584 0 0 0 16800975 18446604447713263872 0 0 -1 4 0 0 0
[pid=11643/tid=11660] ppid=11639 vsize=6442872 CPUtime=0 cores=4,6
/proc/11643/task/11660/stat : 11660 (java) S 11639 11643 11321 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 896045735 6597500928 252376 33554432000 1073741824 1073778376 140735055179584 18446744073709551615 228107266969 0 4 0 16800975 18446604447713263872 0 0 -1 4 0 0 0
[pid=11643/tid=11661] ppid=11639 vsize=6442872 CPUtime=0 cores=4,6
/proc/11643/task/11661/stat : 11661 (java) S 11639 11643 11321 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 896045735 6597500928 252376 33554432000 1073741824 1073778376 140735055179584 18446744073709551615 228107266969 0 4 0 16800975 18446604447713263872 0 0 -1 4 0 0 0
[pid=11643/tid=11662] ppid=11639 vsize=6442872 CPUtime=0 cores=4,6
/proc/11643/task/11662/stat : 11662 (java) S 11639 11643 11321 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896045738 6597500928 252376 33554432000 1073741824 1073778376 140735055179584 18446744073709551615 228107274673 0 4 0 16800975 18446604447713263872 0 0 -1 4 0 0 0
[pid=11643/tid=11663] ppid=11639 vsize=6442872 CPUtime=0.18 cores=4,6
/proc/11643/task/11663/stat : 11663 (java) S 11639 11643 11321 0 -1 4202560 516 0 0 0 18 0 0 0 15 0 18 0 896045738 6597500928 252376 33554432000 1073741824 1073778376 140735055179584 18446744073709551615 228107266969 0 4 0 16800975 18446604447713263872 0 0 -1 6 0 0 0
[pid=11643/tid=11664] ppid=11639 vsize=6442872 CPUtime=0.34 cores=4,6
/proc/11643/task/11664/stat : 11664 (java) S 11639 11643 11321 0 -1 4202560 4845 0 0 0 34 0 0 0 15 0 18 0 896045738 6597500928 252376 33554432000 1073741824 1073778376 140735055179584 18446744073709551615 228107266969 0 4 0 16800975 18446604447713263872 0 0 -1 6 0 0 0
[pid=11643/tid=11665] ppid=11639 vsize=6442872 CPUtime=0 cores=4,6
/proc/11643/task/11665/stat : 11665 (java) S 11639 11643 11321 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896045738 6597500928 252376 33554432000 1073741824 1073778376 140735055179584 18446744073709551615 228107266969 0 4 0 16800975 18446604447713263872 0 0 -1 4 0 0 0
[pid=11643/tid=11666] ppid=11639 vsize=6442872 CPUtime=0 cores=4,6
/proc/11643/task/11666/stat : 11666 (java) S 11639 11643 11321 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 896045738 6597500928 252376 33554432000 1073741824 1073778376 140735055179584 18446744073709551615 228107267584 0 4 0 16800975 18446604447713263872 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.72
Current children cumulated vsize (KiB) 6442872
Child status: 20
Real time (s): 5.35876
CPU time (s): 5.79512
CPU user time (s): 5.46517
CPU system time (s): 0.329949
CPU usage (%): 108.143
Max. virtual memory (cumulated for all children) (KiB): 6442872
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.46517
system time used= 0.329949
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 254294
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= 255
involuntary context switches= 117
runsolver used 0.007998 second user time and 0.028995 second system time
The end