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-3724327-1338635145/watcher-3724327-1338635145 -o /tmp/evaluation-result-3724327-1338635145/solver-3724327-1338635145 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3724327-1338635145.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.92 2.03 1.97 3/175 7420
/proc/meminfo: memFree=27724996/32873844 swapFree=7116/7116
[pid=7420] ppid=7418 vsize=6224 CPUtime=0 cores=1,3,5,7
/proc/7420/stat : 7420 (toysat) R 7418 7420 6938 0 -1 4202496 814 0 0 0 0 0 0 0 20 0 1 0 329639530 6373376 734 33554432000 4194304 8989770 140735210890672 140735210889936 4209325 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/7420/statm: 1556 736 428 1171 0 333 0
[startup+0.053888 s]
/proc/loadavg: 1.92 2.03 1.97 3/175 7420
/proc/meminfo: memFree=27724996/32873844 swapFree=7116/7116
[pid=7420] ppid=7418 vsize=9296 CPUtime=0.04 cores=1,3,5,7
/proc/7420/stat : 7420 (toysat) R 7418 7420 6938 0 -1 4202496 1397 0 0 0 4 0 0 0 20 0 1 0 329639530 9519104 1317 33554432000 4194304 8989770 140735210890672 140735210889936 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/7420/statm: 2324 1317 457 1171 0 1101 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 9296
[startup+0.100276 s]
/proc/loadavg: 1.92 2.03 1.97 3/175 7420
/proc/meminfo: memFree=27724996/32873844 swapFree=7116/7116
[pid=7420] ppid=7418 vsize=10320 CPUtime=0.09 cores=1,3,5,7
/proc/7420/stat : 7420 (toysat) R 7418 7420 6938 0 -1 4202496 1891 0 0 0 9 0 0 0 20 0 1 0 329639530 10567680 1811 33554432000 4194304 8989770 140735210890672 140735210889936 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/7420/statm: 2580 1811 457 1171 0 1357 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10320
[startup+0.300247 s]
/proc/loadavg: 1.92 2.03 1.97 3/175 7420
/proc/meminfo: memFree=27724996/32873844 swapFree=7116/7116
[pid=7420] ppid=7418 vsize=12368 CPUtime=0.29 cores=1,3,5,7
/proc/7420/stat : 7420 (toysat) R 7418 7420 6938 0 -1 4202496 2187 0 0 0 29 0 0 0 20 0 1 0 329639530 12664832 2107 33554432000 4194304 8989770 140735210890672 140735210889936 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/7420/statm: 3092 2107 457 1171 0 1869 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12368
[startup+0.700275 s]
/proc/loadavg: 1.92 2.03 1.97 3/175 7420
/proc/meminfo: memFree=27724996/32873844 swapFree=7116/7116
[pid=7420] ppid=7418 vsize=14416 CPUtime=0.69 cores=1,3,5,7
/proc/7420/stat : 7420 (toysat) R 7418 7420 6938 0 -1 4202496 2915 0 0 0 68 1 0 0 20 0 1 0 329639530 14761984 2835 33554432000 4194304 8989770 140735210890672 140735210890168 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/7420/statm: 3604 2835 457 1171 0 2381 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14416
[startup+1.50025 s]
/proc/loadavg: 1.92 2.03 1.97 3/176 7421
/proc/meminfo: memFree=27715076/32873844 swapFree=7116/7116
[pid=7420] ppid=7418 vsize=18512 CPUtime=1.49 cores=1,3,5,7
/proc/7420/stat : 7420 (toysat) R 7418 7420 6938 0 -1 4202496 3941 0 0 0 147 2 0 0 20 0 1 0 329639530 18956288 3861 33554432000 4194304 8989770 140735210890672 140735210890168 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/7420/statm: 4628 3861 459 1171 0 3405 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18512
[startup+3.10032 s]
/proc/loadavg: 1.92 2.03 1.97 3/176 7421
/proc/meminfo: memFree=27707016/32873844 swapFree=7116/7116
[pid=7420] ppid=7418 vsize=28752 CPUtime=3.09 cores=1,3,5,7
/proc/7420/stat : 7420 (toysat) R 7418 7420 6938 0 -1 4202496 6501 0 0 0 306 3 0 0 20 0 1 0 329639530 29442048 6421 33554432000 4194304 8989770 140735210890672 140735210890168 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/7420/statm: 7188 6421 459 1171 0 5965 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 28752
[startup+6.30031 s]
/proc/loadavg: 1.93 2.03 1.97 3/176 7421
/proc/meminfo: memFree=27692260/32873844 swapFree=7116/7116
[pid=7420] ppid=7418 vsize=43088 CPUtime=6.29 cores=1,3,5,7
/proc/7420/stat : 7420 (toysat) R 7418 7420 6938 0 -1 4202496 10085 0 0 0 623 6 0 0 20 0 1 0 329639530 44122112 10005 33554432000 4194304 8989770 140735210890672 140735210889936 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/7420/statm: 10772 10005 459 1171 0 9549 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 43088
[startup+12.7003 s]
/proc/loadavg: 1.93 2.03 1.97 3/176 7421
/proc/meminfo: memFree=27663640/32873844 swapFree=7116/7116
[pid=7420] ppid=7418 vsize=66640 CPUtime=12.69 cores=1,3,5,7
/proc/7420/stat : 7420 (toysat) R 7418 7420 6938 0 -1 4202496 15851 0 0 0 1260 9 0 0 20 0 1 0 329639530 68239360 15771 33554432000 4194304 8989770 140735210890672 140735210890168 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/7420/statm: 16660 15771 459 1171 0 15437 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 66640
[startup+25.5003 s]
/proc/loadavg: 1.95 2.03 1.97 3/177 7422
/proc/meminfo: memFree=27644660/32873844 swapFree=7116/7116
[pid=7420] ppid=7418 vsize=83024 CPUtime=25.49 cores=1,3,5,7
/proc/7420/stat : 7420 (toysat) R 7418 7420 6938 0 -1 4202496 21861 0 0 0 2532 17 0 0 20 0 1 0 329639530 85016576 19989 33554432000 4194304 8989770 140735210890672 140735210890168 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/7420/statm: 20756 19989 459 1171 0 19533 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 83024
[startup+51.1003 s]
/proc/loadavg: 2.03 2.04 1.97 3/177 7422
/proc/meminfo: memFree=27631724/32873844 swapFree=7116/7116
[pid=7420] ppid=7418 vsize=95312 CPUtime=51.06 cores=1,3,5,7
/proc/7420/stat : 7420 (toysat) R 7418 7420 6938 0 -1 4202496 24956 0 0 0 5076 30 0 0 20 0 1 0 329639530 97599488 23061 33554432000 4194304 8989770 140735210890672 140735210889936 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/7420/statm: 23828 23061 459 1171 0 22605 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 95312
[startup+102.306 s]
/proc/loadavg: 2.14 2.06 1.98 3/177 7422
/proc/meminfo: memFree=27580308/32873844 swapFree=7116/7116
[pid=7420] ppid=7418 vsize=145488 CPUtime=102.22 cores=1,3,5,7
/proc/7420/stat : 7420 (toysat) R 7418 7420 6938 0 -1 4202496 37535 0 0 0 10170 52 0 0 20 0 1 0 329639530 148979712 35605 33554432000 4194304 8989770 140735210890672 140735210889936 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/7420/statm: 36372 35605 459 1171 0 35149 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 145488
[startup+162.3 s]
/proc/loadavg: 2.05 2.05 1.98 3/177 7423
/proc/meminfo: memFree=27571620/32873844 swapFree=7116/7116
[pid=7420] ppid=7418 vsize=150608 CPUtime=162.21 cores=1,3,5,7
/proc/7420/stat : 7420 (toysat) R 7418 7420 6938 0 -1 4202496 38815 0 0 0 16147 74 0 0 20 0 1 0 329639530 154222592 36885 33554432000 4194304 8989770 140735210890672 140735210890168 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/7420/statm: 37652 36885 459 1171 0 36429 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 150608
[startup+222.3 s]
/proc/loadavg: 2.02 2.04 1.98 3/177 7423
/proc/meminfo: memFree=27567828/32873844 swapFree=7116/7116
[pid=7420] ppid=7418 vsize=153680 CPUtime=222.2 cores=1,3,5,7
/proc/7420/stat : 7420 (toysat) R 7418 7420 6938 0 -1 4202496 39586 0 0 0 22126 94 0 0 20 0 1 0 329639530 157368320 37653 33554432000 4194304 8989770 140735210890672 140735210890168 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/7420/statm: 38420 37653 459 1171 0 37197 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 153680
[startup+282.3 s]
/proc/loadavg: 2.05 2.04 1.99 3/178 7426
/proc/meminfo: memFree=27563356/32873844 swapFree=7116/7116
[pid=7420] ppid=7418 vsize=154704 CPUtime=282.19 cores=1,3,5,7
/proc/7420/stat : 7420 (toysat) R 7418 7420 6938 0 -1 4202496 39842 0 0 0 28106 113 0 0 20 0 1 0 329639530 158416896 37909 33554432000 4194304 8989770 140735210890672 140735210888640 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/7420/statm: 38676 37909 459 1171 0 37453 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 154704
[startup+342.3 s]
/proc/loadavg: 2.02 2.03 1.99 3/177 7426
/proc/meminfo: memFree=27559512/32873844 swapFree=7116/7116
[pid=7420] ppid=7418 vsize=156752 CPUtime=342.18 cores=1,3,5,7
/proc/7420/stat : 7420 (toysat) R 7418 7420 6938 0 -1 4202496 40355 0 0 0 34085 133 0 0 20 0 1 0 329639530 160514048 38421 33554432000 4194304 8989770 140735210890672 140735210889936 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/7420/statm: 39188 38421 459 1171 0 37965 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 156752
[startup+402.3 s]
/proc/loadavg: 2.00 2.02 1.99 3/177 7426
/proc/meminfo: memFree=27557776/32873844 swapFree=7116/7116
[pid=7420] ppid=7418 vsize=156752 CPUtime=402.17 cores=1,3,5,7
/proc/7420/stat : 7420 (toysat) R 7418 7420 6938 0 -1 4202496 40355 0 0 0 40070 147 0 0 20 0 1 0 329639530 160514048 38421 33554432000 4194304 8989770 140735210890672 140735210890168 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/7420/statm: 39188 38421 459 1171 0 37965 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 156752
[startup+462.3 s]
/proc/loadavg: 2.00 2.02 1.99 3/176 7426
/proc/meminfo: memFree=27556728/32873844 swapFree=7116/7116
[pid=7420] ppid=7418 vsize=156752 CPUtime=462.15 cores=1,3,5,7
/proc/7420/stat : 7420 (toysat) R 7418 7420 6938 0 -1 4202496 40355 0 0 0 46052 163 0 0 20 0 1 0 329639530 160514048 38421 33554432000 4194304 8989770 140735210890672 140735210889936 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/7420/statm: 39188 38421 459 1171 0 37965 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 156752
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/177 7427
/proc/meminfo: memFree=27553868/32873844 swapFree=7116/7116
[pid=7420] ppid=7418 vsize=156752 CPUtime=522.15 cores=1,3,5,7
/proc/7420/stat : 7420 (toysat) R 7418 7420 6938 0 -1 4202496 40355 0 0 0 52026 189 0 0 20 0 1 0 329639530 160514048 38421 33554432000 4194304 8989770 140735210890672 140735210889936 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/7420/statm: 39188 38421 459 1171 0 37965 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 156752
[startup+582.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 7427
/proc/meminfo: memFree=27551692/32873844 swapFree=7116/7116
[pid=7420] ppid=7418 vsize=156752 CPUtime=582.14 cores=1,3,5,7
/proc/7420/stat : 7420 (toysat) R 7418 7420 6938 0 -1 4202496 40355 0 0 0 58006 208 0 0 20 0 1 0 329639530 160514048 38421 33554432000 4194304 8989770 140735210890672 140735210890168 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/7420/statm: 39188 38421 459 1171 0 37965 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 156752
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7428
/proc/meminfo: memFree=27543628/32873844 swapFree=7116/7116
[pid=7420] ppid=7418 vsize=156752 CPUtime=822.1 cores=1,3,5,7
/proc/7420/stat : 7420 (toysat) R 7418 7420 6938 0 -1 4202496 40355 0 0 0 81930 280 0 0 20 0 1 0 329639530 160514048 38421 33554432000 4194304 8989770 140735210890672 140735210889936 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/7420/statm: 39188 38421 459 1171 0 37965 0
Current children cumulated CPU time (s) 822.1
Current children cumulated vsize (KiB) 156752
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 7431
/proc/meminfo: memFree=27534564/32873844 swapFree=7116/7116
[pid=7420] ppid=7418 vsize=162896 CPUtime=882.09 cores=1,3,5,7
/proc/7420/stat : 7420 (toysat) R 7418 7420 6938 0 -1 4202496 41891 0 0 0 87914 295 0 0 20 0 1 0 329639530 166805504 39957 33554432000 4194304 8989770 140735210890672 140735210889936 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/7420/statm: 40724 39957 459 1171 0 39501 0
Current children cumulated CPU time (s) 882.09
Current children cumulated vsize (KiB) 162896
[startup+942.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 7431
/proc/meminfo: memFree=27508964/32873844 swapFree=7116/7116
[pid=7420] ppid=7418 vsize=186448 CPUtime=942.09 cores=1,3,5,7
/proc/7420/stat : 7420 (toysat) R 7418 7420 6938 0 -1 4202496 47780 0 0 0 93898 311 0 0 20 0 1 0 329639530 190922752 45845 33554432000 4194304 8989770 140735210890672 140735210889936 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/7420/statm: 46612 45845 459 1171 0 45389 0
Current children cumulated CPU time (s) 942.09
Current children cumulated vsize (KiB) 186448
[startup+1002.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 7431
/proc/meminfo: memFree=27506080/32873844 swapFree=7116/7116
[pid=7420] ppid=7418 vsize=186448 CPUtime=1002.08 cores=1,3,5,7
/proc/7420/stat : 7420 (toysat) R 7418 7420 6938 0 -1 4202496 47785 0 0 0 99882 326 0 0 20 0 1 0 329639530 190922752 45845 33554432000 4194304 8989770 140735210890672 140735210889936 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/7420/statm: 46612 45845 459 1171 0 45389 0
Current children cumulated CPU time (s) 1002.08
Current children cumulated vsize (KiB) 186448
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7431
/proc/meminfo: memFree=27506080/32873844 swapFree=7116/7116
[pid=7420] ppid=7418 vsize=186448 CPUtime=1062.07 cores=1,3,5,7
/proc/7420/stat : 7420 (toysat) R 7418 7420 6938 0 -1 4202496 47785 0 0 0 105866 341 0 0 20 0 1 0 329639530 190922752 45845 33554432000 4194304 8989770 140735210890672 140735210889936 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/7420/statm: 46612 45845 459 1171 0 45389 0
Current children cumulated CPU time (s) 1062.07
Current children cumulated vsize (KiB) 186448
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7432
/proc/meminfo: memFree=27501988/32873844 swapFree=7116/7116
[pid=7420] ppid=7418 vsize=186448 CPUtime=1122.05 cores=1,3,5,7
/proc/7420/stat : 7420 (toysat) R 7418 7420 6938 0 -1 4202496 47785 0 0 0 111848 357 0 0 20 0 1 0 329639530 190922752 45845 33554432000 4194304 8989770 140735210890672 140735210890168 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/7420/statm: 46612 45845 459 1171 0 45389 0
Current children cumulated CPU time (s) 1122.05
Current children cumulated vsize (KiB) 186448
[startup+1182.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 7432
/proc/meminfo: memFree=27499936/32873844 swapFree=7116/7116
[pid=7420] ppid=7418 vsize=186448 CPUtime=1182.05 cores=1,3,5,7
/proc/7420/stat : 7420 (toysat) R 7418 7420 6938 0 -1 4202496 47785 0 0 0 117828 377 0 0 20 0 1 0 329639530 190922752 45845 33554432000 4194304 8989770 140735210890672 140735210890168 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/7420/statm: 46612 45845 459 1171 0 45389 0
Current children cumulated CPU time (s) 1182.05
Current children cumulated vsize (KiB) 186448
[startup+1242.3 s]
/proc/loadavg: 2.09 2.03 2.00 3/177 7432
/proc/meminfo: memFree=27499068/32873844 swapFree=7116/7116
[pid=7420] ppid=7418 vsize=186448 CPUtime=1242.04 cores=1,3,5,7
/proc/7420/stat : 7420 (toysat) R 7418 7420 6938 0 -1 4202496 47785 0 0 0 123807 397 0 0 20 0 1 0 329639530 190922752 45845 33554432000 4194304 8989770 140735210890672 140735210890168 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/7420/statm: 46612 45845 459 1171 0 45389 0
Current children cumulated CPU time (s) 1242.04
Current children cumulated vsize (KiB) 186448
[startup+1302.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 7432
/proc/meminfo: memFree=27495528/32873844 swapFree=7116/7116
[pid=7420] ppid=7418 vsize=186448 CPUtime=1302.03 cores=1,3,5,7
/proc/7420/stat : 7420 (toysat) R 7418 7420 6938 0 -1 4202496 47785 0 0 0 129792 411 0 0 20 0 1 0 329639530 190922752 45845 33554432000 4194304 8989770 140735210890672 140735210890168 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/7420/statm: 46612 45845 459 1171 0 45389 0
Current children cumulated CPU time (s) 1302.03
Current children cumulated vsize (KiB) 186448
[startup+1362.3 s]
/proc/loadavg: 2.08 2.03 2.00 4/177 7432
/proc/meminfo: memFree=27494536/32873844 swapFree=7116/7116
[pid=7420] ppid=7418 vsize=186448 CPUtime=1362.01 cores=1,3,5,7
/proc/7420/stat : 7420 (toysat) R 7418 7420 6938 0 -1 4202496 47785 0 0 0 135773 428 0 0 20 0 1 0 329639530 190922752 45845 33554432000 4194304 8989770 140735210890672 140735210889936 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/7420/statm: 46612 45845 459 1171 0 45389 0
Current children cumulated CPU time (s) 1362.01
Current children cumulated vsize (KiB) 186448
[startup+1422.31 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 7433
/proc/meminfo: memFree=27494660/32873844 swapFree=7116/7116
[pid=7420] ppid=7418 vsize=186448 CPUtime=1422.01 cores=1,3,5,7
/proc/7420/stat : 7420 (toysat) R 7418 7420 6938 0 -1 4202496 47785 0 0 0 141755 446 0 0 20 0 1 0 329639530 190922752 45845 33554432000 4194304 8989770 140735210890672 140735210889936 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/7420/statm: 46612 45845 459 1171 0 45389 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 186448
[startup+1482.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/178 7436
/proc/meminfo: memFree=27494340/32873844 swapFree=7116/7116
[pid=7420] ppid=7418 vsize=186448 CPUtime=1482 cores=1,3,5,7
/proc/7420/stat : 7420 (toysat) R 7418 7420 6938 0 -1 4202496 47785 0 0 0 147740 460 0 0 20 0 1 0 329639530 190922752 45845 33554432000 4194304 8989770 140735210890672 140735210889936 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/7420/statm: 46612 45845 459 1171 0 45389 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 186448
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 7436
/proc/meminfo: memFree=27487404/32873844 swapFree=7116/7116
[pid=7420] ppid=7418 vsize=186448 CPUtime=1541.99 cores=1,3,5,7
/proc/7420/stat : 7420 (toysat) R 7418 7420 6938 0 -1 4202496 47785 0 0 0 153724 475 0 0 20 0 1 0 329639530 190922752 45845 33554432000 4194304 8989770 140735210890672 140735210889936 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/7420/statm: 46612 45845 459 1171 0 45389 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 186448
[startup+1602.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 7436
/proc/meminfo: memFree=27486224/32873844 swapFree=7116/7116
[pid=7420] ppid=7418 vsize=186448 CPUtime=1601.98 cores=1,3,5,7
/proc/7420/stat : 7420 (toysat) R 7418 7420 6938 0 -1 4202496 47785 0 0 0 159706 492 0 0 20 0 1 0 329639530 190922752 45845 33554432000 4194304 8989770 140735210890672 140735210889936 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/7420/statm: 46612 45845 459 1171 0 45389 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 186448
[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 7436
/proc/meminfo: memFree=27484420/32873844 swapFree=7116/7116
[pid=7420] ppid=7418 vsize=186448 CPUtime=1661.98 cores=1,3,5,7
/proc/7420/stat : 7420 (toysat) R 7418 7420 6938 0 -1 4202496 47785 0 0 0 165687 511 0 0 20 0 1 0 329639530 190922752 45845 33554432000 4194304 8989770 140735210890672 140735210889936 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/7420/statm: 46612 45845 459 1171 0 45389 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 186448
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 7437
/proc/meminfo: memFree=27482436/32873844 swapFree=7116/7116
[pid=7420] ppid=7418 vsize=186448 CPUtime=1721.96 cores=1,3,5,7
/proc/7420/stat : 7420 (toysat) R 7418 7420 6938 0 -1 4202496 47785 0 0 0 171668 528 0 0 20 0 1 0 329639530 190922752 45845 33554432000 4194304 8989770 140735210890672 140735210889936 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/7420/statm: 46612 45845 459 1171 0 45389 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 186448
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 7437
/proc/meminfo: memFree=27481936/32873844 swapFree=7116/7116
[pid=7420] ppid=7418 vsize=186448 CPUtime=1781.96 cores=1,3,5,7
/proc/7420/stat : 7420 (toysat) R 7418 7420 6938 0 -1 4202496 47785 0 0 0 177653 543 0 0 20 0 1 0 329639530 190922752 45845 33554432000 4194304 8989770 140735210890672 140735210890168 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/7420/statm: 46612 45845 459 1171 0 45389 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 186448
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7476
/proc/meminfo: memFree=27333124/32873844 swapFree=7116/7116
[pid=7420] ppid=7418 vsize=186448 CPUtime=1800.06 cores=1,3,5,7
/proc/7420/stat : 7420 (toysat) R 7418 7420 6938 0 -1 4202496 47785 0 0 0 179459 547 0 0 20 0 1 0 329639530 190922752 45845 33554432000 4194304 8989770 140735210890672 140735210889936 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/7420/statm: 46612 45845 459 1171 0 45389 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 186448
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.07
CPU user time (s): 1794.59
CPU system time (s): 5.47717
CPU usage (%): 99.9811
Max. virtual memory (cumulated for all children) (KiB): 186448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.59
system time used= 5.47717
maximum resident set size= 183380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47785
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= 71
involuntary context switches= 1851
runsolver used 3.2715 second user time and 8.88265 second system time
The end