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-3724586-1338635123/watcher-3724586-1338635123 -o /tmp/evaluation-result-3724586-1338635123/solver-3724586-1338635123 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3724586-1338635123.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: 1.98 2.00 1.91 3/176 4625
/proc/meminfo: memFree=29437688/32873844 swapFree=7632/7632
[pid=4625] ppid=4623 vsize=7248 CPUtime=0 cores=0,2,4,6
/proc/4625/stat : 4625 (toysat) R 4623 4625 4334 0 -1 4202496 857 0 0 0 0 0 0 0 20 0 1 0 329638070 7421952 777 33554432000 4194304 8989770 140734513398592 140734735769432 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/4625/statm: 1812 777 428 1171 0 589 0
[startup+0.02484 s]
/proc/loadavg: 1.98 2.00 1.91 3/176 4625
/proc/meminfo: memFree=29437688/32873844 swapFree=7632/7632
[pid=4625] ppid=4623 vsize=8272 CPUtime=0.02 cores=0,2,4,6
/proc/4625/stat : 4625 (toysat) R 4623 4625 4334 0 -1 4202496 1108 0 0 0 2 0 0 0 20 0 1 0 329638070 8470528 1028 33554432000 4194304 8989770 140734513398592 140734735769432 4209325 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/4625/statm: 2068 1034 428 1171 0 845 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 8272
[startup+0.100275 s]
/proc/loadavg: 1.98 2.00 1.91 3/176 4625
/proc/meminfo: memFree=29437688/32873844 swapFree=7632/7632
[pid=4625] ppid=4623 vsize=11344 CPUtime=0.09 cores=0,2,4,6
/proc/4625/stat : 4625 (toysat) R 4623 4625 4334 0 -1 4202496 2049 0 0 0 9 0 0 0 20 0 1 0 329638070 11616256 1969 33554432000 4194304 8989770 140734513398592 140734735769432 4209325 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/4625/statm: 2836 1971 431 1171 0 1613 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11344
[startup+0.300276 s]
/proc/loadavg: 1.98 2.00 1.91 3/176 4625
/proc/meminfo: memFree=29437688/32873844 swapFree=7632/7632
[pid=4625] ppid=4623 vsize=21584 CPUtime=0.29 cores=0,2,4,6
/proc/4625/stat : 4625 (toysat) R 4623 4625 4334 0 -1 4202496 4657 0 0 0 29 0 0 0 20 0 1 0 329638070 22102016 4577 33554432000 4194304 8989770 140734513398592 140734735769432 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/4625/statm: 5396 4577 431 1171 0 4173 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 21584
[startup+0.700287 s]
/proc/loadavg: 1.98 2.00 1.91 3/176 4625
/proc/meminfo: memFree=29437688/32873844 swapFree=7632/7632
[pid=4625] ppid=4623 vsize=37968 CPUtime=0.69 cores=0,2,4,6
/proc/4625/stat : 4625 (toysat) R 4623 4625 4334 0 -1 4202496 8771 0 0 0 68 1 0 0 20 0 1 0 329638070 38879232 8691 33554432000 4194304 8989770 140734513398592 140734735769432 7874608 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/4625/statm: 9492 8691 431 1171 0 8269 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 37968
[startup+1.50028 s]
/proc/loadavg: 1.98 2.00 1.91 3/177 4626
/proc/meminfo: memFree=29391412/32873844 swapFree=7632/7632
[pid=4625] ppid=4623 vsize=71760 CPUtime=1.49 cores=0,2,4,6
/proc/4625/stat : 4625 (toysat) R 4623 4625 4334 0 -1 4202496 17056 0 0 0 146 3 0 0 20 0 1 0 329638070 73482240 16976 33554432000 4194304 8989770 140734513398592 140734513398088 4209325 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/4625/statm: 17940 16984 431 1171 0 16717 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 71760
[startup+3.10029 s]
/proc/loadavg: 1.98 2.00 1.91 2/175 4627
/proc/meminfo: memFree=29365216/32873844 swapFree=7632/7632
[pid=4625] ppid=4623 vsize=140368 CPUtime=3.09 cores=0,2,4,6
/proc/4625/stat : 4625 (toysat) R 4623 4625 4334 0 -1 4202496 34263 0 0 0 303 6 0 0 20 0 1 0 329638070 143736832 34183 33554432000 4194304 8989770 140734513398592 140734513398088 4209439 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/4625/statm: 35092 34191 431 1171 0 33869 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 140368
[startup+6.3003 s]
/proc/loadavg: 1.90 1.98 1.91 3/177 4665
/proc/meminfo: memFree=29132072/32873844 swapFree=7632/7632
[pid=4625] ppid=4623 vsize=273488 CPUtime=6.29 cores=0,2,4,6
/proc/4625/stat : 4625 (toysat) R 4623 4625 4334 0 -1 4202496 67651 0 0 0 615 14 0 0 20 0 1 0 329638070 280051712 67571 33554432000 4194304 8989770 140734513398592 140734513398088 4209340 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/4625/statm: 68372 67571 431 1171 0 67149 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 273488
[startup+12.7003 s]
/proc/loadavg: 1.91 1.98 1.91 3/177 4665
/proc/meminfo: memFree=28601116/32873844 swapFree=7632/7632
[pid=4625] ppid=4623 vsize=642128 CPUtime=12.69 cores=0,2,4,6
/proc/4625/stat : 4625 (toysat) R 4623 4625 4334 0 -1 4202496 159826 0 0 0 1238 31 0 0 20 0 1 0 329638070 657539072 159756 33554432000 4194304 8989770 140734513398592 140734513397856 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/4625/statm: 160532 159756 445 1171 0 159309 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 642128
[startup+25.5003 s]
/proc/loadavg: 1.93 1.98 1.91 3/177 4665
/proc/meminfo: memFree=28393284/32873844 swapFree=7632/7632
[pid=4625] ppid=4623 vsize=820304 CPUtime=25.49 cores=0,2,4,6
/proc/4625/stat : 4625 (toysat) R 4623 4625 4334 0 -1 4202496 204370 0 0 0 2506 43 0 0 20 0 1 0 329638070 839991296 204300 33554432000 4194304 8989770 140734513398592 140734513397856 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/4625/statm: 205076 204300 445 1171 0 203853 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 820304
[startup+51.1003 s]
/proc/loadavg: 1.95 1.98 1.91 3/177 4665
/proc/meminfo: memFree=28303212/32873844 swapFree=7632/7632
[pid=4625] ppid=4623 vsize=944208 CPUtime=51.07 cores=0,2,4,6
/proc/4625/stat : 4625 (toysat) R 4623 4625 4334 0 -1 4202496 235346 0 0 0 5046 61 0 0 20 0 1 0 329638070 966868992 235276 33554432000 4194304 8989770 140734513398592 140734513396608 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/4625/statm: 236052 235276 445 1171 0 234829 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 944208
[startup+102.307 s]
/proc/loadavg: 2.03 2.00 1.91 3/177 4666
/proc/meminfo: memFree=28158060/32873844 swapFree=7632/7632
[pid=4625] ppid=4623 vsize=1054800 CPUtime=102.28 cores=0,2,4,6
/proc/4625/stat : 4625 (toysat) R 4623 4625 4334 0 -1 4202496 262994 0 0 0 10142 86 0 0 20 0 1 0 329638070 1080115200 262924 33554432000 4194304 8989770 140734513398592 140734513398088 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/4625/statm: 263700 262924 445 1171 0 262477 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1054800
[startup+162.3 s]
/proc/loadavg: 2.01 2.00 1.91 3/177 4666
/proc/meminfo: memFree=28101660/32873844 swapFree=7632/7632
[pid=4625] ppid=4623 vsize=1111120 CPUtime=162.26 cores=0,2,4,6
/proc/4625/stat : 4625 (toysat) R 4623 4625 4334 0 -1 4202496 277074 0 0 0 16114 112 0 0 20 0 1 0 329638070 1137786880 277004 33554432000 4194304 8989770 140734513398592 140734513396544 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/4625/statm: 277780 277004 445 1171 0 276557 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 1111120
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 4666
/proc/meminfo: memFree=28063496/32873844 swapFree=7632/7632
[pid=4625] ppid=4623 vsize=1149008 CPUtime=222.25 cores=0,2,4,6
/proc/4625/stat : 4625 (toysat) R 4623 4625 4334 0 -1 4202496 286546 0 0 0 22094 131 0 0 20 0 1 0 329638070 1176584192 286476 33554432000 4194304 8989770 140734513398592 140734513397856 4204655 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/4625/statm: 287252 286476 445 1171 0 286029 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 1149008
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 4669
/proc/meminfo: memFree=28010172/32873844 swapFree=7632/7632
[pid=4625] ppid=4623 vsize=1176656 CPUtime=282.24 cores=0,2,4,6
/proc/4625/stat : 4625 (toysat) R 4623 4625 4334 0 -1 4202496 293458 0 0 0 28077 147 0 0 20 0 1 0 329638070 1204895744 293388 33554432000 4194304 8989770 140734513398592 140734513397856 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/4625/statm: 294164 293388 445 1171 0 292941 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 1176656
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 4669
/proc/meminfo: memFree=27985928/32873844 swapFree=7632/7632
[pid=4625] ppid=4623 vsize=1179728 CPUtime=342.23 cores=0,2,4,6
/proc/4625/stat : 4625 (toysat) R 4623 4625 4334 0 -1 4202496 294226 0 0 0 34061 162 0 0 20 0 1 0 329638070 1208041472 294156 33554432000 4194304 8989770 140734513398592 140734513397856 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/4625/statm: 294932 294156 445 1171 0 293709 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 1179728
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 4669
/proc/meminfo: memFree=27959420/32873844 swapFree=7632/7632
[pid=4625] ppid=4623 vsize=1183824 CPUtime=402.22 cores=0,2,4,6
/proc/4625/stat : 4625 (toysat) R 4623 4625 4334 0 -1 4202496 295255 0 0 0 40044 178 0 0 20 0 1 0 329638070 1212235776 295180 33554432000 4194304 8989770 140734513398592 140734513396544 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/4625/statm: 295956 295180 445 1171 0 294733 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 1183824
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 4670
/proc/meminfo: memFree=27955728/32873844 swapFree=7632/7632
[pid=4625] ppid=4623 vsize=1187920 CPUtime=462.21 cores=0,2,4,6
/proc/4625/stat : 4625 (toysat) R 4623 4625 4334 0 -1 4202496 296280 0 0 0 46028 193 0 0 20 0 1 0 329638070 1216430080 296204 33554432000 4194304 8989770 140734513398592 140734513398088 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/4625/statm: 296980 296204 445 1171 0 295757 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 1187920
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 4670
/proc/meminfo: memFree=27950176/32873844 swapFree=7632/7632
[pid=4625] ppid=4623 vsize=1190992 CPUtime=522.19 cores=0,2,4,6
/proc/4625/stat : 4625 (toysat) R 4623 4625 4334 0 -1 4202496 297065 0 0 0 52011 208 0 0 20 0 1 0 329638070 1219575808 296972 33554432000 4194304 8989770 140734513398592 140734513397856 4208855 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/4625/statm: 297748 296972 445 1171 0 296525 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 1190992
[startup+582.3 s]
/proc/loadavg: 2.06 2.01 1.92 3/177 4670
/proc/meminfo: memFree=27944128/32873844 swapFree=7632/7632
[pid=4625] ppid=4623 vsize=1195088 CPUtime=582.18 cores=0,2,4,6
/proc/4625/stat : 4625 (toysat) R 4623 4625 4334 0 -1 4202496 298091 0 0 0 57996 222 0 0 20 0 1 0 329638070 1223770112 297996 33554432000 4194304 8989770 140734513398592 140734513398088 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/4625/statm: 298772 297996 445 1171 0 297549 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 1195088
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 4671
/proc/meminfo: memFree=27911444/32873844 swapFree=7632/7632
[pid=4625] ppid=4623 vsize=1217616 CPUtime=822.14 cores=0,2,4,6
/proc/4625/stat : 4625 (toysat) R 4623 4625 4334 0 -1 4202496 303731 0 0 0 81923 291 0 0 20 0 1 0 329638070 1246838784 303628 33554432000 4194304 8989770 140734513398592 140734513398088 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/4625/statm: 304404 303628 445 1171 0 303181 0
Current children cumulated CPU time (s) 822.14
Current children cumulated vsize (KiB) 1217616
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 4674
/proc/meminfo: memFree=27900396/32873844 swapFree=7632/7632
[pid=4625] ppid=4623 vsize=1226832 CPUtime=882.12 cores=0,2,4,6
/proc/4625/stat : 4625 (toysat) R 4623 4625 4334 0 -1 4202496 306035 0 0 0 87899 313 0 0 20 0 1 0 329638070 1256275968 305932 33554432000 4194304 8989770 140734513398592 140734513397856 4209168 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/4625/statm: 306708 305932 445 1171 0 305485 0
Current children cumulated CPU time (s) 882.12
Current children cumulated vsize (KiB) 1226832
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 4674
/proc/meminfo: memFree=27890236/32873844 swapFree=7632/7632
[pid=4625] ppid=4623 vsize=1235024 CPUtime=942.12 cores=0,2,4,6
/proc/4625/stat : 4625 (toysat) R 4623 4625 4334 0 -1 4202496 308083 0 0 0 93879 333 0 0 20 0 1 0 329638070 1264664576 307980 33554432000 4194304 8989770 140734513398592 140734513396544 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/4625/statm: 308756 307980 445 1171 0 307533 0
Current children cumulated CPU time (s) 942.12
Current children cumulated vsize (KiB) 1235024
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 4674
/proc/meminfo: memFree=27882052/32873844 swapFree=7632/7632
[pid=4625] ppid=4623 vsize=1238096 CPUtime=1002.11 cores=0,2,4,6
/proc/4625/stat : 4625 (toysat) R 4623 4625 4334 0 -1 4202496 308851 0 0 0 99864 347 0 0 20 0 1 0 329638070 1267810304 308748 33554432000 4194304 8989770 140734513398592 140734513398088 4209187 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/4625/statm: 309524 308748 445 1171 0 308301 0
Current children cumulated CPU time (s) 1002.11
Current children cumulated vsize (KiB) 1238096
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 4675
/proc/meminfo: memFree=27875852/32873844 swapFree=7632/7632
[pid=4625] ppid=4623 vsize=1242192 CPUtime=1062.1 cores=0,2,4,6
/proc/4625/stat : 4625 (toysat) R 4623 4625 4334 0 -1 4202496 309875 0 0 0 105849 361 0 0 20 0 1 0 329638070 1272004608 309772 33554432000 4194304 8989770 140734513398592 140734513396544 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/4625/statm: 310548 309772 445 1171 0 309325 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 1242192
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 4675
/proc/meminfo: memFree=27869900/32873844 swapFree=7632/7632
[pid=4625] ppid=4623 vsize=1246288 CPUtime=1122.09 cores=0,2,4,6
/proc/4625/stat : 4625 (toysat) R 4623 4625 4334 0 -1 4202496 310899 0 0 0 111833 376 0 0 20 0 1 0 329638070 1276198912 310796 33554432000 4194304 8989770 140734513398592 140734513397856 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/4625/statm: 311572 310796 445 1171 0 310349 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 1246288
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 4675
/proc/meminfo: memFree=27862460/32873844 swapFree=7632/7632
[pid=4625] ppid=4623 vsize=1250384 CPUtime=1182.08 cores=0,2,4,6
/proc/4625/stat : 4625 (toysat) R 4623 4625 4334 0 -1 4202496 311923 0 0 0 117816 392 0 0 20 0 1 0 329638070 1280393216 311820 33554432000 4194304 8989770 140734513398592 140734513397856 4204276 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/4625/statm: 312596 311820 445 1171 0 311373 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 1250384
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 4675
/proc/meminfo: memFree=27856632/32873844 swapFree=7632/7632
[pid=4625] ppid=4623 vsize=1254480 CPUtime=1242.07 cores=0,2,4,6
/proc/4625/stat : 4625 (toysat) R 4623 4625 4334 0 -1 4202496 312947 0 0 0 123797 410 0 0 20 0 1 0 329638070 1284587520 312844 33554432000 4194304 8989770 140734513398592 140734513396608 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/4625/statm: 313620 312844 445 1171 0 312397 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 1254480
[startup+1302.3 s]
/proc/loadavg: 2.05 2.01 1.93 3/177 4675
/proc/meminfo: memFree=27847332/32873844 swapFree=7632/7632
[pid=4625] ppid=4623 vsize=1260624 CPUtime=1302.07 cores=0,2,4,6
/proc/4625/stat : 4625 (toysat) R 4623 4625 4334 0 -1 4202496 314483 0 0 0 129781 426 0 0 20 0 1 0 329638070 1290878976 314380 33554432000 4194304 8989770 140734513398592 140734513396544 4204368 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/4625/statm: 315156 314380 445 1171 0 313933 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 1260624
[startup+1362.3 s]
/proc/loadavg: 2.02 2.01 1.93 3/177 4676
/proc/meminfo: memFree=27837288/32873844 swapFree=7632/7632
[pid=4625] ppid=4623 vsize=1267792 CPUtime=1362.06 cores=0,2,4,6
/proc/4625/stat : 4625 (toysat) R 4623 4625 4334 0 -1 4202496 316275 0 0 0 135761 445 0 0 20 0 1 0 329638070 1298219008 316172 33554432000 4194304 8989770 140734513398592 140734513398088 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/4625/statm: 316948 316172 445 1171 0 315725 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 1267792
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 4676
/proc/meminfo: memFree=27826128/32873844 swapFree=7632/7632
[pid=4625] ppid=4623 vsize=1275984 CPUtime=1422.05 cores=0,2,4,6
/proc/4625/stat : 4625 (toysat) R 4623 4625 4334 0 -1 4202496 318323 0 0 0 141741 464 0 0 20 0 1 0 329638070 1306607616 318220 33554432000 4194304 8989770 140734513398592 140734513398088 4204320 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/4625/statm: 318996 318220 445 1171 0 317773 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 1275984
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 4679
/proc/meminfo: memFree=27817656/32873844 swapFree=7632/7632
[pid=4625] ppid=4623 vsize=1283152 CPUtime=1482.03 cores=0,2,4,6
/proc/4625/stat : 4625 (toysat) R 4623 4625 4334 0 -1 4202496 320115 0 0 0 147720 483 0 0 20 0 1 0 329638070 1313947648 320012 33554432000 4194304 8989770 140734513398592 140734513397856 4209234 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/4625/statm: 320788 320012 445 1171 0 319565 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 1283152
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 4679
/proc/meminfo: memFree=27806536/32873844 swapFree=7632/7632
[pid=4625] ppid=4623 vsize=1290320 CPUtime=1542.02 cores=0,2,4,6
/proc/4625/stat : 4625 (toysat) R 4623 4625 4334 0 -1 4202496 321907 0 0 0 153702 500 0 0 20 0 1 0 329638070 1321287680 321804 33554432000 4194304 8989770 140734513398592 140734513397856 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/4625/statm: 322580 321804 445 1171 0 321357 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 1290320
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 4679
/proc/meminfo: memFree=27797360/32873844 swapFree=7632/7632
[pid=4625] ppid=4623 vsize=1297488 CPUtime=1602.01 cores=0,2,4,6
/proc/4625/stat : 4625 (toysat) R 4623 4625 4334 0 -1 4202496 323699 0 0 0 159686 515 0 0 20 0 1 0 329638070 1328627712 323596 33554432000 4194304 8989770 140734513398592 140734513397856 4204407 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/4625/statm: 324372 323596 445 1171 0 323149 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 1297488
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 4680
/proc/meminfo: memFree=27789300/32873844 swapFree=7632/7632
[pid=4625] ppid=4623 vsize=1301584 CPUtime=1662.01 cores=0,2,4,6
/proc/4625/stat : 4625 (toysat) R 4623 4625 4334 0 -1 4202496 324732 0 0 0 165671 530 0 0 20 0 1 0 329638070 1332822016 324629 33554432000 4194304 8989770 140734513398592 140734513398088 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/4625/statm: 325396 324629 454 1171 0 324173 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 1301584
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 4680
/proc/meminfo: memFree=27781932/32873844 swapFree=7632/7632
[pid=4625] ppid=4623 vsize=1306704 CPUtime=1722 cores=0,2,4,6
/proc/4625/stat : 4625 (toysat) R 4623 4625 4334 0 -1 4202496 326012 0 0 0 171655 545 0 0 20 0 1 0 329638070 1338064896 325909 33554432000 4194304 8989770 140734513398592 140734513396544 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/4625/statm: 326676 325909 454 1171 0 325453 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 1306704
[startup+1782.3 s]
/proc/loadavg: 2.06 2.01 1.93 3/177 4680
/proc/meminfo: memFree=27774568/32873844 swapFree=7632/7632
[pid=4625] ppid=4623 vsize=1311824 CPUtime=1781.99 cores=0,2,4,6
/proc/4625/stat : 4625 (toysat) R 4623 4625 4334 0 -1 4202496 327292 0 0 0 177641 558 0 0 20 0 1 0 329638070 1343307776 327189 33554432000 4194304 8989770 140734513398592 140734513398088 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/4625/statm: 327956 327189 454 1171 0 326733 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 1311824
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.04 2.01 1.93 3/177 4680
/proc/meminfo: memFree=27772584/32873844 swapFree=7632/7632
[pid=4625] ppid=4623 vsize=1312848 CPUtime=1800.09 cores=0,2,4,6
/proc/4625/stat : 4625 (toysat) R 4623 4625 4334 0 -1 4202496 327548 0 0 0 179447 562 0 0 20 0 1 0 329638070 1344356352 327445 33554432000 4194304 8989770 140734513398592 140734513398088 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/4625/statm: 328212 327445 454 1171 0 326989 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1312848
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.11
CPU user time (s): 1794.48
CPU system time (s): 5.63214
CPU usage (%): 99.9831
Max. virtual memory (cumulated for all children) (KiB): 1312848
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.48
system time used= 5.63214
maximum resident set size= 1309780
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 327548
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= 45
involuntary context switches= 1866
runsolver used 3.37149 second user time and 9.27359 second system time
The end