[...]
#
# trace file is too large. Trace was truncated at this point.
#
1056.30/1056.79 v -520745 -520746 -520747 -520748 -520749 520750 -520751 -520752 -520753
1056.30/1056.79 v -520754 -520755 -520756 -520757 -520758 -520759 -520760 -520761 -520762
1056.30/1056.79 v -520763 -520764 -520765 -520766 -520767 520768 -520769 -520770 -520771
1056.30/1056.79 v -520772 520773 -520774 -520775 -520776 -520777 -520778 -520779 -520780
1056.30/1056.79 v -520781 -520782 -520783 -520784 -520785 -520786 -520787 -520788 -520789
1056.30/1056.79 v -520790 -520791 -520792 -520793 -520794 -520795 -520796 -520797 -520798
1056.30/1056.79 v -520799 -520800 -520801 -520802 -520803 -520804 -520805 -520806 -520807
1056.30/1056.79 v -520808 -520809 -520810 -520811 -520812 -520813 -520814 -520815 -520816
1056.30/1056.79 v -520817 -520818 -520819 -520820 -520821 -520822 -520823 -520824 -520825
1056.30/1056.79 v -520826 -520827 -520828 -520829 -520830 -520831 -520832 -520833 -520834
1056.30/1056.79 v -520835 -520836 -520837 520838 -520839 -520840 -520841 -520842 -520843
1056.30/1056.79 v -520844 -520845 520846 -520847 -520848 -520849 -520850 520851 -520852 -520853
1056.30/1056.79 v -520854 -520855 -520856 -520857 -520858 -520859 -520860 -520861 -520862
1056.30/1056.79 v -520863 -520864 -520865 -520866 -520867 -520868 -520869 -520870 -520871
1056.30/1056.79 v -520872 -520873 -520874 -520875 -520876 -520877 -520878 -520879 -520880
1056.30/1056.79 v -520881 -520882 -520883 -520884 -520885 -520886 -520887 -520888 -520889
1056.30/1056.79 v -520890 -520891 -520892 -520893 -520894 -520895 -520896 -520897 -520898
1056.30/1056.79 v -520899 -520900 -520901 -520902 -520903 -520904 -520905 -520906 -520907
1056.30/1056.79 v -520908 -520909 -520910 -520911 -520912 -520913 -520914 -520915 -520916
1056.30/1056.79 v -520917 -520918 -520919 -520920 -520921 -520922 -520923 -520924 -520925
1056.30/1056.79 v -520926 -520927 -520928 -520929 -520930 -520931 -520932 -520933 -520934
1056.30/1056.79 v -520935 -520936 -520937 -520938 -520939 -520940 -520941 -520942 -520943
1056.30/1056.79 v -520944 -520945 -520946 -520947 -520948 -520949 -520950 -520951 520952
1056.30/1056.79 v -520953 -520954 520955 -520956 -520957 -520958 -520959 -520960 -520961
1056.30/1056.79 v -520962 -520963 520964 -520965 -520966 -520967 -520968 520969 -520970 -520971
1056.30/1056.79 v -520972 -520973 -520974 -520975 -520976 -520977 -520978 -520979 -520980
1056.30/1056.79 v -520981 -520982 -520983 -520984 -520985 -520986 -520987 -520988 -520989
1056.30/1056.79 v -520990 -520991 -520992 -520993 520994 -520995 -520996 -520997 -520998
1056.30/1056.79 v -520999 -521000 -521001 521002 -521003 -521004 -521005 -521006 -521007
1056.30/1056.79 v -521008 -521009 -521010 -521011 -521012 -521013 -521014 -521015 -521016
1056.30/1056.79 v -521017 -521018 -521019 -521020 -521021 -521022 -521023 -521024 -521025
1056.30/1056.79 v -521026 -521027 -521028 -521029 -521030 -521031 -521032 -521033 -521034
1056.90/1057.34 v -521035 521036 -521037 -521038 -521039 -521040 -521041 -521042 521043 -521044
1056.90/1057.34 v -521045 -521046 -521047 -521048 -521049 -521050 -521051 -521052 -521053
1056.90/1057.34 v -521054 -521055 -521056 -521057 -521058 -521059 -521060 -521061 -521062
1056.90/1057.34 v -521063 -521064 -521065 -521066 -521067 -521068 -521069 -521070 -521071
1056.90/1057.34 v -521072 521073 -521074 -521075 -521076 -521077 -521078 -521079 -521080
1056.90/1057.34 v -521081 -521082 -521083 -521084 -521085 -521086 -521087 -521088 -521089
1056.90/1057.34 v -521090 -521091 -521092 -521093 -521094 521095 -521096 -521097 -521098
1056.90/1057.34 v -521099 521100 -521101 -521102 -521103 -521104 -521105 -521106 -521107
1056.90/1057.34 v -521108 -521109 -521110 -521111 -521112 -521113 -521114 -521115 -521116
1056.90/1057.34 v -521117 -521118 -521119 -521120 -521121 -521122 -521123 -521124 -521125
1056.90/1057.34 v -521126 -521127 -521128 -521129 -521130 -521131 -521132 -521133 -521134
1056.90/1057.34 v -521135 -521136 -521137 -521138 -521139 -521140 -521141 -521142 -521143
1056.90/1057.34 v -521144 -521145 -521146 -521147 -521148 -521149 -521150 -521151 -521152
1056.90/1057.34 v -521153 -521154 -521155 -521156 -521157 -521158 -521159 -521160 -521161
1056.90/1057.34 v -521162 -521163 -521164 -521165 -521166 -521167 -521168 -521169 -521170
1056.90/1057.34 v -521171 -521172 -521173 -521174 -521175 -521176 -521177 -521178 521179 0
runsolver version 3.2.1 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node55/watcher-331590-1173185340 -o ROOT/results/node55/solver-331590-1173185340 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/331590-1173185340/picosat /tmp/evaluation/331590-1173185340/instance-331590-1173185340.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.47 1.22 1.08 3/64 27196
/proc/meminfo: memFree=1585032/2055920 swapFree=4183752/4192956
[pid=27196] ppid=27194 vsize=568 CPUtime=0
/proc/27196/stat : 27196 (picosat) R 27194 27196 25502 0 -1 4194304 69 0 0 0 0 0 0 0 18 0 1 0 338492290 581632 54 18446744073709551615 134512640 134931368 4294956704 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/27196/statm: 142 54 40 102 0 37 0
[startup+0.0707541 s]
/proc/loadavg: 1.47 1.22 1.08 3/64 27196
/proc/meminfo: memFree=1585032/2055920 swapFree=4183752/4192956
[pid=27196] ppid=27194 vsize=836 CPUtime=0.06
/proc/27196/stat : 27196 (picosat) R 27194 27196 25502 0 -1 4194304 129 0 0 0 2 4 0 0 18 0 1 0 338492290 856064 114 18446744073709551615 134512640 134931368 4294956704 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/27196/statm: 209 114 40 102 0 104 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 836
[startup+0.101755 s]
/proc/loadavg: 1.47 1.22 1.08 3/64 27196
/proc/meminfo: memFree=1585032/2055920 swapFree=4183752/4192956
[pid=27196] ppid=27194 vsize=992 CPUtime=0.09
/proc/27196/stat : 27196 (picosat) R 27194 27196 25502 0 -1 4194304 177 0 0 0 4 5 0 0 18 0 1 0 338492290 1015808 162 18446744073709551615 134512640 134931368 4294956704 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/27196/statm: 248 162 40 102 0 143 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 992
[startup+0.301774 s]
/proc/loadavg: 1.47 1.22 1.08 3/64 27196
/proc/meminfo: memFree=1585032/2055920 swapFree=4183752/4192956
[pid=27196] ppid=27194 vsize=1744 CPUtime=0.29
/proc/27196/stat : 27196 (picosat) R 27194 27196 25502 0 -1 4194304 342 0 0 0 13 16 0 0 19 0 1 0 338492290 1785856 327 18446744073709551615 134512640 134931368 4294956704 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/27196/statm: 436 327 40 102 0 331 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1744
[startup+0.701814 s]
/proc/loadavg: 1.47 1.22 1.08 3/64 27196
/proc/meminfo: memFree=1585032/2055920 swapFree=4183752/4192956
[pid=27196] ppid=27194 vsize=3036 CPUtime=0.69
/proc/27196/stat : 27196 (picosat) R 27194 27196 25502 0 -1 4194304 671 0 0 0 32 37 0 0 22 0 1 0 338492290 3108864 656 18446744073709551615 134512640 134931368 4294956704 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/27196/statm: 759 656 40 102 0 654 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3036
[startup+1.50189 s]
/proc/loadavg: 1.47 1.22 1.08 2/65 27197
/proc/meminfo: memFree=1582464/2055920 swapFree=4183752/4192956
[pid=27196] ppid=27194 vsize=5780 CPUtime=1.49
/proc/27196/stat : 27196 (picosat) R 27194 27196 25502 0 -1 4194304 1269 0 0 0 68 81 0 0 25 0 1 0 338492290 5918720 1254 18446744073709551615 134512640 134931368 4294956704 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/27196/statm: 1445 1254 40 102 0 1340 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5780
[startup+3.10104 s]
/proc/loadavg: 1.47 1.22 1.08 2/65 27197
/proc/meminfo: memFree=1581696/2055920 swapFree=4183752/4192956
[pid=27196] ppid=27194 vsize=11000 CPUtime=3.09
/proc/27196/stat : 27196 (picosat) R 27194 27196 25502 0 -1 4194304 2302 0 0 0 141 168 0 0 25 0 1 0 338492290 11264000 2287 18446744073709551615 134512640 134931368 4294956704 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/27196/statm: 2750 2287 40 102 0 2645 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11000
[startup+6.30135 s]
/proc/loadavg: 1.43 1.21 1.08 2/65 27197
/proc/meminfo: memFree=1573696/2055920 swapFree=4183752/4192956
[pid=27196] ppid=27194 vsize=17200 CPUtime=6.29
/proc/27196/stat : 27196 (picosat) R 27194 27196 25502 0 -1 4194304 4159 0 0 0 283 346 0 0 25 0 1 0 338492290 17612800 4144 18446744073709551615 134512640 134931368 4294956704 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/27196/statm: 4300 4144 40 102 0 4195 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17200
[startup+12.702 s]
/proc/loadavg: 1.39 1.21 1.08 2/65 27197
/proc/meminfo: memFree=1558912/2055920 swapFree=4183752/4192956
[pid=27196] ppid=27194 vsize=33436 CPUtime=12.69
/proc/27196/stat : 27196 (picosat) R 27194 27196 25502 0 -1 4194304 7833 0 0 0 564 705 0 0 25 0 1 0 338492290 34238464 7818 18446744073709551615 134512640 134931368 4294956704 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/27196/statm: 8359 7818 40 102 0 8254 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 33436
[startup+25.5022 s]
/proc/loadavg: 1.31 1.20 1.08 2/65 27197
/proc/meminfo: memFree=1530816/2055920 swapFree=4183752/4192956
[pid=27196] ppid=27194 vsize=64856 CPUtime=25.49
/proc/27196/stat : 27196 (picosat) R 27194 27196 25502 0 -1 4194304 14615 0 0 0 1143 1406 0 0 25 0 1 0 338492290 66412544 14600 18446744073709551615 134512640 134931368 4294956704 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/27196/statm: 16214 14600 40 102 0 16109 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 64856
[startup+51.1026 s]
/proc/loadavg: 1.20 1.18 1.08 2/65 27197
/proc/meminfo: memFree=1476608/2055920 swapFree=4183752/4192956
[pid=27196] ppid=27194 vsize=128308 CPUtime=51.08
/proc/27196/stat : 27196 (picosat) R 27194 27196 25502 0 -1 4194304 28373 0 0 0 2303 2805 0 0 25 0 1 0 338492290 131387392 28356 18446744073709551615 134512640 134931368 4294956704 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/27196/statm: 32077 28356 46 102 0 31972 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 128308
[startup+102.306 s]
/proc/loadavg: 1.09 1.15 1.07 2/65 27197
/proc/meminfo: memFree=1328512/2055920 swapFree=4183752/4192956
[pid=27196] ppid=27194 vsize=272556 CPUtime=102.27
/proc/27196/stat : 27196 (picosat) R 27194 27196 25502 0 -1 4194304 65088 0 0 0 4626 5601 0 0 25 0 1 0 338492290 279097344 65071 18446744073709551615 134512640 134931368 4294956704 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/27196/statm: 68139 65071 46 102 0 68034 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 272556
[startup+162.302 s]
/proc/loadavg: 1.03 1.12 1.07 2/65 27197
/proc/meminfo: memFree=1265792/2055920 swapFree=4183752/4192956
[pid=27196] ppid=27194 vsize=350264 CPUtime=162.25
/proc/27196/stat : 27196 (picosat) R 27194 27196 25502 0 -1 4194304 80663 0 0 0 9807 6418 0 0 25 0 1 0 338492290 358670336 80606 18446744073709551615 134512640 134931368 4294956704 18446744073709551615 134544809 0 0 4096 0 0 0 0 17 1 0 0
/proc/27196/statm: 87566 80606 48 102 0 87461 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 350264
[startup+222.303 s]
/proc/loadavg: 1.01 1.10 1.06 2/65 27197
/proc/meminfo: memFree=1264640/2055920 swapFree=4183752/4192956
[pid=27196] ppid=27194 vsize=351308 CPUtime=222.23
/proc/27196/stat : 27196 (picosat) R 27194 27196 25502 0 -1 4194304 80929 0 0 0 15805 6418 0 0 25 0 1 0 338492290 359739392 80872 18446744073709551615 134512640 134931368 4294956704 18446744073709551615 134525621 0 0 4096 0 0 0 0 17 1 0 0
/proc/27196/statm: 87827 80872 48 102 0 87722 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 351308
[startup+282.303 s]
/proc/loadavg: 1.00 1.08 1.05 2/65 27197
/proc/meminfo: memFree=1263232/2055920 swapFree=4183752/4192956
[pid=27196] ppid=27194 vsize=352628 CPUtime=282.21
/proc/27196/stat : 27196 (picosat) R 27194 27196 25502 0 -1 4194304 81274 0 0 0 21802 6419 0 0 25 0 1 0 338492290 361091072 81217 18446744073709551615 134512640 134931368 4294956704 18446744073709551615 134525621 0 0 4096 0 0 0 0 17 1 0 0
/proc/27196/statm: 88157 81217 48 102 0 88052 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 352628
[startup+342.302 s]
/proc/loadavg: 1.00 1.06 1.05 2/65 27197
/proc/meminfo: memFree=1261504/2055920 swapFree=4183752/4192956
[pid=27196] ppid=27194 vsize=354200 CPUtime=342.2
/proc/27196/stat : 27196 (picosat) R 27194 27196 25502 0 -1 4194304 81690 0 0 0 27800 6420 0 0 25 0 1 0 338492290 362700800 81633 18446744073709551615 134512640 134931368 4294956704 18446744073709551615 134525621 0 0 4096 0 0 0 0 17 1 0 0
/proc/27196/statm: 88550 81633 48 102 0 88445 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 354200
[startup+402.301 s]
/proc/loadavg: 1.00 1.05 1.04 2/65 27197
/proc/meminfo: memFree=1259648/2055920 swapFree=4183752/4192956
[pid=27196] ppid=27194 vsize=356172 CPUtime=402.18
/proc/27196/stat : 27196 (picosat) R 27194 27196 25502 0 -1 4194304 82165 0 0 0 33798 6420 0 0 25 0 1 0 338492290 364720128 82108 18446744073709551615 134512640 134931368 4294956704 18446744073709551615 134525621 0 0 4096 0 0 0 0 17 1 0 0
/proc/27196/statm: 89043 82108 48 102 0 88938 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 356172
[startup+462.302 s]
/proc/loadavg: 1.00 1.04 1.04 2/65 27197
/proc/meminfo: memFree=1257664/2055920 swapFree=4183752/4192956
[pid=27196] ppid=27194 vsize=358008 CPUtime=462.16
/proc/27196/stat : 27196 (picosat) R 27194 27196 25502 0 -1 4194304 82654 0 0 0 39796 6420 0 0 25 0 1 0 338492290 366600192 82597 18446744073709551615 134512640 134931368 4294956704 18446744073709551615 134522778 0 0 4096 0 0 0 0 17 1 0 0
/proc/27196/statm: 89502 82597 48 102 0 89397 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 358008
[startup+522.302 s]
/proc/loadavg: 1.00 1.03 1.03 2/65 27197
/proc/meminfo: memFree=1255360/2055920 swapFree=4183752/4192956
[pid=27196] ppid=27194 vsize=360368 CPUtime=522.15
/proc/27196/stat : 27196 (picosat) R 27194 27196 25502 0 -1 4194304 83238 0 0 0 45794 6421 0 0 25 0 1 0 338492290 369016832 83181 18446744073709551615 134512640 134931368 4294956704 18446744073709551615 134545307 0 0 4096 0 0 0 0 17 1 0 0
/proc/27196/statm: 90092 83181 48 102 0 89987 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 360368
[startup+582.301 s]
/proc/loadavg: 1.00 1.02 1.02 2/65 27197
/proc/meminfo: memFree=1253952/2055920 swapFree=4183752/4192956
[pid=27196] ppid=27194 vsize=361680 CPUtime=582.14
/proc/27196/stat : 27196 (picosat) R 27194 27196 25502 0 -1 4194304 83563 0 0 0 51792 6422 0 0 25 0 1 0 338492290 370360320 83506 18446744073709551615 134512640 134931368 4294956704 18446744073709551615 134544806 0 0 4096 0 0 0 0 17 1 0 0
/proc/27196/statm: 90420 83506 48 102 0 90315 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 361680
[startup+642.301 s]
/proc/loadavg: 1.00 1.01 1.02 2/65 27197
/proc/meminfo: memFree=1251520/2055920 swapFree=4183752/4192956
[pid=27196] ppid=27194 vsize=364040 CPUtime=642.12
/proc/27196/stat : 27196 (picosat) R 27194 27196 25502 0 -1 4194304 84168 0 0 0 57790 6422 0 0 25 0 1 0 338492290 372776960 84111 18446744073709551615 134512640 134931368 4294956704 18446744073709551615 134544809 0 0 4096 0 0 0 0 17 1 0 0
/proc/27196/statm: 91010 84111 48 102 0 90905 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 364040
[startup+702.302 s]
/proc/loadavg: 1.00 1.01 1.01 2/65 27197
/proc/meminfo: memFree=1249024/2055920 swapFree=4183752/4192956
[pid=27196] ppid=27194 vsize=366400 CPUtime=702.1
/proc/27196/stat : 27196 (picosat) R 27194 27196 25502 0 -1 4194304 84776 0 0 0 63787 6423 0 0 25 0 1 0 338492290 375193600 84719 18446744073709551615 134512640 134931368 4294956704 18446744073709551615 134525741 0 0 4096 0 0 0 0 17 1 0 0
/proc/27196/statm: 91600 84719 48 102 0 91495 0
Current children cumulated CPU time (s) 702.1
Current children cumulated vsize (KiB) 366400
[startup+762.306 s]
/proc/loadavg: 1.00 1.00 1.01 2/71 27355
/proc/meminfo: memFree=1243792/2055920 swapFree=4183752/4192956
[pid=27196] ppid=27194 vsize=369928 CPUtime=762.01
/proc/27196/stat : 27196 (picosat) R 27194 27196 25502 0 -1 4194304 85667 0 0 0 69777 6424 0 0 25 0 1 0 338492290 378806272 85610 18446744073709551615 134512640 134931368 4294956704 18446744073709551615 134525606 0 0 4096 0 0 0 0 17 1 0 0
/proc/27196/statm: 92482 85610 48 102 0 92377 0
Current children cumulated CPU time (s) 762.01
Current children cumulated vsize (KiB) 369928
[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27395
/proc/meminfo: memFree=1241728/2055920 swapFree=4183752/4192956
[pid=27196] ppid=27194 vsize=373064 CPUtime=821.97
/proc/27196/stat : 27196 (picosat) R 27194 27196 25502 0 -1 4194304 86457 0 0 0 75772 6425 0 0 25 0 1 0 338492290 382017536 86400 18446744073709551615 134512640 134931368 4294956704 18446744073709551615 134525661 0 0 4096 0 0 0 0 17 1 0 0
/proc/27196/statm: 93266 86400 48 102 0 93161 0
Current children cumulated CPU time (s) 821.97
Current children cumulated vsize (KiB) 373064
[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27395
/proc/meminfo: memFree=1239616/2055920 swapFree=4183752/4192956
[pid=27196] ppid=27194 vsize=375168 CPUtime=881.96
/proc/27196/stat : 27196 (picosat) R 27194 27196 25502 0 -1 4194304 86968 0 0 0 81770 6426 0 0 25 0 1 0 338492290 384172032 86911 18446744073709551615 134512640 134931368 4294956704 18446744073709551615 134525606 0 0 4096 0 0 0 0 17 1 0 0
/proc/27196/statm: 93792 86911 48 102 0 93687 0
Current children cumulated CPU time (s) 881.96
Current children cumulated vsize (KiB) 375168
[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27395
/proc/meminfo: memFree=1236672/2055920 swapFree=4183752/4192956
[pid=27196] ppid=27194 vsize=378052 CPUtime=941.94
/proc/27196/stat : 27196 (picosat) R 27194 27196 25502 0 -1 4194304 87708 0 0 0 87767 6427 0 0 25 0 1 0 338492290 387125248 87651 18446744073709551615 134512640 134931368 4294956704 18446744073709551615 134525606 0 0 4096 0 0 0 0 17 1 0 0
/proc/27196/statm: 94513 87651 48 102 0 94408 0
Current children cumulated CPU time (s) 941.94
Current children cumulated vsize (KiB) 378052
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27395
/proc/meminfo: memFree=1234112/2055920 swapFree=4183752/4192956
[pid=27196] ppid=27194 vsize=380556 CPUtime=1001.93
/proc/27196/stat : 27196 (picosat) R 27194 27196 25502 0 -1 4194304 88326 0 0 0 93765 6428 0 0 25 0 1 0 338492290 389689344 88269 18446744073709551615 134512640 134931368 4294956704 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/27196/statm: 95139 88269 48 102 0 95034 0
Current children cumulated CPU time (s) 1001.93
Current children cumulated vsize (KiB) 380556
Solver just ended. Dumping a history of the last processes samples
[startup+1023.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27395
/proc/meminfo: memFree=1232896/2055920 swapFree=4183752/4192956
[pid=27196] ppid=27194 vsize=381868 CPUtime=1023.52
/proc/27196/stat : 27196 (picosat) R 27194 27196 25502 0 -1 4194304 88656 0 0 0 95924 6428 0 0 25 0 1 0 338492290 391032832 88599 18446744073709551615 134512640 134931368 4294956704 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/27196/statm: 95467 88599 48 102 0 95362 0
Current children cumulated CPU time (s) 1023.52
Current children cumulated vsize (KiB) 381868
[startup+1036.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27395
/proc/meminfo: memFree=1232512/2055920 swapFree=4183752/4192956
[pid=27196] ppid=27194 vsize=382132 CPUtime=1036.32
/proc/27196/stat : 27196 (picosat) R 27194 27196 25502 0 -1 4194304 88746 0 0 0 97204 6428 0 0 25 0 1 0 338492290 391303168 88689 18446744073709551615 134512640 134931368 4294956704 18446744073709551615 134544748 0 0 4096 0 0 0 0 17 1 0 0
/proc/27196/statm: 95533 88689 48 102 0 95428 0
Current children cumulated CPU time (s) 1036.32
Current children cumulated vsize (KiB) 382132
[startup+1049.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27395
/proc/meminfo: memFree=1231360/2055920 swapFree=4183752/4192956
[pid=27196] ppid=27194 vsize=383316 CPUtime=1049.11
/proc/27196/stat : 27196 (picosat) R 27194 27196 25502 0 -1 4194304 89022 0 0 0 98483 6428 0 0 25 0 1 0 338492290 392515584 88965 18446744073709551615 134512640 134931368 4294956704 18446744073709551615 134522740 0 0 4096 0 0 0 0 17 1 0 0
/proc/27196/statm: 95829 88965 48 102 0 95724 0
Current children cumulated CPU time (s) 1049.11
Current children cumulated vsize (KiB) 383316
[startup+1052.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27395
/proc/meminfo: memFree=1230784/2055920 swapFree=4183752/4192956
[pid=27196] ppid=27194 vsize=383448 CPUtime=1052.31
/proc/27196/stat : 27196 (picosat) R 27194 27196 25502 0 -1 4194304 89213 0 0 0 98803 6428 0 0 25 0 1 0 338492290 392650752 89060 18446744073709551615 134512640 134931368 4294956704 18446744073709551615 134531364 0 0 4096 0 0 0 0 17 1 0 0
/proc/27196/statm: 95862 89060 48 102 0 95757 0
Current children cumulated CPU time (s) 1052.31
Current children cumulated vsize (KiB) 383448
[startup+1055.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27395
/proc/meminfo: memFree=1230784/2055920 swapFree=4183752/4192956
[pid=27196] ppid=27194 vsize=383448 CPUtime=1055.51
/proc/27196/stat : 27196 (picosat) R 27194 27196 25502 0 -1 4194304 89213 0 0 0 99123 6428 0 0 25 0 1 0 338492290 392650752 89060 18446744073709551615 134512640 134931368 4294956704 18446744073709551615 134525624 0 0 4096 0 0 0 0 17 1 0 0
/proc/27196/statm: 95862 89060 48 102 0 95757 0
Current children cumulated CPU time (s) 1055.51
Current children cumulated vsize (KiB) 383448
[startup+1056.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27395
/proc/meminfo: memFree=1230784/2055920 swapFree=4183752/4192956
[pid=27196] ppid=27194 vsize=383452 CPUtime=1056.3
/proc/27196/stat : 27196 (picosat) R 27194 27196 25502 0 -1 4194304 89218 0 0 0 99201 6429 0 0 17 0 1 0 338492290 392654848 89065 18446744073709551615 134512640 134931368 4294956704 18446744073709551615 134604509 0 0 4096 0 0 0 0 17 1 0 0
/proc/27196/statm: 95863 89065 52 102 0 95758 0
Current children cumulated CPU time (s) 1056.3
Current children cumulated vsize (KiB) 383452
[startup+1057.11 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27395
/proc/meminfo: memFree=1225984/2055920 swapFree=4183752/4192956
[pid=27196] ppid=27194 vsize=383452 CPUtime=1056.71
/proc/27196/stat : 27196 (picosat) R 27194 27196 25502 0 -1 4194304 89218 0 0 0 99242 6429 0 0 17 0 1 0 338492290 392654848 89065 18446744073709551615 134512640 134931368 4294956704 18446744073709551615 134578971 0 0 4096 0 0 0 0 17 1 0 0
/proc/27196/statm: 95863 89065 52 102 0 95758 0
Current children cumulated CPU time (s) 1056.71
Current children cumulated vsize (KiB) 383452
[startup+1057.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27395
/proc/meminfo: memFree=1225984/2055920 swapFree=4183752/4192956
[pid=27196] ppid=27194 vsize=306692 CPUtime=1056.9
/proc/27196/stat : 27196 (picosat) R 27194 27196 25502 0 -1 4194304 89218 0 0 0 99260 6430 0 0 17 0 1 0 338492290 314052608 74342 18446744073709551615 134512640 134931368 4294956704 18446744073709551615 134749290 0 0 4096 0 0 0 0 17 1 0 0
/proc/27196/statm: 76673 74342 3088 102 0 76568 0
Current children cumulated CPU time (s) 1056.9
Current children cumulated vsize (KiB) 306692
Child status: 10
Real time (s): 1057.36
CPU time (s): 1056.96
CPU user time (s): 992.609
CPU system time (s): 64.3522
CPU usage (%): 99.9623
Max. virtual memory (cumulated for all children) (KiB): 383832
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 992.609
system time used= 64.3522
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 89219
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= 233
involuntary context switches= 1336
runsolver used 0.85087 second user time and 2.24866 second system time
The end
Begin job on node55 on Tue Mar 6 12:49:18 UTC 2007
IDJOB= 331590
IDBENCH= 20591
IDSOLVER= 106
FILE ID= node55/331590-1173185340
PBS_JOBID= 4015267
Free space on /tmp= 66203 MiB
SOLVER NAME= picosat 535
BENCH NAME= HOME/pub/bench/SAT07/industrial/vliw_sat_4.0/9vliw_m_9stages_iq3_C1_bug8.cnf
COMMAND LINE= /tmp/evaluation/331590-1173185340/picosat /tmp/evaluation/331590-1173185340/instance-331590-1173185340.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node55/watcher-331590-1173185340 -o ROOT/results/node55/solver-331590-1173185340 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/331590-1173185340/picosat /tmp/evaluation/331590-1173185340/instance-331590-1173185340.cnf
META MD5SUM SOLVER= 1cb12d44dc66ecc4d20a168f5cfd1323
MD5SUM BENCH= 5fe5b52b05e512edbe82e7d139ac7362
RANDOM SEED= 817962126
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
Linux node55.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.247
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.247
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1585760 kB
Buffers: 1116 kB
Cached: 360552 kB
SwapCached: 2880 kB
Active: 368116 kB
Inactive: 40664 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1585760 kB
SwapTotal: 4192956 kB
SwapFree: 4183752 kB
Dirty: 225284 kB
Writeback: 0 kB
Mapped: 53124 kB
Slab: 47300 kB
Committed_AS: 1026120 kB
PageTables: 1536 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66203 MiB
End job on node55 on Tue Mar 6 13:06:56 UTC 2007