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-3736499-1338760718/watcher-3736499-1338760718 -o /tmp/evaluation-result-3736499-1338760718/solver-3736499-1338760718 -C 1800 -W 1900 -M 15500 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar HOME/instance-3736499-1338760718.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.03 2.02 2.00 3/194 29703
/proc/meminfo: memFree=26898224/32873844 swapFree=7116/7116
[pid=29703] ppid=29701 vsize=272 CPUtime=0 cores=1,3,5,7
/proc/29703/stat : 29703 (java6) R 29701 29703 28074 0 -1 4202496 81 0 0 0 0 0 0 0 20 0 1 0 342196831 278528 33 33554432000 1073741824 1073778376 140734714590000 140734714587176 227132140839 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/29703/statm: 68 33 25 9 0 25 0
[startup+0.064875 s]
/proc/loadavg: 2.03 2.02 2.00 3/194 29703
/proc/meminfo: memFree=26898224/32873844 swapFree=7116/7116
[pid=29703] ppid=29701 vsize=2315716 CPUtime=0.04 cores=1,3,5,7
/proc/29703/stat : 29703 (java) S 29701 29703 28074 0 -1 4202496 3689 0 1 0 3 1 0 0 20 0 13 0 342196831 2371293184 4896 33554432000 1073741824 1073778376 140737041465152 140737041456288 227144663101 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/29703/statm: 578929 4896 1702 9 0 569630 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 2315716
[startup+0.10034 s]
/proc/loadavg: 2.03 2.02 2.00 3/194 29703
/proc/meminfo: memFree=26898224/32873844 swapFree=7116/7116
[pid=29703] ppid=29701 vsize=2648568 CPUtime=0.06 cores=1,3,5,7
/proc/29703/stat : 29703 (java) S 29701 29703 28074 0 -1 4202496 3864 0 1 0 5 1 0 0 20 0 18 0 342196831 2712133632 5582 33554432000 1073741824 1073778376 140737041465152 140737041456288 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/29703/statm: 662142 5582 1772 9 0 652835 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2648568
[startup+0.300313 s]
/proc/loadavg: 2.03 2.02 2.00 3/194 29703
/proc/meminfo: memFree=26898224/32873844 swapFree=7116/7116
[pid=29703] ppid=29701 vsize=2715132 CPUtime=0.5 cores=1,3,5,7
/proc/29703/stat : 29703 (java) S 29701 29703 28074 0 -1 4202496 8656 0 1 0 48 2 0 0 20 0 19 0 342196831 2780295168 9799 33554432000 1073741824 1073778376 140737041465152 140737041456288 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/29703/statm: 678783 9799 2234 9 0 669476 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 2715132
[startup+0.700307 s]
/proc/loadavg: 2.03 2.02 2.00 3/194 29703
/proc/meminfo: memFree=26898224/32873844 swapFree=7116/7116
[pid=29703] ppid=29701 vsize=2715132 CPUtime=1.12 cores=1,3,5,7
/proc/29703/stat : 29703 (java) S 29701 29703 28074 0 -1 4202496 9428 0 1 0 109 3 0 0 20 0 19 0 342196831 2780295168 18959 33554432000 1073741824 1073778376 140737041465152 140737041456288 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/29703/statm: 678783 18959 2243 9 0 669476 0
Current children cumulated CPU time (s) 1.12
Current children cumulated vsize (KiB) 2715132
[startup+1.5008 s]
/proc/loadavg: 2.03 2.02 2.00 3/213 29722
/proc/meminfo: memFree=26795844/32873844 swapFree=7116/7116
[pid=29703] ppid=29701 vsize=2715132 CPUtime=1.95 cores=1,3,5,7
/proc/29703/stat : 29703 (java) S 29701 29703 28074 0 -1 4202496 9473 0 1 0 190 5 0 0 20 0 19 0 342196831 2780295168 39954 33554432000 1073741824 1073778376 140737041465152 140737041456288 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/29703/statm: 678783 39954 2245 9 0 669476 0
[pid=29703/tid=29705] ppid=29701 vsize=2715132 CPUtime=1.45 cores=1,3,5,7
/proc/29703/task/29705/stat : 29705 (java) R 29701 29703 28074 0 -1 4202560 2821 0 1 0 141 4 0 0 20 0 19 0 342196832 2780295168 39954 33554432000 1073741824 1073778376 140737041465152 140695891145280 140695763947074 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=29703/tid=29706] ppid=29701 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/29703/task/29706/stat : 29706 (java) S 29701 29703 28074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342196834 2780295168 39954 33554432000 1073741824 1073778376 140737041465152 140695758014632 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29703/tid=29707] ppid=29701 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/29703/task/29707/stat : 29707 (java) S 29701 29703 28074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342196834 2780295168 39954 33554432000 1073741824 1073778376 140737041465152 140695756962088 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29703/tid=29708] ppid=29701 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/29703/task/29708/stat : 29708 (java) S 29701 29703 28074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342196834 2780295168 39954 33554432000 1073741824 1073778376 140737041465152 140695755909544 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29703/tid=29709] ppid=29701 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/29703/task/29709/stat : 29709 (java) S 29701 29703 28074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342196834 2780295168 39954 33554432000 1073741824 1073778376 140737041465152 140695754857000 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29703/tid=29710] ppid=29701 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/29703/task/29710/stat : 29710 (java) S 29701 29703 28074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342196834 2780295168 39954 33554432000 1073741824 1073778376 140737041465152 140695753804456 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29703/tid=29711] ppid=29701 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/29703/task/29711/stat : 29711 (java) S 29701 29703 28074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342196834 2780295168 39954 33554432000 1073741824 1073778376 140737041465152 140695752751912 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29703/tid=29712] ppid=29701 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/29703/task/29712/stat : 29712 (java) S 29701 29703 28074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342196834 2780295168 39954 33554432000 1073741824 1073778376 140737041465152 140695751699368 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29703/tid=29713] ppid=29701 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/29703/task/29713/stat : 29713 (java) S 29701 29703 28074 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342196834 2780295168 39954 33554432000 1073741824 1073778376 140737041465152 140695750646824 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29703/tid=29714] ppid=29701 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/29703/task/29714/stat : 29714 (java) S 29701 29703 28074 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 342196835 2780295168 39954 33554432000 1073741824 1073778376 140737041465152 140695268452456 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29703/tid=29715] ppid=29701 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/29703/task/29715/stat : 29715 (java) S 29701 29703 28074 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 342196836 2780295168 39954 33554432000 1073741824 1073778376 140737041465152 140695267398776 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29703/tid=29716] ppid=29701 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/29703/task/29716/stat : 29716 (java) S 29701 29703 28074 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342196836 2780295168 39954 33554432000 1073741824 1073778376 140737041465152 140695266346120 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29703/tid=29717] ppid=29701 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/29703/task/29717/stat : 29717 (java) S 29701 29703 28074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342196839 2780295168 39954 33554432000 1073741824 1073778376 140737041465152 140695265294864 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29703/tid=29718] ppid=29701 vsize=2715132 CPUtime=0.23 cores=1,3,5,7
/proc/29703/task/29718/stat : 29718 (java) S 29701 29703 28074 0 -1 4202560 2834 0 0 0 22 1 0 0 20 0 19 0 342196839 2780295168 39954 33554432000 1073741824 1073778376 140737041465152 140695264242232 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29703/tid=29719] ppid=29701 vsize=2715132 CPUtime=0.22 cores=1,3,5,7
/proc/29703/task/29719/stat : 29719 (java) S 29701 29703 28074 0 -1 4202560 2622 0 0 0 22 0 0 0 20 0 19 0 342196839 2780295168 39954 33554432000 1073741824 1073778376 140737041465152 140695263189688 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29703/tid=29720] ppid=29701 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/29703/task/29720/stat : 29720 (java) S 29701 29703 28074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342196839 2780295168 39954 33554432000 1073741824 1073778376 140737041465152 140695262137336 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29703/tid=29721] ppid=29701 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/29703/task/29721/stat : 29721 (java) S 29701 29703 28074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342196839 2780295168 39954 33554432000 1073741824 1073778376 140737041465152 140695261085000 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29703/tid=29722] ppid=29701 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/29703/task/29722/stat : 29722 (java) S 29701 29703 28074 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342196851 2780295168 39954 33554432000 1073741824 1073778376 140737041465152 140695260029736 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1.95
Current children cumulated vsize (KiB) 2715132
[startup+3.1008 s]
/proc/loadavg: 2.03 2.02 2.00 3/213 29722
/proc/meminfo: memFree=26696796/32873844 swapFree=7116/7116
[pid=29703] ppid=29701 vsize=2715132 CPUtime=3.55 cores=1,3,5,7
/proc/29703/stat : 29703 (java) S 29701 29703 28074 0 -1 4202496 9532 0 1 0 348 7 0 0 20 0 19 0 342196831 2780295168 70162 33554432000 1073741824 1073778376 140737041465152 140737041456288 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/29703/statm: 678783 70162 2245 9 0 669476 0
[pid=29703/tid=29705] ppid=29701 vsize=2715132 CPUtime=3.04 cores=1,3,5,7
/proc/29703/task/29705/stat : 29705 (java) R 29701 29703 28074 0 -1 4202560 2880 0 1 0 298 6 0 0 20 0 19 0 342196832 2780295168 70162 33554432000 1073741824 1073778376 140737041465152 140695891145336 140695763947391 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=29703/tid=29706] ppid=29701 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/29703/task/29706/stat : 29706 (java) S 29701 29703 28074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342196834 2780295168 70162 33554432000 1073741824 1073778376 140737041465152 140695758014632 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29703/tid=29707] ppid=29701 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/29703/task/29707/stat : 29707 (java) S 29701 29703 28074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342196834 2780295168 70162 33554432000 1073741824 1073778376 140737041465152 140695756962088 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29703/tid=29708] ppid=29701 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/29703/task/29708/stat : 29708 (java) S 29701 29703 28074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342196834 2780295168 70162 33554432000 1073741824 1073778376 140737041465152 140695755909544 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29703/tid=29709] ppid=29701 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/29703/task/29709/stat : 29709 (java) S 29701 29703 28074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342196834 2780295168 70162 33554432000 1073741824 1073778376 140737041465152 140695754857000 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29703/tid=29710] ppid=29701 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/29703/task/29710/stat : 29710 (java) S 29701 29703 28074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342196834 2780295168 70162 33554432000 1073741824 1073778376 140737041465152 140695753804456 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29703/tid=29711] ppid=29701 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/29703/task/29711/stat : 29711 (java) S 29701 29703 28074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342196834 2780295168 70162 33554432000 1073741824 1073778376 140737041465152 140695752751912 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29703/tid=29712] ppid=29701 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/29703/task/29712/stat : 29712 (java) S 29701 29703 28074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342196834 2780295168 70162 33554432000 1073741824 1073778376 140737041465152 140695751699368 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29703/tid=29713] ppid=29701 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/29703/task/29713/stat : 29713 (java) S 29701 29703 28074 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342196834 2780295168 70162 33554432000 1073741824 1073778376 140737041465152 140695750646824 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29703/tid=29714] ppid=29701 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/29703/task/29714/stat : 29714 (java) S 29701 29703 28074 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 342196835 2780295168 70162 33554432000 1073741824 1073778376 140737041465152 140695268452456 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29703/tid=29715] ppid=29701 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/29703/task/29715/stat : 29715 (java) S 29701 29703 28074 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 342196836 2780295168 70162 33554432000 1073741824 1073778376 140737041465152 140695267398776 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29703/tid=29716] ppid=29701 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/29703/task/29716/stat : 29716 (java) S 29701 29703 28074 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342196836 2780295168 70162 33554432000 1073741824 1073778376 140737041465152 140695266346120 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29703/tid=29717] ppid=29701 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/29703/task/29717/stat : 29717 (java) S 29701 29703 28074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342196839 2780295168 70162 33554432000 1073741824 1073778376 140737041465152 140695265294864 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29703/tid=29718] ppid=29701 vsize=2715132 CPUtime=0.25 cores=1,3,5,7
/proc/29703/task/29718/stat : 29718 (java) S 29701 29703 28074 0 -1 4202560 2834 0 0 0 23 2 0 0 20 0 19 0 342196839 2780295168 70162 33554432000 1073741824 1073778376 140737041465152 140695264242232 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29703/tid=29719] ppid=29701 vsize=2715132 CPUtime=0.22 cores=1,3,5,7
/proc/29703/task/29719/stat : 29719 (java) S 29701 29703 28074 0 -1 4202560 2622 0 0 0 22 0 0 0 20 0 19 0 342196839 2780295168 70162 33554432000 1073741824 1073778376 140737041465152 140695263189688 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29703/tid=29720] ppid=29701 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/29703/task/29720/stat : 29720 (java) S 29701 29703 28074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342196839 2780295168 70162 33554432000 1073741824 1073778376 140737041465152 140695262137336 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29703/tid=29721] ppid=29701 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/29703/task/29721/stat : 29721 (java) S 29701 29703 28074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342196839 2780295168 70162 33554432000 1073741824 1073778376 140737041465152 140695261085000 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29703/tid=29722] ppid=29701 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/29703/task/29722/stat : 29722 (java) S 29701 29703 28074 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342196851 2780295168 70162 33554432000 1073741824 1073778376 140737041465152 140695260029736 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 3.55
Current children cumulated vsize (KiB) 2715132
Solver just ended. Dumping a history of the last processes samples
[startup+3.20099 s]
/proc/loadavg: 2.03 2.02 2.00 3/213 29722
/proc/meminfo: memFree=26620648/32873844 swapFree=7116/7116
[pid=29703] ppid=29701 vsize=0 CPUtime=3.7 cores=1,3,5,7
/proc/29703/stat : 29703 (java) Z 29701 29703 28074 0 -1 4203532 9586 0 1 0 359 11 0 0 20 0 2 0 342196831 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/29703/statm: 0 0 0 0 0 0 0
[pid=29703/tid=29716] ppid=29701 vsize=0 CPUtime=0 cores=1,3,5,7
/proc/29703/task/29716/stat : 29716 (java) R 29701 29703 28074 0 -1 4203588 7 0 0 0 0 0 0 0 20 0 2 0 342196836 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.7
Current children cumulated vsize (KiB) 0
Child status: 30
Real time (s): 3.20863
CPU time (s): 3.70444
CPU user time (s): 3.59145
CPU system time (s): 0.112982
CPU usage (%): 115.452
Max. virtual memory (cumulated for all children) (KiB): 2715132
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.59145
system time used= 0.112982
maximum resident set size= 286860
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9586
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= 369
involuntary context switches= 42
runsolver used 0.007998 second user time and 0.024996 second system time
The end