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-3725368-1338637227/watcher-3725368-1338637227 -o /tmp/evaluation-result-3725368-1338637227/solver-3725368-1338637227 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3725368-1338637227.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.04 2.00 1.95 2/175 1385
/proc/meminfo: memFree=25822004/32873852 swapFree=6856/6856
[pid=1385] ppid=1383 vsize=6224 CPUtime=0 cores=0,2,4,6
/proc/1385/stat : 1385 (toysat) R 1383 1385 909 0 -1 4202496 790 0 0 0 0 0 0 0 20 0 1 0 329848164 6373376 709 33554432000 4194304 8989770 140734381814000 140734381813496 4209439 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/1385/statm: 1556 709 424 1171 0 333 0
[startup+0.0947329 s]
/proc/loadavg: 2.04 2.00 1.95 2/175 1385
/proc/meminfo: memFree=25822004/32873852 swapFree=6856/6856
[pid=1385] ppid=1383 vsize=12368 CPUtime=0.08 cores=0,2,4,6
/proc/1385/stat : 1385 (toysat) R 1383 1385 909 0 -1 4202496 2194 0 0 0 8 0 0 0 20 0 1 0 329848164 12664832 2113 33554432000 4194304 8989770 140734381814000 140734381813496 7953280 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/1385/statm: 3092 2113 431 1171 0 1869 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 12368
[startup+0.100259 s]
/proc/loadavg: 2.04 2.00 1.95 2/175 1385
/proc/meminfo: memFree=25822004/32873852 swapFree=6856/6856
[pid=1385] ppid=1383 vsize=12368 CPUtime=0.09 cores=0,2,4,6
/proc/1385/stat : 1385 (toysat) R 1383 1385 909 0 -1 4202496 2194 0 0 0 9 0 0 0 20 0 1 0 329848164 12664832 2113 33554432000 4194304 8989770 140734381814000 140734381813496 4204592 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/1385/statm: 3092 2115 431 1171 0 1869 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12368
[startup+0.300224 s]
/proc/loadavg: 2.04 2.00 1.95 2/175 1385
/proc/meminfo: memFree=25822004/32873852 swapFree=6856/6856
[pid=1385] ppid=1383 vsize=25680 CPUtime=0.29 cores=0,2,4,6
/proc/1385/stat : 1385 (toysat) R 1383 1385 909 0 -1 4202496 5639 0 0 0 28 1 0 0 20 0 1 0 329848164 26296320 5558 33554432000 4194304 8989770 140734381814000 140734381813496 7427780 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/1385/statm: 6420 5558 441 1171 0 5197 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 25680
[startup+0.700184 s]
/proc/loadavg: 2.04 2.00 1.95 2/175 1385
/proc/meminfo: memFree=25822004/32873852 swapFree=6856/6856
[pid=1385] ppid=1383 vsize=25680 CPUtime=0.69 cores=0,2,4,6
/proc/1385/stat : 1385 (toysat) R 1383 1385 909 0 -1 4202496 5717 0 0 0 68 1 0 0 20 0 1 0 329848164 26296320 5636 33554432000 4194304 8989770 140734381814000 140734381813496 7953280 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/1385/statm: 6420 5636 444 1171 0 5197 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 25680
[startup+1.50024 s]
/proc/loadavg: 2.04 2.00 1.95 3/176 1386
/proc/meminfo: memFree=25801536/32873852 swapFree=6856/6856
[pid=1385] ppid=1383 vsize=28752 CPUtime=1.49 cores=0,2,4,6
/proc/1385/stat : 1385 (toysat) R 1383 1385 909 0 -1 4202496 6512 0 0 0 148 1 0 0 20 0 1 0 329848164 29442048 6431 33554432000 4194304 8989770 140734381814000 140734381813496 6548055 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/1385/statm: 7188 6431 471 1171 0 5965 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 28752
[startup+3.10024 s]
/proc/loadavg: 2.04 2.00 1.95 3/176 1386
/proc/meminfo: memFree=25797816/32873852 swapFree=6856/6856
[pid=1385] ppid=1383 vsize=28752 CPUtime=3.09 cores=0,2,4,6
/proc/1385/stat : 1385 (toysat) R 1383 1385 909 0 -1 4202496 6512 0 0 0 307 2 0 0 20 0 1 0 329848164 29442048 6431 33554432000 4194304 8989770 140734381814000 140734381813496 7857787 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/1385/statm: 7188 6431 471 1171 0 5965 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 28752
[startup+6.30024 s]
/proc/loadavg: 2.04 2.00 1.95 3/176 1386
/proc/meminfo: memFree=25795460/32873852 swapFree=6856/6856
[pid=1385] ppid=1383 vsize=30800 CPUtime=6.29 cores=0,2,4,6
/proc/1385/stat : 1385 (toysat) R 1383 1385 909 0 -1 4202496 7024 0 0 0 626 3 0 0 20 0 1 0 329848164 31539200 6943 33554432000 4194304 8989770 140734381814000 140734381813264 4371540 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/1385/statm: 7700 6943 471 1171 0 6477 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 30800
[startup+12.7002 s]
/proc/loadavg: 2.03 2.00 1.95 3/176 1386
/proc/meminfo: memFree=25792376/32873852 swapFree=6856/6856
[pid=1385] ppid=1383 vsize=32848 CPUtime=12.69 cores=0,2,4,6
/proc/1385/stat : 1385 (toysat) R 1383 1385 909 0 -1 4202496 7536 0 0 0 1264 5 0 0 20 0 1 0 329848164 33636352 7455 33554432000 4194304 8989770 140734381814000 140734381813264 7696122 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/1385/statm: 8212 7455 471 1171 0 6989 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 32848
[startup+25.5002 s]
/proc/loadavg: 2.02 2.00 1.95 3/176 1386
/proc/meminfo: memFree=25786424/32873852 swapFree=6856/6856
[pid=1385] ppid=1383 vsize=38992 CPUtime=25.48 cores=0,2,4,6
/proc/1385/stat : 1385 (toysat) R 1383 1385 909 0 -1 4202496 9072 0 0 0 2540 8 0 0 20 0 1 0 329848164 39927808 8991 33554432000 4194304 8989770 140734381814000 140734381813264 7688479 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/1385/statm: 9748 8991 471 1171 0 8525 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 38992
[startup+51.1003 s]
/proc/loadavg: 2.02 2.00 1.95 3/175 1386
/proc/meminfo: memFree=25774272/32873852 swapFree=6856/6856
[pid=1385] ppid=1383 vsize=51280 CPUtime=51.08 cores=0,2,4,6
/proc/1385/stat : 1385 (toysat) R 1383 1385 909 0 -1 4202496 12144 0 0 0 5095 13 0 0 20 0 1 0 329848164 52510720 12063 33554432000 4194304 8989770 140734381814000 140734381813264 4208816 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/1385/statm: 12820 12063 471 1171 0 11597 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 51280
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.95 3/175 1386
/proc/meminfo: memFree=25747532/32873852 swapFree=6856/6856
[pid=1385] ppid=1383 vsize=76880 CPUtime=102.25 cores=0,2,4,6
/proc/1385/stat : 1385 (toysat) R 1383 1385 909 0 -1 4202496 18550 0 0 0 10200 25 0 0 20 0 1 0 329848164 78725120 18468 33554432000 4194304 8989770 140734381814000 140734381811968 4209450 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/1385/statm: 19220 18468 471 1171 0 17997 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 76880
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/175 1386
/proc/meminfo: memFree=25730196/32873852 swapFree=6856/6856
[pid=1385] ppid=1383 vsize=94288 CPUtime=162.21 cores=0,2,4,6
/proc/1385/stat : 1385 (toysat) R 1383 1385 909 0 -1 4202496 22918 0 0 0 16182 39 0 0 20 0 1 0 329848164 96550912 22822 33554432000 4194304 8989770 140734381814000 140734381813264 4213872 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/1385/statm: 23572 22822 473 1171 0 22349 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 94288
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/175 1386
/proc/meminfo: memFree=25732616/32873852 swapFree=6856/6856
[pid=1385] ppid=1383 vsize=92240 CPUtime=222.18 cores=0,2,4,6
/proc/1385/stat : 1385 (toysat) R 1383 1385 909 0 -1 4202496 22932 0 0 0 22165 53 0 0 20 0 1 0 329848164 94453760 22068 33554432000 4194304 8989770 140734381814000 140734381813264 4211771 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/1385/statm: 23060 22075 473 1171 0 21837 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 92240
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/174 1386
/proc/meminfo: memFree=25770980/32873852 swapFree=6856/6856
[pid=1385] ppid=1383 vsize=102480 CPUtime=282.17 cores=0,2,4,6
/proc/1385/stat : 1385 (toysat) R 1383 1385 909 0 -1 4202496 25734 0 0 0 28153 64 0 0 20 0 1 0 329848164 104939520 24870 33554432000 4194304 8989770 140734381814000 140734381813264 4438168 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/1385/statm: 25620 24870 473 1171 0 24397 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 102480
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/175 1388
/proc/meminfo: memFree=25790612/32873852 swapFree=6856/6856
[pid=1385] ppid=1383 vsize=112720 CPUtime=342.17 cores=0,2,4,6
/proc/1385/stat : 1385 (toysat) R 1383 1385 909 0 -1 4202496 28294 0 0 0 34140 77 0 0 20 0 1 0 329848164 115425280 27430 33554432000 4194304 8989770 140734381814000 140734381813264 4208846 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/1385/statm: 28180 27430 473 1171 0 26957 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 112720
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/175 1388
/proc/meminfo: memFree=25709352/32873852 swapFree=6856/6856
[pid=1385] ppid=1383 vsize=120912 CPUtime=402.15 cores=0,2,4,6
/proc/1385/stat : 1385 (toysat) R 1383 1385 909 0 -1 4202496 30346 0 0 0 40127 88 0 0 20 0 1 0 329848164 123813888 29478 33554432000 4194304 8989770 140734381814000 140734381813496 7857787 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/1385/statm: 30228 29478 473 1171 0 29005 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 120912
[startup+462.3 s]
/proc/loadavg: 2.11 2.03 1.96 3/175 1388
/proc/meminfo: memFree=25700052/32873852 swapFree=6856/6856
[pid=1385] ppid=1383 vsize=126032 CPUtime=462.14 cores=0,2,4,6
/proc/1385/stat : 1385 (toysat) R 1383 1385 909 0 -1 4202496 31626 0 0 0 46115 99 0 0 20 0 1 0 329848164 129056768 30758 33554432000 4194304 8989770 140734381814000 140734381813264 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/1385/statm: 31508 30758 473 1171 0 30285 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 126032
[startup+522.3 s]
/proc/loadavg: 2.04 2.02 1.96 3/175 1388
/proc/meminfo: memFree=25687556/32873852 swapFree=6856/6856
[pid=1385] ppid=1383 vsize=138320 CPUtime=522.14 cores=0,2,4,6
/proc/1385/stat : 1385 (toysat) R 1383 1385 909 0 -1 4202496 34698 0 0 0 52103 111 0 0 20 0 1 0 329848164 141639680 33830 33554432000 4194304 8989770 140734381814000 140734381811968 7857787 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/1385/statm: 34580 33830 473 1171 0 33357 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 138320
[startup+582.3 s]
/proc/loadavg: 2.01 2.02 1.96 3/176 1392
/proc/meminfo: memFree=25713724/32873852 swapFree=6856/6856
[pid=1385] ppid=1383 vsize=111696 CPUtime=582.12 cores=0,2,4,6
/proc/1385/stat : 1385 (toysat) R 1383 1385 909 0 -1 4202496 34698 0 0 0 58091 121 0 0 20 0 1 0 329848164 114376704 27174 33554432000 4194304 8989770 140734381814000 140734381813264 7857787 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/1385/statm: 27924 27174 473 1171 0 26701 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 111696
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.05 2.04 1.98 3/175 1393
/proc/meminfo: memFree=25613136/32873852 swapFree=6856/6856
[pid=1385] ppid=1383 vsize=119888 CPUtime=822.08 cores=0,2,4,6
/proc/1385/stat : 1385 (toysat) R 1383 1385 909 0 -1 4202496 37261 0 0 0 82042 166 0 0 20 0 1 0 329848164 122765312 29222 33554432000 4194304 8989770 140734381814000 140734381813264 6587816 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/1385/statm: 29972 29222 473 1171 0 28749 0
Current children cumulated CPU time (s) 822.08
Current children cumulated vsize (KiB) 119888
[startup+882.3 s]
/proc/loadavg: 2.02 2.03 1.98 3/175 1393
/proc/meminfo: memFree=25606484/32873852 swapFree=6856/6856
[pid=1385] ppid=1383 vsize=121936 CPUtime=882.08 cores=0,2,4,6
/proc/1385/stat : 1385 (toysat) R 1383 1385 909 0 -1 4202496 37773 0 0 0 88029 179 0 0 20 0 1 0 329848164 124862464 29734 33554432000 4194304 8989770 140734381814000 140734381813264 7696064 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/1385/statm: 30484 29734 473 1171 0 29261 0
Current children cumulated CPU time (s) 882.08
Current children cumulated vsize (KiB) 121936
[startup+942.3 s]
/proc/loadavg: 2.04 2.04 1.98 3/175 1394
/proc/meminfo: memFree=25604424/32873852 swapFree=6856/6856
[pid=1385] ppid=1383 vsize=123984 CPUtime=942.06 cores=0,2,4,6
/proc/1385/stat : 1385 (toysat) R 1383 1385 909 0 -1 4202496 38289 0 0 0 94016 190 0 0 20 0 1 0 329848164 126959616 30246 33554432000 4194304 8989770 140734381814000 140734381811968 4209212 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/1385/statm: 30996 30246 473 1171 0 29773 0
Current children cumulated CPU time (s) 942.06
Current children cumulated vsize (KiB) 123984
[startup+1002.3 s]
/proc/loadavg: 2.05 2.04 1.99 3/175 1394
/proc/meminfo: memFree=25555196/32873852 swapFree=6856/6856
[pid=1385] ppid=1383 vsize=132176 CPUtime=1002.05 cores=0,2,4,6
/proc/1385/stat : 1385 (toysat) R 1383 1385 909 0 -1 4202496 40337 0 0 0 100000 205 0 0 20 0 1 0 329848164 135348224 32294 33554432000 4194304 8989770 140734381814000 140734381811968 4209365 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/1385/statm: 33044 32294 473 1171 0 31821 0
Current children cumulated CPU time (s) 1002.05
Current children cumulated vsize (KiB) 132176
[startup+1062.3 s]
/proc/loadavg: 2.02 2.03 1.99 3/175 1394
/proc/meminfo: memFree=25555072/32873852 swapFree=6856/6856
[pid=1385] ppid=1383 vsize=132176 CPUtime=1062.05 cores=0,2,4,6
/proc/1385/stat : 1385 (toysat) R 1383 1385 909 0 -1 4202496 40337 0 0 0 105988 217 0 0 20 0 1 0 329848164 135348224 32294 33554432000 4194304 8989770 140734381814000 140734381813264 4208879 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/1385/statm: 33044 32294 473 1171 0 31821 0
Current children cumulated CPU time (s) 1062.05
Current children cumulated vsize (KiB) 132176
[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 1.99 3/175 1394
/proc/meminfo: memFree=25551972/32873852 swapFree=6856/6856
[pid=1385] ppid=1383 vsize=135248 CPUtime=1122.04 cores=0,2,4,6
/proc/1385/stat : 1385 (toysat) R 1383 1385 909 0 -1 4202496 41105 0 0 0 111976 228 0 0 20 0 1 0 329848164 138493952 33062 33554432000 4194304 8989770 140734381814000 140734381813496 4215092 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/1385/statm: 33812 33062 473 1171 0 32589 0
Current children cumulated CPU time (s) 1122.04
Current children cumulated vsize (KiB) 135248
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 1.99 3/176 1397
/proc/meminfo: memFree=25559228/32873852 swapFree=6856/6856
[pid=1385] ppid=1383 vsize=136272 CPUtime=1182.03 cores=0,2,4,6
/proc/1385/stat : 1385 (toysat) R 1383 1385 909 0 -1 4202496 42897 0 0 0 117964 239 0 0 20 0 1 0 329848164 139542528 33318 33554432000 4194304 8989770 140734381814000 140734381813496 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/1385/statm: 34068 33318 473 1171 0 32845 0
Current children cumulated CPU time (s) 1182.03
Current children cumulated vsize (KiB) 136272
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/176 1423
/proc/meminfo: memFree=25624544/32873852 swapFree=6856/6856
[pid=1385] ppid=1383 vsize=136272 CPUtime=1242.02 cores=0,2,4,6
/proc/1385/stat : 1385 (toysat) R 1383 1385 909 0 -1 4202496 42897 0 0 0 123952 250 0 0 20 0 1 0 329848164 139542528 33318 33554432000 4194304 8989770 140734381814000 140734381813496 7857787 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/1385/statm: 34068 33318 473 1171 0 32845 0
Current children cumulated CPU time (s) 1242.02
Current children cumulated vsize (KiB) 136272
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/175 1423
/proc/meminfo: memFree=25646304/32873852 swapFree=6856/6856
[pid=1385] ppid=1383 vsize=139344 CPUtime=1302.01 cores=0,2,4,6
/proc/1385/stat : 1385 (toysat) R 1383 1385 909 0 -1 4202496 43666 0 0 0 129941 260 0 0 20 0 1 0 329848164 142688256 34086 33554432000 4194304 8989770 140734381814000 140734381813264 4209212 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/1385/statm: 34836 34086 473 1171 0 33613 0
Current children cumulated CPU time (s) 1302.01
Current children cumulated vsize (KiB) 139344
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/175 1423
/proc/meminfo: memFree=25641724/32873852 swapFree=6856/6856
[pid=1385] ppid=1383 vsize=132176 CPUtime=1362 cores=0,2,4,6
/proc/1385/stat : 1385 (toysat) R 1383 1385 909 0 -1 4202496 45970 0 0 0 135929 271 0 0 20 0 1 0 329848164 135348224 32294 33554432000 4194304 8989770 140734381814000 140734381811968 7857787 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/1385/statm: 33044 32294 473 1171 0 31821 0
Current children cumulated CPU time (s) 1362
Current children cumulated vsize (KiB) 132176
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.99 3/175 1423
/proc/meminfo: memFree=25641664/32873852 swapFree=6856/6856
[pid=1385] ppid=1383 vsize=128080 CPUtime=1422 cores=0,2,4,6
/proc/1385/stat : 1385 (toysat) R 1383 1385 909 0 -1 4202496 45970 0 0 0 141919 281 0 0 20 0 1 0 329848164 131153920 31270 33554432000 4194304 8989770 140734381814000 140734381813264 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/1385/statm: 32020 31270 473 1171 0 30797 0
Current children cumulated CPU time (s) 1422
Current children cumulated vsize (KiB) 128080
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/175 1423
/proc/meminfo: memFree=25661084/32873852 swapFree=6856/6856
[pid=1385] ppid=1383 vsize=99408 CPUtime=1481.98 cores=0,2,4,6
/proc/1385/stat : 1385 (toysat) R 1383 1385 909 0 -1 4202496 45970 0 0 0 147905 293 0 0 20 0 1 0 329848164 101793792 24102 33554432000 4194304 8989770 140734381814000 140734381813264 4209187 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/1385/statm: 24852 24102 473 1171 0 23629 0
Current children cumulated CPU time (s) 1481.98
Current children cumulated vsize (KiB) 99408
[startup+1542.3 s]
/proc/loadavg: 1.95 1.98 1.98 3/175 1472
/proc/meminfo: memFree=26018152/32873852 swapFree=6856/6856
[pid=1385] ppid=1383 vsize=103504 CPUtime=1541.97 cores=0,2,4,6
/proc/1385/stat : 1385 (toysat) R 1383 1385 909 0 -1 4202496 46994 0 0 0 153893 304 0 0 20 0 1 0 329848164 105988096 25126 33554432000 4194304 8989770 140734381814000 140734381813264 4209382 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/1385/statm: 25876 25126 473 1171 0 24653 0
Current children cumulated CPU time (s) 1541.97
Current children cumulated vsize (KiB) 103504
[startup+1602.3 s]
/proc/loadavg: 1.98 1.98 1.98 3/175 1472
/proc/meminfo: memFree=26013656/32873852 swapFree=6856/6856
[pid=1385] ppid=1383 vsize=103504 CPUtime=1601.96 cores=0,2,4,6
/proc/1385/stat : 1385 (toysat) R 1383 1385 909 0 -1 4202496 47001 0 0 0 159881 315 0 0 20 0 1 0 329848164 105988096 25126 33554432000 4194304 8989770 140734381814000 140734381813264 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/1385/statm: 25876 25126 473 1171 0 24653 0
Current children cumulated CPU time (s) 1601.96
Current children cumulated vsize (KiB) 103504
[startup+1662.3 s]
/proc/loadavg: 1.99 1.98 1.98 3/175 1472
/proc/meminfo: memFree=26006272/32873852 swapFree=6856/6856
[pid=1385] ppid=1383 vsize=105552 CPUtime=1661.95 cores=0,2,4,6
/proc/1385/stat : 1385 (toysat) R 1383 1385 909 0 -1 4202496 47513 0 0 0 165869 326 0 0 20 0 1 0 329848164 108085248 25638 33554432000 4194304 8989770 140734381814000 140734381811968 7857787 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/1385/statm: 26388 25638 473 1171 0 25165 0
Current children cumulated CPU time (s) 1661.95
Current children cumulated vsize (KiB) 105552
[startup+1722.3 s]
/proc/loadavg: 1.99 1.98 1.98 3/175 1472
/proc/meminfo: memFree=26001184/32873852 swapFree=6856/6856
[pid=1385] ppid=1383 vsize=109648 CPUtime=1721.95 cores=0,2,4,6
/proc/1385/stat : 1385 (toysat) R 1383 1385 909 0 -1 4202496 48537 0 0 0 171858 337 0 0 20 0 1 0 329848164 112279552 26662 33554432000 4194304 8989770 140734381814000 140734381813264 7857787 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/1385/statm: 27412 26662 473 1171 0 26189 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 109648
[startup+1782.3 s]
/proc/loadavg: 1.99 1.98 1.98 3/176 1475
/proc/meminfo: memFree=25996004/32873852 swapFree=6856/6856
[pid=1385] ppid=1383 vsize=114768 CPUtime=1781.93 cores=0,2,4,6
/proc/1385/stat : 1385 (toysat) R 1383 1385 909 0 -1 4202496 49817 0 0 0 177845 348 0 0 20 0 1 0 329848164 117522432 27942 33554432000 4194304 8989770 140734381814000 140734381813264 7857787 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/1385/statm: 28692 27942 473 1171 0 27469 0
Current children cumulated CPU time (s) 1781.93
Current children cumulated vsize (KiB) 114768
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 1.99 1.98 1.98 3/176 1475
/proc/meminfo: memFree=25995900/32873852 swapFree=6856/6856
[pid=1385] ppid=1383 vsize=114768 CPUtime=1800.04 cores=0,2,4,6
/proc/1385/stat : 1385 (toysat) R 1383 1385 909 0 -1 4202496 49819 0 0 0 179652 352 0 0 20 0 1 0 329848164 117522432 27942 33554432000 4194304 8989770 140734381814000 140734381813264 7857787 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/1385/statm: 28692 27942 473 1171 0 27469 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 114768
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.05
CPU user time (s): 1796.52
CPU system time (s): 3.52246
CPU usage (%): 99.98
Max. virtual memory (cumulated for all children) (KiB): 148560
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.52
system time used= 3.52246
maximum resident set size= 145560
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49819
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= 44
involuntary context switches= 2189
runsolver used 3.2915 second user time and 8.92464 second system time
The end