Trace number 1734736

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.98 604.617

General information on the benchmark

NameCRAFTED/rbsat/random/unforced/
rbsat-v2640c305320g6.cnf
MD5SUMb8aeb5269daff3f4e23b9dd675aa8076
Bench CategoryCRAFTED (crafted 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 variables2640
Number of clauses305320
Sum of the clauses size613120
Maximum clause length33
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2305240
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 580

Solver Data 

0.39/0.45	c Command: HOME/ttsth-5-0 -num-threads 2 HOME/instance-1734736-1240796770.cnf 
0.39/0.45	c Using SATTIMEOUT of 1200
0.39/0.45	c Using SATRAM of 1800
0.39/0.45	c Size of subset node = 16
0.39/0.45	c Variables = 2640
0.39/0.45	c Clauses = 305320
0.39/0.45	c Literals = 613120
0.39/0.45	c Reduced size:
0.39/0.45	c Variables = 2640
0.39/0.45	c Clauses = 305320
0.39/0.45	c Literals = 613120
0.39/0.45	c a2
0.99/1.01	c a1
2.09/2.13	c Independent sub-problems = 1
2.09/2.13	c Sub-problem with 2640 variables and 305320 clauses
2.09/2.13	c using permutation method 4
2.09/2.13	c count = 1
2.09/2.13	c Ordering finished 2.010 seconds
2.09/2.13	c mapped 2.120 seconds
2.09/2.13	c permuted 2.120 seconds
2.09/2.13	c about to sort
2.19/2.21	c sorted
6.49/6.58	c clauses now 305320
6.49/6.58	c init finished 2.260 seconds
6.49/6.58	c tree built 6.570 seconds
6.49/6.58	c 
6.49/6.58	c PA progress                      | CPU progress Partial assignments | improvements      CPU time        PA/sec        nodes
6.49/6.58	c ---------------------------------|----------------------------------|------------------------------------------------------
6.49/6.58	c ................................ | ..........                       |                        6.6           0.0             
6.49/6.58	c ................................ | ..........                     1 |                        6.6           0.2             
6.49/6.58	c ................................ | ..........                     2 |                        6.6           0.3             
6.49/6.58	c ................................ | ..........                     3 |                        6.6           0.5             
6.49/6.58	c ................................ | ..........                     4 |                        6.6           0.6             
6.49/6.58	c ................................ | ..........                     5 |                        6.6           0.8             
6.49/6.58	c ................................ | ..........                  1000 |                        6.6         152.0          895
23.97/15.34	c ................................ | ..........                206000 | 7189                  24.1        8558.4      3183242
47.92/27.39	c ................................ | ..........                386000 | 14236                 48.1        8023.3      5375920
72.06/39.42	c ................................ | ..........                520000 | 19704                 72.1        7209.2      6947017
96.01/51.42	c ................................ | ..........                660000 | 25759                 96.1        6870.0      8455071
119.95/63.41	c ................................ | *.........                778000 | 30766                120.0        6483.3      9646321
143.90/75.47	c ................................ | *.........                877000 | 34808                144.1        6086.9     10739501
167.86/87.49	c ................................ | *.........                967000 | 38157                168.1        5753.9     11754987
192.00/99.59	c ................................ | *.........               1047000 | 41407                192.2        5446.9     12593998
215.95/111.54	c ................................ | *.........               1131000 | 44800                216.1        5234.7     13567751
240.10/123.64	c ................................ | **........               1220000 | 48734                240.2        5078.7     14515079
263.84/135.57	c ................................ | **........               1321000 | 53605                264.0        5003.4     15672329
288.00/147.62	c ................................ | **........               1415000 | 56964                288.1        4911.8     16833473
311.95/159.67	c ................................ | **........               1528000 | 61136                312.1        4895.2     18086535
336.11/171.75	c ................................ | **........               1622000 | 64998                336.2        4823.8     19051782
360.05/183.74	c ................................ | ***.......               1704000 | 68153                360.2        4731.0     19865838
383.99/195.72	c ................................ | ***.......               1783000 | 71614                384.1        4641.9     20689108
408.15/207.84	c ................................ | ***.......               1856000 | 74995                408.3        4545.8     21467055
431.90/219.73	c ................................ | ***.......               1926000 | 78084                432.0        4458.1     22300550
455.84/231.79	c ................................ | ***.......               2003000 | 81351                456.1        4391.7     23115931
480.19/243.90	c ................................ | ****......               2076000 | 84133                480.3        4322.6     24080127
504.14/255.92	c ................................ | ****......               2142000 | 86973                504.3        4247.8     24879034
527.89/267.88	c ................................ | ****......               2208000 | 89620                528.1        4180.7     25719861
551.83/279.89	c ................................ | ****......               2270000 | 92263                552.1        4111.4     26604826
575.99/291.98	c ................................ | ****......               2327000 | 94625                576.2        4038.2     27371262
600.14/304.02	c ................................ | *****.....               2385000 | 96978                600.3        3973.1     28074720
624.28/316.11	c ................................ | *****.....               2441000 | 99398                624.4        3909.4     28826653
648.03/328.08	c ................................ | *****.....               2493000 | 101683               648.3        3845.4     29440634
672.18/340.18	c ................................ | *****.....               2550000 | 104402               672.5        3792.0     30142702
696.14/352.15	c ................................ | *****.....               2601000 | 106518               696.3        3735.2     30699717
720.08/364.13	c ................................ | ******....               2652000 | 108831               720.2        3682.1     31300471
744.03/376.13	c ................................ | ******....               2703000 | 110922               744.2        3632.0     31899248
767.98/388.16	c ................................ | ******....               2754000 | 112911               768.2        3584.9     32482860
792.33/400.30	c ................................ | ******....               2805000 | 114807               792.5        3539.7     33096838
816.07/412.28	c ................................ | ******....               2858000 | 116673               816.4        3500.8     33745359
840.22/424.30	c ................................ | *******...               2906000 | 118538               840.4        3458.0     34301922
863.97/436.27	c ................................ | *******...               2950000 | 120239               864.3        3413.3     34927308
887.72/448.17	c ................................ | *******...               2996000 | 121904               888.0        3373.8     35482157
912.07/460.34	c ................................ | *******...               3041000 | 123689               912.3        3333.3     36063172
935.82/472.26	c ................................ | *******...               3086000 | 125570               936.1        3296.7     36611215
959.96/484.31	c ................................ | ********..               3127000 | 127293               960.1        3256.8     37150654
983.91/496.33	c ................................ | ********..               3169000 | 129054               984.1        3220.1     37672745
1008.46/508.61	c ................................ | ********..               3212000 | 131065              1008.6        3184.5     38202839
1032.21/520.54	c ................................ | ********..               3251000 | 132673              1032.5        3148.8     38721452
1056.36/532.65	c ................................ | ********..               3290000 | 134181              1056.6        3113.7     39182759
1080.12/544.55	c ................................ | *********.               3335000 | 135818              1080.4        3086.9     39733405
1103.86/556.41	c ................................ | *********.               3380000 | 137552              1104.1        3061.4     40259963
1128.01/568.52	c ................................ | *********.               3432000 | 139458              1128.2        3041.9     40896587
1151.96/580.57	c ................................ | *********.               3484000 | 141273              1152.3        3023.5     41570648
1176.12/592.60	c ................................ | *********.               3537000 | 143312              1176.3        3006.9     42335970
1199.66/604.49	c CPU limit (1200) reached
1199.66/604.49	c Time = 1200.03 seconds
1199.66/604.49	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-1734736-1240796770/watcher-1734736-1240796770 -o /tmp/evaluation-result-1734736-1240796770/solver-1734736-1240796770 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/ttsth-5-0 -num-threads 2 HOME/instance-1734736-1240796770.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: 0.99 0.98 0.99 3/64 24684
/proc/meminfo: memFree=1773752/2055920 swapFree=4181212/4192956
[pid=24684] ppid=24682 vsize=1064 CPUtime=0
/proc/24684/stat : 24684 (ttsth-5-0) R 24682 24684 24376 0 -1 4194304 150 0 0 0 0 0 0 0 18 0 1 0 107704548 1089536 134 1992294400 134512640 135237372 4294956192 18446744073709551615 134639534 0 0 4096 0 0 0 0 17 1 0 0
/proc/24684/statm: 266 135 78 176 0 88 0

[startup+0.103766 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 24684
/proc/meminfo: memFree=1773752/2055920 swapFree=4181212/4192956
[pid=24684] ppid=24682 vsize=5520 CPUtime=0.09
/proc/24684/stat : 24684 (ttsth-5-0) R 24682 24684 24376 0 -1 4194304 1258 0 0 0 9 0 0 0 18 0 1 0 107704548 5652480 1242 1992294400 134512640 135237372 4294956192 18446744073709551615 134732614 0 0 4096 0 0 0 0 17 1 0 0
/proc/24684/statm: 1380 1243 78 176 0 1202 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5520

[startup+0.201773 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 24684
/proc/meminfo: memFree=1773752/2055920 swapFree=4181212/4192956
[pid=24684] ppid=24682 vsize=10060 CPUtime=0.19
/proc/24684/stat : 24684 (ttsth-5-0) R 24682 24684 24376 0 -1 4194304 2367 0 0 0 18 1 0 0 18 0 1 0 107704548 10301440 2351 1992294400 134512640 135237372 4294956192 18446744073709551615 134732614 0 0 4096 0 0 0 0 17 1 0 0
/proc/24684/statm: 2548 2352 78 176 0 2370 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 10060

[startup+0.301782 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 24684
/proc/meminfo: memFree=1773752/2055920 swapFree=4181212/4192956
[pid=24684] ppid=24682 vsize=14688 CPUtime=0.29
/proc/24684/stat : 24684 (ttsth-5-0) R 24682 24684 24376 0 -1 4194304 3494 0 0 0 28 1 0 0 19 0 1 0 107704548 15040512 3478 1992294400 134512640 135237372 4294956192 18446744073709551615 134732614 0 0 4096 0 0 0 0 17 1 0 0
/proc/24684/statm: 3672 3478 78 176 0 3494 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14688

[startup+0.701817 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 24684
/proc/meminfo: memFree=1773752/2055920 swapFree=4181212/4192956
[pid=24684] ppid=24682 vsize=30540 CPUtime=0.69
/proc/24684/stat : 24684 (ttsth-5-0) R 24682 24684 24376 0 -1 4194304 7519 0 0 0 66 3 0 0 22 0 1 0 107704548 31272960 7502 1992294400 134512640 135237372 4294956192 18446744073709551615 134680356 0 0 4096 0 0 0 0 17 1 0 0
/proc/24684/statm: 7635 7502 79 176 0 7457 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 30540

[startup+1.50189 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 24685
/proc/meminfo: memFree=1742960/2055920 swapFree=4181212/4192956
[pid=24684] ppid=24682 vsize=39496 CPUtime=1.49
/proc/24684/stat : 24684 (ttsth-5-0) R 24682 24684 24376 0 -1 4194304 10345 0 0 0 145 4 0 0 25 0 1 0 107704548 40443904 9730 1992294400 134512640 135237372 4294956192 18446744073709551615 134732614 0 0 4096 0 0 0 0 17 1 0 0
/proc/24684/statm: 9874 9730 80 176 0 9696 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 39496

[startup+3.10204 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 24685
/proc/meminfo: memFree=1734960/2055920 swapFree=4181212/4192956
[pid=24684] ppid=24682 vsize=43384 CPUtime=3.09
/proc/24684/stat : 24684 (ttsth-5-0) R 24682 24684 24376 0 -1 4194304 11566 0 0 0 304 5 0 0 25 0 1 0 107704548 44425216 10652 1992294400 134512640 135237372 4294956192 18446744073709551615 134551480 0 0 4096 0 0 0 0 17 1 0 0
/proc/24684/statm: 10846 10652 91 176 0 10668 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 43384

[startup+6.30132 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 24685
/proc/meminfo: memFree=1704176/2055920 swapFree=4181212/4192956
[pid=24684] ppid=24682 vsize=85064 CPUtime=6.29
/proc/24684/stat : 24684 (ttsth-5-0) R 24682 24684 24376 0 -1 4194304 22090 0 0 0 620 9 0 0 25 0 1 0 107704548 87105536 21047 1992294400 134512640 135237372 4294956192 18446744073709551615 134735855 0 0 4096 0 0 0 0 17 1 0 0
/proc/24684/statm: 21266 21047 91 176 0 21088 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 85064

[startup+12.7019 s]
/proc/loadavg: 1.07 1.00 1.00 3/67 24687
/proc/meminfo: memFree=1643944/2055920 swapFree=4181212/4192956
[pid=24684] ppid=24682 vsize=153696 CPUtime=18.78
/proc/24684/stat : 24684 (ttsth-5-0) S 24682 24684 24376 0 -1 4194304 34353 0 0 0 1862 16 0 0 25 0 3 0 107704548 157384704 33011 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24684/statm: 38424 33011 98 176 0 38246 0
[pid=24684/tid=24686] ppid=24682 vsize=153696 CPUtime=6.1
/proc/24684/task/24686/stat : 24686 (ttsth-5-0) R 24682 24684 24376 0 -1 4194368 5010 0 0 0 608 2 0 0 25 0 3 0 107705206 157384704 33011 1992294400 134512640 135237372 4294956192 18446744073709551615 134562380 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24684/tid=24687] ppid=24682 vsize=153696 CPUtime=6.08
/proc/24684/task/24687/stat : 24687 (ttsth-5-0) R 24682 24684 24376 0 -1 4194368 5643 0 0 0 605 3 0 0 25 0 3 0 107705206 157384704 33011 1992294400 134512640 135237372 4294956192 18446744073709551615 134549888 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 18.78
Current children cumulated vsize (KiB) 153696

[startup+25.5011 s]
/proc/loadavg: 1.22 1.03 1.01 3/67 24687
/proc/meminfo: memFree=1602280/2055920 swapFree=4181212/4192956
[pid=24684] ppid=24682 vsize=193508 CPUtime=44.32
/proc/24684/stat : 24684 (ttsth-5-0) S 24682 24684 24376 0 -1 4194304 44272 0 0 0 4409 23 0 0 25 0 3 0 107704548 198152192 42930 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24684/statm: 48377 42930 98 176 0 48199 0
[pid=24684/tid=24686] ppid=24682 vsize=193508 CPUtime=18.9
/proc/24684/task/24686/stat : 24686 (ttsth-5-0) R 24682 24684 24376 0 -1 4194368 9936 0 0 0 1884 6 0 0 25 0 3 0 107705206 198152192 42930 1992294400 134512640 135237372 4294956192 18446744073709551615 134562380 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24684/tid=24687] ppid=24682 vsize=193508 CPUtime=18.83
/proc/24684/task/24687/stat : 24687 (ttsth-5-0) R 24682 24684 24376 0 -1 4194368 10636 0 0 0 1877 6 0 0 25 0 3 0 107705206 198152192 42930 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 44.32
Current children cumulated vsize (KiB) 193508

[startup+51.1014 s]
/proc/loadavg: 1.52 1.12 1.04 3/67 24687
/proc/meminfo: memFree=1548776/2055920 swapFree=4181212/4192956
[pid=24684] ppid=24682 vsize=247268 CPUtime=95.41
/proc/24684/stat : 24684 (ttsth-5-0) S 24682 24684 24376 0 -1 4194304 57709 0 0 0 9510 31 0 0 25 0 3 0 107704548 253202432 56367 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24684/statm: 61817 56367 98 176 0 61639 0
[pid=24684/tid=24686] ppid=24682 vsize=247268 CPUtime=44.49
/proc/24684/task/24686/stat : 24686 (ttsth-5-0) R 24682 24684 24376 0 -1 4194368 17048 0 0 0 4439 10 0 0 25 0 3 0 107705206 253202432 56368 1992294400 134512640 135237372 4294956192 18446744073709551615 134728887 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24684/tid=24687] ppid=24682 vsize=247268 CPUtime=44.32
/proc/24684/task/24687/stat : 24687 (ttsth-5-0) R 24682 24684 24376 0 -1 4194368 16962 0 0 0 4423 9 0 0 25 0 3 0 107705206 253202432 56368 1992294400 134512640 135237372 4294956192 18446744073709551615 134562418 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 95.41
Current children cumulated vsize (KiB) 247268

[startup+102.302 s]
/proc/loadavg: 1.79 1.26 1.09 3/67 24687
/proc/meminfo: memFree=1476968/2055920 swapFree=4181212/4192956
[pid=24684] ppid=24682 vsize=317988 CPUtime=197.6
/proc/24684/stat : 24684 (ttsth-5-0) S 24682 24684 24376 0 -1 4194304 75400 0 0 0 19719 41 0 0 25 0 3 0 107704548 325619712 74058 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24684/statm: 79497 74058 98 176 0 79319 0
[pid=24684/tid=24686] ppid=24682 vsize=317988 CPUtime=95.69
/proc/24684/task/24686/stat : 24686 (ttsth-5-0) R 24682 24684 24376 0 -1 4194368 26789 0 0 0 9553 16 0 0 25 0 3 0 107705206 325619712 74058 1992294400 134512640 135237372 4294956192 18446744073709551615 134562407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24684/tid=24687] ppid=24682 vsize=317988 CPUtime=95.32
/proc/24684/task/24687/stat : 24687 (ttsth-5-0) R 24682 24684 24376 0 -1 4194368 24911 0 0 0 9518 14 0 0 25 0 3 0 107705206 325619712 74058 1992294400 134512640 135237372 4294956192 18446744073709551615 134749343 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 197.6
Current children cumulated vsize (KiB) 317988

[startup+162.301 s]
/proc/loadavg: 1.92 1.39 1.14 3/67 24687
/proc/meminfo: memFree=1389736/2055920 swapFree=4181212/4192956
[pid=24684] ppid=24682 vsize=405988 CPUtime=317.33
/proc/24684/stat : 24684 (ttsth-5-0) S 24682 24684 24376 0 -1 4194304 97391 0 0 0 31680 53 0 0 25 0 3 0 107704548 415731712 96049 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24684/statm: 101497 96049 98 176 0 101319 0
[pid=24684/tid=24686] ppid=24682 vsize=405988 CPUtime=155.67
/proc/24684/task/24686/stat : 24686 (ttsth-5-0) R 24682 24684 24376 0 -1 4194368 38315 0 0 0 15545 22 0 0 25 0 3 0 107705206 415731712 96049 1992294400 134512640 135237372 4294956192 18446744073709551615 134551005 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24684/tid=24687] ppid=24682 vsize=405988 CPUtime=155.08
/proc/24684/task/24687/stat : 24687 (ttsth-5-0) R 24682 24684 24376 0 -1 4194368 35376 0 0 0 15488 20 0 0 25 0 3 0 107705206 415731712 96049 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 317.33
Current children cumulated vsize (KiB) 405988

[startup+222.307 s]
/proc/loadavg: 1.97 1.50 1.19 3/67 24687
/proc/meminfo: memFree=1322984/2055920 swapFree=4181212/4192956
[pid=24684] ppid=24682 vsize=471748 CPUtime=437.09
/proc/24684/stat : 24684 (ttsth-5-0) S 24682 24684 24376 0 -1 4194304 113822 0 0 0 43645 64 0 0 25 0 3 0 107704548 483069952 112480 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24684/statm: 117937 112481 98 176 0 117759 0
[pid=24684/tid=24686] ppid=24682 vsize=471748 CPUtime=215.65
/proc/24684/task/24686/stat : 24686 (ttsth-5-0) R 24682 24684 24376 0 -1 4194368 47519 0 0 0 21537 28 0 0 25 0 3 0 107705206 483069952 112481 1992294400 134512640 135237372 4294956192 18446744073709551615 134591221 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24684/tid=24687] ppid=24682 vsize=471748 CPUtime=214.85
/proc/24684/task/24687/stat : 24687 (ttsth-5-0) R 24682 24684 24376 0 -1 4194368 42604 0 0 0 21460 25 0 0 25 0 3 0 107705206 483069952 112481 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 437.09
Current children cumulated vsize (KiB) 471748

[startup+282.301 s]
/proc/loadavg: 1.99 1.59 1.24 3/67 24687
/proc/meminfo: memFree=1253992/2055920 swapFree=4181212/4192956
[pid=24684] ppid=24682 vsize=541028 CPUtime=556.83
/proc/24684/stat : 24684 (ttsth-5-0) S 24682 24684 24376 0 -1 4194304 131173 0 0 0 55606 77 0 0 25 0 3 0 107704548 554012672 129831 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24684/statm: 135257 129831 98 176 0 135079 0
[pid=24684/tid=24686] ppid=24682 vsize=541028 CPUtime=275.64
/proc/24684/task/24686/stat : 24686 (ttsth-5-0) R 24682 24684 24376 0 -1 4194368 56530 0 0 0 27529 35 0 0 25 0 3 0 107705206 554012672 129831 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24684/tid=24687] ppid=24682 vsize=541028 CPUtime=274.6
/proc/24684/task/24687/stat : 24687 (ttsth-5-0) R 24682 24684 24376 0 -1 4194368 50943 0 0 0 27429 31 0 0 25 0 3 0 107705206 554012672 129831 1992294400 134512640 135237372 4294956192 18446744073709551615 134549899 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 556.83
Current children cumulated vsize (KiB) 541028

[startup+342.302 s]
/proc/loadavg: 1.99 1.66 1.29 3/67 24687
/proc/meminfo: memFree=1197864/2055920 swapFree=4181212/4192956
[pid=24684] ppid=24682 vsize=596388 CPUtime=676.57
/proc/24684/stat : 24684 (ttsth-5-0) S 24682 24684 24376 0 -1 4194304 145015 0 0 0 67573 84 0 0 25 0 3 0 107704548 610701312 143673 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24684/statm: 149097 143673 98 176 0 148919 0
[pid=24684/tid=24686] ppid=24682 vsize=596388 CPUtime=335.62
/proc/24684/task/24686/stat : 24686 (ttsth-5-0) R 24682 24684 24376 0 -1 4194368 63572 0 0 0 33523 39 0 0 25 0 3 0 107705206 610701312 143673 1992294400 134512640 135237372 4294956192 18446744073709551615 134562437 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24684/tid=24687] ppid=24682 vsize=596388 CPUtime=334.36
/proc/24684/task/24687/stat : 24687 (ttsth-5-0) R 24682 24684 24376 0 -1 4194368 57743 0 0 0 33402 34 0 0 25 0 3 0 107705206 610701312 143673 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 676.57
Current children cumulated vsize (KiB) 596388

[startup+402.302 s]
/proc/loadavg: 1.99 1.72 1.33 3/67 24687
/proc/meminfo: memFree=1150568/2055920 swapFree=4181212/4192956
[pid=24684] ppid=24682 vsize=644068 CPUtime=796.32
/proc/24684/stat : 24684 (ttsth-5-0) S 24682 24684 24376 0 -1 4194304 156923 0 0 0 79541 91 0 0 25 0 3 0 107704548 659525632 155581 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24684/statm: 161017 155581 98 176 0 160839 0
[pid=24684/tid=24686] ppid=24682 vsize=644068 CPUtime=395.61
/proc/24684/task/24686/stat : 24686 (ttsth-5-0) R 24682 24684 24376 0 -1 4194368 69739 0 0 0 39517 44 0 0 25 0 3 0 107705206 659525632 155581 1992294400 134512640 135237372 4294956192 18446744073709551615 134562459 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24684/tid=24687] ppid=24682 vsize=644068 CPUtime=394.12
/proc/24684/task/24687/stat : 24687 (ttsth-5-0) R 24682 24684 24376 0 -1 4194368 63484 0 0 0 39376 36 0 0 25 0 3 0 107705206 659525632 155581 1992294400 134512640 135237372 4294956192 18446744073709551615 134562380 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 796.32
Current children cumulated vsize (KiB) 644068

[startup+462.301 s]
/proc/loadavg: 1.99 1.77 1.37 3/67 24687
/proc/meminfo: memFree=1103080/2055920 swapFree=4181212/4192956
[pid=24684] ppid=24682 vsize=690948 CPUtime=916.06
/proc/24684/stat : 24684 (ttsth-5-0) S 24682 24684 24376 0 -1 4194304 168646 0 0 0 91508 98 0 0 25 0 3 0 107704548 707530752 167304 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24684/statm: 172737 167304 98 176 0 172559 0
[pid=24684/tid=24686] ppid=24682 vsize=690948 CPUtime=455.59
/proc/24684/task/24686/stat : 24686 (ttsth-5-0) R 24682 24684 24376 0 -1 4194368 75771 0 0 0 45511 48 0 0 25 0 3 0 107705206 707530752 167304 1992294400 134512640 135237372 4294956192 18446744073709551615 134562344 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24684/tid=24687] ppid=24682 vsize=690948 CPUtime=453.88
/proc/24684/task/24687/stat : 24687 (ttsth-5-0) R 24682 24684 24376 0 -1 4194368 69175 0 0 0 45349 39 0 0 25 0 3 0 107705206 707530752 167304 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 916.06
Current children cumulated vsize (KiB) 690948

[startup+522.302 s]
/proc/loadavg: 1.99 1.81 1.40 3/67 24687
/proc/meminfo: memFree=1061032/2055920 swapFree=4181212/4192956
[pid=24684] ppid=24682 vsize=733188 CPUtime=1035.81
/proc/24684/stat : 24684 (ttsth-5-0) S 24682 24684 24376 0 -1 4194304 179205 0 0 0 103475 106 0 0 25 0 3 0 107704548 750784512 177863 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24684/statm: 183297 177863 98 176 0 183119 0
[pid=24684/tid=24686] ppid=24682 vsize=733188 CPUtime=515.58
/proc/24684/task/24686/stat : 24686 (ttsth-5-0) R 24682 24684 24376 0 -1 4194368 81212 0 0 0 51505 53 0 0 25 0 3 0 107705206 750784512 177863 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24684/tid=24687] ppid=24682 vsize=733188 CPUtime=513.64
/proc/24684/task/24687/stat : 24687 (ttsth-5-0) R 24682 24684 24376 0 -1 4194368 74293 0 0 0 51322 42 0 0 25 0 3 0 107705206 750784512 177863 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1035.81
Current children cumulated vsize (KiB) 733188

[startup+582.301 s]
/proc/loadavg: 1.99 1.84 1.44 3/67 24687
/proc/meminfo: memFree=1014888/2055920 swapFree=4181212/4192956
[pid=24684] ppid=24682 vsize=778948 CPUtime=1155.55
/proc/24684/stat : 24684 (ttsth-5-0) S 24682 24684 24376 0 -1 4194304 190642 0 0 0 115441 114 0 0 25 0 3 0 107704548 797642752 189300 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24684/statm: 194737 189300 98 176 0 194559 0
[pid=24684/tid=24686] ppid=24682 vsize=778948 CPUtime=575.56
/proc/24684/task/24686/stat : 24686 (ttsth-5-0) R 24682 24684 24376 0 -1 4194368 87857 0 0 0 57498 58 0 0 25 0 3 0 107705206 797642752 189300 1992294400 134512640 135237372 4294956192 18446744073709551615 134562380 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24684/tid=24687] ppid=24682 vsize=778948 CPUtime=573.4
/proc/24684/task/24687/stat : 24687 (ttsth-5-0) R 24682 24684 24376 0 -1 4194368 79085 0 0 0 57295 45 0 0 25 0 3 0 107705206 797642752 189300 1992294400 134512640 135237372 4294956192 18446744073709551615 134551754 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1155.55
Current children cumulated vsize (KiB) 778948

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

[startup+588.802 s]
/proc/loadavg: 1.99 1.84 1.44 3/67 24687
/proc/meminfo: memFree=1007400/2055920 swapFree=4181212/4192956
[pid=24684] ppid=24682 vsize=786628 CPUtime=1168.52
/proc/24684/stat : 24684 (ttsth-5-0) S 24682 24684 24376 0 -1 4194304 192553 0 0 0 116736 116 0 0 25 0 3 0 107704548 805507072 191211 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24684/statm: 196657 191211 98 176 0 196479 0
[pid=24684/tid=24686] ppid=24682 vsize=786628 CPUtime=582.06
/proc/24684/task/24686/stat : 24686 (ttsth-5-0) R 24682 24684 24376 0 -1 4194368 88893 0 0 0 58147 59 0 0 25 0 3 0 107705206 805507072 191211 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24684/tid=24687] ppid=24682 vsize=786628 CPUtime=579.87
/proc/24684/task/24687/stat : 24687 (ttsth-5-0) R 24682 24684 24376 0 -1 4194368 79960 0 0 0 57941 46 0 0 25 0 3 0 107705206 805507072 191211 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1168.52
Current children cumulated vsize (KiB) 786628

[startup+595.205 s]
/proc/loadavg: 1.99 1.84 1.44 3/67 24687
/proc/meminfo: memFree=1001000/2055920 swapFree=4181212/4192956
[pid=24684] ppid=24682 vsize=792388 CPUtime=1181.3
/proc/24684/stat : 24684 (ttsth-5-0) S 24682 24684 24376 0 -1 4194304 194036 0 0 0 118013 117 0 0 25 0 3 0 107704548 811405312 192694 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24684/statm: 198097 192694 98 176 0 197919 0
[pid=24684/tid=24686] ppid=24682 vsize=792388 CPUtime=588.45
/proc/24684/task/24686/stat : 24686 (ttsth-5-0) R 24682 24684 24376 0 -1 4194368 89868 0 0 0 58786 59 0 0 25 0 3 0 107705206 811405312 192694 1992294400 134512640 135237372 4294956192 18446744073709551615 134562331 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24684/tid=24687] ppid=24682 vsize=792388 CPUtime=586.25
/proc/24684/task/24687/stat : 24687 (ttsth-5-0) R 24682 24684 24376 0 -1 4194368 80468 0 0 0 58579 46 0 0 25 0 3 0 107705206 811405312 192694 1992294400 134512640 135237372 4294956192 18446744073709551615 134562294 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1181.3
Current children cumulated vsize (KiB) 792388

[startup+601.603 s]
/proc/loadavg: 1.99 1.85 1.45 3/67 24687
/proc/meminfo: memFree=994664/2055920 swapFree=4181212/4192956
[pid=24684] ppid=24682 vsize=799428 CPUtime=1194.08
/proc/24684/stat : 24684 (ttsth-5-0) S 24682 24684 24376 0 -1 4194304 195781 0 0 0 119290 118 0 0 25 0 3 0 107704548 818614272 194439 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24684/statm: 199857 194439 98 176 0 199679 0
[pid=24684/tid=24686] ppid=24682 vsize=799428 CPUtime=594.86
/proc/24684/task/24686/stat : 24686 (ttsth-5-0) R 24682 24684 24376 0 -1 4194368 90717 0 0 0 59426 60 0 0 25 0 3 0 107705206 818614272 194439 1992294400 134512640 135237372 4294956192 18446744073709551615 134562413 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24684/tid=24687] ppid=24682 vsize=799428 CPUtime=592.63
/proc/24684/task/24687/stat : 24687 (ttsth-5-0) R 24682 24684 24376 0 -1 4194368 81364 0 0 0 59216 47 0 0 25 0 3 0 107705206 818614272 194439 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1194.08
Current children cumulated vsize (KiB) 799428

[startup+603.202 s]
/proc/loadavg: 1.99 1.85 1.45 3/67 24687
/proc/meminfo: memFree=993064/2055920 swapFree=4181212/4192956
[pid=24684] ppid=24682 vsize=800548 CPUtime=1197.27
/proc/24684/stat : 24684 (ttsth-5-0) S 24682 24684 24376 0 -1 4194304 196080 0 0 0 119609 118 0 0 25 0 3 0 107704548 819761152 194738 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24684/statm: 200137 194738 98 176 0 199959 0
[pid=24684/tid=24686] ppid=24682 vsize=800548 CPUtime=596.46
/proc/24684/task/24686/stat : 24686 (ttsth-5-0) R 24682 24684 24376 0 -1 4194368 90918 0 0 0 59586 60 0 0 25 0 3 0 107705206 819761152 194738 1992294400 134512640 135237372 4294956192 18446744073709551615 134562311 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24684/tid=24687] ppid=24682 vsize=800548 CPUtime=594.22
/proc/24684/task/24687/stat : 24687 (ttsth-5-0) R 24682 24684 24376 0 -1 4194368 81462 0 0 0 59375 47 0 0 25 0 3 0 107705206 819761152 194738 1992294400 134512640 135237372 4294956192 18446744073709551615 134562437 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1197.27
Current children cumulated vsize (KiB) 800548

[startup+604.005 s]
/proc/loadavg: 1.99 1.85 1.45 3/67 24687
/proc/meminfo: memFree=992168/2055920 swapFree=4181212/4192956
[pid=24684] ppid=24682 vsize=801348 CPUtime=1198.87
/proc/24684/stat : 24684 (ttsth-5-0) S 24682 24684 24376 0 -1 4194304 196253 0 0 0 119769 118 0 0 25 0 3 0 107704548 820580352 194911 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24684/statm: 200337 194911 98 176 0 200159 0
[pid=24684/tid=24686] ppid=24682 vsize=801348 CPUtime=597.26
/proc/24684/task/24686/stat : 24686 (ttsth-5-0) R 24682 24684 24376 0 -1 4194368 90991 0 0 0 59666 60 0 0 25 0 3 0 107705206 820580352 194911 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24684/tid=24687] ppid=24682 vsize=801348 CPUtime=595.02
/proc/24684/task/24687/stat : 24687 (ttsth-5-0) R 24682 24684 24376 0 -1 4194368 81562 0 0 0 59455 47 0 0 25 0 3 0 107705206 820580352 194911 1992294400 134512640 135237372 4294956192 18446744073709551615 134562344 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1198.87
Current children cumulated vsize (KiB) 801348

[startup+604.401 s]
/proc/loadavg: 1.99 1.85 1.45 3/67 24687
/proc/meminfo: memFree=992168/2055920 swapFree=4181212/4192956
[pid=24684] ppid=24682 vsize=801508 CPUtime=1199.66
/proc/24684/stat : 24684 (ttsth-5-0) S 24682 24684 24376 0 -1 4194304 196308 0 0 0 119848 118 0 0 25 0 3 0 107704548 820744192 194966 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24684/statm: 200377 194966 98 176 0 200199 0
[pid=24684/tid=24686] ppid=24682 vsize=801508 CPUtime=597.66
/proc/24684/task/24686/stat : 24686 (ttsth-5-0) R 24682 24684 24376 0 -1 4194368 91022 0 0 0 59706 60 0 0 25 0 3 0 107705206 820744192 194966 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24684/tid=24687] ppid=24682 vsize=801508 CPUtime=595.41
/proc/24684/task/24687/stat : 24687 (ttsth-5-0) R 24682 24684 24376 0 -1 4194368 81586 0 0 0 59494 47 0 0 25 0 3 0 107705206 820744192 194966 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1199.66
Current children cumulated vsize (KiB) 801508

[startup+604.601 s]
/proc/loadavg: 1.99 1.85 1.45 3/67 24687
/proc/meminfo: memFree=992168/2055920 swapFree=4181212/4192956
[pid=24684] ppid=24682 vsize=0 CPUtime=1199.96
/proc/24684/stat : 24684 (ttsth-5-0) R 24682 24684 24376 0 -1 4195332 196318 0 0 0 119867 129 0 0 17 0 1 0 107704548 0 0 1992294400 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/24684/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1199.96
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 604.617
CPU time (s): 1199.98
CPU user time (s): 1198.67
CPU system time (s): 1.3068
CPU usage (%): 198.469
Max. virtual memory (cumulated for all children) (KiB): 801508

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1198.67
system time used= 1.3068
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 196318
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= 20
involuntary context switches= 9169

runsolver used 0.610907 second user time and 1.59576 second system time

The end

Launcher Data 

Begin job on node51 at 2009-04-27 03:46:10
IDJOB=1734736
IDBENCH=71282
IDSOLVER=549
FILE ID=node51/1734736-1240796770
PBS_JOBID= 9187310
Free space on /tmp= 66380 MiB

SOLVER NAME= ttsth-5-0 2009-03-19
BENCH NAME= SAT09/CRAFTED/rbsat/random/unforced/rbsat-v2640c305320g6.cnf
COMMAND LINE= HOME/ttsth-5-0 -num-threads MAXNBTHREAD BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1734736-1240796770/watcher-1734736-1240796770 -o /tmp/evaluation-result-1734736-1240796770/solver-1734736-1240796770 -C 1200 -W 1800 -M 1800 --output-limit 1,15  HOME/ttsth-5-0 -num-threads 2 HOME/instance-1734736-1240796770.cnf

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

MD5SUM BENCH= b8aeb5269daff3f4e23b9dd675aa8076
RANDOM SEED=1812628872

node51.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.214
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.214
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:       1774168 kB
Buffers:         37992 kB
Cached:         168856 kB
SwapCached:       5992 kB
Active:          51176 kB
Inactive:       164180 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1774168 kB
SwapTotal:     4192956 kB
SwapFree:      4181212 kB
Dirty:            4756 kB
Writeback:           0 kB
Mapped:          13740 kB
Slab:            52412 kB
Committed_AS:   311168 kB
PageTables:       1392 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= 66380 MiB
End job on node51 at 2009-04-27 03:56:15