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-3724990-1338631535/watcher-3724990-1338631535 -o /tmp/evaluation-result-3724990-1338631535/solver-3724990-1338631535 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3724990-1338631535.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: 0.40 0.09 0.03 3/176 19821
/proc/meminfo: memFree=27273996/32873648 swapFree=7120/7120
[pid=19821] ppid=19819 vsize=7248 CPUtime=0 cores=1,3,5,7
/proc/19821/stat : 19821 (toysat) R 19819 19821 19663 0 -1 4202496 838 0 0 0 0 0 0 0 20 0 1 0 329280856 7421952 759 33554432000 4194304 8989770 140735111649520 140735146525544 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19821/statm: 1812 759 425 1171 0 589 0
[startup+0.0679081 s]
/proc/loadavg: 0.40 0.09 0.03 3/176 19821
/proc/meminfo: memFree=27273996/32873648 swapFree=7120/7120
[pid=19821] ppid=19819 vsize=11344 CPUtime=0.06 cores=1,3,5,7
/proc/19821/stat : 19821 (toysat) R 19819 19821 19663 0 -1 4202496 2038 0 0 0 6 0 0 0 20 0 1 0 329280856 11616256 1959 33554432000 4194304 8989770 140735111649520 140735146525544 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19821/statm: 2836 1959 431 1171 0 1613 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 11344
[startup+0.100281 s]
/proc/loadavg: 0.40 0.09 0.03 3/176 19821
/proc/meminfo: memFree=27273996/32873648 swapFree=7120/7120
[pid=19821] ppid=19819 vsize=13392 CPUtime=0.09 cores=1,3,5,7
/proc/19821/stat : 19821 (toysat) R 19819 19821 19663 0 -1 4202496 2525 0 0 0 9 0 0 0 20 0 1 0 329280856 13713408 2446 33554432000 4194304 8989770 140735111649520 140735146525544 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19821/statm: 3348 2446 431 1171 0 2125 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13392
[startup+0.300284 s]
/proc/loadavg: 0.40 0.09 0.03 3/176 19821
/proc/meminfo: memFree=27273996/32873648 swapFree=7120/7120
[pid=19821] ppid=19819 vsize=29776 CPUtime=0.29 cores=1,3,5,7
/proc/19821/stat : 19821 (toysat) R 19819 19821 19663 0 -1 4202496 6609 0 0 0 28 1 0 0 20 0 1 0 329280856 30490624 6530 33554432000 4194304 8989770 140735111649520 140735111649016 5728366 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19821/statm: 7444 6530 431 1171 0 6221 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 29776
[startup+0.700219 s]
/proc/loadavg: 0.40 0.09 0.03 3/176 19821
/proc/meminfo: memFree=27273996/32873648 swapFree=7120/7120
[pid=19821] ppid=19819 vsize=35920 CPUtime=0.69 cores=1,3,5,7
/proc/19821/stat : 19821 (toysat) R 19819 19821 19663 0 -1 4202496 8277 0 0 0 67 2 0 0 20 0 1 0 329280856 36782080 8198 33554432000 4194304 8989770 140735111649520 140735111649016 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19821/statm: 8980 8198 446 1171 0 7757 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 35920
[startup+1.50023 s]
/proc/loadavg: 0.40 0.09 0.03 3/177 19822
/proc/meminfo: memFree=27243120/32873648 swapFree=7120/7120
[pid=19821] ppid=19819 vsize=35920 CPUtime=1.49 cores=1,3,5,7
/proc/19821/stat : 19821 (toysat) R 19819 19821 19663 0 -1 4202496 8277 0 0 0 147 2 0 0 20 0 1 0 329280856 36782080 8198 33554432000 4194304 8989770 140735111649520 140735111649016 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19821/statm: 8980 8198 446 1171 0 7757 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 35920
[startup+3.10024 s]
/proc/loadavg: 0.40 0.09 0.03 3/177 19822
/proc/meminfo: memFree=27239516/32873648 swapFree=7120/7120
[pid=19821] ppid=19819 vsize=40016 CPUtime=3.08 cores=1,3,5,7
/proc/19821/stat : 19821 (toysat) R 19819 19821 19663 0 -1 4202496 9301 0 0 0 306 2 0 0 20 0 1 0 329280856 40976384 9222 33554432000 4194304 8989770 140735111649520 140735111649016 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19821/statm: 10004 9222 446 1171 0 8781 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 40016
[startup+6.30031 s]
/proc/loadavg: 0.61 0.14 0.05 3/177 19822
/proc/meminfo: memFree=27238312/32873648 swapFree=7120/7120
[pid=19821] ppid=19819 vsize=40016 CPUtime=6.29 cores=1,3,5,7
/proc/19821/stat : 19821 (toysat) R 19819 19821 19663 0 -1 4202496 9301 0 0 0 625 4 0 0 20 0 1 0 329280856 40976384 9222 33554432000 4194304 8989770 140735111649520 140735111649016 5394305 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19821/statm: 10004 9222 446 1171 0 8781 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 40016
[startup+12.7003 s]
/proc/loadavg: 0.72 0.17 0.06 3/177 19822
/proc/meminfo: memFree=27236924/32873648 swapFree=7120/7120
[pid=19821] ppid=19819 vsize=40016 CPUtime=12.69 cores=1,3,5,7
/proc/19821/stat : 19821 (toysat) R 19819 19821 19663 0 -1 4202496 9303 0 0 0 1263 6 0 0 20 0 1 0 329280856 40976384 9227 33554432000 4194304 8989770 140735111649520 140735111649016 6678594 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19821/statm: 10004 9227 446 1171 0 8781 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 40016
[startup+25.5004 s]
/proc/loadavg: 1.00 0.26 0.09 3/177 19822
/proc/meminfo: memFree=27215720/32873648 swapFree=7120/7120
[pid=19821] ppid=19819 vsize=60496 CPUtime=25.48 cores=1,3,5,7
/proc/19821/stat : 19821 (toysat) R 19819 19821 19663 0 -1 4202496 14453 0 0 0 2535 13 0 0 20 0 1 0 329280856 61947904 14372 33554432000 4194304 8989770 140735111649520 140735111649016 4213833 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19821/statm: 15124 14372 471 1171 0 13901 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 60496
[startup+51.1003 s]
/proc/loadavg: 1.34 0.40 0.14 3/177 19860
/proc/meminfo: memFree=26480136/32873648 swapFree=7120/7120
[pid=19821] ppid=19819 vsize=68688 CPUtime=51.07 cores=1,3,5,7
/proc/19821/stat : 19821 (toysat) R 19819 19821 19663 0 -1 4202496 16510 0 0 0 5084 23 0 0 20 0 1 0 329280856 70336512 16420 33554432000 4194304 8989770 140735111649520 140735111648784 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19821/statm: 17172 16420 471 1171 0 15949 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 68688
[startup+102.307 s]
/proc/loadavg: 1.71 0.65 0.23 3/177 19861
/proc/meminfo: memFree=26455872/32873648 swapFree=7120/7120
[pid=19821] ppid=19819 vsize=93264 CPUtime=102.27 cores=1,3,5,7
/proc/19821/stat : 19821 (toysat) R 19819 19821 19663 0 -1 4202496 22654 0 0 0 10189 38 0 0 20 0 1 0 329280856 95502336 22564 33554432000 4194304 8989770 140735111649520 140735111648784 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19821/statm: 23316 22564 471 1171 0 22093 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 93264
[startup+162.3 s]
/proc/loadavg: 1.89 0.89 0.34 3/177 19861
/proc/meminfo: memFree=26423908/32873648 swapFree=7120/7120
[pid=19821] ppid=19819 vsize=125008 CPUtime=162.25 cores=1,3,5,7
/proc/19821/stat : 19821 (toysat) R 19819 19821 19663 0 -1 4202496 30590 0 0 0 16173 52 0 0 20 0 1 0 329280856 128008192 30500 33554432000 4194304 8989770 140735111649520 140735111648784 4445124 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19821/statm: 31252 30500 471 1171 0 30029 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 125008
[startup+222.3 s]
/proc/loadavg: 1.96 1.09 0.44 3/177 19861
/proc/meminfo: memFree=26390708/32873648 swapFree=7120/7120
[pid=19821] ppid=19819 vsize=157776 CPUtime=222.24 cores=1,3,5,7
/proc/19821/stat : 19821 (toysat) R 19819 19821 19663 0 -1 4202496 38782 0 0 0 22155 69 0 0 20 0 1 0 329280856 161562624 38692 33554432000 4194304 8989770 140735111649520 140735111648784 7416288 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19821/statm: 39444 38692 471 1171 0 38221 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 157776
[startup+282.3 s]
/proc/loadavg: 1.98 1.25 0.54 3/178 19864
/proc/meminfo: memFree=26360720/32873648 swapFree=7120/7120
[pid=19821] ppid=19819 vsize=189520 CPUtime=282.24 cores=1,3,5,7
/proc/19821/stat : 19821 (toysat) R 19819 19821 19663 0 -1 4202496 46718 0 0 0 28136 88 0 0 20 0 1 0 329280856 194068480 46628 33554432000 4194304 8989770 140735111649520 140735111648784 4446965 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19821/statm: 47380 46628 471 1171 0 46157 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 189520
[startup+342.3 s]
/proc/loadavg: 1.99 1.39 0.62 3/177 19864
/proc/meminfo: memFree=26298012/32873648 swapFree=7120/7120
[pid=19821] ppid=19819 vsize=250960 CPUtime=342.22 cores=1,3,5,7
/proc/19821/stat : 19821 (toysat) R 19819 19821 19663 0 -1 4202496 62078 0 0 0 34121 101 0 0 20 0 1 0 329280856 256983040 61988 33554432000 4194304 8989770 140735111649520 140735111649016 4445085 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19821/statm: 62740 61988 471 1171 0 61517 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 250960
[startup+402.3 s]
/proc/loadavg: 1.99 1.50 0.71 3/177 19865
/proc/meminfo: memFree=26277952/32873648 swapFree=7120/7120
[pid=19821] ppid=19819 vsize=270416 CPUtime=402.22 cores=1,3,5,7
/proc/19821/stat : 19821 (toysat) R 19819 19821 19663 0 -1 4202496 66942 0 0 0 40105 117 0 0 20 0 1 0 329280856 276905984 66852 33554432000 4194304 8989770 140735111649520 140735111649016 4209142 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19821/statm: 67604 66852 471 1171 0 66381 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 270416
[startup+462.3 s]
/proc/loadavg: 1.99 1.58 0.78 3/177 19865
/proc/meminfo: memFree=26231976/32873648 swapFree=7120/7120
[pid=19821] ppid=19819 vsize=316496 CPUtime=462.21 cores=1,3,5,7
/proc/19821/stat : 19821 (toysat) R 19819 19821 19663 0 -1 4202496 78462 0 0 0 46092 129 0 0 20 0 1 0 329280856 324091904 78372 33554432000 4194304 8989770 140735111649520 140735111649016 4209142 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19821/statm: 79124 78372 471 1171 0 77901 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 316496
[startup+522.3 s]
/proc/loadavg: 1.99 1.66 0.86 3/177 19865
/proc/meminfo: memFree=26182928/32873648 swapFree=7120/7120
[pid=19821] ppid=19819 vsize=365648 CPUtime=522.2 cores=1,3,5,7
/proc/19821/stat : 19821 (toysat) R 19819 19821 19663 0 -1 4202496 90750 0 0 0 52070 150 0 0 20 0 1 0 329280856 374423552 90660 33554432000 4194304 8989770 140735111649520 140735111649016 4209142 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19821/statm: 91412 90660 471 1171 0 90189 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 365648
[startup+582.3 s]
/proc/loadavg: 1.99 1.72 0.93 3/177 19865
/proc/meminfo: memFree=26161984/32873648 swapFree=7120/7120
[pid=19821] ppid=19819 vsize=387152 CPUtime=582.17 cores=1,3,5,7
/proc/19821/stat : 19821 (toysat) R 19819 19821 19663 0 -1 4202496 96154 0 0 0 58055 162 0 0 20 0 1 0 329280856 396443648 96036 33554432000 4194304 8989770 140735111649520 140735111648784 7686851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19821/statm: 96788 96036 471 1171 0 95565 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 387152
[startup+642.3 s]
################
# More data... #
################
[startup+882.3 s]
/proc/loadavg: 1.99 1.89 1.21 3/178 19869
/proc/meminfo: memFree=26020488/32873648 swapFree=7120/7120
[pid=19821] ppid=19819 vsize=527440 CPUtime=882.03 cores=1,3,5,7
/proc/19821/stat : 19821 (toysat) R 19819 19821 19663 0 -1 4202496 131361 0 0 0 87968 235 0 0 20 0 1 0 329280856 540098560 131108 33554432000 4194304 8989770 140735111649520 140735111648784 6586375 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19821/statm: 131860 131108 471 1171 0 130637 0
Current children cumulated CPU time (s) 882.03
Current children cumulated vsize (KiB) 527440
[startup+942.3 s]
/proc/loadavg: 1.99 1.90 1.26 3/177 19869
/proc/meminfo: memFree=25999044/32873648 swapFree=7120/7120
[pid=19821] ppid=19819 vsize=549968 CPUtime=942.02 cores=1,3,5,7
/proc/19821/stat : 19821 (toysat) R 19819 19821 19663 0 -1 4202496 136805 0 0 0 93956 246 0 0 20 0 1 0 329280856 563167232 136552 33554432000 4194304 8989770 140735111649520 140735111648784 6586472 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19821/statm: 137492 136552 471 1171 0 136269 0
Current children cumulated CPU time (s) 942.02
Current children cumulated vsize (KiB) 549968
[startup+1002.3 s]
/proc/loadavg: 1.99 1.92 1.30 3/177 19870
/proc/meminfo: memFree=25972632/32873648 swapFree=7120/7120
[pid=19821] ppid=19819 vsize=575568 CPUtime=1002.01 cores=1,3,5,7
/proc/19821/stat : 19821 (toysat) R 19819 19821 19663 0 -1 4202496 143393 0 0 0 99942 259 0 0 20 0 1 0 329280856 589381632 143140 33554432000 4194304 8989770 140735111649520 140735111648784 4447740 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19821/statm: 143892 143140 471 1171 0 142669 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 575568
[startup+1062.3 s]
/proc/loadavg: 1.99 1.93 1.34 3/177 19870
/proc/meminfo: memFree=25948948/32873648 swapFree=7120/7120
[pid=19821] ppid=19819 vsize=599120 CPUtime=1062.01 cores=1,3,5,7
/proc/19821/stat : 19821 (toysat) R 19819 19821 19663 0 -1 4202496 149281 0 0 0 105928 273 0 0 20 0 1 0 329280856 613498880 149028 33554432000 4194304 8989770 140735111649520 140735111648784 4204286 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19821/statm: 149780 149028 471 1171 0 148557 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 599120
[startup+1122.3 s]
/proc/loadavg: 2.04 1.95 1.38 3/177 19870
/proc/meminfo: memFree=25921052/32873648 swapFree=7120/7120
[pid=19821] ppid=19819 vsize=626768 CPUtime=1122 cores=1,3,5,7
/proc/19821/stat : 19821 (toysat) R 19819 19821 19663 0 -1 4202496 156193 0 0 0 111917 283 0 0 20 0 1 0 329280856 641810432 155940 33554432000 4194304 8989770 140735111649520 140735111648784 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19821/statm: 156692 155940 471 1171 0 155469 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 626768
[startup+1182.3 s]
/proc/loadavg: 2.05 1.97 1.42 3/177 19870
/proc/meminfo: memFree=25898608/32873648 swapFree=7120/7120
[pid=19821] ppid=19819 vsize=649296 CPUtime=1181.98 cores=1,3,5,7
/proc/19821/stat : 19821 (toysat) R 19819 19821 19663 0 -1 4202496 161825 0 0 0 117904 294 0 0 20 0 1 0 329280856 664879104 161572 33554432000 4194304 8989770 140735111649520 140735111649016 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19821/statm: 162324 161572 471 1171 0 161101 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 649296
[startup+1242.3 s]
/proc/loadavg: 2.02 1.97 1.46 3/177 19870
/proc/meminfo: memFree=25873064/32873648 swapFree=7120/7120
[pid=19821] ppid=19819 vsize=674896 CPUtime=1241.98 cores=1,3,5,7
/proc/19821/stat : 19821 (toysat) R 19819 19821 19663 0 -1 4202496 168061 0 0 0 123893 305 0 0 20 0 1 0 329280856 691093504 167808 33554432000 4194304 8989770 140735111649520 140735111648784 4400848 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19821/statm: 168724 167808 471 1171 0 167501 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 674896
[startup+1302.3 s]
/proc/loadavg: 2.00 1.97 1.49 3/176 19871
/proc/meminfo: memFree=25776976/32873648 swapFree=7120/7120
[pid=19821] ppid=19819 vsize=771152 CPUtime=1301.98 cores=1,3,5,7
/proc/19821/stat : 19821 (toysat) R 19819 19821 19663 0 -1 4202496 192289 0 0 0 129875 323 0 0 20 0 1 0 329280856 789659648 192036 33554432000 4194304 8989770 140735111649520 140735111648784 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19821/statm: 192788 192036 471 1171 0 191565 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 771152
[startup+1362.3 s]
/proc/loadavg: 2.00 1.97 1.52 3/177 19873
/proc/meminfo: memFree=25775372/32873648 swapFree=7120/7120
[pid=19821] ppid=19819 vsize=772176 CPUtime=1361.96 cores=1,3,5,7
/proc/19821/stat : 19821 (toysat) R 19819 19821 19663 0 -1 4202496 192545 0 0 0 135864 332 0 0 20 0 1 0 329280856 790708224 192292 33554432000 4194304 8989770 140735111649520 140735111648784 4208833 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19821/statm: 193044 192292 471 1171 0 191821 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 772176
[startup+1422.31 s]
/proc/loadavg: 2.00 1.97 1.55 3/177 19873
/proc/meminfo: memFree=25741024/32873648 swapFree=7120/7120
[pid=19821] ppid=19819 vsize=806992 CPUtime=1421.96 cores=1,3,5,7
/proc/19821/stat : 19821 (toysat) R 19819 19821 19663 0 -1 4202496 201249 0 0 0 141846 350 0 0 20 0 1 0 329280856 826359808 200996 33554432000 4194304 8989770 140735111649520 140735111649016 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19821/statm: 201748 200996 471 1171 0 200525 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 806992
[startup+1482.3 s]
/proc/loadavg: 2.00 1.97 1.57 3/178 19876
/proc/meminfo: memFree=25727240/32873648 swapFree=7120/7120
[pid=19821] ppid=19819 vsize=820304 CPUtime=1481.94 cores=1,3,5,7
/proc/19821/stat : 19821 (toysat) R 19819 19821 19663 0 -1 4202496 204578 0 0 0 147833 361 0 0 20 0 1 0 329280856 839991296 204325 33554432000 4194304 8989770 140735111649520 140735111648784 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19821/statm: 205076 204325 471 1171 0 203853 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 820304
[startup+1542.3 s]
/proc/loadavg: 2.00 1.97 1.59 3/177 19876
/proc/meminfo: memFree=25725516/32873648 swapFree=7120/7120
[pid=19821] ppid=19819 vsize=822352 CPUtime=1541.93 cores=1,3,5,7
/proc/19821/stat : 19821 (toysat) R 19819 19821 19663 0 -1 4202496 205090 0 0 0 153820 373 0 0 20 0 1 0 329280856 842088448 204837 33554432000 4194304 8989770 140735111649520 140735111648784 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19821/statm: 205588 204837 471 1171 0 204365 0
Current children cumulated CPU time (s) 1541.93
Current children cumulated vsize (KiB) 822352
[startup+1602.3 s]
/proc/loadavg: 2.00 1.97 1.62 3/177 19876
/proc/meminfo: memFree=25706976/32873648 swapFree=7120/7120
[pid=19821] ppid=19819 vsize=840784 CPUtime=1601.92 cores=1,3,5,7
/proc/19821/stat : 19821 (toysat) R 19819 19821 19663 0 -1 4202496 209532 0 0 0 159804 388 0 0 20 0 1 0 329280856 860962816 209278 33554432000 4194304 8989770 140735111649520 140735111648784 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19821/statm: 210196 209278 471 1171 0 208973 0
Current children cumulated CPU time (s) 1601.92
Current children cumulated vsize (KiB) 840784
[startup+1662.3 s]
/proc/loadavg: 2.04 1.99 1.64 3/177 19877
/proc/meminfo: memFree=25703544/32873648 swapFree=7120/7120
[pid=19821] ppid=19819 vsize=843856 CPUtime=1661.88 cores=1,3,5,7
/proc/19821/stat : 19821 (toysat) R 19819 19821 19663 0 -1 4202496 210508 0 0 0 165787 401 0 0 20 0 1 0 329280856 864108544 210213 33554432000 4194304 8989770 140735111649520 140735111648784 4213841 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19821/statm: 210964 210213 471 1171 0 209741 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 843856
[startup+1722.3 s]
/proc/loadavg: 2.01 1.99 1.66 3/177 19877
/proc/meminfo: memFree=25676664/32873648 swapFree=7120/7120
[pid=19821] ppid=19819 vsize=870480 CPUtime=1721.86 cores=1,3,5,7
/proc/19821/stat : 19821 (toysat) R 19819 19821 19663 0 -1 4202496 217178 0 0 0 171772 414 0 0 20 0 1 0 329280856 891371520 216869 33554432000 4194304 8989770 140735111649520 140735111648784 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19821/statm: 217620 216869 471 1171 0 216397 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 870480
[startup+1782.3 s]
/proc/loadavg: 2.00 1.99 1.68 3/177 19877
/proc/meminfo: memFree=25672228/32873648 swapFree=7120/7120
[pid=19821] ppid=19819 vsize=874576 CPUtime=1781.84 cores=1,3,5,7
/proc/19821/stat : 19821 (toysat) R 19819 19821 19663 0 -1 4202496 218236 0 0 0 177760 424 0 0 20 0 1 0 329280856 895565824 217893 33554432000 4194304 8989770 140735111649520 140735111648784 4204701 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19821/statm: 218644 217893 471 1171 0 217421 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 874576
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.00 1.99 1.68 3/177 19877
/proc/meminfo: memFree=25671700/32873648 swapFree=7120/7120
[pid=19821] ppid=19819 vsize=874576 CPUtime=1800.04 cores=1,3,5,7
/proc/19821/stat : 19821 (toysat) R 19819 19821 19663 0 -1 4202496 218240 0 0 0 179578 426 0 0 20 0 1 0 329280856 895565824 217893 33554432000 4194304 8989770 140735111649520 140735111648784 4469772 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19821/statm: 218644 217893 471 1171 0 217421 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 874576
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.00 1.99 1.68 3/177 19877
/proc/meminfo: memFree=25671700/32873648 swapFree=7120/7120
[pid=19821] ppid=19819 vsize=874576 CPUtime=1800.04 cores=1,3,5,7
/proc/19821/stat : 19821 (toysat) R 19819 19821 19663 0 -1 4202496 218240 0 0 0 179578 426 0 0 20 0 1 0 329280856 895565824 217893 33554432000 4194304 8989770 140735111649520 140735111648784 4469772 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19821/statm: 218644 217893 471 1171 0 217421 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 874576
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.05
CPU user time (s): 1795.78
CPU system time (s): 4.27135
CPU usage (%): 99.9745
Max. virtual memory (cumulated for all children) (KiB): 874576
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.78
system time used= 4.27135
maximum resident set size= 871572
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 218240
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= 276
involuntary context switches= 1874
runsolver used 4.32134 second user time and 8.51271 second system time
The end