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-3455775-1307227132/watcher-3455775-1307227132 -o /tmp/evaluation-result-3455775-1307227132/solver-3455775-1307227132 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3455775-1307227132.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 2.05 2.00 3/533 23695
/proc/meminfo: memFree=19219616/32950928 swapFree=58671692/67111528
[pid=23695] ppid=23693 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/23695/stat : 23695 (java) S 23693 23695 22299 0 -1 4202496 4393 0 1 0 0 0 0 0 25 0 2 0 912943848 10694979584 4094 33554432000 1073741824 1073778376 140736197714880 18446744073709551615 256427194341 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/23695/statm: 2611079 4107 917 9 0 2602235 0
[pid=23695/tid=23696] ppid=23693 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/23695/task/23696/stat : 23696 (java) R 23693 23695 22299 0 -1 4202560 4842 0 1 0 0 0 0 0 25 0 2 0 912943849 10694979584 5658 33554432000 1073741824 1073778376 140736197714880 18446744073709551615 256415085627 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.0289929 s]
/proc/loadavg: 2.04 2.05 2.00 3/533 23695
/proc/meminfo: memFree=19219616/32950928 swapFree=58671692/67111528
[pid=23695] ppid=23693 vsize=10454868 CPUtime=0.01 cores=0,2,4,6
/proc/23695/stat : 23695 (java) S 23693 23695 22299 0 -1 4202496 10343 0 1 0 1 0 0 0 25 0 10 0 912943848 10705784832 10041 33554432000 1073741824 1073778376 140736197714880 18446744073709551615 256427194341 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/23695/statm: 2613717 10048 1257 9 0 2604465 0
[pid=23695/tid=23696] ppid=23693 vsize=10454868 CPUtime=0.01 cores=0,2,4,6
/proc/23695/task/23696/stat : 23696 (java) R 23693 23695 22299 0 -1 4202560 9230 0 1 0 1 0 0 0 25 0 10 0 912943849 10705784832 10051 33554432000 1073741824 1073778376 140736197714880 18446744073709551615 46912504011056 0 4 0 16784584 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10454868
[startup+0.102103 s]
/proc/loadavg: 2.04 2.05 2.00 3/533 23695
/proc/meminfo: memFree=19219616/32950928 swapFree=58671692/67111528
[pid=23695] ppid=23693 vsize=10539832 CPUtime=0.1 cores=0,2,4,6
/proc/23695/stat : 23695 (java) S 23693 23695 22299 0 -1 4202496 12981 0 1 0 9 1 0 0 25 0 18 0 912943848 10792787968 12677 33554432000 1073741824 1073778376 140736197714880 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/23695/statm: 2634958 12678 2092 9 0 2625692 0
[pid=23695/tid=23696] ppid=23693 vsize=10539832 CPUtime=0.08 cores=0,2,4,6
/proc/23695/task/23696/stat : 23696 (java) R 23693 23695 22299 0 -1 4202560 11145 0 1 0 7 1 0 0 18 0 18 0 912943849 10792787968 12680 33554432000 1073741824 1073778376 140736197714880 18446744073709551615 46912496197400 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) 10539832
[startup+0.314065 s]
/proc/loadavg: 2.04 2.05 2.00 3/533 23695
/proc/meminfo: memFree=19219616/32950928 swapFree=58671692/67111528
[pid=23695] ppid=23693 vsize=10542988 CPUtime=0.51 cores=0,2,4,6
/proc/23695/stat : 23695 (java) S 23693 23695 22299 0 -1 4202496 16411 0 1 0 49 2 0 0 25 0 18 0 912943848 10796019712 15762 33554432000 1073741824 1073778376 140736197714880 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/23695/statm: 2635747 15763 2222 9 0 2626481 0
[pid=23695/tid=23696] ppid=23693 vsize=10542988 CPUtime=0.29 cores=0,2,4,6
/proc/23695/task/23696/stat : 23696 (java) R 23693 23695 22299 0 -1 4202560 12940 0 1 0 28 1 0 0 18 0 18 0 912943849 10796019712 15763 33554432000 1073741824 1073778376 140736197714880 18446744073709551615 46912505616995 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 10542988
[startup+0.790851 s]
/proc/loadavg: 2.04 2.05 2.00 3/533 23695
/proc/meminfo: memFree=19219616/32950928 swapFree=58671692/67111528
[pid=23695] ppid=23693 vsize=10553688 CPUtime=1.85 cores=0,2,4,6
/proc/23695/stat : 23695 (java) S 23693 23695 22299 0 -1 4202496 32075 0 1 0 181 4 0 0 25 0 19 0 912943848 10806976512 26558 33554432000 1073741824 1073778376 140736197714880 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/23695/statm: 2638422 26559 2232 9 0 2629156 0
[pid=23695/tid=23696] ppid=23693 vsize=10553688 CPUtime=0.76 cores=0,2,4,6
/proc/23695/task/23696/stat : 23696 (java) R 23693 23695 22299 0 -1 4202560 19931 0 1 0 74 2 0 0 19 0 19 0 912943849 10806976512 26559 33554432000 1073741824 1073778376 140736197714880 18446744073709551615 46912505830049 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.85
Current children cumulated vsize (KiB) 10553688
[startup+1.50078 s]
/proc/loadavg: 2.04 2.05 2.00 3/552 23715
/proc/meminfo: memFree=19095652/32950928 swapFree=58671692/67111528
[pid=23695] ppid=23693 vsize=10553688 CPUtime=2.77 cores=0,2,4,6
/proc/23695/stat : 23695 (java) S 23693 23695 22299 0 -1 4202496 56750 0 1 0 270 7 0 0 25 0 19 0 912943848 10806976512 50255 33554432000 1073741824 1073778376 140736197714880 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/23695/statm: 2638422 50257 2237 9 0 2629156 0
[pid=23695/tid=23696] ppid=23693 vsize=10553688 CPUtime=1.47 cores=0,2,4,6
/proc/23695/task/23696/stat : 23696 (java) R 23693 23695 22299 0 -1 4202560 43478 0 1 0 142 5 0 0 18 0 19 0 912943849 10806976512 50258 33554432000 1073741824 1073778376 140736197714880 18446744073709551615 46912505586346 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=23695/tid=23698] ppid=23693 vsize=10553688 CPUtime=0 cores=0,2,4,6
/proc/23695/task/23698/stat : 23698 (java) S 23693 23695 22299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912943850 10806976512 50259 33554432000 1073741824 1073778376 140736197714880 18446744073709551615 256427207577 0 4 0 16800975 18446604445744009600 0 0 -1 6 0 0 0
[pid=23695/tid=23699] ppid=23693 vsize=10553688 CPUtime=0 cores=0,2,4,6
/proc/23695/task/23699/stat : 23699 (java) S 23693 23695 22299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912943850 10806976512 50260 33554432000 1073741824 1073778376 140736197714880 18446744073709551615 256427207577 0 4 0 16800975 18446604445744009600 0 0 -1 6 0 0 0
[pid=23695/tid=23700] ppid=23693 vsize=10553688 CPUtime=0 cores=0,2,4,6
/proc/23695/task/23700/stat : 23700 (java) S 23693 23695 22299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912943850 10806976512 50261 33554432000 1073741824 1073778376 140736197714880 18446744073709551615 256427207577 0 4 0 16800975 18446604445744009600 0 0 -1 6 0 0 0
[pid=23695/tid=23701] ppid=23693 vsize=10553688 CPUtime=0 cores=0,2,4,6
/proc/23695/task/23701/stat : 23701 (java) S 23693 23695 22299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912943850 10806976512 50262 33554432000 1073741824 1073778376 140736197714880 18446744073709551615 256427207577 0 4 0 16800975 18446604445744009600 0 0 -1 6 0 0 0
[pid=23695/tid=23702] ppid=23693 vsize=10553688 CPUtime=0 cores=0,2,4,6
/proc/23695/task/23702/stat : 23702 (java) S 23693 23695 22299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912943850 10806976512 50263 33554432000 1073741824 1073778376 140736197714880 18446744073709551615 256427207577 0 4 0 16800975 18446604445744009600 0 0 -1 6 0 0 0
[pid=23695/tid=23703] ppid=23693 vsize=10553688 CPUtime=0 cores=0,2,4,6
/proc/23695/task/23703/stat : 23703 (java) S 23693 23695 22299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912943850 10806976512 50264 33554432000 1073741824 1073778376 140736197714880 18446744073709551615 256427207577 0 4 0 16800975 18446604445744009600 0 0 -1 6 0 0 0
[pid=23695/tid=23704] ppid=23693 vsize=10553688 CPUtime=0 cores=0,2,4,6
/proc/23695/task/23704/stat : 23704 (java) S 23693 23695 22299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912943850 10806976512 50265 33554432000 1073741824 1073778376 140736197714880 18446744073709551615 256427207577 0 4 0 16800975 18446604445744009600 0 0 -1 6 0 0 0
[pid=23695/tid=23705] ppid=23693 vsize=10553688 CPUtime=0 cores=0,2,4,6
/proc/23695/task/23705/stat : 23705 (java) S 23693 23695 22299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912943850 10806976512 50266 33554432000 1073741824 1073778376 140736197714880 18446744073709551615 256427207577 0 4 0 16800975 18446604445744009600 0 0 -1 6 0 0 0
[pid=23695/tid=23706] ppid=23693 vsize=10553688 CPUtime=0 cores=0,2,4,6
/proc/23695/task/23706/stat : 23706 (java) S 23693 23695 22299 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 912943851 10806976512 50267 33554432000 1073741824 1073778376 140736197714880 18446744073709551615 256427208192 0 0 0 16800975 18446604445744009600 0 0 -1 2 0 0 0
[pid=23695/tid=23707] ppid=23693 vsize=10553688 CPUtime=0 cores=0,2,4,6
/proc/23695/task/23707/stat : 23707 (java) S 23693 23695 22299 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 912943852 10806976512 50267 33554432000 1073741824 1073778376 140736197714880 18446744073709551615 256427207577 0 4 0 16800975 18446604445744009600 0 0 -1 2 0 0 0
[pid=23695/tid=23708] ppid=23693 vsize=10553688 CPUtime=0 cores=0,2,4,6
/proc/23695/task/23708/stat : 23708 (java) S 23693 23695 22299 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912943852 10806976512 50268 33554432000 1073741824 1073778376 140736197714880 18446744073709551615 256427207577 0 4 0 16800975 18446604445744009600 0 0 -1 2 0 0 0
[pid=23695/tid=23709] ppid=23693 vsize=10553688 CPUtime=0 cores=0,2,4,6
/proc/23695/task/23709/stat : 23709 (java) S 23693 23695 22299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912943854 10806976512 50269 33554432000 1073741824 1073778376 140736197714880 18446744073709551615 256427215281 0 4 0 16800975 18446604445744009600 0 0 -1 2 0 0 0
[pid=23695/tid=23710] ppid=23693 vsize=10553688 CPUtime=0.64 cores=0,2,4,6
/proc/23695/task/23710/stat : 23710 (java) S 23693 23695 22299 0 -1 4202560 3464 0 0 0 64 0 0 0 15 0 19 0 912943854 10806976512 50270 33554432000 1073741824 1073778376 140736197714880 18446744073709551615 256427207577 0 4 0 16800975 18446604445744009600 0 0 -1 0 0 0 0
[pid=23695/tid=23711] ppid=23693 vsize=10553688 CPUtime=0.62 cores=0,2,4,6
/proc/23695/task/23711/stat : 23711 (java) S 23693 23695 22299 0 -1 4202560 8650 0 0 0 62 0 0 0 17 0 19 0 912943854 10806976512 50271 33554432000 1073741824 1073778376 140736197714880 18446744073709551615 256427207577 0 4 0 16800975 18446604445744009600 0 0 -1 4 0 0 0
[pid=23695/tid=23712] ppid=23693 vsize=10553688 CPUtime=0 cores=0,2,4,6
/proc/23695/task/23712/stat : 23712 (java) S 23693 23695 22299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912943854 10806976512 50271 33554432000 1073741824 1073778376 140736197714880 18446744073709551615 256427207577 0 4 0 16800975 18446604445744009600 0 0 -1 2 0 0 0
[pid=23695/tid=23713] ppid=23693 vsize=10553688 CPUtime=0 cores=0,2,4,6
/proc/23695/task/23713/stat : 23713 (java) S 23693 23695 22299 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 912943854 10806976512 50272 33554432000 1073741824 1073778376 140736197714880 18446744073709551615 256427208192 0 4 0 16800975 18446604445744009600 0 0 -1 6 0 0 0
[pid=23695/tid=23715] ppid=23693 vsize=10553688 CPUtime=0 cores=0,2,4,6
/proc/23695/task/23715/stat : 23715 (java) S 23693 23695 22299 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 912943898 10806976512 50272 33554432000 1073741824 1073778376 140736197714880 18446744073709551615 256427208192 0 4 0 16800975 18446604445744009600 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 10553688
Solver just ended. Dumping a history of the last processes samples
[startup+1.9007 s]
/proc/loadavg: 2.04 2.05 2.00 3/552 23715
/proc/meminfo: memFree=19095652/32950928 swapFree=58671692/67111528
[pid=23695] ppid=23693 vsize=10553688 CPUtime=3.18 cores=0,2,4,6
/proc/23695/stat : 23695 (java) S 23693 23695 22299 0 -1 4202496 71482 0 1 0 309 9 0 0 25 0 19 0 912943848 10806976512 64987 33554432000 1073741824 1073778376 140736197714880 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/23695/statm: 2638422 64989 2237 9 0 2629156 0
[pid=23695/tid=23696] ppid=23693 vsize=10553688 CPUtime=1.88 cores=0,2,4,6
/proc/23695/task/23696/stat : 23696 (java) R 23693 23695 22299 0 -1 4202560 58210 0 1 0 181 7 0 0 18 0 19 0 912943849 10806976512 64990 33554432000 1073741824 1073778376 140736197714880 18446744073709551615 46912505830285 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=23695/tid=23698] ppid=23693 vsize=10553688 CPUtime=0 cores=0,2,4,6
/proc/23695/task/23698/stat : 23698 (java) S 23693 23695 22299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912943850 10806976512 64991 33554432000 1073741824 1073778376 140736197714880 18446744073709551615 256427207577 0 4 0 16800975 18446604445744009600 0 0 -1 6 0 0 0
[pid=23695/tid=23699] ppid=23693 vsize=10553688 CPUtime=0 cores=0,2,4,6
/proc/23695/task/23699/stat : 23699 (java) S 23693 23695 22299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912943850 10806976512 64992 33554432000 1073741824 1073778376 140736197714880 18446744073709551615 256427207577 0 4 0 16800975 18446604445744009600 0 0 -1 6 0 0 0
[pid=23695/tid=23700] ppid=23693 vsize=10553688 CPUtime=0 cores=0,2,4,6
/proc/23695/task/23700/stat : 23700 (java) S 23693 23695 22299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912943850 10806976512 64994 33554432000 1073741824 1073778376 140736197714880 18446744073709551615 256427207577 0 4 0 16800975 18446604445744009600 0 0 -1 6 0 0 0
[pid=23695/tid=23701] ppid=23693 vsize=10553688 CPUtime=0 cores=0,2,4,6
/proc/23695/task/23701/stat : 23701 (java) S 23693 23695 22299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912943850 10806976512 64995 33554432000 1073741824 1073778376 140736197714880 18446744073709551615 256427207577 0 4 0 16800975 18446604445744009600 0 0 -1 6 0 0 0
[pid=23695/tid=23702] ppid=23693 vsize=10553688 CPUtime=0 cores=0,2,4,6
/proc/23695/task/23702/stat : 23702 (java) S 23693 23695 22299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912943850 10806976512 64996 33554432000 1073741824 1073778376 140736197714880 18446744073709551615 256427207577 0 4 0 16800975 18446604445744009600 0 0 -1 6 0 0 0
[pid=23695/tid=23703] ppid=23693 vsize=10553688 CPUtime=0 cores=0,2,4,6
/proc/23695/task/23703/stat : 23703 (java) S 23693 23695 22299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912943850 10806976512 64997 33554432000 1073741824 1073778376 140736197714880 18446744073709551615 256427207577 0 4 0 16800975 18446604445744009600 0 0 -1 6 0 0 0
[pid=23695/tid=23704] ppid=23693 vsize=10553688 CPUtime=0 cores=0,2,4,6
/proc/23695/task/23704/stat : 23704 (java) S 23693 23695 22299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912943850 10806976512 64999 33554432000 1073741824 1073778376 140736197714880 18446744073709551615 256427207577 0 4 0 16800975 18446604445744009600 0 0 -1 6 0 0 0
[pid=23695/tid=23705] ppid=23693 vsize=10553688 CPUtime=0 cores=0,2,4,6
/proc/23695/task/23705/stat : 23705 (java) S 23693 23695 22299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912943850 10806976512 65000 33554432000 1073741824 1073778376 140736197714880 18446744073709551615 256427207577 0 4 0 16800975 18446604445744009600 0 0 -1 6 0 0 0
[pid=23695/tid=23706] ppid=23693 vsize=10553688 CPUtime=0 cores=0,2,4,6
/proc/23695/task/23706/stat : 23706 (java) S 23693 23695 22299 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 912943851 10806976512 65001 33554432000 1073741824 1073778376 140736197714880 18446744073709551615 256427208192 0 0 0 16800975 18446604445744009600 0 0 -1 2 0 0 0
[pid=23695/tid=23707] ppid=23693 vsize=10553688 CPUtime=0 cores=0,2,4,6
/proc/23695/task/23707/stat : 23707 (java) S 23693 23695 22299 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 912943852 10806976512 65002 33554432000 1073741824 1073778376 140736197714880 18446744073709551615 256427207577 0 4 0 16800975 18446604445744009600 0 0 -1 2 0 0 0
[pid=23695/tid=23708] ppid=23693 vsize=10553688 CPUtime=0 cores=0,2,4,6
/proc/23695/task/23708/stat : 23708 (java) S 23693 23695 22299 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912943852 10806976512 65003 33554432000 1073741824 1073778376 140736197714880 18446744073709551615 256427207577 0 4 0 16800975 18446604445744009600 0 0 -1 2 0 0 0
[pid=23695/tid=23709] ppid=23693 vsize=10553688 CPUtime=0 cores=0,2,4,6
/proc/23695/task/23709/stat : 23709 (java) S 23693 23695 22299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912943854 10806976512 65004 33554432000 1073741824 1073778376 140736197714880 18446744073709551615 256427215281 0 4 0 16800975 18446604445744009600 0 0 -1 2 0 0 0
[pid=23695/tid=23710] ppid=23693 vsize=10553688 CPUtime=0.64 cores=0,2,4,6
/proc/23695/task/23710/stat : 23710 (java) S 23693 23695 22299 0 -1 4202560 3464 0 0 0 64 0 0 0 15 0 19 0 912943854 10806976512 65005 33554432000 1073741824 1073778376 140736197714880 18446744073709551615 256427207577 0 4 0 16800975 18446604445744009600 0 0 -1 0 0 0 0
[pid=23695/tid=23711] ppid=23693 vsize=10553688 CPUtime=0.62 cores=0,2,4,6
/proc/23695/task/23711/stat : 23711 (java) S 23693 23695 22299 0 -1 4202560 8650 0 0 0 62 0 0 0 17 0 19 0 912943854 10806976512 65007 33554432000 1073741824 1073778376 140736197714880 18446744073709551615 256427207577 0 4 0 16800975 18446604445744009600 0 0 -1 4 0 0 0
[pid=23695/tid=23712] ppid=23693 vsize=10553688 CPUtime=0 cores=0,2,4,6
/proc/23695/task/23712/stat : 23712 (java) S 23693 23695 22299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912943854 10806976512 65008 33554432000 1073741824 1073778376 140736197714880 18446744073709551615 256427207577 0 4 0 16800975 18446604445744009600 0 0 -1 2 0 0 0
[pid=23695/tid=23713] ppid=23693 vsize=10553688 CPUtime=0 cores=0,2,4,6
/proc/23695/task/23713/stat : 23713 (java) S 23693 23695 22299 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 912943854 10806976512 65009 33554432000 1073741824 1073778376 140736197714880 18446744073709551615 256427208192 0 4 0 16800975 18446604445744009600 0 0 -1 6 0 0 0
[pid=23695/tid=23715] ppid=23693 vsize=10553688 CPUtime=0 cores=0,2,4,6
/proc/23695/task/23715/stat : 23715 (java) S 23693 23695 22299 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 912943898 10806976512 65010 33554432000 1073741824 1073778376 140736197714880 18446744073709551615 256427208192 0 4 0 16800975 18446604445744009600 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.18
Current children cumulated vsize (KiB) 10553688
[startup+2.10166 s]
/proc/loadavg: 2.04 2.05 2.00 3/552 23715
/proc/meminfo: memFree=18936684/32950928 swapFree=58671692/67111528
[pid=23695] ppid=23693 vsize=10553688 CPUtime=3.39 cores=0,2,4,6
/proc/23695/stat : 23695 (java) S 23693 23695 22299 0 -1 4202496 78977 0 1 0 329 10 0 0 25 0 19 0 912943848 10806976512 72481 33554432000 1073741824 1073778376 140736197714880 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/23695/statm: 2638422 72482 2237 9 0 2629156 0
[pid=23695/tid=23696] ppid=23693 vsize=10553688 CPUtime=2.09 cores=0,2,4,6
/proc/23695/task/23696/stat : 23696 (java) R 23693 23695 22299 0 -1 4202560 65791 0 1 0 201 8 0 0 19 0 19 0 912943849 10806976512 72570 33554432000 1073741824 1073778376 140736197714880 18446744073709551615 46912505830006 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=23695/tid=23698] ppid=23693 vsize=10553688 CPUtime=0 cores=0,2,4,6
/proc/23695/task/23698/stat : 23698 (java) S 23693 23695 22299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912943850 10806976512 72571 33554432000 1073741824 1073778376 140736197714880 18446744073709551615 256427207577 0 4 0 16800975 18446604445744009600 0 0 -1 6 0 0 0
[pid=23695/tid=23699] ppid=23693 vsize=10553688 CPUtime=0 cores=0,2,4,6
/proc/23695/task/23699/stat : 23699 (java) S 23693 23695 22299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912943850 10806976512 72572 33554432000 1073741824 1073778376 140736197714880 18446744073709551615 256427207577 0 4 0 16800975 18446604445744009600 0 0 -1 6 0 0 0
[pid=23695/tid=23700] ppid=23693 vsize=10553688 CPUtime=0 cores=0,2,4,6
/proc/23695/task/23700/stat : 23700 (java) S 23693 23695 22299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912943850 10806976512 72574 33554432000 1073741824 1073778376 140736197714880 18446744073709551615 256427207577 0 4 0 16800975 18446604445744009600 0 0 -1 6 0 0 0
[pid=23695/tid=23701] ppid=23693 vsize=10553688 CPUtime=0 cores=0,2,4,6
/proc/23695/task/23701/stat : 23701 (java) S 23693 23695 22299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912943850 10806976512 72575 33554432000 1073741824 1073778376 140736197714880 18446744073709551615 256427207577 0 4 0 16800975 18446604445744009600 0 0 -1 6 0 0 0
[pid=23695/tid=23702] ppid=23693 vsize=10553688 CPUtime=0 cores=0,2,4,6
/proc/23695/task/23702/stat : 23702 (java) S 23693 23695 22299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912943850 10806976512 72576 33554432000 1073741824 1073778376 140736197714880 18446744073709551615 256427207577 0 4 0 16800975 18446604445744009600 0 0 -1 6 0 0 0
[pid=23695/tid=23703] ppid=23693 vsize=10553688 CPUtime=0 cores=0,2,4,6
/proc/23695/task/23703/stat : 23703 (java) S 23693 23695 22299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912943850 10806976512 72577 33554432000 1073741824 1073778376 140736197714880 18446744073709551615 256427207577 0 4 0 16800975 18446604445744009600 0 0 -1 6 0 0 0
[pid=23695/tid=23704] ppid=23693 vsize=10553688 CPUtime=0 cores=0,2,4,6
/proc/23695/task/23704/stat : 23704 (java) S 23693 23695 22299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912943850 10806976512 72577 33554432000 1073741824 1073778376 140736197714880 18446744073709551615 256427207577 0 4 0 16800975 18446604445744009600 0 0 -1 6 0 0 0
[pid=23695/tid=23705] ppid=23693 vsize=10553688 CPUtime=0 cores=0,2,4,6
/proc/23695/task/23705/stat : 23705 (java) S 23693 23695 22299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912943850 10806976512 72578 33554432000 1073741824 1073778376 140736197714880 18446744073709551615 256427207577 0 4 0 16800975 18446604445744009600 0 0 -1 6 0 0 0
[pid=23695/tid=23706] ppid=23693 vsize=10553688 CPUtime=0 cores=0,2,4,6
/proc/23695/task/23706/stat : 23706 (java) S 23693 23695 22299 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 912943851 10806976512 72579 33554432000 1073741824 1073778376 140736197714880 18446744073709551615 256427208192 0 0 0 16800975 18446604445744009600 0 0 -1 6 0 0 0
[pid=23695/tid=23707] ppid=23693 vsize=10553688 CPUtime=0 cores=0,2,4,6
/proc/23695/task/23707/stat : 23707 (java) S 23693 23695 22299 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 912943852 10806976512 72580 33554432000 1073741824 1073778376 140736197714880 18446744073709551615 256427207577 0 4 0 16800975 18446604445744009600 0 0 -1 2 0 0 0
[pid=23695/tid=23708] ppid=23693 vsize=10553688 CPUtime=0 cores=0,2,4,6
/proc/23695/task/23708/stat : 23708 (java) S 23693 23695 22299 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912943852 10806976512 72581 33554432000 1073741824 1073778376 140736197714880 18446744073709551615 256427207577 0 4 0 16800975 18446604445744009600 0 0 -1 2 0 0 0
[pid=23695/tid=23709] ppid=23693 vsize=10553688 CPUtime=0 cores=0,2,4,6
/proc/23695/task/23709/stat : 23709 (java) S 23693 23695 22299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912943854 10806976512 72583 33554432000 1073741824 1073778376 140736197714880 18446744073709551615 256427215281 0 4 0 16800975 18446604445744009600 0 0 -1 2 0 0 0
[pid=23695/tid=23710] ppid=23693 vsize=10553688 CPUtime=0.64 cores=0,2,4,6
/proc/23695/task/23710/stat : 23710 (java) S 23693 23695 22299 0 -1 4202560 3464 0 0 0 64 0 0 0 15 0 19 0 912943854 10806976512 72584 33554432000 1073741824 1073778376 140736197714880 18446744073709551615 256427207577 0 4 0 16800975 18446604445744009600 0 0 -1 0 0 0 0
[pid=23695/tid=23711] ppid=23693 vsize=10553688 CPUtime=0.62 cores=0,2,4,6
/proc/23695/task/23711/stat : 23711 (java) S 23693 23695 22299 0 -1 4202560 8650 0 0 0 62 0 0 0 17 0 19 0 912943854 10806976512 72585 33554432000 1073741824 1073778376 140736197714880 18446744073709551615 256427207577 0 4 0 16800975 18446604445744009600 0 0 -1 4 0 0 0
[pid=23695/tid=23712] ppid=23693 vsize=10553688 CPUtime=0 cores=0,2,4,6
/proc/23695/task/23712/stat : 23712 (java) S 23693 23695 22299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912943854 10806976512 72586 33554432000 1073741824 1073778376 140736197714880 18446744073709551615 256427207577 0 4 0 16800975 18446604445744009600 0 0 -1 2 0 0 0
[pid=23695/tid=23713] ppid=23693 vsize=10553688 CPUtime=0 cores=0,2,4,6
/proc/23695/task/23713/stat : 23713 (java) S 23693 23695 22299 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 912943854 10806976512 72587 33554432000 1073741824 1073778376 140736197714880 18446744073709551615 256427208192 0 4 0 16800975 18446604445744009600 0 0 -1 6 0 0 0
[pid=23695/tid=23715] ppid=23693 vsize=10553688 CPUtime=0 cores=0,2,4,6
/proc/23695/task/23715/stat : 23715 (java) S 23693 23695 22299 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 912943898 10806976512 72588 33554432000 1073741824 1073778376 140736197714880 18446744073709551615 256427208192 0 4 0 16800975 18446604445744009600 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.39
Current children cumulated vsize (KiB) 10553688
Child status: 10
Real time (s): 2.18136
CPU time (s): 3.47447
CPU user time (s): 3.35249
CPU system time (s): 0.121981
CPU usage (%): 159.28
Max. virtual memory (cumulated for all children) (KiB): 10553688
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.35249
system time used= 0.121981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80162
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= 299
involuntary context switches= 22
runsolver used 0.014997 second user time and 0.045993 second system time
The end