runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3725107-1338631832/watcher-3725107-1338631832 -o /tmp/evaluation-result-3725107-1338631832/solver-3725107-1338631832 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3725107-1338631832.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.99 1.31 0.57 2/179 2331
/proc/meminfo: memFree=28974192/32873844 swapFree=7380/7380
[pid=2331] ppid=2329 vsize=7248 CPUtime=0 cores=1,3,5,7
/proc/2331/stat : 2331 (toysat) R 2329 2331 2131 0 -1 4202496 840 0 0 0 0 0 0 0 20 0 1 0 329308005 7421952 759 33554432000 4194304 8989770 140733460902336 140736545021192 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/2331/statm: 1812 759 425 1171 0 589 0
[startup+0.0715031 s]
/proc/loadavg: 1.99 1.31 0.57 2/179 2331
/proc/meminfo: memFree=28974192/32873844 swapFree=7380/7380
[pid=2331] ppid=2329 vsize=11344 CPUtime=0.06 cores=1,3,5,7
/proc/2331/stat : 2331 (toysat) R 2329 2331 2131 0 -1 4202496 1913 0 0 0 6 0 0 0 20 0 1 0 329308005 11616256 1832 33554432000 4194304 8989770 140733460902336 140733460901832 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/2331/statm: 2836 1832 442 1171 0 1613 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 11344
[startup+0.10029 s]
/proc/loadavg: 1.99 1.31 0.57 2/179 2331
/proc/meminfo: memFree=28974192/32873844 swapFree=7380/7380
[pid=2331] ppid=2329 vsize=11344 CPUtime=0.09 cores=1,3,5,7
/proc/2331/stat : 2331 (toysat) R 2329 2331 2131 0 -1 4202496 1913 0 0 0 9 0 0 0 20 0 1 0 329308005 11616256 1832 33554432000 4194304 8989770 140733460902336 140733460901832 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/2331/statm: 2836 1832 442 1171 0 1613 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11344
[startup+0.300192 s]
/proc/loadavg: 1.99 1.31 0.57 2/179 2331
/proc/meminfo: memFree=28974192/32873844 swapFree=7380/7380
[pid=2331] ppid=2329 vsize=11344 CPUtime=0.29 cores=1,3,5,7
/proc/2331/stat : 2331 (toysat) R 2329 2331 2131 0 -1 4202496 1913 0 0 0 29 0 0 0 20 0 1 0 329308005 11616256 1832 33554432000 4194304 8989770 140733460902336 140733460901832 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/2331/statm: 2836 1832 442 1171 0 1613 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11344
[startup+0.700315 s]
/proc/loadavg: 1.99 1.31 0.57 2/179 2331
/proc/meminfo: memFree=28974192/32873844 swapFree=7380/7380
[pid=2331] ppid=2329 vsize=15440 CPUtime=0.69 cores=1,3,5,7
/proc/2331/stat : 2331 (toysat) R 2329 2331 2131 0 -1 4202496 3185 0 0 0 68 1 0 0 20 0 1 0 329308005 15810560 3104 33554432000 4194304 8989770 140733460902336 140733460901600 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/2331/statm: 3860 3104 471 1171 0 2637 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15440
[startup+1.5003 s]
/proc/loadavg: 1.99 1.31 0.57 3/180 2332
/proc/meminfo: memFree=28963768/32873844 swapFree=7380/7380
[pid=2331] ppid=2329 vsize=18512 CPUtime=1.49 cores=1,3,5,7
/proc/2331/stat : 2331 (toysat) R 2329 2331 2131 0 -1 4202496 3712 0 0 0 148 1 0 0 20 0 1 0 329308005 18956288 3631 33554432000 4194304 8989770 140733460902336 140733460901600 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/2331/statm: 4628 3631 471 1171 0 3405 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18512
[startup+3.10031 s]
/proc/loadavg: 1.99 1.31 0.57 3/180 2332
/proc/meminfo: memFree=28958552/32873844 swapFree=7380/7380
[pid=2331] ppid=2329 vsize=26704 CPUtime=3.09 cores=1,3,5,7
/proc/2331/stat : 2331 (toysat) R 2329 2331 2131 0 -1 4202496 5763 0 0 0 307 2 0 0 20 0 1 0 329308005 27344896 5682 33554432000 4194304 8989770 140733460902336 140733460901832 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/2331/statm: 6676 5682 471 1171 0 5453 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 26704
[startup+6.30031 s]
/proc/loadavg: 1.99 1.32 0.58 3/180 2332
/proc/meminfo: memFree=28942060/32873844 swapFree=7380/7380
[pid=2331] ppid=2329 vsize=41040 CPUtime=6.29 cores=1,3,5,7
/proc/2331/stat : 2331 (toysat) R 2329 2331 2131 0 -1 4202496 9481 0 0 0 626 3 0 0 20 0 1 0 329308005 42024960 9400 33554432000 4194304 8989770 140733460902336 140733460901600 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/2331/statm: 10260 9400 471 1171 0 9037 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 41040
[startup+12.7003 s]
/proc/loadavg: 1.99 1.33 0.59 3/180 2332
/proc/meminfo: memFree=28914928/32873844 swapFree=7380/7380
[pid=2331] ppid=2329 vsize=66640 CPUtime=12.69 cores=1,3,5,7
/proc/2331/stat : 2331 (toysat) R 2329 2331 2131 0 -1 4202496 15985 0 0 0 1263 6 0 0 20 0 1 0 329308005 68239360 15904 33554432000 4194304 8989770 140733460902336 140733460901832 7676059 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/2331/statm: 16660 15904 471 1171 0 15437 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 66640
[startup+25.5003 s]
/proc/loadavg: 1.99 1.37 0.61 3/180 2332
/proc/meminfo: memFree=28866068/32873844 swapFree=7380/7380
[pid=2331] ppid=2329 vsize=113744 CPUtime=25.48 cores=1,3,5,7
/proc/2331/stat : 2331 (toysat) R 2329 2331 2131 0 -1 4202496 27539 0 0 0 2537 11 0 0 20 0 1 0 329308005 116473856 27457 33554432000 4194304 8989770 140733460902336 140733460901832 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/2331/statm: 28436 27457 471 1171 0 27213 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 113744
[startup+51.1003 s]
/proc/loadavg: 1.99 1.42 0.65 3/179 2332
/proc/meminfo: memFree=28808864/32873844 swapFree=7380/7380
[pid=2331] ppid=2329 vsize=171088 CPUtime=51.05 cores=1,3,5,7
/proc/2331/stat : 2331 (toysat) R 2329 2331 2131 0 -1 4202496 41941 0 0 0 5086 19 0 0 20 0 1 0 329308005 175194112 41836 33554432000 4194304 8989770 140733460902336 140733460901832 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/2331/statm: 42772 41836 473 1171 0 41549 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 171088
[startup+102.307 s]
/proc/loadavg: 1.99 1.50 0.71 3/179 2332
/proc/meminfo: memFree=28807544/32873844 swapFree=7380/7380
[pid=2331] ppid=2329 vsize=171088 CPUtime=102.22 cores=1,3,5,7
/proc/2331/stat : 2331 (toysat) R 2329 2331 2131 0 -1 4202496 43443 0 0 0 10192 30 0 0 20 0 1 0 329308005 175194112 41949 33554432000 4194304 8989770 140733460902336 140733460901600 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/2331/statm: 42772 41949 473 1171 0 41549 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 171088
[startup+162.3 s]
/proc/loadavg: 1.99 1.59 0.79 3/179 2333
/proc/meminfo: memFree=28766636/32873844 swapFree=7380/7380
[pid=2331] ppid=2329 vsize=211024 CPUtime=162.18 cores=1,3,5,7
/proc/2331/stat : 2331 (toysat) R 2329 2331 2131 0 -1 4202496 53443 0 0 0 16176 42 0 0 20 0 1 0 329308005 216088576 51924 33554432000 4194304 8989770 140733460902336 140733460901832 7683380 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/2331/statm: 52756 51924 473 1171 0 51533 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 211024
[startup+222.3 s]
/proc/loadavg: 1.99 1.66 0.86 3/179 2333
/proc/meminfo: memFree=28758940/32873844 swapFree=7380/7380
[pid=2331] ppid=2329 vsize=218192 CPUtime=222.17 cores=1,3,5,7
/proc/2331/stat : 2331 (toysat) R 2329 2331 2131 0 -1 4202496 55128 0 0 0 22165 52 0 0 20 0 1 0 329308005 223428608 53609 33554432000 4194304 8989770 140733460902336 140733460901832 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/2331/statm: 54548 53609 473 1171 0 53325 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 218192
[startup+282.3 s]
/proc/loadavg: 1.99 1.72 0.93 3/179 2333
/proc/meminfo: memFree=28737240/32873844 swapFree=7380/7380
[pid=2331] ppid=2329 vsize=239696 CPUtime=282.17 cores=1,3,5,7
/proc/2331/stat : 2331 (toysat) R 2329 2331 2131 0 -1 4202496 60491 0 0 0 28153 64 0 0 20 0 1 0 329308005 245448704 58972 33554432000 4194304 8989770 140733460902336 140733460901600 4469708 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/2331/statm: 59924 58972 473 1171 0 58701 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 239696
[startup+342.3 s]
/proc/loadavg: 1.99 1.77 1.00 3/179 2333
/proc/meminfo: memFree=28737340/32873844 swapFree=7380/7380
[pid=2331] ppid=2329 vsize=239696 CPUtime=342.15 cores=1,3,5,7
/proc/2331/stat : 2331 (toysat) R 2329 2331 2131 0 -1 4202496 60500 0 0 0 34141 74 0 0 20 0 1 0 329308005 245448704 58972 33554432000 4194304 8989770 140733460902336 140733460901600 7697335 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/2331/statm: 59924 58972 473 1171 0 58701 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 239696
[startup+402.3 s]
/proc/loadavg: 2.04 1.82 1.06 3/179 2333
/proc/meminfo: memFree=28703240/32873844 swapFree=7380/7380
[pid=2331] ppid=2329 vsize=270416 CPUtime=402.13 cores=1,3,5,7
/proc/2331/stat : 2331 (toysat) R 2329 2331 2131 0 -1 4202496 68259 0 0 0 40130 83 0 0 20 0 1 0 329308005 276905984 66731 33554432000 4194304 8989770 140733460902336 140733460901600 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/2331/statm: 67604 66731 473 1171 0 66381 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 270416
[startup+462.3 s]
/proc/loadavg: 2.01 1.85 1.12 3/178 2333
/proc/meminfo: memFree=28679192/32873844 swapFree=7380/7380
[pid=2331] ppid=2329 vsize=293968 CPUtime=462.13 cores=1,3,5,7
/proc/2331/stat : 2331 (toysat) R 2329 2331 2131 0 -1 4202496 74271 0 0 0 46118 95 0 0 20 0 1 0 329308005 301023232 72743 33554432000 4194304 8989770 140733460902336 140733460901600 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/2331/statm: 73492 72743 473 1171 0 72269 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 293968
[startup+522.3 s]
/proc/loadavg: 2.00 1.88 1.17 3/179 2334
/proc/meminfo: memFree=28678820/32873844 swapFree=7380/7380
[pid=2331] ppid=2329 vsize=293968 CPUtime=522.1 cores=1,3,5,7
/proc/2331/stat : 2331 (toysat) R 2329 2331 2131 0 -1 4202496 74292 0 0 0 52105 105 0 0 20 0 1 0 329308005 301023232 72743 33554432000 4194304 8989770 140733460902336 140733460901600 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/2331/statm: 73492 72743 473 1171 0 72269 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 293968
[startup+582.3 s]
/proc/loadavg: 2.00 1.90 1.22 3/180 2337
/proc/meminfo: memFree=28670500/32873844 swapFree=7380/7380
[pid=2331] ppid=2329 vsize=303184 CPUtime=582.09 cores=1,3,5,7
/proc/2331/stat : 2331 (toysat) R 2329 2331 2131 0 -1 4202496 76397 0 0 0 58095 114 0 0 20 0 1 0 329308005 310460416 74848 33554432000 4194304 8989770 140733460902336 140733460901600 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/2331/statm: 75796 74848 473 1171 0 74573 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 303184
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 1.94 1.39 3/179 2338
/proc/meminfo: memFree=28649152/32873844 swapFree=7380/7380
[pid=2331] ppid=2329 vsize=323664 CPUtime=822.06 cores=1,3,5,7
/proc/2331/stat : 2331 (toysat) R 2329 2331 2131 0 -1 4202496 81723 0 0 0 82057 149 0 0 20 0 1 0 329308005 331431936 80167 33554432000 4194304 8989770 140733460902336 140733460901600 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/2331/statm: 80916 80167 473 1171 0 79693 0
Current children cumulated CPU time (s) 822.06
Current children cumulated vsize (KiB) 323664
[startup+882.3 s]
/proc/loadavg: 2.11 1.98 1.43 3/179 2338
/proc/meminfo: memFree=28649028/32873844 swapFree=7380/7380
[pid=2331] ppid=2329 vsize=323664 CPUtime=882.04 cores=1,3,5,7
/proc/2331/stat : 2331 (toysat) R 2329 2331 2131 0 -1 4202496 81723 0 0 0 88046 158 0 0 20 0 1 0 329308005 331431936 80167 33554432000 4194304 8989770 140733460902336 140733460901600 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/2331/statm: 80916 80167 473 1171 0 79693 0
Current children cumulated CPU time (s) 882.04
Current children cumulated vsize (KiB) 323664
[startup+942.3 s]
/proc/loadavg: 2.04 1.98 1.47 3/179 2338
/proc/meminfo: memFree=28649028/32873844 swapFree=7380/7380
[pid=2331] ppid=2329 vsize=323664 CPUtime=942.03 cores=1,3,5,7
/proc/2331/stat : 2331 (toysat) R 2329 2331 2131 0 -1 4202496 81723 0 0 0 94038 165 0 0 20 0 1 0 329308005 331431936 80167 33554432000 4194304 8989770 140733460902336 140733460901600 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/2331/statm: 80916 80167 473 1171 0 79693 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 323664
[startup+1002.3 s]
/proc/loadavg: 2.01 1.98 1.49 3/179 2338
/proc/meminfo: memFree=28648780/32873844 swapFree=7380/7380
[pid=2331] ppid=2329 vsize=323664 CPUtime=1002.02 cores=1,3,5,7
/proc/2331/stat : 2331 (toysat) R 2329 2331 2131 0 -1 4202496 81723 0 0 0 100029 173 0 0 20 0 1 0 329308005 331431936 80167 33554432000 4194304 8989770 140733460902336 140733460901600 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/2331/statm: 80916 80167 473 1171 0 79693 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 323664
[startup+1062.3 s]
/proc/loadavg: 2.12 2.02 1.53 3/179 2338
/proc/meminfo: memFree=28648656/32873844 swapFree=7380/7380
[pid=2331] ppid=2329 vsize=324688 CPUtime=1062.02 cores=1,3,5,7
/proc/2331/stat : 2331 (toysat) R 2329 2331 2131 0 -1 4202496 81821 0 0 0 106022 180 0 0 20 0 1 0 329308005 332480512 80265 33554432000 4194304 8989770 140733460902336 140733460901600 4214500 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/2331/statm: 81172 80265 473 1171 0 79949 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 324688
[startup+1122.3 s]
/proc/loadavg: 2.10 2.03 1.57 3/179 2339
/proc/meminfo: memFree=28606868/32873844 swapFree=7380/7380
[pid=2331] ppid=2329 vsize=364624 CPUtime=1122 cores=1,3,5,7
/proc/2331/stat : 2331 (toysat) R 2329 2331 2131 0 -1 4202496 91963 0 0 0 112010 190 0 0 20 0 1 0 329308005 373374976 90407 33554432000 4194304 8989770 140733460902336 140733460901600 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/2331/statm: 91156 90407 473 1171 0 89933 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 364624
[startup+1182.3 s]
/proc/loadavg: 2.13 2.05 1.60 3/180 2342
/proc/meminfo: memFree=28606452/32873844 swapFree=7380/7380
[pid=2331] ppid=2329 vsize=364624 CPUtime=1181.99 cores=1,3,5,7
/proc/2331/stat : 2331 (toysat) R 2329 2331 2131 0 -1 4202496 91974 0 0 0 117999 200 0 0 20 0 1 0 329308005 373374976 90407 33554432000 4194304 8989770 140733460902336 140733460901600 7688494 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/2331/statm: 91156 90407 473 1171 0 89933 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 364624
[startup+1242.3 s]
/proc/loadavg: 2.12 2.06 1.63 3/179 2342
/proc/meminfo: memFree=28604348/32873844 swapFree=7380/7380
[pid=2331] ppid=2329 vsize=364624 CPUtime=1241.98 cores=1,3,5,7
/proc/2331/stat : 2331 (toysat) R 2329 2331 2131 0 -1 4202496 91974 0 0 0 123990 208 0 0 20 0 1 0 329308005 373374976 90407 33554432000 4194304 8989770 140733460902336 140733460901600 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/2331/statm: 91156 90407 473 1171 0 89933 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 364624
[startup+1302.3 s]
/proc/loadavg: 2.04 2.05 1.65 3/179 2342
/proc/meminfo: memFree=28604100/32873844 swapFree=7380/7380
[pid=2331] ppid=2329 vsize=364624 CPUtime=1301.98 cores=1,3,5,7
/proc/2331/stat : 2331 (toysat) R 2329 2331 2131 0 -1 4202496 91974 0 0 0 129980 218 0 0 20 0 1 0 329308005 373374976 90407 33554432000 4194304 8989770 140733460902336 140733460901600 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/2331/statm: 91156 90407 473 1171 0 89933 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 364624
[startup+1362.3 s]
/proc/loadavg: 2.08 2.06 1.68 3/179 2342
/proc/meminfo: memFree=28603108/32873844 swapFree=7380/7380
[pid=2331] ppid=2329 vsize=364624 CPUtime=1361.96 cores=1,3,5,7
/proc/2331/stat : 2331 (toysat) R 2329 2331 2131 0 -1 4202496 91974 0 0 0 135971 225 0 0 20 0 1 0 329308005 373374976 90407 33554432000 4194304 8989770 140733460902336 140733460901832 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/2331/statm: 91156 90407 473 1171 0 89933 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 364624
[startup+1422.31 s]
/proc/loadavg: 2.03 2.04 1.69 3/179 2343
/proc/meminfo: memFree=28603232/32873844 swapFree=7380/7380
[pid=2331] ppid=2329 vsize=364624 CPUtime=1421.97 cores=1,3,5,7
/proc/2331/stat : 2331 (toysat) R 2329 2331 2131 0 -1 4202496 91974 0 0 0 141963 234 0 0 20 0 1 0 329308005 373374976 90407 33554432000 4194304 8989770 140733460902336 140733460901600 4208887 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/2331/statm: 91156 90407 473 1171 0 89933 0
Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 364624
[startup+1482.3 s]
/proc/loadavg: 2.01 2.03 1.71 3/180 2344
/proc/meminfo: memFree=28602724/32873844 swapFree=7380/7380
[pid=2331] ppid=2329 vsize=364624 CPUtime=1481.95 cores=1,3,5,7
/proc/2331/stat : 2331 (toysat) R 2329 2331 2131 0 -1 4202496 91974 0 0 0 147952 243 0 0 20 0 1 0 329308005 373374976 90407 33554432000 4194304 8989770 140733460902336 140733460901832 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/2331/statm: 91156 90407 473 1171 0 89933 0
Current children cumulated CPU time (s) 1481.95
Current children cumulated vsize (KiB) 364624
[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 1.73 3/179 2383
/proc/meminfo: memFree=28620996/32873844 swapFree=7380/7380
[pid=2331] ppid=2329 vsize=364624 CPUtime=1541.94 cores=1,3,5,7
/proc/2331/stat : 2331 (toysat) R 2329 2331 2131 0 -1 4202496 91974 0 0 0 153942 252 0 0 20 0 1 0 329308005 373374976 90407 33554432000 4194304 8989770 140733460902336 140733460901600 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/2331/statm: 91156 90407 473 1171 0 89933 0
Current children cumulated CPU time (s) 1541.94
Current children cumulated vsize (KiB) 364624
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 1.74 3/179 2383
/proc/meminfo: memFree=28618764/32873844 swapFree=7380/7380
[pid=2331] ppid=2329 vsize=364624 CPUtime=1601.92 cores=1,3,5,7
/proc/2331/stat : 2331 (toysat) R 2329 2331 2131 0 -1 4202496 91974 0 0 0 159933 259 0 0 20 0 1 0 329308005 373374976 90407 33554432000 4194304 8989770 140733460902336 140733460901600 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/2331/statm: 91156 90407 473 1171 0 89933 0
Current children cumulated CPU time (s) 1601.92
Current children cumulated vsize (KiB) 364624
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 1.75 3/179 2383
/proc/meminfo: memFree=28614672/32873844 swapFree=7380/7380
[pid=2331] ppid=2329 vsize=364624 CPUtime=1661.92 cores=1,3,5,7
/proc/2331/stat : 2331 (toysat) R 2329 2331 2131 0 -1 4202496 91974 0 0 0 165926 266 0 0 20 0 1 0 329308005 373374976 90407 33554432000 4194304 8989770 140733460902336 140733460901832 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/2331/statm: 91156 90407 473 1171 0 89933 0
Current children cumulated CPU time (s) 1661.92
Current children cumulated vsize (KiB) 364624
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 1.76 3/179 2384
/proc/meminfo: memFree=28615092/32873844 swapFree=7380/7380
[pid=2331] ppid=2329 vsize=364624 CPUtime=1721.91 cores=1,3,5,7
/proc/2331/stat : 2331 (toysat) R 2329 2331 2131 0 -1 4202496 91974 0 0 0 171917 274 0 0 20 0 1 0 329308005 373374976 90407 33554432000 4194304 8989770 140733460902336 140733460901600 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/2331/statm: 91156 90407 473 1171 0 89933 0
Current children cumulated CPU time (s) 1721.91
Current children cumulated vsize (KiB) 364624
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.78 3/180 2387
/proc/meminfo: memFree=28597724/32873844 swapFree=7380/7380
[pid=2331] ppid=2329 vsize=378960 CPUtime=1781.9 cores=1,3,5,7
/proc/2331/stat : 2331 (toysat) R 2329 2331 2131 0 -1 4202496 95558 0 0 0 177908 282 0 0 20 0 1 0 329308005 388055040 93991 33554432000 4194304 8989770 140733460902336 140733460901600 4469522 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/2331/statm: 94740 93991 473 1171 0 93517 0
Current children cumulated CPU time (s) 1781.9
Current children cumulated vsize (KiB) 378960
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 1.78 3/180 2387
/proc/meminfo: memFree=28600452/32873844 swapFree=7380/7380
[pid=2331] ppid=2329 vsize=378960 CPUtime=1800 cores=1,3,5,7
/proc/2331/stat : 2331 (toysat) R 2329 2331 2131 0 -1 4202496 95558 0 0 0 179716 284 0 0 20 0 1 0 329308005 388055040 93991 33554432000 4194304 8989770 140733460902336 140733460901600 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/2331/statm: 94740 93991 473 1171 0 93517 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 378960
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.41
CPU time (s): 1800.02
CPU user time (s): 1797.17
CPU system time (s): 2.84857
CPU usage (%): 99.9783
Max. virtual memory (cumulated for all children) (KiB): 378960
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.17
system time used= 2.84857
maximum resident set size= 375964
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 95558
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= 145
involuntary context switches= 1848
runsolver used 4.22936 second user time and 9.55555 second system time
The end