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-3466940-1307381857/watcher-3466940-1307381857 -o /tmp/evaluation-result-3466940-1307381857/solver-3466940-1307381857 -C 1800 -W 1900 -M 15500 HOME/minisatid-gmp HOME/instance-3466940-1307381857.opb --verbosity=0 --format=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.12 1.70 0.87 2/498 6638
/proc/meminfo: memFree=29127192/32951132 swapFree=57925096/67111528
[pid=6638] ppid=6636 vsize=8100 CPUtime=0.01 cores=1,3,5,7
/proc/6638/stat : 6638 (minisatid-gmp) R 6636 6638 6411 0 -1 4202496 564 0 0 0 1 0 0 0 25 0 1 0 849785321 8294400 514 33554432000 4194304 6736272 140735277841712 18446744073709551615 5809726 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/6638/statm: 2025 514 246 621 0 1395 0
[startup+0.0330519 s]
/proc/loadavg: 2.12 1.70 0.87 2/498 6638
/proc/meminfo: memFree=29127192/32951132 swapFree=57925096/67111528
[pid=6638] ppid=6636 vsize=9792 CPUtime=0.03 cores=1,3,5,7
/proc/6638/stat : 6638 (minisatid-gmp) R 6636 6638 6411 0 -1 4202496 992 0 0 0 3 0 0 0 25 0 1 0 849785321 10027008 942 33554432000 4194304 6736272 140735277841712 18446744073709551615 5809726 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/6638/statm: 2448 943 265 621 0 1818 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 9792
[startup+0.10104 s]
/proc/loadavg: 2.12 1.70 0.87 2/498 6638
/proc/meminfo: memFree=29127192/32951132 swapFree=57925096/67111528
[pid=6638] ppid=6636 vsize=10776 CPUtime=0.09 cores=1,3,5,7
/proc/6638/stat : 6638 (minisatid-gmp) R 6636 6638 6411 0 -1 4202496 2334 0 0 0 9 0 0 0 25 0 1 0 849785321 11034624 2283 33554432000 4194304 6736272 140735277841712 18446744073709551615 5806424 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/6638/statm: 2694 2283 275 621 0 2064 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10776
[startup+0.301004 s]
/proc/loadavg: 2.12 1.70 0.87 2/498 6638
/proc/meminfo: memFree=29127192/32951132 swapFree=57925096/67111528
[pid=6638] ppid=6636 vsize=10776 CPUtime=0.29 cores=1,3,5,7
/proc/6638/stat : 6638 (minisatid-gmp) R 6636 6638 6411 0 -1 4202496 2341 0 0 0 29 0 0 0 25 0 1 0 849785321 11034624 2290 33554432000 4194304 6736272 140735277841712 18446744073709551615 4534996 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/6638/statm: 2694 2290 282 621 0 2064 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10776
[startup+0.70095 s]
/proc/loadavg: 2.12 1.70 0.87 2/498 6638
/proc/meminfo: memFree=29127192/32951132 swapFree=57925096/67111528
[pid=6638] ppid=6636 vsize=10776 CPUtime=0.69 cores=1,3,5,7
/proc/6638/stat : 6638 (minisatid-gmp) R 6636 6638 6411 0 -1 4202496 2344 0 0 0 69 0 0 0 25 0 1 0 849785321 11034624 2293 33554432000 4194304 6736272 140735277841712 18446744073709551615 4535205 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/6638/statm: 2694 2293 283 621 0 2064 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10776
[startup+1.50081 s]
/proc/loadavg: 2.12 1.70 0.87 3/499 6639
/proc/meminfo: memFree=29118128/32951132 swapFree=57925096/67111528
[pid=6638] ppid=6636 vsize=10776 CPUtime=1.49 cores=1,3,5,7
/proc/6638/stat : 6638 (minisatid-gmp) R 6636 6638 6411 0 -1 4202496 2344 0 0 0 149 0 0 0 25 0 1 0 849785321 11034624 2293 33554432000 4194304 6736272 140735277841712 18446744073709551615 4534752 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/6638/statm: 2694 2293 283 621 0 2064 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10776
[startup+3.10054 s]
/proc/loadavg: 2.12 1.70 0.87 3/499 6639
/proc/meminfo: memFree=29117012/32951132 swapFree=57925096/67111528
[pid=6638] ppid=6636 vsize=10776 CPUtime=3.09 cores=1,3,5,7
/proc/6638/stat : 6638 (minisatid-gmp) R 6636 6638 6411 0 -1 4202496 2344 0 0 0 309 0 0 0 25 0 1 0 849785321 11034624 2293 33554432000 4194304 6736272 140735277841712 18446744073709551615 4535209 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/6638/statm: 2694 2293 283 621 0 2064 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10776
[startup+6.30099 s]
/proc/loadavg: 2.11 1.70 0.87 3/499 6639
/proc/meminfo: memFree=29116756/32951132 swapFree=57925096/67111528
[pid=6638] ppid=6636 vsize=10776 CPUtime=6.3 cores=1,3,5,7
/proc/6638/stat : 6638 (minisatid-gmp) R 6636 6638 6411 0 -1 4202496 2348 0 0 0 630 0 0 0 25 0 1 0 849785321 11034624 2296 33554432000 4194304 6736272 140735277841712 18446744073709551615 4535219 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/6638/statm: 2694 2296 283 621 0 2064 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 10776
[startup+12.7009 s]
/proc/loadavg: 2.10 1.70 0.88 3/499 6639
/proc/meminfo: memFree=29116524/32951132 swapFree=57925096/67111528
[pid=6638] ppid=6636 vsize=10776 CPUtime=12.7 cores=1,3,5,7
/proc/6638/stat : 6638 (minisatid-gmp) R 6636 6638 6411 0 -1 4202496 2357 0 0 0 1270 0 0 0 25 0 1 0 849785321 11034624 2305 33554432000 4194304 6736272 140735277841712 18446744073709551615 4534891 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/6638/statm: 2694 2305 283 621 0 2064 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 10776
[startup+25.5008 s]
/proc/loadavg: 2.08 1.72 0.90 3/499 6639
/proc/meminfo: memFree=29116900/32951132 swapFree=57925096/67111528
[pid=6638] ppid=6636 vsize=10776 CPUtime=25.5 cores=1,3,5,7
/proc/6638/stat : 6638 (minisatid-gmp) R 6636 6638 6411 0 -1 4202496 2358 0 0 0 2550 0 0 0 25 0 1 0 849785321 11034624 2306 33554432000 4194304 6736272 140735277841712 18446744073709551615 4534878 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/6638/statm: 2694 2306 283 621 0 2064 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 10776
[startup+51.1004 s]
/proc/loadavg: 2.12 1.76 0.93 3/499 6666
/proc/meminfo: memFree=29109752/32951132 swapFree=57925096/67111528
[pid=6638] ppid=6636 vsize=10776 CPUtime=51.1 cores=1,3,5,7
/proc/6638/stat : 6638 (minisatid-gmp) R 6636 6638 6411 0 -1 4202496 2358 0 0 0 5110 0 0 0 25 0 1 0 849785321 11034624 2306 33554432000 4194304 6736272 140735277841712 18446744073709551615 4535195 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/6638/statm: 2694 2306 283 621 0 2064 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 10776
[startup+102.319 s]
/proc/loadavg: 2.16 1.82 1.00 3/499 6695
/proc/meminfo: memFree=29108668/32951132 swapFree=57925096/67111528
[pid=6638] ppid=6636 vsize=10776 CPUtime=102.31 cores=1,3,5,7
/proc/6638/stat : 6638 (minisatid-gmp) R 6636 6638 6411 0 -1 4202496 2358 0 0 0 10231 0 0 0 25 0 1 0 849785321 11034624 2306 33554432000 4194304 6736272 140735277841712 18446744073709551615 5817936 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/6638/statm: 2694 2306 283 621 0 2064 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 10776
[startup+162.301 s]
/proc/loadavg: 2.11 1.87 1.06 3/499 6697
/proc/meminfo: memFree=29107420/32951132 swapFree=57925096/67111528
[pid=6638] ppid=6636 vsize=10776 CPUtime=162.3 cores=1,3,5,7
/proc/6638/stat : 6638 (minisatid-gmp) R 6636 6638 6411 0 -1 4202496 2358 0 0 0 16230 0 0 0 25 0 1 0 849785321 11034624 2306 33554432000 4194304 6736272 140735277841712 18446744073709551615 4535219 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/6638/statm: 2694 2306 283 621 0 2064 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 10776
[startup+222.301 s]
/proc/loadavg: 2.04 1.89 1.12 3/499 6699
/proc/meminfo: memFree=29108032/32951132 swapFree=57925096/67111528
[pid=6638] ppid=6636 vsize=10776 CPUtime=222.3 cores=1,3,5,7
/proc/6638/stat : 6638 (minisatid-gmp) R 6636 6638 6411 0 -1 4202496 2358 0 0 0 22230 0 0 0 25 0 1 0 849785321 11034624 2306 33554432000 4194304 6736272 140735277841712 18446744073709551615 4535232 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/6638/statm: 2694 2306 283 621 0 2064 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 10776
[startup+282.3 s]
/proc/loadavg: 2.10 1.94 1.18 3/499 6701
/proc/meminfo: memFree=29109636/32951132 swapFree=57925096/67111528
[pid=6638] ppid=6636 vsize=10776 CPUtime=282.3 cores=1,3,5,7
/proc/6638/stat : 6638 (minisatid-gmp) R 6636 6638 6411 0 -1 4202496 2358 0 0 0 28230 0 0 0 25 0 1 0 849785321 11034624 2306 33554432000 4194304 6736272 140735277841712 18446744073709551615 4535211 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/6638/statm: 2694 2306 283 621 0 2064 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 10776
[startup+342.3 s]
/proc/loadavg: 2.03 1.94 1.23 3/499 6701
/proc/meminfo: memFree=29110232/32951132 swapFree=57925096/67111528
[pid=6638] ppid=6636 vsize=10776 CPUtime=342.3 cores=1,3,5,7
/proc/6638/stat : 6638 (minisatid-gmp) R 6636 6638 6411 0 -1 4202496 2358 0 0 0 34230 0 0 0 25 0 1 0 849785321 11034624 2306 33554432000 4194304 6736272 140735277841712 18446744073709551615 4534900 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/6638/statm: 2694 2306 283 621 0 2064 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 10776
[startup+402.3 s]
/proc/loadavg: 2.01 1.95 1.27 3/499 6703
/proc/meminfo: memFree=29110232/32951132 swapFree=57925096/67111528
[pid=6638] ppid=6636 vsize=10776 CPUtime=402.3 cores=1,3,5,7
/proc/6638/stat : 6638 (minisatid-gmp) R 6636 6638 6411 0 -1 4202496 2358 0 0 0 40230 0 0 0 25 0 1 0 849785321 11034624 2306 33554432000 4194304 6736272 140735277841712 18446744073709551615 4534963 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/6638/statm: 2694 2306 283 621 0 2064 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 10776
[startup+462.301 s]
/proc/loadavg: 2.00 1.96 1.31 3/499 6705
/proc/meminfo: memFree=29109976/32951132 swapFree=57925096/67111528
[pid=6638] ppid=6636 vsize=10776 CPUtime=462.3 cores=1,3,5,7
/proc/6638/stat : 6638 (minisatid-gmp) R 6636 6638 6411 0 -1 4202496 2358 0 0 0 46230 0 0 0 25 0 1 0 849785321 11034624 2306 33554432000 4194304 6736272 140735277841712 18446744073709551615 4534878 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/6638/statm: 2694 2306 283 621 0 2064 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 10776
[startup+522.301 s]
/proc/loadavg: 2.00 1.96 1.36 3/499 6707
/proc/meminfo: memFree=29109840/32951132 swapFree=57925096/67111528
[pid=6638] ppid=6636 vsize=10776 CPUtime=522.3 cores=1,3,5,7
/proc/6638/stat : 6638 (minisatid-gmp) R 6636 6638 6411 0 -1 4202496 2358 0 0 0 52230 0 0 0 25 0 1 0 849785321 11034624 2306 33554432000 4194304 6736272 140735277841712 18446744073709551615 4512676 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/6638/statm: 2694 2306 283 621 0 2064 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 10776
[startup+582.301 s]
/proc/loadavg: 2.00 1.97 1.39 3/499 6709
/proc/meminfo: memFree=29109592/32951132 swapFree=57925096/67111528
[pid=6638] ppid=6636 vsize=10776 CPUtime=582.3 cores=1,3,5,7
/proc/6638/stat : 6638 (minisatid-gmp) R 6636 6638 6411 0 -1 4202496 2359 0 0 0 58230 0 0 0 25 0 1 0 849785321 11034624 2307 33554432000 4194304 6736272 140735277841712 18446744073709551615 4512661 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/6638/statm: 2694 2307 283 621 0 2064 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 10776
[startup+642.301 s]
/proc/loadavg: 2.00 1.97 1.43 3/499 6709
/proc/meminfo: memFree=29109340/32951132 swapFree=57925096/67111528
[pid=6638] ppid=6636 vsize=10776 CPUtime=642.32 cores=1,3,5,7
/proc/6638/stat : 6638 (minisatid-gmp) R 6636 6638 6411 0 -1 4202496 2359 0 0 0 64232 0 0 0 25 0 1 0 849785321 11034624 2307 33554432000 4194304 6736272 140735277841712 18446744073709551615 4535219 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/6638/statm: 2694 2307 283 621 0 2064 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 10776
[startup+702.301 s]
/proc/loadavg: 2.15 2.00 1.47 3/499 6711
/proc/meminfo: memFree=29109328/32951132 swapFree=57925096/67111528
[pid=6638] ppid=6636 vsize=10776 CPUtime=702.31 cores=1,3,5,7
/proc/6638/stat : 6638 (minisatid-gmp) R 6636 6638 6411 0 -1 4202496 2359 0 0 0 70231 0 0 0 25 0 1 0 849785321 11034624 2307 33554432000 4194304 6736272 140735277841712 18446744073709551615 4535205 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/6638/statm: 2694 2307 283 621 0 2064 0
Current children cumulated CPU time (s) 702.31
Current children cumulated vsize (KiB) 10776
[startup+762.318 s]
/proc/loadavg: 2.05 2.00 1.50 3/499 6713
/proc/meminfo: memFree=29109576/32951132 swapFree=57925096/67111528
[pid=6638] ppid=6636 vsize=10776 CPUtime=762.33 cores=1,3,5,7
/proc/6638/stat : 6638 (minisatid-gmp) R 6636 6638 6411 0 -1 4202496 2359 0 0 0 76233 0 0 0 25 0 1 0 849785321 11034624 2307 33554432000 4194304 6736272 140735277841712 18446744073709551615 5219536 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/6638/statm: 2694 2307 283 621 0 2064 0
Current children cumulated CPU time (s) 762.33
Current children cumulated vsize (KiB) 10776
[startup+822.3 s]
/proc/loadavg: 2.13 2.03 1.54 3/499 6715
/proc/meminfo: memFree=29109940/32951132 swapFree=57925096/67111528
[pid=6638] ppid=6636 vsize=10776 CPUtime=822.31 cores=1,3,5,7
/proc/6638/stat : 6638 (minisatid-gmp) R 6636 6638 6411 0 -1 4202496 2359 0 0 0 82231 0 0 0 25 0 1 0 849785321 11034624 2307 33554432000 4194304 6736272 140735277841712 18446744073709551615 4534752 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/6638/statm: 2694 2307 283 621 0 2064 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 10776
[startup+882.3 s]
/proc/loadavg: 2.15 2.05 1.58 3/499 6717
/proc/meminfo: memFree=29109432/32951132 swapFree=57925096/67111528
[pid=6638] ppid=6636 vsize=10776 CPUtime=882.31 cores=1,3,5,7
/proc/6638/stat : 6638 (minisatid-gmp) R 6636 6638 6411 0 -1 4202496 2359 0 0 0 88231 0 0 0 25 0 1 0 849785321 11034624 2307 33554432000 4194304 6736272 140735277841712 18446744073709551615 4501258 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/6638/statm: 2694 2307 283 621 0 2064 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 10776
[startup+942.301 s]
/proc/loadavg: 2.05 2.04 1.60 3/499 6717
/proc/meminfo: memFree=29110416/32951132 swapFree=57925096/67111528
[pid=6638] ppid=6636 vsize=10776 CPUtime=942.31 cores=1,3,5,7
/proc/6638/stat : 6638 (minisatid-gmp) R 6636 6638 6411 0 -1 4202496 2359 0 0 0 94231 0 0 0 25 0 1 0 849785321 11034624 2307 33554432000 4194304 6736272 140735277841712 18446744073709551615 4512676 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/6638/statm: 2694 2307 283 621 0 2064 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 10776
Solver just ended. Dumping a history of the last processes samples
[startup+972.701 s]
/proc/loadavg: 2.03 2.04 1.61 3/499 6720
/proc/meminfo: memFree=29111276/32951132 swapFree=57925096/67111528
[pid=6638] ppid=6636 vsize=10776 CPUtime=972.71 cores=1,3,5,7
/proc/6638/stat : 6638 (minisatid-gmp) R 6636 6638 6411 0 -1 4202496 2359 0 0 0 97271 0 0 0 25 0 1 0 849785321 11034624 2307 33554432000 4194304 6736272 140735277841712 18446744073709551615 5803315 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/6638/statm: 2694 2307 283 621 0 2064 0
Current children cumulated CPU time (s) 972.71
Current children cumulated vsize (KiB) 10776
[startup+985.501 s]
/proc/loadavg: 2.02 2.03 1.62 3/499 6720
/proc/meminfo: memFree=29110400/32951132 swapFree=57925096/67111528
[pid=6638] ppid=6636 vsize=10776 CPUtime=985.52 cores=1,3,5,7
/proc/6638/stat : 6638 (minisatid-gmp) R 6636 6638 6411 0 -1 4202496 2359 0 0 0 98552 0 0 0 25 0 1 0 849785321 11034624 2307 33554432000 4194304 6736272 140735277841712 18446744073709551615 4535209 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/6638/statm: 2694 2307 283 621 0 2064 0
Current children cumulated CPU time (s) 985.52
Current children cumulated vsize (KiB) 10776
[startup+991.901 s]
/proc/loadavg: 2.02 2.03 1.62 3/499 6720
/proc/meminfo: memFree=29110524/32951132 swapFree=57925096/67111528
[pid=6638] ppid=6636 vsize=10776 CPUtime=991.91 cores=1,3,5,7
/proc/6638/stat : 6638 (minisatid-gmp) R 6636 6638 6411 0 -1 4202496 2359 0 0 0 99191 0 0 0 25 0 1 0 849785321 11034624 2307 33554432000 4194304 6736272 140735277841712 18446744073709551615 4534752 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/6638/statm: 2694 2307 283 621 0 2064 0
Current children cumulated CPU time (s) 991.91
Current children cumulated vsize (KiB) 10776
[startup+995.1 s]
/proc/loadavg: 2.02 2.03 1.62 3/499 6720
/proc/meminfo: memFree=29110524/32951132 swapFree=57925096/67111528
[pid=6638] ppid=6636 vsize=10776 CPUtime=995.11 cores=1,3,5,7
/proc/6638/stat : 6638 (minisatid-gmp) R 6636 6638 6411 0 -1 4202496 2359 0 0 0 99511 0 0 0 25 0 1 0 849785321 11034624 2307 33554432000 4194304 6736272 140735277841712 18446744073709551615 5806349 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/6638/statm: 2694 2307 283 621 0 2064 0
Current children cumulated CPU time (s) 995.11
Current children cumulated vsize (KiB) 10776
[startup+996.701 s]
/proc/loadavg: 2.02 2.03 1.62 3/499 6720
/proc/meminfo: memFree=29110152/32951132 swapFree=57925096/67111528
[pid=6638] ppid=6636 vsize=10776 CPUtime=996.71 cores=1,3,5,7
/proc/6638/stat : 6638 (minisatid-gmp) R 6636 6638 6411 0 -1 4202496 2359 0 0 0 99671 0 0 0 25 0 1 0 849785321 11034624 2307 33554432000 4194304 6736272 140735277841712 18446744073709551615 4535195 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/6638/statm: 2694 2307 283 621 0 2064 0
Current children cumulated CPU time (s) 996.71
Current children cumulated vsize (KiB) 10776
[startup+997.501 s]
/proc/loadavg: 2.02 2.03 1.62 3/499 6720
/proc/meminfo: memFree=29110152/32951132 swapFree=57925096/67111528
[pid=6638] ppid=6636 vsize=10776 CPUtime=997.51 cores=1,3,5,7
/proc/6638/stat : 6638 (minisatid-gmp) R 6636 6638 6411 0 -1 4202496 2359 0 0 0 99751 0 0 0 25 0 1 0 849785321 11034624 2307 33554432000 4194304 6736272 140735277841712 18446744073709551615 4535211 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/6638/statm: 2694 2307 283 621 0 2064 0
Current children cumulated CPU time (s) 997.51
Current children cumulated vsize (KiB) 10776
[startup+997.901 s]
/proc/loadavg: 2.02 2.03 1.62 3/499 6720
/proc/meminfo: memFree=29111764/32951132 swapFree=57925096/67111528
[pid=6638] ppid=6636 vsize=10776 CPUtime=997.91 cores=1,3,5,7
/proc/6638/stat : 6638 (minisatid-gmp) R 6636 6638 6411 0 -1 4202496 2359 0 0 0 99791 0 0 0 25 0 1 0 849785321 11034624 2307 33554432000 4194304 6736272 140735277841712 18446744073709551615 4512661 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/6638/statm: 2694 2307 283 621 0 2064 0
Current children cumulated CPU time (s) 997.91
Current children cumulated vsize (KiB) 10776
[startup+998.301 s]
/proc/loadavg: 2.02 2.03 1.62 3/499 6720
/proc/meminfo: memFree=29111764/32951132 swapFree=57925096/67111528
[pid=6638] ppid=6636 vsize=10776 CPUtime=998.31 cores=1,3,5,7
/proc/6638/stat : 6638 (minisatid-gmp) R 6636 6638 6411 0 -1 4202496 2359 0 0 0 99831 0 0 0 25 0 1 0 849785321 11034624 2307 33554432000 4194304 6736272 140735277841712 18446744073709551615 4534682 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/6638/statm: 2694 2307 283 621 0 2064 0
Current children cumulated CPU time (s) 998.31
Current children cumulated vsize (KiB) 10776
Child status: 10
Real time (s): 998.303
CPU time (s): 998.318
CPU user time (s): 998.317
CPU system time (s): 0.000999
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 10776
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 998.317
system time used= 0.000999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2366
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= 5
involuntary context switches= 3839
runsolver used 4.83127 second user time and 11.0143 second system time
The end