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-3457378-1307658175/watcher-3457378-1307658175 -o /tmp/evaluation-result-3457378-1307658175/solver-3457378-1307658175 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3457378-1307658175.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.85 4.03 3.49 2/195 23815
/proc/meminfo: memFree=31807936/32951124 swapFree=67063272/67111528
[pid=23815] ppid=23813 vsize=30536 CPUtime=0 cores=0,2,4,6
/proc/23815/stat : 23815 (java) S 23813 23815 22550 0 -1 4202496 1245 0 0 0 0 0 0 0 25 0 2 0 877415639 31268864 963 33554432000 1073741824 1073778376 140737326762720 18446744073709551615 232347695077 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/23815/statm: 7634 963 736 9 0 385 0
[pid=23815/tid=23816] ppid=23813 vsize=31604 CPUtime=0 cores=0,2,4,6
/proc/23815/task/23816/stat : 23816 (java) R 23813 23815 22550 0 -1 4202560 135 0 0 0 0 0 0 0 25 0 2 0 877415639 32362496 968 33554432000 1073741824 1073778376 140737326762720 18446744073709551615 232330929920 0 0 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.00663596 s]
/proc/loadavg: 3.85 4.03 3.49 2/195 23815
/proc/meminfo: memFree=31807936/32951124 swapFree=67063272/67111528
[pid=23815] ppid=23813 vsize=35788 CPUtime=0 cores=0,2,4,6
/proc/23815/stat : 23815 (java) S 23813 23815 22550 0 -1 4202496 1321 0 0 0 0 0 0 0 25 0 2 0 877415639 36646912 1022 33554432000 1073741824 1073778376 140737326762720 18446744073709551615 232347695077 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/23815/statm: 8947 1025 788 9 0 386 0
[pid=23815/tid=23816] ppid=23813 vsize=35788 CPUtime=0 cores=0,2,4,6
/proc/23815/task/23816/stat : 23816 (java) R 23813 23815 22550 0 -1 4202560 209 0 0 0 0 0 0 0 25 0 2 0 877415639 36646912 1025 33554432000 1073741824 1073778376 140737326762720 18446744073709551615 232347721467 0 0 0 16784584 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 35788
[startup+0.100667 s]
/proc/loadavg: 3.85 4.03 3.49 2/195 23815
/proc/meminfo: memFree=31807936/32951124 swapFree=67063272/67111528
[pid=23815] ppid=23813 vsize=10540064 CPUtime=0.1 cores=0,2,4,6
/proc/23815/stat : 23815 (java) S 23813 23815 22550 0 -1 4202496 13152 0 1 0 9 1 0 0 25 0 18 0 877415639 10793025536 12830 33554432000 1073741824 1073778376 140737326762720 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/23815/statm: 2635016 12830 2092 9 0 2625750 0
[pid=23815/tid=23816] ppid=23813 vsize=10540064 CPUtime=0.08 cores=0,2,4,6
/proc/23815/task/23816/stat : 23816 (java) R 23813 23815 22550 0 -1 4202560 11220 0 1 0 7 1 0 0 18 0 18 0 877415639 10793025536 12830 33554432000 1073741824 1073778376 140737326762720 18446744073709551615 47243849680408 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540064
[startup+0.306605 s]
/proc/loadavg: 3.85 4.03 3.49 2/195 23815
/proc/meminfo: memFree=31807936/32951124 swapFree=67063272/67111528
[pid=23815] ppid=23813 vsize=10547260 CPUtime=0.56 cores=0,2,4,6
/proc/23815/stat : 23815 (java) S 23813 23815 22550 0 -1 4202496 20192 0 1 0 54 2 0 0 25 0 18 0 877415639 10800394240 18724 33554432000 1073741824 1073778376 140737326762720 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/23815/statm: 2636815 18726 2202 9 0 2627549 0
[pid=23815/tid=23816] ppid=23813 vsize=10547260 CPUtime=0.29 cores=0,2,4,6
/proc/23815/task/23816/stat : 23816 (java) R 23813 23815 22550 0 -1 4202560 15191 0 1 0 27 2 0 0 18 0 18 0 877415639 10800394240 18727 33554432000 1073741824 1073778376 140737326762720 18446744073709551615 46912505590454 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 10547260
[startup+0.700569 s]
/proc/loadavg: 3.85 4.03 3.49 2/195 23815
/proc/meminfo: memFree=31807936/32951124 swapFree=67063272/67111528
[pid=23815] ppid=23813 vsize=10553696 CPUtime=1.33 cores=0,2,4,6
/proc/23815/stat : 23815 (java) S 23813 23815 22550 0 -1 4202496 48770 0 1 0 128 5 0 0 25 0 18 0 877415639 10806984704 44156 33554432000 1073741824 1073778376 140737326762720 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/23815/statm: 2638424 44156 2210 9 0 2629158 0
[pid=23815/tid=23816] ppid=23813 vsize=10553696 CPUtime=0.68 cores=0,2,4,6
/proc/23815/task/23816/stat : 23816 (java) R 23813 23815 22550 0 -1 4202560 38008 0 1 0 64 4 0 0 18 0 18 0 877415639 10806984704 44156 33554432000 1073741824 1073778376 140737326762720 18446744073709551615 46912505653740 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 10553696
Solver just ended. Dumping a history of the last processes samples
[startup+1.1075 s]
/proc/loadavg: 3.85 4.03 3.49 3/214 23834
/proc/meminfo: memFree=31096096/32951124 swapFree=67063272/67111528
[pid=23815] ppid=23813 vsize=10553696 CPUtime=1.76 cores=0,2,4,6
/proc/23815/stat : 23815 (java) S 23813 23815 22550 0 -1 4202496 78029 0 1 0 166 10 0 0 25 0 18 0 877415639 10806984704 73415 33554432000 1073741824 1073778376 140737326762720 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/23815/statm: 2638424 73418 2210 9 0 2629158 0
[pid=23815/tid=23816] ppid=23813 vsize=10553696 CPUtime=1.08 cores=0,2,4,6
/proc/23815/task/23816/stat : 23816 (java) R 23813 23815 22550 0 -1 4202560 67271 0 1 0 100 8 0 0 18 0 18 0 877415639 10806984704 73420 33554432000 1073741824 1073778376 140737326762720 18446744073709551615 46912505624994 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=23815/tid=23818] ppid=23813 vsize=10553696 CPUtime=0 cores=0,2,4,6
/proc/23815/task/23818/stat : 23818 (java) S 23813 23815 22550 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877415641 10806984704 73424 33554432000 1073741824 1073778376 140737326762720 18446744073709551615 232347708313 0 4 0 16800975 18446604443332249664 0 0 -1 0 0 0 0
[pid=23815/tid=23819] ppid=23813 vsize=10553696 CPUtime=0 cores=0,2,4,6
/proc/23815/task/23819/stat : 23819 (java) S 23813 23815 22550 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877415641 10806984704 73428 33554432000 1073741824 1073778376 140737326762720 18446744073709551615 232347708313 0 4 0 16800975 18446604443332249664 0 0 -1 6 0 0 0
[pid=23815/tid=23820] ppid=23813 vsize=10553696 CPUtime=0 cores=0,2,4,6
/proc/23815/task/23820/stat : 23820 (java) S 23813 23815 22550 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877415641 10806984704 73428 33554432000 1073741824 1073778376 140737326762720 18446744073709551615 232347708313 0 4 0 16800975 18446604443332249664 0 0 -1 0 0 0 0
[pid=23815/tid=23821] ppid=23813 vsize=10553696 CPUtime=0 cores=0,2,4,6
/proc/23815/task/23821/stat : 23821 (java) S 23813 23815 22550 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877415641 10806984704 73428 33554432000 1073741824 1073778376 140737326762720 18446744073709551615 232347708313 0 4 0 16800975 18446604443332249664 0 0 -1 6 0 0 0
[pid=23815/tid=23822] ppid=23813 vsize=10553696 CPUtime=0 cores=0,2,4,6
/proc/23815/task/23822/stat : 23822 (java) S 23813 23815 22550 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877415641 10806984704 73428 33554432000 1073741824 1073778376 140737326762720 18446744073709551615 232347708313 0 4 0 16800975 18446604443332249664 0 0 -1 0 0 0 0
[pid=23815/tid=23823] ppid=23813 vsize=10553696 CPUtime=0 cores=0,2,4,6
/proc/23815/task/23823/stat : 23823 (java) S 23813 23815 22550 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877415641 10806984704 73428 33554432000 1073741824 1073778376 140737326762720 18446744073709551615 232347708313 0 4 0 16800975 18446604443332249664 0 0 -1 6 0 0 0
[pid=23815/tid=23824] ppid=23813 vsize=10553696 CPUtime=0 cores=0,2,4,6
/proc/23815/task/23824/stat : 23824 (java) S 23813 23815 22550 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877415641 10806984704 73428 33554432000 1073741824 1073778376 140737326762720 18446744073709551615 232347708313 0 4 0 16800975 18446604443332249664 0 0 -1 0 0 0 0
[pid=23815/tid=23825] ppid=23813 vsize=10553696 CPUtime=0 cores=0,2,4,6
/proc/23815/task/23825/stat : 23825 (java) S 23813 23815 22550 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877415641 10806984704 73428 33554432000 1073741824 1073778376 140737326762720 18446744073709551615 232347708313 0 4 0 16800975 18446604443332249664 0 0 -1 0 0 0 0
[pid=23815/tid=23827] ppid=23813 vsize=10553696 CPUtime=0 cores=0,2,4,6
/proc/23815/task/23827/stat : 23827 (java) S 23813 23815 22550 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 877415642 10806984704 73428 33554432000 1073741824 1073778376 140737326762720 18446744073709551615 232347708928 0 0 0 16800975 18446604443332249664 0 0 -1 6 0 0 0
[pid=23815/tid=23828] ppid=23813 vsize=10553696 CPUtime=0 cores=0,2,4,6
/proc/23815/task/23828/stat : 23828 (java) S 23813 23815 22550 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 877415642 10806984704 73428 33554432000 1073741824 1073778376 140737326762720 18446744073709551615 232347708313 0 4 0 16800975 18446604443332249664 0 0 -1 4 0 0 0
[pid=23815/tid=23829] ppid=23813 vsize=10553696 CPUtime=0 cores=0,2,4,6
/proc/23815/task/23829/stat : 23829 (java) S 23813 23815 22550 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 877415642 10806984704 73429 33554432000 1073741824 1073778376 140737326762720 18446744073709551615 232347708313 0 4 0 16800975 18446604443332249664 0 0 -1 4 0 0 0
[pid=23815/tid=23830] ppid=23813 vsize=10553696 CPUtime=0 cores=0,2,4,6
/proc/23815/task/23830/stat : 23830 (java) S 23813 23815 22550 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877415645 10806984704 73432 33554432000 1073741824 1073778376 140737326762720 18446744073709551615 232347716017 0 4 0 16800975 18446604443332249664 0 0 -1 4 0 0 0
[pid=23815/tid=23831] ppid=23813 vsize=10553696 CPUtime=0.39 cores=0,2,4,6
/proc/23815/task/23831/stat : 23831 (java) S 23813 23815 22550 0 -1 4202560 5799 0 0 0 39 0 0 0 16 0 18 0 877415645 10806984704 73435 33554432000 1073741824 1073778376 140737326762720 18446744073709551615 232347708313 0 4 0 16800975 18446604443332249664 0 0 -1 0 0 0 0
[pid=23815/tid=23832] ppid=23813 vsize=10553696 CPUtime=0.25 cores=0,2,4,6
/proc/23815/task/23832/stat : 23832 (java) S 23813 23815 22550 0 -1 4202560 3813 0 0 0 25 0 0 0 15 0 18 0 877415645 10806984704 73437 33554432000 1073741824 1073778376 140737326762720 18446744073709551615 232347708313 0 4 0 16800975 18446604443332249664 0 0 -1 2 0 0 0
[pid=23815/tid=23833] ppid=23813 vsize=10553696 CPUtime=0 cores=0,2,4,6
/proc/23815/task/23833/stat : 23833 (java) S 23813 23815 22550 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877415645 10806984704 73439 33554432000 1073741824 1073778376 140737326762720 18446744073709551615 232347708313 0 4 0 16800975 18446604443332249664 0 0 -1 4 0 0 0
[pid=23815/tid=23834] ppid=23813 vsize=10553696 CPUtime=0 cores=0,2,4,6
/proc/23815/task/23834/stat : 23834 (java) S 23813 23815 22550 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 877415645 10806984704 73440 33554432000 1073741824 1073778376 140737326762720 18446744073709551615 232347708928 0 4 0 16800975 18446604443332249664 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.76
Current children cumulated vsize (KiB) 10553696
[startup+1.20148 s]
/proc/loadavg: 3.85 4.03 3.49 3/214 23834
/proc/meminfo: memFree=31096096/32951124 swapFree=67063272/67111528
[pid=23815] ppid=23813 vsize=10553696 CPUtime=1.87 cores=0,2,4,6
/proc/23815/stat : 23815 (java) S 23813 23815 22550 0 -1 4202496 84211 0 1 0 177 10 0 0 25 0 18 0 877415639 10806984704 79597 33554432000 1073741824 1073778376 140737326762720 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/23815/statm: 2638424 79597 2219 9 0 2629158 0
[pid=23815/tid=23816] ppid=23813 vsize=10553696 CPUtime=1.18 cores=0,2,4,6
/proc/23815/task/23816/stat : 23816 (java) R 23813 23815 22550 0 -1 4202560 73444 0 1 0 109 9 0 0 18 0 18 0 877415639 10806984704 79597 33554432000 1073741824 1073778376 140737326762720 18446744073709551615 46912505357408 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=23815/tid=23818] ppid=23813 vsize=10553696 CPUtime=0 cores=0,2,4,6
/proc/23815/task/23818/stat : 23818 (java) S 23813 23815 22550 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877415641 10806984704 79597 33554432000 1073741824 1073778376 140737326762720 18446744073709551615 232347708313 0 4 0 16800975 18446604443332249664 0 0 -1 0 0 0 0
[pid=23815/tid=23819] ppid=23813 vsize=10553696 CPUtime=0 cores=0,2,4,6
/proc/23815/task/23819/stat : 23819 (java) S 23813 23815 22550 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877415641 10806984704 79597 33554432000 1073741824 1073778376 140737326762720 18446744073709551615 232347708313 0 4 0 16800975 18446604443332249664 0 0 -1 6 0 0 0
[pid=23815/tid=23820] ppid=23813 vsize=10553696 CPUtime=0 cores=0,2,4,6
/proc/23815/task/23820/stat : 23820 (java) S 23813 23815 22550 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877415641 10806984704 79597 33554432000 1073741824 1073778376 140737326762720 18446744073709551615 232347708313 0 4 0 16800975 18446604443332249664 0 0 -1 0 0 0 0
[pid=23815/tid=23821] ppid=23813 vsize=10553696 CPUtime=0 cores=0,2,4,6
/proc/23815/task/23821/stat : 23821 (java) S 23813 23815 22550 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877415641 10806984704 79597 33554432000 1073741824 1073778376 140737326762720 18446744073709551615 232347708313 0 4 0 16800975 18446604443332249664 0 0 -1 6 0 0 0
[pid=23815/tid=23822] ppid=23813 vsize=10553696 CPUtime=0 cores=0,2,4,6
/proc/23815/task/23822/stat : 23822 (java) S 23813 23815 22550 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877415641 10806984704 79597 33554432000 1073741824 1073778376 140737326762720 18446744073709551615 232347708313 0 4 0 16800975 18446604443332249664 0 0 -1 0 0 0 0
[pid=23815/tid=23823] ppid=23813 vsize=10553696 CPUtime=0 cores=0,2,4,6
/proc/23815/task/23823/stat : 23823 (java) S 23813 23815 22550 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877415641 10806984704 79597 33554432000 1073741824 1073778376 140737326762720 18446744073709551615 232347708313 0 4 0 16800975 18446604443332249664 0 0 -1 6 0 0 0
[pid=23815/tid=23824] ppid=23813 vsize=10553696 CPUtime=0 cores=0,2,4,6
/proc/23815/task/23824/stat : 23824 (java) S 23813 23815 22550 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877415641 10806984704 79597 33554432000 1073741824 1073778376 140737326762720 18446744073709551615 232347708313 0 4 0 16800975 18446604443332249664 0 0 -1 0 0 0 0
[pid=23815/tid=23825] ppid=23813 vsize=10553696 CPUtime=0 cores=0,2,4,6
/proc/23815/task/23825/stat : 23825 (java) S 23813 23815 22550 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877415641 10806984704 79597 33554432000 1073741824 1073778376 140737326762720 18446744073709551615 232347708313 0 4 0 16800975 18446604443332249664 0 0 -1 0 0 0 0
[pid=23815/tid=23827] ppid=23813 vsize=10553696 CPUtime=0 cores=0,2,4,6
/proc/23815/task/23827/stat : 23827 (java) S 23813 23815 22550 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 877415642 10806984704 79597 33554432000 1073741824 1073778376 140737326762720 18446744073709551615 232347708928 0 0 0 16800975 18446604443332249664 0 0 -1 6 0 0 0
[pid=23815/tid=23828] ppid=23813 vsize=10553696 CPUtime=0 cores=0,2,4,6
/proc/23815/task/23828/stat : 23828 (java) S 23813 23815 22550 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 877415642 10806984704 79597 33554432000 1073741824 1073778376 140737326762720 18446744073709551615 232347708313 0 4 0 16800975 18446604443332249664 0 0 -1 4 0 0 0
[pid=23815/tid=23829] ppid=23813 vsize=10553696 CPUtime=0 cores=0,2,4,6
/proc/23815/task/23829/stat : 23829 (java) S 23813 23815 22550 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 877415642 10806984704 79598 33554432000 1073741824 1073778376 140737326762720 18446744073709551615 232347708313 0 4 0 16800975 18446604443332249664 0 0 -1 4 0 0 0
[pid=23815/tid=23830] ppid=23813 vsize=10553696 CPUtime=0 cores=0,2,4,6
/proc/23815/task/23830/stat : 23830 (java) S 23813 23815 22550 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877415645 10806984704 79608 33554432000 1073741824 1073778376 140737326762720 18446744073709551615 232347716017 0 4 0 16800975 18446604443332249664 0 0 -1 4 0 0 0
[pid=23815/tid=23831] ppid=23813 vsize=10553696 CPUtime=0.41 cores=0,2,4,6
/proc/23815/task/23831/stat : 23831 (java) R 23813 23815 22550 0 -1 4202560 5824 0 0 0 41 0 0 0 15 0 18 0 877415645 10806984704 79618 33554432000 1073741824 1073778376 140737326762720 18446744073709551615 47243847467472 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=23815/tid=23832] ppid=23813 vsize=10553696 CPUtime=0.26 cores=0,2,4,6
/proc/23815/task/23832/stat : 23832 (java) R 23813 23815 22550 0 -1 4202560 3813 0 0 0 26 0 0 0 15 0 18 0 877415645 10806984704 79618 33554432000 1073741824 1073778376 140737326762720 18446744073709551615 47243851087688 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=23815/tid=23833] ppid=23813 vsize=10553696 CPUtime=0 cores=0,2,4,6
/proc/23815/task/23833/stat : 23833 (java) S 23813 23815 22550 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877415645 10806984704 79618 33554432000 1073741824 1073778376 140737326762720 18446744073709551615 232347708313 0 4 0 16800975 18446604443332249664 0 0 -1 4 0 0 0
[pid=23815/tid=23834] ppid=23813 vsize=10553696 CPUtime=0 cores=0,2,4,6
/proc/23815/task/23834/stat : 23834 (java) R 23813 23815 22550 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 877415645 10806984704 79618 33554432000 1073741824 1073778376 140737326762720 18446744073709551615 232347708928 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.87
Current children cumulated vsize (KiB) 10553696
Child status: 20
Real time (s): 1.29388
CPU time (s): 2.02569
CPU user time (s): 1.90171
CPU system time (s): 0.123981
CPU usage (%): 156.56
Max. virtual memory (cumulated for all children) (KiB): 10556096
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.90171
system time used= 0.123981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 84984
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= 217
involuntary context switches= 13
runsolver used 0.001999 second user time and 0.010998 second system time
The end