runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
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-3490613-1307782610/watcher-3490613-1307782610 -o /tmp/evaluation-result-3490613-1307782610/solver-3490613-1307782610 -C 1800 -W 1900 -M 15500 HOME/minisatid HOME/instance-3490613-1307782610.opb --verbosity=0 --format=opb --randomseed=315032065
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: 1.00 1.30 1.67 2/177 13018
/proc/meminfo: memFree=31573580/32950928 swapFree=67051096/67111528
[pid=13018] ppid=13016 vsize=7312 CPUtime=0 cores=0,2,4,6
/proc/13018/stat : 13018 (minisatid) R 13016 13018 6496 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 968491701 7487488 285 33554432000 4194304 6720400 140736940115728 18446744073709551615 5722368 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/13018/statm: 1828 285 232 617 0 1202 0
[startup+0.031645 s]
/proc/loadavg: 1.00 1.30 1.67 2/177 13018
/proc/meminfo: memFree=31573580/32950928 swapFree=67051096/67111528
[pid=13018] ppid=13016 vsize=7696 CPUtime=0.03 cores=0,2,4,6
/proc/13018/stat : 13018 (minisatid) R 13016 13018 6496 0 -1 4202496 453 0 0 0 3 0 0 0 25 0 1 0 968491701 7880704 405 33554432000 4194304 6720400 140736940115728 18446744073709551615 5748534 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/13018/statm: 1924 405 232 617 0 1298 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 7696
[startup+0.10063 s]
/proc/loadavg: 1.00 1.30 1.67 2/177 13018
/proc/meminfo: memFree=31573580/32950928 swapFree=67051096/67111528
[pid=13018] ppid=13016 vsize=8872 CPUtime=0.1 cores=0,2,4,6
/proc/13018/stat : 13018 (minisatid) R 13016 13018 6496 0 -1 4202496 745 0 0 0 10 0 0 0 25 0 1 0 968491701 9084928 697 33554432000 4194304 6720400 140736940115728 18446744073709551615 5315088 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/13018/statm: 2218 697 232 617 0 1592 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 8872
[startup+0.300596 s]
/proc/loadavg: 1.00 1.30 1.67 2/177 13018
/proc/meminfo: memFree=31573580/32950928 swapFree=67051096/67111528
[pid=13018] ppid=13016 vsize=29340 CPUtime=0.29 cores=0,2,4,6
/proc/13018/stat : 13018 (minisatid) R 13016 13018 6496 0 -1 4202496 5867 0 0 0 29 0 0 0 25 0 1 0 968491701 30044160 5819 33554432000 4194304 6720400 140736940115728 18446744073709551615 4807590 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/13018/statm: 7335 5819 263 617 0 6709 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 29340
[startup+0.700523 s]
/proc/loadavg: 1.00 1.30 1.67 2/177 13018
/proc/meminfo: memFree=31573580/32950928 swapFree=67051096/67111528
[pid=13018] ppid=13016 vsize=29340 CPUtime=0.69 cores=0,2,4,6
/proc/13018/stat : 13018 (minisatid) R 13016 13018 6496 0 -1 4202496 5923 0 0 0 69 0 0 0 25 0 1 0 968491701 30044160 5872 33554432000 4194304 6720400 140736940115728 18446744073709551615 4805846 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/13018/statm: 7335 5872 263 617 0 6709 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 29340
[startup+1.50038 s]
/proc/loadavg: 1.00 1.30 1.67 3/178 13019
/proc/meminfo: memFree=31550160/32950928 swapFree=67051096/67111528
[pid=13018] ppid=13016 vsize=29340 CPUtime=1.49 cores=0,2,4,6
/proc/13018/stat : 13018 (minisatid) R 13016 13018 6496 0 -1 4202496 6018 0 0 0 149 0 0 0 25 0 1 0 968491701 30044160 5962 33554432000 4194304 6720400 140736940115728 18446744073709551615 5722431 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/13018/statm: 7335 5962 264 617 0 6709 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 29340
[startup+3.10107 s]
/proc/loadavg: 1.00 1.30 1.67 3/178 13019
/proc/meminfo: memFree=31548864/32950928 swapFree=67051096/67111528
[pid=13018] ppid=13016 vsize=25780 CPUtime=3.09 cores=0,2,4,6
/proc/13018/stat : 13018 (minisatid) R 13016 13018 6496 0 -1 4202496 6273 0 0 0 309 0 0 0 25 0 1 0 968491701 26398720 5982 33554432000 4194304 6720400 140736940115728 18446744073709551615 4814336 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/13018/statm: 6445 5982 264 617 0 5819 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 25780
[startup+6.30048 s]
/proc/loadavg: 1.08 1.31 1.67 3/178 13019
/proc/meminfo: memFree=31547128/32950928 swapFree=67051096/67111528
[pid=13018] ppid=13016 vsize=26908 CPUtime=6.29 cores=0,2,4,6
/proc/13018/stat : 13018 (minisatid) R 13016 13018 6496 0 -1 4202496 6686 0 0 0 629 0 0 0 25 0 1 0 968491701 27553792 6139 33554432000 4194304 6720400 140736940115728 18446744073709551615 4803098 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/13018/statm: 6727 6139 264 617 0 6101 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 26908
[startup+12.7003 s]
/proc/loadavg: 1.15 1.32 1.67 3/178 13019
/proc/meminfo: memFree=31545452/32950928 swapFree=67051096/67111528
[pid=13018] ppid=13016 vsize=27968 CPUtime=12.69 cores=0,2,4,6
/proc/13018/stat : 13018 (minisatid) R 13016 13018 6496 0 -1 4202496 6963 0 0 0 1269 0 0 0 25 0 1 0 968491701 28639232 6415 33554432000 4194304 6720400 140736940115728 18446744073709551615 4819149 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/13018/statm: 6992 6415 266 617 0 6366 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 27968
[startup+25.5009 s]
/proc/loadavg: 1.34 1.35 1.68 3/178 13019
/proc/meminfo: memFree=31544952/32950928 swapFree=67051096/67111528
[pid=13018] ppid=13016 vsize=27968 CPUtime=25.49 cores=0,2,4,6
/proc/13018/stat : 13018 (minisatid) R 13016 13018 6496 0 -1 4202496 6963 0 0 0 2549 0 0 0 25 0 1 0 968491701 28639232 6415 33554432000 4194304 6720400 140736940115728 18446744073709551615 4820730 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/13018/statm: 6992 6415 266 617 0 6366 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 27968
[startup+51.1012 s]
/proc/loadavg: 1.56 1.40 1.68 3/178 13020
/proc/meminfo: memFree=31541324/32950928 swapFree=67051096/67111528
[pid=13018] ppid=13016 vsize=28592 CPUtime=51.09 cores=0,2,4,6
/proc/13018/stat : 13018 (minisatid) R 13016 13018 6496 0 -1 4202496 7209 0 0 0 5109 0 0 0 25 0 1 0 968491701 29278208 6657 33554432000 4194304 6720400 140736940115728 18446744073709551615 4819040 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/13018/statm: 7148 6657 266 617 0 6522 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 28592
[startup+102.307 s]
/proc/loadavg: 1.81 1.49 1.70 3/178 13021
/proc/meminfo: memFree=31539820/32950928 swapFree=67051096/67111528
[pid=13018] ppid=13016 vsize=30012 CPUtime=102.3 cores=0,2,4,6
/proc/13018/stat : 13018 (minisatid) R 13016 13018 6496 0 -1 4202496 7637 0 0 0 10230 0 0 0 25 0 1 0 968491701 30732288 7073 33554432000 4194304 6720400 140736940115728 18446744073709551615 4803189 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/13018/statm: 7503 7073 266 617 0 6877 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 30012
[startup+162.301 s]
/proc/loadavg: 1.93 1.58 1.72 3/178 13023
/proc/meminfo: memFree=31537176/32950928 swapFree=67051096/67111528
[pid=13018] ppid=13016 vsize=32292 CPUtime=162.29 cores=0,2,4,6
/proc/13018/stat : 13018 (minisatid) R 13016 13018 6496 0 -1 4202496 7921 0 0 0 16229 0 0 0 25 0 1 0 968491701 33067008 7341 33554432000 4194304 6720400 140736940115728 18446744073709551615 5511072 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/13018/statm: 8073 7341 266 617 0 7447 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 32292
[startup+222.3 s]
/proc/loadavg: 1.97 1.66 1.73 3/178 13025
/proc/meminfo: memFree=31534280/32950928 swapFree=67051096/67111528
[pid=13018] ppid=13016 vsize=34036 CPUtime=222.29 cores=0,2,4,6
/proc/13018/stat : 13018 (minisatid) R 13016 13018 6496 0 -1 4202496 8669 0 0 0 22229 0 0 0 25 0 1 0 968491701 34852864 8074 33554432000 4194304 6720400 140736940115728 18446744073709551615 4805670 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/13018/statm: 8509 8074 266 617 0 7883 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 34036
[startup+282.3 s]
/proc/loadavg: 1.99 1.72 1.74 3/178 13035
/proc/meminfo: memFree=31532348/32950928 swapFree=67051096/67111528
[pid=13018] ppid=13016 vsize=34036 CPUtime=282.29 cores=0,2,4,6
/proc/13018/stat : 13018 (minisatid) R 13016 13018 6496 0 -1 4202496 8669 0 0 0 28229 0 0 0 25 0 1 0 968491701 34852864 8074 33554432000 4194304 6720400 140736940115728 18446744073709551615 4803329 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/13018/statm: 8509 8074 266 617 0 7883 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 34036
[startup+342.301 s]
/proc/loadavg: 2.03 1.78 1.76 3/178 13037
/proc/meminfo: memFree=31532436/32950928 swapFree=67051096/67111528
[pid=13018] ppid=13016 vsize=34036 CPUtime=342.29 cores=0,2,4,6
/proc/13018/stat : 13018 (minisatid) R 13016 13018 6496 0 -1 4202496 8669 0 0 0 34229 0 0 0 25 0 1 0 968491701 34852864 8074 33554432000 4194304 6720400 140736940115728 18446744073709551615 4820027 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/13018/statm: 8509 8074 266 617 0 7883 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 34036
[startup+402.301 s]
/proc/loadavg: 2.01 1.82 1.77 3/178 13038
/proc/meminfo: memFree=31531292/32950928 swapFree=67051096/67111528
[pid=13018] ppid=13016 vsize=34036 CPUtime=402.3 cores=0,2,4,6
/proc/13018/stat : 13018 (minisatid) R 13016 13018 6496 0 -1 4202496 8674 0 0 0 40229 1 0 0 25 0 1 0 968491701 34852864 8079 33554432000 4194304 6720400 140736940115728 18446744073709551615 4820080 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/13018/statm: 8509 8079 266 617 0 7883 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 34036
[startup+462.301 s]
/proc/loadavg: 2.00 1.85 1.78 3/178 13040
/proc/meminfo: memFree=31531384/32950928 swapFree=67051096/67111528
[pid=13018] ppid=13016 vsize=36940 CPUtime=462.3 cores=0,2,4,6
/proc/13018/stat : 13018 (minisatid) R 13016 13018 6496 0 -1 4202496 8676 0 0 0 46229 1 0 0 25 0 1 0 968491701 37826560 8081 33554432000 4194304 6720400 140736940115728 18446744073709551615 4718479 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/13018/statm: 9235 8081 266 617 0 8609 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 36940
[startup+522.301 s]
/proc/loadavg: 2.00 1.87 1.80 3/178 13042
/proc/meminfo: memFree=31531336/32950928 swapFree=67051096/67111528
[pid=13018] ppid=13016 vsize=36940 CPUtime=522.3 cores=0,2,4,6
/proc/13018/stat : 13018 (minisatid) R 13016 13018 6496 0 -1 4202496 8676 0 0 0 52229 1 0 0 25 0 1 0 968491701 37826560 8081 33554432000 4194304 6720400 140736940115728 18446744073709551615 4803337 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/13018/statm: 9235 8081 266 617 0 8609 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 36940
[startup+582.301 s]
/proc/loadavg: 2.00 1.89 1.81 3/178 13043
/proc/meminfo: memFree=31529196/32950928 swapFree=67051096/67111528
[pid=13018] ppid=13016 vsize=36940 CPUtime=582.3 cores=0,2,4,6
/proc/13018/stat : 13018 (minisatid) R 13016 13018 6496 0 -1 4202496 9374 0 0 0 58229 1 0 0 25 0 1 0 968491701 37826560 8756 33554432000 4194304 6720400 140736940115728 18446744073709551615 4820077 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/13018/statm: 9235 8756 266 617 0 8609 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 36940
[startup+642.301 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 1.94 1.84 3/178 13050
/proc/meminfo: memFree=31529020/32950928 swapFree=67051096/67111528
[pid=13018] ppid=13016 vsize=36940 CPUtime=822.31 cores=0,2,4,6
/proc/13018/stat : 13018 (minisatid) R 13016 13018 6496 0 -1 4202496 9374 0 0 0 82230 1 0 0 25 0 1 0 968491701 37826560 8756 33554432000 4194304 6720400 140736940115728 18446744073709551615 4820730 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/13018/statm: 9235 8756 266 617 0 8609 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 36940
[startup+882.301 s]
/proc/loadavg: 2.00 1.95 1.84 3/178 13051
/proc/meminfo: memFree=31527128/32950928 swapFree=67051096/67111528
[pid=13018] ppid=13016 vsize=36940 CPUtime=882.31 cores=0,2,4,6
/proc/13018/stat : 13018 (minisatid) R 13016 13018 6496 0 -1 4202496 9374 0 0 0 88230 1 0 0 25 0 1 0 968491701 37826560 8756 33554432000 4194304 6720400 140736940115728 18446744073709551615 4814336 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/13018/statm: 9235 8756 266 617 0 8609 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 36940
[startup+942.301 s]
/proc/loadavg: 2.00 1.96 1.85 3/178 13053
/proc/meminfo: memFree=31527220/32950928 swapFree=67051096/67111528
[pid=13018] ppid=13016 vsize=36940 CPUtime=942.31 cores=0,2,4,6
/proc/13018/stat : 13018 (minisatid) R 13016 13018 6496 0 -1 4202496 9374 0 0 0 94230 1 0 0 25 0 1 0 968491701 37826560 8756 33554432000 4194304 6720400 140736940115728 18446744073709551615 4803381 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/13018/statm: 9235 8756 266 617 0 8609 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 36940
[startup+1002.3 s]
/proc/loadavg: 2.00 1.96 1.85 3/178 13054
/proc/meminfo: memFree=31527300/32950928 swapFree=67051096/67111528
[pid=13018] ppid=13016 vsize=36940 CPUtime=1002.32 cores=0,2,4,6
/proc/13018/stat : 13018 (minisatid) R 13016 13018 6496 0 -1 4202496 9374 0 0 0 100230 2 0 0 25 0 1 0 968491701 37826560 8756 33554432000 4194304 6720400 140736940115728 18446744073709551615 4820016 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/13018/statm: 9235 8756 266 617 0 8609 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 36940
[startup+1062.3 s]
/proc/loadavg: 2.00 1.97 1.86 3/178 13056
/proc/meminfo: memFree=31527016/32950928 swapFree=67051096/67111528
[pid=13018] ppid=13016 vsize=36940 CPUtime=1062.32 cores=0,2,4,6
/proc/13018/stat : 13018 (minisatid) R 13016 13018 6496 0 -1 4202496 9374 0 0 0 106230 2 0 0 25 0 1 0 968491701 37826560 8756 33554432000 4194304 6720400 140736940115728 18446744073709551615 4806439 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/13018/statm: 9235 8756 266 617 0 8609 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 36940
[startup+1122.3 s]
/proc/loadavg: 2.00 1.97 1.87 3/178 13058
/proc/meminfo: memFree=31526600/32950928 swapFree=67051096/67111528
[pid=13018] ppid=13016 vsize=36940 CPUtime=1122.32 cores=0,2,4,6
/proc/13018/stat : 13018 (minisatid) R 13016 13018 6496 0 -1 4202496 9383 0 0 0 112230 2 0 0 25 0 1 0 968491701 37826560 8764 33554432000 4194304 6720400 140736940115728 18446744073709551615 4803118 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/13018/statm: 9235 8764 266 617 0 8609 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 36940
[startup+1182.3 s]
/proc/loadavg: 2.00 1.97 1.87 3/178 13059
/proc/meminfo: memFree=31526680/32950928 swapFree=67051096/67111528
[pid=13018] ppid=13016 vsize=36940 CPUtime=1182.32 cores=0,2,4,6
/proc/13018/stat : 13018 (minisatid) R 13016 13018 6496 0 -1 4202496 9383 0 0 0 118230 2 0 0 25 0 1 0 968491701 37826560 8764 33554432000 4194304 6720400 140736940115728 18446744073709551615 4805636 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/13018/statm: 9235 8764 266 617 0 8609 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 36940
[startup+1242.3 s]
/proc/loadavg: 2.04 1.99 1.88 3/178 13061
/proc/meminfo: memFree=31525896/32950928 swapFree=67051096/67111528
[pid=13018] ppid=13016 vsize=36940 CPUtime=1242.33 cores=0,2,4,6
/proc/13018/stat : 13018 (minisatid) R 13016 13018 6496 0 -1 4202496 9383 0 0 0 124231 2 0 0 25 0 1 0 968491701 37826560 8764 33554432000 4194304 6720400 140736940115728 18446744073709551615 4803098 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/13018/statm: 9235 8764 266 617 0 8609 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 36940
[startup+1302.3 s]
/proc/loadavg: 2.01 1.99 1.89 3/178 13062
/proc/meminfo: memFree=31525608/32950928 swapFree=67051096/67111528
[pid=13018] ppid=13016 vsize=37248 CPUtime=1302.33 cores=0,2,4,6
/proc/13018/stat : 13018 (minisatid) R 13016 13018 6496 0 -1 4202496 9504 0 0 0 130231 2 0 0 25 0 1 0 968491701 38141952 8876 33554432000 4194304 6720400 140736940115728 18446744073709551615 4820710 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/13018/statm: 9312 8876 266 617 0 8686 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 37248
[startup+1362.3 s]
/proc/loadavg: 2.08 2.00 1.90 3/178 13064
/proc/meminfo: memFree=31525204/32950928 swapFree=67051096/67111528
[pid=13018] ppid=13016 vsize=37248 CPUtime=1362.33 cores=0,2,4,6
/proc/13018/stat : 13018 (minisatid) R 13016 13018 6496 0 -1 4202496 9529 0 0 0 136231 2 0 0 25 0 1 0 968491701 38141952 8900 33554432000 4194304 6720400 140736940115728 18446744073709551615 4718494 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/13018/statm: 9312 8900 266 617 0 8686 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 37248
[startup+1422.31 s]
/proc/loadavg: 2.03 2.00 1.91 3/178 13066
/proc/meminfo: memFree=31524176/32950928 swapFree=67051096/67111528
[pid=13018] ppid=13016 vsize=37248 CPUtime=1422.34 cores=0,2,4,6
/proc/13018/stat : 13018 (minisatid) R 13016 13018 6496 0 -1 4202496 9529 0 0 0 142232 2 0 0 25 0 1 0 968491701 38141952 8900 33554432000 4194304 6720400 140736940115728 18446744073709551615 4820016 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/13018/statm: 9312 8900 266 617 0 8686 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 37248
[startup+1482.3 s]
/proc/loadavg: 2.01 2.00 1.91 3/178 13067
/proc/meminfo: memFree=31524140/32950928 swapFree=67051096/67111528
[pid=13018] ppid=13016 vsize=37248 CPUtime=1482.33 cores=0,2,4,6
/proc/13018/stat : 13018 (minisatid) R 13016 13018 6496 0 -1 4202496 9529 0 0 0 148231 2 0 0 25 0 1 0 968491701 38141952 8900 33554432000 4194304 6720400 140736940115728 18446744073709551615 4803167 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/13018/statm: 9312 8900 266 617 0 8686 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 37248
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 13069
/proc/meminfo: memFree=31523728/32950928 swapFree=67051096/67111528
[pid=13018] ppid=13016 vsize=37248 CPUtime=1542.33 cores=0,2,4,6
/proc/13018/stat : 13018 (minisatid) R 13016 13018 6496 0 -1 4202496 9529 0 0 0 154231 2 0 0 25 0 1 0 968491701 38141952 8900 33554432000 4194304 6720400 140736940115728 18446744073709551615 4805649 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/13018/statm: 9312 8900 266 617 0 8686 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 37248
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 13070
/proc/meminfo: memFree=31523680/32950928 swapFree=67051096/67111528
[pid=13018] ppid=13016 vsize=39016 CPUtime=1602.34 cores=0,2,4,6
/proc/13018/stat : 13018 (minisatid) R 13016 13018 6496 0 -1 4202496 9551 0 0 0 160231 3 0 0 25 0 1 0 968491701 39952384 8921 33554432000 4194304 6720400 140736940115728 18446744073709551615 4819040 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/13018/statm: 9754 8921 266 617 0 9128 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 39016
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 13072
/proc/meminfo: memFree=31523272/32950928 swapFree=67051096/67111528
[pid=13018] ppid=13016 vsize=39016 CPUtime=1662.34 cores=0,2,4,6
/proc/13018/stat : 13018 (minisatid) R 13016 13018 6496 0 -1 4202496 9680 0 0 0 166231 3 0 0 25 0 1 0 968491701 39952384 9044 33554432000 4194304 6720400 140736940115728 18446744073709551615 4806426 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/13018/statm: 9754 9044 266 617 0 9128 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 39016
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 13074
/proc/meminfo: memFree=31522852/32950928 swapFree=67051096/67111528
[pid=13018] ppid=13016 vsize=39016 CPUtime=1722.34 cores=0,2,4,6
/proc/13018/stat : 13018 (minisatid) R 13016 13018 6496 0 -1 4202496 9680 0 0 0 172231 3 0 0 25 0 1 0 968491701 39952384 9044 33554432000 4194304 6720400 140736940115728 18446744073709551615 4803241 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/13018/statm: 9754 9044 266 617 0 9128 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 39016
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 13075
/proc/meminfo: memFree=31522444/32950928 swapFree=67051096/67111528
[pid=13018] ppid=13016 vsize=39016 CPUtime=1782.34 cores=0,2,4,6
/proc/13018/stat : 13018 (minisatid) R 13016 13018 6496 0 -1 4202496 9735 0 0 0 178231 3 0 0 25 0 1 0 968491701 39952384 9095 33554432000 4194304 6720400 140736940115728 18446744073709551615 4805640 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/13018/statm: 9754 9095 266 617 0 9128 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 39016
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.91 2/176 13077
/proc/meminfo: memFree=31546380/32950928 swapFree=67051096/67111528
[pid=13018] ppid=13016 vsize=39016 CPUtime=1800.05 cores=0,2,4,6
/proc/13018/stat : 13018 (minisatid) R 13016 13018 6496 0 -1 4202496 9735 0 0 0 180002 3 0 0 25 0 1 0 968491701 39952384 9095 33554432000 4194304 6720400 140736940115728 18446744073709551615 5732833 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/13018/statm: 9754 9095 266 617 0 9128 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 39016
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 10
Real time (s): 1800.01
CPU time (s): 1800.06
CPU user time (s): 1800.02
CPU system time (s): 0.036994
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 39016
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.02
system time used= 0.036994
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9740
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= 3
involuntary context switches= 22538
runsolver used 2.68159 second user time and 5.51116 second system time
The end