runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 961)
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-3422447-1306667168/watcher-3422447-1306667168 -o /tmp/evaluation-result-3422447-1306667168/solver-3422447-1306667168 -C 5000 -W 5100 -M 15500 HOME/ebminisat_release HOME/instance-3422447-1306667168.cnf -verb=0
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 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.00 2.02 2.00 3/461 13785
/proc/meminfo: memFree=16059096/32951124 swapFree=49827280/67111528
[pid=13785] ppid=13783 vsize=22736 CPUtime=0 cores=1,3,5,7
/proc/13785/stat : 13785 (ebminisat_relea) R 13783 13785 13132 0 -1 4202496 1456 0 0 0 0 0 0 0 23 0 1 0 778314741 23281664 1384 33554432000 4194304 4293939 140737371091040 18446744073709551615 4280633 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/13785/statm: 5684 1385 219 25 0 2317 0
[startup+0.019132 s]
/proc/loadavg: 2.00 2.02 2.00 3/461 13785
/proc/meminfo: memFree=16059096/32951124 swapFree=49827280/67111528
[pid=13785] ppid=13783 vsize=23784 CPUtime=0.01 cores=1,3,5,7
/proc/13785/stat : 13785 (ebminisat_relea) R 13783 13785 13132 0 -1 4202496 1831 0 0 0 1 0 0 0 23 0 1 0 778314741 24354816 1738 33554432000 4194304 4293939 140737371091040 18446744073709551615 228122374853 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/13785/statm: 5946 1739 219 25 0 2579 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 23784
[startup+0.100143 s]
/proc/loadavg: 2.00 2.02 2.00 3/461 13785
/proc/meminfo: memFree=16059096/32951124 swapFree=49827280/67111528
[pid=13785] ppid=13783 vsize=25104 CPUtime=0.09 cores=1,3,5,7
/proc/13785/stat : 13785 (ebminisat_relea) R 13783 13785 13132 0 -1 4202496 3624 0 0 0 9 0 0 0 23 0 1 0 778314741 25706496 2852 33554432000 4194304 4293939 140737371091040 18446744073709551615 4232039 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/13785/statm: 6276 2852 225 25 0 2909 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25104
[startup+0.301107 s]
/proc/loadavg: 2.00 2.02 2.00 3/461 13785
/proc/meminfo: memFree=16059096/32951124 swapFree=49827280/67111528
[pid=13785] ppid=13783 vsize=25276 CPUtime=0.29 cores=1,3,5,7
/proc/13785/stat : 13785 (ebminisat_relea) R 13783 13785 13132 0 -1 4202496 3972 0 0 0 29 0 0 0 25 0 1 0 778314741 25882624 2614 33554432000 4194304 4293939 140737371091040 18446744073709551615 4255633 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/13785/statm: 6319 2614 242 25 0 2952 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 25276
[startup+0.701032 s]
/proc/loadavg: 2.00 2.02 2.00 3/461 13785
/proc/meminfo: memFree=16059096/32951124 swapFree=49827280/67111528
[pid=13785] ppid=13783 vsize=25276 CPUtime=0.69 cores=1,3,5,7
/proc/13785/stat : 13785 (ebminisat_relea) R 13783 13785 13132 0 -1 4202496 4202 0 0 0 69 0 0 0 25 0 1 0 778314741 25882624 2839 33554432000 4194304 4293939 140737371091040 18446744073709551615 4264716 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/13785/statm: 6319 2839 243 25 0 2952 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 25276
[startup+1.50089 s]
/proc/loadavg: 2.00 2.02 2.00 3/462 13786
/proc/meminfo: memFree=16043216/32951124 swapFree=49827280/67111528
[pid=13785] ppid=13783 vsize=29644 CPUtime=1.49 cores=1,3,5,7
/proc/13785/stat : 13785 (ebminisat_relea) R 13783 13785 13132 0 -1 4202496 4679 0 0 0 149 0 0 0 25 0 1 0 778314741 30355456 3303 33554432000 4194304 4293939 140737371091040 18446744073709551615 4255633 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/13785/statm: 7411 3303 243 25 0 4044 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 29644
[startup+3.1006 s]
/proc/loadavg: 2.00 2.02 2.00 3/462 13786
/proc/meminfo: memFree=16033300/32951124 swapFree=49827280/67111528
[pid=13785] ppid=13783 vsize=36720 CPUtime=3.09 cores=1,3,5,7
/proc/13785/stat : 13785 (ebminisat_relea) R 13783 13785 13132 0 -1 4202496 6580 0 0 0 309 0 0 0 25 0 1 0 778314741 37601280 5188 33554432000 4194304 4293939 140737371091040 18446744073709551615 4255657 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/13785/statm: 9180 5188 243 25 0 5813 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 36720
[startup+6.30102 s]
/proc/loadavg: 2.00 2.02 2.00 3/462 13786
/proc/meminfo: memFree=16027968/32951124 swapFree=49827280/67111528
[pid=13785] ppid=13783 vsize=38608 CPUtime=6.29 cores=1,3,5,7
/proc/13785/stat : 13785 (ebminisat_relea) R 13783 13785 13132 0 -1 4202496 8931 0 0 0 628 1 0 0 25 0 1 0 778314741 39534592 5146 33554432000 4194304 4293939 140737371091040 18446744073709551615 4255555 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/13785/statm: 9652 5146 243 25 0 6285 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 38608
[startup+12.7009 s]
/proc/loadavg: 2.00 2.02 2.00 3/462 13786
/proc/meminfo: memFree=16008956/32951124 swapFree=49827280/67111528
[pid=13785] ppid=13783 vsize=43028 CPUtime=12.69 cores=1,3,5,7
/proc/13785/stat : 13785 (ebminisat_relea) R 13783 13785 13132 0 -1 4202496 10993 0 0 0 1268 1 0 0 25 0 1 0 778314741 44060672 7128 33554432000 4194304 4293939 140737371091040 18446744073709551615 4269190 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/13785/statm: 10757 7128 243 25 0 7390 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 43028
[startup+25.5005 s]
/proc/loadavg: 2.00 2.02 2.00 3/462 13787
/proc/meminfo: memFree=15947976/32951124 swapFree=49827280/67111528
[pid=13785] ppid=13783 vsize=57696 CPUtime=25.49 cores=1,3,5,7
/proc/13785/stat : 13785 (ebminisat_relea) R 13783 13785 13132 0 -1 4202496 16705 0 0 0 2547 2 0 0 25 0 1 0 778314741 59080704 9729 33554432000 4194304 4293939 140737371091040 18446744073709551615 4255909 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/13785/statm: 14424 9729 245 25 0 11057 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 57696
[startup+51.1009 s]
/proc/loadavg: 2.00 2.01 2.00 3/462 13787
/proc/meminfo: memFree=15890424/32951124 swapFree=49827280/67111528
[pid=13785] ppid=13783 vsize=57696 CPUtime=51.09 cores=1,3,5,7
/proc/13785/stat : 13785 (ebminisat_relea) R 13783 13785 13132 0 -1 4202496 17073 0 0 0 5107 2 0 0 25 0 1 0 778314741 59080704 10090 33554432000 4194304 4293939 140737371091040 18446744073709551615 4255633 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/13785/statm: 14424 10090 245 25 0 11057 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 57696
[startup+102.318 s]
/proc/loadavg: 2.00 2.01 2.00 3/462 13789
/proc/meminfo: memFree=15722760/32951124 swapFree=49827280/67111528
[pid=13785] ppid=13783 vsize=64772 CPUtime=102.31 cores=1,3,5,7
/proc/13785/stat : 13785 (ebminisat_relea) R 13783 13785 13132 0 -1 4202496 19578 0 0 0 10228 3 0 0 25 0 1 0 778314741 66326528 12501 33554432000 4194304 4293939 140737371091040 18446744073709551615 4263400 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/13785/statm: 16193 12501 245 25 0 12826 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 64772
[startup+162.301 s]
/proc/loadavg: 2.10 2.03 2.01 3/462 13790
/proc/meminfo: memFree=16017596/32951124 swapFree=49827280/67111528
[pid=13785] ppid=13783 vsize=88044 CPUtime=162.29 cores=1,3,5,7
/proc/13785/stat : 13785 (ebminisat_relea) R 13783 13785 13132 0 -1 4202496 25071 0 0 0 16226 3 0 0 25 0 1 0 778314741 90157056 12884 33554432000 4194304 4293939 140737371091040 18446744073709551615 4255682 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/13785/statm: 22011 12884 245 25 0 18644 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 88044
[startup+222.301 s]
/proc/loadavg: 2.04 2.02 2.00 3/462 13792
/proc/meminfo: memFree=15777236/32951124 swapFree=49827280/67111528
[pid=13785] ppid=13783 vsize=88708 CPUtime=222.29 cores=1,3,5,7
/proc/13785/stat : 13785 (ebminisat_relea) R 13783 13785 13132 0 -1 4202496 38744 0 0 0 22224 5 0 0 25 0 1 0 778314741 90836992 16359 33554432000 4194304 4293939 140737371091040 18446744073709551615 4256326 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/13785/statm: 22177 16359 245 25 0 18810 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 88708
[startup+282.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/462 13794
/proc/meminfo: memFree=15539492/32951124 swapFree=49827280/67111528
[pid=13785] ppid=13783 vsize=88708 CPUtime=282.29 cores=1,3,5,7
/proc/13785/stat : 13785 (ebminisat_relea) R 13783 13785 13132 0 -1 4202496 39910 0 0 0 28224 5 0 0 25 0 1 0 778314741 90836992 17509 33554432000 4194304 4293939 140737371091040 18446744073709551615 4255682 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/13785/statm: 22177 17509 245 25 0 18810 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 88708
[startup+342.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/462 13795
/proc/meminfo: memFree=15345884/32951124 swapFree=49827280/67111528
[pid=13785] ppid=13783 vsize=88708 CPUtime=342.3 cores=1,3,5,7
/proc/13785/stat : 13785 (ebminisat_relea) R 13783 13785 13132 0 -1 4202496 40232 0 0 0 34225 5 0 0 25 0 1 0 778314741 90836992 17822 33554432000 4194304 4293939 140737371091040 18446744073709551615 4256084 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/13785/statm: 22177 17822 245 25 0 18810 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 88708
[startup+402.3 s]
/proc/loadavg: 2.10 2.04 2.01 3/462 13797
/proc/meminfo: memFree=15182556/32951124 swapFree=49827280/67111528
[pid=13785] ppid=13783 vsize=88708 CPUtime=402.3 cores=1,3,5,7
/proc/13785/stat : 13785 (ebminisat_relea) R 13783 13785 13132 0 -1 4202496 40232 0 0 0 40225 5 0 0 25 0 1 0 778314741 90836992 17822 33554432000 4194304 4293939 140737371091040 18446744073709551615 4255693 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/13785/statm: 22177 17822 245 25 0 18810 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 88708
[startup+462.3 s]
/proc/loadavg: 2.08 2.04 2.01 3/462 13798
/proc/meminfo: memFree=15060392/32951124 swapFree=49827280/67111528
[pid=13785] ppid=13783 vsize=88708 CPUtime=462.3 cores=1,3,5,7
/proc/13785/stat : 13785 (ebminisat_relea) R 13783 13785 13132 0 -1 4202496 40232 0 0 0 46225 5 0 0 25 0 1 0 778314741 90836992 17822 33554432000 4194304 4293939 140737371091040 18446744073709551615 4256170 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/13785/statm: 22177 17822 245 25 0 18810 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 88708
[startup+522.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/462 13800
/proc/meminfo: memFree=14973568/32951124 swapFree=49827280/67111528
[pid=13785] ppid=13783 vsize=88708 CPUtime=522.3 cores=1,3,5,7
/proc/13785/stat : 13785 (ebminisat_relea) R 13783 13785 13132 0 -1 4202496 40504 0 0 0 52225 5 0 0 25 0 1 0 778314741 90836992 18090 33554432000 4194304 4293939 140737371091040 18446744073709551615 4263198 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/13785/statm: 22177 18090 245 25 0 18810 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 88708
[startup+582.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/462 13802
/proc/meminfo: memFree=15842288/32951124 swapFree=49827280/67111528
[pid=13785] ppid=13783 vsize=88708 CPUtime=582.3 cores=1,3,5,7
/proc/13785/stat : 13785 (ebminisat_relea) R 13783 13785 13132 0 -1 4202496 40580 0 0 0 58225 5 0 0 25 0 1 0 778314741 90836992 18165 33554432000 4194304 4293939 140737371091040 18446744073709551615 4255827 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/13785/statm: 22177 18165 245 25 0 18810 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 88708
[startup+642.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/462 13803
/proc/meminfo: memFree=15720608/32951124 swapFree=49827280/67111528
[pid=13785] ppid=13783 vsize=95592 CPUtime=642.32 cores=1,3,5,7
/proc/13785/stat : 13785 (ebminisat_relea) R 13783 13785 13132 0 -1 4202496 42651 0 0 0 64226 6 0 0 25 0 1 0 778314741 97886208 20154 33554432000 4194304 4293939 140737371091040 18446744073709551615 4255682 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/13785/statm: 23898 20154 245 25 0 20531 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 95592
[startup+702.301 s]
/proc/loadavg: 2.07 2.03 2.00 3/462 13805
/proc/meminfo: memFree=15537552/32951124 swapFree=49827280/67111528
[pid=13785] ppid=13783 vsize=95592 CPUtime=702.31 cores=1,3,5,7
/proc/13785/stat : 13785 (ebminisat_relea) R 13783 13785 13132 0 -1 4202496 42670 0 0 0 70225 6 0 0 25 0 1 0 778314741 97886208 20173 33554432000 4194304 4293939 140737371091040 18446744073709551615 4255649 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/13785/statm: 23898 20173 245 25 0 20531 0
Current children cumulated CPU time (s) 702.31
Current children cumulated vsize (KiB) 95592
[startup+762.317 s]
/proc/loadavg: 2.02 2.02 2.00 3/462 13806
/proc/meminfo: memFree=15415616/32951124 swapFree=49827280/67111528
[pid=13785] ppid=13783 vsize=95592 CPUtime=762.33 cores=1,3,5,7
/proc/13785/stat : 13785 (ebminisat_relea) R 13783 13785 13132 0 -1 4202496 42970 0 0 0 76227 6 0 0 25 0 1 0 778314741 97886208 20466 33554432000 4194304 4293939 140737371091040 18446744073709551615 4255633 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/13785/statm: 23898 20466 245 25 0 20531 0
Current children cumulated CPU time (s) 762.33
Current children cumulated vsize (KiB) 95592
[startup+822.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/462 13808
/proc/meminfo: memFree=15928792/32951124 swapFree=49827280/67111528
[pid=13785] ppid=13783 vsize=107860 CPUtime=822.31 cores=1,3,5,7
/proc/13785/stat : 13785 (ebminisat_relea) R 13783 13785 13132 0 -1 4202496 44441 0 0 0 82225 6 0 0 25 0 1 0 778314741 110448640 21903 33554432000 4194304 4293939 140737371091040 18446744073709551615 4256111 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/13785/statm: 26965 21903 245 25 0 23598 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 107860
Solver just ended. Dumping a history of the last processes samples
[startup+831.9 s]
/proc/loadavg: 2.01 2.02 2.00 3/462 13808
/proc/meminfo: memFree=15909568/32951124 swapFree=49827280/67111528
[pid=13785] ppid=13783 vsize=107860 CPUtime=831.91 cores=1,3,5,7
/proc/13785/stat : 13785 (ebminisat_relea) R 13783 13785 13132 0 -1 4202496 44441 0 0 0 83185 6 0 0 25 0 1 0 778314741 110448640 21903 33554432000 4194304 4293939 140737371091040 18446744073709551615 4256170 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/13785/statm: 26965 21903 245 25 0 23598 0
Current children cumulated CPU time (s) 831.91
Current children cumulated vsize (KiB) 107860
[startup+838.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/462 13808
/proc/meminfo: memFree=15891960/32951124 swapFree=49827280/67111528
[pid=13785] ppid=13783 vsize=107860 CPUtime=838.31 cores=1,3,5,7
/proc/13785/stat : 13785 (ebminisat_relea) R 13783 13785 13132 0 -1 4202496 44441 0 0 0 83825 6 0 0 25 0 1 0 778314741 110448640 21903 33554432000 4194304 4293939 140737371091040 18446744073709551615 4255561 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/13785/statm: 26965 21903 245 25 0 23598 0
Current children cumulated CPU time (s) 838.31
Current children cumulated vsize (KiB) 107860
[startup+841.517 s]
/proc/loadavg: 2.00 2.02 2.00 3/462 13809
/proc/meminfo: memFree=15882036/32951124 swapFree=49827280/67111528
[pid=13785] ppid=13783 vsize=107860 CPUtime=841.53 cores=1,3,5,7
/proc/13785/stat : 13785 (ebminisat_relea) R 13783 13785 13132 0 -1 4202496 44441 0 0 0 84147 6 0 0 25 0 1 0 778314741 110448640 21903 33554432000 4194304 4293939 140737371091040 18446744073709551615 4256111 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/13785/statm: 26965 21903 245 25 0 23598 0
Current children cumulated CPU time (s) 841.53
Current children cumulated vsize (KiB) 107860
[startup+843.101 s]
/proc/loadavg: 2.00 2.02 2.00 3/462 13809
/proc/meminfo: memFree=15879184/32951124 swapFree=49827280/67111528
[pid=13785] ppid=13783 vsize=107860 CPUtime=843.11 cores=1,3,5,7
/proc/13785/stat : 13785 (ebminisat_relea) R 13783 13785 13132 0 -1 4202496 44441 0 0 0 84305 6 0 0 25 0 1 0 778314741 110448640 21903 33554432000 4194304 4293939 140737371091040 18446744073709551615 4255899 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/13785/statm: 26965 21903 245 25 0 23598 0
Current children cumulated CPU time (s) 843.11
Current children cumulated vsize (KiB) 107860
[startup+843.901 s]
/proc/loadavg: 2.00 2.01 2.00 3/462 13809
/proc/meminfo: memFree=15874348/32951124 swapFree=49827280/67111528
[pid=13785] ppid=13783 vsize=107860 CPUtime=843.91 cores=1,3,5,7
/proc/13785/stat : 13785 (ebminisat_relea) R 13783 13785 13132 0 -1 4202496 44441 0 0 0 84385 6 0 0 25 0 1 0 778314741 110448640 21903 33554432000 4194304 4293939 140737371091040 18446744073709551615 4255682 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/13785/statm: 26965 21903 245 25 0 23598 0
Current children cumulated CPU time (s) 843.91
Current children cumulated vsize (KiB) 107860
[startup+844.701 s]
/proc/loadavg: 2.00 2.01 2.00 3/462 13809
/proc/meminfo: memFree=15872240/32951124 swapFree=49827280/67111528
[pid=13785] ppid=13783 vsize=107860 CPUtime=844.72 cores=1,3,5,7
/proc/13785/stat : 13785 (ebminisat_relea) R 13783 13785 13132 0 -1 4202496 44441 0 0 0 84466 6 0 0 25 0 1 0 778314741 110448640 21903 33554432000 4194304 4293939 140737371091040 18446744073709551615 4255633 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/13785/statm: 26965 21903 245 25 0 23598 0
Current children cumulated CPU time (s) 844.72
Current children cumulated vsize (KiB) 107860
[startup+845.101 s]
/proc/loadavg: 2.00 2.01 2.00 3/462 13809
/proc/meminfo: memFree=15872240/32951124 swapFree=49827280/67111528
[pid=13785] ppid=13783 vsize=107860 CPUtime=845.11 cores=1,3,5,7
/proc/13785/stat : 13785 (ebminisat_relea) R 13783 13785 13132 0 -1 4202496 44441 0 0 0 84505 6 0 0 25 0 1 0 778314741 110448640 21903 33554432000 4194304 4293939 140737371091040 18446744073709551615 4256104 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/13785/statm: 26965 21903 245 25 0 23598 0
Current children cumulated CPU time (s) 845.11
Current children cumulated vsize (KiB) 107860
[startup+845.201 s]
/proc/loadavg: 2.00 2.01 2.00 3/462 13809
/proc/meminfo: memFree=15872240/32951124 swapFree=49827280/67111528
[pid=13785] ppid=13783 vsize=107860 CPUtime=845.21 cores=1,3,5,7
/proc/13785/stat : 13785 (ebminisat_relea) R 13783 13785 13132 0 -1 4202496 44441 0 0 0 84515 6 0 0 25 0 1 0 778314741 110448640 21903 33554432000 4194304 4293939 140737371091040 18446744073709551615 4255682 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/13785/statm: 26965 21903 245 25 0 23598 0
Current children cumulated CPU time (s) 845.21
Current children cumulated vsize (KiB) 107860
Child status: 20
Real time (s): 845.238
CPU time (s): 845.26
CPU user time (s): 845.191
CPU system time (s): 0.069989
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 118396
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 845.191
system time used= 0.069989
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44471
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10
involuntary context switches= 1521
runsolver used 3.73343 second user time and 8.65068 second system time
The end