runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3734325-1338744424/watcher-3734325-1338744424 -o /tmp/evaluation-result-3734325-1338744424/solver-3734325-1338744424 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3734325-1338744424.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: 3.56 3.11 2.80 3/197 15636
/proc/meminfo: memFree=28258436/32873844 swapFree=7644/7644
[pid=15636] ppid=15634 vsize=9224 CPUtime=0 cores=0,2,4,6
/proc/15636/stat : 15636 (java) R 15634 15636 13986 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 340566836 9445376 74 33554432000 1073741824 1073778376 140734324056032 140734324053160 239228467295 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/15636/statm: 2306 92 74 9 0 38 0
[startup+0.0346879 s]
/proc/loadavg: 3.56 3.11 2.80 3/197 15636
/proc/meminfo: memFree=28258436/32873844 swapFree=7644/7644
[pid=15636] ppid=15634 vsize=2233952 CPUtime=0.02 cores=0,2,4,6
/proc/15636/stat : 15636 (java) S 15634 15636 13986 0 -1 4202496 3608 0 1 0 1 1 0 0 20 0 11 0 340566836 2287566848 4818 33554432000 1073741824 1073778376 140734324056032 140734324047168 239241035837 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15636/statm: 558488 4818 1632 9 0 549189 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 2233952
[startup+0.100247 s]
/proc/loadavg: 3.56 3.11 2.80 3/197 15636
/proc/meminfo: memFree=28258436/32873844 swapFree=7644/7644
[pid=15636] ppid=15634 vsize=2699928 CPUtime=0.08 cores=0,2,4,6
/proc/15636/stat : 15636 (java) S 15634 15636 13986 0 -1 4202496 4609 0 1 0 7 1 0 0 20 0 18 0 340566836 2764726272 6319 33554432000 1073741824 1073778376 140734324056032 140734324047168 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15636/statm: 674982 6323 2070 9 0 665676 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 2699928
[startup+0.30017 s]
/proc/loadavg: 3.56 3.11 2.80 3/197 15636
/proc/meminfo: memFree=28258436/32873844 swapFree=7644/7644
[pid=15636] ppid=15634 vsize=2966184 CPUtime=0.68 cores=0,2,4,6
/proc/15636/stat : 15636 (java) S 15634 15636 13986 0 -1 4202496 9874 0 1 0 65 3 0 0 20 0 22 0 340566836 3037372416 11680 33554432000 1073741824 1073778376 140734324056032 140734324047168 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15636/statm: 741546 11680 2217 9 0 732240 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 2966184
[startup+0.700227 s]
/proc/loadavg: 3.56 3.11 2.80 3/197 15636
/proc/meminfo: memFree=28258436/32873844 swapFree=7644/7644
[pid=15636] ppid=15634 vsize=2966184 CPUtime=1.1 cores=0,2,4,6
/proc/15636/stat : 15636 (java) S 15634 15636 13986 0 -1 4202496 10506 0 1 0 105 5 0 0 20 0 20 0 340566836 3037372416 13515 33554432000 1073741824 1073778376 140734324056032 140734324047168 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15636/statm: 741546 13515 2231 9 0 732240 0
Current children cumulated CPU time (s) 1.1
Current children cumulated vsize (KiB) 2966184
[startup+1.50071 s]
/proc/loadavg: 3.56 3.11 2.80 3/217 15658
/proc/meminfo: memFree=28212696/32873844 swapFree=7644/7644
[pid=15636] ppid=15634 vsize=2966184 CPUtime=1.12 cores=0,2,4,6
/proc/15636/stat : 15636 (java) S 15634 15636 13986 0 -1 4202496 10515 0 1 0 107 5 0 0 20 0 20 0 340566836 3037372416 15051 33554432000 1073741824 1073778376 140734324056032 140734324047168 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15636/statm: 741546 15051 2231 9 0 732240 0
[pid=15636/tid=15638] ppid=15634 vsize=2966184 CPUtime=0.14 cores=0,2,4,6
/proc/15636/task/15638/stat : 15638 (java) S 15634 15636 13986 0 -1 4202560 2785 0 1 0 13 1 0 0 20 0 20 0 340566837 3037372416 15051 33554432000 1073741824 1073778376 140734324056032 139649278899352 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15636/tid=15639] ppid=15634 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15636/task/15639/stat : 15639 (java) S 15634 15636 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340566838 3037372416 15051 33554432000 1073741824 1073778376 140734324056032 139649263180328 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15636/tid=15640] ppid=15634 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15636/task/15640/stat : 15640 (java) S 15634 15636 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340566838 3037372416 15051 33554432000 1073741824 1073778376 140734324056032 139649262127528 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15636/tid=15641] ppid=15634 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15636/task/15641/stat : 15641 (java) S 15634 15636 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340566838 3037372416 15051 33554432000 1073741824 1073778376 140734324056032 139649261074728 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15636/tid=15642] ppid=15634 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15636/task/15642/stat : 15642 (java) S 15634 15636 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340566838 3037372416 15051 33554432000 1073741824 1073778376 140734324056032 139649260021928 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15636/tid=15643] ppid=15634 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15636/task/15643/stat : 15643 (java) S 15634 15636 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340566838 3037372416 15051 33554432000 1073741824 1073778376 140734324056032 139649258970152 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15636/tid=15644] ppid=15634 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15636/task/15644/stat : 15644 (java) S 15634 15636 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340566838 3037372416 15051 33554432000 1073741824 1073778376 140734324056032 139649257917352 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15636/tid=15645] ppid=15634 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15636/task/15645/stat : 15645 (java) S 15634 15636 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340566838 3037372416 15051 33554432000 1073741824 1073778376 140734324056032 139649256864552 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15636/tid=15646] ppid=15634 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15636/task/15646/stat : 15646 (java) S 15634 15636 13986 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 340566838 3037372416 15051 33554432000 1073741824 1073778376 140734324056032 139649255811752 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15636/tid=15647] ppid=15634 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15636/task/15647/stat : 15647 (java) S 15634 15636 13986 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 340566839 3037372416 15051 33554432000 1073741824 1073778376 140734324056032 139649125149160 239241050025 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15636/tid=15648] ppid=15634 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15636/task/15648/stat : 15648 (java) S 15634 15636 13986 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 340566840 3037372416 15051 33554432000 1073741824 1073778376 140734324056032 139649124095224 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15636/tid=15649] ppid=15634 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15636/task/15649/stat : 15649 (java) S 15634 15636 13986 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340566840 3037372416 15051 33554432000 1073741824 1073778376 140734324056032 139649123042312 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15636/tid=15650] ppid=15634 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15636/task/15650/stat : 15650 (java) S 15634 15636 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340566843 3037372416 15051 33554432000 1073741824 1073778376 140734324056032 139649121990800 239241058080 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15636/tid=15651] ppid=15634 vsize=2966184 CPUtime=0.23 cores=0,2,4,6
/proc/15636/task/15651/stat : 15651 (java) S 15634 15636 13986 0 -1 4202560 2369 0 0 0 23 0 0 0 20 0 20 0 340566843 3037372416 15051 33554432000 1073741824 1073778376 140734324056032 139649120938936 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15636/tid=15652] ppid=15634 vsize=2966184 CPUtime=0.26 cores=0,2,4,6
/proc/15636/task/15652/stat : 15652 (java) S 15634 15636 13986 0 -1 4202560 4043 0 0 0 26 0 0 0 20 0 20 0 340566843 3037372416 15051 33554432000 1073741824 1073778376 140734324056032 139649119886136 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15636/tid=15653] ppid=15634 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15636/task/15653/stat : 15653 (java) S 15634 15636 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340566843 3037372416 15051 33554432000 1073741824 1073778376 140734324056032 139649118833528 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15636/tid=15654] ppid=15634 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15636/task/15654/stat : 15654 (java) S 15634 15636 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340566843 3037372416 15051 33554432000 1073741824 1073778376 140734324056032 139648110160840 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15636/tid=15657] ppid=15634 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15636/task/15657/stat : 15657 (java) S 15634 15636 13986 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340566854 3037372416 15051 33554432000 1073741824 1073778376 140734324056032 139648107000744 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15636/tid=15658] ppid=15634 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15636/task/15658/stat : 15658 (java) S 15634 15636 13986 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340566854 3037372416 15051 33554432000 1073741824 1073778376 140734324056032 139648105947944 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.12
Current children cumulated vsize (KiB) 2966184
[startup+3.10071 s]
/proc/loadavg: 3.56 3.11 2.80 3/217 15660
/proc/meminfo: memFree=28206072/32873844 swapFree=7644/7644
[pid=15636] ppid=15634 vsize=2966184 CPUtime=1.12 cores=0,2,4,6
/proc/15636/stat : 15636 (java) S 15634 15636 13986 0 -1 4202496 10522 0 1 0 107 5 0 0 20 0 20 0 340566836 3037372416 16075 33554432000 1073741824 1073778376 140734324056032 140734324047168 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15636/statm: 741546 16075 2231 9 0 732240 0
[pid=15636/tid=15638] ppid=15634 vsize=2966184 CPUtime=0.14 cores=0,2,4,6
/proc/15636/task/15638/stat : 15638 (java) S 15634 15636 13986 0 -1 4202560 2786 0 1 0 13 1 0 0 20 0 20 0 340566837 3037372416 16075 33554432000 1073741824 1073778376 140734324056032 139649278899352 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15636/tid=15639] ppid=15634 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15636/task/15639/stat : 15639 (java) S 15634 15636 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340566838 3037372416 16075 33554432000 1073741824 1073778376 140734324056032 139649263180328 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15636/tid=15640] ppid=15634 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15636/task/15640/stat : 15640 (java) S 15634 15636 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340566838 3037372416 16075 33554432000 1073741824 1073778376 140734324056032 139649262127528 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15636/tid=15641] ppid=15634 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15636/task/15641/stat : 15641 (java) S 15634 15636 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340566838 3037372416 16075 33554432000 1073741824 1073778376 140734324056032 139649261074728 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15636/tid=15642] ppid=15634 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15636/task/15642/stat : 15642 (java) S 15634 15636 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340566838 3037372416 16075 33554432000 1073741824 1073778376 140734324056032 139649260021928 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15636/tid=15643] ppid=15634 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15636/task/15643/stat : 15643 (java) S 15634 15636 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340566838 3037372416 16075 33554432000 1073741824 1073778376 140734324056032 139649258970152 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15636/tid=15644] ppid=15634 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15636/task/15644/stat : 15644 (java) S 15634 15636 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340566838 3037372416 16075 33554432000 1073741824 1073778376 140734324056032 139649257917352 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15636/tid=15645] ppid=15634 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15636/task/15645/stat : 15645 (java) S 15634 15636 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340566838 3037372416 16075 33554432000 1073741824 1073778376 140734324056032 139649256864552 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15636/tid=15646] ppid=15634 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15636/task/15646/stat : 15646 (java) S 15634 15636 13986 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 340566838 3037372416 16075 33554432000 1073741824 1073778376 140734324056032 139649255811752 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15636/tid=15647] ppid=15634 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15636/task/15647/stat : 15647 (java) S 15634 15636 13986 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 340566839 3037372416 16075 33554432000 1073741824 1073778376 140734324056032 139649125149160 239241050025 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15636/tid=15648] ppid=15634 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15636/task/15648/stat : 15648 (java) S 15634 15636 13986 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 340566840 3037372416 16075 33554432000 1073741824 1073778376 140734324056032 139649124095224 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15636/tid=15649] ppid=15634 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15636/task/15649/stat : 15649 (java) S 15634 15636 13986 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340566840 3037372416 16075 33554432000 1073741824 1073778376 140734324056032 139649123042312 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15636/tid=15650] ppid=15634 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15636/task/15650/stat : 15650 (java) S 15634 15636 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340566843 3037372416 16075 33554432000 1073741824 1073778376 140734324056032 139649121990800 239241058080 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15636/tid=15651] ppid=15634 vsize=2966184 CPUtime=0.23 cores=0,2,4,6
/proc/15636/task/15651/stat : 15651 (java) S 15634 15636 13986 0 -1 4202560 2369 0 0 0 23 0 0 0 20 0 20 0 340566843 3037372416 16075 33554432000 1073741824 1073778376 140734324056032 139649120938936 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15636/tid=15652] ppid=15634 vsize=2966184 CPUtime=0.26 cores=0,2,4,6
/proc/15636/task/15652/stat : 15652 (java) S 15634 15636 13986 0 -1 4202560 4043 0 0 0 26 0 0 0 20 0 20 0 340566843 3037372416 16075 33554432000 1073741824 1073778376 140734324056032 139649119886136 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15636/tid=15653] ppid=15634 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15636/task/15653/stat : 15653 (java) S 15634 15636 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340566843 3037372416 16075 33554432000 1073741824 1073778376 140734324056032 139649118833528 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15636/tid=15654] ppid=15634 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15636/task/15654/stat : 15654 (java) S 15634 15636 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340566843 3037372416 16075 33554432000 1073741824 1073778376 140734324056032 139648110160840 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15636/tid=15657] ppid=15634 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15636/task/15657/stat : 15657 (java) S 15634 15636 13986 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340566854 3037372416 16075 33554432000 1073741824 1073778376 140734324056032 139648107000744 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15636/tid=15658] ppid=15634 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15636/task/15658/stat : 15658 (java) S 15634 15636 13986 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340566854 3037372416 16075 33554432000 1073741824 1073778376 140734324056032 139648105947944 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.12
Current children cumulated vsize (KiB) 2966184
heavy processes:
Solver just ended. Dumping a history of the last processes samples
Child status: 30
Real time (s): 3.18425
CPU time (s): 1.15582
CPU user time (s): 1.08183
CPU system time (s): 0.073988
CPU usage (%): 36.2982
Max. virtual memory (cumulated for all children) (KiB): 2966184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.08183
system time used= 0.073988
maximum resident set size= 66360
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10531
page faults= 1
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 332
involuntary context switches= 42
runsolver used 0.010998 second user time and 0.022996 second system time
The end