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-3490575-1307772909/watcher-3490575-1307772909 -o /tmp/evaluation-result-3490575-1307772909/solver-3490575-1307772909 -C 1800 -W 1900 -M 15500 HOME/minisatid HOME/instance-3490575-1307772909.opb --verbosity=0 --format=opb --randomseed=864988566
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: 1.92 1.98 1.91 2/177 12319
/proc/meminfo: memFree=31806676/32951124 swapFree=67050780/67111528
[pid=12319] ppid=12317 vsize=7736 CPUtime=0 cores=1,3,5,7
/proc/12319/stat : 12319 (minisatid) R 12317 12319 1779 0 -1 4202496 454 0 0 0 0 0 0 0 25 0 1 0 888893698 7921664 407 33554432000 4194304 6720400 140734721308752 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/12319/statm: 1934 407 231 617 0 1308 0
[startup+0.076722 s]
/proc/loadavg: 1.92 1.98 1.91 2/177 12319
/proc/meminfo: memFree=31806676/32951124 swapFree=67050780/67111528
[pid=12319] ppid=12317 vsize=14008 CPUtime=0.07 cores=1,3,5,7
/proc/12319/stat : 12319 (minisatid) R 12317 12319 1779 0 -1 4202496 2014 0 0 0 7 0 0 0 25 0 1 0 888893698 14344192 1967 33554432000 4194304 6720400 140734721308752 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/12319/statm: 3502 1968 231 617 0 2876 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 14008
[startup+0.100729 s]
/proc/loadavg: 1.92 1.98 1.91 2/177 12319
/proc/meminfo: memFree=31806676/32951124 swapFree=67050780/67111528
[pid=12319] ppid=12317 vsize=16056 CPUtime=0.09 cores=1,3,5,7
/proc/12319/stat : 12319 (minisatid) R 12317 12319 1779 0 -1 4202496 2528 0 0 0 9 0 0 0 25 0 1 0 888893698 16441344 2481 33554432000 4194304 6720400 140734721308752 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/12319/statm: 4014 2482 231 617 0 3388 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16056
[startup+0.300684 s]
/proc/loadavg: 1.92 1.98 1.91 2/177 12319
/proc/meminfo: memFree=31806676/32951124 swapFree=67050780/67111528
[pid=12319] ppid=12317 vsize=32952 CPUtime=0.29 cores=1,3,5,7
/proc/12319/stat : 12319 (minisatid) R 12317 12319 1779 0 -1 4202496 6742 0 0 0 29 0 0 0 25 0 1 0 888893698 33742848 6695 33554432000 4194304 6720400 140734721308752 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/12319/statm: 8238 6696 231 617 0 7612 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 32952
[startup+0.700613 s]
/proc/loadavg: 1.92 1.98 1.91 2/177 12319
/proc/meminfo: memFree=31806676/32951124 swapFree=67050780/67111528
[pid=12319] ppid=12317 vsize=115120 CPUtime=0.69 cores=1,3,5,7
/proc/12319/stat : 12319 (minisatid) R 12317 12319 1779 0 -1 4202496 27389 0 0 0 67 2 0 0 25 0 1 0 888893698 117882880 26858 33554432000 4194304 6720400 140734721308752 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/12319/statm: 28780 26862 245 617 0 28154 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 115120
[startup+1.50047 s]
/proc/loadavg: 1.92 1.98 1.91 3/178 12320
/proc/meminfo: memFree=31605928/32951124 swapFree=67050780/67111528
[pid=12319] ppid=12317 vsize=117660 CPUtime=1.49 cores=1,3,5,7
/proc/12319/stat : 12319 (minisatid) R 12317 12319 1779 0 -1 4202496 28047 0 0 0 147 2 0 0 25 0 1 0 888893698 120483840 27516 33554432000 4194304 6720400 140734721308752 18446744073709551615 4805952 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/12319/statm: 29415 27516 257 617 0 28789 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 117660
[startup+3.1002 s]
/proc/loadavg: 1.92 1.98 1.91 3/178 12321
/proc/meminfo: memFree=31589188/32951124 swapFree=67050780/67111528
[pid=12319] ppid=12317 vsize=117660 CPUtime=3.09 cores=1,3,5,7
/proc/12319/stat : 12319 (minisatid) R 12317 12319 1779 0 -1 4202496 28076 0 0 0 307 2 0 0 25 0 1 0 888893698 120483840 27544 33554432000 4194304 6720400 140734721308752 18446744073709551615 4805608 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/12319/statm: 29415 27544 264 617 0 28789 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 117660
[startup+6.30062 s]
/proc/loadavg: 2.01 2.00 1.92 3/178 12321
/proc/meminfo: memFree=31542380/32951124 swapFree=67050780/67111528
[pid=12319] ppid=12317 vsize=145056 CPUtime=6.29 cores=1,3,5,7
/proc/12319/stat : 12319 (minisatid) R 12317 12319 1779 0 -1 4202496 44440 0 0 0 625 4 0 0 25 0 1 0 888893698 148537344 35062 33554432000 4194304 6720400 140734721308752 18446744073709551615 4617068 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/12319/statm: 36264 35062 266 617 0 35638 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 145056
[startup+12.7005 s]
/proc/loadavg: 2.01 2.00 1.92 3/178 12321
/proc/meminfo: memFree=31459432/32951124 swapFree=67050780/67111528
[pid=12319] ppid=12317 vsize=200516 CPUtime=12.7 cores=1,3,5,7
/proc/12319/stat : 12319 (minisatid) R 12317 12319 1779 0 -1 4202496 90909 0 0 0 1260 10 0 0 25 0 1 0 888893698 205328384 43080 33554432000 4194304 6720400 140734721308752 18446744073709551615 4617068 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/12319/statm: 50129 43080 266 617 0 49503 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 200516
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 12321
/proc/meminfo: memFree=31395104/32951124 swapFree=67050780/67111528
[pid=12319] ppid=12317 vsize=213704 CPUtime=25.49 cores=1,3,5,7
/proc/12319/stat : 12319 (minisatid) R 12317 12319 1779 0 -1 4202496 175683 0 0 0 2528 21 0 0 25 0 1 0 888893698 218832896 50377 33554432000 4194304 6720400 140734721308752 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/12319/statm: 53426 50377 266 617 0 52800 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 213704
[startup+51.1007 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 12322
/proc/meminfo: memFree=31395652/32951124 swapFree=67050780/67111528
[pid=12319] ppid=12317 vsize=224796 CPUtime=51.1 cores=1,3,5,7
/proc/12319/stat : 12319 (minisatid) R 12317 12319 1779 0 -1 4202496 359605 0 0 0 5066 44 0 0 25 0 1 0 888893698 230191104 48169 33554432000 4194304 6720400 140734721308752 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/12319/statm: 56199 48169 266 617 0 55573 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 224796
[startup+102.307 s]
/proc/loadavg: 2.05 2.01 1.93 3/178 12323
/proc/meminfo: memFree=31350848/32951124 swapFree=67050780/67111528
[pid=12319] ppid=12317 vsize=218356 CPUtime=102.3 cores=1,3,5,7
/proc/12319/stat : 12319 (minisatid) R 12317 12319 1779 0 -1 4202496 699568 0 0 0 10140 90 0 0 25 0 1 0 888893698 223596544 51853 33554432000 4194304 6720400 140734721308752 18446744073709551615 4820719 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/12319/statm: 54589 51853 266 617 0 53963 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 218356
[startup+162.301 s]
/proc/loadavg: 2.02 2.01 1.93 3/178 12325
/proc/meminfo: memFree=31288936/32951124 swapFree=67050780/67111528
[pid=12319] ppid=12317 vsize=277152 CPUtime=162.29 cores=1,3,5,7
/proc/12319/stat : 12319 (minisatid) R 12317 12319 1779 0 -1 4202496 1113130 0 0 0 16085 144 0 0 25 0 1 0 888893698 283803648 64793 33554432000 4194304 6720400 140734721308752 18446744073709551615 4805846 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/12319/statm: 69288 64793 266 617 0 68662 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 277152
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 12326
/proc/meminfo: memFree=31213744/32951124 swapFree=67050780/67111528
[pid=12319] ppid=12317 vsize=345064 CPUtime=222.3 cores=1,3,5,7
/proc/12319/stat : 12319 (minisatid) R 12317 12319 1779 0 -1 4202496 1469071 0 0 0 22036 194 0 0 25 0 1 0 888893698 353345536 74163 33554432000 4194304 6720400 140734721308752 18446744073709551615 4616723 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/12319/statm: 86266 74163 266 617 0 85640 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 345064
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 12328
/proc/meminfo: memFree=31197960/32951124 swapFree=67050780/67111528
[pid=12319] ppid=12317 vsize=308820 CPUtime=282.3 cores=1,3,5,7
/proc/12319/stat : 12319 (minisatid) R 12317 12319 1779 0 -1 4202496 1885766 0 0 0 27977 253 0 0 25 0 1 0 888893698 316231680 71379 33554432000 4194304 6720400 140734721308752 18446744073709551615 4812011 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/12319/statm: 77205 71379 266 617 0 76579 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 308820
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 12330
/proc/meminfo: memFree=31208696/32951124 swapFree=67050780/67111528
[pid=12319] ppid=12317 vsize=368644 CPUtime=342.3 cores=1,3,5,7
/proc/12319/stat : 12319 (minisatid) R 12317 12319 1779 0 -1 4202496 2276624 0 0 0 33925 305 0 0 25 0 1 0 888893698 377491456 78139 33554432000 4194304 6720400 140734721308752 18446744073709551615 4617048 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/12319/statm: 92161 78139 266 617 0 91535 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 368644
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 12331
/proc/meminfo: memFree=31166356/32951124 swapFree=67050780/67111528
[pid=12319] ppid=12317 vsize=378504 CPUtime=402.3 cores=1,3,5,7
/proc/12319/stat : 12319 (minisatid) R 12317 12319 1779 0 -1 4202496 2602680 0 0 0 39880 350 0 0 25 0 1 0 888893698 387588096 86160 33554432000 4194304 6720400 140734721308752 18446744073709551615 4617084 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/12319/statm: 94626 86160 266 617 0 94000 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 378504
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 12333
/proc/meminfo: memFree=31227432/32951124 swapFree=67050780/67111528
[pid=12319] ppid=12317 vsize=332588 CPUtime=462.31 cores=1,3,5,7
/proc/12319/stat : 12319 (minisatid) R 12317 12319 1779 0 -1 4202496 2974338 0 0 0 45830 401 0 0 25 0 1 0 888893698 340570112 77929 33554432000 4194304 6720400 140734721308752 18446744073709551615 4617059 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/12319/statm: 83147 77929 266 617 0 82521 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 332588
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 12334
/proc/meminfo: memFree=31138232/32951124 swapFree=67050780/67111528
[pid=12319] ppid=12317 vsize=334296 CPUtime=522.3 cores=1,3,5,7
/proc/12319/stat : 12319 (minisatid) R 12317 12319 1779 0 -1 4202496 3312134 0 0 0 51787 443 0 0 25 0 1 0 888893698 342319104 74849 33554432000 4194304 6720400 140734721308752 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/12319/statm: 83574 74849 266 617 0 82948 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 334296
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 12336
/proc/meminfo: memFree=31201916/32951124 swapFree=67050780/67111528
[pid=12319] ppid=12317 vsize=341880 CPUtime=582.3 cores=1,3,5,7
/proc/12319/stat : 12319 (minisatid) R 12317 12319 1779 0 -1 4202496 3650632 0 0 0 57741 489 0 0 25 0 1 0 888893698 350085120 77944 33554432000 4194304 6720400 140734721308752 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/12319/statm: 85470 77944 266 617 0 84844 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 341880
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 12342
/proc/meminfo: memFree=31152864/32951124 swapFree=67050780/67111528
[pid=12319] ppid=12317 vsize=355400 CPUtime=822.31 cores=1,3,5,7
/proc/12319/stat : 12319 (minisatid) R 12317 12319 1779 0 -1 4202496 5196182 0 0 0 81534 697 0 0 25 0 1 0 888893698 363929600 79782 33554432000 4194304 6720400 140734721308752 18446744073709551615 4617059 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/12319/statm: 88850 79782 266 617 0 88224 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 355400
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 12344
/proc/meminfo: memFree=31069372/32951124 swapFree=67050780/67111528
[pid=12319] ppid=12317 vsize=410420 CPUtime=882.31 cores=1,3,5,7
/proc/12319/stat : 12319 (minisatid) R 12317 12319 1779 0 -1 4202496 5499405 0 0 0 87493 738 0 0 25 0 1 0 888893698 420270080 95883 33554432000 4194304 6720400 140734721308752 18446744073709551615 4816974 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/12319/statm: 102605 95884 266 617 0 101979 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 410420
[startup+942.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 12346
/proc/meminfo: memFree=31177944/32951124 swapFree=67050780/67111528
[pid=12319] ppid=12317 vsize=412600 CPUtime=942.31 cores=1,3,5,7
/proc/12319/stat : 12319 (minisatid) R 12317 12319 1779 0 -1 4202496 5839677 0 0 0 93446 785 0 0 25 0 1 0 888893698 422502400 87119 33554432000 4194304 6720400 140734721308752 18446744073709551615 4805662 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/12319/statm: 103150 87119 266 617 0 102524 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 412600
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 12347
/proc/meminfo: memFree=31057500/32951124 swapFree=67050780/67111528
[pid=12319] ppid=12317 vsize=418192 CPUtime=1002.31 cores=1,3,5,7
/proc/12319/stat : 12319 (minisatid) R 12317 12319 1779 0 -1 4202496 6196671 0 0 0 99392 839 0 0 25 0 1 0 888893698 428228608 98173 33554432000 4194304 6720400 140734721308752 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/12319/statm: 104548 98174 266 617 0 103922 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 418192
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 12349
/proc/meminfo: memFree=31064280/32951124 swapFree=67050780/67111528
[pid=12319] ppid=12317 vsize=423124 CPUtime=1062.31 cores=1,3,5,7
/proc/12319/stat : 12319 (minisatid) R 12317 12319 1779 0 -1 4202496 6502068 0 0 0 105349 882 0 0 25 0 1 0 888893698 433278976 97211 33554432000 4194304 6720400 140734721308752 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/12319/statm: 105781 97212 266 617 0 105155 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 423124
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 12350
/proc/meminfo: memFree=31054944/32951124 swapFree=67050780/67111528
[pid=12319] ppid=12317 vsize=424640 CPUtime=1122.32 cores=1,3,5,7
/proc/12319/stat : 12319 (minisatid) R 12317 12319 1779 0 -1 4202496 6834808 0 0 0 111305 927 0 0 25 0 1 0 888893698 434831360 97893 33554432000 4194304 6720400 140734721308752 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/12319/statm: 106160 97894 266 617 0 105534 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 424640
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 12352
/proc/meminfo: memFree=31107720/32951124 swapFree=67050780/67111528
[pid=12319] ppid=12317 vsize=428244 CPUtime=1182.32 cores=1,3,5,7
/proc/12319/stat : 12319 (minisatid) R 12317 12319 1779 0 -1 4202496 7123208 0 0 0 117263 969 0 0 25 0 1 0 888893698 438521856 92981 33554432000 4194304 6720400 140734721308752 18446744073709551615 4812222 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/12319/statm: 107061 92981 266 617 0 106435 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 428244
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 12354
/proc/meminfo: memFree=31050644/32951124 swapFree=67050780/67111528
[pid=12319] ppid=12317 vsize=429952 CPUtime=1242.33 cores=1,3,5,7
/proc/12319/stat : 12319 (minisatid) R 12317 12319 1779 0 -1 4202496 7442822 0 0 0 123221 1012 0 0 25 0 1 0 888893698 440270848 94227 33554432000 4194304 6720400 140734721308752 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/12319/statm: 107488 94227 266 617 0 106862 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 429952
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 12355
/proc/meminfo: memFree=31094996/32951124 swapFree=67050780/67111528
[pid=12319] ppid=12317 vsize=430236 CPUtime=1302.33 cores=1,3,5,7
/proc/12319/stat : 12319 (minisatid) R 12317 12319 1779 0 -1 4202496 7891868 0 0 0 129160 1073 0 0 25 0 1 0 888893698 440561664 97513 33554432000 4194304 6720400 140734721308752 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/12319/statm: 107559 97513 266 617 0 106933 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 430236
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 12357
/proc/meminfo: memFree=31109072/32951124 swapFree=67050780/67111528
[pid=12319] ppid=12317 vsize=430616 CPUtime=1362.32 cores=1,3,5,7
/proc/12319/stat : 12319 (minisatid) R 12317 12319 1779 0 -1 4202496 8392754 0 0 0 135087 1145 0 0 25 0 1 0 888893698 440950784 93460 33554432000 4194304 6720400 140734721308752 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/12319/statm: 107654 93461 266 617 0 107028 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 430616
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 12358
/proc/meminfo: memFree=31149816/32951124 swapFree=67050780/67111528
[pid=12319] ppid=12317 vsize=382708 CPUtime=1422.34 cores=1,3,5,7
/proc/12319/stat : 12319 (minisatid) R 12317 12319 1779 0 -1 4202496 8739409 0 0 0 141038 1196 0 0 25 0 1 0 888893698 391892992 83805 33554432000 4194304 6720400 140734721308752 18446744073709551615 4617068 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/12319/statm: 95677 83805 266 617 0 95051 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 382708
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 12360
/proc/meminfo: memFree=31051796/32951124 swapFree=67050780/67111528
[pid=12319] ppid=12317 vsize=435356 CPUtime=1482.33 cores=1,3,5,7
/proc/12319/stat : 12319 (minisatid) R 12317 12319 1779 0 -1 4202496 8960567 0 0 0 147006 1227 0 0 25 0 1 0 888893698 445804544 98130 33554432000 4194304 6720400 140734721308752 18446744073709551615 4617079 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/12319/statm: 108839 98130 266 617 0 108213 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 435356
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 12362
/proc/meminfo: memFree=31061048/32951124 swapFree=67050780/67111528
[pid=12319] ppid=12317 vsize=386500 CPUtime=1542.33 cores=1,3,5,7
/proc/12319/stat : 12319 (minisatid) R 12317 12319 1779 0 -1 4202496 9257795 0 0 0 152964 1269 0 0 25 0 1 0 888893698 395776000 87817 33554432000 4194304 6720400 140734721308752 18446744073709551615 4617059 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/12319/statm: 96625 87817 266 617 0 95999 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 386500
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 12363
/proc/meminfo: memFree=31082560/32951124 swapFree=67050780/67111528
[pid=12319] ppid=12317 vsize=438296 CPUtime=1602.33 cores=1,3,5,7
/proc/12319/stat : 12319 (minisatid) R 12317 12319 1779 0 -1 4202496 9494076 0 0 0 158928 1305 0 0 25 0 1 0 888893698 448815104 92705 33554432000 4194304 6720400 140734721308752 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/12319/statm: 109574 92705 266 617 0 108948 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 438296
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 12365
/proc/meminfo: memFree=30992504/32951124 swapFree=67050780/67111528
[pid=12319] ppid=12317 vsize=439432 CPUtime=1662.33 cores=1,3,5,7
/proc/12319/stat : 12319 (minisatid) R 12317 12319 1779 0 -1 4202496 9733273 0 0 0 164892 1341 0 0 25 0 1 0 888893698 449978368 102639 33554432000 4194304 6720400 140734721308752 18446744073709551615 4617079 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/12319/statm: 109858 102639 266 617 0 109232 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 439432
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 12366
/proc/meminfo: memFree=31103308/32951124 swapFree=67050780/67111528
[pid=12319] ppid=12317 vsize=440004 CPUtime=1722.33 cores=1,3,5,7
/proc/12319/stat : 12319 (minisatid) R 12317 12319 1779 0 -1 4202496 10081108 0 0 0 170842 1391 0 0 25 0 1 0 888893698 450564096 95786 33554432000 4194304 6720400 140734721308752 18446744073709551615 4617073 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/12319/statm: 110001 95786 266 617 0 109375 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 440004
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 12368
/proc/meminfo: memFree=31090380/32951124 swapFree=67050780/67111528
[pid=12319] ppid=12317 vsize=391528 CPUtime=1782.34 cores=1,3,5,7
/proc/12319/stat : 12319 (minisatid) R 12317 12319 1779 0 -1 4202496 10356355 0 0 0 176802 1432 0 0 25 0 1 0 888893698 400924672 89356 33554432000 4194304 6720400 140734721308752 18446744073709551615 4617090 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/12319/statm: 97882 89356 266 617 0 97256 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 391528
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.93 2/176 12369
/proc/meminfo: memFree=31435976/32951124 swapFree=67050780/67111528
[pid=12319] ppid=12317 vsize=441804 CPUtime=1800.04 cores=1,3,5,7
/proc/12319/stat : 12319 (minisatid) R 12317 12319 1779 0 -1 4202496 10426485 0 0 0 178564 1440 0 0 25 0 1 0 888893698 452407296 96988 33554432000 4194304 6720400 140734721308752 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/12319/statm: 110451 96988 266 617 0 109825 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 441804
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.02
CPU time (s): 1800.07
CPU user time (s): 1785.64
CPU system time (s): 14.4248
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 574128
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1785.64
system time used= 14.4248
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10426490
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= 20806
runsolver used 2.76458 second user time and 6.14107 second system time
The end