Trace number 1716675

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
picosat 913? (TO) 1200.11 1200.42

General information on the benchmark

Nameindustrial/anbulagan/
hard-unsat/dated-5-13-u.cnf
MD5SUM45ee13b66821e6c36f3e38be418fa121
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 variables138808
Number of clauses626501
Sum of the clauses size1431026
Maximum clause length10
Minimum clause length1
Number of clauses of size 111712
Number of clauses of size 2503953
Number of clauses of size 384536
Number of clauses of size 42920
Number of clauses of size 511680
Number of clauses of size over 511700

Solver Data 

0.00/0.00	c PicoSAT SAT Solver Version 913
0.00/0.00	c Copyright (c) 2006 - 2009 Armin Biere JKU Linz
0.00/0.00	c gcc -Wall -Wextra -m32 -static -DNDEBUG -O3 -fomit-frame-pointer -finline-limit=1000000
0.00/0.00	c
0.00/0.00	c parsing HOME/instance-1716675-1240618850.cnf
0.00/0.00	c parsed header 'p cnf 138808 626501'
3.89/3.96	c initialized 138808 variables
3.89/3.96	c found 626501 non trivial clauses
3.89/3.96	c
3.89/3.96	c random number generator seed 0
3.89/3.96	c 
3.89/3.96	c  seconds     variables   original    learned     agility
3.89/3.96	c         level        used      conflicts    limit          MB
3.89/3.96	c 
3.89/3.96	c s   4.0   0.0 107e3  22.4 97917     0     0     0   0.0  18.2 
3.99/4.01	c 
3.99/4.01	c initial reduction limit 55418 clauses
3.99/4.01	c 
3.99/4.01	c +   4.0  61.7 107e3  22.9 97917   100    93 60959   0.3  18.5 
3.99/4.01	c R   4.0  61.7 107e3  22.9 97917   100    93 60959   0.3  18.5 
4.09/4.15	c +   4.2  46.3 105e3  26.2 97917   250   240 67054   0.2  18.5 
4.29/4.38	c +   4.4  67.7 98732  32.0 97917   475   458 73759   0.2  18.8 
4.69/4.71	c s   4.7  69.0 81068  46.7 84249   638   560 73759   0.6  18.8 
4.99/5.02	c +   5.0  86.3 77576  50.0 84249   812   688 81134   0.6  18.9 
5.59/5.62	c s   5.6  76.2 71230  59.8 78122  1018   852 81134   0.6  19.3 
6.50/6.57	c +   6.6  69.5 37179  79.8 78122  1317  1106 89247   3.0  20.3 
6.60/6.64	c s   6.6  69.5 37179  79.9 43606  1325   679 89247   3.9  19.2 
6.79/6.80	c R   6.8  69.1 36804  81.1 43606  1437   785 89247   4.6  19.2 
7.60/7.70	c s   7.7  71.9 36598  82.8 42942  1702  1044 89247   1.0  19.3 
7.79/7.87	c R   7.9  71.7 36598  83.0 42942  1752  1092 89247   3.6  19.4 
8.09/8.11	c R   8.1  71.4 36089  83.5 42942  1859  1192 89247   4.8  19.4 
8.39/8.47	c R   8.5  71.3 35450  84.2 42942  2011  1338 89247   3.8  19.5 
8.49/8.57	c +   8.6  71.0 35450  84.2 42942  2074  1401 98171   5.4  19.5 
8.70/8.79	c s   8.8  70.6 35450  84.3 41818  2152  1467 98171   2.0  19.5 
8.99/9.05	c R   9.1  70.1 35450  84.3 41818  2312  1627 98171   5.4  19.5 
9.39/9.46	c R   9.5  69.2 34287  85.1 41818  2487  1797 98171   2.6  19.6 
9.80/9.82	c s   9.8  68.9 34287  85.2 40990  2608  1854 98171   1.3  19.6 
10.09/10.12	c R  10.1  68.2 34287  85.2 40990  2789  2033 98171   3.0  19.6 
10.09/10.12	c 
10.09/10.12	c  seconds     variables   original    learned     agility
10.09/10.12	c         level        used      conflicts    limit          MB
10.09/10.12	c 
10.90/10.94	c +  10.9  67.0 34287  85.7 40990  3209  2452 107e3   3.7  19.7 
11.39/11.47	c R  11.5  66.6 34287  86.2 40990  3594  2836 107e3   3.5  19.8 
12.00/12.08	c s  12.1  65.8 34280  86.4 40989  3953  3191 107e3   3.5  19.9 
12.29/12.31	c R  12.3  65.7 34280  86.5 40989  4053  3290 107e3   3.0  19.9 
12.59/12.64	c R  12.6  65.5 34149  86.6 40989  4182  3418 107e3   2.6  19.9 
13.10/13.13	c s  13.1  64.7 32725  87.2 39186  4412  3625 107e3   5.4  20.0 
13.20/13.25	c R  13.3  64.5 32725  87.2 39186  4465  3678 107e3   6.0  20.0 
13.69/13.70	c R  13.7  64.0 32633  87.3 39186  4663  3874 107e3   3.4  20.0 
14.20/14.21	c s  14.2  63.6 32633  87.6 39069  4890  4101 107e3   1.2  20.1 
14.20/14.25	c +  14.2  63.5 32633  87.6 39069  4911  4122 118e3   3.7  20.1 
14.30/14.34	c R  14.3  63.4 32633  87.6 39069  4966  4177 118e3   3.3  20.1 
14.79/14.87	c R  14.9  62.8 31610  87.9 39069  5175  4380 118e3   2.2  20.2 
15.19/15.27	c s  15.3  62.3 31610  87.9 37948  5383  4564 118e3   1.4  20.2 
15.49/15.54	c R  15.5  62.2 31610  87.9 37948  5477  4658 118e3   1.4  20.2 
15.89/16.00	c R  16.0  62.1 31587  87.9 37948  5652  4830 118e3   4.6  20.2 
16.09/16.17	c R  16.2  61.5 31523  87.9 37948  5821  4991 118e3   3.2  20.3 
16.19/16.27	c s  16.3  61.4 31523  87.9 37809  5833  4996 118e3   0.9  20.3 
16.59/16.65	c R  16.6  61.2 31455  88.0 37809  6037  5199 118e3   3.8  20.3 
17.19/17.22	c R  17.2  60.8 31431  88.0 37809  6353  5514 118e3   2.3  20.4 
17.29/17.33	c s  17.3  60.8 31431  88.0 37682  6370  5528 118e3   1.9  20.4 
17.69/17.73	c R  17.7  60.1 31431  88.0 37682  6661  5819 118e3   4.0  20.5 
17.89/17.98	c R  18.0  60.0 31399  88.1 37682  6846  6001 118e3   3.4  20.5 
17.89/17.98	c 
17.89/17.98	c  seconds     variables   original    learned     agility
17.89/17.98	c         level        used      conflicts    limit          MB
17.89/17.98	c 
18.09/18.18	c R  18.2  59.8 31315  88.1 37682  6957  6111 118e3   7.9  20.6 
18.39/18.40	c s  18.4  59.7 31315  88.1 37558  7026  6180 118e3   1.9  20.6 
18.69/18.76	c R  18.8  59.9 31315  88.2 37558  7257  6411 118e3   4.7  20.7 
19.19/19.29	c +  19.3  59.5 31315  88.2 37558  7464  6617 130e3   3.8  20.7 
19.39/19.49	c s  19.5  59.4 31293  88.2 37530  7550  6699 130e3   2.4  20.7 
19.59/19.64	c R  19.6  59.2 31293  88.2 37530  7623  6772 130e3   4.1  20.7 
19.89/19.99	c R  20.0  59.1 30786  88.5 37530  7793  6939 130e3   5.3  20.8 
20.19/20.22	c R  20.2  58.9 30332  88.8 37530  7905  7050 130e3   2.8  20.8 
20.49/20.58	c s  20.6  58.7 30332  88.9 36390  8032  7172 130e3   1.6  20.8 
20.99/21.01	c R  21.0  58.5 30332  88.9 36390  8206  7346 130e3   4.1  20.9 
21.29/21.33	c R  21.3  58.2 30309  89.0 36390  8338  7476 130e3   2.8  20.9 
21.59/21.62	c s  21.6  58.0 30154  89.0 36142  8444  7567 130e3   1.1  20.9 
21.79/21.82	c R  21.8  58.0 29611  89.2 36142  8560  7680 130e3   5.0  20.9 
22.09/22.16	c R  22.2  58.6 29611  89.2 36142  8860  7978 130e3   5.4  21.1 
22.69/22.73	c s  22.7  58.8 29564  89.3 35411  9104  8045 130e3   2.4  21.1 
22.69/22.79	c R  22.8  58.7 29564  89.3 35411  9124  8065 130e3   3.2  21.1 
23.59/23.61	c R  23.6  59.0 29385  89.6 35411  9508  8447 130e3   2.4  21.2 
23.79/23.83	c s  23.8  59.0 29267  89.7 35090  9611  8549 130e3   1.3  21.2 
24.09/24.11	c R  24.1  59.1 29267  89.7 35090  9704  8641 130e3   2.0  21.3 
24.58/24.66	c R  24.7  58.8 29267  89.8 35090 10005  8934 130e3   6.3  21.3 
26.39/26.44	c R  26.4  58.1 29267  89.8 35090 10807  9735 130e3   3.1  21.5 
27.58/27.68	c +  27.7  57.7 29267  89.8 35090 11293 10221 143e3   1.3  21.6 
27.58/27.68	c 
27.58/27.68	c  seconds     variables   original    learned     agility
27.58/27.68	c         level        used      conflicts    limit          MB
27.58/27.68	c 
27.88/27.92	c s  27.9  57.6 29244  89.8 35055 11351 10276 143e3   3.2  21.6 
28.08/28.19	c R  28.2  57.5 29244  89.8 35055 11451 10375 143e3   3.7  21.6 
28.78/28.84	c R  28.8  57.2 29244  89.8 35055 11753 10677 143e3   3.0  21.7 
30.79/30.89	c R  30.9  56.7 29244  89.9 35055 12561 11485 143e3   1.9  21.8 
31.48/31.53	c s  31.5  56.4 29173  89.9 34985 12766 11673 143e3   2.1  21.8 
31.79/31.85	c R  31.8  56.3 29173  89.9 34985 12867 11774 143e3   1.3  21.9 
32.58/32.70	c R  32.7  56.1 29173  89.9 34985 13173 12080 143e3   2.0  21.9 
33.78/33.87	c s  33.9  55.7 29149  89.9 34951 13608 12512 143e3   4.0  22.0 
33.98/34.04	c R  34.0  55.7 29149  89.9 34951 13708 12612 143e3   2.6  22.0 
34.68/34.75	c R  34.7  55.5 29149  89.9 34951 14012 12915 143e3   3.5  22.1 
36.18/36.27	c R  36.3  54.9 29149  90.0 34951 14813 13716 143e3   2.7  22.3 
39.59/39.64	c s  39.6  54.3 29126  90.0 34922 16124 15023 143e3   3.2  22.5 
40.08/40.16	c R  40.2  54.2 28349  90.4 34922 16329 15226 143e3   2.0  22.6 
40.69/40.79	c s  40.8  54.1 28349  90.4 34058 16585 15479 143e3   1.4  22.6 
40.78/40.88	c R  40.9  54.0 28349  90.4 34058 16634 15528 143e3   2.9  22.6 
41.79/41.86	c +  41.9  53.7 28349  90.4 34058 17036 15928 158e3   1.9  22.7 
42.79/42.85	c s  42.8  53.6 28315  90.4 34023 17383 16274 158e3   4.1  22.8 
43.08/43.11	c R  43.1  53.5 28315  90.4 34023 17483 16374 158e3   7.1  22.8 
43.68/43.71	c R  43.7  53.4 28315  90.4 34023 17784 16673 158e3   2.9  22.8 
45.38/45.49	c R  45.5  53.3 28315  90.4 34023 18587 17473 158e3   2.9  23.0 
45.48/45.55	c s  45.5  53.3 28264  90.4 33966 18590 17474 158e3   1.9  23.0 
45.58/45.68	c R  45.7  53.3 28264  90.4 33966 18691 17575 158e3   3.0  23.0 
45.58/45.68	c 
45.58/45.68	c  seconds     variables   original    learned     agility
45.58/45.68	c         level        used      conflicts    limit          MB
45.58/45.68	c 
45.98/46.09	c R  46.1  53.1 28264  90.4 33966 18992 17876 158e3   4.1  23.1 
47.58/47.68	c R  47.7  52.8 28264  90.5 33966 19799 18681 158e3   5.5  23.3 
52.28/52.38	c R  52.4  52.5 28264  90.5 33966 21815 20694 158e3   3.0  23.8 
56.57/56.67	c s  56.7  51.7 22511  92.9 25869 23612 22026 158e3   2.2  24.5 
56.57/56.67	c R  56.7  51.7 22511  92.9 25869 23612 22026 158e3   2.1  24.5 
57.18/57.24	c R  57.2  51.6 22511  92.9 25869 23914 22328 158e3   3.4  24.5 
58.28/58.31	c R  58.3  51.2 22511  92.9 25869 24717 23129 158e3   2.4  24.6 
60.07/60.18	c +  60.2  50.7 22511  92.9 25869 25823 24233 173e3   3.5  24.8 
61.58/61.69	c R  61.7  50.6 22511  92.9 25869 26727 25135 173e3   1.0  25.0 
68.27/68.30	c R  68.3  49.6 22511  93.0 25869 31548 29952 173e3   7.6  26.2 
72.37/72.48	c s  72.5  48.9 20056  93.8 22491 34122 32098 173e3   4.8  26.7 
72.37/72.48	c R  72.5  48.9 20056  93.8 22491 34122 32098 173e3   4.8  26.7 
72.97/73.01	c R  73.0  48.8 20056  93.8 22491 34423 32399 173e3   5.9  26.8 
73.87/73.93	c R  73.9  48.4 20056  93.8 22491 35226 33202 173e3   6.7  26.9 
73.97/74.05	c s  74.0  48.4 20034  93.8 22461 35262 33234 173e3   5.0  26.9 
74.07/74.17	c R  74.1  48.4 20034  93.8 22461 35362 33334 173e3   5.9  26.9 
74.47/74.57	c R  74.6  48.3 20034  93.8 22461 35667 33639 173e3   4.5  27.0 
75.48/75.55	c R  75.5  48.0 20034  93.8 22461 36469 34441 173e3  10.6  27.1 
78.27/78.36	c R  78.3  47.5 20034  93.8 22461 38475 36443 173e3   3.2  27.5 
78.87/78.96	c +  78.9  47.4 20034  93.8 22461 38889 36857 191e3   3.1  27.5 
84.87/84.96	c R  84.9  46.3 20034  93.8 22461 43287 41255 191e3   6.8  28.3 
105.47/105.59	c R 105.6  44.0 20034  93.9 22461 54516 52473 191e3   3.7  30.2 
105.47/105.59	c 
105.47/105.59	c  seconds     variables   original    learned     agility
105.47/105.59	c         level        used      conflicts    limit          MB
105.47/105.59	c 
106.67/106.72	c s 106.7  43.9 17727  94.5 19540 54900 52348 191e3   3.3  30.2 
106.67/106.72	c R 106.7  43.9 17727  94.5 19540 54900 52348 191e3   3.3  30.2 
107.17/107.24	c R 107.2  43.8 17727  94.5 19540 55203 52651 191e3   6.0  30.2 
108.17/108.24	c R 108.2  43.6 17727  94.5 19540 56004 53451 191e3   8.9  30.3 
110.56/110.69	c R 110.7  43.2 17727  94.5 19540 58014 55461 191e3   9.1  30.7 
111.16/111.22	c + 111.2  43.1 17727  94.5 19540 58373 55820 210e3   4.9  30.7 
117.06/117.14	c R 117.1  42.3 17727  94.5 19540 62832 60279 210e3   6.5  31.4 
118.66/118.74	c s 118.7  42.2 17398  94.6 18880 63417 60753 210e3   5.8  31.4 
118.86/118.93	c R 118.9  42.2 17398  94.6 18880 63473 60809 210e3   2.6  31.4 
119.46/119.58	c R 119.6  42.2 17398  94.6 18880 63776 61112 210e3   3.8  31.5 
120.96/121.04	c R 121.0  42.0 17398  94.6 18880 64579 61915 210e3   4.0  31.6 
123.86/123.92	c R 123.9  41.9 17398  94.6 18880 66584 63920 210e3   5.9  32.0 
130.25/130.31	c R 130.3  41.2 17398  94.6 18880 71400 68736 210e3   5.7  32.7 
147.85/147.99	c R 148.0  39.8 17398  94.6 18880 82620 79953 210e3   4.6  34.5 
156.75/156.87	c + 156.8  39.5 17398  94.7 18880 87488 84821 231e3   5.7  35.3 
188.34/188.44	c R 188.4  37.9 17398  94.7 18880 108e3 105e3 231e3   6.3  38.7 
219.44/219.58	c s 219.5  36.8 16464  95.1 16856 123e3 120e3 231e3   2.4  41.0 
219.44/219.58	c R 219.5  36.8 16464  95.1 16856 123e3 120e3 231e3   2.4  41.0 
220.04/220.12	c R 220.1  36.8 16464  95.1 16856 124e3 121e3 231e3   5.8  41.1 
221.64/221.79	c R 221.7  36.7 16464  95.1 16856 124e3 122e3 231e3   6.6  41.2 
225.73/225.90	c R 225.8  36.6 16464  95.1 16856 126e3 124e3 231e3   9.7  41.6 
234.73/234.85	c + 234.8  36.4 16464  95.1 16856 131e3 128e3 254e3   4.5  42.2 
234.73/234.85	c 
234.73/234.85	c  seconds     variables   original    learned     agility
234.73/234.85	c         level        used      conflicts    limit          MB
234.73/234.85	c 
235.73/235.88	c R 235.8  36.4 16464  95.1 16856 131e3 128e3 254e3   4.1  42.3 
258.12/258.29	c R 258.2  35.7 16464  95.1 16856 142e3 140e3 254e3   7.4  43.9 
312.61/312.75	c R 312.7  34.7 16464  95.1 16856 168e3 165e3 254e3   7.0  48.9 
383.59/383.78	c + 383.7  34.0 16464  95.2 16856 196e3 193e3 280e3   3.5  53.4 
426.08/426.29	c s 426.2  33.5 15903  95.4 16145 216e3 213e3 280e3   7.5  56.5 
426.28/426.48	c R 426.4  33.5 15903  95.4 16145 216e3 213e3 280e3   7.9  56.5 
427.08/427.26	c R 427.2  33.5 15903  95.4 16145 216e3 213e3 280e3   7.7  56.6 
429.08/429.29	c R 429.2  33.5 15903  95.4 16145 217e3 214e3 280e3   7.7  56.7 
434.38/434.53	c R 434.4  33.5 15903  95.4 16145 219e3 216e3 280e3   6.1  57.0 
445.18/445.37	c R 445.3  33.4 15903  95.4 16145 224e3 221e3 280e3   5.3  57.8 
472.27/472.40	c R 472.3  33.2 15903  95.4 16145 235e3 232e3 280e3   9.9  59.6 
543.35/543.58	c R 543.4  32.8 15903  95.4 16145 261e3 258e3 280e3   2.9  63.7 
604.53/604.75	c s 604.6  32.7 14168  96.1 14608 283e3 280e3 280e3   6.0  67.3 
604.74/604.98	c R 604.8  32.7 14168  96.1 14608 283e3 280e3 280e3   7.6  67.3 
605.84/606.01	c R 605.9  32.7 14168  96.1 14608 283e3 25036 280e3   5.4  25.6 
606.63/606.89	c R 606.7  32.7 14168  96.1 14608 284e3 25839 280e3   6.8  25.8 
608.83/609.06	c R 608.9  32.7 14168  96.1 14608 286e3 27845 280e3   6.9  26.1 
613.83/614.08	c R 613.9  32.6 14168  96.1 14608 291e3 32667 280e3   6.5  26.9 
617.93/618.13	c + 618.0  32.6 14168  96.1 14608 294e3 36387 308e3   3.4  27.4 
628.23/628.44	c R 628.3  32.4 14168  96.1 14608 302e3 43889 308e3   6.4  28.5 
631.23/631.46	c s 631.3  32.4 14060  96.2 14439 304e3 45706 308e3   7.8  28.7 
631.42/631.62	c R 631.5  32.4 14060  96.2 14439 304e3 45797 308e3   3.0  28.8 
631.42/631.62	c 
631.42/631.62	c  seconds     variables   original    learned     agility
631.42/631.62	c         level        used      conflicts    limit          MB
631.42/631.62	c 
631.92/632.16	c R 632.0  32.4 14060  96.2 14439 304e3 46099 308e3   6.3  28.8 
633.12/633.35	c R 633.2  32.4 14060  96.2 14439 305e3 46903 308e3   7.3  28.9 
636.12/636.36	c R 636.2  32.4 14060  96.2 14439 307e3 48910 308e3   4.9  29.3 
643.22/643.45	c R 643.3  32.4 14060  96.2 14439 312e3 53724 308e3   7.1  30.0 
659.82/660.01	c R 659.8  32.1 14060  96.2 14439 323e3 64956 308e3   5.8  31.5 
704.71/704.99	c R 704.8  32.1 14060  96.2 14439 349e3 90599 308e3   5.5  35.6 
809.18/809.50	c R 809.3  31.2 14060  96.2 14439 406e3 148e3 308e3   4.6  44.4 
887.96/888.24	c + 888.0  31.1 14060  96.2 14439 441e3 183e3 338e3   4.7  50.0 
1130.89/1131.28	c R 113e1  30.7 14060  96.3 14439 534e3 276e3 338e3   7.0  65.4

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-1716675-1240618850/watcher-1716675-1240618850 -o /tmp/evaluation-result-1716675-1240618850/solver-1716675-1240618850 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/picosat HOME/instance-1716675-1240618850.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.00 1.00 1.00 2/64 19037
/proc/meminfo: memFree=1473720/2055920 swapFree=4181324/4192956
[pid=19037] ppid=19035 vsize=8664 CPUtime=0
/proc/19037/stat : 19037 (picosat) R 19035 19037 18627 0 -1 4194304 565 0 0 0 0 0 0 0 18 0 1 0 89918367 8871936 550 1992294400 134512640 135137933 4294956224 18446744073709551615 134532287 0 0 4096 0 0 0 0 17 1 0 0
/proc/19037/statm: 2166 552 53 152 0 2012 0

[startup+0.0443881 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 19037
/proc/meminfo: memFree=1473720/2055920 swapFree=4181324/4192956
[pid=19037] ppid=19035 vsize=10352 CPUtime=0.04
/proc/19037/stat : 19037 (picosat) R 19035 19037 18627 0 -1 4194304 2370 0 0 0 3 1 0 0 18 0 1 0 89918367 10600448 2355 1992294400 134512640 135137933 4294956224 18446744073709551615 134689438 0 0 4096 0 0 0 0 17 1 0 0
/proc/19037/statm: 2588 2356 56 152 0 2434 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10352

[startup+0.101394 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 19037
/proc/meminfo: memFree=1473720/2055920 swapFree=4181324/4192956
[pid=19037] ppid=19035 vsize=12332 CPUtime=0.09
/proc/19037/stat : 19037 (picosat) R 19035 19037 18627 0 -1 4194304 2856 0 0 0 8 1 0 0 18 0 1 0 89918367 12627968 2841 1992294400 134512640 135137933 4294956224 18446744073709551615 134689438 0 0 4096 0 0 0 0 17 1 0 0
/proc/19037/statm: 3083 2842 56 152 0 2929 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12332

[startup+0.301415 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 19037
/proc/meminfo: memFree=1473720/2055920 swapFree=4181324/4192956
[pid=19037] ppid=19035 vsize=17476 CPUtime=0.29
/proc/19037/stat : 19037 (picosat) R 19035 19037 18627 0 -1 4194304 4111 0 0 0 27 2 0 0 19 0 1 0 89918367 17895424 4096 1992294400 134512640 135137933 4294956224 18446744073709551615 134689438 0 0 4096 0 0 0 0 17 1 0 0
/proc/19037/statm: 4369 4096 56 152 0 4215 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17476

[startup+0.701457 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 19037
/proc/meminfo: memFree=1473720/2055920 swapFree=4181324/4192956
[pid=19037] ppid=19035 vsize=21896 CPUtime=0.69
/proc/19037/stat : 19037 (picosat) R 19035 19037 18627 0 -1 4194304 5250 0 0 0 66 3 0 0 22 0 1 0 89918367 22421504 5235 1992294400 134512640 135137933 4294956224 18446744073709551615 134529080 0 0 4096 0 0 0 0 17 1 0 0
/proc/19037/statm: 5474 5235 61 152 0 5320 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 21896

[startup+1.50154 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 19038
/proc/meminfo: memFree=1452848/2055920 swapFree=4181324/4192956
[pid=19037] ppid=19035 vsize=22160 CPUtime=1.49
/proc/19037/stat : 19037 (picosat) R 19035 19037 18627 0 -1 4194304 5271 0 0 0 146 3 0 0 25 0 1 0 89918367 22691840 5256 1992294400 134512640 135137933 4294956224 18446744073709551615 134548819 0 0 4096 0 0 0 0 17 1 0 0
/proc/19037/statm: 5540 5256 61 152 0 5386 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 22160

[startup+3.10172 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 19038
/proc/meminfo: memFree=1452720/2055920 swapFree=4181324/4192956
[pid=19037] ppid=19035 vsize=22160 CPUtime=3.09
/proc/19037/stat : 19037 (picosat) R 19035 19037 18627 0 -1 4194304 5271 0 0 0 306 3 0 0 25 0 1 0 89918367 22691840 5256 1992294400 134512640 135137933 4294956224 18446744073709551615 134548661 0 0 4096 0 0 0 0 17 1 0 0
/proc/19037/statm: 5540 5256 61 152 0 5386 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 22160

[startup+6.30106 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 19038
/proc/meminfo: memFree=1451760/2055920 swapFree=4181324/4192956
[pid=19037] ppid=19035 vsize=23576 CPUtime=6.29
/proc/19037/stat : 19037 (picosat) R 19035 19037 18627 0 -1 4194304 5495 0 0 0 625 4 0 0 25 0 1 0 89918367 24141824 5480 1992294400 134512640 135137933 4294956224 18446744073709551615 134548608 0 0 4096 0 0 0 0 17 1 0 0
/proc/19037/statm: 5894 5480 69 152 0 5740 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 23576

[startup+12.7017 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 19038
/proc/meminfo: memFree=1451192/2055920 swapFree=4181324/4192956
[pid=19037] ppid=19035 vsize=24104 CPUtime=12.69
/proc/19037/stat : 19037 (picosat) R 19035 19037 18627 0 -1 4194304 5653 0 0 0 1265 4 0 0 25 0 1 0 89918367 24682496 5638 1992294400 134512640 135137933 4294956224 18446744073709551615 134548661 0 0 4096 0 0 0 0 17 1 0 0
/proc/19037/statm: 6026 5638 69 152 0 5872 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 24104

[startup+25.5011 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 19038
/proc/meminfo: memFree=1450040/2055920 swapFree=4181324/4192956
[pid=19037] ppid=19035 vsize=25292 CPUtime=25.48
/proc/19037/stat : 19037 (picosat) R 19035 19037 18627 0 -1 4194304 5974 0 0 0 2544 4 0 0 25 0 1 0 89918367 25899008 5959 1992294400 134512640 135137933 4294956224 18446744073709551615 134548801 0 0 4096 0 0 0 0 17 1 0 0
/proc/19037/statm: 6323 5959 69 152 0 6169 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 25292

[startup+51.1019 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 19038
/proc/meminfo: memFree=1447800/2055920 swapFree=4181324/4192956
[pid=19037] ppid=19035 vsize=27668 CPUtime=51.08
/proc/19037/stat : 19037 (picosat) R 19035 19037 18627 0 -1 4194304 6565 0 0 0 5103 5 0 0 25 0 1 0 89918367 28332032 6550 1992294400 134512640 135137933 4294956224 18446744073709551615 134548661 0 0 4096 0 0 0 0 17 1 0 0
/proc/19037/statm: 6917 6550 69 152 0 6763 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 27668

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 19038
/proc/meminfo: memFree=1441400/2055920 swapFree=4181324/4192956
[pid=19037] ppid=19035 vsize=34384 CPUtime=102.27
/proc/19037/stat : 19037 (picosat) R 19035 19037 18627 0 -1 4194304 8147 0 0 0 10219 8 0 0 25 0 1 0 89918367 35209216 8132 1992294400 134512640 135137933 4294956224 18446744073709551615 134527844 0 0 4096 0 0 0 0 17 1 0 0
/proc/19037/statm: 8596 8132 69 152 0 8442 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 34384

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 19038
/proc/meminfo: memFree=1435064/2055920 swapFree=4181324/4192956
[pid=19037] ppid=19035 vsize=40456 CPUtime=162.24
/proc/19037/stat : 19037 (picosat) R 19035 19037 18627 0 -1 4194304 9727 0 0 0 16215 9 0 0 25 0 1 0 89918367 41426944 9712 1992294400 134512640 135137933 4294956224 18446744073709551615 134548661 0 0 4096 0 0 0 0 17 1 0 0
/proc/19037/statm: 10114 9712 69 152 0 9960 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 40456

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 19038
/proc/meminfo: memFree=1428984/2055920 swapFree=4181324/4192956
[pid=19037] ppid=19035 vsize=46264 CPUtime=222.24
/proc/19037/stat : 19037 (picosat) R 19035 19037 18627 0 -1 4194304 11216 0 0 0 22212 12 0 0 25 0 1 0 89918367 47374336 11201 1992294400 134512640 135137933 4294956224 18446744073709551615 134548608 0 0 4096 0 0 0 0 17 1 0 0
/proc/19037/statm: 11566 11201 69 152 0 11412 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 46264

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 19038
/proc/meminfo: memFree=1424312/2055920 swapFree=4181324/4192956
[pid=19037] ppid=19035 vsize=51908 CPUtime=282.21
/proc/19037/stat : 19037 (picosat) R 19035 19037 18627 0 -1 4194304 12393 0 0 0 28208 13 0 0 25 0 1 0 89918367 53153792 12378 1992294400 134512640 135137933 4294956224 18446744073709551615 134527692 0 0 4096 0 0 0 0 17 1 0 0
/proc/19037/statm: 12977 12378 69 152 0 12823 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 51908

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 19038
/proc/meminfo: memFree=1419832/2055920 swapFree=4181324/4192956
[pid=19037] ppid=19035 vsize=56264 CPUtime=342.2
/proc/19037/stat : 19037 (picosat) R 19035 19037 18627 0 -1 4194304 13502 0 0 0 34205 15 0 0 25 0 1 0 89918367 57614336 13487 1992294400 134512640 135137933 4294956224 18446744073709551615 134548819 0 0 4096 0 0 0 0 17 1 0 0
/proc/19037/statm: 14066 13487 69 152 0 13912 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 56264

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 19038
/proc/meminfo: memFree=1415672/2055920 swapFree=4181324/4192956
[pid=19037] ppid=19035 vsize=60356 CPUtime=402.19
/proc/19037/stat : 19037 (picosat) R 19035 19037 18627 0 -1 4194304 14552 0 0 0 40202 17 0 0 25 0 1 0 89918367 61804544 14537 1992294400 134512640 135137933 4294956224 18446744073709551615 134548819 0 0 4096 0 0 0 0 17 1 0 0
/proc/19037/statm: 15089 14537 69 152 0 14935 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 60356

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 19038
/proc/meminfo: memFree=1410936/2055920 swapFree=4181324/4192956
[pid=19037] ppid=19035 vsize=64976 CPUtime=462.17
/proc/19037/stat : 19037 (picosat) R 19035 19037 18627 0 -1 4194304 15710 0 0 0 46199 18 0 0 25 0 1 0 89918367 66535424 15695 1992294400 134512640 135137933 4294956224 18446744073709551615 134548556 0 0 4096 0 0 0 0 17 1 0 0
/proc/19037/statm: 16244 15695 69 152 0 16090 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 64976

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 19038
/proc/meminfo: memFree=1407160/2055920 swapFree=4181324/4192956
[pid=19037] ppid=19035 vsize=68672 CPUtime=522.16
/proc/19037/stat : 19037 (picosat) R 19035 19037 18627 0 -1 4194304 16663 0 0 0 52195 21 0 0 25 0 1 0 89918367 70320128 16648 1992294400 134512640 135137933 4294956224 18446744073709551615 134549147 0 0 4096 0 0 0 0 17 1 0 0
/proc/19037/statm: 17168 16648 69 152 0 17014 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 68672

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 19038
/proc/meminfo: memFree=1403128/2055920 swapFree=4181324/4192956
[pid=19037] ppid=19035 vsize=72500 CPUtime=582.14
/proc/19037/stat : 19037 (picosat) R 19035 19037 18627 0 -1 4194304 17650 0 0 0 58192 22 0 0 25 0 1 0 89918367 74240000 17635 1992294400 134512640 135137933 4294956224 18446744073709551615 134548608 0 0 4096 0 0 0 0 17 1 0 0
/proc/19037/statm: 18125 17635 69 152 0 17971 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 72500

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 19038
/proc/meminfo: memFree=1400440/2055920 swapFree=4181324/4192956
[pid=19037] ppid=19035 vsize=76120 CPUtime=642.12
/proc/19037/stat : 19037 (picosat) R 19035 19037 18627 0 -1 4194304 18341 0 0 0 64189 23 0 0 25 0 1 0 89918367 77946880 18301 1992294400 134512640 135137933 4294956224 18446744073709551615 134548608 0 0 4096 0 0 0 0 17 1 0 0
/proc/19037/statm: 19030 18301 69 152 0 18876 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 76120

[startup+702.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 19038
/proc/meminfo: memFree=1400376/2055920 swapFree=4181324/4192956
[pid=19037] ppid=19035 vsize=76120 CPUtime=702.11
/proc/19037/stat : 19037 (picosat) R 19035 19037 18627 0 -1 4194304 18341 0 0 0 70187 24 0 0 25 0 1 0 89918367 77946880 18301 1992294400 134512640 135137933 4294956224 18446744073709551615 134548819 0 0 4096 0 0 0 0 17 1 0 0
/proc/19037/statm: 19030 18301 69 152 0 18876 0
Current children cumulated CPU time (s) 702.11
Current children cumulated vsize (KiB) 76120

[startup+762.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 19038
/proc/meminfo: memFree=1400312/2055920 swapFree=4181324/4192956
[pid=19037] ppid=19035 vsize=76120 CPUtime=762.1
/proc/19037/stat : 19037 (picosat) R 19035 19037 18627 0 -1 4194304 18341 0 0 0 76186 24 0 0 25 0 1 0 89918367 77946880 18301 1992294400 134512640 135137933 4294956224 18446744073709551615 134551624 0 0 4096 0 0 0 0 17 1 0 0
/proc/19037/statm: 19030 18301 69 152 0 18876 0
Current children cumulated CPU time (s) 762.1
Current children cumulated vsize (KiB) 76120

[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 19038
/proc/meminfo: memFree=1400312/2055920 swapFree=4181324/4192956
[pid=19037] ppid=19035 vsize=76120 CPUtime=822.08
/proc/19037/stat : 19037 (picosat) R 19035 19037 18627 0 -1 4194304 18341 0 0 0 82184 24 0 0 25 0 1 0 89918367 77946880 18301 1992294400 134512640 135137933 4294956224 18446744073709551615 134553611 0 0 4096 0 0 0 0 17 1 0 0
/proc/19037/statm: 19030 18301 69 152 0 18876 0
Current children cumulated CPU time (s) 822.08
Current children cumulated vsize (KiB) 76120

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 19038
/proc/meminfo: memFree=1400312/2055920 swapFree=4181324/4192956
[pid=19037] ppid=19035 vsize=76120 CPUtime=882.06
/proc/19037/stat : 19037 (picosat) R 19035 19037 18627 0 -1 4194304 18341 0 0 0 88182 24 0 0 25 0 1 0 89918367 77946880 18301 1992294400 134512640 135137933 4294956224 18446744073709551615 134548908 0 0 4096 0 0 0 0 17 1 0 0
/proc/19037/statm: 19030 18301 69 152 0 18876 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 76120

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 19038
/proc/meminfo: memFree=1400312/2055920 swapFree=4181324/4192956
[pid=19037] ppid=19035 vsize=76120 CPUtime=942.05
/proc/19037/stat : 19037 (picosat) R 19035 19037 18627 0 -1 4194304 18341 0 0 0 94180 25 0 0 25 0 1 0 89918367 77946880 18301 1992294400 134512640 135137933 4294956224 18446744073709551615 134548608 0 0 4096 0 0 0 0 17 1 0 0
/proc/19037/statm: 19030 18301 69 152 0 18876 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 76120

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 19038
/proc/meminfo: memFree=1400312/2055920 swapFree=4181324/4192956
[pid=19037] ppid=19035 vsize=76120 CPUtime=1002.03
/proc/19037/stat : 19037 (picosat) R 19035 19037 18627 0 -1 4194304 18341 0 0 0 100178 25 0 0 25 0 1 0 89918367 77946880 18301 1992294400 134512640 135137933 4294956224 18446744073709551615 134552061 0 0 4096 0 0 0 0 17 1 0 0
/proc/19037/statm: 19030 18301 69 152 0 18876 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 76120

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 19040
/proc/meminfo: memFree=1400312/2055920 swapFree=4181324/4192956
[pid=19037] ppid=19035 vsize=76120 CPUtime=1062.01
/proc/19037/stat : 19037 (picosat) R 19035 19037 18627 0 -1 4194304 18341 0 0 0 106176 25 0 0 25 0 1 0 89918367 77946880 18301 1992294400 134512640 135137933 4294956224 18446744073709551615 134548819 0 0 4096 0 0 0 0 17 1 0 0
/proc/19037/statm: 19030 18301 69 152 0 18876 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 76120

[startup+1122.3 s]
/proc/loadavg: 1.06 1.01 1.00 2/65 19040
/proc/meminfo: memFree=1400312/2055920 swapFree=4181324/4192956
[pid=19037] ppid=19035 vsize=76120 CPUtime=1122
/proc/19037/stat : 19037 (picosat) R 19035 19037 18627 0 -1 4194304 18341 0 0 0 112175 25 0 0 25 0 1 0 89918367 77946880 18301 1992294400 134512640 135137933 4294956224 18446744073709551615 134527931 0 0 4096 0 0 0 0 17 1 0 0
/proc/19037/statm: 19030 18301 69 152 0 18876 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 76120

[startup+1182.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/65 19040
/proc/meminfo: memFree=1400248/2055920 swapFree=4181324/4192956
[pid=19037] ppid=19035 vsize=76120 CPUtime=1181.98
/proc/19037/stat : 19037 (picosat) R 19035 19037 18627 0 -1 4194304 18351 0 0 0 118173 25 0 0 25 0 1 0 89918367 77946880 18311 1992294400 134512640 135137933 4294956224 18446744073709551615 134527931 0 0 4096 0 0 0 0 17 1 0 0
/proc/19037/statm: 19030 18311 69 152 0 18876 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 76120



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.4 s]
/proc/loadavg: 1.01 1.01 1.00 2/65 19040
/proc/meminfo: memFree=1400248/2055920 swapFree=4181324/4192956
[pid=19037] ppid=19035 vsize=76120 CPUtime=1200.08
/proc/19037/stat : 19037 (picosat) R 19035 19037 18627 0 -1 4194304 18356 0 0 0 119983 25 0 0 25 0 1 0 89918367 77946880 18316 1992294400 134512640 135137933 4294956224 18446744073709551615 134548819 0 0 4096 0 0 0 0 17 1 0 0
/proc/19037/statm: 19030 18316 69 152 0 18876 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 76120

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.42
CPU time (s): 1200.11
CPU user time (s): 1199.83
CPU system time (s): 0.271958
CPU usage (%): 99.974
Max. virtual memory (cumulated for all children) (KiB): 76120

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.83
system time used= 0.271958
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18356
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= 1387

runsolver used 0.870867 second user time and 2.53661 second system time

The end

Launcher Data 

Begin job on node19 at 2009-04-25 02:20:51
IDJOB=1716675
IDBENCH=20387
IDSOLVER=506
FILE ID=node19/1716675-1240618850
PBS_JOBID= 9186295
Free space on /tmp= 66232 MiB

SOLVER NAME= picosat 913
BENCH NAME= SAT07/industrial/anbulagan/hard-unsat/dated-5-13-u.cnf
COMMAND LINE= HOME/picosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1716675-1240618850/watcher-1716675-1240618850 -o /tmp/evaluation-result-1716675-1240618850/solver-1716675-1240618850 -C 1200 -W 1800 -M 1800 --output-limit 1,15  HOME/picosat HOME/instance-1716675-1240618850.cnf

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

MD5SUM BENCH= 45ee13b66821e6c36f3e38be418fa121
RANDOM SEED=269081177

node19.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.236
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.236
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:       1474136 kB
Buffers:         68992 kB
Cached:         436112 kB
SwapCached:       6324 kB
Active:         138628 kB
Inactive:       375248 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1474136 kB
SwapTotal:     4192956 kB
SwapFree:      4181324 kB
Dirty:           11456 kB
Writeback:           0 kB
Mapped:          13448 kB
Slab:            53880 kB
Committed_AS:   289476 kB
PageTables:       1452 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= 66232 MiB
End job on node19 at 2009-04-25 02:40:53