Trace number 1722386

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? 1200 604.559

General information on the benchmark

NameAPPLICATIONS/satComp09_BioInstances/
ndhf_xits_13_UNSAT.cnf
MD5SUMd4e16a803f6cd0903a2bd3e7157287b3
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 variables2730
Number of clauses271285
Sum of the clauses size809746
Maximum clause length14
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 24450
Number of clauses of size 3266804
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 531

Solver Data 

0.49/0.52	c Command: HOME/ttsth-5-0 -num-threads 2 HOME/instance-1722386-1240674738.cnf 
0.49/0.52	c Using SATTIMEOUT of 1200
0.49/0.52	c Using SATRAM of 1800
0.49/0.52	c Size of subset node = 16
0.49/0.52	c Variables = 2730
0.49/0.52	c Clauses = 271285
0.49/0.52	c Literals = 809746
0.49/0.52	c Reduced size:
0.49/0.52	c Variables = 2730
0.49/0.52	c Clauses = 271285
0.49/0.52	c Literals = 809746
0.49/0.52	c a2
1.49/1.51	c a1
3.19/3.22	c Independent sub-problems = 1
3.19/3.22	c Sub-problem with 2730 variables and 271285 clauses
3.19/3.22	c using permutation method 4
3.19/3.22	c count = 1
3.19/3.22	c Ordering finished 3.070 seconds
3.19/3.22	c mapped 3.220 seconds
3.19/3.22	c permuted 3.220 seconds
3.19/3.22	c about to sort
3.29/3.33	c sorted
6.29/6.37	c clauses now 271285
6.29/6.37	c init finished 3.380 seconds
6.29/6.37	c tree built 6.370 seconds
6.29/6.37	c 
6.29/6.37	c PA progress                      | CPU progress Partial assignments | improvements      CPU time        PA/sec        nodes
6.29/6.37	c ---------------------------------|----------------------------------|------------------------------------------------------
6.29/6.37	c ................................ | ..........                       |                        6.4           0.0             
6.29/6.37	c ................................ | ..........                     1 |                        6.4           0.2             
6.29/6.37	c ................................ | ..........                     2 |                        6.4           0.3             
6.29/6.37	c ................................ | ..........                     3 |                        6.4           0.5             
6.29/6.37	c ................................ | ..........                     4 |                        6.4           0.6             
6.29/6.37	c ................................ | ..........                     5 |                        6.4           0.8             
6.29/6.39	c ................................ | ..........                  1000 |                        6.4         156.7          134
23.98/15.20	c ................................ | ..........                225000 | 5810                  24.0        9375.0      1477386
47.93/27.26	c ................................ | ..........                456000 | 15552                 48.0        9490.1      3813278
71.87/39.26	c ................................ | ..........                627000 | 28864                 72.0        8707.1      5995224
96.22/51.48	c ................................ | ..........                786000 | 43834                 96.4        8153.5      7930166
119.97/63.30	c ................................ | *.........                955000 | 57541                120.0        7958.3      9735140
143.91/75.39	c ................................ | *.........               1136000 | 67509                144.1        7882.3     11829882
168.06/87.47	c ................................ | *.........               1302000 | 77082                168.2        7738.9     14008227
192.01/99.45	c ................................ | *.........               1424000 | 85025                192.1        7411.3     15443799
215.96/111.45	c ................................ | *.........               1555000 | 96916                216.1        7195.7     16961113
239.91/123.48	c ................................ | **........               1705000 | 107345               240.1        7100.6     18164479
263.86/135.45	c ................................ | **........               1837000 | 116928               264.0        6958.3     19600330
288.00/147.53	c ................................ | **........               1982000 | 127759               288.1        6879.3     20672749
311.97/159.51	c ................................ | **........               2106000 | 137366               312.0        6749.4     21743548
335.91/171.54	c ................................ | **........               2251000 | 149320               336.0        6698.6     22768948
359.86/183.58	c ................................ | ***.......               2415000 | 170229               360.1        6707.0     24229890
384.00/195.61	c ................................ | ***.......               2568000 | 184750               384.1        6685.9     25211575
407.95/207.63	c ................................ | ***.......               2710000 | 197907               408.1        6640.9     26513009
431.90/219.64	c ................................ | ***.......               2844000 | 212165               432.1        6582.6     27603005
455.85/231.65	c ................................ | ***.......               2960000 | 223545               456.0        6491.1     28561613
479.99/243.78	c ................................ | ****......               3108000 | 232813               480.2        6471.8     29813887
504.14/255.86	c ................................ | ****......               3243000 | 239359               504.3        6430.2     31318689
527.90/267.73	c ................................ | ****......               3346000 | 243872               528.0        6336.8     32501248
552.04/279.89	c ................................ | ****......               3493000 | 249430               552.3        6324.5     34069870
575.99/291.81	c ................................ | ****......               3639000 | 255517               576.1        6316.5     35221229
599.73/303.78	c ................................ | *****.....               3754000 | 259475               600.0        6256.6     36479373
623.89/315.86	c ................................ | *****.....               3846000 | 262763               624.1        6162.5     37713036
647.84/327.85	c ................................ | *****.....               3953000 | 266607               648.0        6100.0     38554189
671.79/339.89	c ................................ | *****.....               4063000 | 271448               672.1        6045.4     39484643
695.93/352.00	c ................................ | *****.....               4169000 | 276469               696.2        5987.8     40431346
719.88/363.92	c ................................ | ******....               4294000 | 282398               720.0        5963.6     41282696
744.04/376.03	c ................................ | ******....               4398000 | 286964               744.2        5909.5     42178937
767.78/387.97	c ................................ | ******....               4494000 | 291519               768.0        5851.2     43370587
792.13/400.15	c ................................ | ******....               4617000 | 297765               792.4        5827.0     44433908
816.07/412.14	c ................................ | ******....               4716000 | 301923               816.3        5777.4     45386045
839.82/424.05	c ................................ | *******...               4825000 | 306601               840.1        5743.6     46435461
863.77/436.06	c ................................ | *******...               4932000 | 312489               864.0        5708.1     47275438
888.12/448.24	c ................................ | *******...               5018000 | 317126               888.3        5648.7     48210422
911.87/460.16	c ................................ | *******...               5104000 | 321469               912.1        5595.6     49064023
935.81/472.18	c ................................ | *******...               5211000 | 327521               936.1        5566.5     50010786
959.97/484.24	c ................................ | ********..               5322000 | 333870               960.2        5542.7     50770034
983.91/496.23	c ................................ | ********..               5423000 | 340395               984.1        5510.5     51741654
1007.87/508.21	c ................................ | ********..               5503000 | 344100              1008.0        5459.1     52684142
1031.82/520.27	c ................................ | ********..               5582000 | 348463              1032.1        5408.3     53537244
1055.96/532.32	c ................................ | ********..               5681000 | 354689              1056.2        5378.9     54378362
1079.69/544.28	c ................................ | *********.               5778000 | 360158              1080.0        5349.8     55377314
1103.84/556.30	c ................................ | *********.               5884000 | 367248              1104.0        5329.6     56439407
1127.99/568.47	c ................................ | *********.               5994000 | 374316              1128.3        5312.3     57297464
1151.94/580.44	c ................................ | *********.               6086000 | 378735              1152.2        5282.1     58285822
1175.89/592.46	c ................................ | *********.               6161000 | 381131              1176.2        5238.1     59269911
1199.63/604.39	c CPU limit (1200) reached
1199.63/604.39	c Time = 1200.02 seconds
1199.63/604.39	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-1722386-1240674738/watcher-1722386-1240674738 -o /tmp/evaluation-result-1722386-1240674738/solver-1722386-1240674738 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/ttsth-5-0 -num-threads 2 HOME/instance-1722386-1240674738.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.83 1.93 1.68 3/64 24904
/proc/meminfo: memFree=1250240/2055920 swapFree=4192956/4192956
[pid=24904] ppid=24902 vsize=1064 CPUtime=0
/proc/24904/stat : 24904 (ttsth-5-0) R 24902 24904 24392 0 -1 4194304 145 0 0 0 0 0 0 0 18 0 1 0 95502384 1089536 129 1992294400 134512640 135237372 4294956192 18446744073709551615 134732614 0 0 4096 0 0 0 0 17 1 0 0
/proc/24904/statm: 266 129 77 176 0 88 0

[startup+0.022732 s]
/proc/loadavg: 1.83 1.93 1.68 3/64 24904
/proc/meminfo: memFree=1250240/2055920 swapFree=4192956/4192956
[pid=24904] ppid=24902 vsize=1724 CPUtime=0.01
/proc/24904/stat : 24904 (ttsth-5-0) R 24902 24904 24392 0 -1 4194304 304 0 0 0 1 0 0 0 18 0 1 0 95502384 1765376 288 1992294400 134512640 135237372 4294956192 18446744073709551615 134639534 0 0 4096 0 0 0 0 17 1 0 0
/proc/24904/statm: 431 288 78 176 0 253 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 1724

[startup+0.101739 s]
/proc/loadavg: 1.83 1.93 1.68 3/64 24904
/proc/meminfo: memFree=1250240/2055920 swapFree=4192956/4192956
[pid=24904] ppid=24902 vsize=4344 CPUtime=0.09
/proc/24904/stat : 24904 (ttsth-5-0) R 24902 24904 24392 0 -1 4194304 982 0 0 0 9 0 0 0 18 0 1 0 95502384 4448256 966 1992294400 134512640 135237372 4294956192 18446744073709551615 134732614 0 0 4096 0 0 0 0 17 1 0 0
/proc/24904/statm: 1086 966 78 176 0 908 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4344

[startup+0.30176 s]
/proc/loadavg: 1.83 1.93 1.68 3/64 24904
/proc/meminfo: memFree=1250240/2055920 swapFree=4192956/4192956
[pid=24904] ppid=24902 vsize=11380 CPUtime=0.29
/proc/24904/stat : 24904 (ttsth-5-0) R 24902 24904 24392 0 -1 4194304 2708 0 0 0 29 0 0 0 19 0 1 0 95502384 11653120 2692 1992294400 134512640 135237372 4294956192 18446744073709551615 134732614 0 0 4096 0 0 0 0 17 1 0 0
/proc/24904/statm: 2845 2692 78 176 0 2667 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11380

[startup+0.701799 s]
/proc/loadavg: 1.83 1.93 1.68 3/64 24904
/proc/meminfo: memFree=1250240/2055920 swapFree=4192956/4192956
[pid=24904] ppid=24902 vsize=36152 CPUtime=0.69
/proc/24904/stat : 24904 (ttsth-5-0) R 24902 24904 24392 0 -1 4194304 8461 0 0 0 66 3 0 0 22 0 1 0 95502384 37019648 8444 1992294400 134512640 135237372 4294956192 18446744073709551615 134519968 0 0 4096 0 0 0 0 17 1 0 0
/proc/24904/statm: 9038 8444 79 176 0 8860 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 36152

[startup+1.50188 s]
/proc/loadavg: 1.83 1.93 1.68 2/65 24905
/proc/meminfo: memFree=1216696/2055920 swapFree=4192956/4192956
[pid=24904] ppid=24902 vsize=36152 CPUtime=1.49
/proc/24904/stat : 24904 (ttsth-5-0) R 24902 24904 24392 0 -1 4194304 8461 0 0 0 146 3 0 0 25 0 1 0 95502384 37019648 8444 1992294400 134512640 135237372 4294956192 18446744073709551615 134749343 0 0 4096 0 0 0 0 17 1 0 0
/proc/24904/statm: 9038 8444 79 176 0 8860 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 36152

[startup+3.10104 s]
/proc/loadavg: 1.83 1.93 1.68 2/65 24905
/proc/meminfo: memFree=1215992/2055920 swapFree=4192956/4192956
[pid=24904] ppid=24902 vsize=38776 CPUtime=3.08
/proc/24904/stat : 24904 (ttsth-5-0) R 24902 24904 24392 0 -1 4194304 10117 0 0 0 304 4 0 0 25 0 1 0 95502384 39706624 9570 1992294400 134512640 135237372 4294956192 18446744073709551615 134749351 0 0 4096 0 0 0 0 17 1 0 0
/proc/24904/statm: 9694 9570 86 176 0 9516 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 38776

[startup+6.30136 s]
/proc/loadavg: 1.77 1.91 1.67 2/65 24905
/proc/meminfo: memFree=1201784/2055920 swapFree=4192956/4192956
[pid=24904] ppid=24902 vsize=59036 CPUtime=6.29
/proc/24904/stat : 24904 (ttsth-5-0) R 24902 24904 24392 0 -1 4194304 15592 0 0 0 622 7 0 0 25 0 1 0 95502384 60452864 14651 1992294400 134512640 135237372 4294956192 18446744073709551615 134723145 0 0 4096 0 0 0 0 17 1 0 0
/proc/24904/statm: 14759 14651 91 176 0 14581 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 59036

[startup+12.702 s]
/proc/loadavg: 1.79 1.91 1.67 3/67 24907
/proc/meminfo: memFree=1175464/2055920 swapFree=4192956/4192956
[pid=24904] ppid=24902 vsize=98208 CPUtime=18.98
/proc/24904/stat : 24904 (ttsth-5-0) S 24902 24904 24392 0 -1 4194304 20035 0 0 0 1888 10 0 0 25 0 3 0 95502384 100564992 19094 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24904/statm: 24552 19094 98 176 0 24374 0
[pid=24904/tid=24906] ppid=24902 vsize=98208 CPUtime=6.31
/proc/24904/task/24906/stat : 24906 (ttsth-5-0) R 24902 24904 24392 0 -1 4194368 2263 0 0 0 630 1 0 0 25 0 3 0 95503022 100564992 19094 1992294400 134512640 135237372 4294956192 18446744073709551615 134749351 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24904/tid=24907] ppid=24902 vsize=98208 CPUtime=6.29
/proc/24904/task/24907/stat : 24907 (ttsth-5-0) R 24902 24904 24392 0 -1 4194368 2141 0 0 0 628 1 0 0 25 0 3 0 95503022 100564992 19094 1992294400 134512640 135237372 4294956192 18446744073709551615 134587949 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 18.98
Current children cumulated vsize (KiB) 98208

[startup+25.5023 s]
/proc/loadavg: 1.83 1.92 1.68 3/67 24907
/proc/meminfo: memFree=1134568/2055920 swapFree=4192956/4192956
[pid=24904] ppid=24902 vsize=138020 CPUtime=44.53
/proc/24904/stat : 24904 (ttsth-5-0) S 24902 24904 24392 0 -1 4194304 29987 0 0 0 4437 16 0 0 25 0 3 0 95502384 141332480 29046 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24904/statm: 34505 29047 98 176 0 34327 0
[pid=24904/tid=24906] ppid=24902 vsize=138020 CPUtime=19.11
/proc/24904/task/24906/stat : 24906 (ttsth-5-0) R 24902 24904 24392 0 -1 4194368 8022 0 0 0 1907 4 0 0 25 0 3 0 95503022 141332480 29047 1992294400 134512640 135237372 4294956192 18446744073709551615 134590931 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24904/tid=24907] ppid=24902 vsize=138020 CPUtime=19.04
/proc/24904/task/24907/stat : 24907 (ttsth-5-0) R 24902 24904 24392 0 -1 4194368 6335 0 0 0 1900 4 0 0 25 0 3 0 95503022 141332480 29047 1992294400 134512640 135237372 4294956192 18446744073709551615 134561524 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 44.53
Current children cumulated vsize (KiB) 138020

[startup+51.1028 s]
/proc/loadavg: 1.89 1.92 1.69 3/67 24907
/proc/meminfo: memFree=1064488/2055920 swapFree=4192956/4192956
[pid=24904] ppid=24902 vsize=208420 CPUtime=95.62
/proc/24904/stat : 24904 (ttsth-5-0) S 24902 24904 24392 0 -1 4194304 47595 0 0 0 9533 29 0 0 25 0 3 0 95502384 213422080 46654 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24904/statm: 52105 46654 98 176 0 51927 0
[pid=24904/tid=24906] ppid=24902 vsize=208420 CPUtime=44.7
/proc/24904/task/24906/stat : 24906 (ttsth-5-0) R 24902 24904 24392 0 -1 4194368 18590 0 0 0 4459 11 0 0 25 0 3 0 95503022 213422080 46654 1992294400 134512640 135237372 4294956192 18446744073709551615 134588236 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24904/tid=24907] ppid=24902 vsize=208420 CPUtime=44.53
/proc/24904/task/24907/stat : 24907 (ttsth-5-0) R 24902 24904 24392 0 -1 4194368 13374 0 0 0 4443 10 0 0 25 0 3 0 95503022 213422080 46654 1992294400 134512640 135237372 4294956192 18446744073709551615 134550992 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 95.62
Current children cumulated vsize (KiB) 208420

[startup+102.307 s]
/proc/loadavg: 1.95 1.93 1.70 3/67 24907
/proc/meminfo: memFree=934056/2055920 swapFree=4192956/4192956
[pid=24904] ppid=24902 vsize=337672 CPUtime=197.81
/proc/24904/stat : 24904 (ttsth-5-0) S 24902 24904 24392 0 -1 4194304 79921 0 0 0 19731 50 0 0 25 0 3 0 95502384 345776128 78980 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24904/statm: 84418 78980 98 176 0 84240 0
[pid=24904/tid=24906] ppid=24902 vsize=337672 CPUtime=95.9
/proc/24904/task/24906/stat : 24906 (ttsth-5-0) R 24902 24904 24392 0 -1 4194368 32757 0 0 0 9570 20 0 0 25 0 3 0 95503022 345776128 78980 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24904/tid=24907] ppid=24902 vsize=337672 CPUtime=95.52
/proc/24904/task/24907/stat : 24907 (ttsth-5-0) R 24902 24904 24392 0 -1 4194368 31533 0 0 0 9530 22 0 0 25 0 3 0 95503022 345776128 78980 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 197.81
Current children cumulated vsize (KiB) 337672

[startup+162.303 s]
/proc/loadavg: 1.98 1.94 1.72 3/67 24907
/proc/meminfo: memFree=838248/2055920 swapFree=4192956/4192956
[pid=24904] ppid=24902 vsize=433832 CPUtime=317.55
/proc/24904/stat : 24904 (ttsth-5-0) S 24902 24904 24392 0 -1 4194304 103976 0 0 0 31690 65 0 0 25 0 3 0 95502384 444243968 103035 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24904/statm: 108458 103035 98 176 0 108280 0
[pid=24904/tid=24906] ppid=24902 vsize=433832 CPUtime=155.87
/proc/24904/task/24906/stat : 24906 (ttsth-5-0) R 24902 24904 24392 0 -1 4194368 43475 0 0 0 15562 25 0 0 25 0 3 0 95503022 444243968 103035 1992294400 134512640 135237372 4294956192 18446744073709551615 134680367 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24904/tid=24907] ppid=24902 vsize=433832 CPUtime=155.29
/proc/24904/task/24907/stat : 24907 (ttsth-5-0) R 24902 24904 24392 0 -1 4194368 44870 0 0 0 15497 32 0 0 25 0 3 0 95503022 444243968 103035 1992294400 134512640 135237372 4294956192 18446744073709551615 134749353 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 317.55
Current children cumulated vsize (KiB) 433832

[startup+222.303 s]
/proc/loadavg: 1.99 1.95 1.73 3/67 24907
/proc/meminfo: memFree=744296/2055920 swapFree=4192956/4192956
[pid=24904] ppid=24902 vsize=526924 CPUtime=437.29
/proc/24904/stat : 24904 (ttsth-5-0) S 24902 24904 24392 0 -1 4194304 127257 0 0 0 43649 80 0 0 25 0 3 0 95502384 539570176 126316 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24904/statm: 131731 126316 98 176 0 131553 0
[pid=24904/tid=24906] ppid=24902 vsize=526924 CPUtime=215.86
/proc/24904/task/24906/stat : 24906 (ttsth-5-0) R 24902 24904 24392 0 -1 4194368 55075 0 0 0 21553 33 0 0 25 0 3 0 95503022 539570176 126316 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24904/tid=24907] ppid=24902 vsize=526924 CPUtime=215.04
/proc/24904/task/24907/stat : 24907 (ttsth-5-0) R 24902 24904 24392 0 -1 4194368 56551 0 0 0 21465 39 0 0 25 0 3 0 95503022 539570176 126316 1992294400 134512640 135237372 4294956192 18446744073709551615 134562344 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 437.29
Current children cumulated vsize (KiB) 526924

[startup+282.302 s]
/proc/loadavg: 1.99 1.95 1.75 3/67 24907
/proc/meminfo: memFree=640296/2055920 swapFree=4192956/4192956
[pid=24904] ppid=24902 vsize=631564 CPUtime=557.04
/proc/24904/stat : 24904 (ttsth-5-0) S 24902 24904 24392 0 -1 4194304 153416 0 0 0 55606 98 0 0 25 0 3 0 95502384 646721536 152475 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24904/statm: 157891 152475 98 176 0 157713 0
[pid=24904/tid=24906] ppid=24902 vsize=631564 CPUtime=275.85
/proc/24904/task/24906/stat : 24906 (ttsth-5-0) R 24902 24904 24392 0 -1 4194368 68440 0 0 0 27543 42 0 0 25 0 3 0 95503022 646721536 152475 1992294400 134512640 135237372 4294956192 18446744073709551615 134749351 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24904/tid=24907] ppid=24902 vsize=631564 CPUtime=274.81
/proc/24904/task/24907/stat : 24907 (ttsth-5-0) R 24902 24904 24392 0 -1 4194368 69345 0 0 0 27433 48 0 0 25 0 3 0 95503022 646721536 152475 1992294400 134512640 135237372 4294956192 18446744073709551615 134562416 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 557.04
Current children cumulated vsize (KiB) 631564

[startup+342.302 s]
/proc/loadavg: 1.99 1.96 1.76 3/67 24907
/proc/meminfo: memFree=553064/2055920 swapFree=4192956/4192956
[pid=24904] ppid=24902 vsize=717964 CPUtime=676.78
/proc/24904/stat : 24904 (ttsth-5-0) S 24902 24904 24392 0 -1 4194304 175020 0 0 0 67567 111 0 0 25 0 3 0 95502384 735195136 174079 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24904/statm: 179491 174079 98 176 0 179313 0
[pid=24904/tid=24906] ppid=24902 vsize=717964 CPUtime=335.83
/proc/24904/task/24906/stat : 24906 (ttsth-5-0) R 24902 24904 24392 0 -1 4194368 80163 0 0 0 33534 49 0 0 25 0 3 0 95503022 735195136 174079 1992294400 134512640 135237372 4294956192 18446744073709551615 134562380 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24904/tid=24907] ppid=24902 vsize=717964 CPUtime=334.56
/proc/24904/task/24907/stat : 24907 (ttsth-5-0) R 24902 24904 24392 0 -1 4194368 79226 0 0 0 33402 54 0 0 25 0 3 0 95503022 735195136 174079 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 676.78
Current children cumulated vsize (KiB) 717964

[startup+402.302 s]
/proc/loadavg: 1.99 1.97 1.77 3/67 24907
/proc/meminfo: memFree=475304/2055920 swapFree=4192956/4192956
[pid=24904] ppid=24902 vsize=796524 CPUtime=796.52
/proc/24904/stat : 24904 (ttsth-5-0) S 24902 24904 24392 0 -1 4194304 194606 0 0 0 79528 124 0 0 25 0 3 0 95502384 815640576 193665 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24904/statm: 199131 193665 98 176 0 198953 0
[pid=24904/tid=24906] ppid=24902 vsize=796524 CPUtime=395.81
/proc/24904/task/24906/stat : 24906 (ttsth-5-0) R 24902 24904 24392 0 -1 4194368 91896 0 0 0 39525 56 0 0 25 0 3 0 95503022 815640576 193665 1992294400 134512640 135237372 4294956192 18446744073709551615 134562336 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24904/tid=24907] ppid=24902 vsize=796524 CPUtime=394.32
/proc/24904/task/24907/stat : 24907 (ttsth-5-0) R 24902 24904 24392 0 -1 4194368 87079 0 0 0 39373 59 0 0 25 0 3 0 95503022 815640576 193665 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 796.52
Current children cumulated vsize (KiB) 796524

[startup+462.302 s]
/proc/loadavg: 1.99 1.97 1.78 3/67 24907
/proc/meminfo: memFree=400168/2055920 swapFree=4192956/4192956
[pid=24904] ppid=24902 vsize=870764 CPUtime=916.26
/proc/24904/stat : 24904 (ttsth-5-0) S 24902 24904 24392 0 -1 4194304 213207 0 0 0 91491 135 0 0 25 0 3 0 95502384 891662336 212266 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24904/statm: 217691 212266 98 176 0 217513 0
[pid=24904/tid=24906] ppid=24902 vsize=870764 CPUtime=455.79
/proc/24904/task/24906/stat : 24906 (ttsth-5-0) R 24902 24904 24392 0 -1 4194368 101636 0 0 0 45517 62 0 0 25 0 3 0 95503022 891662336 212266 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24904/tid=24907] ppid=24902 vsize=870764 CPUtime=454.08
/proc/24904/task/24907/stat : 24907 (ttsth-5-0) R 24902 24904 24392 0 -1 4194368 95940 0 0 0 45344 64 0 0 25 0 3 0 95503022 891662336 212266 1992294400 134512640 135237372 4294956192 18446744073709551615 134562413 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 916.26
Current children cumulated vsize (KiB) 870764

[startup+522.302 s]
/proc/loadavg: 1.99 1.97 1.79 3/67 24907
/proc/meminfo: memFree=329896/2055920 swapFree=4192956/4192956
[pid=24904] ppid=24902 vsize=941300 CPUtime=1036.01
/proc/24904/stat : 24904 (ttsth-5-0) S 24902 24904 24392 0 -1 4194304 230816 0 0 0 103453 148 0 0 25 0 3 0 95502384 963891200 229875 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24904/statm: 235325 229875 98 176 0 235147 0
[pid=24904/tid=24906] ppid=24902 vsize=941300 CPUtime=515.78
/proc/24904/task/24906/stat : 24906 (ttsth-5-0) R 24902 24904 24392 0 -1 4194368 109687 0 0 0 51510 68 0 0 25 0 3 0 95503022 963891200 229875 1992294400 134512640 135237372 4294956192 18446744073709551615 134562341 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24904/tid=24907] ppid=24902 vsize=941300 CPUtime=513.85
/proc/24904/task/24907/stat : 24907 (ttsth-5-0) R 24902 24904 24392 0 -1 4194368 105498 0 0 0 51313 72 0 0 25 0 3 0 95503022 963891200 229875 1992294400 134512640 135237372 4294956192 18446744073709551615 134562344 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1036.01
Current children cumulated vsize (KiB) 941300

[startup+582.302 s]
/proc/loadavg: 1.99 1.97 1.80 3/67 24913
/proc/meminfo: memFree=252968/2055920 swapFree=4192956/4192956
[pid=24904] ppid=24902 vsize=1018100 CPUtime=1155.73
/proc/24904/stat : 24904 (ttsth-5-0) S 24902 24904 24392 0 -1 4194304 250033 0 0 0 115412 161 0 0 25 0 3 0 95502384 1042534400 249092 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24904/statm: 254525 249092 98 176 0 254347 0
[pid=24904/tid=24906] ppid=24902 vsize=1018100 CPUtime=575.74
/proc/24904/task/24906/stat : 24906 (ttsth-5-0) R 24902 24904 24392 0 -1 4194368 119175 0 0 0 57500 74 0 0 25 0 3 0 95503022 1042534400 249092 1992294400 134512640 135237372 4294956192 18446744073709551615 134562380 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24904/tid=24907] ppid=24902 vsize=1018100 CPUtime=573.6
/proc/24904/task/24907/stat : 24907 (ttsth-5-0) R 24902 24904 24392 0 -1 4194368 115227 0 0 0 57281 79 0 0 25 0 3 0 95503022 1042534400 249092 1992294400 134512640 135237372 4294956192 18446744073709551615 134562344 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1155.73
Current children cumulated vsize (KiB) 1018100

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

[startup+588.702 s]
/proc/loadavg: 1.99 1.97 1.80 3/67 24913
/proc/meminfo: memFree=245672/2055920 swapFree=4192956/4192956
[pid=24904] ppid=24902 vsize=1024980 CPUtime=1168.5
/proc/24904/stat : 24904 (ttsth-5-0) S 24902 24904 24392 0 -1 4194304 251717 0 0 0 116688 162 0 0 25 0 3 0 95502384 1049579520 250776 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24904/statm: 256245 250776 98 176 0 256067 0
[pid=24904/tid=24906] ppid=24902 vsize=1024980 CPUtime=582.15
/proc/24904/task/24906/stat : 24906 (ttsth-5-0) R 24902 24904 24392 0 -1 4194368 120301 0 0 0 58140 75 0 0 25 0 3 0 95503022 1049579520 250776 1992294400 134512640 135237372 4294956192 18446744073709551615 134565869 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24904/tid=24907] ppid=24902 vsize=1024980 CPUtime=579.98
/proc/24904/task/24907/stat : 24907 (ttsth-5-0) R 24902 24904 24392 0 -1 4194368 115785 0 0 0 57918 80 0 0 25 0 3 0 95503022 1049579520 250776 1992294400 134512640 135237372 4294956192 18446744073709551615 134591221 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1168.5
Current children cumulated vsize (KiB) 1024980

[startup+595.105 s]
/proc/loadavg: 1.99 1.97 1.81 3/67 24913
/proc/meminfo: memFree=235944/2055920 swapFree=4192956/4192956
[pid=24904] ppid=24902 vsize=1034580 CPUtime=1181.28
/proc/24904/stat : 24904 (ttsth-5-0) S 24902 24904 24392 0 -1 4194304 254095 0 0 0 117964 164 0 0 25 0 3 0 95502384 1059409920 253154 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24904/statm: 258645 253154 98 176 0 258467 0
[pid=24904/tid=24906] ppid=24902 vsize=1034580 CPUtime=588.55
/proc/24904/task/24906/stat : 24906 (ttsth-5-0) R 24902 24904 24392 0 -1 4194368 121345 0 0 0 58779 76 0 0 25 0 3 0 95503022 1059409920 253154 1992294400 134512640 135237372 4294956192 18446744073709551615 134561549 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24904/tid=24907] ppid=24902 vsize=1034580 CPUtime=586.35
/proc/24904/task/24907/stat : 24907 (ttsth-5-0) R 24902 24904 24392 0 -1 4194368 117119 0 0 0 58554 81 0 0 25 0 3 0 95503022 1059409920 253154 1992294400 134512640 135237372 4294956192 18446744073709551615 134562341 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1181.28
Current children cumulated vsize (KiB) 1034580

[startup+601.502 s]
/proc/loadavg: 1.99 1.97 1.81 3/67 24913
/proc/meminfo: memFree=227752/2055920 swapFree=4192956/4192956
[pid=24904] ppid=24902 vsize=1043860 CPUtime=1194.05
/proc/24904/stat : 24904 (ttsth-5-0) S 24902 24904 24392 0 -1 4194304 256446 0 0 0 119239 166 0 0 25 0 3 0 95502384 1068912640 255505 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24904/statm: 260965 255505 98 176 0 260787 0
[pid=24904/tid=24906] ppid=24902 vsize=1043860 CPUtime=594.94
/proc/24904/task/24906/stat : 24906 (ttsth-5-0) R 24902 24904 24392 0 -1 4194368 122647 0 0 0 59418 76 0 0 25 0 3 0 95503022 1068912640 255505 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24904/tid=24907] ppid=24902 vsize=1043860 CPUtime=592.73
/proc/24904/task/24907/stat : 24907 (ttsth-5-0) R 24902 24904 24392 0 -1 4194368 118168 0 0 0 59191 82 0 0 25 0 3 0 95503022 1068912640 255505 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1194.05
Current children cumulated vsize (KiB) 1043860

[startup+603.102 s]
/proc/loadavg: 1.99 1.97 1.81 3/67 24913
/proc/meminfo: memFree=224744/2055920 swapFree=4192956/4192956
[pid=24904] ppid=24902 vsize=1045620 CPUtime=1197.24
/proc/24904/stat : 24904 (ttsth-5-0) S 24902 24904 24392 0 -1 4194304 256911 0 0 0 119558 166 0 0 25 0 3 0 95502384 1070714880 255970 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24904/statm: 261405 255970 98 176 0 261227 0
[pid=24904/tid=24906] ppid=24902 vsize=1045620 CPUtime=596.54
/proc/24904/task/24906/stat : 24906 (ttsth-5-0) R 24902 24904 24392 0 -1 4194368 122965 0 0 0 59578 76 0 0 25 0 3 0 95503022 1070714880 255970 1992294400 134512640 135237372 4294956192 18446744073709551615 134562370 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24904/tid=24907] ppid=24902 vsize=1045620 CPUtime=594.32
/proc/24904/task/24907/stat : 24907 (ttsth-5-0) R 24902 24904 24392 0 -1 4194368 118315 0 0 0 59350 82 0 0 25 0 3 0 95503022 1070714880 255970 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1197.24
Current children cumulated vsize (KiB) 1045620

[startup+603.906 s]
/proc/loadavg: 1.99 1.97 1.81 3/67 24913
/proc/meminfo: memFree=223336/2055920 swapFree=4192956/4192956
[pid=24904] ppid=24902 vsize=1046740 CPUtime=1198.84
/proc/24904/stat : 24904 (ttsth-5-0) S 24902 24904 24392 0 -1 4194304 257201 0 0 0 119718 166 0 0 25 0 3 0 95502384 1071861760 256260 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24904/statm: 261685 256260 98 176 0 261507 0
[pid=24904/tid=24906] ppid=24902 vsize=1046740 CPUtime=597.34
/proc/24904/task/24906/stat : 24906 (ttsth-5-0) R 24902 24904 24392 0 -1 4194368 123138 0 0 0 59658 76 0 0 25 0 3 0 95503022 1071861760 256260 1992294400 134512640 135237372 4294956192 18446744073709551615 134562344 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24904/tid=24907] ppid=24902 vsize=1046740 CPUtime=595.12
/proc/24904/task/24907/stat : 24907 (ttsth-5-0) R 24902 24904 24392 0 -1 4194368 118432 0 0 0 59430 82 0 0 25 0 3 0 95503022 1071861760 256260 1992294400 134512640 135237372 4294956192 18446744073709551615 134562341 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1198.84
Current children cumulated vsize (KiB) 1046740

[startup+604.302 s]
/proc/loadavg: 1.99 1.97 1.81 3/67 24913
/proc/meminfo: memFree=223336/2055920 swapFree=4192956/4192956
[pid=24904] ppid=24902 vsize=1047380 CPUtime=1199.63
/proc/24904/stat : 24904 (ttsth-5-0) S 24902 24904 24392 0 -1 4194304 257337 0 0 0 119797 166 0 0 25 0 3 0 95502384 1072517120 256396 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24904/statm: 261845 256396 98 176 0 261667 0
[pid=24904/tid=24906] ppid=24902 vsize=1047380 CPUtime=597.74
/proc/24904/task/24906/stat : 24906 (ttsth-5-0) R 24902 24904 24392 0 -1 4194368 123217 0 0 0 59698 76 0 0 25 0 3 0 95503022 1072517120 256396 1992294400 134512640 135237372 4294956192 18446744073709551615 134562320 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24904/tid=24907] ppid=24902 vsize=1047380 CPUtime=595.51
/proc/24904/task/24907/stat : 24907 (ttsth-5-0) R 24902 24904 24392 0 -1 4194368 118489 0 0 0 59469 82 0 0 25 0 3 0 95503022 1072517120 256396 1992294400 134512640 135237372 4294956192 18446744073709551615 134749351 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1199.63
Current children cumulated vsize (KiB) 1047380

[startup+604.502 s]
/proc/loadavg: 1.99 1.97 1.81 3/67 24913
/proc/meminfo: memFree=223336/2055920 swapFree=4192956/4192956
[pid=24904] ppid=24902 vsize=0 CPUtime=1199.94
/proc/24904/stat : 24904 (ttsth-5-0) R 24902 24904 24392 0 -1 4195332 257422 0 0 0 119817 177 0 0 17 0 1 0 95502384 0 0 1992294400 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/24904/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1199.94
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 604.559
CPU time (s): 1200
CPU user time (s): 1198.17
CPU system time (s): 1.83072
CPU usage (%): 198.492
Max. virtual memory (cumulated for all children) (KiB): 1047380

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1198.17
system time used= 1.83072
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 257422
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= 109
involuntary context switches= 9159

runsolver used 0.59091 second user time and 1.61475 second system time

The end

Launcher Data 

Begin job on node36 at 2009-04-25 17:52:18
IDJOB=1722386
IDBENCH=71088
IDSOLVER=549
FILE ID=node36/1722386-1240674738
PBS_JOBID= 9186564
Free space on /tmp= 66376 MiB

SOLVER NAME= ttsth-5-0 2009-03-19
BENCH NAME= SAT09/APPLICATIONS/satComp09_BioInstances/ndhf_xits_13_UNSAT.cnf
COMMAND LINE= HOME/ttsth-5-0 -num-threads MAXNBTHREAD BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1722386-1240674738/watcher-1722386-1240674738 -o /tmp/evaluation-result-1722386-1240674738/solver-1722386-1240674738 -C 1200 -W 1800 -M 1800 --output-limit 1,15  HOME/ttsth-5-0 -num-threads 2 HOME/instance-1722386-1240674738.cnf

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

MD5SUM BENCH= d4e16a803f6cd0903a2bd3e7157287b3
RANDOM SEED=1085887068

node36.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.232
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.232
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:       1250720 kB
Buffers:         73832 kB
Cached:         638196 kB
SwapCached:          0 kB
Active:         138352 kB
Inactive:       587524 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1250720 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            5296 kB
Writeback:           0 kB
Mapped:          23648 kB
Slab:            65460 kB
Committed_AS:   328600 kB
PageTables:       1356 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= 66376 MiB
End job on node36 at 2009-04-25 18:02:23