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-3725676-1338638934/watcher-3725676-1338638934 -o /tmp/evaluation-result-3725676-1338638934/solver-3725676-1338638934 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3725676-1338638934.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.00 2.00 2.00 3/176 25849
/proc/meminfo: memFree=27654484/32873648 swapFree=7112/7112
[pid=25849] ppid=25847 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/25849/stat : 25849 (runsolver) D 25847 25849 25232 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 1 0 330019317 12095488 52 33554432000 4194304 5436572 140736882506944 140736882503240 4883175 0 0 4096 24578 18446744071579943789 0 0 17 4 0 0 0 0 0
/proc/25849/statm: 2953 52 31 304 0 2645 0
[startup+0.039368 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 25849
/proc/meminfo: memFree=27654484/32873648 swapFree=7112/7112
[pid=25849] ppid=25847 vsize=8272 CPUtime=0.02 cores=0,2,4,6
/proc/25849/stat : 25849 (toysat) R 25847 25849 25232 0 -1 4202496 1247 0 0 0 2 0 0 0 20 0 1 0 330019317 8470528 1167 33554432000 4194304 8989770 140734134866800 140734134866064 4211928 0 2 0 34082818 0 0 0 17 6 0 0 0 0 0
/proc/25849/statm: 2068 1167 431 1171 0 845 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 8272
[startup+0.100182 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 25849
/proc/meminfo: memFree=27654484/32873648 swapFree=7112/7112
[pid=25849] ppid=25847 vsize=13392 CPUtime=0.08 cores=0,2,4,6
/proc/25849/stat : 25849 (toysat) R 25847 25849 25232 0 -1 4202496 2415 0 0 0 8 0 0 0 20 0 1 0 330019317 13713408 2335 33554432000 4194304 8989770 140734134866800 140734134866296 5796819 0 0 0 34082818 0 0 0 17 6 0 0 0 0 0
/proc/25849/statm: 3348 2335 431 1171 0 2125 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 13392
[startup+0.300167 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 25849
/proc/meminfo: memFree=27654484/32873648 swapFree=7112/7112
[pid=25849] ppid=25847 vsize=26704 CPUtime=0.29 cores=0,2,4,6
/proc/25849/stat : 25849 (toysat) R 25847 25849 25232 0 -1 4202496 5858 0 0 0 28 1 0 0 20 0 1 0 330019317 27344896 5778 33554432000 4194304 8989770 140734134866800 140734134866296 4657452 0 0 0 34082818 0 0 0 17 6 0 0 0 0 0
/proc/25849/statm: 6676 5778 431 1171 0 5453 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26704
[startup+0.700166 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 25849
/proc/meminfo: memFree=27654484/32873648 swapFree=7112/7112
[pid=25849] ppid=25847 vsize=74832 CPUtime=0.69 cores=0,2,4,6
/proc/25849/stat : 25849 (toysat) R 25847 25849 25232 0 -1 4202496 18001 0 0 0 66 3 0 0 20 0 1 0 330019317 76627968 17921 33554432000 4194304 8989770 140734134866800 140734134866064 4214408 0 2 0 34082818 0 0 0 17 6 0 0 0 0 0
/proc/25849/statm: 18708 17921 442 1171 0 17485 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 74832
[startup+1.50017 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25850
/proc/meminfo: memFree=27563264/32873648 swapFree=7112/7112
[pid=25849] ppid=25847 vsize=128080 CPUtime=1.48 cores=0,2,4,6
/proc/25849/stat : 25849 (toysat) R 25847 25849 25232 0 -1 4202496 31345 0 0 0 143 5 0 0 20 0 1 0 330019317 131153920 31265 33554432000 4194304 8989770 140734134866800 140734134865640 7953280 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/25849/statm: 32020 31265 471 1171 0 30797 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 128080
[startup+3.10017 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25850
/proc/meminfo: memFree=27488724/32873648 swapFree=7112/7112
[pid=25849] ppid=25847 vsize=168016 CPUtime=3.07 cores=0,2,4,6
/proc/25849/stat : 25849 (toysat) R 25847 25849 25232 0 -1 4202496 41329 0 0 0 301 6 0 0 20 0 1 0 330019317 172048384 41249 33554432000 4194304 8989770 140734134866800 140734134866296 7953280 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/25849/statm: 42004 41249 471 1171 0 40781 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 168016
[startup+6.30017 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25850
/proc/meminfo: memFree=27485248/32873648 swapFree=7112/7112
[pid=25849] ppid=25847 vsize=174160 CPUtime=6.28 cores=0,2,4,6
/proc/25849/stat : 25849 (toysat) R 25847 25849 25232 0 -1 4202496 42690 0 0 0 621 7 0 0 20 0 1 0 330019317 178339840 42610 33554432000 4194304 8989770 140734134866800 140734134866296 7953280 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/25849/statm: 43540 42610 471 1171 0 42317 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 174160
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25850
/proc/meminfo: memFree=27454892/32873648 swapFree=7112/7112
[pid=25849] ppid=25847 vsize=194640 CPUtime=12.67 cores=0,2,4,6
/proc/25849/stat : 25849 (toysat) R 25847 25849 25232 0 -1 4202496 47780 0 0 0 1258 9 0 0 20 0 1 0 330019317 199311360 47700 33554432000 4194304 8989770 140734134866800 140734134866296 4204292 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/25849/statm: 48660 47700 471 1171 0 47437 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 194640
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25850
/proc/meminfo: memFree=27403928/32873648 swapFree=7112/7112
[pid=25849] ppid=25847 vsize=232528 CPUtime=25.47 cores=0,2,4,6
/proc/25849/stat : 25849 (toysat) R 25847 25849 25232 0 -1 4202496 57322 0 0 0 2534 13 0 0 20 0 1 0 330019317 238108672 57242 33554432000 4194304 8989770 140734134866800 140734134866296 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/25849/statm: 58132 57242 471 1171 0 56909 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 232528
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25850
/proc/meminfo: memFree=27316992/32873648 swapFree=7112/7112
[pid=25849] ppid=25847 vsize=296016 CPUtime=51.06 cores=0,2,4,6
/proc/25849/stat : 25849 (toysat) R 25847 25849 25232 0 -1 4202496 73329 0 0 0 5086 20 0 0 20 0 1 0 330019317 303120384 73249 33554432000 4194304 8989770 140734134866800 140734134866064 4204638 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/25849/statm: 74004 73249 471 1171 0 72781 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 296016
[startup+102.3 s]
/proc/loadavg: 2.09 2.03 2.01 3/178 25854
/proc/meminfo: memFree=27166380/32873648 swapFree=7112/7112
[pid=25849] ppid=25847 vsize=406608 CPUtime=102.27 cores=0,2,4,6
/proc/25849/stat : 25849 (toysat) R 25847 25849 25232 0 -1 4202496 100868 0 0 0 10194 33 0 0 20 0 1 0 330019317 416366592 100788 33554432000 4194304 8989770 140734134866800 140734134866064 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/25849/statm: 101652 100788 471 1171 0 100429 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 406608
[startup+162.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 25854
/proc/meminfo: memFree=27046880/32873648 swapFree=7112/7112
[pid=25849] ppid=25847 vsize=497744 CPUtime=162.25 cores=0,2,4,6
/proc/25849/stat : 25849 (toysat) R 25847 25849 25232 0 -1 4202496 123761 0 0 0 16182 43 0 0 20 0 1 0 330019317 509689856 123681 33554432000 4194304 8989770 140734134866800 140734134866296 7857787 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/25849/statm: 124436 123681 471 1171 0 123213 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 497744
[startup+222.307 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 25854
/proc/meminfo: memFree=26935264/32873648 swapFree=7112/7112
[pid=25849] ppid=25847 vsize=575568 CPUtime=222.22 cores=0,2,4,6
/proc/25849/stat : 25849 (toysat) R 25847 25849 25232 0 -1 4202496 143057 0 0 0 22170 52 0 0 20 0 1 0 330019317 589381632 142949 33554432000 4194304 8989770 140734134866800 140734134865024 7697332 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/25849/statm: 143892 142949 471 1171 0 142669 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 575568
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 25854
/proc/meminfo: memFree=26882808/32873648 swapFree=7112/7112
[pid=25849] ppid=25847 vsize=627792 CPUtime=282.21 cores=0,2,4,6
/proc/25849/stat : 25849 (toysat) R 25847 25849 25232 0 -1 4202496 156241 0 0 0 28159 62 0 0 20 0 1 0 330019317 642859008 156121 33554432000 4194304 8989770 140734134866800 140734134865024 7857787 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/25849/statm: 156948 156121 471 1171 0 155725 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 627792
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25854
/proc/meminfo: memFree=26833856/32873648 swapFree=7112/7112
[pid=25849] ppid=25847 vsize=676944 CPUtime=342.15 cores=0,2,4,6
/proc/25849/stat : 25849 (toysat) R 25847 25849 25232 0 -1 4202496 168438 0 0 0 34146 69 0 0 20 0 1 0 330019317 693190656 168270 33554432000 4194304 8989770 140734134866800 140734134866296 7857787 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/25849/statm: 169236 168270 471 1171 0 168013 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 676944
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25855
/proc/meminfo: memFree=26804124/32873648 swapFree=7112/7112
[pid=25849] ppid=25847 vsize=706640 CPUtime=402.11 cores=0,2,4,6
/proc/25849/stat : 25849 (toysat) R 25847 25849 25232 0 -1 4202496 175900 0 0 0 40138 73 0 0 20 0 1 0 330019317 723599360 175687 33554432000 4194304 8989770 140734134866800 140734134866296 7697332 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/25849/statm: 176660 175687 471 1171 0 175437 0
Current children cumulated CPU time (s) 402.11
Current children cumulated vsize (KiB) 706640
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25855
/proc/meminfo: memFree=26771684/32873648 swapFree=7112/7112
[pid=25849] ppid=25847 vsize=738384 CPUtime=462.07 cores=0,2,4,6
/proc/25849/stat : 25849 (toysat) R 25847 25849 25232 0 -1 4202496 183947 0 0 0 46130 77 0 0 20 0 1 0 330019317 756105216 183689 33554432000 4194304 8989770 140734134866800 140734134865024 7697332 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/25849/statm: 184596 183689 471 1171 0 183373 0
Current children cumulated CPU time (s) 462.07
Current children cumulated vsize (KiB) 738384
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25855
/proc/meminfo: memFree=26750756/32873648 swapFree=7112/7112
[pid=25849] ppid=25847 vsize=758864 CPUtime=522.03 cores=0,2,4,6
/proc/25849/stat : 25849 (toysat) R 25847 25849 25232 0 -1 4202496 189164 0 0 0 52123 80 0 0 20 0 1 0 330019317 777076736 188866 33554432000 4194304 8989770 140734134866800 140734134866064 7697332 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/25849/statm: 189716 188866 471 1171 0 188493 0
Current children cumulated CPU time (s) 522.03
Current children cumulated vsize (KiB) 758864
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25855
/proc/meminfo: memFree=26698088/32873648 swapFree=7112/7112
[pid=25849] ppid=25847 vsize=781392 CPUtime=581.99 cores=0,2,4,6
/proc/25849/stat : 25849 (toysat) R 25847 25849 25232 0 -1 4202496 194739 0 0 0 58116 83 0 0 20 0 1 0 330019317 800145408 194399 33554432000 4194304 8989770 140734134866800 140734134865024 7697332 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/25849/statm: 195348 194399 471 1171 0 194125 0
Current children cumulated CPU time (s) 581.99
Current children cumulated vsize (KiB) 781392
[startup+642.3 s]
################
# More data... #
################
[startup+882.307 s]
/proc/loadavg: 2.10 2.03 2.01 3/177 25859
/proc/meminfo: memFree=26559044/32873648 swapFree=7112/7112
[pid=25849] ppid=25847 vsize=902224 CPUtime=881.94 cores=0,2,4,6
/proc/25849/stat : 25849 (toysat) R 25847 25849 25232 0 -1 4202496 225145 0 0 0 88092 102 0 0 20 0 1 0 330019317 923877376 224767 33554432000 4194304 8989770 140734134866800 140734134866296 7697332 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/25849/statm: 225556 224767 471 1171 0 224333 0
Current children cumulated CPU time (s) 881.94
Current children cumulated vsize (KiB) 902224
[startup+942.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 25859
/proc/meminfo: memFree=26544968/32873648 swapFree=7112/7112
[pid=25849] ppid=25847 vsize=915536 CPUtime=941.91 cores=0,2,4,6
/proc/25849/stat : 25849 (toysat) R 25847 25849 25232 0 -1 4202496 228479 0 0 0 94086 105 0 0 20 0 1 0 330019317 937508864 228101 33554432000 4194304 8989770 140734134866800 140734134866064 7857787 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/25849/statm: 228884 228101 471 1171 0 227661 0
Current children cumulated CPU time (s) 941.91
Current children cumulated vsize (KiB) 915536
[startup+1002.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 25860
/proc/meminfo: memFree=26520400/32873648 swapFree=7112/7112
[pid=25849] ppid=25847 vsize=941136 CPUtime=1001.91 cores=0,2,4,6
/proc/25849/stat : 25849 (toysat) R 25847 25849 25232 0 -1 4202496 234717 0 0 0 100082 109 0 0 20 0 1 0 330019317 963723264 234339 33554432000 4194304 8989770 140734134866800 140734134866064 7697332 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/25849/statm: 235284 234339 471 1171 0 234061 0
Current children cumulated CPU time (s) 1001.91
Current children cumulated vsize (KiB) 941136
[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 25860
/proc/meminfo: memFree=26506472/32873648 swapFree=7112/7112
[pid=25849] ppid=25847 vsize=955472 CPUtime=1061.9 cores=0,2,4,6
/proc/25849/stat : 25849 (toysat) R 25847 25849 25232 0 -1 4202496 238290 0 0 0 106078 112 0 0 20 0 1 0 330019317 978403328 237912 33554432000 4194304 8989770 140734134866800 140734134866064 7697332 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/25849/statm: 238868 237912 471 1171 0 237645 0
Current children cumulated CPU time (s) 1061.9
Current children cumulated vsize (KiB) 955472
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25860
/proc/meminfo: memFree=26477208/32873648 swapFree=7112/7112
[pid=25849] ppid=25847 vsize=968784 CPUtime=1121.89 cores=0,2,4,6
/proc/25849/stat : 25849 (toysat) R 25847 25849 25232 0 -1 4202496 241696 0 0 0 112074 115 0 0 20 0 1 0 330019317 992034816 241318 33554432000 4194304 8989770 140734134866800 140734134866064 7697332 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/25849/statm: 242196 241318 471 1171 0 240973 0
Current children cumulated CPU time (s) 1121.89
Current children cumulated vsize (KiB) 968784
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25860
/proc/meminfo: memFree=26422028/32873648 swapFree=7112/7112
[pid=25849] ppid=25847 vsize=997456 CPUtime=1181.88 cores=0,2,4,6
/proc/25849/stat : 25849 (toysat) R 25847 25849 25232 0 -1 4202496 248800 0 0 0 118070 118 0 0 20 0 1 0 330019317 1021394944 248422 33554432000 4194304 8989770 140734134866800 140734134866064 7697332 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/25849/statm: 249364 248422 471 1171 0 248141 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 997456
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25860
/proc/meminfo: memFree=26406528/32873648 swapFree=7112/7112
[pid=25849] ppid=25847 vsize=1012816 CPUtime=1241.87 cores=0,2,4,6
/proc/25849/stat : 25849 (toysat) R 25847 25849 25232 0 -1 4202496 252614 0 0 0 124066 121 0 0 20 0 1 0 330019317 1037123584 252236 33554432000 4194304 8989770 140734134866800 140734134866064 7697332 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/25849/statm: 253204 252236 471 1171 0 251981 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 1012816
[startup+1302.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 25864
/proc/meminfo: memFree=26391888/32873648 swapFree=7112/7112
[pid=25849] ppid=25847 vsize=1027152 CPUtime=1301.86 cores=0,2,4,6
/proc/25849/stat : 25849 (toysat) R 25847 25849 25232 0 -1 4202496 256325 0 0 0 130062 124 0 0 20 0 1 0 330019317 1051803648 255947 33554432000 4194304 8989770 140734134866800 140734134866064 7857787 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/25849/statm: 256788 255947 471 1171 0 255565 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 1027152
[startup+1362.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 25864
/proc/meminfo: memFree=26378132/32873648 swapFree=7112/7112
[pid=25849] ppid=25847 vsize=1041488 CPUtime=1361.86 cores=0,2,4,6
/proc/25849/stat : 25849 (toysat) R 25847 25849 25232 0 -1 4202496 259790 0 0 0 136059 127 0 0 20 0 1 0 330019317 1066483712 259412 33554432000 4194304 8989770 140734134866800 140734134866064 7697332 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/25849/statm: 260372 259412 471 1171 0 259149 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 1041488
[startup+1422.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 25864
/proc/meminfo: memFree=26345152/32873648 swapFree=7112/7112
[pid=25849] ppid=25847 vsize=1074256 CPUtime=1421.86 cores=0,2,4,6
/proc/25849/stat : 25849 (toysat) R 25847 25849 25232 0 -1 4202496 268006 0 0 0 142054 132 0 0 20 0 1 0 330019317 1100038144 267628 33554432000 4194304 8989770 140734134866800 140734134866064 7697332 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/25849/statm: 268564 267628 471 1171 0 267341 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 1074256
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 25865
/proc/meminfo: memFree=26331876/32873648 swapFree=7112/7112
[pid=25849] ppid=25847 vsize=1087568 CPUtime=1481.84 cores=0,2,4,6
/proc/25849/stat : 25849 (toysat) R 25847 25849 25232 0 -1 4202496 271320 0 0 0 148050 134 0 0 20 0 1 0 330019317 1113669632 270942 33554432000 4194304 8989770 140734134866800 140734134866064 7697332 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/25849/statm: 271892 270942 471 1171 0 270669 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 1087568
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25865
/proc/meminfo: memFree=26315640/32873648 swapFree=7112/7112
[pid=25849] ppid=25847 vsize=1102928 CPUtime=1541.83 cores=0,2,4,6
/proc/25849/stat : 25849 (toysat) R 25847 25849 25232 0 -1 4202496 275311 0 0 0 154046 137 0 0 20 0 1 0 330019317 1129398272 274920 33554432000 4194304 8989770 140734134866800 140734134865024 7697332 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/25849/statm: 275732 274920 471 1171 0 274509 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 1102928
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25866
/proc/meminfo: memFree=26295456/32873648 swapFree=7112/7112
[pid=25849] ppid=25847 vsize=1119312 CPUtime=1601.79 cores=0,2,4,6
/proc/25849/stat : 25849 (toysat) R 25847 25849 25232 0 -1 4202496 279282 0 0 0 160040 139 0 0 20 0 1 0 330019317 1146175488 278867 33554432000 4194304 8989770 140734134866800 140734134866296 7697332 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/25849/statm: 279828 278867 471 1171 0 278605 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 1119312
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25866
/proc/meminfo: memFree=26250224/32873648 swapFree=7112/7112
[pid=25849] ppid=25847 vsize=1135696 CPUtime=1661.77 cores=0,2,4,6
/proc/25849/stat : 25849 (toysat) R 25847 25849 25232 0 -1 4202496 283357 0 0 0 166035 142 0 0 20 0 1 0 330019317 1162952704 282927 33554432000 4194304 8989770 140734134866800 140734134866064 7697332 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/25849/statm: 283924 282927 471 1171 0 282701 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 1135696
[startup+1722.3 s]
/proc/loadavg: 2.03 2.00 2.00 3/177 25905
/proc/meminfo: memFree=25963228/32873648 swapFree=7112/7112
[pid=25849] ppid=25847 vsize=1154128 CPUtime=1721.76 cores=0,2,4,6
/proc/25849/stat : 25849 (toysat) R 25847 25849 25232 0 -1 4202496 288084 0 0 0 172031 145 0 0 20 0 1 0 330019317 1181827072 287651 33554432000 4194304 8989770 140734134866800 140734134866064 7697339 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/25849/statm: 288532 287651 471 1171 0 287309 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 1154128
[startup+1782.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 25905
/proc/meminfo: memFree=25946892/32873648 swapFree=7112/7112
[pid=25849] ppid=25847 vsize=1170512 CPUtime=1781.76 cores=0,2,4,6
/proc/25849/stat : 25849 (toysat) R 25847 25849 25232 0 -1 4202496 292143 0 0 0 178028 148 0 0 20 0 1 0 330019317 1198604288 291710 33554432000 4194304 8989770 140734134866800 140734134866064 7697332 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/25849/statm: 292628 291710 471 1171 0 291405 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 1170512
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 25905
/proc/meminfo: memFree=25946984/32873648 swapFree=7112/7112
[pid=25849] ppid=25847 vsize=1170512 CPUtime=1800.06 cores=0,2,4,6
/proc/25849/stat : 25849 (toysat) R 25847 25849 25232 0 -1 4202496 292143 0 0 0 179857 149 0 0 20 0 1 0 330019317 1198604288 291710 33554432000 4194304 8989770 140734134866800 140734134866064 7697332 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/25849/statm: 292628 291710 471 1171 0 291405 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1170512
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.6 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 25905
/proc/meminfo: memFree=25946984/32873648 swapFree=7112/7112
[pid=25849] ppid=25847 vsize=1170512 CPUtime=1800.06 cores=0,2,4,6
/proc/25849/stat : 25849 (toysat) R 25847 25849 25232 0 -1 4202496 292143 0 0 0 179857 149 0 0 20 0 1 0 330019317 1198604288 291710 33554432000 4194304 8989770 140734134866800 140734134866064 7697332 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/25849/statm: 292628 291710 471 1171 0 291405 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1170512
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.08
CPU user time (s): 1798.58
CPU system time (s): 1.49577
CPU usage (%): 99.9702
Max. virtual memory (cumulated for all children) (KiB): 1170512
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.58
system time used= 1.49577
maximum resident set size= 1166840
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 292143
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= 360
involuntary context switches= 2013
runsolver used 3.39148 second user time and 8.67368 second system time
The end