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-3705906-1338107738/watcher-3705906-1338107738 -o /tmp/evaluation-result-3705906-1338107738/solver-3705906-1338107738 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3705906-1338107738.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.53 1.43 1.72 3/179 21702
/proc/meminfo: memFree=29780564/32873844 swapFree=7372/7372
[pid=21702] ppid=21700 vsize=7232 CPUtime=0 cores=0,2,4,6
/proc/21702/stat : 21702 (toysat) R 21700 21702 15889 0 -1 4202496 824 0 0 0 0 0 0 0 20 0 1 0 276898604 7405568 746 33554432000 4194304 8973514 140737368125728 140736238126360 7937344 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/21702/statm: 1808 746 415 1167 0 589 0
[startup+0.0546191 s]
/proc/loadavg: 1.53 1.43 1.72 3/179 21702
/proc/meminfo: memFree=29780564/32873844 swapFree=7372/7372
[pid=21702] ppid=21700 vsize=9280 CPUtime=0.04 cores=0,2,4,6
/proc/21702/stat : 21702 (toysat) R 21700 21702 15889 0 -1 4202496 1585 0 0 0 4 0 0 0 20 0 1 0 276898604 9502720 1507 33554432000 4194304 8973514 140737368125728 140736238126360 4204592 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/21702/statm: 2320 1507 416 1167 0 1101 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 9280
[startup+0.100235 s]
/proc/loadavg: 1.53 1.43 1.72 3/179 21702
/proc/meminfo: memFree=29780564/32873844 swapFree=7372/7372
[pid=21702] ppid=21700 vsize=12352 CPUtime=0.09 cores=0,2,4,6
/proc/21702/stat : 21702 (toysat) R 21700 21702 15889 0 -1 4202496 2343 0 0 0 9 0 0 0 20 0 1 0 276898604 12648448 2265 33554432000 4194304 8973514 140737368125728 140736238126360 7841851 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/21702/statm: 3088 2265 416 1167 0 1869 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12352
[startup+0.300231 s]
/proc/loadavg: 1.53 1.43 1.72 3/179 21702
/proc/meminfo: memFree=29780564/32873844 swapFree=7372/7372
[pid=21702] ppid=21700 vsize=23616 CPUtime=0.29 cores=0,2,4,6
/proc/21702/stat : 21702 (toysat) R 21700 21702 15889 0 -1 4202496 5169 0 0 0 28 1 0 0 20 0 1 0 276898604 24182784 5091 33554432000 4194304 8973514 140737368125728 140736238126360 7937344 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/21702/statm: 5904 5091 416 1167 0 4685 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 23616
[startup+0.700232 s]
/proc/loadavg: 1.53 1.43 1.72 3/179 21702
/proc/meminfo: memFree=29780564/32873844 swapFree=7372/7372
[pid=21702] ppid=21700 vsize=49216 CPUtime=0.69 cores=0,2,4,6
/proc/21702/stat : 21702 (toysat) R 21700 21702 15889 0 -1 4202496 11571 0 0 0 66 3 0 0 20 0 1 0 276898604 50397184 11493 33554432000 4194304 8973514 140737368125728 140737368125224 5744605 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/21702/statm: 12304 11493 418 1167 0 11085 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 49216
[startup+1.50023 s]
/proc/loadavg: 1.53 1.43 1.72 3/180 21703
/proc/meminfo: memFree=29720044/32873844 swapFree=7372/7372
[pid=21702] ppid=21700 vsize=81984 CPUtime=1.49 cores=0,2,4,6
/proc/21702/stat : 21702 (toysat) R 21700 21702 15889 0 -1 4202496 19795 0 0 0 144 5 0 0 20 0 1 0 276898604 83951616 19717 33554432000 4194304 8973514 140737368125728 140737368124832 6748561 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/21702/statm: 20496 19717 444 1167 0 19277 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 81984
[startup+3.10024 s]
/proc/loadavg: 1.53 1.43 1.72 3/180 21703
/proc/meminfo: memFree=29715696/32873844 swapFree=7372/7372
[pid=21702] ppid=21700 vsize=66624 CPUtime=3.08 cores=0,2,4,6
/proc/21702/stat : 21702 (toysat) R 21700 21702 15889 0 -1 4202496 19795 0 0 0 303 5 0 0 20 0 1 0 276898604 68222976 15877 33554432000 4194304 8973514 140737368125728 140737368125224 7654005 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/21702/statm: 16656 15877 444 1167 0 15437 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 66624
[startup+6.30024 s]
/proc/loadavg: 1.57 1.44 1.72 3/180 21703
/proc/meminfo: memFree=29707992/32873844 swapFree=7372/7372
[pid=21702] ppid=21700 vsize=66624 CPUtime=6.29 cores=0,2,4,6
/proc/21702/stat : 21702 (toysat) R 21700 21702 15889 0 -1 4202496 19795 0 0 0 622 7 0 0 20 0 1 0 276898604 68222976 15877 33554432000 4194304 8973514 140737368125728 140737368124992 4204286 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/21702/statm: 16656 15877 444 1167 0 15437 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 66624
[startup+12.7002 s]
/proc/loadavg: 1.60 1.45 1.72 3/180 21703
/proc/meminfo: memFree=29690912/32873844 swapFree=7372/7372
[pid=21702] ppid=21700 vsize=75840 CPUtime=12.68 cores=0,2,4,6
/proc/21702/stat : 21702 (toysat) R 21700 21702 15889 0 -1 4202496 21992 0 0 0 1259 9 0 0 20 0 1 0 276898604 77660160 18074 33554432000 4194304 8973514 140737368125728 140737368125224 4362934 0 0 0 34082818 0 0 0 17 6 0 0 0 0 0
/proc/21702/statm: 18960 18074 444 1167 0 17741 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 75840
[startup+25.5003 s]
/proc/loadavg: 1.69 1.48 1.72 3/179 21703
/proc/meminfo: memFree=29646008/32873844 swapFree=7372/7372
[pid=21702] ppid=21700 vsize=98368 CPUtime=25.48 cores=0,2,4,6
/proc/21702/stat : 21702 (toysat) R 21700 21702 15889 0 -1 4202496 27588 0 0 0 2532 16 0 0 20 0 1 0 276898604 100728832 23670 33554432000 4194304 8973514 140737368125728 140737368125224 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21702/statm: 24592 23670 444 1167 0 23373 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 98368
[startup+51.1003 s]
/proc/loadavg: 1.79 1.52 1.73 3/179 21703
/proc/meminfo: memFree=29576660/32873844 swapFree=7372/7372
[pid=21702] ppid=21700 vsize=149568 CPUtime=51.08 cores=0,2,4,6
/proc/21702/stat : 21702 (toysat) R 21700 21702 15889 0 -1 4202496 40365 0 0 0 5077 31 0 0 20 0 1 0 276898604 153157632 36447 33554432000 4194304 8973514 140737368125728 140737368125224 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21702/statm: 37392 36447 444 1167 0 36173 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 149568
[startup+102.307 s]
/proc/loadavg: 1.91 1.59 1.74 3/179 21704
/proc/meminfo: memFree=29453572/32873844 swapFree=7372/7372
[pid=21702] ppid=21700 vsize=225344 CPUtime=102.27 cores=0,2,4,6
/proc/21702/stat : 21702 (toysat) R 21700 21702 15889 0 -1 4202496 59436 0 0 0 10179 48 0 0 20 0 1 0 276898604 230752256 55518 33554432000 4194304 8973514 140737368125728 140737368124992 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21702/statm: 56336 55518 444 1167 0 55117 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 225344
[startup+162.3 s]
/proc/loadavg: 2.00 1.68 1.76 3/179 21704
/proc/meminfo: memFree=29346464/32873844 swapFree=7372/7372
[pid=21702] ppid=21700 vsize=289856 CPUtime=162.26 cores=0,2,4,6
/proc/21702/stat : 21702 (toysat) R 21700 21702 15889 0 -1 4202496 75564 0 0 0 16156 70 0 0 20 0 1 0 276898604 296812544 71646 33554432000 4194304 8973514 140737368125728 140737368124992 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21702/statm: 72464 71646 444 1167 0 71245 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 289856
[startup+222.3 s]
/proc/loadavg: 2.03 1.75 1.77 3/179 21704
/proc/meminfo: memFree=29248440/32873844 swapFree=7372/7372
[pid=21702] ppid=21700 vsize=356416 CPUtime=222.24 cores=0,2,4,6
/proc/21702/stat : 21702 (toysat) R 21700 21702 15889 0 -1 4202496 92111 0 0 0 22135 89 0 0 20 0 1 0 276898604 364969984 88176 33554432000 4194304 8973514 140737368125728 140737368124992 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21702/statm: 89104 88176 444 1167 0 87885 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 356416
[startup+282.3 s]
/proc/loadavg: 2.01 1.79 1.79 3/180 21707
/proc/meminfo: memFree=29164512/32873844 swapFree=7372/7372
[pid=21702] ppid=21700 vsize=403520 CPUtime=282.19 cores=0,2,4,6
/proc/21702/stat : 21702 (toysat) R 21700 21702 15889 0 -1 4202496 104084 0 0 0 28116 103 0 0 20 0 1 0 276898604 413204480 100101 33554432000 4194304 8973514 140737368125728 140737368125224 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21702/statm: 100880 100101 444 1167 0 99661 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 403520
[startup+342.3 s]
/proc/loadavg: 2.00 1.83 1.80 3/179 21707
/proc/meminfo: memFree=29096844/32873844 swapFree=7372/7372
[pid=21702] ppid=21700 vsize=448576 CPUtime=342.14 cores=0,2,4,6
/proc/21702/stat : 21702 (toysat) R 21700 21702 15889 0 -1 4202496 115307 0 0 0 34094 120 0 0 20 0 1 0 276898604 459341824 111276 33554432000 4194304 8973514 140737368125728 140737368125224 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21702/statm: 112144 111276 444 1167 0 110925 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 448576
[startup+402.3 s]
/proc/loadavg: 2.00 1.85 1.81 3/179 21708
/proc/meminfo: memFree=29047644/32873844 swapFree=7372/7372
[pid=21702] ppid=21700 vsize=481344 CPUtime=402.1 cores=0,2,4,6
/proc/21702/stat : 21702 (toysat) R 21700 21702 15889 0 -1 4202496 123515 0 0 0 40078 132 0 0 20 0 1 0 276898604 492896256 119437 33554432000 4194304 8973514 140737368125728 140737368124992 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21702/statm: 120336 119437 444 1167 0 119117 0
Current children cumulated CPU time (s) 402.1
Current children cumulated vsize (KiB) 481344
[startup+462.3 s]
/proc/loadavg: 2.00 1.88 1.82 3/179 21708
/proc/meminfo: memFree=29011960/32873844 swapFree=7372/7372
[pid=21702] ppid=21700 vsize=510016 CPUtime=462.05 cores=0,2,4,6
/proc/21702/stat : 21702 (toysat) R 21700 21702 15889 0 -1 4202496 130728 0 0 0 46062 143 0 0 20 0 1 0 276898604 522256384 126611 33554432000 4194304 8973514 140737368125728 140737368124992 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21702/statm: 127504 126611 444 1167 0 126285 0
Current children cumulated CPU time (s) 462.05
Current children cumulated vsize (KiB) 510016
[startup+522.3 s]
/proc/loadavg: 2.00 1.90 1.83 3/179 21708
/proc/meminfo: memFree=28965860/32873844 swapFree=7372/7372
[pid=21702] ppid=21700 vsize=549952 CPUtime=522.03 cores=0,2,4,6
/proc/21702/stat : 21702 (toysat) R 21700 21702 15889 0 -1 4202496 140653 0 0 0 52048 155 0 0 20 0 1 0 276898604 563150848 136516 33554432000 4194304 8973514 140737368125728 140737368124992 7659793 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21702/statm: 137488 136516 444 1167 0 136269 0
Current children cumulated CPU time (s) 522.03
Current children cumulated vsize (KiB) 549952
[startup+582.3 s]
/proc/loadavg: 2.04 1.93 1.84 3/179 21708
/proc/meminfo: memFree=28913956/32873844 swapFree=7372/7372
[pid=21702] ppid=21700 vsize=569408 CPUtime=582.02 cores=0,2,4,6
/proc/21702/stat : 21702 (toysat) R 21700 21702 15889 0 -1 4202496 145711 0 0 0 58037 165 0 0 20 0 1 0 276898604 583073792 141573 33554432000 4194304 8973514 140737368125728 140737368124992 4204638 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21702/statm: 142352 141573 444 1167 0 141133 0
Current children cumulated CPU time (s) 582.02
Current children cumulated vsize (KiB) 569408
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.03 1.97 1.87 3/179 21709
/proc/meminfo: memFree=28745504/32873844 swapFree=7372/7372
[pid=21702] ppid=21700 vsize=673856 CPUtime=821.99 cores=0,2,4,6
/proc/21702/stat : 21702 (toysat) R 21700 21702 15889 0 -1 4202496 171717 0 0 0 81993 206 0 0 20 0 1 0 276898604 690028544 167579 33554432000 4194304 8973514 140737368125728 140737368124992 7681396 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21702/statm: 168464 167579 444 1167 0 167245 0
Current children cumulated CPU time (s) 821.99
Current children cumulated vsize (KiB) 673856
[startup+882.3 s]
/proc/loadavg: 2.01 1.97 1.87 3/180 21712
/proc/meminfo: memFree=28729420/32873844 swapFree=7372/7372
[pid=21702] ppid=21700 vsize=690240 CPUtime=881.97 cores=0,2,4,6
/proc/21702/stat : 21702 (toysat) R 21700 21702 15889 0 -1 4202496 175759 0 0 0 87981 216 0 0 20 0 1 0 276898604 706805760 171621 33554432000 4194304 8973514 140737368125728 140737368124992 7681396 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21702/statm: 172560 171621 444 1167 0 171341 0
Current children cumulated CPU time (s) 881.97
Current children cumulated vsize (KiB) 690240
[startup+942.3 s]
/proc/loadavg: 2.00 1.97 1.88 3/179 21712
/proc/meminfo: memFree=28706984/32873844 swapFree=7372/7372
[pid=21702] ppid=21700 vsize=711744 CPUtime=941.97 cores=0,2,4,6
/proc/21702/stat : 21702 (toysat) R 21700 21702 15889 0 -1 4202496 181260 0 0 0 93971 226 0 0 20 0 1 0 276898604 728825856 177122 33554432000 4194304 8973514 140737368125728 140737368125224 7681396 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21702/statm: 177936 177122 444 1167 0 176717 0
Current children cumulated CPU time (s) 941.97
Current children cumulated vsize (KiB) 711744
[startup+1002.3 s]
/proc/loadavg: 2.00 1.97 1.88 3/179 21713
/proc/meminfo: memFree=28673752/32873844 swapFree=7372/7372
[pid=21702] ppid=21700 vsize=733248 CPUtime=1001.95 cores=0,2,4,6
/proc/21702/stat : 21702 (toysat) R 21700 21702 15889 0 -1 4202496 186671 0 0 0 99960 235 0 0 20 0 1 0 276898604 750845952 182533 33554432000 4194304 8973514 140737368125728 140737368124992 7681396 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21702/statm: 183312 182533 444 1167 0 182093 0
Current children cumulated CPU time (s) 1001.95
Current children cumulated vsize (KiB) 733248
[startup+1062.3 s]
/proc/loadavg: 2.05 1.99 1.89 3/179 21713
/proc/meminfo: memFree=28641016/32873844 swapFree=7372/7372
[pid=21702] ppid=21700 vsize=743488 CPUtime=1061.94 cores=0,2,4,6
/proc/21702/stat : 21702 (toysat) R 21700 21702 15889 0 -1 4202496 189231 0 0 0 105949 245 0 0 20 0 1 0 276898604 761331712 185093 33554432000 4194304 8973514 140737368125728 140737368124992 7681396 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21702/statm: 185872 185093 444 1167 0 184653 0
Current children cumulated CPU time (s) 1061.94
Current children cumulated vsize (KiB) 743488
[startup+1122.3 s]
/proc/loadavg: 2.02 1.99 1.90 3/179 21713
/proc/meminfo: memFree=28607412/32873844 swapFree=7372/7372
[pid=21702] ppid=21700 vsize=758848 CPUtime=1121.94 cores=0,2,4,6
/proc/21702/stat : 21702 (toysat) R 21700 21702 15889 0 -1 4202496 193071 0 0 0 111940 254 0 0 20 0 1 0 276898604 777060352 188933 33554432000 4194304 8973514 140737368125728 140737368125224 7681396 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21702/statm: 189712 188933 444 1167 0 188493 0
Current children cumulated CPU time (s) 1121.94
Current children cumulated vsize (KiB) 758848
[startup+1182.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/179 21713
/proc/meminfo: memFree=28582364/32873844 swapFree=7372/7372
[pid=21702] ppid=21700 vsize=771136 CPUtime=1181.93 cores=0,2,4,6
/proc/21702/stat : 21702 (toysat) R 21700 21702 15889 0 -1 4202496 196143 0 0 0 117930 263 0 0 20 0 1 0 276898604 789643264 192005 33554432000 4194304 8973514 140737368125728 140737368124992 7681396 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21702/statm: 192784 192005 444 1167 0 191565 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 771136
[startup+1242.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/179 21713
/proc/meminfo: memFree=28546744/32873844 swapFree=7372/7372
[pid=21702] ppid=21700 vsize=785472 CPUtime=1241.89 cores=0,2,4,6
/proc/21702/stat : 21702 (toysat) R 21700 21702 15889 0 -1 4202496 199620 0 0 0 123918 271 0 0 20 0 1 0 276898604 804323328 195442 33554432000 4194304 8973514 140737368125728 140737368124992 7681396 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21702/statm: 196368 195442 444 1167 0 195149 0
Current children cumulated CPU time (s) 1241.89
Current children cumulated vsize (KiB) 785472
[startup+1302.3 s]
/proc/loadavg: 2.03 2.00 1.91 3/179 21714
/proc/meminfo: memFree=28512672/32873844 swapFree=7372/7372
[pid=21702] ppid=21700 vsize=803904 CPUtime=1301.87 cores=0,2,4,6
/proc/21702/stat : 21702 (toysat) R 21700 21702 15889 0 -1 4202496 204402 0 0 0 129907 280 0 0 20 0 1 0 276898604 823197696 200197 33554432000 4194304 8973514 140737368125728 140737368124992 7681396 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21702/statm: 200976 200197 444 1167 0 199757 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 803904
[startup+1362.3 s]
/proc/loadavg: 2.01 2.00 1.91 3/179 21714
/proc/meminfo: memFree=28479128/32873844 swapFree=7372/7372
[pid=21702] ppid=21700 vsize=821312 CPUtime=1361.85 cores=0,2,4,6
/proc/21702/stat : 21702 (toysat) R 21700 21702 15889 0 -1 4202496 208549 0 0 0 135897 288 0 0 20 0 1 0 276898604 841023488 204334 33554432000 4194304 8973514 140737368125728 140737368124992 7681396 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21702/statm: 205328 204334 444 1167 0 204109 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 821312
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 21714
/proc/meminfo: memFree=28450980/32873844 swapFree=7372/7372
[pid=21702] ppid=21700 vsize=830528 CPUtime=1421.85 cores=0,2,4,6
/proc/21702/stat : 21702 (toysat) R 21700 21702 15889 0 -1 4202496 210905 0 0 0 141890 295 0 0 20 0 1 0 276898604 850460672 206690 33554432000 4194304 8973514 140737368125728 140737368124992 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21702/statm: 207632 206690 444 1167 0 206413 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 830528
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/180 21717
/proc/meminfo: memFree=28426544/32873844 swapFree=7372/7372
[pid=21702] ppid=21700 vsize=843840 CPUtime=1481.84 cores=0,2,4,6
/proc/21702/stat : 21702 (toysat) R 21700 21702 15889 0 -1 4202496 214396 0 0 0 147882 302 0 0 20 0 1 0 276898604 864092160 210181 33554432000 4194304 8973514 140737368125728 140737368124992 7681396 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21702/statm: 210960 210181 444 1167 0 209741 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 843840
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/180 21740
/proc/meminfo: memFree=28392568/32873844 swapFree=7372/7372
[pid=21702] ppid=21700 vsize=859200 CPUtime=1541.82 cores=0,2,4,6
/proc/21702/stat : 21702 (toysat) R 21700 21702 15889 0 -1 4202496 217989 0 0 0 153874 308 0 0 20 0 1 0 276898604 879820800 213774 33554432000 4194304 8973514 140737368125728 140737368124992 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21702/statm: 214800 213774 444 1167 0 213581 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 859200
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 21740
/proc/meminfo: memFree=28370264/32873844 swapFree=7372/7372
[pid=21702] ppid=21700 vsize=868416 CPUtime=1601.81 cores=0,2,4,6
/proc/21702/stat : 21702 (toysat) R 21700 21702 15889 0 -1 4202496 220393 0 0 0 159865 316 0 0 20 0 1 0 276898604 889257984 216178 33554432000 4194304 8973514 140737368125728 140737368125224 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21702/statm: 217104 216178 444 1167 0 215885 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 868416
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 21741
/proc/meminfo: memFree=28337620/32873844 swapFree=7372/7372
[pid=21702] ppid=21700 vsize=883776 CPUtime=1661.8 cores=0,2,4,6
/proc/21702/stat : 21702 (toysat) R 21700 21702 15889 0 -1 4202496 224380 0 0 0 165856 324 0 0 20 0 1 0 276898604 904986624 220165 33554432000 4194304 8973514 140737368125728 140737368124992 7669587 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21702/statm: 220944 220165 444 1167 0 219725 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 883776
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 21741
/proc/meminfo: memFree=28313220/32873844 swapFree=7372/7372
[pid=21702] ppid=21700 vsize=900160 CPUtime=1721.79 cores=0,2,4,6
/proc/21702/stat : 21702 (toysat) R 21700 21702 15889 0 -1 4202496 228476 0 0 0 171848 331 0 0 20 0 1 0 276898604 921763840 224261 33554432000 4194304 8973514 140737368125728 140737368124992 7681396 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21702/statm: 225040 224261 444 1167 0 223821 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 900160
[startup+1782.3 s]
/proc/loadavg: 1.66 1.92 1.89 2/173 21766
/proc/meminfo: memFree=29007608/32873844 swapFree=7372/7372
[pid=21702] ppid=21700 vsize=922688 CPUtime=1781.78 cores=0,2,4,6
/proc/21702/stat : 21702 (toysat) R 21700 21702 15889 0 -1 4202496 234108 0 0 0 177840 338 0 0 20 0 1 0 276898604 944832512 229893 33554432000 4194304 8973514 140737368125728 140737368124992 7681396 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21702/statm: 230672 229893 444 1167 0 229453 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 922688
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 1.47 1.86 1.87 2/173 21766
/proc/meminfo: memFree=29006616/32873844 swapFree=7372/7372
[pid=21702] ppid=21700 vsize=923712 CPUtime=1800.09 cores=0,2,4,6
/proc/21702/stat : 21702 (toysat) R 21700 21702 15889 0 -1 4202496 234364 0 0 0 179669 340 0 0 20 0 1 0 276898604 945881088 230149 33554432000 4194304 8973514 140737368125728 140737368124992 4209187 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21702/statm: 230928 230149 444 1167 0 229709 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 923712
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.62
CPU time (s): 1800.11
CPU user time (s): 1796.7
CPU system time (s): 3.41748
CPU usage (%): 99.9717
Max. virtual memory (cumulated for all children) (KiB): 923712
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.7
system time used= 3.41748
maximum resident set size= 920596
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 234364
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= 302
involuntary context switches= 1922
runsolver used 3.76043 second user time and 8.76467 second system time
The end