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-3453579-1307195775/watcher-3453579-1307195775 -o /tmp/evaluation-result-3453579-1307195775/solver-3453579-1307195775 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3453579-1307195775.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.82 3.40 3.45 3/556 21897
/proc/meminfo: memFree=23121200/32951124 swapFree=46970528/67111528
[pid=21897] ppid=21895 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/21897/stat : 21897 (java) S 21895 21897 21439 0 -1 4202496 6720 0 1 0 0 0 0 0 25 0 2 0 811993796 10694979584 6421 33554432000 1073741824 1073778376 140735965158864 18446744073709551615 212051458021 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/21897/statm: 2611079 6435 917 9 0 2602235 0
[pid=21897/tid=21898] ppid=21895 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/21897/task/21898/stat : 21898 (java) R 21895 21897 21439 0 -1 4202560 8242 0 1 0 0 0 0 0 25 0 2 0 811993797 10694979584 9060 33554432000 1073741824 1073778376 140735965158864 18446744073709551615 212039349307 0 4 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.0841091 s]
/proc/loadavg: 2.82 3.40 3.45 3/556 21897
/proc/meminfo: memFree=23121200/32951124 swapFree=46970528/67111528
[pid=21897] ppid=21895 vsize=10539728 CPUtime=0.08 cores=1,3,5,7
/proc/21897/stat : 21897 (java) S 21895 21897 21439 0 -1 4202496 12681 0 1 0 7 1 0 0 25 0 18 0 811993796 10792681472 12368 33554432000 1073741824 1073778376 140735965158864 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/21897/statm: 2634932 12368 2018 9 0 2625666 0
[pid=21897/tid=21898] ppid=21895 vsize=10539728 CPUtime=0.07 cores=1,3,5,7
/proc/21897/task/21898/stat : 21898 (java) D 21895 21897 21439 0 -1 4202560 10943 0 1 0 6 1 0 0 25 0 18 0 811993797 10792681472 12368 33554432000 1073741824 1073778376 140735965158864 18446744073709551615 212039698522 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 10539728
[startup+0.101103 s]
/proc/loadavg: 2.82 3.40 3.45 3/556 21897
/proc/meminfo: memFree=23121200/32951124 swapFree=46970528/67111528
[pid=21897] ppid=21895 vsize=10605596 CPUtime=0.1 cores=1,3,5,7
/proc/21897/stat : 21897 (java) S 21895 21897 21439 0 -1 4202496 13140 0 1 0 9 1 0 0 25 0 18 0 811993796 10860130304 12821 33554432000 1073741824 1073778376 140735965158864 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/21897/statm: 2651399 12821 2092 9 0 2642133 0
[pid=21897/tid=21898] ppid=21895 vsize=10605596 CPUtime=0.08 cores=1,3,5,7
/proc/21897/task/21898/stat : 21898 (java) R 21895 21897 21439 0 -1 4202560 11215 0 1 0 7 1 0 0 25 0 18 0 811993797 10860130304 12822 33554432000 1073741824 1073778376 140735965158864 18446744073709551615 47681260987445 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) 10605596
[startup+0.301071 s]
/proc/loadavg: 2.82 3.40 3.45 3/556 21897
/proc/meminfo: memFree=23121200/32951124 swapFree=46970528/67111528
[pid=21897] ppid=21895 vsize=10606980 CPUtime=0.47 cores=1,3,5,7
/proc/21897/stat : 21897 (java) S 21895 21897 21439 0 -1 4202496 16237 0 1 0 45 2 0 0 25 0 18 0 811993796 10861547520 15637 33554432000 1073741824 1073778376 140735965158864 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/21897/statm: 2651745 15637 2207 9 0 2642479 0
[pid=21897/tid=21898] ppid=21895 vsize=10606980 CPUtime=0.29 cores=1,3,5,7
/proc/21897/task/21898/stat : 21898 (java) R 21895 21897 21439 0 -1 4202560 13203 0 1 0 27 2 0 0 25 0 18 0 811993797 10861547520 15638 33554432000 1073741824 1073778376 140735965158864 18446744073709551615 46912505546797 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 10606980
[startup+0.700963 s]
/proc/loadavg: 2.82 3.40 3.45 3/556 21897
/proc/meminfo: memFree=23121200/32951124 swapFree=46970528/67111528
[pid=21897] ppid=21895 vsize=10621848 CPUtime=1.88 cores=1,3,5,7
/proc/21897/stat : 21897 (java) S 21895 21897 21439 0 -1 4202496 28335 0 1 0 184 4 0 0 25 0 22 0 811993796 10876772352 25085 33554432000 1073741824 1073778376 140735965158864 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/21897/statm: 2655462 25085 2233 9 0 2646196 0
[pid=21897/tid=21898] ppid=21895 vsize=10621848 CPUtime=0.4 cores=1,3,5,7
/proc/21897/task/21898/stat : 21898 (java) S 21895 21897 21439 0 -1 4202560 16374 0 1 0 38 2 0 0 19 0 22 0 811993797 10876772352 25085 33554432000 1073741824 1073778376 140735965158864 18446744073709551615 212051471872 0 4 0 16800975 18446604465915994368 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.88
Current children cumulated vsize (KiB) 10621848
[startup+1.50082 s]
/proc/loadavg: 2.82 3.40 3.45 7/578 21919
/proc/meminfo: memFree=23003460/32951124 swapFree=46970528/67111528
[pid=21897] ppid=21895 vsize=10629824 CPUtime=4.5 cores=1,3,5,7
/proc/21897/stat : 21897 (java) S 21895 21897 21439 0 -1 4202496 49166 0 1 0 443 7 0 0 25 0 22 0 811993796 10884939776 43594 33554432000 1073741824 1073778376 140735965158864 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/21897/statm: 2657456 43594 2240 9 0 2648190 0
[pid=21897/tid=21898] ppid=21895 vsize=10629824 CPUtime=0.4 cores=1,3,5,7
/proc/21897/task/21898/stat : 21898 (java) S 21895 21897 21439 0 -1 4202560 16374 0 1 0 38 2 0 0 15 0 22 0 811993797 10884939776 43594 33554432000 1073741824 1073778376 140735965158864 18446744073709551615 212051471872 0 4 0 16800975 18446604465915994368 0 0 -1 7 0 0 0
[pid=21897/tid=21900] ppid=21895 vsize=10629824 CPUtime=0 cores=1,3,5,7
/proc/21897/task/21900/stat : 21900 (java) S 21895 21897 21439 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811993799 10884939776 43594 33554432000 1073741824 1073778376 140735965158864 18446744073709551615 212051471257 0 4 0 16800975 18446604465915994368 0 0 -1 7 0 0 0
[pid=21897/tid=21901] ppid=21895 vsize=10629824 CPUtime=0 cores=1,3,5,7
/proc/21897/task/21901/stat : 21901 (java) S 21895 21897 21439 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 811993799 10884939776 43594 33554432000 1073741824 1073778376 140735965158864 18446744073709551615 212051471257 0 4 0 16800975 18446604465915994368 0 0 -1 7 0 0 0
[pid=21897/tid=21902] ppid=21895 vsize=10629824 CPUtime=0 cores=1,3,5,7
/proc/21897/task/21902/stat : 21902 (java) S 21895 21897 21439 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811993799 10884939776 43594 33554432000 1073741824 1073778376 140735965158864 18446744073709551615 212051471257 0 4 0 16800975 18446604465915994368 0 0 -1 7 0 0 0
[pid=21897/tid=21903] ppid=21895 vsize=10629824 CPUtime=0 cores=1,3,5,7
/proc/21897/task/21903/stat : 21903 (java) S 21895 21897 21439 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811993799 10884939776 43594 33554432000 1073741824 1073778376 140735965158864 18446744073709551615 212051471257 0 4 0 16800975 18446604465915994368 0 0 -1 7 0 0 0
[pid=21897/tid=21904] ppid=21895 vsize=10629824 CPUtime=0 cores=1,3,5,7
/proc/21897/task/21904/stat : 21904 (java) S 21895 21897 21439 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811993799 10884939776 43594 33554432000 1073741824 1073778376 140735965158864 18446744073709551615 212051471257 0 4 0 16800975 18446604465915994368 0 0 -1 7 0 0 0
[pid=21897/tid=21905] ppid=21895 vsize=10629824 CPUtime=0 cores=1,3,5,7
/proc/21897/task/21905/stat : 21905 (java) S 21895 21897 21439 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811993799 10884939776 43594 33554432000 1073741824 1073778376 140735965158864 18446744073709551615 212051471257 0 4 0 16800975 18446604465915994368 0 0 -1 7 0 0 0
[pid=21897/tid=21906] ppid=21895 vsize=10629824 CPUtime=0 cores=1,3,5,7
/proc/21897/task/21906/stat : 21906 (java) S 21895 21897 21439 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811993799 10884939776 43594 33554432000 1073741824 1073778376 140735965158864 18446744073709551615 212051471257 0 4 0 16800975 18446604465915994368 0 0 -1 7 0 0 0
[pid=21897/tid=21907] ppid=21895 vsize=10629824 CPUtime=0 cores=1,3,5,7
/proc/21897/task/21907/stat : 21907 (java) S 21895 21897 21439 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811993799 10884939776 43594 33554432000 1073741824 1073778376 140735965158864 18446744073709551615 212051471257 0 4 0 16800975 18446604465915994368 0 0 -1 7 0 0 0
[pid=21897/tid=21908] ppid=21895 vsize=10629824 CPUtime=0 cores=1,3,5,7
/proc/21897/task/21908/stat : 21908 (java) S 21895 21897 21439 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 22 0 811993800 10884939776 43594 33554432000 1073741824 1073778376 140735965158864 18446744073709551615 212051471872 0 0 0 16800975 18446604465915994368 0 0 -1 1 0 0 0
[pid=21897/tid=21909] ppid=21895 vsize=10629824 CPUtime=0 cores=1,3,5,7
/proc/21897/task/21909/stat : 21909 (java) S 21895 21897 21439 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 811993800 10884939776 43594 33554432000 1073741824 1073778376 140735965158864 18446744073709551615 212051471257 0 4 0 16800975 18446604465915994368 0 0 -1 1 0 0 0
[pid=21897/tid=21910] ppid=21895 vsize=10629824 CPUtime=0 cores=1,3,5,7
/proc/21897/task/21910/stat : 21910 (java) S 21895 21897 21439 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 811993800 10884939776 43594 33554432000 1073741824 1073778376 140735965158864 18446744073709551615 212051471257 0 4 0 16800975 18446604465915994368 0 0 -1 1 0 0 0
[pid=21897/tid=21911] ppid=21895 vsize=10629824 CPUtime=0 cores=1,3,5,7
/proc/21897/task/21911/stat : 21911 (java) S 21895 21897 21439 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811993802 10884939776 43594 33554432000 1073741824 1073778376 140735965158864 18446744073709551615 212051478961 0 4 0 16800975 18446604465915994368 0 0 -1 1 0 0 0
[pid=21897/tid=21912] ppid=21895 vsize=10629824 CPUtime=1 cores=1,3,5,7
/proc/21897/task/21912/stat : 21912 (java) S 21895 21897 21439 0 -1 4202560 7442 0 0 0 100 0 0 0 16 0 22 0 811993802 10884939776 43594 33554432000 1073741824 1073778376 140735965158864 18446744073709551615 212051471257 0 4 0 16800975 18446604465915994368 0 0 -1 3 0 0 0
[pid=21897/tid=21913] ppid=21895 vsize=10629824 CPUtime=0.92 cores=1,3,5,7
/proc/21897/task/21913/stat : 21913 (java) S 21895 21897 21439 0 -1 4202560 7356 0 0 0 91 1 0 0 17 0 22 0 811993802 10884939776 43594 33554432000 1073741824 1073778376 140735965158864 18446744073709551615 212051471257 0 4 0 16800975 18446604465915994368 0 0 -1 5 0 0 0
[pid=21897/tid=21914] ppid=21895 vsize=10629824 CPUtime=0 cores=1,3,5,7
/proc/21897/task/21914/stat : 21914 (java) S 21895 21897 21439 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811993802 10884939776 43594 33554432000 1073741824 1073778376 140735965158864 18446744073709551615 212051471257 0 4 0 16800975 18446604465915994368 0 0 -1 1 0 0 0
[pid=21897/tid=21915] ppid=21895 vsize=10629824 CPUtime=0 cores=1,3,5,7
/proc/21897/task/21915/stat : 21915 (java) S 21895 21897 21439 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 811993802 10884939776 43594 33554432000 1073741824 1073778376 140735965158864 18446744073709551615 212051471872 0 4 0 16800975 18446604465915994368 0 0 -1 7 0 0 0
[pid=21897/tid=21916] ppid=21895 vsize=10629824 CPUtime=1.07 cores=1,3,5,7
/proc/21897/task/21916/stat : 21916 (java) R 21895 21897 21439 0 -1 4202560 1076 0 0 0 107 0 0 0 24 0 22 0 811993838 10884939776 43594 33554432000 1073741824 1073778376 140735965158864 18446744073709551615 47681262283603 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=21897/tid=21917] ppid=21895 vsize=10629824 CPUtime=1.05 cores=1,3,5,7
/proc/21897/task/21917/stat : 21917 (java) R 21895 21897 21439 0 -1 4202560 15749 0 0 0 104 1 0 0 25 0 22 0 811993838 10884939776 43594 33554432000 1073741824 1073778376 140735965158864 18446744073709551615 46912505576166 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=21897/tid=21918] ppid=21895 vsize=10629824 CPUtime=0 cores=1,3,5,7
/proc/21897/task/21918/stat : 21918 (java) S 21895 21897 21439 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 811993839 10884939776 43594 33554432000 1073741824 1073778376 140735965158864 18446744073709551615 212051471872 0 4 0 16800975 18446604465915994368 0 0 -1 1 0 0 0
[pid=21897/tid=21919] ppid=21895 vsize=10629824 CPUtime=0 cores=1,3,5,7
/proc/21897/task/21919/stat : 21919 (java) S 21895 21897 21439 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 811993839 10884939776 43594 33554432000 1073741824 1073778376 140735965158864 18446744073709551615 212051471872 0 4 0 16800975 18446604465915994368 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.5
Current children cumulated vsize (KiB) 10629824
[startup+3.10154 s]
/proc/loadavg: 2.82 3.40 3.45 5/578 21919
/proc/meminfo: memFree=22872020/32951124 swapFree=46970528/67111528
[pid=21897] ppid=21895 vsize=10629824 CPUtime=7.71 cores=1,3,5,7
/proc/21897/stat : 21897 (java) S 21895 21897 21439 0 -1 4202496 131357 0 1 0 754 17 0 0 25 0 22 0 811993796 10884939776 125778 33554432000 1073741824 1073778376 140735965158864 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/21897/statm: 2657456 125778 2266 9 0 2648190 0
[pid=21897/tid=21898] ppid=21895 vsize=10629824 CPUtime=0.4 cores=1,3,5,7
/proc/21897/task/21898/stat : 21898 (java) S 21895 21897 21439 0 -1 4202560 16374 0 1 0 38 2 0 0 15 0 22 0 811993797 10884939776 125778 33554432000 1073741824 1073778376 140735965158864 18446744073709551615 212051471872 0 4 0 16800975 18446604465915994368 0 0 -1 7 0 0 0
[pid=21897/tid=21900] ppid=21895 vsize=10629824 CPUtime=0 cores=1,3,5,7
/proc/21897/task/21900/stat : 21900 (java) S 21895 21897 21439 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811993799 10884939776 125778 33554432000 1073741824 1073778376 140735965158864 18446744073709551615 212051471257 0 4 0 16800975 18446604465915994368 0 0 -1 7 0 0 0
[pid=21897/tid=21901] ppid=21895 vsize=10629824 CPUtime=0 cores=1,3,5,7
/proc/21897/task/21901/stat : 21901 (java) S 21895 21897 21439 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 811993799 10884939776 125778 33554432000 1073741824 1073778376 140735965158864 18446744073709551615 212051471257 0 4 0 16800975 18446604465915994368 0 0 -1 7 0 0 0
[pid=21897/tid=21902] ppid=21895 vsize=10629824 CPUtime=0 cores=1,3,5,7
/proc/21897/task/21902/stat : 21902 (java) S 21895 21897 21439 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811993799 10884939776 125778 33554432000 1073741824 1073778376 140735965158864 18446744073709551615 212051471257 0 4 0 16800975 18446604465915994368 0 0 -1 7 0 0 0
[pid=21897/tid=21903] ppid=21895 vsize=10629824 CPUtime=0 cores=1,3,5,7
/proc/21897/task/21903/stat : 21903 (java) S 21895 21897 21439 0 -1 4202560 859 0 0 0 0 0 0 0 18 0 22 0 811993799 10884939776 125778 33554432000 1073741824 1073778376 140735965158864 18446744073709551615 212051471257 0 4 0 16800975 18446604465915994368 0 0 -1 5 0 0 0
[pid=21897/tid=21904] ppid=21895 vsize=10629824 CPUtime=0 cores=1,3,5,7
/proc/21897/task/21904/stat : 21904 (java) S 21895 21897 21439 0 -1 4202560 1101 0 0 0 0 0 0 0 18 0 22 0 811993799 10884939776 125778 33554432000 1073741824 1073778376 140735965158864 18446744073709551615 212051471257 0 4 0 16800975 18446604465915994368 0 0 -1 3 0 0 0
[pid=21897/tid=21905] ppid=21895 vsize=10629824 CPUtime=0 cores=1,3,5,7
/proc/21897/task/21905/stat : 21905 (java) S 21895 21897 21439 0 -1 4202560 103 0 0 0 0 0 0 0 18 0 22 0 811993799 10884939776 125778 33554432000 1073741824 1073778376 140735965158864 18446744073709551615 212051471257 0 4 0 16800975 18446604465915994368 0 0 -1 3 0 0 0
[pid=21897/tid=21906] ppid=21895 vsize=10629824 CPUtime=0 cores=1,3,5,7
/proc/21897/task/21906/stat : 21906 (java) S 21895 21897 21439 0 -1 4202560 1332 0 0 0 0 0 0 0 18 0 22 0 811993799 10884939776 125778 33554432000 1073741824 1073778376 140735965158864 18446744073709551615 212051471257 0 4 0 16800975 18446604465915994368 0 0 -1 7 0 0 0
[pid=21897/tid=21907] ppid=21895 vsize=10629824 CPUtime=0 cores=1,3,5,7
/proc/21897/task/21907/stat : 21907 (java) S 21895 21897 21439 0 -1 4202560 1016 0 0 0 0 0 0 0 18 0 22 0 811993799 10884939776 125778 33554432000 1073741824 1073778376 140735965158864 18446744073709551615 212051471257 0 4 0 16800975 18446604465915994368 0 0 -1 7 0 0 0
[pid=21897/tid=21908] ppid=21895 vsize=10629824 CPUtime=0.03 cores=1,3,5,7
/proc/21897/task/21908/stat : 21908 (java) S 21895 21897 21439 0 -1 4202560 4353 0 0 0 3 0 0 0 16 0 22 0 811993800 10884939776 125778 33554432000 1073741824 1073778376 140735965158864 18446744073709551615 212051471872 0 0 0 16800975 18446604465915994368 0 0 -1 1 0 0 0
[pid=21897/tid=21909] ppid=21895 vsize=10629824 CPUtime=0 cores=1,3,5,7
/proc/21897/task/21909/stat : 21909 (java) S 21895 21897 21439 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 811993800 10884939776 125778 33554432000 1073741824 1073778376 140735965158864 18446744073709551615 212051471257 0 4 0 16800975 18446604465915994368 0 0 -1 1 0 0 0
[pid=21897/tid=21910] ppid=21895 vsize=10629824 CPUtime=0 cores=1,3,5,7
/proc/21897/task/21910/stat : 21910 (java) S 21895 21897 21439 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 811993800 10884939776 125778 33554432000 1073741824 1073778376 140735965158864 18446744073709551615 212051471257 0 4 0 16800975 18446604465915994368 0 0 -1 1 0 0 0
[pid=21897/tid=21911] ppid=21895 vsize=10629824 CPUtime=0 cores=1,3,5,7
/proc/21897/task/21911/stat : 21911 (java) S 21895 21897 21439 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811993802 10884939776 125778 33554432000 1073741824 1073778376 140735965158864 18446744073709551615 212051478961 0 4 0 16800975 18446604465915994368 0 0 -1 1 0 0 0
[pid=21897/tid=21912] ppid=21895 vsize=10629824 CPUtime=1.03 cores=1,3,5,7
/proc/21897/task/21912/stat : 21912 (java) S 21895 21897 21439 0 -1 4202560 7448 0 0 0 103 0 0 0 15 0 22 0 811993802 10884939776 125778 33554432000 1073741824 1073778376 140735965158864 18446744073709551615 212051471257 0 4 0 16800975 18446604465915994368 0 0 -1 3 0 0 0
[pid=21897/tid=21913] ppid=21895 vsize=10629824 CPUtime=0.95 cores=1,3,5,7
/proc/21897/task/21913/stat : 21913 (java) S 21895 21897 21439 0 -1 4202560 7362 0 0 0 94 1 0 0 15 0 22 0 811993802 10884939776 125778 33554432000 1073741824 1073778376 140735965158864 18446744073709551615 212051471257 0 4 0 16800975 18446604465915994368 0 0 -1 5 0 0 0
[pid=21897/tid=21914] ppid=21895 vsize=10629824 CPUtime=0 cores=1,3,5,7
/proc/21897/task/21914/stat : 21914 (java) S 21895 21897 21439 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811993802 10884939776 125778 33554432000 1073741824 1073778376 140735965158864 18446744073709551615 212051471257 0 4 0 16800975 18446604465915994368 0 0 -1 1 0 0 0
[pid=21897/tid=21915] ppid=21895 vsize=10629824 CPUtime=0 cores=1,3,5,7
/proc/21897/task/21915/stat : 21915 (java) S 21895 21897 21439 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 811993802 10884939776 125778 33554432000 1073741824 1073778376 140735965158864 18446744073709551615 212051471872 0 4 0 16800975 18446604465915994368 0 0 -1 7 0 0 0
[pid=21897/tid=21916] ppid=21895 vsize=10629824 CPUtime=2.62 cores=1,3,5,7
/proc/21897/task/21916/stat : 21916 (java) R 21895 21897 21439 0 -1 4202560 2359 0 0 0 261 1 0 0 25 0 22 0 811993838 10884939776 125778 33554432000 1073741824 1073778376 140735965158864 18446744073709551615 46912505860160 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=21897/tid=21917] ppid=21895 vsize=10629824 CPUtime=2.6 cores=1,3,5,7
/proc/21897/task/21917/stat : 21917 (java) R 21895 21897 21439 0 -1 4202560 87886 0 0 0 250 10 0 0 25 0 22 0 811993838 10884939776 125778 33554432000 1073741824 1073778376 140735965158864 18446744073709551615 46912505939304 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=21897/tid=21918] ppid=21895 vsize=10629824 CPUtime=0 cores=1,3,5,7
/proc/21897/task/21918/stat : 21918 (java) S 21895 21897 21439 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 811993839 10884939776 125778 33554432000 1073741824 1073778376 140735965158864 18446744073709551615 212051471872 0 4 0 16800975 18446604465915994368 0 0 -1 1 0 0 0
[pid=21897/tid=21919] ppid=21895 vsize=10629824 CPUtime=0 cores=1,3,5,7
/proc/21897/task/21919/stat : 21919 (java) S 21895 21897 21439 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 811993839 10884939776 125778 33554432000 1073741824 1073778376 140735965158864 18446744073709551615 212051471872 0 4 0 16800975 18446604465915994368 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 7.71
Current children cumulated vsize (KiB) 10629824
Solver just ended. Dumping a history of the last processes samples
[startup+3.5015 s]
/proc/loadavg: 2.82 3.40 3.45 5/578 21919
/proc/meminfo: memFree=22600384/32951124 swapFree=46970528/67111528
[pid=21897] ppid=21895 vsize=10629824 CPUtime=8.51 cores=1,3,5,7
/proc/21897/stat : 21897 (java) S 21895 21897 21439 0 -1 4202496 131357 0 1 0 834 17 0 0 25 0 22 0 811993796 10884939776 125778 33554432000 1073741824 1073778376 140735965158864 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/21897/statm: 2657456 125778 2266 9 0 2648190 0
[pid=21897/tid=21898] ppid=21895 vsize=10629824 CPUtime=0.4 cores=1,3,5,7
/proc/21897/task/21898/stat : 21898 (java) S 21895 21897 21439 0 -1 4202560 16374 0 1 0 38 2 0 0 15 0 22 0 811993797 10884939776 125778 33554432000 1073741824 1073778376 140735965158864 18446744073709551615 212051471872 0 4 0 16800975 18446604465915994368 0 0 -1 7 0 0 0
[pid=21897/tid=21900] ppid=21895 vsize=10629824 CPUtime=0 cores=1,3,5,7
/proc/21897/task/21900/stat : 21900 (java) S 21895 21897 21439 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811993799 10884939776 125778 33554432000 1073741824 1073778376 140735965158864 18446744073709551615 212051471257 0 4 0 16800975 18446604465915994368 0 0 -1 7 0 0 0
[pid=21897/tid=21901] ppid=21895 vsize=10629824 CPUtime=0 cores=1,3,5,7
/proc/21897/task/21901/stat : 21901 (java) S 21895 21897 21439 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 811993799 10884939776 125778 33554432000 1073741824 1073778376 140735965158864 18446744073709551615 212051471257 0 4 0 16800975 18446604465915994368 0 0 -1 7 0 0 0
[pid=21897/tid=21902] ppid=21895 vsize=10629824 CPUtime=0 cores=1,3,5,7
/proc/21897/task/21902/stat : 21902 (java) S 21895 21897 21439 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811993799 10884939776 125778 33554432000 1073741824 1073778376 140735965158864 18446744073709551615 212051471257 0 4 0 16800975 18446604465915994368 0 0 -1 7 0 0 0
[pid=21897/tid=21903] ppid=21895 vsize=10629824 CPUtime=0 cores=1,3,5,7
/proc/21897/task/21903/stat : 21903 (java) S 21895 21897 21439 0 -1 4202560 859 0 0 0 0 0 0 0 18 0 22 0 811993799 10884939776 125778 33554432000 1073741824 1073778376 140735965158864 18446744073709551615 212051471257 0 4 0 16800975 18446604465915994368 0 0 -1 5 0 0 0
[pid=21897/tid=21904] ppid=21895 vsize=10629824 CPUtime=0 cores=1,3,5,7
/proc/21897/task/21904/stat : 21904 (java) S 21895 21897 21439 0 -1 4202560 1101 0 0 0 0 0 0 0 18 0 22 0 811993799 10884939776 125778 33554432000 1073741824 1073778376 140735965158864 18446744073709551615 212051471257 0 4 0 16800975 18446604465915994368 0 0 -1 3 0 0 0
[pid=21897/tid=21905] ppid=21895 vsize=10629824 CPUtime=0 cores=1,3,5,7
/proc/21897/task/21905/stat : 21905 (java) S 21895 21897 21439 0 -1 4202560 103 0 0 0 0 0 0 0 18 0 22 0 811993799 10884939776 125778 33554432000 1073741824 1073778376 140735965158864 18446744073709551615 212051471257 0 4 0 16800975 18446604465915994368 0 0 -1 3 0 0 0
[pid=21897/tid=21906] ppid=21895 vsize=10629824 CPUtime=0 cores=1,3,5,7
/proc/21897/task/21906/stat : 21906 (java) S 21895 21897 21439 0 -1 4202560 1332 0 0 0 0 0 0 0 18 0 22 0 811993799 10884939776 125778 33554432000 1073741824 1073778376 140735965158864 18446744073709551615 212051471257 0 4 0 16800975 18446604465915994368 0 0 -1 7 0 0 0
[pid=21897/tid=21907] ppid=21895 vsize=10629824 CPUtime=0 cores=1,3,5,7
/proc/21897/task/21907/stat : 21907 (java) S 21895 21897 21439 0 -1 4202560 1016 0 0 0 0 0 0 0 18 0 22 0 811993799 10884939776 125778 33554432000 1073741824 1073778376 140735965158864 18446744073709551615 212051471257 0 4 0 16800975 18446604465915994368 0 0 -1 7 0 0 0
[pid=21897/tid=21908] ppid=21895 vsize=10629824 CPUtime=0.03 cores=1,3,5,7
/proc/21897/task/21908/stat : 21908 (java) S 21895 21897 21439 0 -1 4202560 4353 0 0 0 3 0 0 0 16 0 22 0 811993800 10884939776 125778 33554432000 1073741824 1073778376 140735965158864 18446744073709551615 212051471872 0 0 0 16800975 18446604465915994368 0 0 -1 1 0 0 0
[pid=21897/tid=21909] ppid=21895 vsize=10629824 CPUtime=0 cores=1,3,5,7
/proc/21897/task/21909/stat : 21909 (java) S 21895 21897 21439 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 811993800 10884939776 125778 33554432000 1073741824 1073778376 140735965158864 18446744073709551615 212051471257 0 4 0 16800975 18446604465915994368 0 0 -1 1 0 0 0
[pid=21897/tid=21910] ppid=21895 vsize=10629824 CPUtime=0 cores=1,3,5,7
/proc/21897/task/21910/stat : 21910 (java) S 21895 21897 21439 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 811993800 10884939776 125778 33554432000 1073741824 1073778376 140735965158864 18446744073709551615 212051471257 0 4 0 16800975 18446604465915994368 0 0 -1 1 0 0 0
[pid=21897/tid=21911] ppid=21895 vsize=10629824 CPUtime=0 cores=1,3,5,7
/proc/21897/task/21911/stat : 21911 (java) S 21895 21897 21439 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811993802 10884939776 125778 33554432000 1073741824 1073778376 140735965158864 18446744073709551615 212051478961 0 4 0 16800975 18446604465915994368 0 0 -1 1 0 0 0
[pid=21897/tid=21912] ppid=21895 vsize=10629824 CPUtime=1.03 cores=1,3,5,7
/proc/21897/task/21912/stat : 21912 (java) S 21895 21897 21439 0 -1 4202560 7448 0 0 0 103 0 0 0 15 0 22 0 811993802 10884939776 125778 33554432000 1073741824 1073778376 140735965158864 18446744073709551615 212051471257 0 4 0 16800975 18446604465915994368 0 0 -1 3 0 0 0
[pid=21897/tid=21913] ppid=21895 vsize=10629824 CPUtime=0.95 cores=1,3,5,7
/proc/21897/task/21913/stat : 21913 (java) S 21895 21897 21439 0 -1 4202560 7362 0 0 0 94 1 0 0 15 0 22 0 811993802 10884939776 125778 33554432000 1073741824 1073778376 140735965158864 18446744073709551615 212051471257 0 4 0 16800975 18446604465915994368 0 0 -1 5 0 0 0
[pid=21897/tid=21914] ppid=21895 vsize=10629824 CPUtime=0 cores=1,3,5,7
/proc/21897/task/21914/stat : 21914 (java) S 21895 21897 21439 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811993802 10884939776 125778 33554432000 1073741824 1073778376 140735965158864 18446744073709551615 212051471257 0 4 0 16800975 18446604465915994368 0 0 -1 1 0 0 0
[pid=21897/tid=21915] ppid=21895 vsize=10629824 CPUtime=0 cores=1,3,5,7
/proc/21897/task/21915/stat : 21915 (java) S 21895 21897 21439 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 811993802 10884939776 125778 33554432000 1073741824 1073778376 140735965158864 18446744073709551615 212051471872 0 4 0 16800975 18446604465915994368 0 0 -1 7 0 0 0
[pid=21897/tid=21916] ppid=21895 vsize=10629824 CPUtime=3.02 cores=1,3,5,7
/proc/21897/task/21916/stat : 21916 (java) R 21895 21897 21439 0 -1 4202560 2359 0 0 0 301 1 0 0 25 0 22 0 811993838 10884939776 125778 33554432000 1073741824 1073778376 140735965158864 18446744073709551615 46912505860172 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=21897/tid=21917] ppid=21895 vsize=10629824 CPUtime=3 cores=1,3,5,7
/proc/21897/task/21917/stat : 21917 (java) R 21895 21897 21439 0 -1 4202560 87886 0 0 0 290 10 0 0 25 0 22 0 811993838 10884939776 125778 33554432000 1073741824 1073778376 140735965158864 18446744073709551615 46912505912915 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=21897/tid=21918] ppid=21895 vsize=10629824 CPUtime=0 cores=1,3,5,7
/proc/21897/task/21918/stat : 21918 (java) S 21895 21897 21439 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 811993839 10884939776 125778 33554432000 1073741824 1073778376 140735965158864 18446744073709551615 212051471872 0 4 0 16800975 18446604465915994368 0 0 -1 1 0 0 0
[pid=21897/tid=21919] ppid=21895 vsize=10629824 CPUtime=0 cores=1,3,5,7
/proc/21897/task/21919/stat : 21919 (java) S 21895 21897 21439 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 811993839 10884939776 125778 33554432000 1073741824 1073778376 140735965158864 18446744073709551615 212051471872 0 4 0 16800975 18446604465915994368 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 8.51
Current children cumulated vsize (KiB) 10629824
[startup+3.90143 s]
/proc/loadavg: 2.82 3.40 3.45 5/578 21919
/proc/meminfo: memFree=22600384/32951124 swapFree=46970528/67111528
[pid=21897] ppid=21895 vsize=10629824 CPUtime=8.9 cores=1,3,5,7
/proc/21897/stat : 21897 (java) S 21895 21897 21439 0 -1 4202496 131358 0 1 0 873 17 0 0 25 0 19 0 811993796 10884939776 125779 33554432000 1073741824 1073778376 140735965158864 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/21897/statm: 2657456 125779 2267 9 0 2648190 0
[pid=21897/tid=21898] ppid=21895 vsize=10629824 CPUtime=0.4 cores=1,3,5,7
/proc/21897/task/21898/stat : 21898 (java) S 21895 21897 21439 0 -1 4202560 16374 0 1 0 38 2 0 0 15 0 19 0 811993797 10884939776 125779 33554432000 1073741824 1073778376 140735965158864 18446744073709551615 212051471872 0 4 0 16800975 18446604465915994368 0 0 -1 7 0 0 0
[pid=21897/tid=21900] ppid=21895 vsize=10629824 CPUtime=0 cores=1,3,5,7
/proc/21897/task/21900/stat : 21900 (java) S 21895 21897 21439 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 811993799 10884939776 125779 33554432000 1073741824 1073778376 140735965158864 18446744073709551615 212051471257 0 4 0 16800975 18446604465915994368 0 0 -1 7 0 0 0
[pid=21897/tid=21901] ppid=21895 vsize=10629824 CPUtime=0 cores=1,3,5,7
/proc/21897/task/21901/stat : 21901 (java) S 21895 21897 21439 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 811993799 10884939776 125779 33554432000 1073741824 1073778376 140735965158864 18446744073709551615 212051471257 0 4 0 16800975 18446604465915994368 0 0 -1 7 0 0 0
[pid=21897/tid=21902] ppid=21895 vsize=10629824 CPUtime=0 cores=1,3,5,7
/proc/21897/task/21902/stat : 21902 (java) S 21895 21897 21439 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 811993799 10884939776 125779 33554432000 1073741824 1073778376 140735965158864 18446744073709551615 212051471257 0 4 0 16800975 18446604465915994368 0 0 -1 7 0 0 0
[pid=21897/tid=21903] ppid=21895 vsize=10629824 CPUtime=0 cores=1,3,5,7
/proc/21897/task/21903/stat : 21903 (java) S 21895 21897 21439 0 -1 4202560 859 0 0 0 0 0 0 0 18 0 19 0 811993799 10884939776 125779 33554432000 1073741824 1073778376 140735965158864 18446744073709551615 212051471257 0 4 0 16800975 18446604465915994368 0 0 -1 5 0 0 0
[pid=21897/tid=21904] ppid=21895 vsize=10629824 CPUtime=0 cores=1,3,5,7
/proc/21897/task/21904/stat : 21904 (java) S 21895 21897 21439 0 -1 4202560 1101 0 0 0 0 0 0 0 18 0 19 0 811993799 10884939776 125779 33554432000 1073741824 1073778376 140735965158864 18446744073709551615 212051471257 0 4 0 16800975 18446604465915994368 0 0 -1 3 0 0 0
[pid=21897/tid=21905] ppid=21895 vsize=10629824 CPUtime=0 cores=1,3,5,7
/proc/21897/task/21905/stat : 21905 (java) S 21895 21897 21439 0 -1 4202560 103 0 0 0 0 0 0 0 18 0 19 0 811993799 10884939776 125779 33554432000 1073741824 1073778376 140735965158864 18446744073709551615 212051471257 0 4 0 16800975 18446604465915994368 0 0 -1 3 0 0 0
[pid=21897/tid=21906] ppid=21895 vsize=10629824 CPUtime=0 cores=1,3,5,7
/proc/21897/task/21906/stat : 21906 (java) S 21895 21897 21439 0 -1 4202560 1332 0 0 0 0 0 0 0 18 0 19 0 811993799 10884939776 125779 33554432000 1073741824 1073778376 140735965158864 18446744073709551615 212051471257 0 4 0 16800975 18446604465915994368 0 0 -1 7 0 0 0
[pid=21897/tid=21907] ppid=21895 vsize=10629824 CPUtime=0 cores=1,3,5,7
/proc/21897/task/21907/stat : 21907 (java) S 21895 21897 21439 0 -1 4202560 1016 0 0 0 0 0 0 0 18 0 19 0 811993799 10884939776 125779 33554432000 1073741824 1073778376 140735965158864 18446744073709551615 212051471257 0 4 0 16800975 18446604465915994368 0 0 -1 7 0 0 0
[pid=21897/tid=21908] ppid=21895 vsize=10629824 CPUtime=0.03 cores=1,3,5,7
/proc/21897/task/21908/stat : 21908 (java) S 21895 21897 21439 0 -1 4202560 4353 0 0 0 3 0 0 0 15 0 19 0 811993800 10884939776 125779 33554432000 1073741824 1073778376 140735965158864 18446744073709551615 212051471872 0 0 0 16800975 18446604465915994368 0 0 -1 1 0 0 0
[pid=21897/tid=21909] ppid=21895 vsize=10629824 CPUtime=0 cores=1,3,5,7
/proc/21897/task/21909/stat : 21909 (java) S 21895 21897 21439 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 811993800 10884939776 125779 33554432000 1073741824 1073778376 140735965158864 18446744073709551615 212051471257 0 4 0 16800975 18446604465915994368 0 0 -1 1 0 0 0
[pid=21897/tid=21910] ppid=21895 vsize=10629824 CPUtime=0 cores=1,3,5,7
/proc/21897/task/21910/stat : 21910 (java) S 21895 21897 21439 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 811993800 10884939776 125779 33554432000 1073741824 1073778376 140735965158864 18446744073709551615 212051471257 0 4 0 16800975 18446604465915994368 0 0 -1 1 0 0 0
[pid=21897/tid=21911] ppid=21895 vsize=10629824 CPUtime=0 cores=1,3,5,7
/proc/21897/task/21911/stat : 21911 (java) S 21895 21897 21439 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811993802 10884939776 125779 33554432000 1073741824 1073778376 140735965158864 18446744073709551615 212051478961 0 4 0 16800975 18446604465915994368 0 0 -1 1 0 0 0
[pid=21897/tid=21912] ppid=21895 vsize=10629824 CPUtime=1.03 cores=1,3,5,7
/proc/21897/task/21912/stat : 21912 (java) S 21895 21897 21439 0 -1 4202560 7448 0 0 0 103 0 0 0 15 0 19 0 811993802 10884939776 125779 33554432000 1073741824 1073778376 140735965158864 18446744073709551615 212051471257 0 4 0 16800975 18446604465915994368 0 0 -1 3 0 0 0
[pid=21897/tid=21913] ppid=21895 vsize=10629824 CPUtime=0.95 cores=1,3,5,7
/proc/21897/task/21913/stat : 21913 (java) S 21895 21897 21439 0 -1 4202560 7362 0 0 0 94 1 0 0 15 0 19 0 811993802 10884939776 125779 33554432000 1073741824 1073778376 140735965158864 18446744073709551615 212051471257 0 4 0 16800975 18446604465915994368 0 0 -1 5 0 0 0
[pid=21897/tid=21914] ppid=21895 vsize=10629824 CPUtime=0 cores=1,3,5,7
/proc/21897/task/21914/stat : 21914 (java) S 21895 21897 21439 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811993802 10884939776 125779 33554432000 1073741824 1073778376 140735965158864 18446744073709551615 212051471257 0 4 0 16800975 18446604465915994368 0 0 -1 1 0 0 0
[pid=21897/tid=21915] ppid=21895 vsize=10629824 CPUtime=0 cores=1,3,5,7
/proc/21897/task/21915/stat : 21915 (java) S 21895 21897 21439 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 811993802 10884939776 125779 33554432000 1073741824 1073778376 140735965158864 18446744073709551615 212051471872 0 4 0 16800975 18446604465915994368 0 0 -1 7 0 0 0
[pid=21897/tid=21919] ppid=21895 vsize=10629824 CPUtime=0 cores=1,3,5,7
/proc/21897/task/21919/stat : 21919 (java) S 21895 21897 21439 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 19 0 811993839 10884939776 125779 33554432000 1073741824 1073778376 140735965158864 18446744073709551615 212051471872 0 4 0 16800975 18446604465915994368 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 8.9
Current children cumulated vsize (KiB) 10629824
Child status: 10
Real time (s): 3.95821
CPU time (s): 8.93964
CPU user time (s): 8.74267
CPU system time (s): 0.19697
CPU usage (%): 225.851
Max. virtual memory (cumulated for all children) (KiB): 10629824
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.74267
system time used= 0.19697
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 131380
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= 469
involuntary context switches= 157
runsolver used 0.030995 second user time and 0.050992 second system time
The end