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-3725148-1338633400/watcher-3725148-1338633400 -o /tmp/evaluation-result-3725148-1338633400/solver-3725148-1338633400 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3725148-1338633400.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.99 2.00 1.72 3/176 32517
/proc/meminfo: memFree=25642784/32873648 swapFree=6852/6852
[pid=32517] ppid=32515 vsize=6224 CPUtime=0 cores=1,3,5,7
/proc/32517/stat : 32517 (toysat) R 32515 32517 32340 0 -1 4202496 817 0 0 0 0 0 0 0 20 0 1 0 329467251 6373376 737 33554432000 4194304 8989770 140734883802160 140733897849912 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/32517/statm: 1556 737 424 1171 0 333 0
[startup+0.105032 s]
/proc/loadavg: 1.99 2.00 1.72 3/176 32517
/proc/meminfo: memFree=25642784/32873648 swapFree=6852/6852
[pid=32517] ppid=32515 vsize=13392 CPUtime=0.09 cores=1,3,5,7
/proc/32517/stat : 32517 (toysat) R 32515 32517 32340 0 -1 4202496 2624 0 0 0 9 0 0 0 20 0 1 0 329467251 13713408 2544 33554432000 4194304 8989770 140734883802160 140733897849912 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/32517/statm: 3348 2544 430 1171 0 2125 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13392
[startup+0.200324 s]
/proc/loadavg: 1.99 2.00 1.72 3/176 32517
/proc/meminfo: memFree=25642784/32873648 swapFree=6852/6852
[pid=32517] ppid=32515 vsize=21584 CPUtime=0.18 cores=1,3,5,7
/proc/32517/stat : 32517 (toysat) R 32515 32517 32340 0 -1 4202496 4672 0 0 0 18 0 0 0 20 0 1 0 329467251 22102016 4592 33554432000 4194304 8989770 140734883802160 140734883801000 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/32517/statm: 5396 4592 430 1171 0 4173 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 21584
[startup+0.45123 s]
/proc/loadavg: 1.99 2.00 1.72 3/176 32517
/proc/meminfo: memFree=25642784/32873648 swapFree=6852/6852
[pid=32517] ppid=32515 vsize=35920 CPUtime=0.43 cores=1,3,5,7
/proc/32517/stat : 32517 (toysat) R 32515 32517 32340 0 -1 4202496 8256 0 0 0 42 1 0 0 20 0 1 0 329467251 36782080 8176 33554432000 4194304 8989770 140734883802160 140734883801000 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/32517/statm: 8980 8176 430 1171 0 7757 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 35920
[startup+0.700292 s]
/proc/loadavg: 1.99 2.00 1.72 3/176 32517
/proc/meminfo: memFree=25642784/32873648 swapFree=6852/6852
[pid=32517] ppid=32515 vsize=54352 CPUtime=0.69 cores=1,3,5,7
/proc/32517/stat : 32517 (toysat) R 32515 32517 32340 0 -1 4202496 12627 0 0 0 67 2 0 0 20 0 1 0 329467251 55656448 12547 33554432000 4194304 8989770 140734883802160 140734883801000 4209325 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/32517/statm: 13588 12553 435 1171 0 12365 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 54352
[startup+1.50031 s]
/proc/loadavg: 1.99 2.00 1.72 3/177 32518
/proc/meminfo: memFree=25575312/32873648 swapFree=6852/6852
[pid=32517] ppid=32515 vsize=71760 CPUtime=1.49 cores=1,3,5,7
/proc/32517/stat : 32517 (toysat) R 32515 32517 32340 0 -1 4202496 17261 0 0 0 146 3 0 0 20 0 1 0 329467251 73482240 17181 33554432000 4194304 8989770 140734883802160 140734883800128 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/32517/statm: 17940 17181 470 1171 0 16717 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 71760
[startup+3.10027 s]
/proc/loadavg: 1.99 2.00 1.73 3/177 32518
/proc/meminfo: memFree=25574808/32873648 swapFree=6852/6852
[pid=32517] ppid=32515 vsize=71760 CPUtime=3.09 cores=1,3,5,7
/proc/32517/stat : 32517 (toysat) R 32515 32517 32340 0 -1 4202496 17261 0 0 0 306 3 0 0 20 0 1 0 329467251 73482240 17181 33554432000 4194304 8989770 140734883802160 140734883801656 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/32517/statm: 17940 17181 470 1171 0 16717 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 71760
[startup+6.30028 s]
/proc/loadavg: 1.99 2.00 1.73 3/177 32518
/proc/meminfo: memFree=25564904/32873648 swapFree=6852/6852
[pid=32517] ppid=32515 vsize=83024 CPUtime=6.29 cores=1,3,5,7
/proc/32517/stat : 32517 (toysat) R 32515 32517 32340 0 -1 4202496 20077 0 0 0 624 5 0 0 20 0 1 0 329467251 85016576 19997 33554432000 4194304 8989770 140734883802160 140734883801656 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/32517/statm: 20756 19997 470 1171 0 19533 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 83024
[startup+12.7003 s]
/proc/loadavg: 1.99 2.00 1.73 3/177 32518
/proc/meminfo: memFree=25543068/32873648 swapFree=6852/6852
[pid=32517] ppid=32515 vsize=103504 CPUtime=12.69 cores=1,3,5,7
/proc/32517/stat : 32517 (toysat) R 32515 32517 32340 0 -1 4202496 25197 0 0 0 1262 7 0 0 20 0 1 0 329467251 105988096 25117 33554432000 4194304 8989770 140734883802160 140734883801656 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/32517/statm: 25876 25117 470 1171 0 24653 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 103504
[startup+25.5063 s]
/proc/loadavg: 1.99 2.00 1.73 3/177 32518
/proc/meminfo: memFree=25505112/32873648 swapFree=6852/6852
[pid=32517] ppid=32515 vsize=143440 CPUtime=25.49 cores=1,3,5,7
/proc/32517/stat : 32517 (toysat) R 32515 32517 32340 0 -1 4202496 35114 0 0 0 2538 11 0 0 20 0 1 0 329467251 146882560 35029 33554432000 4194304 8989770 140734883802160 140734883801424 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/32517/statm: 35860 35029 470 1171 0 34637 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 143440
[startup+51.1003 s]
/proc/loadavg: 1.99 2.00 1.74 3/177 32518
/proc/meminfo: memFree=25447792/32873648 swapFree=6852/6852
[pid=32517] ppid=32515 vsize=198736 CPUtime=51.07 cores=1,3,5,7
/proc/32517/stat : 32517 (toysat) R 32515 32517 32340 0 -1 4202496 48963 0 0 0 5088 19 0 0 20 0 1 0 329467251 203505664 48866 33554432000 4194304 8989770 140734883802160 140734883801424 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/32517/statm: 49684 48866 470 1171 0 48461 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 198736
[startup+102.3 s]
/proc/loadavg: 2.04 2.01 1.75 3/177 32518
/proc/meminfo: memFree=25387324/32873648 swapFree=6852/6852
[pid=32517] ppid=32515 vsize=258128 CPUtime=102.23 cores=1,3,5,7
/proc/32517/stat : 32517 (toysat) R 32515 32517 32340 0 -1 4202496 63914 0 0 0 10193 30 0 0 20 0 1 0 329467251 264323072 63779 33554432000 4194304 8989770 140734883802160 140734883801656 4209442 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/32517/statm: 64532 63779 470 1171 0 63309 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 258128
[startup+162.3 s]
/proc/loadavg: 2.01 2.01 1.76 3/177 32518
/proc/meminfo: memFree=25335664/32873648 swapFree=6852/6852
[pid=32517] ppid=32515 vsize=310352 CPUtime=162.18 cores=1,3,5,7
/proc/32517/stat : 32517 (toysat) R 32515 32517 32340 0 -1 4202496 76972 0 0 0 16178 40 0 0 20 0 1 0 329467251 317800448 76793 33554432000 4194304 8989770 140734883802160 140734883801424 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/32517/statm: 77588 76793 470 1171 0 76365 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 310352
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.77 3/178 32521
/proc/meminfo: memFree=25297560/32873648 swapFree=6852/6852
[pid=32517] ppid=32515 vsize=348240 CPUtime=222.16 cores=1,3,5,7
/proc/32517/stat : 32517 (toysat) R 32515 32517 32340 0 -1 4202496 86287 0 0 0 22169 47 0 0 20 0 1 0 329467251 356597760 86079 33554432000 4194304 8989770 140734883802160 140734883801656 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/32517/statm: 87060 86079 470 1171 0 85837 0
Current children cumulated CPU time (s) 222.16
Current children cumulated vsize (KiB) 348240
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.79 3/177 32522
/proc/meminfo: memFree=25267768/32873648 swapFree=6852/6852
[pid=32517] ppid=32515 vsize=377936 CPUtime=282.14 cores=1,3,5,7
/proc/32517/stat : 32517 (toysat) R 32515 32517 32340 0 -1 4202496 93939 0 0 0 28160 54 0 0 20 0 1 0 329467251 387006464 93731 33554432000 4194304 8989770 140734883802160 140734883801656 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/32517/statm: 94484 93731 470 1171 0 93261 0
Current children cumulated CPU time (s) 282.14
Current children cumulated vsize (KiB) 377936
[startup+342.306 s]
/proc/loadavg: 2.00 2.00 1.80 3/177 32522
/proc/meminfo: memFree=25233548/32873648 swapFree=6852/6852
[pid=32517] ppid=32515 vsize=412752 CPUtime=342.14 cores=1,3,5,7
/proc/32517/stat : 32517 (toysat) R 32515 32517 32340 0 -1 4202496 102452 0 0 0 34154 60 0 0 20 0 1 0 329467251 422658048 102244 33554432000 4194304 8989770 140734883802160 140734883801424 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/32517/statm: 103188 102244 470 1171 0 101965 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 412752
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.81 3/177 32522
/proc/meminfo: memFree=25204780/32873648 swapFree=6852/6852
[pid=32517] ppid=32515 vsize=441424 CPUtime=402.12 cores=1,3,5,7
/proc/32517/stat : 32517 (toysat) R 32515 32517 32340 0 -1 4202496 109662 0 0 0 40147 65 0 0 20 0 1 0 329467251 452018176 109454 33554432000 4194304 8989770 140734883802160 140734883801424 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/32517/statm: 110356 109454 470 1171 0 109133 0
Current children cumulated CPU time (s) 402.12
Current children cumulated vsize (KiB) 441424
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.82 3/177 32522
/proc/meminfo: memFree=25173928/32873648 swapFree=6852/6852
[pid=32517] ppid=32515 vsize=471120 CPUtime=462.1 cores=1,3,5,7
/proc/32517/stat : 32517 (toysat) R 32515 32517 32340 0 -1 4202496 117093 0 0 0 46139 71 0 0 20 0 1 0 329467251 482426880 116871 33554432000 4194304 8989770 140734883802160 140734883801424 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/32517/statm: 117780 116871 470 1171 0 116557 0
Current children cumulated CPU time (s) 462.1
Current children cumulated vsize (KiB) 471120
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.83 3/177 32522
/proc/meminfo: memFree=25148060/32873648 swapFree=6852/6852
[pid=32517] ppid=32515 vsize=495696 CPUtime=522.09 cores=1,3,5,7
/proc/32517/stat : 32517 (toysat) R 32515 32517 32340 0 -1 4202496 123303 0 0 0 52133 76 0 0 20 0 1 0 329467251 507592704 123067 33554432000 4194304 8989770 140734883802160 140734883801656 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/32517/statm: 123924 123067 470 1171 0 122701 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 495696
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.83 3/177 32523
/proc/meminfo: memFree=25123104/32873648 swapFree=6852/6852
[pid=32517] ppid=32515 vsize=521296 CPUtime=582.07 cores=1,3,5,7
/proc/32517/stat : 32517 (toysat) R 32515 32517 32340 0 -1 4202496 129630 0 0 0 58127 80 0 0 20 0 1 0 329467251 533807104 129391 33554432000 4194304 8989770 140734883802160 140734883801424 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/32517/statm: 130324 129391 470 1171 0 129101 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 521296
[startup+642.3 s]
################
# More data... #
################
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 1.86 3/177 32527
/proc/meminfo: memFree=25008516/32873648 swapFree=6852/6852
[pid=32517] ppid=32515 vsize=634960 CPUtime=882.02 cores=1,3,5,7
/proc/32517/stat : 32517 (toysat) R 32515 32517 32340 0 -1 4202496 158078 0 0 0 88101 101 0 0 20 0 1 0 329467251 650199040 157820 33554432000 4194304 8989770 140734883802160 140734883801656 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/32517/statm: 158740 157820 470 1171 0 157517 0
Current children cumulated CPU time (s) 882.02
Current children cumulated vsize (KiB) 634960
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 1.87 3/177 32527
/proc/meminfo: memFree=24987960/32873648 swapFree=6852/6852
[pid=32517] ppid=32515 vsize=655440 CPUtime=941.99 cores=1,3,5,7
/proc/32517/stat : 32517 (toysat) R 32515 32517 32340 0 -1 4202496 163214 0 0 0 94094 105 0 0 20 0 1 0 329467251 671170560 162944 33554432000 4194304 8989770 140734883802160 140734883801424 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/32517/statm: 163860 162944 470 1171 0 162637 0
Current children cumulated CPU time (s) 941.99
Current children cumulated vsize (KiB) 655440
[startup+1002.31 s]
/proc/loadavg: 2.00 2.00 1.87 3/177 32527
/proc/meminfo: memFree=24967968/32873648 swapFree=6852/6852
[pid=32517] ppid=32515 vsize=675920 CPUtime=1001.99 cores=1,3,5,7
/proc/32517/stat : 32517 (toysat) R 32515 32517 32340 0 -1 4202496 168414 0 0 0 100090 109 0 0 20 0 1 0 329467251 692142080 168143 33554432000 4194304 8989770 140734883802160 140734883801424 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/32517/statm: 168980 168143 470 1171 0 167757 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 675920
[startup+1062.3 s]
/proc/loadavg: 2.04 2.01 1.88 3/177 32527
/proc/meminfo: memFree=24955692/32873648 swapFree=6852/6852
[pid=32517] ppid=32515 vsize=688208 CPUtime=1061.97 cores=1,3,5,7
/proc/32517/stat : 32517 (toysat) R 32515 32517 32340 0 -1 4202496 171487 0 0 0 106086 111 0 0 20 0 1 0 329467251 704724992 171216 33554432000 4194304 8989770 140734883802160 140734883801424 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/32517/statm: 172052 171216 470 1171 0 170829 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 688208
[startup+1122.3 s]
/proc/loadavg: 2.07 2.02 1.90 3/177 32527
/proc/meminfo: memFree=24932384/32873648 swapFree=6852/6852
[pid=32517] ppid=32515 vsize=710736 CPUtime=1121.96 cores=1,3,5,7
/proc/32517/stat : 32517 (toysat) R 32515 32517 32340 0 -1 4202496 176994 0 0 0 112082 114 0 0 20 0 1 0 329467251 727793664 176723 33554432000 4194304 8989770 140734883802160 140734883801424 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/32517/statm: 177684 176723 470 1171 0 176461 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 710736
[startup+1182.3 s]
/proc/loadavg: 2.03 2.02 1.90 3/177 32528
/proc/meminfo: memFree=24921100/32873648 swapFree=6852/6852
[pid=32517] ppid=32515 vsize=722000 CPUtime=1181.95 cores=1,3,5,7
/proc/32517/stat : 32517 (toysat) R 32515 32517 32340 0 -1 4202496 179811 0 0 0 118077 118 0 0 20 0 1 0 329467251 739328000 179540 33554432000 4194304 8989770 140734883802160 140734883801424 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/32517/statm: 180500 179540 470 1171 0 179277 0
Current children cumulated CPU time (s) 1181.95
Current children cumulated vsize (KiB) 722000
[startup+1242.3 s]
/proc/loadavg: 2.01 2.01 1.91 3/177 32528
/proc/meminfo: memFree=24896052/32873648 swapFree=6852/6852
[pid=32517] ppid=32515 vsize=746576 CPUtime=1241.94 cores=1,3,5,7
/proc/32517/stat : 32517 (toysat) R 32515 32517 32340 0 -1 4202496 185983 0 0 0 124072 122 0 0 20 0 1 0 329467251 764493824 185712 33554432000 4194304 8989770 140734883802160 140734883801424 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/32517/statm: 186644 185712 470 1171 0 185421 0
Current children cumulated CPU time (s) 1241.94
Current children cumulated vsize (KiB) 746576
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 1.91 3/177 32528
/proc/meminfo: memFree=24872864/32873648 swapFree=6852/6852
[pid=32517] ppid=32515 vsize=769104 CPUtime=1301.93 cores=1,3,5,7
/proc/32517/stat : 32517 (toysat) R 32515 32517 32340 0 -1 4202496 191687 0 0 0 130068 125 0 0 20 0 1 0 329467251 787562496 191416 33554432000 4194304 8989770 140734883802160 140734883801424 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/32517/statm: 192276 191416 470 1171 0 191053 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 769104
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 32528
/proc/meminfo: memFree=24860828/32873648 swapFree=6852/6852
[pid=32517] ppid=32515 vsize=781392 CPUtime=1361.92 cores=1,3,5,7
/proc/32517/stat : 32517 (toysat) R 32515 32517 32340 0 -1 4202496 194711 0 0 0 136064 128 0 0 20 0 1 0 329467251 800145408 194437 33554432000 4194304 8989770 140734883802160 140734883801424 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/32517/statm: 195348 194437 470 1171 0 194125 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 781392
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 32531
/proc/meminfo: memFree=24848412/32873648 swapFree=6852/6852
[pid=32517] ppid=32515 vsize=793680 CPUtime=1421.91 cores=1,3,5,7
/proc/32517/stat : 32517 (toysat) R 32515 32517 32340 0 -1 4202496 197789 0 0 0 142059 132 0 0 20 0 1 0 329467251 812728320 197501 33554432000 4194304 8989770 140734883802160 140734883801424 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/32517/statm: 198420 197501 470 1171 0 197197 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 793680
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 32554
/proc/meminfo: memFree=24821584/32873648 swapFree=6852/6852
[pid=32517] ppid=32515 vsize=820304 CPUtime=1481.9 cores=1,3,5,7
/proc/32517/stat : 32517 (toysat) R 32515 32517 32340 0 -1 4202496 204367 0 0 0 148054 136 0 0 20 0 1 0 329467251 839991296 204075 33554432000 4194304 8989770 140734883802160 140734883801424 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/32517/statm: 205076 204075 470 1171 0 203853 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 820304
[startup+1542.3 s]
/proc/loadavg: 2.04 2.01 1.91 3/177 32555
/proc/meminfo: memFree=24811756/32873648 swapFree=6852/6852
[pid=32517] ppid=32515 vsize=830544 CPUtime=1541.9 cores=1,3,5,7
/proc/32517/stat : 32517 (toysat) R 32515 32517 32340 0 -1 4202496 207006 0 0 0 154051 139 0 0 20 0 1 0 329467251 850477056 206714 33554432000 4194304 8989770 140734883802160 140734883801424 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/32517/statm: 207636 206714 470 1171 0 206413 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 830544
[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 1.91 3/177 32555
/proc/meminfo: memFree=24799976/32873648 swapFree=6852/6852
[pid=32517] ppid=32515 vsize=841808 CPUtime=1601.88 cores=1,3,5,7
/proc/32517/stat : 32517 (toysat) R 32515 32517 32340 0 -1 4202496 209991 0 0 0 160047 141 0 0 20 0 1 0 329467251 862011392 209699 33554432000 4194304 8989770 140734883802160 140734883801424 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/32517/statm: 210452 209699 470 1171 0 209229 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 841808
[startup+1662.31 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 32555
/proc/meminfo: memFree=24786832/32873648 swapFree=6852/6852
[pid=32517] ppid=32515 vsize=856144 CPUtime=1661.87 cores=1,3,5,7
/proc/32517/stat : 32517 (toysat) R 32515 32517 32340 0 -1 4202496 213328 0 0 0 166043 144 0 0 20 0 1 0 329467251 876691456 213036 33554432000 4194304 8989770 140734883802160 140734883801424 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/32517/statm: 214036 213036 470 1171 0 212813 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 856144
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/174 32622
/proc/meminfo: memFree=24785876/32873648 swapFree=6852/6852
[pid=32517] ppid=32515 vsize=869456 CPUtime=1721.85 cores=1,3,5,7
/proc/32517/stat : 32517 (toysat) R 32515 32517 32340 0 -1 4202496 216694 0 0 0 172037 148 0 0 20 0 1 0 329467251 890322944 216402 33554432000 4194304 8989770 140734883802160 140734883801424 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/32517/statm: 217364 216402 470 1171 0 216141 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 869456
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 32632
/proc/meminfo: memFree=23820560/32873648 swapFree=6852/6852
[pid=32517] ppid=32515 vsize=884816 CPUtime=1781.85 cores=1,3,5,7
/proc/32517/stat : 32517 (toysat) R 32515 32517 32340 0 -1 4202496 220534 0 0 0 178034 151 0 0 20 0 1 0 329467251 906051584 220242 33554432000 4194304 8989770 140734883802160 140734883801424 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/32517/statm: 221204 220242 470 1171 0 219981 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 884816
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 32633
/proc/meminfo: memFree=23805060/32873648 swapFree=6852/6852
[pid=32517] ppid=32515 vsize=898128 CPUtime=1800.05 cores=1,3,5,7
/proc/32517/stat : 32517 (toysat) R 32515 32517 32340 0 -1 4202496 223948 0 0 0 179853 152 0 0 20 0 1 0 329467251 919683072 223656 33554432000 4194304 8989770 140734883802160 140734883801424 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/32517/statm: 224532 223656 470 1171 0 223309 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 898128
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 2.00 1.91 3/177 32633
/proc/meminfo: memFree=23805060/32873648 swapFree=6852/6852
[pid=32517] ppid=32515 vsize=898128 CPUtime=1800.05 cores=1,3,5,7
/proc/32517/stat : 32517 (toysat) R 32515 32517 32340 0 -1 4202496 223948 0 0 0 179853 152 0 0 20 0 1 0 329467251 919683072 223656 33554432000 4194304 8989770 140734883802160 140734883801424 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/32517/statm: 224532 223656 470 1171 0 223309 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 898128
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.52
CPU time (s): 1800.07
CPU user time (s): 1798.54
CPU system time (s): 1.53277
CPU usage (%): 99.9753
Max. virtual memory (cumulated for all children) (KiB): 898128
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.54
system time used= 1.53277
maximum resident set size= 894624
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 223948
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= 221
involuntary context switches= 1840
runsolver used 2.98055 second user time and 8.70468 second system time
The end