Trace number 1562968

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
ttsth-5-0 2009-03-19? 1199.96 608.448

General information on the benchmark

NameAPPLICATIONS/bioinfo/
q_query_3_l41_lambda.cnf
MD5SUM50760ceab82aaa514e253121456f71f6
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark2.6076
Satisfiable
(Un)Satisfiability was proved
Number of variables29245
Number of clauses144673
Sum of the clauses size416481
Maximum clause length9
Minimum clause length1
Number of clauses of size 13878
Number of clauses of size 236799
Number of clauses of size 383760
Number of clauses of size 413947
Number of clauses of size 56166
Number of clauses of size over 5123

Solver Data 

0.39/0.42	c Command: HOME/ttsth-5-0 -num-threads 2 HOME/instance-1562968-1240999133.cnf 
0.39/0.42	c Using SATTIMEOUT of 1200
0.39/0.42	c Using SATRAM of 1800
0.39/0.42	c Size of subset node = 16
0.39/0.42	c Variables = 29245
0.39/0.42	c Clauses = 144673
0.39/0.42	c Literals = 416481
0.39/0.42	c Reduced size:
0.39/0.42	c Variables = 29245
0.39/0.42	c Clauses = 129790
0.39/0.42	c Literals = 379098
0.39/0.42	c a2
0.79/0.87	c a1
12.28/12.30	c Independent sub-problems = 1
12.28/12.30	c Sub-problem with 24459 variables and 129790 clauses
12.28/12.30	c using permutation method 4
12.28/12.30	c count = 1
12.28/12.30	c Ordering finished 12.210 seconds
12.28/12.30	c mapped 12.290 seconds
12.28/12.30	c permuted 12.290 seconds
12.28/12.30	c about to sort
12.28/12.36	c sorted
14.19/14.24	c clauses now 129790
14.19/14.24	c init finished 12.470 seconds
14.19/14.24	c tree built 14.240 seconds
14.19/14.24	c 
14.19/14.24	c PA progress                      | CPU progress Partial assignments | improvements      CPU time        PA/sec        nodes
14.19/14.24	c ---------------------------------|----------------------------------|------------------------------------------------------
14.19/14.24	c ................................ | ..........                       |                       14.2           0.0             
14.19/14.24	c ................................ | ..........                     1 |                       14.2           0.1             
14.19/14.24	c ****************................ | ..........                     2 |                       14.2           0.1            1
14.19/14.24	c ****************................ | ..........                     3 |                       14.2           0.2            1
14.19/14.24	c ****************................ | ..........                     4 |                       14.2           0.3            1
14.19/14.24	c ****************................ | ..........                     5 |                       14.2           0.4            1
14.19/14.24	c ****************................ | ..........                     6 |                       14.2           0.4            1
14.19/14.27	c ****************................ | ..........                  1000 | 2                     14.3          70.1          164
23.92/19.13	c ****************................ | ..........                310000 | 6482                  24.0       12916.7       638957
47.86/31.18	c ****************................ | ..........                712000 | 18941                 48.0       14821.0      2277595
71.81/43.18	c ****************................ | ..........               1002000 | 25904                 72.0       13916.7      3728627
95.96/55.21	c ****************................ | ..........               1288000 | 32751                 96.0       13416.7      5123912
119.91/67.24	c ****************................ | *.........               1664000 | 44826                120.0       13865.5      6909913
143.87/79.30	c ****************................ | *.........               1932000 | 69751                144.1       13409.2      8648698
167.81/91.29	c ****************................ | *.........               2161000 | 78121                168.0       12862.3      9809602
191.97/103.31	c ****************................ | *.........               2372000 | 83614                192.0       12352.9     10826890
215.91/115.36	c ****************................ | *.........               2588000 | 88906                216.1       11978.2     11967831
239.86/127.35	c ****************................ | **........               2798000 | 94424                240.0       11658.3     12894422
263.98/139.42	c ****************................ | **........               3008000 | 99756                264.1       11390.5     13930147
287.93/151.41	c ****************................ | **........               3222000 | 105188               288.0       11187.1     14926633
311.88/163.44	c ****************................ | **........               3438000 | 110670               312.0       11018.9     15839080
335.83/175.49	c ****************................ | **........               3634000 | 115197               336.1       10812.9     16548864
359.77/187.48	c ****************................ | ***.......               3833000 | 119455               360.0       10647.2     17394959
383.93/199.57	c ****************................ | ***.......               4028000 | 123782               384.1       10486.3     18501148
407.88/211.58	c ****************................ | ***.......               4225000 | 127780               408.1       10352.9     19359019
431.82/223.57	c ****************................ | ***.......               4425000 | 131791               432.0       10242.1     20167697
455.77/235.58	c ****************................ | ***.......               4622000 | 135801               456.0       10136.0     20832113
479.92/247.60	c ****************................ | ****......               4813000 | 139711               480.0       10027.1     21383831
503.88/259.66	c ****************................ | ****......               5007000 | 143681               504.1        9933.1     21918501
527.82/271.66	c ****************................ | ****......               5203000 | 147655               528.0        9853.8     22451171
551.77/283.69	c ****************................ | ****......               5403000 | 151707               552.0        9787.5     23101237
575.92/295.70	c ****************................ | ****......               5602000 | 156441               576.0        9725.4     23909226
599.86/307.72	c ****************................ | *****.....               5801000 | 161467               600.0        9668.3     25107850
623.81/319.77	c ****************................ | *****.....               5996000 | 166011               624.0        9608.2     26028728
647.76/331.78	c ****************................ | *****.....               6192000 | 170096               648.0        9555.0     26670997
671.91/343.83	c ****************................ | *****.....               6388000 | 174086               672.1        9505.0     27249423
695.86/355.86	c ****************................ | *****.....               6587000 | 178051               696.1        9463.0     27805506
719.81/367.86	c ****************................ | ******....               6791000 | 181808               720.0        9431.4     28303364
743.76/379.88	c ****************................ | ******....               6980000 | 185982               744.0        9381.3     28759450
767.90/391.95	c ****************................ | ******....               7165000 | 190007               768.1        9328.0     29262514
791.85/403.94	c ****************................ | ******....               7352000 | 193977               792.0        9282.2     29771414
815.79/415.96	c ****************................ | ******....               7533000 | 197875               816.1        9230.9     30293960
839.76/427.96	c ****************................ | *******...               7717000 | 201802               840.0        9186.8     30841226
863.91/440.01	c ****************................ | *******...               7905000 | 205806               864.1        9148.7     31496759
887.85/452.04	c ****************................ | *******...               8097000 | 210231               888.1        9117.6     32087496
911.80/464.04	c ****************................ | *******...               8287000 | 214361               912.0        9086.4     32669018
935.75/476.07	c ****************................ | *******...               8481000 | 218501               936.0        9060.6     33445592
959.89/488.11	c ****************................ | ********..               8681000 | 222034               960.1        9042.1     34446623
983.84/500.13	c ****************................ | ********..               8884000 | 230370               984.1        9027.9     35412985
1007.98/512.20	c ****************................ | ********..               9077000 | 241267              1008.1        9003.7     36153414
1031.74/524.16	c ****************................ | ********..               9251000 | 244777              1032.0        8964.0     36789021
1055.88/536.22	c ****************................ | ********..               9436000 | 248516              1056.1        8934.8     37478235
1079.83/548.20	c ****************................ | *********.               9611000 | 251877              1080.0        8899.1     38077776
1103.78/560.25	c ****************................ | *********.               9785000 | 255027              1104.0        8862.8     38641715
1127.73/572.24	c ****************................ | *********.               9971000 | 261811              1128.0        8839.5     39219168
1151.87/584.32	c ****************................ | *********.              10195000 | 266197              1152.1        8849.1     39761981
1175.83/596.30	c ****************................ | *********.              10414000 | 270329              1176.0        8855.3     40325527
1199.78/608.33	c CPU limit (1200) reached
1199.78/608.33	c Time = 1200.03 seconds
1199.78/608.33	s UNKNOWN

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: UNKNOWN

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1562968-1240999133/watcher-1562968-1240999133 -o /tmp/evaluation-result-1562968-1240999133/solver-1562968-1240999133 -C 1200 -W 1800 -M 1800 HOME/ttsth-5-0 -num-threads 2 HOME/instance-1562968-1240999133.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
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.01 0.99 0.83 3/64 11495
/proc/meminfo: memFree=989952/2055920 swapFree=4180748/4192956
[pid=11495] ppid=11493 vsize=1064 CPUtime=0
/proc/11495/stat : 11495 (ttsth-5-0) R 11493 11495 11229 0 -1 4194304 147 0 0 0 0 0 0 0 18 0 1 0 127946782 1089536 131 1992294400 134512640 135237372 4294956192 18446744073709551615 134732614 0 0 4096 0 0 0 0 17 1 0 0
/proc/11495/statm: 266 131 77 176 0 88 0

[startup+0.0186931 s]
/proc/loadavg: 1.01 0.99 0.83 3/64 11495
/proc/meminfo: memFree=989952/2055920 swapFree=4180748/4192956
[pid=11495] ppid=11493 vsize=1600 CPUtime=0.01
/proc/11495/stat : 11495 (ttsth-5-0) R 11493 11495 11229 0 -1 4194304 272 0 0 0 1 0 0 0 18 0 1 0 127946782 1638400 256 1992294400 134512640 135237372 4294956192 18446744073709551615 134732535 0 0 4096 0 0 0 0 17 1 0 0
/proc/11495/statm: 400 256 78 176 0 222 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 1600

[startup+0.101701 s]
/proc/loadavg: 1.01 0.99 0.83 3/64 11495
/proc/meminfo: memFree=989952/2055920 swapFree=4180748/4192956
[pid=11495] ppid=11493 vsize=4372 CPUtime=0.09
/proc/11495/stat : 11495 (ttsth-5-0) R 11493 11495 11229 0 -1 4194304 984 0 0 0 9 0 0 0 18 0 1 0 127946782 4476928 968 1992294400 134512640 135237372 4294956192 18446744073709551615 134732614 0 0 4096 0 0 0 0 17 1 0 0
/proc/11495/statm: 1093 968 78 176 0 915 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4372

[startup+0.301724 s]
/proc/loadavg: 1.01 0.99 0.83 3/64 11495
/proc/meminfo: memFree=989952/2055920 swapFree=4180748/4192956
[pid=11495] ppid=11493 vsize=11008 CPUtime=0.29
/proc/11495/stat : 11495 (ttsth-5-0) R 11493 11495 11229 0 -1 4194304 2536 0 0 0 28 1 0 0 19 0 1 0 127946782 11272192 2520 1992294400 134512640 135237372 4294956192 18446744073709551615 134534125 0 0 4096 0 0 0 0 17 1 0 0
/proc/11495/statm: 2752 2520 78 176 0 2574 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11008

[startup+0.701768 s]
/proc/loadavg: 1.01 0.99 0.83 3/64 11495
/proc/meminfo: memFree=989952/2055920 swapFree=4180748/4192956
[pid=11495] ppid=11493 vsize=20956 CPUtime=0.69
/proc/11495/stat : 11495 (ttsth-5-0) R 11493 11495 11229 0 -1 4194304 4953 0 0 0 67 2 0 0 22 0 1 0 127946782 21458944 4936 1992294400 134512640 135237372 4294956192 18446744073709551615 134749345 0 0 4096 0 0 0 0 17 1 0 0
/proc/11495/statm: 5239 4936 79 176 0 5061 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 20956

[startup+1.50186 s]
/proc/loadavg: 1.01 0.99 0.83 2/65 11496
/proc/meminfo: memFree=970424/2055920 swapFree=4180748/4192956
[pid=11495] ppid=11493 vsize=24652 CPUtime=1.49
/proc/11495/stat : 11495 (ttsth-5-0) R 11493 11495 11229 0 -1 4194304 6386 0 0 0 146 3 0 0 25 0 1 0 127946782 25243648 5983 1992294400 134512640 135237372 4294956192 18446744073709551615 134738793 0 0 4096 0 0 0 0 17 1 0 0
/proc/11495/statm: 6163 5983 80 176 0 5985 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 24652

[startup+3.10104 s]
/proc/loadavg: 1.01 0.99 0.83 2/65 11496
/proc/meminfo: memFree=966072/2055920 swapFree=4180748/4192956
[pid=11495] ppid=11493 vsize=24796 CPUtime=3.09
/proc/11495/stat : 11495 (ttsth-5-0) R 11493 11495 11229 0 -1 4194304 6398 0 0 0 306 3 0 0 25 0 1 0 127946782 25391104 5995 1992294400 134512640 135237372 4294956192 18446744073709551615 134600718 0 0 4096 0 0 0 0 17 1 0 0
/proc/11495/statm: 6199 5995 80 176 0 6021 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 24796

[startup+6.3014 s]
/proc/loadavg: 1.01 0.99 0.83 2/65 11496
/proc/meminfo: memFree=965880/2055920 swapFree=4180748/4192956
[pid=11495] ppid=11493 vsize=24928 CPUtime=6.28
/proc/11495/stat : 11495 (ttsth-5-0) R 11493 11495 11229 0 -1 4194304 6451 0 0 0 625 3 0 0 25 0 1 0 127946782 25526272 6048 1992294400 134512640 135237372 4294956192 18446744073709551615 134600738 0 0 4096 0 0 0 0 17 1 0 0
/proc/11495/statm: 6232 6048 80 176 0 6054 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 24928

[startup+12.7011 s]
/proc/loadavg: 1.01 0.99 0.83 2/65 11496
/proc/meminfo: memFree=965760/2055920 swapFree=4180748/4192956
[pid=11495] ppid=11493 vsize=52960 CPUtime=12.69
/proc/11495/stat : 11495 (ttsth-5-0) R 11493 11495 11229 0 -1 4194304 13592 0 0 0 1263 6 0 0 25 0 1 0 127946782 54231040 13062 1992294400 134512640 135237372 4294956192 18446744073709551615 134551480 0 0 4096 0 0 0 0 17 1 0 0
/proc/11495/statm: 13240 13062 94 176 0 13062 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 52960

[startup+25.5016 s]
/proc/loadavg: 1.16 1.02 0.84 3/67 11498
/proc/meminfo: memFree=881776/2055920 swapFree=4180748/4192956
[pid=11495] ppid=11493 vsize=129404 CPUtime=36.69
/proc/11495/stat : 11495 (ttsth-5-0) S 11493 11495 11229 0 -1 4194304 27881 0 0 0 3655 14 0 0 25 0 3 0 127946782 132509696 27224 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11495/statm: 32351 27224 98 176 0 32173 0
[pid=11495/tid=11497] ppid=11493 vsize=129404 CPUtime=11.24
/proc/11495/task/11497/stat : 11497 (ttsth-5-0) R 11493 11495 11229 0 -1 4194368 3097 0 0 0 1122 2 0 0 18 0 3 0 127948207 132509696 27224 1992294400 134512640 135237372 4294956192 18446744073709551615 134562300 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11495/tid=11498] ppid=11493 vsize=129404 CPUtime=11.2
/proc/11495/task/11498/stat : 11498 (ttsth-5-0) R 11493 11495 11229 0 -1 4194368 3711 0 0 0 1118 2 0 0 25 0 3 0 127948207 132509696 27224 1992294400 134512640 135237372 4294956192 18446744073709551615 134562328 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 36.69
Current children cumulated vsize (KiB) 129404

[startup+51.1015 s]
/proc/loadavg: 1.45 1.10 0.87 3/67 11498
/proc/meminfo: memFree=832304/2055920 swapFree=4180748/4192956
[pid=11495] ppid=11493 vsize=180756 CPUtime=87.78
/proc/11495/stat : 11495 (ttsth-5-0) S 11493 11495 11229 0 -1 4194304 40377 0 0 0 8754 24 0 0 25 0 3 0 127946782 185094144 39720 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11495/statm: 45189 39720 98 176 0 45011 0
[pid=11495/tid=11497] ppid=11493 vsize=180756 CPUtime=36.83
/proc/11495/task/11497/stat : 11497 (ttsth-5-0) R 11493 11495 11229 0 -1 4194368 6734 0 0 0 3678 5 0 0 25 0 3 0 127948207 185094144 39720 1992294400 134512640 135237372 4294956192 18446744073709551615 134549877 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11495/tid=11498] ppid=11493 vsize=180756 CPUtime=36.7
/proc/11495/task/11498/stat : 11498 (ttsth-5-0) R 11493 11495 11229 0 -1 4194368 12570 0 0 0 3660 10 0 0 25 0 3 0 127948207 185094144 39720 1992294400 134512640 135237372 4294956192 18446744073709551615 134562357 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 87.78
Current children cumulated vsize (KiB) 180756

[startup+102.305 s]
/proc/loadavg: 1.76 1.23 0.93 3/67 11498
/proc/meminfo: memFree=736688/2055920 swapFree=4180748/4192956
[pid=11495] ppid=11493 vsize=278716 CPUtime=189.96
/proc/11495/stat : 11495 (ttsth-5-0) S 11493 11495 11229 0 -1 4194304 63986 0 0 0 18955 41 0 0 25 0 3 0 127946782 285405184 63329 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11495/statm: 69679 63329 98 176 0 69501 0
[pid=11495/tid=11497] ppid=11493 vsize=278716 CPUtime=88.02
/proc/11495/task/11497/stat : 11497 (ttsth-5-0) R 11493 11495 11229 0 -1 4194368 17377 0 0 0 8790 12 0 0 25 0 3 0 127948207 285405184 63329 1992294400 134512640 135237372 4294956192 18446744073709551615 134680214 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11495/tid=11498] ppid=11493 vsize=278716 CPUtime=87.69
/proc/11495/task/11498/stat : 11498 (ttsth-5-0) R 11493 11495 11229 0 -1 4194368 25536 0 0 0 8750 19 0 0 25 0 3 0 127948207 285405184 63329 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 189.96
Current children cumulated vsize (KiB) 278716

[startup+162.301 s]
/proc/loadavg: 1.91 1.37 0.99 3/67 11504
/proc/meminfo: memFree=658216/2055920 swapFree=4180748/4192956
[pid=11495] ppid=11493 vsize=360436 CPUtime=309.69
/proc/11495/stat : 11495 (ttsth-5-0) S 11493 11495 11229 0 -1 4194304 83663 0 0 0 30912 57 0 0 25 0 3 0 127946782 369086464 83006 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11495/statm: 90109 83006 98 176 0 89931 0
[pid=11495/tid=11497] ppid=11493 vsize=360436 CPUtime=147.98
/proc/11495/task/11497/stat : 11497 (ttsth-5-0) R 11493 11495 11229 0 -1 4194368 24638 0 0 0 14778 20 0 0 25 0 3 0 127948207 369086464 83006 1992294400 134512640 135237372 4294956192 18446744073709551615 134562273 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11495/tid=11498] ppid=11493 vsize=360436 CPUtime=147.45
/proc/11495/task/11498/stat : 11498 (ttsth-5-0) R 11493 11495 11229 0 -1 4194368 37952 0 0 0 14718 27 0 0 25 0 3 0 127948207 369086464 83006 1992294400 134512640 135237372 4294956192 18446744073709551615 134591683 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 309.69
Current children cumulated vsize (KiB) 360436

[startup+222.302 s]
/proc/loadavg: 1.96 1.48 1.05 3/67 11504
/proc/meminfo: memFree=589224/2055920 swapFree=4180748/4192956
[pid=11495] ppid=11493 vsize=431496 CPUtime=429.43
/proc/11495/stat : 11495 (ttsth-5-0) S 11493 11495 11229 0 -1 4194304 100737 0 0 0 42869 74 0 0 25 0 3 0 127946782 441851904 100080 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11495/statm: 107874 100080 98 176 0 107696 0
[pid=11495/tid=11497] ppid=11493 vsize=431496 CPUtime=207.96
/proc/11495/task/11497/stat : 11497 (ttsth-5-0) R 11493 11495 11229 0 -1 4194368 30380 0 0 0 20769 27 0 0 25 0 3 0 127948207 441851904 100080 1992294400 134512640 135237372 4294956192 18446744073709551615 134680214 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11495/tid=11498] ppid=11493 vsize=431496 CPUtime=207.21
/proc/11495/task/11498/stat : 11498 (ttsth-5-0) R 11493 11495 11229 0 -1 4194368 49284 0 0 0 20684 37 0 0 25 0 3 0 127948207 441851904 100080 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 429.43
Current children cumulated vsize (KiB) 431496

[startup+282.302 s]
/proc/loadavg: 1.98 1.57 1.11 3/67 11504
/proc/meminfo: memFree=543976/2055920 swapFree=4180748/4192956
[pid=11495] ppid=11493 vsize=478180 CPUtime=549.17
/proc/11495/stat : 11495 (ttsth-5-0) S 11493 11495 11229 0 -1 4194304 112153 0 0 0 54831 86 0 0 25 0 3 0 127946782 489656320 111496 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11495/statm: 119545 111496 98 176 0 119367 0
[pid=11495/tid=11497] ppid=11493 vsize=478180 CPUtime=267.95
/proc/11495/task/11497/stat : 11497 (ttsth-5-0) R 11493 11495 11229 0 -1 4194368 36017 0 0 0 26761 34 0 0 25 0 3 0 127948207 489656320 111496 1992294400 134512640 135237372 4294956192 18446744073709551615 134519947 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11495/tid=11498] ppid=11493 vsize=478180 CPUtime=266.97
/proc/11495/task/11498/stat : 11498 (ttsth-5-0) R 11493 11495 11229 0 -1 4194368 55063 0 0 0 26655 42 0 0 25 0 3 0 127948207 489656320 111496 1992294400 134512640 135237372 4294956192 18446744073709551615 134549872 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 549.17
Current children cumulated vsize (KiB) 478180

[startup+342.302 s]
/proc/loadavg: 1.99 1.65 1.16 3/67 11504
/proc/meminfo: memFree=477928/2055920 swapFree=4180748/4192956
[pid=11495] ppid=11493 vsize=547356 CPUtime=668.91
/proc/11495/stat : 11495 (ttsth-5-0) S 11493 11495 11229 0 -1 4194304 128512 0 0 0 66789 102 0 0 25 0 3 0 127946782 560492544 127855 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11495/statm: 136839 127855 98 176 0 136661 0
[pid=11495/tid=11497] ppid=11493 vsize=547356 CPUtime=327.93
/proc/11495/task/11497/stat : 11497 (ttsth-5-0) R 11493 11495 11229 0 -1 4194368 42448 0 0 0 32752 41 0 0 25 0 3 0 127948207 560492544 127855 1992294400 134512640 135237372 4294956192 18446744073709551615 134591221 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11495/tid=11498] ppid=11493 vsize=547356 CPUtime=326.73
/proc/11495/task/11498/stat : 11498 (ttsth-5-0) R 11493 11495 11229 0 -1 4194368 64991 0 0 0 32622 51 0 0 25 0 3 0 127948207 560492544 127855 1992294400 134512640 135237372 4294956192 18446744073709551615 134749343 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 668.91
Current children cumulated vsize (KiB) 547356

[startup+402.301 s]
/proc/loadavg: 1.99 1.71 1.21 3/67 11504
/proc/meminfo: memFree=438760/2055920 swapFree=4180748/4192956
[pid=11495] ppid=11493 vsize=588464 CPUtime=788.65
/proc/11495/stat : 11495 (ttsth-5-0) S 11493 11495 11229 0 -1 4194304 138353 0 0 0 78752 113 0 0 25 0 3 0 127946782 602587136 137696 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11495/statm: 147116 137696 98 176 0 146938 0
[pid=11495/tid=11497] ppid=11493 vsize=588464 CPUtime=387.92
/proc/11495/task/11497/stat : 11497 (ttsth-5-0) R 11493 11495 11229 0 -1 4194368 47601 0 0 0 38745 47 0 0 25 0 3 0 127948207 602587136 137696 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11495/tid=11498] ppid=11493 vsize=588464 CPUtime=386.5
/proc/11495/task/11498/stat : 11498 (ttsth-5-0) R 11493 11495 11229 0 -1 4194368 69679 0 0 0 38593 57 0 0 25 0 3 0 127948207 602587136 137696 1992294400 134512640 135237372 4294956192 18446744073709551615 134587087 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 788.65
Current children cumulated vsize (KiB) 588464

[startup+462.301 s]
/proc/loadavg: 1.99 1.76 1.26 3/67 11504
/proc/meminfo: memFree=393264/2055920 swapFree=4180748/4192956
[pid=11495] ppid=11493 vsize=635696 CPUtime=908.4
/proc/11495/stat : 11495 (ttsth-5-0) S 11493 11495 11229 0 -1 4194304 149634 0 0 0 90714 126 0 0 25 0 3 0 127946782 650952704 148977 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11495/statm: 158924 148977 98 176 0 158746 0
[pid=11495/tid=11497] ppid=11493 vsize=635696 CPUtime=447.9
/proc/11495/task/11497/stat : 11497 (ttsth-5-0) R 11493 11495 11229 0 -1 4194368 53218 0 0 0 44737 53 0 0 25 0 3 0 127948207 650952704 148977 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11495/tid=11498] ppid=11493 vsize=635696 CPUtime=446.25
/proc/11495/task/11498/stat : 11498 (ttsth-5-0) R 11493 11495 11229 0 -1 4194368 75343 0 0 0 44562 63 0 0 25 0 3 0 127948207 650952704 148977 1992294400 134512640 135237372 4294956192 18446744073709551615 134550989 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 908.4
Current children cumulated vsize (KiB) 635696

[startup+522.301 s]
/proc/loadavg: 1.99 1.80 1.30 3/67 11504
/proc/meminfo: memFree=329392/2055920 swapFree=4180748/4192956
[pid=11495] ppid=11493 vsize=701908 CPUtime=1028.14
/proc/11495/stat : 11495 (ttsth-5-0) S 11493 11495 11229 0 -1 4194304 165682 0 0 0 102674 140 0 0 25 0 3 0 127946782 718753792 165025 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11495/statm: 175477 165025 98 176 0 175299 0
[pid=11495/tid=11497] ppid=11493 vsize=701908 CPUtime=507.87
/proc/11495/task/11497/stat : 11497 (ttsth-5-0) R 11493 11495 11229 0 -1 4194368 62447 0 0 0 50727 60 0 0 25 0 3 0 127948207 718753792 165025 1992294400 134512640 135237372 4294956192 18446744073709551615 134562344 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11495/tid=11498] ppid=11493 vsize=701908 CPUtime=506.02
/proc/11495/task/11498/stat : 11498 (ttsth-5-0) R 11493 11495 11229 0 -1 4194368 82162 0 0 0 50532 70 0 0 25 0 3 0 127948207 718753792 165025 1992294400 134512640 135237372 4294956192 18446744073709551615 134550989 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1028.14
Current children cumulated vsize (KiB) 701908

[startup+582.302 s]
/proc/loadavg: 1.99 1.83 1.34 3/67 11504
/proc/meminfo: memFree=282224/2055920 swapFree=4180748/4192956
[pid=11495] ppid=11493 vsize=751488 CPUtime=1147.89
/proc/11495/stat : 11495 (ttsth-5-0) S 11493 11495 11229 0 -1 4194304 177394 0 0 0 114636 153 0 0 25 0 3 0 127946782 769523712 176737 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11495/statm: 187872 176737 98 176 0 187694 0
[pid=11495/tid=11497] ppid=11493 vsize=751488 CPUtime=567.85
/proc/11495/task/11497/stat : 11497 (ttsth-5-0) R 11493 11495 11229 0 -1 4194368 66291 0 0 0 56720 65 0 0 25 0 3 0 127948207 769523712 176737 1992294400 134512640 135237372 4294956192 18446744073709551615 134549922 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11495/tid=11498] ppid=11493 vsize=751488 CPUtime=565.78
/proc/11495/task/11498/stat : 11498 (ttsth-5-0) R 11493 11495 11229 0 -1 4194368 90030 0 0 0 56500 78 0 0 25 0 3 0 127948207 769523712 176737 1992294400 134512640 135237372 4294956192 18446744073709551615 134749345 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1147.89
Current children cumulated vsize (KiB) 751488

Solver just ended. Dumping a history of the last processes samples

[startup+588.702 s]
/proc/loadavg: 1.99 1.84 1.35 3/67 11504
/proc/meminfo: memFree=277424/2055920 swapFree=4180748/4192956
[pid=11495] ppid=11493 vsize=756988 CPUtime=1160.66
/proc/11495/stat : 11495 (ttsth-5-0) S 11493 11495 11229 0 -1 4194304 178526 0 0 0 115911 155 0 0 25 0 3 0 127946782 775155712 177869 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11495/statm: 189247 177869 98 176 0 189069 0
[pid=11495/tid=11497] ppid=11493 vsize=756988 CPUtime=574.25
/proc/11495/task/11497/stat : 11497 (ttsth-5-0) R 11493 11495 11229 0 -1 4194368 66630 0 0 0 57359 66 0 0 25 0 3 0 127948207 775155712 177869 1992294400 134512640 135237372 4294956192 18446744073709551615 134590275 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11495/tid=11498] ppid=11493 vsize=756988 CPUtime=572.15
/proc/11495/task/11498/stat : 11498 (ttsth-5-0) R 11493 11495 11229 0 -1 4194368 90823 0 0 0 57136 79 0 0 25 0 3 0 127948207 775155712 177869 1992294400 134512640 135237372 4294956192 18446744073709551615 134590186 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1160.66
Current children cumulated vsize (KiB) 756988

[startup+601.502 s]
/proc/loadavg: 1.99 1.84 1.36 3/67 11504
/proc/meminfo: memFree=268208/2055920 swapFree=4180748/4192956
[pid=11495] ppid=11493 vsize=766416 CPUtime=1186.21
/proc/11495/stat : 11495 (ttsth-5-0) S 11493 11495 11229 0 -1 4194304 180944 0 0 0 118464 157 0 0 25 0 3 0 127946782 784809984 180287 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11495/statm: 191604 180287 98 176 0 191426 0
[pid=11495/tid=11497] ppid=11493 vsize=766416 CPUtime=587.05
/proc/11495/task/11497/stat : 11497 (ttsth-5-0) R 11493 11495 11229 0 -1 4194368 67465 0 0 0 58638 67 0 0 25 0 3 0 127948207 784809984 180287 1992294400 134512640 135237372 4294956192 18446744073709551615 134562401 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11495/tid=11498] ppid=11493 vsize=766416 CPUtime=584.9
/proc/11495/task/11498/stat : 11498 (ttsth-5-0) R 11493 11495 11229 0 -1 4194368 92406 0 0 0 58410 80 0 0 25 0 3 0 127948207 784809984 180287 1992294400 134512640 135237372 4294956192 18446744073709551615 134593337 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1186.21
Current children cumulated vsize (KiB) 766416

[startup+604.701 s]
/proc/loadavg: 1.99 1.85 1.36 3/67 11504
/proc/meminfo: memFree=266160/2055920 swapFree=4180748/4192956
[pid=11495] ppid=11493 vsize=769088 CPUtime=1192.59
/proc/11495/stat : 11495 (ttsth-5-0) S 11493 11495 11229 0 -1 4194304 181421 0 0 0 119102 157 0 0 25 0 3 0 127946782 787546112 180764 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11495/statm: 192272 180764 98 176 0 192094 0
[pid=11495/tid=11497] ppid=11493 vsize=769088 CPUtime=590.25
/proc/11495/task/11497/stat : 11497 (ttsth-5-0) R 11493 11495 11229 0 -1 4194368 67628 0 0 0 58958 67 0 0 25 0 3 0 127948207 787546112 180764 1992294400 134512640 135237372 4294956192 18446744073709551615 134749343 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11495/tid=11498] ppid=11493 vsize=769088 CPUtime=588.09
/proc/11495/task/11498/stat : 11498 (ttsth-5-0) R 11493 11495 11229 0 -1 4194368 92720 0 0 0 58729 80 0 0 25 0 3 0 127948207 787546112 180764 1992294400 134512640 135237372 4294956192 18446744073709551615 134680262 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1192.59
Current children cumulated vsize (KiB) 769088

[startup+606.302 s]
/proc/loadavg: 1.99 1.85 1.36 3/67 11504
/proc/meminfo: memFree=264688/2055920 swapFree=4180748/4192956
[pid=11495] ppid=11493 vsize=769400 CPUtime=1195.78
/proc/11495/stat : 11495 (ttsth-5-0) S 11493 11495 11229 0 -1 4194304 181677 0 0 0 119421 157 0 0 25 0 3 0 127946782 787865600 181020 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11495/statm: 192350 181020 98 176 0 192172 0
[pid=11495/tid=11497] ppid=11493 vsize=769400 CPUtime=591.85
/proc/11495/task/11497/stat : 11497 (ttsth-5-0) R 11493 11495 11229 0 -1 4194368 67701 0 0 0 59118 67 0 0 25 0 3 0 127948207 787865600 181020 1992294400 134512640 135237372 4294956192 18446744073709551615 134590501 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11495/tid=11498] ppid=11493 vsize=769400 CPUtime=589.68
/proc/11495/task/11498/stat : 11498 (ttsth-5-0) R 11493 11495 11229 0 -1 4194368 92903 0 0 0 58888 80 0 0 25 0 3 0 127948207 787865600 181020 1992294400 134512640 135237372 4294956192 18446744073709551615 134590506 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1195.78
Current children cumulated vsize (KiB) 769400

[startup+607.102 s]
/proc/loadavg: 1.99 1.85 1.36 3/67 11504
/proc/meminfo: memFree=264048/2055920 swapFree=4180748/4192956
[pid=11495] ppid=11493 vsize=770580 CPUtime=1197.38
/proc/11495/stat : 11495 (ttsth-5-0) S 11493 11495 11229 0 -1 4194304 181801 0 0 0 119581 157 0 0 25 0 3 0 127946782 789073920 181144 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11495/statm: 192645 181144 98 176 0 192467 0
[pid=11495/tid=11497] ppid=11493 vsize=770580 CPUtime=592.65
/proc/11495/task/11497/stat : 11497 (ttsth-5-0) R 11493 11495 11229 0 -1 4194368 67733 0 0 0 59198 67 0 0 25 0 3 0 127948207 789073920 181144 1992294400 134512640 135237372 4294956192 18446744073709551615 134749348 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11495/tid=11498] ppid=11493 vsize=770580 CPUtime=590.49
/proc/11495/task/11498/stat : 11498 (ttsth-5-0) R 11493 11495 11229 0 -1 4194368 92995 0 0 0 58968 81 0 0 25 0 3 0 127948207 789073920 181144 1992294400 134512640 135237372 4294956192 18446744073709551615 134680262 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1197.38
Current children cumulated vsize (KiB) 770580

[startup+607.902 s]
/proc/loadavg: 1.99 1.85 1.36 3/67 11504
/proc/meminfo: memFree=264048/2055920 swapFree=4180748/4192956
[pid=11495] ppid=11493 vsize=770736 CPUtime=1198.98
/proc/11495/stat : 11495 (ttsth-5-0) S 11493 11495 11229 0 -1 4194304 181891 0 0 0 119740 158 0 0 25 0 3 0 127946782 789233664 181234 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11495/statm: 192684 181234 98 176 0 192506 0
[pid=11495/tid=11497] ppid=11493 vsize=770736 CPUtime=593.45
/proc/11495/task/11497/stat : 11497 (ttsth-5-0) R 11493 11495 11229 0 -1 4194368 67755 0 0 0 59278 67 0 0 25 0 3 0 127948207 789233664 181234 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11495/tid=11498] ppid=11493 vsize=770736 CPUtime=591.28
/proc/11495/task/11498/stat : 11498 (ttsth-5-0) R 11493 11495 11229 0 -1 4194368 93063 0 0 0 59047 81 0 0 25 0 3 0 127948207 789233664 181234 1992294400 134512640 135237372 4294956192 18446744073709551615 134549908 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1198.98
Current children cumulated vsize (KiB) 770736

[startup+608.306 s]
/proc/loadavg: 1.99 1.85 1.36 3/67 11504
/proc/meminfo: memFree=263600/2055920 swapFree=4180748/4192956
[pid=11495] ppid=11493 vsize=770736 CPUtime=1199.78
/proc/11495/stat : 11495 (ttsth-5-0) S 11493 11495 11229 0 -1 4194304 181924 0 0 0 119820 158 0 0 25 0 3 0 127946782 789233664 181267 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11495/statm: 192684 181267 98 176 0 192506 0
[pid=11495/tid=11497] ppid=11493 vsize=770736 CPUtime=593.85
/proc/11495/task/11497/stat : 11497 (ttsth-5-0) R 11493 11495 11229 0 -1 4194368 67766 0 0 0 59318 67 0 0 25 0 3 0 127948207 789233664 181267 1992294400 134512640 135237372 4294956192 18446744073709551615 134591217 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11495/tid=11498] ppid=11493 vsize=770736 CPUtime=591.68
/proc/11495/task/11498/stat : 11498 (ttsth-5-0) R 11493 11495 11229 0 -1 4194368 93085 0 0 0 59087 81 0 0 25 0 3 0 127948207 789233664 181267 1992294400 134512640 135237372 4294956192 18446744073709551615 134749351 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1199.78
Current children cumulated vsize (KiB) 770736

[startup+608.402 s]
/proc/loadavg: 1.99 1.85 1.36 3/67 11504
/proc/meminfo: memFree=263600/2055920 swapFree=4180748/4192956
[pid=11495] ppid=11493 vsize=0 CPUtime=1199.9
/proc/11495/stat : 11495 (ttsth-5-0) R 11493 11495 11229 0 -1 4195332 181931 0 0 0 119826 164 0 0 17 0 1 0 127946782 0 0 1992294400 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/11495/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1199.9
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 608.448
CPU time (s): 1199.96
CPU user time (s): 1198.27
CPU system time (s): 1.69474
CPU usage (%): 197.217
Max. virtual memory (cumulated for all children) (KiB): 770736

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1198.27
system time used= 1.69474
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 181931
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= 98
involuntary context switches= 9175

runsolver used 0.609907 second user time and 1.61075 second system time

The end

Launcher Data 

Begin job on node23 at 2009-04-29 11:58:53
IDJOB=1562968
IDBENCH=70944
IDSOLVER=549
FILE ID=node23/1562968-1240999133
PBS_JOBID= 9204844
Free space on /tmp= 66484 MiB

SOLVER NAME= ttsth-5-0 2009-03-19
BENCH NAME= SAT09/APPLICATIONS/bioinfo/q_query_3_l41_lambda.cnf
COMMAND LINE= HOME/ttsth-5-0 -num-threads MAXNBTHREAD BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1562968-1240999133/watcher-1562968-1240999133 -o /tmp/evaluation-result-1562968-1240999133/solver-1562968-1240999133 -C 1200 -W 1800 -M 1800  HOME/ttsth-5-0 -num-threads 2 HOME/instance-1562968-1240999133.cnf

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

MD5SUM BENCH= 50760ceab82aaa514e253121456f71f6
RANDOM SEED=1785310108

node23.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.238
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.238
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:        990368 kB
Buffers:         89016 kB
Cached:         885516 kB
SwapCached:       6232 kB
Active:         399212 kB
Inactive:       583932 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        990368 kB
SwapTotal:     4192956 kB
SwapFree:      4180748 kB
Dirty:            3612 kB
Writeback:           0 kB
Mapped:          14128 kB
Slab:            68496 kB
Committed_AS:   594676 kB
PageTables:       1388 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= 66484 MiB
End job on node23 at 2009-04-29 12:09:01