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-3724335-1338635142/watcher-3724335-1338635142 -o /tmp/evaluation-result-3724335-1338635142/solver-3724335-1338635142 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3724335-1338635142.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.92 1.98 1.91 2/176 10784
/proc/meminfo: memFree=28568560/32873844 swapFree=7120/7120
[pid=10784] ppid=10782 vsize=6224 CPUtime=0 cores=0,2,4,6
/proc/10784/stat : 10784 (toysat) R 10782 10784 10378 0 -1 4202496 816 0 0 0 0 0 0 0 20 0 1 0 329639105 6373376 736 33554432000 4194304 8989770 140735377248320 140735245851592 4209325 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/10784/statm: 1556 738 428 1171 0 333 0
[startup+0.0833551 s]
/proc/loadavg: 1.92 1.98 1.91 2/176 10784
/proc/meminfo: memFree=28568560/32873844 swapFree=7120/7120
[pid=10784] ppid=10782 vsize=12368 CPUtime=0.07 cores=0,2,4,6
/proc/10784/stat : 10784 (toysat) R 10782 10784 10378 0 -1 4202496 2384 0 0 0 7 0 0 0 20 0 1 0 329639105 12664832 2303 33554432000 4194304 8989770 140735377248320 140735245851592 7953280 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/10784/statm: 3092 2303 439 1171 0 1869 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 12368
[startup+0.100264 s]
/proc/loadavg: 1.92 1.98 1.91 2/176 10784
/proc/meminfo: memFree=28568560/32873844 swapFree=7120/7120
[pid=10784] ppid=10782 vsize=12368 CPUtime=0.09 cores=0,2,4,6
/proc/10784/stat : 10784 (toysat) R 10782 10784 10378 0 -1 4202496 2398 0 0 0 9 0 0 0 20 0 1 0 329639105 12664832 2317 33554432000 4194304 8989770 140735377248320 140735245851592 4209595 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/10784/statm: 3092 2317 453 1171 0 1869 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12368
[startup+0.300235 s]
/proc/loadavg: 1.92 1.98 1.91 2/176 10784
/proc/meminfo: memFree=28568560/32873844 swapFree=7120/7120
[pid=10784] ppid=10782 vsize=17488 CPUtime=0.28 cores=0,2,4,6
/proc/10784/stat : 10784 (toysat) R 10782 10784 10378 0 -1 4202496 3682 0 0 0 28 0 0 0 20 0 1 0 329639105 17907712 3601 33554432000 4194304 8989770 140735377248320 140735245851592 4208857 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/10784/statm: 4372 3601 457 1171 0 3149 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 17488
[startup+0.700246 s]
/proc/loadavg: 1.92 1.98 1.91 2/176 10784
/proc/meminfo: memFree=28568560/32873844 swapFree=7120/7120
[pid=10784] ppid=10782 vsize=19536 CPUtime=0.69 cores=0,2,4,6
/proc/10784/stat : 10784 (toysat) R 10782 10784 10378 0 -1 4202496 4198 0 0 0 68 1 0 0 20 0 1 0 329639105 20004864 4113 33554432000 4194304 8989770 140735377248320 140735377247816 7857787 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/10784/statm: 4884 4113 457 1171 0 3661 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 19536
[startup+1.50023 s]
/proc/loadavg: 1.92 1.98 1.91 3/177 10785
/proc/meminfo: memFree=28551524/32873844 swapFree=7120/7120
[pid=10784] ppid=10782 vsize=24656 CPUtime=1.48 cores=0,2,4,6
/proc/10784/stat : 10784 (toysat) R 10782 10784 10378 0 -1 4202496 5239 0 0 0 146 2 0 0 20 0 1 0 329639105 25247744 5154 33554432000 4194304 8989770 140735377248320 140735377247816 4209365 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/10784/statm: 6164 5154 457 1171 0 4941 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 24656
[startup+3.10024 s]
/proc/loadavg: 1.92 1.98 1.91 3/177 10785
/proc/meminfo: memFree=28546556/32873844 swapFree=7120/7120
[pid=10784] ppid=10782 vsize=31824 CPUtime=3.09 cores=0,2,4,6
/proc/10784/stat : 10784 (toysat) R 10782 10784 10378 0 -1 4202496 7119 0 0 0 306 3 0 0 20 0 1 0 329639105 32587776 7034 33554432000 4194304 8989770 140735377248320 140735377247816 4430136 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/10784/statm: 7956 7034 457 1171 0 6733 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 31824
[startup+6.30023 s]
/proc/loadavg: 1.93 1.98 1.91 3/177 10785
/proc/meminfo: memFree=28534156/32873844 swapFree=7120/7120
[pid=10784] ppid=10782 vsize=42064 CPUtime=6.28 cores=0,2,4,6
/proc/10784/stat : 10784 (toysat) R 10782 10784 10378 0 -1 4202496 9815 0 0 0 624 4 0 0 20 0 1 0 329639105 43073536 9730 33554432000 4194304 8989770 140735377248320 140735377247816 7953280 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/10784/statm: 10516 9730 457 1171 0 9293 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 42064
[startup+12.7002 s]
/proc/loadavg: 1.93 1.98 1.91 3/177 10785
/proc/meminfo: memFree=28505264/32873844 swapFree=7120/7120
[pid=10784] ppid=10782 vsize=70736 CPUtime=12.67 cores=0,2,4,6
/proc/10784/stat : 10784 (toysat) R 10782 10784 10378 0 -1 4202496 16834 0 0 0 1259 8 0 0 20 0 1 0 329639105 72433664 16747 33554432000 4194304 8989770 140735377248320 140735377247584 7697332 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/10784/statm: 17684 16747 457 1171 0 16461 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 70736
[startup+25.5002 s]
/proc/loadavg: 1.95 1.98 1.91 3/177 10785
/proc/meminfo: memFree=28474256/32873844 swapFree=7120/7120
[pid=10784] ppid=10782 vsize=100432 CPUtime=25.47 cores=0,2,4,6
/proc/10784/stat : 10784 (toysat) R 10782 10784 10378 0 -1 4202496 24394 0 0 0 2532 15 0 0 20 0 1 0 329639105 102842368 24299 33554432000 4194304 8989770 140735377248320 140735377247584 7697332 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/10784/statm: 25108 24299 457 1171 0 23885 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 100432
[startup+51.1002 s]
/proc/loadavg: 1.96 1.98 1.91 3/177 10785
/proc/meminfo: memFree=28450276/32873844 swapFree=7120/7120
[pid=10784] ppid=10782 vsize=125008 CPUtime=51.05 cores=0,2,4,6
/proc/10784/stat : 10784 (toysat) R 10782 10784 10378 0 -1 4202496 30410 0 0 0 5080 25 0 0 20 0 1 0 329639105 128008192 30291 33554432000 4194304 8989770 140735377248320 140735377247584 4429844 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/10784/statm: 31252 30291 459 1171 0 30029 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 125008
[startup+102.307 s]
/proc/loadavg: 1.98 1.98 1.91 3/177 10785
/proc/meminfo: memFree=28388692/32873844 swapFree=7120/7120
[pid=10784] ppid=10782 vsize=183376 CPUtime=102.23 cores=0,2,4,6
/proc/10784/stat : 10784 (toysat) R 10782 10784 10378 0 -1 4202496 45211 0 0 0 10182 41 0 0 20 0 1 0 329639105 187777024 45059 33554432000 4194304 8989770 140735377248320 140735377247816 7690037 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/10784/statm: 45844 45059 459 1171 0 44621 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 183376
[startup+162.3 s]
/proc/loadavg: 1.99 1.98 1.91 3/177 10786
/proc/meminfo: memFree=28344348/32873844 swapFree=7120/7120
[pid=10784] ppid=10782 vsize=227408 CPUtime=162.21 cores=0,2,4,6
/proc/10784/stat : 10784 (toysat) R 10782 10784 10378 0 -1 4202496 56103 0 0 0 16167 54 0 0 20 0 1 0 329639105 232865792 56070 33554432000 4194304 8989770 140735377248320 140735377247584 6591971 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/10784/statm: 56852 56070 459 1171 0 55629 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 227408
[startup+222.3 s]
/proc/loadavg: 2.05 2.00 1.91 3/177 10786
/proc/meminfo: memFree=28285696/32873844 swapFree=7120/7120
[pid=10784] ppid=10782 vsize=286800 CPUtime=222.2 cores=0,2,4,6
/proc/10784/stat : 10784 (toysat) R 10782 10784 10378 0 -1 4202496 70817 0 0 0 22152 68 0 0 20 0 1 0 329639105 293683200 70784 33554432000 4194304 8989770 140735377248320 140735377247584 7697332 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/10784/statm: 71700 70784 459 1171 0 70477 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 286800
[startup+282.3 s]
/proc/loadavg: 2.02 2.00 1.91 3/178 10789
/proc/meminfo: memFree=28231128/32873844 swapFree=7120/7120
[pid=10784] ppid=10782 vsize=323664 CPUtime=282.18 cores=0,2,4,6
/proc/10784/stat : 10784 (toysat) R 10782 10784 10378 0 -1 4202496 80180 0 0 0 28141 77 0 0 20 0 1 0 329639105 331431936 80147 33554432000 4194304 8989770 140735377248320 140735377247584 4457695 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10784/statm: 80916 80147 459 1171 0 79693 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 323664
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 10789
/proc/meminfo: memFree=28135284/32873844 swapFree=7120/7120
[pid=10784] ppid=10782 vsize=371792 CPUtime=342.17 cores=0,2,4,6
/proc/10784/stat : 10784 (toysat) R 10782 10784 10378 0 -1 4202496 92212 0 0 0 34130 87 0 0 20 0 1 0 329639105 380715008 92179 33554432000 4194304 8989770 140735377248320 140735377247816 7697332 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10784/statm: 92948 92179 459 1171 0 91725 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 371792
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 10789
/proc/meminfo: memFree=28084320/32873844 swapFree=7120/7120
[pid=10784] ppid=10782 vsize=420944 CPUtime=402.16 cores=0,2,4,6
/proc/10784/stat : 10784 (toysat) R 10782 10784 10378 0 -1 4202496 104500 0 0 0 40118 98 0 0 20 0 1 0 329639105 431046656 104467 33554432000 4194304 8989770 140735377248320 140735377247816 4209328 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10784/statm: 105236 104467 459 1171 0 104013 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 420944
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 10790
/proc/meminfo: memFree=28036952/32873844 swapFree=7120/7120
[pid=10784] ppid=10782 vsize=469072 CPUtime=462.15 cores=0,2,4,6
/proc/10784/stat : 10784 (toysat) R 10782 10784 10378 0 -1 4202496 116298 0 0 0 46108 107 0 0 20 0 1 0 329639105 480329728 116265 33554432000 4194304 8989770 140735377248320 140735377247584 6858880 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10784/statm: 117268 116265 459 1171 0 116045 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 469072
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 10790
/proc/meminfo: memFree=27986312/32873844 swapFree=7120/7120
[pid=10784] ppid=10782 vsize=492624 CPUtime=522.15 cores=0,2,4,6
/proc/10784/stat : 10784 (toysat) R 10782 10784 10378 0 -1 4202496 122420 0 0 0 52101 114 0 0 20 0 1 0 329639105 504446976 122387 33554432000 4194304 8989770 140735377248320 140735377247584 4204614 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10784/statm: 123156 122387 459 1171 0 121933 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 492624
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 10790
/proc/meminfo: memFree=27986084/32873844 swapFree=7120/7120
[pid=10784] ppid=10782 vsize=492624 CPUtime=582.14 cores=0,2,4,6
/proc/10784/stat : 10784 (toysat) R 10782 10784 10378 0 -1 4202496 122420 0 0 0 58092 122 0 0 20 0 1 0 329639105 504446976 122387 33554432000 4194304 8989770 140735377248320 140735377247584 7697332 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10784/statm: 123156 122387 459 1171 0 121933 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 492624
[startup+642.3 s]
################
# More data... #
################
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 10833
/proc/meminfo: memFree=28586568/32873844 swapFree=7120/7120
[pid=10784] ppid=10782 vsize=588880 CPUtime=881.96 cores=0,2,4,6
/proc/10784/stat : 10784 (toysat) R 10782 10784 10378 0 -1 4202496 146586 0 0 0 88036 160 0 0 20 0 1 0 329639105 603013120 146393 33554432000 4194304 8989770 140735377248320 140735377247584 7697332 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10784/statm: 147220 146393 459 1171 0 145997 0
Current children cumulated CPU time (s) 881.96
Current children cumulated vsize (KiB) 588880
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 10833
/proc/meminfo: memFree=28579528/32873844 swapFree=7120/7120
[pid=10784] ppid=10782 vsize=596048 CPUtime=941.95 cores=0,2,4,6
/proc/10784/stat : 10784 (toysat) R 10782 10784 10378 0 -1 4202496 148304 0 0 0 94027 168 0 0 20 0 1 0 329639105 610353152 148107 33554432000 4194304 8989770 140735377248320 140735377247584 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10784/statm: 149012 148107 459 1171 0 147789 0
Current children cumulated CPU time (s) 941.95
Current children cumulated vsize (KiB) 596048
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 10833
/proc/meminfo: memFree=28579652/32873844 swapFree=7120/7120
[pid=10784] ppid=10782 vsize=596048 CPUtime=1001.94 cores=0,2,4,6
/proc/10784/stat : 10784 (toysat) R 10782 10784 10378 0 -1 4202496 148304 0 0 0 100020 174 0 0 20 0 1 0 329639105 610353152 148107 33554432000 4194304 8989770 140735377248320 140735377247584 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10784/statm: 149012 148107 459 1171 0 147789 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 596048
[startup+1062.3 s]
/proc/loadavg: 2.10 2.03 1.93 3/177 10834
/proc/meminfo: memFree=28578784/32873844 swapFree=7120/7120
[pid=10784] ppid=10782 vsize=596048 CPUtime=1061.94 cores=0,2,4,6
/proc/10784/stat : 10784 (toysat) R 10782 10784 10378 0 -1 4202496 148440 0 0 0 106015 179 0 0 20 0 1 0 329639105 610353152 148243 33554432000 4194304 8989770 140735377248320 140735377247584 7697332 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10784/statm: 149012 148243 459 1171 0 147789 0
Current children cumulated CPU time (s) 1061.94
Current children cumulated vsize (KiB) 596048
[startup+1122.3 s]
/proc/loadavg: 2.04 2.02 1.93 3/177 10834
/proc/meminfo: memFree=28578784/32873844 swapFree=7120/7120
[pid=10784] ppid=10782 vsize=596048 CPUtime=1121.92 cores=0,2,4,6
/proc/10784/stat : 10784 (toysat) R 10782 10784 10378 0 -1 4202496 148440 0 0 0 112010 182 0 0 20 0 1 0 329639105 610353152 148243 33554432000 4194304 8989770 140735377248320 140735377247584 7697332 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10784/statm: 149012 148243 459 1171 0 147789 0
Current children cumulated CPU time (s) 1121.92
Current children cumulated vsize (KiB) 596048
[startup+1182.3 s]
/proc/loadavg: 2.01 2.02 1.93 3/177 10834
/proc/meminfo: memFree=28565392/32873844 swapFree=7120/7120
[pid=10784] ppid=10782 vsize=609360 CPUtime=1181.91 cores=0,2,4,6
/proc/10784/stat : 10784 (toysat) R 10782 10784 10378 0 -1 4202496 151720 0 0 0 118005 186 0 0 20 0 1 0 329639105 623984640 151523 33554432000 4194304 8989770 140735377248320 140735377247584 7697332 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10784/statm: 152340 151523 459 1171 0 151117 0
Current children cumulated CPU time (s) 1181.91
Current children cumulated vsize (KiB) 609360
[startup+1242.3 s]
/proc/loadavg: 2.05 2.03 1.94 3/177 10834
/proc/meminfo: memFree=28565516/32873844 swapFree=7120/7120
[pid=10784] ppid=10782 vsize=609360 CPUtime=1241.9 cores=0,2,4,6
/proc/10784/stat : 10784 (toysat) R 10782 10784 10378 0 -1 4202496 151720 0 0 0 123998 192 0 0 20 0 1 0 329639105 623984640 151523 33554432000 4194304 8989770 140735377248320 140735377247584 7697332 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10784/statm: 152340 151523 459 1171 0 151117 0
Current children cumulated CPU time (s) 1241.9
Current children cumulated vsize (KiB) 609360
[startup+1302.3 s]
/proc/loadavg: 2.02 2.02 1.94 3/177 10834
/proc/meminfo: memFree=28563824/32873844 swapFree=7120/7120
[pid=10784] ppid=10782 vsize=609360 CPUtime=1301.9 cores=0,2,4,6
/proc/10784/stat : 10784 (toysat) R 10782 10784 10378 0 -1 4202496 151721 0 0 0 129994 196 0 0 20 0 1 0 329639105 623984640 151523 33554432000 4194304 8989770 140735377248320 140735377247584 7697332 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10784/statm: 152340 151523 459 1171 0 151117 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 609360
[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 1.94 3/177 10835
/proc/meminfo: memFree=28563576/32873844 swapFree=7120/7120
[pid=10784] ppid=10782 vsize=609360 CPUtime=1361.88 cores=0,2,4,6
/proc/10784/stat : 10784 (toysat) R 10782 10784 10378 0 -1 4202496 151769 0 0 0 135988 200 0 0 20 0 1 0 329639105 623984640 151571 33554432000 4194304 8989770 140735377248320 140735377247584 6858796 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10784/statm: 152340 151571 459 1171 0 151117 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 609360
[startup+1422.31 s]
/proc/loadavg: 2.00 2.01 1.94 3/177 10835
/proc/meminfo: memFree=28543860/32873844 swapFree=7120/7120
[pid=10784] ppid=10782 vsize=629840 CPUtime=1421.88 cores=0,2,4,6
/proc/10784/stat : 10784 (toysat) R 10782 10784 10378 0 -1 4202496 156699 0 0 0 141983 205 0 0 20 0 1 0 329639105 644956160 156501 33554432000 4194304 8989770 140735377248320 140735377247584 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10784/statm: 157460 156501 459 1171 0 156237 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 629840
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 10838
/proc/meminfo: memFree=28539016/32873844 swapFree=7120/7120
[pid=10784] ppid=10782 vsize=633936 CPUtime=1481.87 cores=0,2,4,6
/proc/10784/stat : 10784 (toysat) R 10782 10784 10378 0 -1 4202496 157890 0 0 0 147976 211 0 0 20 0 1 0 329639105 649150464 157692 33554432000 4194304 8989770 140735377248320 140735377247584 7697332 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10784/statm: 158484 157692 459 1171 0 157261 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 633936
[startup+1542.3 s]
/proc/loadavg: 2.06 2.02 1.94 3/177 10838
/proc/meminfo: memFree=28539396/32873844 swapFree=7120/7120
[pid=10784] ppid=10782 vsize=633936 CPUtime=1541.86 cores=0,2,4,6
/proc/10784/stat : 10784 (toysat) R 10782 10784 10378 0 -1 4202496 157890 0 0 0 153970 216 0 0 20 0 1 0 329639105 649150464 157692 33554432000 4194304 8989770 140735377248320 140735377247584 4204638 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10784/statm: 158484 157692 459 1171 0 157261 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 633936
[startup+1602.3 s]
/proc/loadavg: 2.02 2.01 1.94 3/177 10838
/proc/meminfo: memFree=28539396/32873844 swapFree=7120/7120
[pid=10784] ppid=10782 vsize=633936 CPUtime=1601.85 cores=0,2,4,6
/proc/10784/stat : 10784 (toysat) R 10782 10784 10378 0 -1 4202496 157890 0 0 0 159964 221 0 0 20 0 1 0 329639105 649150464 157692 33554432000 4194304 8989770 140735377248320 140735377247584 7697332 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10784/statm: 158484 157692 459 1171 0 157261 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 633936
[startup+1662.3 s]
/proc/loadavg: 2.01 2.00 1.94 3/178 10840
/proc/meminfo: memFree=28539308/32873844 swapFree=7120/7120
[pid=10784] ppid=10782 vsize=633936 CPUtime=1661.84 cores=0,2,4,6
/proc/10784/stat : 10784 (toysat) R 10782 10784 10378 0 -1 4202496 157892 0 0 0 165958 226 0 0 20 0 1 0 329639105 649150464 157692 33554432000 4194304 8989770 140735377248320 140735377247584 7697332 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10784/statm: 158484 157692 459 1171 0 157261 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 633936
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 10840
/proc/meminfo: memFree=28538628/32873844 swapFree=7120/7120
[pid=10784] ppid=10782 vsize=634960 CPUtime=1721.83 cores=0,2,4,6
/proc/10784/stat : 10784 (toysat) R 10782 10784 10378 0 -1 4202496 157981 0 0 0 171953 230 0 0 20 0 1 0 329639105 650199040 157781 33554432000 4194304 8989770 140735377248320 140735377247584 4435091 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10784/statm: 158740 157781 459 1171 0 157517 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 634960
[startup+1782.3 s]
/proc/loadavg: 2.04 2.01 1.95 3/177 10840
/proc/meminfo: memFree=28538504/32873844 swapFree=7120/7120
[pid=10784] ppid=10782 vsize=634960 CPUtime=1781.82 cores=0,2,4,6
/proc/10784/stat : 10784 (toysat) R 10782 10784 10378 0 -1 4202496 157981 0 0 0 177946 236 0 0 20 0 1 0 329639105 650199040 157781 33554432000 4194304 8989770 140735377248320 140735377247584 7697332 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10784/statm: 158740 157781 459 1171 0 157517 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 634960
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.02 2.01 1.95 3/177 10840
/proc/meminfo: memFree=28538504/32873844 swapFree=7120/7120
[pid=10784] ppid=10782 vsize=634960 CPUtime=1800.02 cores=0,2,4,6
/proc/10784/stat : 10784 (toysat) R 10782 10784 10378 0 -1 4202496 157981 0 0 0 179764 238 0 0 20 0 1 0 329639105 650199040 157781 33554432000 4194304 8989770 140735377248320 140735377247584 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10784/statm: 158740 157781 459 1171 0 157517 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 634960
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.02 2.01 1.95 3/177 10840
/proc/meminfo: memFree=28538504/32873844 swapFree=7120/7120
[pid=10784] ppid=10782 vsize=634960 CPUtime=1800.02 cores=0,2,4,6
/proc/10784/stat : 10784 (toysat) R 10782 10784 10378 0 -1 4202496 157981 0 0 0 179764 238 0 0 20 0 1 0 329639105 650199040 157781 33554432000 4194304 8989770 140735377248320 140735377247584 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10784/statm: 158740 157781 459 1171 0 157517 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 634960
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.04
CPU user time (s): 1797.65
CPU system time (s): 2.39164
CPU usage (%): 99.9738
Max. virtual memory (cumulated for all children) (KiB): 634960
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.65
system time used= 2.39164
maximum resident set size= 631124
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 157981
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= 253
involuntary context switches= 1942
runsolver used 3.37949 second user time and 8.64668 second system time
The end