[...]
#
# trace file is too large. Trace was truncated at this point.
#
794.48/794.79 v -520722 -520723 -520724 -520725 -520726 -520727 -520728 -520729 -520730
794.48/794.79 v -520731 -520732 -520733 -520734 -520735 -520736 -520737 -520738 -520739
794.48/794.79 v -520740 -520741 -520742 -520743 520744 -520745 -520746 -520747 -520748
794.48/794.79 v -520749 -520750 -520751 -520752 -520753 -520754 -520755 -520756 -520757
794.48/794.79 v -520758 -520759 -520760 -520761 -520762 -520763 -520764 -520765 -520766
794.48/794.79 v 520767 -520768 -520769 520770 -520771 -520772 -520773 -520774 -520775 -520776
794.48/794.79 v -520777 -520778 -520779 -520780 -520781 -520782 -520783 -520784 -520785
794.48/794.79 v -520786 -520787 -520788 -520789 -520790 -520791 -520792 -520793 520794
794.48/794.79 v -520795 -520796 -520797 -520798 -520799 -520800 -520801 -520802 -520803
794.48/794.79 v -520804 520805 520806 520807 520808 520809 520810 520811 520812 -520813
794.48/794.79 v -520814 -520815 -520816 520817 -520818 -520819 -520820 -520821 520822 -520823
794.48/794.79 v -520824 -520825 -520826 -520827 -520828 -520829 -520830 -520831 -520832
794.48/794.79 v -520833 -520834 -520835 -520836 -520837 -520838 -520839 -520840 -520841
794.48/794.79 v -520842 -520843 520844 -520845 -520846 520847 -520848 -520849 520850 -520851
795.08/795.35 v -520852 -520853 -520854 -520855 -520856 -520857 -520858 -520859 -520860
795.08/795.35 v -520861 -520862 -520863 -520864 -520865 -520866 -520867 -520868 -520869
795.08/795.35 v -520870 -520871 -520872 520873 -520874 -520875 -520876 520877 -520878 -520879
795.08/795.35 v 520880 -520881 -520882 -520883 -520884 -520885 -520886 -520887 -520888
795.08/795.35 v -520889 -520890 -520891 -520892 -520893 -520894 -520895 -520896 -520897
795.08/795.35 v -520898 -520899 -520900 -520901 -520902 -520903 -520904 -520905 -520906
795.08/795.35 v -520907 -520908 -520909 -520910 520911 -520912 -520913 -520914 -520915
795.08/795.35 v -520916 -520917 -520918 -520919 -520920 -520921 -520922 -520923 -520924
795.08/795.35 v -520925 -520926 -520927 -520928 -520929 -520930 -520931 -520932 -520933
795.08/795.35 v -520934 -520935 -520936 -520937 -520938 -520939 -520940 -520941 -520942
795.08/795.35 v 520943 520944 -520945 520946 520947 520948 -520949 -520950 -520951 -520952
795.08/795.35 v -520953 -520954 -520955 -520956 -520957 520958 520959 520960 520961 -520962
795.08/795.35 v -520963 520964 -520965 -520966 -520967 -520968 -520969 -520970 520971 -520972
795.08/795.35 v -520973 -520974 -520975 -520976 -520977 -520978 -520979 -520980 -520981
795.08/795.35 v 520982 520983 520984 520985 520986 520987 520988 520989 -520990 -520991
795.08/795.35 v -520992 -520993 -520994 -520995 -520996 -520997 -520998 -520999 521000
795.08/795.35 v -521001 -521002 -521003 -521004 -521005 -521006 521007 -521008 -521009
795.08/795.35 v -521010 -521011 -521012 -521013 -521014 -521015 -521016 -521017 -521018
795.08/795.35 v -521019 -521020 -521021 -521022 -521023 -521024 -521025 -521026 -521027
795.08/795.35 v 521028 -521029 -521030 -521031 521032 -521033 -521034 -521035 -521036 521037
795.08/795.35 v -521038 -521039 521040 -521041 -521042 -521043 -521044 -521045 -521046
795.08/795.35 v -521047 -521048 -521049 -521050 -521051 -521052 -521053 -521054 -521055
795.08/795.35 v -521056 -521057 -521058 -521059 -521060 -521061 -521062 -521063 -521064
795.08/795.35 v -521065 -521066 -521067 -521068 -521069 -521070 -521071 -521072 -521073
795.08/795.35 v -521074 -521075 -521076 -521077 -521078 -521079 -521080 -521081 -521082
795.08/795.35 v -521083 -521084 -521085 -521086 -521087 -521088 -521089 -521090 -521091
795.08/795.35 v -521092 -521093 -521094 -521095 -521096 -521097 -521098 -521099 -521100
795.08/795.35 v -521101 -521102 -521103 -521104 -521105 -521106 -521107 -521108 -521109
795.08/795.35 v -521110 -521111 -521112 -521113 -521114 -521115 -521116 -521117 -521118
795.08/795.35 v -521119 -521120 -521121 -521122 -521123 -521124 -521125 -521126 -521127
795.08/795.35 v -521128 -521129 -521130 -521131 -521132 -521133 -521134 -521135 -521136
795.08/795.35 v -521137 -521138 -521139 -521140 -521141 -521142 -521143 -521144 -521145
795.08/795.35 v -521146 -521147 -521148 -521149 -521150 -521151 -521152 -521153 -521154
795.08/795.35 v -521155 -521156 -521157 -521158 0
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node26/watcher-356653-1177543613 -o ROOT/results/node26/solver-356653-1177543613 -C 10000 -W 15000 -M 1800 --output-limit 1,15 /tmp/evaluation/356653-1177543613/picosat /tmp/evaluation/356653-1177543613/instance-356653-1177543613.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 15000 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.23 1.02 0.77 3/77 870
/proc/meminfo: memFree=1221840/2055920 swapFree=4170240/4192956
[pid=870] ppid=868 vsize=568 CPUtime=0
/proc/870/stat : 870 (picosat) R 868 870 653 0 -1 4194304 68 0 0 0 0 0 0 0 18 0 1 0 202280007 581632 54 18446744073709551615 134512640 134931368 4294956672 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/870/statm: 142 54 40 102 0 37 0
[startup+0.0334151 s]
/proc/loadavg: 1.23 1.02 0.77 3/77 870
/proc/meminfo: memFree=1221840/2055920 swapFree=4170240/4192956
[pid=870] ppid=868 vsize=700 CPUtime=0.02
/proc/870/stat : 870 (picosat) R 868 870 653 0 -1 4194304 97 0 0 0 1 1 0 0 18 0 1 0 202280007 716800 83 18446744073709551615 134512640 134931368 4294956672 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/870/statm: 175 83 40 102 0 70 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 700
[startup+0.10242 s]
/proc/loadavg: 1.23 1.02 0.77 3/77 870
/proc/meminfo: memFree=1221840/2055920 swapFree=4170240/4192956
[pid=870] ppid=868 vsize=992 CPUtime=0.09
/proc/870/stat : 870 (picosat) R 868 870 653 0 -1 4194304 176 0 0 0 4 5 0 0 18 0 1 0 202280007 1015808 162 18446744073709551615 134512640 134931368 4294956672 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/870/statm: 248 162 40 102 0 143 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 992
[startup+0.302438 s]
/proc/loadavg: 1.23 1.02 0.77 3/77 870
/proc/meminfo: memFree=1221840/2055920 swapFree=4170240/4192956
[pid=870] ppid=868 vsize=1744 CPUtime=0.29
/proc/870/stat : 870 (picosat) R 868 870 653 0 -1 4194304 344 0 0 0 14 15 0 0 19 0 1 0 202280007 1785856 330 18446744073709551615 134512640 134931368 4294956672 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/870/statm: 436 330 40 102 0 331 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1744
[startup+0.701475 s]
/proc/loadavg: 1.23 1.02 0.77 3/77 870
/proc/meminfo: memFree=1221840/2055920 swapFree=4170240/4192956
[pid=870] ppid=868 vsize=3036 CPUtime=0.69
/proc/870/stat : 870 (picosat) R 868 870 653 0 -1 4194304 673 0 0 0 31 38 0 0 23 0 1 0 202280007 3108864 659 18446744073709551615 134512640 134931368 4294956672 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/870/statm: 759 659 40 102 0 654 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3036
[startup+1.50155 s]
/proc/loadavg: 1.23 1.02 0.77 2/78 871
/proc/meminfo: memFree=1219208/2055920 swapFree=4170240/4192956
[pid=870] ppid=868 vsize=5780 CPUtime=1.49
/proc/870/stat : 870 (picosat) R 868 870 653 0 -1 4194304 1281 0 0 0 67 82 0 0 25 0 1 0 202280007 5918720 1267 18446744073709551615 134512640 134931368 4294956672 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/870/statm: 1445 1267 40 102 0 1340 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5780
[startup+3.1017 s]
/proc/loadavg: 1.29 1.04 0.77 2/78 871
/proc/meminfo: memFree=1216968/2055920 swapFree=4170240/4192956
[pid=870] ppid=868 vsize=11132 CPUtime=3.09
/proc/870/stat : 870 (picosat) R 868 870 653 0 -1 4194304 2348 0 0 0 139 170 0 0 25 0 1 0 202280007 11399168 2334 18446744073709551615 134512640 134931368 4294956672 18446744073709551615 134597664 0 0 4096 0 0 0 0 17 0 0 0
/proc/870/statm: 2783 2334 40 102 0 2678 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11132
[startup+6.30199 s]
/proc/loadavg: 1.29 1.04 0.77 2/78 871
/proc/meminfo: memFree=1210440/2055920 swapFree=4170240/4192956
[pid=870] ppid=868 vsize=21448 CPUtime=6.28
/proc/870/stat : 870 (picosat) R 868 870 653 0 -1 4194304 4228 0 0 0 282 346 0 0 25 0 1 0 202280007 21962752 4214 18446744073709551615 134512640 134931368 4294956672 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/870/statm: 5362 4214 40 102 0 5257 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 21448
[startup+12.7016 s]
/proc/loadavg: 1.27 1.04 0.77 2/78 871
/proc/meminfo: memFree=1195400/2055920 swapFree=4170240/4192956
[pid=870] ppid=868 vsize=33564 CPUtime=12.69
/proc/870/stat : 870 (picosat) R 868 870 653 0 -1 4194304 7888 0 0 0 565 704 0 0 25 0 1 0 202280007 34369536 7874 18446744073709551615 134512640 134931368 4294956672 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/870/statm: 8391 7874 40 102 0 8286 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 33564
[startup+25.5018 s]
/proc/loadavg: 1.21 1.03 0.78 2/78 871
/proc/meminfo: memFree=1167112/2055920 swapFree=4170240/4192956
[pid=870] ppid=868 vsize=65252 CPUtime=25.48
/proc/870/stat : 870 (picosat) R 868 870 653 0 -1 4194304 14744 0 0 0 1153 1395 0 0 25 0 1 0 202280007 66818048 14730 18446744073709551615 134512640 134931368 4294956672 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/870/statm: 16313 14730 40 102 0 16208 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 65252
[startup+51.1011 s]
/proc/loadavg: 1.13 1.03 0.78 2/78 871
/proc/meminfo: memFree=1112776/2055920 swapFree=4170240/4192956
[pid=870] ppid=868 vsize=128884 CPUtime=51.07
/proc/870/stat : 870 (picosat) R 868 870 653 0 -1 4194304 28534 0 0 0 2329 2778 0 0 25 0 1 0 202280007 131977216 28518 18446744073709551615 134512640 134931368 4294956672 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/870/statm: 32221 28518 46 102 0 32116 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 128884
[startup+102.306 s]
/proc/loadavg: 1.05 1.02 0.79 2/78 871
/proc/meminfo: memFree=963144/2055920 swapFree=4170240/4192956
[pid=870] ppid=868 vsize=274600 CPUtime=102.26
/proc/870/stat : 870 (picosat) R 868 870 653 0 -1 4194304 65650 0 0 0 4648 5578 0 0 25 0 1 0 202280007 281190400 65634 18446744073709551615 134512640 134931368 4294956672 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/870/statm: 68650 65634 46 102 0 68545 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 274600
[startup+162.301 s]
/proc/loadavg: 1.02 1.02 0.80 2/78 871
/proc/meminfo: memFree=902792/2055920 swapFree=4170240/4192956
[pid=870] ppid=868 vsize=350124 CPUtime=162.25
/proc/870/stat : 870 (picosat) R 868 870 653 0 -1 4194304 80641 0 0 0 9861 6364 0 0 25 0 1 0 202280007 358526976 80570 18446744073709551615 134512640 134931368 4294956672 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/870/statm: 87531 80570 48 102 0 87426 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 350124
[startup+222.301 s]
/proc/loadavg: 1.00 1.01 0.82 2/78 871
/proc/meminfo: memFree=901576/2055920 swapFree=4170240/4192956
[pid=870] ppid=868 vsize=351408 CPUtime=222.23
/proc/870/stat : 870 (picosat) R 868 870 653 0 -1 4194304 80950 0 0 0 15859 6364 0 0 25 0 1 0 202280007 359841792 80879 18446744073709551615 134512640 134931368 4294956672 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/870/statm: 87852 80879 48 102 0 87747 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 351408
[startup+282.302 s]
/proc/loadavg: 1.00 1.01 0.82 2/78 871
/proc/meminfo: memFree=900808/2055920 swapFree=4170240/4192956
[pid=870] ppid=868 vsize=352196 CPUtime=282.22
/proc/870/stat : 870 (picosat) R 868 870 653 0 -1 4194304 81145 0 0 0 21857 6365 0 0 25 0 1 0 202280007 360648704 81074 18446744073709551615 134512640 134931368 4294956672 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/870/statm: 88049 81074 48 102 0 87944 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 352196
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 0.83 2/78 871
/proc/meminfo: memFree=899528/2055920 swapFree=4170240/4192956
[pid=870] ppid=868 vsize=353508 CPUtime=342.2
/proc/870/stat : 870 (picosat) R 868 870 653 0 -1 4194304 81471 0 0 0 27854 6366 0 0 25 0 1 0 202280007 361992192 81400 18446744073709551615 134512640 134931368 4294956672 18446744073709551615 134525741 0 0 4096 0 0 0 0 17 1 0 0
/proc/870/statm: 88377 81400 48 102 0 88272 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 353508
[startup+402.303 s]
/proc/loadavg: 1.00 1.00 0.83 2/78 871
/proc/meminfo: memFree=897096/2055920 swapFree=4170240/4192956
[pid=870] ppid=868 vsize=355852 CPUtime=402.19
/proc/870/stat : 870 (picosat) R 868 870 653 0 -1 4194304 82075 0 0 0 33852 6367 0 0 25 0 1 0 202280007 364392448 82004 18446744073709551615 134512640 134931368 4294956672 18446744073709551615 134530822 0 0 4096 0 0 0 0 17 1 0 0
/proc/870/statm: 88963 82004 48 102 0 88858 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 355852
[startup+462.302 s]
/proc/loadavg: 1.00 1.00 0.84 2/78 871
/proc/meminfo: memFree=895496/2055920 swapFree=4170240/4192956
[pid=870] ppid=868 vsize=357424 CPUtime=462.17
/proc/870/stat : 870 (picosat) R 868 870 653 0 -1 4194304 82474 0 0 0 39849 6368 0 0 25 0 1 0 202280007 366002176 82403 18446744073709551615 134512640 134931368 4294956672 18446744073709551615 134544818 0 0 4096 0 0 0 0 17 1 0 0
/proc/870/statm: 89356 82403 48 102 0 89251 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 357424
[startup+522.303 s]
/proc/loadavg: 1.00 1.00 0.85 2/78 871
/proc/meminfo: memFree=893320/2055920 swapFree=4170240/4192956
[pid=870] ppid=868 vsize=359524 CPUtime=522.16
/proc/870/stat : 870 (picosat) R 868 870 653 0 -1 4194304 83017 0 0 0 45847 6369 0 0 25 0 1 0 202280007 368152576 82946 18446744073709551615 134512640 134931368 4294956672 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/870/statm: 89881 82946 48 102 0 89776 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 359524
[startup+582.302 s]
/proc/loadavg: 1.00 1.00 0.85 2/78 871
/proc/meminfo: memFree=890760/2055920 swapFree=4170240/4192956
[pid=870] ppid=868 vsize=362016 CPUtime=582.14
/proc/870/stat : 870 (picosat) R 868 870 653 0 -1 4194304 83652 0 0 0 51844 6370 0 0 25 0 1 0 202280007 370704384 83581 18446744073709551615 134512640 134931368 4294956672 18446744073709551615 134524027 0 0 4096 0 0 0 0 17 1 0 0
/proc/870/statm: 90504 83581 48 102 0 90399 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 362016
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 0.86 2/78 871
/proc/meminfo: memFree=888072/2055920 swapFree=4170240/4192956
[pid=870] ppid=868 vsize=364644 CPUtime=642.13
/proc/870/stat : 870 (picosat) R 868 870 653 0 -1 4194304 84313 0 0 0 57842 6371 0 0 25 0 1 0 202280007 373395456 84242 18446744073709551615 134512640 134931368 4294956672 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/870/statm: 91161 84242 48 102 0 91056 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 364644
[startup+702.302 s]
/proc/loadavg: 1.00 1.00 0.86 2/78 871
/proc/meminfo: memFree=885832/2055920 swapFree=4170240/4192956
[pid=870] ppid=868 vsize=366884 CPUtime=702.11
/proc/870/stat : 870 (picosat) R 868 870 653 0 -1 4194304 84877 0 0 0 63839 6372 0 0 25 0 1 0 202280007 375689216 84806 18446744073709551615 134512640 134931368 4294956672 18446744073709551615 134524027 0 0 4096 0 0 0 0 17 1 0 0
/proc/870/statm: 91721 84806 48 102 0 91616 0
Current children cumulated CPU time (s) 702.11
Current children cumulated vsize (KiB) 366884
[startup+762.305 s]
/proc/loadavg: 1.00 1.00 0.87 2/78 873
/proc/meminfo: memFree=883080/2055920 swapFree=4170240/4192956
[pid=870] ppid=868 vsize=369640 CPUtime=762.1
/proc/870/stat : 870 (picosat) R 868 870 653 0 -1 4194304 85561 0 0 0 69836 6374 0 0 25 0 1 0 202280007 378511360 85490 18446744073709551615 134512640 134931368 4294956672 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/870/statm: 92410 85490 48 102 0 92305 0
Current children cumulated CPU time (s) 762.1
Current children cumulated vsize (KiB) 369640
Solver just ended. Dumping a history of the last processes samples
[startup+767.902 s]
/proc/loadavg: 1.00 1.00 0.87 2/78 873
/proc/meminfo: memFree=883016/2055920 swapFree=4170240/4192956
[pid=870] ppid=868 vsize=369640 CPUtime=767.7
/proc/870/stat : 870 (picosat) R 868 870 653 0 -1 4194304 85571 0 0 0 70396 6374 0 0 25 0 1 0 202280007 378511360 85500 18446744073709551615 134512640 134931368 4294956672 18446744073709551615 134544827 0 0 4096 0 0 0 0 17 1 0 0
/proc/870/statm: 92410 85500 48 102 0 92305 0
Current children cumulated CPU time (s) 767.7
Current children cumulated vsize (KiB) 369640
[startup+780.702 s]
/proc/loadavg: 1.00 1.00 0.87 2/78 873
/proc/meminfo: memFree=882504/2055920 swapFree=4170240/4192956
[pid=870] ppid=868 vsize=370168 CPUtime=780.49
/proc/870/stat : 870 (picosat) R 868 870 653 0 -1 4194304 85704 0 0 0 71675 6374 0 0 25 0 1 0 202280007 379052032 85633 18446744073709551615 134512640 134931368 4294956672 18446744073709551615 134544718 0 0 4096 0 0 0 0 17 1 0 0
/proc/870/statm: 92542 85633 48 102 0 92437 0
Current children cumulated CPU time (s) 780.49
Current children cumulated vsize (KiB) 370168
[startup+787.102 s]
/proc/loadavg: 1.00 1.00 0.87 2/78 873
/proc/meminfo: memFree=882248/2055920 swapFree=4170240/4192956
[pid=870] ppid=868 vsize=370428 CPUtime=786.9
/proc/870/stat : 870 (picosat) R 868 870 653 0 -1 4194304 85780 0 0 0 72315 6375 0 0 25 0 1 0 202280007 379318272 85709 18446744073709551615 134512640 134931368 4294956672 18446744073709551615 134544698 0 0 4096 0 0 0 0 17 1 0 0
/proc/870/statm: 92607 85709 48 102 0 92502 0
Current children cumulated CPU time (s) 786.9
Current children cumulated vsize (KiB) 370428
[startup+790.302 s]
/proc/loadavg: 1.00 1.00 0.87 2/78 873
/proc/meminfo: memFree=882184/2055920 swapFree=4170240/4192956
[pid=870] ppid=868 vsize=370560 CPUtime=790.1
/proc/870/stat : 870 (picosat) R 868 870 653 0 -1 4194304 85795 0 0 0 72635 6375 0 0 25 0 1 0 202280007 379453440 85724 18446744073709551615 134512640 134931368 4294956672 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/870/statm: 92640 85724 48 102 0 92535 0
Current children cumulated CPU time (s) 790.1
Current children cumulated vsize (KiB) 370560
[startup+793.501 s]
/proc/loadavg: 1.00 1.00 0.87 2/78 873
/proc/meminfo: memFree=882120/2055920 swapFree=4170240/4192956
[pid=870] ppid=868 vsize=370560 CPUtime=793.3
/proc/870/stat : 870 (picosat) R 868 870 653 0 -1 4194304 85808 0 0 0 72955 6375 0 0 25 0 1 0 202280007 379453440 85737 18446744073709551615 134512640 134931368 4294956672 18446744073709551615 134525621 0 0 4096 0 0 0 0 17 1 0 0
/proc/870/statm: 92640 85737 48 102 0 92535 0
Current children cumulated CPU time (s) 793.3
Current children cumulated vsize (KiB) 370560
[startup+794.301 s]
/proc/loadavg: 1.00 1.00 0.87 2/78 873
/proc/meminfo: memFree=882120/2055920 swapFree=4170240/4192956
[pid=870] ppid=868 vsize=370560 CPUtime=794.09
/proc/870/stat : 870 (picosat) R 868 870 653 0 -1 4194304 85808 0 0 0 73034 6375 0 0 25 0 1 0 202280007 379453440 85737 18446744073709551615 134512640 134931368 4294956672 18446744073709551615 134544751 0 0 4096 0 0 0 0 17 1 0 0
/proc/870/statm: 92640 85737 48 102 0 92535 0
Current children cumulated CPU time (s) 794.09
Current children cumulated vsize (KiB) 370560
[startup+795.101 s]
/proc/loadavg: 1.00 1.00 0.87 2/78 873
/proc/meminfo: memFree=882120/2055920 swapFree=4170240/4192956
[pid=870] ppid=868 vsize=370564 CPUtime=794.88
/proc/870/stat : 870 (picosat) R 868 870 653 0 -1 4194304 85814 0 0 0 73113 6375 0 0 17 0 1 0 202280007 379457536 85743 18446744073709551615 134512640 134931368 4294956672 18446744073709551615 134579014 0 0 4096 0 0 0 0 17 1 0 0
/proc/870/statm: 92641 85743 52 102 0 92536 0
Current children cumulated CPU time (s) 794.88
Current children cumulated vsize (KiB) 370564
[startup+795.501 s]
/proc/loadavg: 1.00 1.00 0.87 3/78 873
/proc/meminfo: memFree=902088/2055920 swapFree=4170240/4192956
[pid=870] ppid=868 vsize=0 CPUtime=795.14
/proc/870/stat : 870 (picosat) D 868 870 653 0 -1 4194308 85815 0 0 0 73133 6381 0 0 15 0 1 0 202280007 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 0 18446744072100051646 0 0 17 0 0 0
/proc/870/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 795.14
Current children cumulated vsize (KiB) 0
Child status: 10
Real time (s): 795.518
CPU time (s): 795.146
CPU user time (s): 731.334
CPU system time (s): 63.8123
CPU usage (%): 99.9533
Max. virtual memory (cumulated for all children) (KiB): 370564
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 731.334
system time used= 63.8123
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 85815
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= 255
involuntary context switches= 17011
runsolver used 0.617906 second user time and 1.81272 second system time
The end
Begin job on node26 on Wed Apr 25 23:27:12 UTC 2007
IDJOB= 356653
IDBENCH= 20590
IDSOLVER= 171
FILE ID= node26/356653-1177543613
PBS_JOBID= 4695908
Free space on /tmp= 66158 MiB
SOLVER NAME= picosat 535
BENCH NAME= HOME/pub/bench/SAT07/industrial/vliw_sat_4.0/9vliw_m_9stages_iq3_C1_bug2.cnf
COMMAND LINE= /tmp/evaluation/356653-1177543613/picosat /tmp/evaluation/356653-1177543613/instance-356653-1177543613.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node26/watcher-356653-1177543613 -o ROOT/results/node26/solver-356653-1177543613 -C 10000 -W 15000 -M 1800 --output-limit 1,15 /tmp/evaluation/356653-1177543613/picosat /tmp/evaluation/356653-1177543613/instance-356653-1177543613.cnf
META MD5SUM SOLVER= d41d8cd98f00b204e9800998ecf8427e
MD5SUM BENCH= de190892801b59cd9842bfb52b694299
RANDOM SEED= 788663574
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
Linux node26.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.213
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.213
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: 1221544 kB
Buffers: 50212 kB
Cached: 679584 kB
SwapCached: 3516 kB
Active: 555204 kB
Inactive: 197896 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1221544 kB
SwapTotal: 4192956 kB
SwapFree: 4170240 kB
Dirty: 221180 kB
Writeback: 0 kB
Mapped: 30492 kB
Slab: 66692 kB
Committed_AS: 1220260 kB
PageTables: 1716 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= 66158 MiB
End job on node26 on Wed Apr 25 23:40:28 UTC 2007