Trace number 1716000

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
precosat 236? (TO) 1200.04 1200.43

General information on the benchmark

Nameindustrial/anbulagan/
hard-unsat/total-10-17-u.cnf
MD5SUM9ce7c48a28ddd5790e38607bb893dd38
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables293864
Number of clauses1370917
Sum of the clauses size3163902
Maximum clause length10
Minimum clause length1
Number of clauses of size 124516
Number of clauses of size 21065117
Number of clauses of size 3226184
Number of clauses of size 46120
Number of clauses of size 524480
Number of clauses of size over 524500

Solver Data 

0.00/0.00	c PicoSATLight Version 236 3e7a3f8825c0b9e241f38a63fee5517540b2feca
0.00/0.00	c Copyright (C) 2009, Armin Biere, JKU, Linz, Austria.  All rights reserved.
0.00/0.00	c Released on Sun Mar 22 10:16:26 CET 2009
0.00/0.00	c Compiled on Tue Mar 24 21:24:39 CET 2009
0.00/0.00	c g++ (GCC) 4.3.2 20081105 (Red Hat 4.3.2-7)
0.00/0.00	c -O3 -m32 -static -Wall -Wextra -DNDEBUG -DNLOGPRECO -DNSTATSPRECO
0.00/0.00	c -finline-limit=10000000 -fomit-frame-pointer -fno-exceptions
0.00/0.00	c Linux baghera 2.6.27.19-170.2.35.fc10.i686.PAE i686
0.00/0.00	c
0.00/0.00	c reading HOME/instance-1716000-1240609906.cnf
0.00/0.00	c found header 'p cnf 293864 1370917'
3.29/3.37	c finished parsing
3.29/3.37	c
3.29/3.37	c --check=0 --verbose=0 --order=3 --simprd=40 --merge=1 --hash=1
3.29/3.37	c --dominate=1 --restart=1 --restartint=100 --rebias=1 --rebiasint=1000
3.29/3.37	c --probe=1 --probeint=100000 --probeprd=10 --decompose=1 --minimize=3
3.29/3.37	c --maxdepth=1000 --strength=10 --elim=1 --elimint=300000 --elimprd=20
3.29/3.37	c --subst=1 --ands=1 --xors=1 --ites=1 --minlimit=1000 --maxlimit=10000000
3.29/3.37	c --random=1 --spread=2000 --seed=0 --skip=25
3.29/3.37	c
3.29/3.37	c sizeof     vars[0] = 16   alignment = 0       4 MB
3.29/3.37	c sizeof     orgs[0] =  8   alignment = 0       2 MB
3.29/3.37	c sizeof     occs[0] =  8   alignment = 0       2 MB
3.29/3.37	c sizeof iirfs[0..1] =  8   alignment = 0       2 MB
3.29/3.37	c
3.29/3.37	c starting search after 3.4 seconds
3.29/3.37	c no decision limit
3.39/3.44	c
3.39/3.44	c       original/binary      fixed     eliminated      learned       agility
3.39/3.44	c   seconds        variables     equivalent    conflicts       height       MB
3.39/3.44	c
3.39/3.44	c *    3.4  1346401  214268  12276 67320      0       0      0    0.0   0  112
13.59/13.69	c s   13.7   359700   39363 129689 66196  58616       0      0    0.0   0   55
13.59/13.69	c l   13.7   359700   39363 129689 66196  58616       0 210843    0.0   0   55
13.89/13.98	c R   14.0   363222   39345 129697 66206  58616     106     97   39.1   6   56
14.20/14.24	c R   14.2   365631   39341 129697 66210  58616     206    181   35.6   5   56
22.48/22.55	c R   22.6   872417   37443 131060 66745  58616     806    731   69.8   3   89
26.58/26.64	c B   26.6  1185365   36277 131914 67057  58616    1000    925   67.4   2  106
35.78/35.89	c s   35.9   976668   32621 132627 69100  59516    1645   1122   70.9   1   94
35.78/35.89	c -   35.9   976668   32621 132627 69100  59516    1645 175000   70.9   1   94
36.78/36.81	c B   36.8   979854   32604 132639 69105  59516    2000   1442   71.8   6   94
53.87/53.93	c s   53.9   240479   15407 145303 69619  63535    3476    886   64.5   2   48
53.87/53.93	c -   53.9   240479   15407 145303 69619  63535    3476  66500   64.5   2   48
63.56/63.64	c s   63.6   266533   12031 147978 70042  63813    7306   2625   59.5   3   50
63.56/63.64	c -   63.6   266533   12031 147978 70042  63813    7306  47215   59.5   3   50
64.86/64.94	c B   64.9   283223   11714 148224 70113  63813    8002   3308   58.5   5   51
74.96/75.03	c s   75.0   213394    6701 150554 70898  65711   12101   1914   57.6   8   47
74.96/75.03	c -   75.0   213394    6701 150554 70898  65711   12101  29746   57.6   8   47
75.56/75.68	c R   75.6   213767    6699 150554 70900  65711   13400   3210   57.5   8   47
78.65/78.73	c R   78.7   255068    6597 150646 70910  65711   17413   7216   57.5   6   51
83.25/83.38	c
83.25/83.38	c       original/binary      fixed     eliminated      learned       agility
83.25/83.38	c   seconds        variables     equivalent    conflicts       height       MB
83.25/83.38	c
83.25/83.38	c s   83.3   227784    6266 150756 70931  65911   22230   5715   56.7   5   48
83.25/83.38	c -   83.3   227784    6266 150756 70931  65911   22230  27962   56.7   5   48
84.35/84.47	c B   84.4   234208    6229 150787 70937  65911   24013   7497   56.7   4   49
86.35/86.45	c R   86.4   251219    6147 150858 70948  65911   27038  10518   56.5   5   51
87.05/87.16	c +   87.1   257207    6117 150883 70953  65911   27962  30758   56.6   4   52
92.54/92.61	c s   92.6   226461    5916 150930 70973  66045   34307  16572   55.8   5   51
92.54/92.61	c -   92.6   226461    5916 150930 70973  66045   34307  28605   55.8   5   51
92.54/92.61	c +   92.6   226461    5916 150930 70973  66045   34307  31465   55.8   5   51
98.54/98.61	c +   98.6   234816    5818 150988 71013  66045   42880  34611   55.3   6   54
102.74/102.83	c s  102.8   220194    5712 151008 71020  66124   46343  26206   54.7   4   53
102.74/102.83	c -  102.8   220194    5712 151008 71020  66124   46343  33573   54.7   4   53
104.74/104.82	c R  104.8   220347    5711 151008 71021  66124   49492  29353   57.5   6   54
106.55/106.61	c +  106.6   239601    5669 151045 71026  66124   51992  36930   56.5   4   57
114.44/114.56	c s  114.5   220698    5419 151135 71049  66261   60163  31643   55.8   9   54
114.44/114.56	c -  114.5   220698    5419 151135 71049  66261   60163  35453   55.8   9   54
116.34/116.41	c +  116.4   232257    5384 151167 71052  66261   62391  38998   56.2   3   57
117.64/117.76	c B  117.7   236151    5370 151181 71052  66261   64017  35495   56.4   4   57
126.24/126.32	c s  126.3   207621    5076 151316 71125  66347   73557  36136   56.0   6   55
126.24/126.32	c -  126.3   207621    5076 151316 71125  66347   73557  36659   56.0   6   55
126.24/126.32	c
126.24/126.32	c       original/binary      fixed     eliminated      learned       agility
126.24/126.32	c   seconds        variables     equivalent    conflicts       height       MB
126.24/126.32	c
126.24/126.32	c +  126.3   207621    5076 151316 71125  66347   73557  40324   56.0   6   55
138.23/138.34	c s  138.3   215518    5031 151322 71161  66350   88582  35721   55.3   3   56
141.02/141.15	c +  141.1   227887    5018 151333 71163  66350   91947  44356   55.0   9   58
151.12/151.27	c s  151.2   217561    4909 151390 71170  66395  103577  43947   54.4   4   58
151.12/151.27	c -  151.2   217561    4909 151390 71170  66395  103577  43026   54.4   4   58
157.02/157.13	c +  157.1   220748    4896 151394 71179  66395  111483  47328   54.2   5   60
164.31/164.42	c s  164.3   216555    4861 151402 71181  66420  118250  38666   53.8   8   56
164.31/164.42	c -  164.3   216555    4861 151402 71181  66420  118250  46855   53.8   8   56
177.61/177.78	c s  177.7   218240    4788 151439 71188  66449  135306  46692   52.6   7   58
177.61/177.78	c -  177.7   218240    4788 151439 71188  66449  135306  46387   52.6   7   58
178.51/178.65	c +  178.6   218332    4788 151439 71188  66449  136579  51025   52.5   5   59
191.01/191.15	c s  191.1   219645    4759 151445 71196  66464  153460  50368   50.9   4   58
196.82/196.95	c B  196.9   221847    4759 151445 71196  66464  160044  51090   50.6   9   59
204.81/204.94	c s  204.9   209951    4639 151481 71202  66542  169239  47047   50.2   5   56
204.81/204.94	c -  204.9   209951    4639 151481 71202  66542  169239  50005   50.2   5   56
204.81/204.94	c +  204.9   209951    4639 151481 71202  66542  169239  55005   50.2   5   56
217.81/217.92	c s  217.8   215007    4593 151501 71207  66563  185461  52954   49.9   4   58
217.81/217.92	c -  217.8   215007    4593 151501 71207  66563  185461  54455   49.9   4   58
230.40/230.55	c R  230.5   238320    4520 151551 71230  66563  204585  54504   48.6   7   63
232.20/232.34	c
232.20/232.34	c       original/binary      fixed     eliminated      learned       agility
232.20/232.34	c   seconds        variables     equivalent    conflicts       height       MB
232.20/232.34	c
232.20/232.34	c s  232.3   199119    4415 151551 71231  66667  204937  48841   48.5   6   56
232.20/232.34	c -  232.3   199119    4415 151551 71231  66667  204937  52822   48.5   6   56
232.20/232.34	c +  232.3   199119    4415 151551 71231  66667  204937  58104   48.5   6   56
245.90/246.03	c s  245.9   201047    4337 151581 71243  66703  224017  57551   47.3   8   58
245.90/246.03	c -  245.9   201047    4337 151581 71243  66703  224017  57523   47.3   8   58
260.89/261.07	c s  261.0   202728    4299 151596 71245  66724  243047  52541   47.0   4   57
260.89/261.07	c -  261.0   202728    4299 151596 71245  66724  243047  56948   47.0   4   57
266.18/266.39	c +  266.3   206777    4296 151599 71245  66724  251074  62642   46.8   7   60
274.39/274.53	c s  274.4   205820    4282 151601 71246  66735  260380  61423   46.4   9   59
289.98/290.11	c s  290.0   201719    4232 151614 71253  66765  279857  51789   45.7   8   56
289.98/290.11	c -  290.0   201719    4232 151614 71253  66765  279857  62016   45.7   8   56
304.38/304.51	c s  304.4   204272    4201 151617 71275  66771  297610  60640   45.2   6   59
304.38/304.51	c -  304.4   204272    4201 151617 71275  66771  297610  61396   45.2   6   59
310.78/310.91	c +  310.8   207539    4182 151631 71280  66771  307596  67535   44.8   6   61
320.07/320.23	c s  320.1   194804    4137 151641 71282  66804  318914  62095   44.2   6   58
320.07/320.23	c -  320.1   194804    4137 151641 71282  66804  318914  66860   44.2   6   58
320.87/321.01	c R  320.9   194901    4137 151641 71282  66804  320015  63196   44.2   5   59
333.57/333.76	c s  333.6   195507    4137 151641 71282  66804  338585  66902   43.5   9   59
347.47/347.68	c s  347.6   205555    4122 151649 71282  66811  356845  66084   43.0   7   59
362.76/362.90	c
362.76/362.90	c       original/binary      fixed     eliminated      learned       agility
362.76/362.90	c   seconds        variables     equivalent    conflicts       height       MB
362.76/362.90	c
362.76/362.90	c s  362.8   205545    4102 151654 71286  66822  376095  47503   42.9   4   55
365.36/365.50	c +  365.4   206466    4101 151655 71286  66822  380651  73546   42.9   8   58
367.66/367.80	c B  367.7   207725    4099 151656 71287  66822  384096  55503   42.9   7   59
375.86/376.00	c s  375.9   204571    4070 151667 71291  66836  394150  64029   42.7   8   59
375.86/376.00	c -  375.9   204571    4070 151667 71291  66836  394150  72811   42.7   8   59
390.45/390.66	c s  390.5   205635    4063 151669 71293  66839  411365  72629   42.6  10   61
405.75/405.99	c s  405.8   204786    4045 151676 71294  66849  429040  71767   42.5   5   61
421.15/421.34	c s  421.2   204291    4038 151677 71294  66855  448910  63468   42.4   9   58
438.23/438.46	c s  438.3   208401    4029 151681 71296  66858  469834  72602   42.0   9   61
438.93/439.13	c +  439.0   208403    4029 151681 71296  66858  471052  80092   42.0   5   62
455.93/456.11	c s  456.0   208707    4023 151684 71296  66861  492018  80111   41.5   7   63
473.73/473.99	c s  473.8   207459    4011 151692 71296  66865  513202  72549   41.2   6   61
490.02/490.27	c s  490.1   208838    4005 151695 71296  66868  532729  79336   41.0   7   62
508.02/508.20	c s  508.0   210820    4005 151695 71296  66868  558164  80178   40.3   4   62
519.81/520.04	c R  519.9   210820    4005 151695 71296  66868  576452  80138   40.0   8   63
525.91/526.12	c s  525.9   211139    4005 151695 71296  66868  584643  80115   39.8   4   62
528.81/529.01	c +  528.8   211299    4005 151695 71296  66868  588816  88101   39.7   7   63
543.21/543.49	c s  543.3   211113    3993 151697 71304  66870  609313  88122   39.4   8   63
560.50/560.72	c s  560.5   211768    3993 151697 71304  66870  634923  88136   39.1   9   64
579.79/580.00	c
579.79/580.00	c       original/binary      fixed     eliminated      learned       agility
579.79/580.00	c   seconds        variables     equivalent    conflicts       height       MB
579.79/580.00	c
579.79/580.00	c s  579.8   212575    3989 151699 71304  66872  657011  88081   38.9   8   64
599.28/599.55	c s  599.3   212809    3982 151702 71304  66876  682416  88151   38.6   7   64
616.98/617.21	c s  617.0   214452    3982 151702 71304  66876  704161  88159   38.6   4   64
634.17/634.43	c s  634.2   214090    3977 151704 71304  66879  725140  88126   38.5   7   64
643.17/643.44	c +  643.2   214816    3977 151704 71304  66879  736020  96911   38.3   4   67
654.17/654.41	c s  654.2   214945    3977 151704 71304  66879  748658  96938   38.2   9   66
676.17/676.43	c s  676.2   216690    3973 151705 71305  66881  770821  96948   38.0   6   66
698.26/698.57	c s  698.3   216574    3971 151706 71305  66882  795917  96942   37.7   6   65
718.15/718.46	c s  718.2   217184    3969 151707 71305  66883  818599  96955   37.6   7   65
736.14/736.47	c s  736.2   218612    3969 151707 71305  66883  843684  96974   37.4   6   65
754.14/754.44	c s  754.2   219204    3969 151707 71305  66883  865662  96952   37.4   7   66
772.94/773.29	c s  773.0   219857    3969 151707 71305  66883  888002  96931   37.3   5   66
779.43/779.78	c B  779.5   220012    3968 151708 71305  66883  896198  97006   37.3   6   68
794.03/794.32	c s  794.1   216907    3959 151711 71305  66889  911412  96953   37.3   7   66
800.22/800.58	c +  800.3   217763    3956 151714 71305  66889  920025 106602   37.2   6   69
815.42/815.74	c s  815.5   216874    3954 151714 71305  66891  935884 106630   37.1   5   68
835.52/835.86	c s  835.6   217466    3954 151714 71305  66891  956709 106620   37.1   4   67
856.91/857.26	c s  857.0   217572    3954 151714 71305  66891  980682 106658   36.9   5   67
878.41/878.78	c s  878.5   218957    3954 151714 71305  66891 1005771 106669   36.8   7   67
900.30/900.61	c
900.30/900.61	c       original/binary      fixed     eliminated      learned       agility
900.30/900.61	c   seconds        variables     equivalent    conflicts       height       MB
900.30/900.61	c
900.30/900.61	c s  900.3   219422    3952 151715 71305  66892 1028910 106620   36.7   5   67
924.89/925.27	c s  925.0   219222    3947 151716 71306  66895 1057570 106621   36.4   5   67
947.68/948.06	c s  947.8   219790    3947 151716 71306  66895 1086493 106646   36.2  10   68
967.68/968.08	c s  967.8   219883    3947 151716 71306  66895 1111347 106640   36.1  11   68
993.37/993.76	c s  993.4   155861    3597 151850 71391  67026 1139799  53692   35.8   5   52
993.37/993.76	c -  993.4   155861    3597 151850 71391  67026 1139799  97008   35.8   5   52
993.37/993.76	c +  993.4   155861    3597 151850 71391  67026 1139799 106708   35.8   5   52
1006.27/1006.64	c s 1006.3   153033    3482 151898 71429  67055 1156919  68772   35.6   7   54
1006.27/1006.64	c - 1006.3   153033    3482 151898 71429  67055 1156919 103507   35.6   7   54
1019.86/1020.29	c s 1020.0   153475    3473 151900 71430  67061 1175648  86413   35.5   5   57
1034.46/1034.89	c s 1034.6   153871    3467 151900 71433  67064 1194424  93652   35.5   3   58
1050.35/1050.71	c s 1050.4   154251    3466 151900 71434  67064 1212831 103550   35.4   6   60
1068.95/1069.35	c s 1069.0   154404    3465 151901 71434  67064 1234928 103531   35.2   3   60
1087.55/1087.92	c s 1087.6   153955    3463 151903 71434  67064 1256176 103462   35.2   9   61
1106.53/1106.91	c s 1106.6   154143    3463 151903 71434  67064 1280738 103527   35.0   6   61
1123.23/1123.69	c s 1123.3   153740    3455 151909 71434  67066 1299858 103550   34.9   8   60
1123.23/1123.69	c - 1123.3   153740    3455 151909 71434  67066 1299858 102472   34.9   8   60
1140.82/1141.27	c s 1140.9   153751    3455 151909 71434  67066 1321617 102540   34.8   6   60
1160.03/1160.40	c s 1160.0   153704    3453 151911 71434  67066 1347508 102495   34.5   4   59
1174.92/1175.33	c
1174.92/1175.33	c       original/binary      fixed     eliminated      learned       agility
1174.92/1175.33	c   seconds        variables     equivalent    conflicts       height       MB
1174.92/1175.33	c
1174.92/1175.33	c + 1175.0   153792    3453 151911 71434  67066 1368183 112719   34.4   7   64
1175.52/1175.98	c s 1175.6   153792    3453 151911 71434  67066 1368303 102628   34.4   6   60
1193.71/1194.14	c s 1193.8   153879    3453 151911 71434  67066 1392414 112760   34.4   9   62
1200.01/1200.40	c
1200.01/1200.40	c *** CAUGHT SIGNAL 15 ***
1200.01/1200.40	c
1200.01/1200.40	c 1400752 conflicts, 2181796 decisions, 1020 random
1200.01/1200.40	c 55 iterations, 3139 restarts, 0 skipped
1200.01/1200.40	c 20 enlarged, 31701 shrunken, 13692 rescored, 380 rebiased
1200.01/1200.40	c 72 simplifications, 0 reductions
1200.01/1200.40	c
1200.01/1200.40	c vars: 151911 fixed, 71434 equiv, 67066 elim, 73299 merged
1200.01/1200.40	c elim: 13696122 resolutions, 54 phases, 52 rounds
1200.01/1200.40	c sbst: 70% substituted, 13.4% nots, 86.6% ands, 0.0% xors, 0.0% ites
1200.01/1200.40	c arty: 3.50 and 0.00 xor average arity
1200.01/1200.40	c prbe: 329693 probed, 647 phases, 38 rounds
1200.01/1200.40	c prbe: 3700 failed, 4163 lifted, 1189 merged
1200.01/1200.40	c sccs: 1583 non trivial, 0 fixed, 2695 merged
1200.01/1200.40	c hash: 902 units, 69415 merged
1200.01/1200.40	c mins: 62816459 learned, 36% deleted, 380 strong, 224 depth
1200.01/1200.40	c subs: 135011 forward, 93353 backward, 98357 doms
1200.01/1200.40	c strs: 67510 forward, 1923 backward
1200.01/1200.40	c doms: 207965 dominators, 94290 high, 345 low
1200.01/1200.40	c prps: 799209878 propagations, 0.67 megaprops
1200.01/1200.40	c
1200.01/1200.40	c 1200.0 seconds, 126 MB max, 381 MB recycled
1200.01/1200.40	c
1200.01/1200.40	c *** CAUGHT SIGNAL 15 ***
1200.01/1200.40	c

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1716000-1240609906/watcher-1716000-1240609906 -o /tmp/evaluation-result-1716000-1240609906/solver-1716000-1240609906 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/precosat HOME/instance-1716000-1240609906.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): 1800 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.42 1.08 0.95 3/65 10316
/proc/meminfo: memFree=1068208/2055920 swapFree=4192956/4192956
[pid=10316] ppid=10314 vsize=5380 CPUtime=0
/proc/10316/stat : 10316 (precosat) R 10314 10316 10128 0 -1 4194304 899 0 0 0 0 0 0 0 18 0 1 0 89023404 5509120 884 1992294400 134512640 135151029 4294956224 18446744073709551615 134697845 0 0 4096 0 0 0 0 17 1 0 0
/proc/10316/statm: 1345 892 58 155 0 1188 0

[startup+0.020248 s]
/proc/loadavg: 1.42 1.08 0.95 3/65 10316
/proc/meminfo: memFree=1068208/2055920 swapFree=4192956/4192956
[pid=10316] ppid=10314 vsize=12528 CPUtime=0.01
/proc/10316/stat : 10316 (precosat) R 10314 10316 10128 0 -1 4194304 2544 0 0 0 0 1 0 0 18 0 1 0 89023404 12828672 2529 1992294400 134512640 135151029 4294956224 18446744073709551615 134534335 0 0 4096 0 0 0 0 17 1 0 0
/proc/10316/statm: 3132 2531 59 155 0 2975 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12528

[startup+0.101256 s]
/proc/loadavg: 1.42 1.08 0.95 3/65 10316
/proc/meminfo: memFree=1068208/2055920 swapFree=4192956/4192956
[pid=10316] ppid=10314 vsize=27300 CPUtime=0.09
/proc/10316/stat : 10316 (precosat) R 10314 10316 10128 0 -1 4194304 6506 0 0 0 6 3 0 0 18 0 1 0 89023404 27955200 6491 1992294400 134512640 135151029 4294956224 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/10316/statm: 6825 6492 63 155 0 6668 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27300

[startup+0.30128 s]
/proc/loadavg: 1.42 1.08 0.95 3/65 10316
/proc/meminfo: memFree=1068208/2055920 swapFree=4192956/4192956
[pid=10316] ppid=10314 vsize=38828 CPUtime=0.29
/proc/10316/stat : 10316 (precosat) R 10314 10316 10128 0 -1 4194304 9601 0 0 0 24 5 0 0 19 0 1 0 89023404 39759872 9359 1992294400 134512640 135151029 4294956224 18446744073709551615 134572545 0 0 4096 17442 0 0 0 17 1 0 0
/proc/10316/statm: 9707 9359 63 155 0 9550 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 38828

[startup+0.701328 s]
/proc/loadavg: 1.42 1.08 0.95 3/65 10316
/proc/meminfo: memFree=1068208/2055920 swapFree=4192956/4192956
[pid=10316] ppid=10314 vsize=51332 CPUtime=0.69
/proc/10316/stat : 10316 (precosat) R 10314 10316 10128 0 -1 4194304 13496 0 0 0 62 7 0 0 23 0 1 0 89023404 52563968 12484 1992294400 134512640 135151029 4294956224 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/10316/statm: 12833 12485 63 155 0 12676 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 51332

[startup+1.50142 s]
/proc/loadavg: 1.42 1.08 0.95 2/65 10317
/proc/meminfo: memFree=1009200/2055920 swapFree=4192956/4192956
[pid=10316] ppid=10314 vsize=75624 CPUtime=1.49
/proc/10316/stat : 10316 (precosat) R 10314 10316 10128 0 -1 4194304 20613 0 0 0 139 10 0 0 25 0 1 0 89023404 77438976 18576 1992294400 134512640 135151029 4294956224 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/10316/statm: 18906 18576 64 155 0 18749 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 75624

[startup+3.10161 s]
/proc/loadavg: 1.42 1.08 0.95 2/65 10317
/proc/meminfo: memFree=975472/2055920 swapFree=4192956/4192956
[pid=10316] ppid=10314 vsize=136000 CPUtime=3.09
/proc/10316/stat : 10316 (precosat) R 10314 10316 10128 0 -1 4194304 35707 0 0 0 290 19 0 0 25 0 1 0 89023404 139264000 33670 1992294400 134512640 135151029 4294956224 18446744073709551615 134572727 0 0 4096 17442 0 0 0 17 1 0 0
/proc/10316/statm: 34000 33670 64 155 0 33843 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 136000

[startup+6.30199 s]
/proc/loadavg: 1.47 1.10 0.95 2/65 10317
/proc/meminfo: memFree=942512/2055920 swapFree=4192956/4192956
[pid=10316] ppid=10314 vsize=137532 CPUtime=6.29
/proc/10316/stat : 10316 (precosat) R 10314 10316 10128 0 -1 4194304 46439 0 0 0 605 24 0 0 25 0 1 0 89023404 140832768 33776 1992294400 134512640 135151029 4294956224 18446744073709551615 134685105 0 0 4096 17442 0 0 0 17 1 0 0
/proc/10316/statm: 34383 33776 79 155 0 34226 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 137532

[startup+12.7018 s]
/proc/loadavg: 1.43 1.09 0.95 2/65 10317
/proc/meminfo: memFree=927088/2055920 swapFree=4192956/4192956
[pid=10316] ppid=10314 vsize=141136 CPUtime=12.69
/proc/10316/stat : 10316 (precosat) R 10314 10316 10128 0 -1 4194304 49042 0 0 0 1244 25 0 0 25 0 1 0 89023404 144523264 34206 1992294400 134512640 135151029 4294956224 18446744073709551615 134678810 0 0 4096 17442 0 0 0 17 1 0 0
/proc/10316/statm: 35284 34206 79 155 0 35127 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 141136

[startup+25.5013 s]
/proc/loadavg: 1.33 1.09 0.95 2/65 10317
/proc/meminfo: memFree=940784/2055920 swapFree=4192956/4192956
[pid=10316] ppid=10314 vsize=132472 CPUtime=25.48
/proc/10316/stat : 10316 (precosat) R 10314 10316 10128 0 -1 4194304 52152 0 0 0 2521 27 0 0 25 0 1 0 89023404 135651328 31946 1992294400 134512640 135151029 4294956224 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/10316/statm: 33118 31946 79 155 0 32961 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 132472

[startup+51.1013 s]
/proc/loadavg: 1.22 1.08 0.95 2/65 10317
/proc/meminfo: memFree=932592/2055920 swapFree=4192956/4192956
[pid=10316] ppid=10314 vsize=145264 CPUtime=51.06
/proc/10316/stat : 10316 (precosat) R 10314 10316 10128 0 -1 4194304 67572 0 0 0 5071 35 0 0 25 0 1 0 89023404 148750336 35151 1992294400 134512640 135151029 4294956224 18446744073709551615 134532453 0 0 4096 17442 0 0 0 17 1 0 0
/proc/10316/statm: 36316 35151 79 155 0 36159 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 145264

[startup+102.305 s]
/proc/loadavg: 1.09 1.07 0.95 2/65 10317
/proc/meminfo: memFree=937392/2055920 swapFree=4192956/4192956
[pid=10316] ppid=10314 vsize=135892 CPUtime=102.25
/proc/10316/stat : 10316 (precosat) R 10314 10316 10128 0 -1 4194304 99017 0 0 0 10173 52 0 0 25 0 1 0 89023404 139153408 32844 1992294400 134512640 135151029 4294956224 18446744073709551615 134564379 0 0 4096 17442 0 0 0 17 1 0 0
/proc/10316/statm: 33973 32844 79 155 0 33816 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 135892

[startup+162.302 s]
/proc/loadavg: 1.03 1.05 0.95 2/65 10317
/proc/meminfo: memFree=946672/2055920 swapFree=4192956/4192956
[pid=10316] ppid=10314 vsize=126464 CPUtime=162.22
/proc/10316/stat : 10316 (precosat) R 10314 10316 10128 0 -1 4194304 119707 0 0 0 16159 63 0 0 25 0 1 0 89023404 129499136 30488 1992294400 134512640 135151029 4294956224 18446744073709551615 134581738 0 0 4096 17442 0 0 0 17 1 0 0
/proc/10316/statm: 31616 30488 79 155 0 31459 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 126464

[startup+222.302 s]
/proc/loadavg: 1.01 1.04 0.95 2/65 10317
/proc/meminfo: memFree=946672/2055920 swapFree=4192956/4192956
[pid=10316] ppid=10314 vsize=126464 CPUtime=222.2
/proc/10316/stat : 10316 (precosat) R 10314 10316 10128 0 -1 4194304 144928 0 0 0 22143 77 0 0 25 0 1 0 89023404 129499136 30489 1992294400 134512640 135151029 4294956224 18446744073709551615 134554594 0 0 4096 17442 0 0 0 17 1 0 0
/proc/10316/statm: 31616 30489 79 155 0 31459 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 126464

[startup+282.302 s]
/proc/loadavg: 1.00 1.03 0.95 2/65 10317
/proc/meminfo: memFree=946672/2055920 swapFree=4192956/4192956
[pid=10316] ppid=10314 vsize=126464 CPUtime=282.18
/proc/10316/stat : 10316 (precosat) R 10314 10316 10128 0 -1 4194304 165105 0 0 0 28131 87 0 0 25 0 1 0 89023404 129499136 30490 1992294400 134512640 135151029 4294956224 18446744073709551615 134554809 0 0 4096 17442 0 0 0 17 1 0 0
/proc/10316/statm: 31616 30490 79 155 0 31459 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 126464

[startup+342.302 s]
/proc/loadavg: 1.00 1.02 0.95 2/65 10317
/proc/meminfo: memFree=946672/2055920 swapFree=4192956/4192956
[pid=10316] ppid=10314 vsize=126464 CPUtime=342.16
/proc/10316/stat : 10316 (precosat) R 10314 10316 10128 0 -1 4194304 181898 0 0 0 34120 96 0 0 25 0 1 0 89023404 129499136 30490 1992294400 134512640 135151029 4294956224 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/10316/statm: 31616 30490 79 155 0 31459 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 126464

[startup+402.301 s]
/proc/loadavg: 1.00 1.02 0.95 2/65 10317
/proc/meminfo: memFree=946672/2055920 swapFree=4192956/4192956
[pid=10316] ppid=10314 vsize=126464 CPUtime=402.15
/proc/10316/stat : 10316 (precosat) R 10314 10316 10128 0 -1 4194304 202074 0 0 0 40107 108 0 0 25 0 1 0 89023404 129499136 30490 1992294400 134512640 135151029 4294956224 18446744073709551615 134574641 0 0 4096 17442 0 0 0 17 1 0 0
/proc/10316/statm: 31616 30490 79 155 0 31459 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 126464

[startup+462.301 s]
/proc/loadavg: 1.00 1.01 0.95 2/65 10317
/proc/meminfo: memFree=946672/2055920 swapFree=4192956/4192956
[pid=10316] ppid=10314 vsize=126464 CPUtime=462.13
/proc/10316/stat : 10316 (precosat) R 10314 10316 10128 0 -1 4194304 222251 0 0 0 46094 119 0 0 25 0 1 0 89023404 129499136 30491 1992294400 134512640 135151029 4294956224 18446744073709551615 134530752 0 0 4096 17442 0 0 0 17 1 0 0
/proc/10316/statm: 31616 30491 79 155 0 31459 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 126464

[startup+522.301 s]
/proc/loadavg: 1.00 1.01 0.95 2/65 10317
/proc/meminfo: memFree=946608/2055920 swapFree=4192956/4192956
[pid=10316] ppid=10314 vsize=126464 CPUtime=522.11
/proc/10316/stat : 10316 (precosat) R 10314 10316 10128 0 -1 4194304 234000 0 0 0 52086 125 0 0 25 0 1 0 89023404 129499136 30491 1992294400 134512640 135151029 4294956224 18446744073709551615 134554829 0 0 4096 17442 0 0 0 17 1 0 0
/proc/10316/statm: 31616 30491 79 155 0 31459 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 126464

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 10323
/proc/meminfo: memFree=946608/2055920 swapFree=4192956/4192956
[pid=10316] ppid=10314 vsize=126464 CPUtime=582.09
/proc/10316/stat : 10316 (precosat) R 10314 10316 10128 0 -1 4194304 247410 0 0 0 58076 133 0 0 25 0 1 0 89023404 129499136 30491 1992294400 134512640 135151029 4294956224 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/10316/statm: 31616 30491 79 155 0 31459 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 126464

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 10323
/proc/meminfo: memFree=946672/2055920 swapFree=4192956/4192956
[pid=10316] ppid=10314 vsize=126464 CPUtime=642.07
/proc/10316/stat : 10316 (precosat) R 10314 10316 10128 0 -1 4194304 259159 0 0 0 64068 139 0 0 25 0 1 0 89023404 129499136 30491 1992294400 134512640 135151029 4294956224 18446744073709551615 134554809 0 0 4096 17442 0 0 0 17 1 0 0
/proc/10316/statm: 31616 30491 79 155 0 31459 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 126464

[startup+702.302 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 10323
/proc/meminfo: memFree=946608/2055920 swapFree=4192956/4192956
[pid=10316] ppid=10314 vsize=126464 CPUtime=702.06
/proc/10316/stat : 10316 (precosat) R 10314 10316 10128 0 -1 4194304 270908 0 0 0 70060 146 0 0 25 0 1 0 89023404 129499136 30491 1992294400 134512640 135151029 4294956224 18446744073709551615 134554907 0 0 4096 17442 0 0 0 17 1 0 0
/proc/10316/statm: 31616 30491 79 155 0 31459 0
Current children cumulated CPU time (s) 702.06
Current children cumulated vsize (KiB) 126464

[startup+762.305 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 10323
/proc/meminfo: memFree=946672/2055920 swapFree=4192956/4192956
[pid=10316] ppid=10314 vsize=126464 CPUtime=762.04
/proc/10316/stat : 10316 (precosat) R 10314 10316 10128 0 -1 4194304 279274 0 0 0 76054 150 0 0 25 0 1 0 89023404 129499136 30491 1992294400 134512640 135151029 4294956224 18446744073709551615 134554766 0 0 4096 17442 0 0 0 17 1 0 0
/proc/10316/statm: 31616 30491 79 155 0 31459 0
Current children cumulated CPU time (s) 762.04
Current children cumulated vsize (KiB) 126464

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 10323
/proc/meminfo: memFree=946608/2055920 swapFree=4192956/4192956
[pid=10316] ppid=10314 vsize=126464 CPUtime=822.02
/proc/10316/stat : 10316 (precosat) R 10314 10316 10128 0 -1 4194304 291023 0 0 0 82046 156 0 0 25 0 1 0 89023404 129499136 30491 1992294400 134512640 135151029 4294956224 18446744073709551615 134554766 0 0 4096 17442 0 0 0 17 1 0 0
/proc/10316/statm: 31616 30491 79 155 0 31459 0
Current children cumulated CPU time (s) 822.02
Current children cumulated vsize (KiB) 126464

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 10323
/proc/meminfo: memFree=946672/2055920 swapFree=4192956/4192956
[pid=10316] ppid=10314 vsize=126464 CPUtime=882
/proc/10316/stat : 10316 (precosat) R 10314 10316 10128 0 -1 4194304 296006 0 0 0 88041 159 0 0 25 0 1 0 89023404 129499136 30491 1992294400 134512640 135151029 4294956224 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/10316/statm: 31616 30491 79 155 0 31459 0
Current children cumulated CPU time (s) 882
Current children cumulated vsize (KiB) 126464

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 10323
/proc/meminfo: memFree=946608/2055920 swapFree=4192956/4192956
[pid=10316] ppid=10314 vsize=126464 CPUtime=941.98
/proc/10316/stat : 10316 (precosat) R 10314 10316 10128 0 -1 4194304 306094 0 0 0 94035 163 0 0 25 0 1 0 89023404 129499136 30491 1992294400 134512640 135151029 4294956224 18446744073709551615 134542738 0 0 4096 17442 0 0 0 17 1 0 0
/proc/10316/statm: 31616 30491 79 155 0 31459 0
Current children cumulated CPU time (s) 941.98
Current children cumulated vsize (KiB) 126464

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 10323
/proc/meminfo: memFree=946608/2055920 swapFree=4192956/4192956
[pid=10316] ppid=10314 vsize=126464 CPUtime=1001.97
/proc/10316/stat : 10316 (precosat) R 10314 10316 10128 0 -1 4194304 314460 0 0 0 100029 168 0 0 25 0 1 0 89023404 129499136 30491 1992294400 134512640 135151029 4294956224 18446744073709551615 134520434 0 0 4096 17442 0 0 0 17 1 0 0
/proc/10316/statm: 31616 30491 79 155 0 31459 0
Current children cumulated CPU time (s) 1001.97
Current children cumulated vsize (KiB) 126464

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 10323
/proc/meminfo: memFree=948464/2055920 swapFree=4192956/4192956
[pid=10316] ppid=10314 vsize=124412 CPUtime=1061.94
/proc/10316/stat : 10316 (precosat) R 10314 10316 10128 0 -1 4194304 330533 0 0 0 106018 176 0 0 25 0 1 0 89023404 127397888 29979 1992294400 134512640 135151029 4294956224 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/10316/statm: 31103 29979 79 155 0 30946 0
Current children cumulated CPU time (s) 1061.94
Current children cumulated vsize (KiB) 124412

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 10323
/proc/meminfo: memFree=948464/2055920 swapFree=4192956/4192956
[pid=10316] ppid=10314 vsize=124412 CPUtime=1121.92
/proc/10316/stat : 10316 (precosat) R 10314 10316 10128 0 -1 4194304 339717 0 0 0 112011 181 0 0 25 0 1 0 89023404 127397888 29979 1992294400 134512640 135151029 4294956224 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/10316/statm: 31103 29979 79 155 0 30946 0
Current children cumulated CPU time (s) 1121.92
Current children cumulated vsize (KiB) 124412

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 10323
/proc/meminfo: memFree=948400/2055920 swapFree=4192956/4192956
[pid=10316] ppid=10314 vsize=124412 CPUtime=1181.91
/proc/10316/stat : 10316 (precosat) R 10314 10316 10128 0 -1 4194304 350049 0 0 0 118004 187 0 0 25 0 1 0 89023404 127397888 29979 1992294400 134512640 135151029 4294956224 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/10316/statm: 31103 29979 79 155 0 30946 0
Current children cumulated CPU time (s) 1181.91
Current children cumulated vsize (KiB) 124412



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.4 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 10323
/proc/meminfo: memFree=948464/2055920 swapFree=4192956/4192956
[pid=10316] ppid=10314 vsize=124412 CPUtime=1200.01
/proc/10316/stat : 10316 (precosat) R 10314 10316 10128 0 -1 4194304 351197 0 0 0 119813 188 0 0 25 0 1 0 89023404 127397888 29979 1992294400 134512640 135151029 4294956224 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/10316/statm: 31103 29979 79 155 0 30946 0
Current children cumulated CPU time (s) 1200.01
Current children cumulated vsize (KiB) 124412

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): 1200.43
CPU time (s): 1200.04
CPU user time (s): 1198.14
CPU system time (s): 1.90271
CPU usage (%): 99.9679
Max. virtual memory (cumulated for all children) (KiB): 148868

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1198.14
system time used= 1.90271
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 351197
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= 2
involuntary context switches= 2241

runsolver used 0.973851 second user time and 2.36664 second system time

The end

Launcher Data 

Begin job on node33 at 2009-04-24 23:51:48
IDJOB=1716000
IDBENCH=20365
IDSOLVER=507
FILE ID=node33/1716000-1240609906
PBS_JOBID= 9186281
Free space on /tmp= 66356 MiB

SOLVER NAME= precosat 236
BENCH NAME= SAT07/industrial/anbulagan/hard-unsat/total-10-17-u.cnf
COMMAND LINE= HOME/precosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1716000-1240609906/watcher-1716000-1240609906 -o /tmp/evaluation-result-1716000-1240609906/solver-1716000-1240609906 -C 1200 -W 1800 -M 1800 --output-limit 1,15  HOME/precosat HOME/instance-1716000-1240609906.cnf

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 9ce7c48a28ddd5790e38607bb893dd38
RANDOM SEED=965874190

node33.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/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.212
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.212
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:       1068632 kB
Buffers:         83116 kB
Cached:         800068 kB
SwapCached:          0 kB
Active:         114724 kB
Inactive:       782424 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1068632 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:           26144 kB
Writeback:           0 kB
Mapped:          23712 kB
Slab:            76124 kB
Committed_AS:   262108 kB
PageTables:       1400 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= 66356 MiB
End job on node33 at 2009-04-25 00:11:50