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-3724859-1338649593/watcher-3724859-1338649593 -o /tmp/evaluation-result-3724859-1338649593/solver-3724859-1338649593 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3724859-1338649593.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.92 1.98 1.99 3/176 29111
/proc/meminfo: memFree=29587988/32873648 swapFree=7116/7116
[pid=29111] ppid=29109 vsize=7248 CPUtime=0 cores=1,3,5,7
/proc/29111/stat : 29111 (toysat) R 29109 29111 27825 0 -1 4202496 833 0 0 0 0 0 0 0 20 0 1 0 331084771 7421952 754 33554432000 4194304 8989770 140737071594720 140735593800312 7953280 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/29111/statm: 1812 754 425 1171 0 589 0
[startup+0.0201211 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 29111
/proc/meminfo: memFree=29587988/32873648 swapFree=7116/7116
[pid=29111] ppid=29109 vsize=8272 CPUtime=0.01 cores=1,3,5,7
/proc/29111/stat : 29111 (toysat) R 29109 29111 27825 0 -1 4202496 1090 0 0 0 1 0 0 0 20 0 1 0 331084771 8470528 1011 33554432000 4194304 8989770 140737071594720 140735593800312 7674848 0 2 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/29111/statm: 2068 1017 430 1171 0 845 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 8272
[startup+0.100219 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 29111
/proc/meminfo: memFree=29587988/32873648 swapFree=7116/7116
[pid=29111] ppid=29109 vsize=13392 CPUtime=0.09 cores=1,3,5,7
/proc/29111/stat : 29111 (toysat) R 29109 29111 27825 0 -1 4202496 2381 0 0 0 9 0 0 0 20 0 1 0 331084771 13713408 2302 33554432000 4194304 8989770 140737071594720 140735593800312 7857787 0 2 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/29111/statm: 3348 2302 431 1171 0 2125 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13392
[startup+0.300234 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 29111
/proc/meminfo: memFree=29587988/32873648 swapFree=7116/7116
[pid=29111] ppid=29109 vsize=25680 CPUtime=0.28 cores=1,3,5,7
/proc/29111/stat : 29111 (toysat) R 29109 29111 27825 0 -1 4202496 5570 0 0 0 28 0 0 0 20 0 1 0 331084771 26296320 5491 33554432000 4194304 8989770 140737071594720 140737071594216 4213859 0 2 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/29111/statm: 6420 5498 431 1171 0 5197 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 25680
[startup+0.700291 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 29111
/proc/meminfo: memFree=29587988/32873648 swapFree=7116/7116
[pid=29111] ppid=29109 vsize=57424 CPUtime=0.69 cores=1,3,5,7
/proc/29111/stat : 29111 (toysat) R 29109 29111 27825 0 -1 4202496 13576 0 0 0 67 2 0 0 20 0 1 0 331084771 58802176 13497 33554432000 4194304 8989770 140737071594720 140737071594216 7953280 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/29111/statm: 14356 13497 446 1171 0 13133 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 57424
[startup+1.50025 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 29112
/proc/meminfo: memFree=29534512/32873648 swapFree=7116/7116
[pid=29111] ppid=29109 vsize=68688 CPUtime=1.49 cores=1,3,5,7
/proc/29111/stat : 29111 (toysat) R 29109 29111 27825 0 -1 4202496 16486 0 0 0 146 3 0 0 20 0 1 0 331084771 70336512 16407 33554432000 4194304 8989770 140737071594720 140737071594216 7953280 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/29111/statm: 17172 16407 462 1171 0 15949 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 68688
[startup+3.10019 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 29112
/proc/meminfo: memFree=29514656/32873648 swapFree=7116/7116
[pid=29111] ppid=29109 vsize=76880 CPUtime=3.09 cores=1,3,5,7
/proc/29111/stat : 29111 (toysat) R 29109 29111 27825 0 -1 4202496 18534 0 0 0 306 3 0 0 20 0 1 0 331084771 78725120 18455 33554432000 4194304 8989770 140737071594720 140737071576704 7953280 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/29111/statm: 19220 18455 462 1171 0 17997 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 76880
[startup+6.30025 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 29112
/proc/meminfo: memFree=29512216/32873648 swapFree=7116/7116
[pid=29111] ppid=29109 vsize=78928 CPUtime=6.29 cores=1,3,5,7
/proc/29111/stat : 29111 (toysat) R 29109 29111 27825 0 -1 4202496 19046 0 0 0 625 4 0 0 20 0 1 0 331084771 80822272 18967 33554432000 4194304 8989770 140737071594720 140737071593984 7953280 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/29111/statm: 19732 18967 462 1171 0 18509 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 78928
[startup+12.7002 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 29112
/proc/meminfo: memFree=29508944/32873648 swapFree=7116/7116
[pid=29111] ppid=29109 vsize=84048 CPUtime=12.69 cores=1,3,5,7
/proc/29111/stat : 29111 (toysat) R 29109 29111 27825 0 -1 4202496 20326 0 0 0 1264 5 0 0 20 0 1 0 331084771 86065152 20247 33554432000 4194304 8989770 140737071594720 140737071594216 4438168 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/29111/statm: 21012 20247 462 1171 0 19789 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 84048
[startup+25.5003 s]
/proc/loadavg: 1.95 1.98 1.99 3/177 29112
/proc/meminfo: memFree=29495324/32873648 swapFree=7116/7116
[pid=29111] ppid=29109 vsize=98384 CPUtime=25.48 cores=1,3,5,7
/proc/29111/stat : 29111 (toysat) R 29109 29111 27825 0 -1 4202496 23910 0 0 0 2539 9 0 0 20 0 1 0 331084771 100745216 23831 33554432000 4194304 8989770 140737071594720 140737071593984 7953280 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/29111/statm: 24596 23831 462 1171 0 23373 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 98384
[startup+51.1003 s]
/proc/loadavg: 1.96 1.98 1.99 3/177 29112
/proc/meminfo: memFree=29474940/32873648 swapFree=7116/7116
[pid=29111] ppid=29109 vsize=120912 CPUtime=51.07 cores=1,3,5,7
/proc/29111/stat : 29111 (toysat) R 29109 29111 27825 0 -1 4202496 29542 0 0 0 5090 17 0 0 20 0 1 0 331084771 123813888 29463 33554432000 4194304 8989770 140737071594720 140737071594216 7857787 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/29111/statm: 30228 29463 462 1171 0 29005 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 120912
[startup+102.307 s]
/proc/loadavg: 2.04 2.00 2.00 3/177 29151
/proc/meminfo: memFree=29590048/32873648 swapFree=7116/7116
[pid=29111] ppid=29109 vsize=146512 CPUtime=102.27 cores=1,3,5,7
/proc/29111/stat : 29111 (toysat) R 29109 29111 27825 0 -1 4202496 35958 0 0 0 10198 29 0 0 20 0 1 0 331084771 150028288 35868 33554432000 4194304 8989770 140737071594720 140737071593984 7953280 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/29111/statm: 36628 35868 462 1171 0 35405 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 146512
[startup+162.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 29151
/proc/meminfo: memFree=29499804/32873648 swapFree=7116/7116
[pid=29111] ppid=29109 vsize=180304 CPUtime=162.24 cores=1,3,5,7
/proc/29111/stat : 29111 (toysat) R 29109 29111 27825 0 -1 4202496 44415 0 0 0 16180 44 0 0 20 0 1 0 331084771 184631296 44316 33554432000 4194304 8989770 140737071594720 140737071594216 7953280 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/29111/statm: 45076 44316 462 1171 0 43853 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 180304
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29154
/proc/meminfo: memFree=29427520/32873648 swapFree=7116/7116
[pid=29111] ppid=29109 vsize=211024 CPUtime=222.23 cores=1,3,5,7
/proc/29111/stat : 29111 (toysat) R 29109 29111 27825 0 -1 4202496 52095 0 0 0 22165 58 0 0 20 0 1 0 331084771 216088576 51996 33554432000 4194304 8989770 140737071594720 140737071593984 6587907 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/29111/statm: 52756 51996 462 1171 0 51533 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 211024
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29154
/proc/meminfo: memFree=29344352/32873648 swapFree=7116/7116
[pid=29111] ppid=29109 vsize=256080 CPUtime=282.21 cores=1,3,5,7
/proc/29111/stat : 29111 (toysat) R 29109 29111 27825 0 -1 4202496 63359 0 0 0 28146 75 0 0 20 0 1 0 331084771 262225920 63260 33554432000 4194304 8989770 140737071594720 140737071594216 7857787 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/29111/statm: 64020 63260 462 1171 0 62797 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 256080
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29155
/proc/meminfo: memFree=29274692/32873648 swapFree=7116/7116
[pid=29111] ppid=29109 vsize=293968 CPUtime=342.21 cores=1,3,5,7
/proc/29111/stat : 29111 (toysat) R 29109 29111 27825 0 -1 4202496 72831 0 0 0 34132 89 0 0 20 0 1 0 331084771 301023232 72732 33554432000 4194304 8989770 140737071594720 140737071594216 7953280 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/29111/statm: 73492 72732 462 1171 0 72269 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 293968
[startup+402.3 s]
/proc/loadavg: 2.10 2.03 2.01 3/177 29155
/proc/meminfo: memFree=29204000/32873648 swapFree=7116/7116
[pid=29111] ppid=29109 vsize=322640 CPUtime=402.2 cores=1,3,5,7
/proc/29111/stat : 29111 (toysat) R 29109 29111 27825 0 -1 4202496 79999 0 0 0 40119 101 0 0 20 0 1 0 331084771 330383360 79900 33554432000 4194304 8989770 140737071594720 140737071592640 7953280 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/29111/statm: 80660 79900 462 1171 0 79437 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 322640
[startup+462.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 29155
/proc/meminfo: memFree=29122036/32873648 swapFree=7116/7116
[pid=29111] ppid=29109 vsize=354384 CPUtime=462.19 cores=1,3,5,7
/proc/29111/stat : 29111 (toysat) R 29109 29111 27825 0 -1 4202496 87935 0 0 0 46105 114 0 0 20 0 1 0 331084771 362889216 87836 33554432000 4194304 8989770 140737071594720 140737071594216 7953280 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/29111/statm: 88596 87836 462 1171 0 87373 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 354384
[startup+522.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 29155
/proc/meminfo: memFree=29043016/32873648 swapFree=7116/7116
[pid=29111] ppid=29109 vsize=387152 CPUtime=522.16 cores=1,3,5,7
/proc/29111/stat : 29111 (toysat) R 29109 29111 27825 0 -1 4202496 96151 0 0 0 52090 126 0 0 20 0 1 0 331084771 396443648 96028 33554432000 4194304 8989770 140737071594720 140737071594216 7696100 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/29111/statm: 96788 96028 462 1171 0 95565 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 387152
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 29155
/proc/meminfo: memFree=28973856/32873648 swapFree=7116/7116
[pid=29111] ppid=29109 vsize=419920 CPUtime=582.14 cores=1,3,5,7
/proc/29111/stat : 29111 (toysat) R 29109 29111 27825 0 -1 4202496 104361 0 0 0 58075 139 0 0 20 0 1 0 331084771 429998080 104220 33554432000 4194304 8989770 140737071594720 140737071594216 7953280 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/29111/statm: 104980 104220 462 1171 0 103757 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 419920
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29159
/proc/meminfo: memFree=28924440/32873648 swapFree=7116/7116
[pid=29111] ppid=29109 vsize=438352 CPUtime=822.1 cores=1,3,5,7
/proc/29111/stat : 29111 (toysat) R 29109 29111 27825 0 -1 4202496 108982 0 0 0 82025 185 0 0 20 0 1 0 331084771 448872448 108830 33554432000 4194304 8989770 140737071594720 140737071594216 4435107 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/29111/statm: 109588 108830 464 1171 0 108365 0
Current children cumulated CPU time (s) 822.1
Current children cumulated vsize (KiB) 438352
[startup+882.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 29159
/proc/meminfo: memFree=28872836/32873648 swapFree=7116/7116
[pid=29111] ppid=29109 vsize=471120 CPUtime=882.08 cores=1,3,5,7
/proc/29111/stat : 29111 (toysat) R 29109 29111 27825 0 -1 4202496 117174 0 0 0 88011 197 0 0 20 0 1 0 331084771 482426880 117022 33554432000 4194304 8989770 140737071594720 140737071594216 4437564 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/29111/statm: 117780 117022 464 1171 0 116557 0
Current children cumulated CPU time (s) 882.08
Current children cumulated vsize (KiB) 471120
[startup+942.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 29160
/proc/meminfo: memFree=28812420/32873648 swapFree=7116/7116
[pid=29111] ppid=29109 vsize=505936 CPUtime=942.08 cores=1,3,5,7
/proc/29111/stat : 29111 (toysat) R 29109 29111 27825 0 -1 4202496 125878 0 0 0 94000 208 0 0 20 0 1 0 331084771 518078464 125726 33554432000 4194304 8989770 140737071594720 140737071593984 4450237 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/29111/statm: 126484 125726 464 1171 0 125261 0
Current children cumulated CPU time (s) 942.08
Current children cumulated vsize (KiB) 505936
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29160
/proc/meminfo: memFree=28780676/32873648 swapFree=7116/7116
[pid=29111] ppid=29109 vsize=509008 CPUtime=1002.07 cores=1,3,5,7
/proc/29111/stat : 29111 (toysat) R 29109 29111 27825 0 -1 4202496 126646 0 0 0 99984 223 0 0 20 0 1 0 331084771 521224192 126494 33554432000 4194304 8989770 140737071594720 140737071594216 7857787 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/29111/statm: 127252 126494 464 1171 0 126029 0
Current children cumulated CPU time (s) 1002.07
Current children cumulated vsize (KiB) 509008
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29160
/proc/meminfo: memFree=28752528/32873648 swapFree=7116/7116
[pid=29111] ppid=29109 vsize=509008 CPUtime=1062.06 cores=1,3,5,7
/proc/29111/stat : 29111 (toysat) R 29109 29111 27825 0 -1 4202496 126646 0 0 0 105973 233 0 0 20 0 1 0 331084771 521224192 126494 33554432000 4194304 8989770 140737071594720 140737071594216 4452088 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/29111/statm: 127252 126494 464 1171 0 126029 0
Current children cumulated CPU time (s) 1062.06
Current children cumulated vsize (KiB) 509008
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29160
/proc/meminfo: memFree=28771764/32873648 swapFree=7116/7116
[pid=29111] ppid=29109 vsize=509008 CPUtime=1122.05 cores=1,3,5,7
/proc/29111/stat : 29111 (toysat) R 29109 29111 27825 0 -1 4202496 126646 0 0 0 111963 242 0 0 20 0 1 0 331084771 521224192 126494 33554432000 4194304 8989770 140737071594720 140737071594216 6556926 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/29111/statm: 127252 126494 464 1171 0 126029 0
Current children cumulated CPU time (s) 1122.05
Current children cumulated vsize (KiB) 509008
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 29160
/proc/meminfo: memFree=28772392/32873648 swapFree=7116/7116
[pid=29111] ppid=29109 vsize=509008 CPUtime=1182.04 cores=1,3,5,7
/proc/29111/stat : 29111 (toysat) R 29109 29111 27825 0 -1 4202496 126646 0 0 0 117952 252 0 0 20 0 1 0 331084771 521224192 126494 33554432000 4194304 8989770 140737071594720 140737071594216 4451817 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/29111/statm: 127252 126494 464 1171 0 126029 0
Current children cumulated CPU time (s) 1182.04
Current children cumulated vsize (KiB) 509008
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29163
/proc/meminfo: memFree=28750684/32873648 swapFree=7116/7116
[pid=29111] ppid=29109 vsize=529488 CPUtime=1242.02 cores=1,3,5,7
/proc/29111/stat : 29111 (toysat) R 29109 29111 27825 0 -1 4202496 131780 0 0 0 123940 262 0 0 20 0 1 0 331084771 542195712 131614 33554432000 4194304 8989770 140737071594720 140737071594216 4213708 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/29111/statm: 132372 131614 464 1171 0 131149 0
Current children cumulated CPU time (s) 1242.02
Current children cumulated vsize (KiB) 529488
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29163
/proc/meminfo: memFree=28724888/32873648 swapFree=7116/7116
[pid=29111] ppid=29109 vsize=556112 CPUtime=1302.02 cores=1,3,5,7
/proc/29111/stat : 29111 (toysat) R 29109 29111 27825 0 -1 4202496 138438 0 0 0 129930 272 0 0 20 0 1 0 331084771 569458688 138270 33554432000 4194304 8989770 140737071594720 140737071594216 4446604 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/29111/statm: 139028 138270 464 1171 0 137805 0
Current children cumulated CPU time (s) 1302.02
Current children cumulated vsize (KiB) 556112
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29163
/proc/meminfo: memFree=28695624/32873648 swapFree=7116/7116
[pid=29111] ppid=29109 vsize=584784 CPUtime=1362.01 cores=1,3,5,7
/proc/29111/stat : 29111 (toysat) R 29109 29111 27825 0 -1 4202496 145606 0 0 0 135918 283 0 0 20 0 1 0 331084771 598818816 145438 33554432000 4194304 8989770 140737071594720 140737071593984 7953280 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/29111/statm: 146196 145438 464 1171 0 144973 0
Current children cumulated CPU time (s) 1362.01
Current children cumulated vsize (KiB) 584784
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29166
/proc/meminfo: memFree=28695640/32873648 swapFree=7116/7116
[pid=29111] ppid=29109 vsize=584784 CPUtime=1422.01 cores=1,3,5,7
/proc/29111/stat : 29111 (toysat) R 29109 29111 27825 0 -1 4202496 145606 0 0 0 141907 294 0 0 20 0 1 0 331084771 598818816 145438 33554432000 4194304 8989770 140737071594720 140737071593984 7953280 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/29111/statm: 146196 145438 464 1171 0 144973 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 584784
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29166
/proc/meminfo: memFree=28695648/32873648 swapFree=7116/7116
[pid=29111] ppid=29109 vsize=584784 CPUtime=1481.99 cores=1,3,5,7
/proc/29111/stat : 29111 (toysat) R 29109 29111 27825 0 -1 4202496 145606 0 0 0 147895 304 0 0 20 0 1 0 331084771 598818816 145438 33554432000 4194304 8989770 140737071594720 140737071594216 4438180 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/29111/statm: 146196 145438 464 1171 0 144973 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 584784
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29167
/proc/meminfo: memFree=28695896/32873648 swapFree=7116/7116
[pid=29111] ppid=29109 vsize=584784 CPUtime=1541.98 cores=1,3,5,7
/proc/29111/stat : 29111 (toysat) R 29109 29111 27825 0 -1 4202496 145606 0 0 0 153886 312 0 0 20 0 1 0 331084771 598818816 145438 33554432000 4194304 8989770 140737071594720 140737071594216 7688479 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/29111/statm: 146196 145438 464 1171 0 144973 0
Current children cumulated CPU time (s) 1541.98
Current children cumulated vsize (KiB) 584784
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29167
/proc/meminfo: memFree=28695732/32873648 swapFree=7116/7116
[pid=29111] ppid=29109 vsize=584784 CPUtime=1601.97 cores=1,3,5,7
/proc/29111/stat : 29111 (toysat) R 29109 29111 27825 0 -1 4202496 145606 0 0 0 159877 320 0 0 20 0 1 0 331084771 598818816 145438 33554432000 4194304 8989770 140737071594720 140737071594216 7414848 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/29111/statm: 146196 145438 464 1171 0 144973 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 584784
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29167
/proc/meminfo: memFree=28695716/32873648 swapFree=7116/7116
[pid=29111] ppid=29109 vsize=584784 CPUtime=1661.96 cores=1,3,5,7
/proc/29111/stat : 29111 (toysat) R 29109 29111 27825 0 -1 4202496 145606 0 0 0 165867 329 0 0 20 0 1 0 331084771 598818816 145438 33554432000 4194304 8989770 140737071594720 140737071594216 7953280 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/29111/statm: 146196 145438 464 1171 0 144973 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 584784
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29167
/proc/meminfo: memFree=28695840/32873648 swapFree=7116/7116
[pid=29111] ppid=29109 vsize=584784 CPUtime=1721.95 cores=1,3,5,7
/proc/29111/stat : 29111 (toysat) R 29109 29111 27825 0 -1 4202496 145606 0 0 0 171854 341 0 0 20 0 1 0 331084771 598818816 145438 33554432000 4194304 8989770 140737071594720 140737071593984 4438244 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/29111/statm: 146196 145438 464 1171 0 144973 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 584784
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29167
/proc/meminfo: memFree=28695220/32873648 swapFree=7116/7116
[pid=29111] ppid=29109 vsize=584784 CPUtime=1781.94 cores=1,3,5,7
/proc/29111/stat : 29111 (toysat) R 29109 29111 27825 0 -1 4202496 145606 0 0 0 177845 349 0 0 20 0 1 0 331084771 598818816 145438 33554432000 4194304 8989770 140737071594720 140737071594216 7416642 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/29111/statm: 146196 145438 464 1171 0 144973 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 584784
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 29167
/proc/meminfo: memFree=28695344/32873648 swapFree=7116/7116
[pid=29111] ppid=29109 vsize=584784 CPUtime=1800.04 cores=1,3,5,7
/proc/29111/stat : 29111 (toysat) R 29109 29111 27825 0 -1 4202496 145606 0 0 0 179652 352 0 0 20 0 1 0 331084771 598818816 145438 33554432000 4194304 8989770 140737071594720 140737071594216 4451620 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/29111/statm: 146196 145438 464 1171 0 144973 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 584784
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.06
CPU user time (s): 1796.53
CPU system time (s): 3.53446
CPU usage (%): 99.9805
Max. virtual memory (cumulated for all children) (KiB): 584784
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.53
system time used= 3.53446
maximum resident set size= 581752
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 145606
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= 97
involuntary context switches= 1953
runsolver used 3.41348 second user time and 9.09362 second system time
The end