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-3490693-1307773036/watcher-3490693-1307773036 -o /tmp/evaluation-result-3490693-1307773036/solver-3490693-1307773036 -C 1800 -W 1900 -M 15500 HOME/minisatid HOME/instance-3490693-1307773036.opb --verbosity=0 --format=opb --randomseed=1300351636
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.00 2.00 1.96 2/177 20482
/proc/meminfo: memFree=31124544/32950928 swapFree=67054696/67111528
[pid=20482] ppid=20480 vsize=7736 CPUtime=0 cores=1,3,5,7
/proc/20482/stat : 20482 (minisatid) R 20480 20482 16493 0 -1 4202496 458 0 0 0 0 0 0 0 25 0 1 0 344912978 7921664 410 33554432000 4194304 6720400 140733288928528 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/20482/statm: 1934 410 231 617 0 1308 0
[startup+0.0183031 s]
/proc/loadavg: 2.00 2.00 1.96 2/177 20482
/proc/meminfo: memFree=31124544/32950928 swapFree=67054696/67111528
[pid=20482] ppid=20480 vsize=8888 CPUtime=0.01 cores=1,3,5,7
/proc/20482/stat : 20482 (minisatid) R 20480 20482 16493 0 -1 4202496 732 0 0 0 1 0 0 0 25 0 1 0 344912978 9101312 684 33554432000 4194304 6720400 140733288928528 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/20482/statm: 2222 684 231 617 0 1596 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 8888
[startup+0.100331 s]
/proc/loadavg: 2.00 2.00 1.96 2/177 20482
/proc/meminfo: memFree=31124544/32950928 swapFree=67054696/67111528
[pid=20482] ppid=20480 vsize=16056 CPUtime=0.09 cores=1,3,5,7
/proc/20482/stat : 20482 (minisatid) R 20480 20482 16493 0 -1 4202496 2519 0 0 0 9 0 0 0 25 0 1 0 344912978 16441344 2471 33554432000 4194304 6720400 140733288928528 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/20482/statm: 4014 2472 231 617 0 3388 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16056
[startup+0.300288 s]
/proc/loadavg: 2.00 2.00 1.96 2/177 20482
/proc/meminfo: memFree=31124544/32950928 swapFree=67054696/67111528
[pid=20482] ppid=20480 vsize=32824 CPUtime=0.29 cores=1,3,5,7
/proc/20482/stat : 20482 (minisatid) R 20480 20482 16493 0 -1 4202496 6727 0 0 0 29 0 0 0 25 0 1 0 344912978 33611776 6679 33554432000 4194304 6720400 140733288928528 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/20482/statm: 8206 6680 231 617 0 7580 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 32824
[startup+0.700226 s]
/proc/loadavg: 2.00 2.00 1.96 2/177 20482
/proc/meminfo: memFree=31124544/32950928 swapFree=67054696/67111528
[pid=20482] ppid=20480 vsize=113220 CPUtime=0.69 cores=1,3,5,7
/proc/20482/stat : 20482 (minisatid) R 20480 20482 16493 0 -1 4202496 26910 0 0 0 67 2 0 0 25 0 1 0 344912978 115937280 26381 33554432000 4194304 6720400 140733288928528 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/20482/statm: 28305 26385 245 617 0 27679 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 113220
[startup+1.50109 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 20484
/proc/meminfo: memFree=30961252/32950928 swapFree=67054696/67111528
[pid=20482] ppid=20480 vsize=121636 CPUtime=1.49 cores=1,3,5,7
/proc/20482/stat : 20482 (minisatid) R 20480 20482 16493 0 -1 4202496 29806 0 0 0 146 3 0 0 25 0 1 0 344912978 124555264 29276 33554432000 4194304 6720400 140733288928528 18446744073709551615 4617076 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/20482/statm: 30409 29276 265 617 0 29783 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 121636
[startup+3.1008 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 20484
/proc/meminfo: memFree=30944884/32950928 swapFree=67054696/67111528
[pid=20482] ppid=20480 vsize=163880 CPUtime=3.09 cores=1,3,5,7
/proc/20482/stat : 20482 (minisatid) R 20480 20482 16493 0 -1 4202496 36687 0 0 0 305 4 0 0 25 0 1 0 344912978 167813120 36151 33554432000 4194304 6720400 140733288928528 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/20482/statm: 40970 36151 266 617 0 40344 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 163880
[startup+6.30024 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 20484
/proc/meminfo: memFree=30905592/32950928 swapFree=67054696/67111528
[pid=20482] ppid=20480 vsize=147156 CPUtime=6.29 cores=1,3,5,7
/proc/20482/stat : 20482 (minisatid) R 20480 20482 16493 0 -1 4202496 63480 0 0 0 621 8 0 0 25 0 1 0 344912978 150687744 34456 33554432000 4194304 6720400 140733288928528 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/20482/statm: 36789 34456 266 617 0 36163 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 147156
[startup+12.7011 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 20484
/proc/meminfo: memFree=30861512/32950928 swapFree=67054696/67111528
[pid=20482] ppid=20480 vsize=151824 CPUtime=12.69 cores=1,3,5,7
/proc/20482/stat : 20482 (minisatid) R 20480 20482 16493 0 -1 4202496 112471 0 0 0 1254 15 0 0 25 0 1 0 344912978 155467776 35676 33554432000 4194304 6720400 140733288928528 18446744073709551615 4617059 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/20482/statm: 37956 35676 266 617 0 37330 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 151824
[startup+25.5009 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 20484
/proc/meminfo: memFree=30775828/32950928 swapFree=67054696/67111528
[pid=20482] ppid=20480 vsize=231472 CPUtime=25.49 cores=1,3,5,7
/proc/20482/stat : 20482 (minisatid) R 20480 20482 16493 0 -1 4202496 215970 0 0 0 2520 29 0 0 25 0 1 0 344912978 237027328 54628 33554432000 4194304 6720400 140733288928528 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/20482/statm: 57868 54628 266 617 0 57242 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 231472
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 20485
/proc/meminfo: memFree=30734452/32950928 swapFree=67054696/67111528
[pid=20482] ppid=20480 vsize=193644 CPUtime=51.08 cores=1,3,5,7
/proc/20482/stat : 20482 (minisatid) R 20480 20482 16493 0 -1 4202496 383545 0 0 0 5058 50 0 0 25 0 1 0 344912978 198291456 47780 33554432000 4194304 6720400 140733288928528 18446744073709551615 4820730 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/20482/statm: 48411 47780 266 617 0 47785 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 193644
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 20486
/proc/meminfo: memFree=30733696/32950928 swapFree=67054696/67111528
[pid=20482] ppid=20480 vsize=273784 CPUtime=102.29 cores=1,3,5,7
/proc/20482/stat : 20482 (minisatid) R 20480 20482 16493 0 -1 4202496 753594 0 0 0 10129 100 0 0 25 0 1 0 344912978 280354816 60458 33554432000 4194304 6720400 140733288928528 18446744073709551615 4805856 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/20482/statm: 68446 60458 266 617 0 67820 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 273784
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 20488
/proc/meminfo: memFree=30686308/32950928 swapFree=67054696/67111528
[pid=20482] ppid=20480 vsize=273784 CPUtime=162.29 cores=1,3,5,7
/proc/20482/stat : 20482 (minisatid) R 20480 20482 16493 0 -1 4202496 1106963 0 0 0 16082 147 0 0 25 0 1 0 344912978 280354816 65491 33554432000 4194304 6720400 140733288928528 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/20482/statm: 68446 65491 266 617 0 67820 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 273784
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 20489
/proc/meminfo: memFree=30685176/32950928 swapFree=67054696/67111528
[pid=20482] ppid=20480 vsize=242848 CPUtime=222.29 cores=1,3,5,7
/proc/20482/stat : 20482 (minisatid) R 20480 20482 16493 0 -1 4202496 1498489 0 0 0 22035 194 0 0 25 0 1 0 344912978 248676352 59870 33554432000 4194304 6720400 140733288928528 18446744073709551615 4617059 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/20482/statm: 60712 59870 266 617 0 60086 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 242848
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 20491
/proc/meminfo: memFree=30633948/32950928 swapFree=67054696/67111528
[pid=20482] ppid=20480 vsize=292168 CPUtime=282.29 cores=1,3,5,7
/proc/20482/stat : 20482 (minisatid) R 20480 20482 16493 0 -1 4202496 1876244 0 0 0 27985 244 0 0 25 0 1 0 344912978 299180032 72151 33554432000 4194304 6720400 140733288928528 18446744073709551615 4820721 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/20482/statm: 73042 72151 266 617 0 72416 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 292168
[startup+342.301 s]
/proc/loadavg: 2.06 2.01 1.97 3/178 20492
/proc/meminfo: memFree=30624624/32950928 swapFree=67054696/67111528
[pid=20482] ppid=20480 vsize=295268 CPUtime=342.29 cores=1,3,5,7
/proc/20482/stat : 20482 (minisatid) R 20480 20482 16493 0 -1 4202496 2198847 0 0 0 33945 284 0 0 25 0 1 0 344912978 302354432 72652 33554432000 4194304 6720400 140733288928528 18446744073709551615 4617068 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/20482/statm: 73817 72652 266 617 0 73191 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 295268
[startup+402.3 s]
/proc/loadavg: 2.02 2.01 1.97 3/178 20494
/proc/meminfo: memFree=30589004/32950928 swapFree=67054696/67111528
[pid=20482] ppid=20480 vsize=326088 CPUtime=402.29 cores=1,3,5,7
/proc/20482/stat : 20482 (minisatid) R 20480 20482 16493 0 -1 4202496 2539450 0 0 0 39899 330 0 0 25 0 1 0 344912978 333914112 74449 33554432000 4194304 6720400 140733288928528 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/20482/statm: 81522 74449 266 617 0 80896 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 326088
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 20496
/proc/meminfo: memFree=30578816/32950928 swapFree=67054696/67111528
[pid=20482] ppid=20480 vsize=295268 CPUtime=462.29 cores=1,3,5,7
/proc/20482/stat : 20482 (minisatid) R 20480 20482 16493 0 -1 4202496 2907282 0 0 0 45850 379 0 0 25 0 1 0 344912978 302354432 72445 33554432000 4194304 6720400 140733288928528 18446744073709551615 4617068 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/20482/statm: 73817 72445 266 617 0 73191 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 295268
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 20497
/proc/meminfo: memFree=30537132/32950928 swapFree=67054696/67111528
[pid=20482] ppid=20480 vsize=265136 CPUtime=522.3 cores=1,3,5,7
/proc/20482/stat : 20482 (minisatid) R 20480 20482 16493 0 -1 4202496 3185433 0 0 0 51815 415 0 0 25 0 1 0 344912978 271499264 65460 33554432000 4194304 6720400 140733288928528 18446744073709551615 4816980 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/20482/statm: 66284 65460 266 617 0 65658 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 265136
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 20499
/proc/meminfo: memFree=30560544/32950928 swapFree=67054696/67111528
[pid=20482] ppid=20480 vsize=314456 CPUtime=582.3 cores=1,3,5,7
/proc/20482/stat : 20482 (minisatid) R 20480 20482 16493 0 -1 4202496 3500331 0 0 0 57776 454 0 0 25 0 1 0 344912978 322002944 74165 33554432000 4194304 6720400 140733288928528 18446744073709551615 4806027 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/20482/statm: 78614 74165 266 617 0 77988 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 314456
[startup+642.301 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 20505
/proc/meminfo: memFree=30451684/32950928 swapFree=67054696/67111528
[pid=20482] ppid=20480 vsize=319824 CPUtime=822.3 cores=1,3,5,7
/proc/20482/stat : 20482 (minisatid) R 20480 20482 16493 0 -1 4202496 4843224 0 0 0 81599 631 0 0 25 0 1 0 344912978 327499776 74649 33554432000 4194304 6720400 140733288928528 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/20482/statm: 79956 74649 267 617 0 79330 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 319824
[startup+882.301 s]
/proc/loadavg: 2.08 2.02 1.97 3/178 20507
/proc/meminfo: memFree=30486744/32950928 swapFree=67054696/67111528
[pid=20482] ppid=20480 vsize=353612 CPUtime=882.3 cores=1,3,5,7
/proc/20482/stat : 20482 (minisatid) R 20480 20482 16493 0 -1 4202496 5127502 0 0 0 87562 668 0 0 25 0 1 0 344912978 362098688 86311 33554432000 4194304 6720400 140733288928528 18446744073709551615 4617082 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/20482/statm: 88403 86311 266 617 0 87777 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 353612
[startup+942.301 s]
/proc/loadavg: 2.03 2.01 1.97 3/178 20508
/proc/meminfo: memFree=30503460/32950928 swapFree=67054696/67111528
[pid=20482] ppid=20480 vsize=353612 CPUtime=942.31 cores=1,3,5,7
/proc/20482/stat : 20482 (minisatid) R 20480 20482 16493 0 -1 4202496 5452027 0 0 0 93518 713 0 0 25 0 1 0 344912978 362098688 82712 33554432000 4194304 6720400 140733288928528 18446744073709551615 4617079 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/20482/statm: 88403 82712 266 617 0 87777 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 353612
[startup+1002.3 s]
/proc/loadavg: 2.01 2.00 1.97 3/178 20510
/proc/meminfo: memFree=30488048/32950928 swapFree=67054696/67111528
[pid=20482] ppid=20480 vsize=359996 CPUtime=1002.31 cores=1,3,5,7
/proc/20482/stat : 20482 (minisatid) R 20480 20482 16493 0 -1 4202496 5747843 0 0 0 99479 752 0 0 25 0 1 0 344912978 368635904 85904 33554432000 4194304 6720400 140733288928528 18446744073709551615 4617073 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/20482/statm: 89999 85904 266 617 0 89373 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 359996
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 20512
/proc/meminfo: memFree=30480200/32950928 swapFree=67054696/67111528
[pid=20482] ppid=20480 vsize=340368 CPUtime=1062.31 cores=1,3,5,7
/proc/20482/stat : 20482 (minisatid) R 20480 20482 16493 0 -1 4202496 6056060 0 0 0 105435 796 0 0 25 0 1 0 344912978 348536832 81805 33554432000 4194304 6720400 140733288928528 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/20482/statm: 85092 81806 266 617 0 84466 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 340368
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 20513
/proc/meminfo: memFree=30424376/32950928 swapFree=67054696/67111528
[pid=20482] ppid=20480 vsize=421276 CPUtime=1122.31 cores=1,3,5,7
/proc/20482/stat : 20482 (minisatid) R 20480 20482 16493 0 -1 4202496 6510825 0 0 0 111374 857 0 0 25 0 1 0 344912978 431386624 94341 33554432000 4194304 6720400 140733288928528 18446744073709551615 4805760 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/20482/statm: 105319 94341 266 617 0 104693 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 421276
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 20515
/proc/meminfo: memFree=30441844/32950928 swapFree=67054696/67111528
[pid=20482] ppid=20480 vsize=421276 CPUtime=1182.32 cores=1,3,5,7
/proc/20482/stat : 20482 (minisatid) R 20480 20482 16493 0 -1 4202496 6803632 0 0 0 117331 901 0 0 25 0 1 0 344912978 431386624 97898 33554432000 4194304 6720400 140733288928528 18446744073709551615 4617084 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/20482/statm: 105319 97898 266 617 0 104693 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 421276
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 20516
/proc/meminfo: memFree=30449252/32950928 swapFree=67054696/67111528
[pid=20482] ppid=20480 vsize=427968 CPUtime=1242.32 cores=1,3,5,7
/proc/20482/stat : 20482 (minisatid) R 20480 20482 16493 0 -1 4202496 7054549 0 0 0 123295 937 0 0 25 0 1 0 344912978 438239232 97679 33554432000 4194304 6720400 140733288928528 18446744073709551615 4616660 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/20482/statm: 106992 97679 266 617 0 106366 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 427968
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 20518
/proc/meminfo: memFree=30443272/32950928 swapFree=67054696/67111528
[pid=20482] ppid=20480 vsize=382304 CPUtime=1302.33 cores=1,3,5,7
/proc/20482/stat : 20482 (minisatid) R 20480 20482 16493 0 -1 4202496 7354945 0 0 0 129253 980 0 0 25 0 1 0 344912978 391479296 90639 33554432000 4194304 6720400 140733288928528 18446744073709551615 4617079 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/20482/statm: 95576 90639 266 617 0 94950 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 382304
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 20520
/proc/meminfo: memFree=30404432/32950928 swapFree=67054696/67111528
[pid=20482] ppid=20480 vsize=432772 CPUtime=1362.31 cores=1,3,5,7
/proc/20482/stat : 20482 (minisatid) R 20480 20482 16493 0 -1 4202496 7616121 0 0 0 135218 1013 0 0 25 0 1 0 344912978 443158528 103650 33554432000 4194304 6720400 140733288928528 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/20482/statm: 108193 103651 266 617 0 107567 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 432772
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 20521
/proc/meminfo: memFree=30461700/32950928 swapFree=67054696/67111528
[pid=20482] ppid=20480 vsize=382684 CPUtime=1422.33 cores=1,3,5,7
/proc/20482/stat : 20482 (minisatid) R 20480 20482 16493 0 -1 4202496 7974574 0 0 0 141170 1063 0 0 25 0 1 0 344912978 391868416 90166 33554432000 4194304 6720400 140733288928528 18446744073709551615 4820024 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/20482/statm: 95671 90166 266 617 0 95045 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 382684
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 20523
/proc/meminfo: memFree=30409836/32950928 swapFree=67054696/67111528
[pid=20482] ppid=20480 vsize=389856 CPUtime=1482.32 cores=1,3,5,7
/proc/20482/stat : 20482 (minisatid) R 20480 20482 16493 0 -1 4202496 8250881 0 0 0 147134 1098 0 0 25 0 1 0 344912978 399212544 93559 33554432000 4194304 6720400 140733288928528 18446744073709551615 4617084 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/20482/statm: 97464 93559 266 617 0 96838 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 389856
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 20524
/proc/meminfo: memFree=30445280/32950928 swapFree=67054696/67111528
[pid=20482] ppid=20480 vsize=392448 CPUtime=1542.32 cores=1,3,5,7
/proc/20482/stat : 20482 (minisatid) R 20480 20482 16493 0 -1 4202496 8492494 0 0 0 153102 1130 0 0 25 0 1 0 344912978 401866752 95328 33554432000 4194304 6720400 140733288928528 18446744073709551615 4616723 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/20482/statm: 98112 95328 266 617 0 97486 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 392448
[startup+1602.3 s]
/proc/loadavg: 2.04 2.01 1.98 3/178 20526
/proc/meminfo: memFree=30519512/32950928 swapFree=67054696/67111528
[pid=20482] ppid=20480 vsize=362260 CPUtime=1602.32 cores=1,3,5,7
/proc/20482/stat : 20482 (minisatid) R 20480 20482 16493 0 -1 4202496 8774992 0 0 0 159063 1169 0 0 25 0 1 0 344912978 370954240 86442 33554432000 4194304 6720400 140733288928528 18446744073709551615 4718487 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/20482/statm: 90565 86442 266 617 0 89939 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 362260
[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 1.98 3/178 20528
/proc/meminfo: memFree=30429464/32950928 swapFree=67054696/67111528
[pid=20482] ppid=20480 vsize=444812 CPUtime=1662.32 cores=1,3,5,7
/proc/20482/stat : 20482 (minisatid) R 20480 20482 16493 0 -1 4202496 9024161 0 0 0 165030 1202 0 0 25 0 1 0 344912978 455487488 105124 33554432000 4194304 6720400 140733288928528 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/20482/statm: 111203 105124 266 617 0 110577 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 444812
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 20529
/proc/meminfo: memFree=30470976/32950928 swapFree=67054696/67111528
[pid=20482] ppid=20480 vsize=396052 CPUtime=1722.33 cores=1,3,5,7
/proc/20482/stat : 20482 (minisatid) R 20480 20482 16493 0 -1 4202496 9294720 0 0 0 170995 1238 0 0 25 0 1 0 344912978 405557248 92883 33554432000 4194304 6720400 140733288928528 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/20482/statm: 99013 92883 266 617 0 98387 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 396052
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 20531
/proc/meminfo: memFree=30474928/32950928 swapFree=67054696/67111528
[pid=20482] ppid=20480 vsize=396052 CPUtime=1782.33 cores=1,3,5,7
/proc/20482/stat : 20482 (minisatid) R 20480 20482 16493 0 -1 4202496 9727992 0 0 0 176935 1298 0 0 25 0 1 0 344912978 405557248 96731 33554432000 4194304 6720400 140733288928528 18446744073709551615 4820721 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/20482/statm: 99013 96731 266 617 0 98387 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 396052
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 1.92 1.98 1.97 2/176 20532
/proc/meminfo: memFree=30736700/32950928 swapFree=67054696/67111528
[pid=20482] ppid=20480 vsize=446140 CPUtime=1800.03 cores=1,3,5,7
/proc/20482/stat : 20482 (minisatid) R 20480 20482 16493 0 -1 4202496 9839869 0 0 0 178688 1315 0 0 25 0 1 0 344912978 456847360 110344 33554432000 4194304 6720400 140733288928528 18446744073709551615 4617068 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/20482/statm: 111535 110344 266 617 0 110909 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 446140
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.03
CPU time (s): 1800.06
CPU user time (s): 1786.89
CPU system time (s): 13.175
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 576848
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1786.89
system time used= 13.175
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9839874
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= 1529
runsolver used 2.80257 second user time and 6.45202 second system time
The end