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-3491257-1307777205/watcher-3491257-1307777205 -o /tmp/evaluation-result-3491257-1307777205/solver-3491257-1307777205 -C 1800 -W 1900 -M 15500 HOME/minisatid HOME/instance-3491257-1307777205.opb --verbosity=0 --format=opb --randomseed=820522133
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.98 1.97 1.99 3/177 24630
/proc/meminfo: memFree=31379364/32951124 swapFree=67057920/67111528
[pid=24630] ppid=24628 vsize=7444 CPUtime=0 cores=1,3,5,7
/proc/24630/stat : 24630 (minisatid) R 24628 24630 22888 0 -1 4202496 374 0 0 0 0 0 0 0 25 0 1 0 870135781 7622656 326 33554432000 4194304 6720400 140735161642320 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/24630/statm: 1861 326 232 617 0 1235 0
[startup+0.0189769 s]
/proc/loadavg: 1.98 1.97 1.99 3/177 24630
/proc/meminfo: memFree=31379364/32951124 swapFree=67057920/67111528
[pid=24630] ppid=24628 vsize=7680 CPUtime=0.01 cores=1,3,5,7
/proc/24630/stat : 24630 (minisatid) R 24628 24630 22888 0 -1 4202496 516 0 0 0 1 0 0 0 25 0 1 0 870135781 7864320 468 33554432000 4194304 6720400 140735161642320 18446744073709551615 4617090 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/24630/statm: 1920 468 257 617 0 1294 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 7680
[startup+0.100962 s]
/proc/loadavg: 1.98 1.97 1.99 3/177 24630
/proc/meminfo: memFree=31379364/32951124 swapFree=67057920/67111528
[pid=24630] ppid=24628 vsize=7804 CPUtime=0.09 cores=1,3,5,7
/proc/24630/stat : 24630 (minisatid) R 24628 24630 22888 0 -1 4202496 844 0 0 0 9 0 0 0 25 0 1 0 870135781 7991296 794 33554432000 4194304 6720400 140735161642320 18446744073709551615 4820719 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/24630/statm: 1951 794 265 617 0 1325 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7804
[startup+0.300929 s]
/proc/loadavg: 1.98 1.97 1.99 3/177 24630
/proc/meminfo: memFree=31379364/32951124 swapFree=67057920/67111528
[pid=24630] ppid=24628 vsize=10524 CPUtime=0.29 cores=1,3,5,7
/proc/24630/stat : 24630 (minisatid) R 24628 24630 22888 0 -1 4202496 1656 0 0 0 29 0 0 0 25 0 1 0 870135781 10776576 1600 33554432000 4194304 6720400 140735161642320 18446744073709551615 4583104 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/24630/statm: 2631 1600 265 617 0 2005 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10524
[startup+0.700857 s]
/proc/loadavg: 1.98 1.97 1.99 3/177 24630
/proc/meminfo: memFree=31379364/32951124 swapFree=67057920/67111528
[pid=24630] ppid=24628 vsize=15068 CPUtime=0.69 cores=1,3,5,7
/proc/24630/stat : 24630 (minisatid) R 24628 24630 22888 0 -1 4202496 3265 0 0 0 69 0 0 0 25 0 1 0 870135781 15429632 3195 33554432000 4194304 6720400 140735161642320 18446744073709551615 4805640 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/24630/statm: 3767 3195 266 617 0 3141 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15068
[startup+1.50072 s]
/proc/loadavg: 1.98 1.97 1.99 3/178 24631
/proc/meminfo: memFree=31362144/32951124 swapFree=67057920/67111528
[pid=24630] ppid=24628 vsize=34380 CPUtime=1.49 cores=1,3,5,7
/proc/24630/stat : 24630 (minisatid) R 24628 24630 22888 0 -1 4202496 6479 0 0 0 149 0 0 0 25 0 1 0 870135781 35205120 6388 33554432000 4194304 6720400 140735161642320 18446744073709551615 4593623 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/24630/statm: 8595 6388 266 617 0 7969 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 34380
[startup+3.10044 s]
/proc/loadavg: 1.98 1.97 1.99 3/178 24631
/proc/meminfo: memFree=31365368/32951124 swapFree=67057920/67111528
[pid=24630] ppid=24628 vsize=15856 CPUtime=3.08 cores=1,3,5,7
/proc/24630/stat : 24630 (minisatid) R 24628 24630 22888 0 -1 4202496 14529 0 0 0 307 1 0 0 25 0 1 0 870135781 16236544 2849 33554432000 4194304 6720400 140735161642320 18446744073709551615 4803111 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/24630/statm: 3964 2849 266 617 0 3338 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 15856
[startup+6.30087 s]
/proc/loadavg: 1.98 1.97 1.99 3/178 24632
/proc/meminfo: memFree=31333908/32951124 swapFree=67057920/67111528
[pid=24630] ppid=24628 vsize=65004 CPUtime=6.29 cores=1,3,5,7
/proc/24630/stat : 24630 (minisatid) R 24628 24630 22888 0 -1 4202496 25064 0 0 0 626 3 0 0 25 0 1 0 870135781 66564096 13338 33554432000 4194304 6720400 140735161642320 18446744073709551615 4616608 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/24630/statm: 16251 13338 266 617 0 15625 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 65004
[startup+12.7007 s]
/proc/loadavg: 1.98 1.97 1.99 3/178 24632
/proc/meminfo: memFree=31321736/32951124 swapFree=67057920/67111528
[pid=24630] ppid=24628 vsize=65004 CPUtime=12.69 cores=1,3,5,7
/proc/24630/stat : 24630 (minisatid) R 24628 24630 22888 0 -1 4202496 25910 0 0 0 1266 3 0 0 25 0 1 0 870135781 66564096 14180 33554432000 4194304 6720400 140735161642320 18446744073709551615 4817067 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/24630/statm: 16251 14180 266 617 0 15625 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 65004
[startup+25.5005 s]
/proc/loadavg: 1.99 1.97 1.99 3/178 24632
/proc/meminfo: memFree=31312556/32951124 swapFree=67057920/67111528
[pid=24630] ppid=24628 vsize=68304 CPUtime=25.49 cores=1,3,5,7
/proc/24630/stat : 24630 (minisatid) R 24628 24630 22888 0 -1 4202496 28309 0 0 0 2546 3 0 0 25 0 1 0 870135781 69943296 16574 33554432000 4194304 6720400 140735161642320 18446744073709551615 4812058 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/24630/statm: 17076 16574 266 617 0 16450 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 68304
[startup+51.101 s]
/proc/loadavg: 1.99 1.97 1.99 3/178 24633
/proc/meminfo: memFree=31304084/32951124 swapFree=67057920/67111528
[pid=24630] ppid=24628 vsize=140664 CPUtime=51.1 cores=1,3,5,7
/proc/24630/stat : 24630 (minisatid) R 24628 24630 22888 0 -1 4202496 74424 0 0 0 5101 9 0 0 25 0 1 0 870135781 144039936 25602 33554432000 4194304 6720400 140735161642320 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/24630/statm: 35166 25602 266 617 0 34540 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 140664
[startup+102.306 s]
/proc/loadavg: 1.99 1.97 1.99 3/178 24634
/proc/meminfo: memFree=31276280/32951124 swapFree=67057920/67111528
[pid=24630] ppid=24628 vsize=91344 CPUtime=102.3 cores=1,3,5,7
/proc/24630/stat : 24630 (minisatid) R 24628 24630 22888 0 -1 4202496 272086 0 0 0 10193 37 0 0 25 0 1 0 870135781 93536256 17741 33554432000 4194304 6720400 140735161642320 18446744073709551615 4804268 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/24630/statm: 22836 17741 266 617 0 22210 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 91344
[startup+162.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/178 24636
/proc/meminfo: memFree=31232472/32951124 swapFree=67057920/67111528
[pid=24630] ppid=24628 vsize=171484 CPUtime=162.29 cores=1,3,5,7
/proc/24630/stat : 24630 (minisatid) R 24628 24630 22888 0 -1 4202496 516651 0 0 0 16157 72 0 0 25 0 1 0 870135781 175599616 30249 33554432000 4194304 6720400 140735161642320 18446744073709551615 4816960 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/24630/statm: 42871 30250 266 617 0 42245 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 171484
[startup+222.301 s]
/proc/loadavg: 1.99 1.97 1.99 3/178 24637
/proc/meminfo: memFree=31227356/32951124 swapFree=67057920/67111528
[pid=24630] ppid=24628 vsize=140664 CPUtime=222.3 cores=1,3,5,7
/proc/24630/stat : 24630 (minisatid) R 24628 24630 22888 0 -1 4202496 741010 0 0 0 22122 108 0 0 25 0 1 0 870135781 144039936 28807 33554432000 4194304 6720400 140735161642320 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/24630/statm: 35166 28807 266 617 0 34540 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 140664
[startup+282.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/178 24639
/proc/meminfo: memFree=31226456/32951124 swapFree=67057920/67111528
[pid=24630] ppid=24628 vsize=171484 CPUtime=282.29 cores=1,3,5,7
/proc/24630/stat : 24630 (minisatid) R 24628 24630 22888 0 -1 4202496 952450 0 0 0 28089 140 0 0 25 0 1 0 870135781 175599616 30273 33554432000 4194304 6720400 140735161642320 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/24630/statm: 42871 30273 266 617 0 42245 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 171484
[startup+342.301 s]
/proc/loadavg: 1.99 1.97 1.99 3/178 24641
/proc/meminfo: memFree=31215024/32951124 swapFree=67057920/67111528
[pid=24630] ppid=24628 vsize=171484 CPUtime=342.3 cores=1,3,5,7
/proc/24630/stat : 24630 (minisatid) R 24628 24630 22888 0 -1 4202496 1176973 0 0 0 34054 176 0 0 25 0 1 0 870135781 175599616 31151 33554432000 4194304 6720400 140735161642320 18446744073709551615 5722259 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/24630/statm: 42871 31152 266 617 0 42245 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 171484
[startup+402.301 s]
/proc/loadavg: 1.99 1.97 1.99 3/178 24642
/proc/meminfo: memFree=31264224/32951124 swapFree=67057920/67111528
[pid=24630] ppid=24628 vsize=140664 CPUtime=402.3 cores=1,3,5,7
/proc/24630/stat : 24630 (minisatid) R 24628 24630 22888 0 -1 4202496 1386926 0 0 0 40021 209 0 0 25 0 1 0 870135781 144039936 27880 33554432000 4194304 6720400 140735161642320 18446744073709551615 5722244 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/24630/statm: 35166 27881 266 617 0 34540 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 140664
[startup+462.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/178 24644
/proc/meminfo: memFree=31199964/32951124 swapFree=67057920/67111528
[pid=24630] ppid=24628 vsize=152976 CPUtime=462.3 cores=1,3,5,7
/proc/24630/stat : 24630 (minisatid) R 24628 24630 22888 0 -1 4202496 1617953 0 0 0 45983 247 0 0 25 0 1 0 870135781 156647424 34837 33554432000 4194304 6720400 140735161642320 18446744073709551615 4803116 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/24630/statm: 38244 34837 266 617 0 37618 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 152976
[startup+522.301 s]
/proc/loadavg: 1.99 1.97 1.99 3/178 24645
/proc/meminfo: memFree=31186296/32951124 swapFree=67057920/67111528
[pid=24630] ppid=24628 vsize=183796 CPUtime=522.3 cores=1,3,5,7
/proc/24630/stat : 24630 (minisatid) R 24628 24630 22888 0 -1 4202496 1831558 0 0 0 51948 282 0 0 25 0 1 0 870135781 188207104 40688 33554432000 4194304 6720400 140735161642320 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/24630/statm: 45949 40688 266 617 0 45323 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 183796
[startup+582.3 s]
/proc/loadavg: 2.06 1.99 1.99 3/178 24647
/proc/meminfo: memFree=31231896/32951124 swapFree=67057920/67111528
[pid=24630] ppid=24628 vsize=152976 CPUtime=582.3 cores=1,3,5,7
/proc/24630/stat : 24630 (minisatid) R 24628 24630 22888 0 -1 4202496 2041345 0 0 0 57914 316 0 0 25 0 1 0 870135781 156647424 34080 33554432000 4194304 6720400 140735161642320 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/24630/statm: 38244 34080 266 617 0 37618 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 152976
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 1.99 1.99 3/178 24653
/proc/meminfo: memFree=31165436/32951124 swapFree=67057920/67111528
[pid=24630] ppid=24628 vsize=183796 CPUtime=822.31 cores=1,3,5,7
/proc/24630/stat : 24630 (minisatid) R 24628 24630 22888 0 -1 4202496 2885455 0 0 0 81778 453 0 0 25 0 1 0 870135781 188207104 44402 33554432000 4194304 6720400 140735161642320 18446744073709551615 4431762 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/24630/statm: 45949 44403 266 617 0 45323 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 183796
[startup+882.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/178 24655
/proc/meminfo: memFree=31196776/32951124 swapFree=67057920/67111528
[pid=24630] ppid=24628 vsize=152976 CPUtime=882.31 cores=1,3,5,7
/proc/24630/stat : 24630 (minisatid) R 24628 24630 22888 0 -1 4202496 3089470 0 0 0 87746 485 0 0 25 0 1 0 870135781 156647424 35015 33554432000 4194304 6720400 140735161642320 18446744073709551615 4610358 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/24630/statm: 38244 35015 266 617 0 37618 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 152976
[startup+942.301 s]
/proc/loadavg: 2.00 1.99 1.99 3/178 24657
/proc/meminfo: memFree=31201340/32951124 swapFree=67057920/67111528
[pid=24630] ppid=24628 vsize=152976 CPUtime=942.31 cores=1,3,5,7
/proc/24630/stat : 24630 (minisatid) R 24628 24630 22888 0 -1 4202496 3294959 0 0 0 93712 519 0 0 25 0 1 0 870135781 156647424 34454 33554432000 4194304 6720400 140735161642320 18446744073709551615 4803111 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/24630/statm: 38244 34454 266 617 0 37618 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 152976
[startup+1002.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/178 24658
/proc/meminfo: memFree=31112512/32951124 swapFree=67057920/67111528
[pid=24630] ppid=24628 vsize=103656 CPUtime=1002.31 cores=1,3,5,7
/proc/24630/stat : 24630 (minisatid) R 24628 24630 22888 0 -1 4202496 3511271 0 0 0 99678 553 0 0 25 0 1 0 870135781 106143744 25484 33554432000 4194304 6720400 140735161642320 18446744073709551615 4592891 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/24630/statm: 25914 25484 266 617 0 25288 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 103656
[startup+1062.3 s]
/proc/loadavg: 2.04 2.00 2.00 3/178 24660
/proc/meminfo: memFree=31163824/32951124 swapFree=67057920/67111528
[pid=24630] ppid=24628 vsize=183796 CPUtime=1062.32 cores=1,3,5,7
/proc/24630/stat : 24630 (minisatid) R 24628 24630 22888 0 -1 4202496 3732503 0 0 0 105639 593 0 0 25 0 1 0 870135781 188207104 37955 33554432000 4194304 6720400 140735161642320 18446744073709551615 4715100 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/24630/statm: 45949 37955 266 617 0 45323 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 183796
[startup+1122.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 24661
/proc/meminfo: memFree=31200384/32951124 swapFree=67057920/67111528
[pid=24630] ppid=24628 vsize=122756 CPUtime=1122.32 cores=1,3,5,7
/proc/24630/stat : 24630 (minisatid) R 24628 24630 22888 0 -1 4202496 3941203 0 0 0 111606 626 0 0 25 0 1 0 870135781 125702144 25591 33554432000 4194304 6720400 140735161642320 18446744073709551615 4820730 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/24630/statm: 30689 25591 266 617 0 30063 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 122756
[startup+1182.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 24663
/proc/meminfo: memFree=31152364/32951124 swapFree=67057920/67111528
[pid=24630] ppid=24628 vsize=202896 CPUtime=1182.32 cores=1,3,5,7
/proc/24630/stat : 24630 (minisatid) R 24628 24630 22888 0 -1 4202496 4167179 0 0 0 117570 662 0 0 25 0 1 0 870135781 207765504 40884 33554432000 4194304 6720400 140735161642320 18446744073709551615 4816944 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/24630/statm: 50724 40884 266 617 0 50098 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 202896
[startup+1242.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 24665
/proc/meminfo: memFree=31122828/32951124 swapFree=67057920/67111528
[pid=24630] ppid=24628 vsize=204128 CPUtime=1242.32 cores=1,3,5,7
/proc/24630/stat : 24630 (minisatid) R 24628 24630 22888 0 -1 4202496 4354107 0 0 0 123541 691 0 0 25 0 1 0 870135781 209027072 46827 33554432000 4194304 6720400 140735161642320 18446744073709551615 4816960 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/24630/statm: 51032 46827 266 617 0 50406 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 204128
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24666
/proc/meminfo: memFree=31180340/32951124 swapFree=67057920/67111528
[pid=24630] ppid=24628 vsize=123988 CPUtime=1302.33 cores=1,3,5,7
/proc/24630/stat : 24630 (minisatid) R 24628 24630 22888 0 -1 4202496 4563429 0 0 0 129506 727 0 0 25 0 1 0 870135781 126963712 30567 33554432000 4194304 6720400 140735161642320 18446744073709551615 4715193 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/24630/statm: 30997 30567 266 617 0 30371 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 123988
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24668
/proc/meminfo: memFree=31140384/32951124 swapFree=67057920/67111528
[pid=24630] ppid=24628 vsize=173308 CPUtime=1362.32 cores=1,3,5,7
/proc/24630/stat : 24630 (minisatid) R 24628 24630 22888 0 -1 4202496 4782492 0 0 0 135472 760 0 0 25 0 1 0 870135781 177467392 42716 33554432000 4194304 6720400 140735161642320 18446744073709551615 4616723 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/24630/statm: 43327 42716 266 617 0 42701 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 173308
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24669
/proc/meminfo: memFree=31124360/32951124 swapFree=67057920/67111528
[pid=24630] ppid=24628 vsize=204128 CPUtime=1422.33 cores=1,3,5,7
/proc/24630/stat : 24630 (minisatid) R 24628 24630 22888 0 -1 4202496 4991936 0 0 0 141439 794 0 0 25 0 1 0 870135781 209027072 45124 33554432000 4194304 6720400 140735161642320 18446744073709551615 4802230 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/24630/statm: 51032 45124 266 617 0 50406 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 204128
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24671
/proc/meminfo: memFree=31128040/32951124 swapFree=67057920/67111528
[pid=24630] ppid=24628 vsize=204128 CPUtime=1482.32 cores=1,3,5,7
/proc/24630/stat : 24630 (minisatid) R 24628 24630 22888 0 -1 4202496 5189933 0 0 0 147404 828 0 0 25 0 1 0 870135781 209027072 46236 33554432000 4194304 6720400 140735161642320 18446744073709551615 4714379 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/24630/statm: 51032 46236 266 617 0 50406 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 204128
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24673
/proc/meminfo: memFree=31180468/32951124 swapFree=67057920/67111528
[pid=24630] ppid=24628 vsize=173308 CPUtime=1542.33 cores=1,3,5,7
/proc/24630/stat : 24630 (minisatid) R 24628 24630 22888 0 -1 4202496 5391902 0 0 0 153370 863 0 0 25 0 1 0 870135781 177467392 38601 33554432000 4194304 6720400 140735161642320 18446744073709551615 4624217 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/24630/statm: 43327 38601 266 617 0 42701 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 173308
[startup+1602.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/178 24674
/proc/meminfo: memFree=31146960/32951124 swapFree=67057920/67111528
[pid=24630] ppid=24628 vsize=173308 CPUtime=1602.33 cores=1,3,5,7
/proc/24630/stat : 24630 (minisatid) R 24628 24630 22888 0 -1 4202496 5601760 0 0 0 159338 895 0 0 25 0 1 0 870135781 177467392 42040 33554432000 4194304 6720400 140735161642320 18446744073709551615 4616723 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/24630/statm: 43327 42040 266 617 0 42701 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 173308
[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 24676
/proc/meminfo: memFree=31090508/32951124 swapFree=67057920/67111528
[pid=24630] ppid=24628 vsize=254216 CPUtime=1662.33 cores=1,3,5,7
/proc/24630/stat : 24630 (minisatid) R 24628 24630 22888 0 -1 4202496 5796149 0 0 0 165307 926 0 0 25 0 1 0 870135781 260317184 53484 33554432000 4194304 6720400 140735161642320 18446744073709551615 4617073 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/24630/statm: 63554 53484 266 617 0 62928 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 254216
[startup+1722.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/178 24716
/proc/meminfo: memFree=31282392/32951124 swapFree=67057920/67111528
[pid=24630] ppid=24628 vsize=173308 CPUtime=1722.33 cores=1,3,5,7
/proc/24630/stat : 24630 (minisatid) R 24628 24630 22888 0 -1 4202496 5994959 0 0 0 171273 960 0 0 25 0 1 0 870135781 177467392 39852 33554432000 4194304 6720400 140735161642320 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/24630/statm: 43327 39852 266 617 0 42701 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 173308
[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 24718
/proc/meminfo: memFree=31271564/32951124 swapFree=67057920/67111528
[pid=24630] ppid=24628 vsize=123988 CPUtime=1782.33 cores=1,3,5,7
/proc/24630/stat : 24630 (minisatid) R 24628 24630 22888 0 -1 4202496 6165720 0 0 0 177244 989 0 0 25 0 1 0 870135781 126963712 30567 33554432000 4194304 6720400 140735161642320 18446744073709551615 5724397 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/24630/statm: 30997 30567 266 617 0 30371 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 123988
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 24718
/proc/meminfo: memFree=31209932/32951124 swapFree=67057920/67111528
[pid=24630] ppid=24628 vsize=204128 CPUtime=1800.04 cores=1,3,5,7
/proc/24630/stat : 24630 (minisatid) R 24628 24630 22888 0 -1 4202496 6229218 0 0 0 179004 1000 0 0 25 0 1 0 870135781 209027072 46039 33554432000 4194304 6720400 140735161642320 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/24630/statm: 51032 46039 266 617 0 50406 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 204128
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): 1790.05
CPU system time (s): 10.0105
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 254216
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.05
system time used= 10.0105
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6229224
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= 4
involuntary context switches= 19452
runsolver used 2.39864 second user time and 5.82311 second system time
The end