Trace number 1736086

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.92 602.34

General information on the benchmark

NameCRAFTED/rbsat/crafted/
forced/rbsat-v1560c133795gyes9.cnf
MD5SUMfe117ca26ab85d9c8449a6f94eb0c5ef
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark321.639
Satisfiable
(Un)Satisfiability was proved
Number of variables1560
Number of clauses133795
Sum of the clauses size269030
Maximum clause length26
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2133735
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 560

Solver Data 

0.09/0.18	c Command: HOME/ttsth-5-0 -num-threads 2 HOME/instance-1736086-1240809845.cnf 
0.09/0.18	c Using SATTIMEOUT of 1200
0.09/0.18	c Using SATRAM of 1800
0.09/0.18	c Size of subset node = 16
0.09/0.18	c Variables = 1560
0.09/0.18	c Clauses = 133795
0.09/0.18	c Literals = 269030
0.09/0.18	c Reduced size:
0.09/0.18	c Variables = 1560
0.09/0.18	c Clauses = 133795
0.09/0.18	c Literals = 269030
0.09/0.18	c a2
0.39/0.41	c a1
0.79/0.87	c Independent sub-problems = 1
0.79/0.87	c Sub-problem with 1560 variables and 133795 clauses
0.79/0.87	c using permutation method 4
0.79/0.87	c count = 1
0.79/0.87	c Ordering finished 0.820 seconds
0.79/0.87	c mapped 0.860 seconds
0.79/0.87	c permuted 0.860 seconds
0.79/0.87	c about to sort
0.89/0.91	c sorted
2.10/2.11	c clauses now 133795
2.10/2.11	c init finished 0.920 seconds
2.10/2.11	c tree built 2.110 seconds
2.10/2.11	c 
2.10/2.11	c PA progress                      | CPU progress Partial assignments | improvements      CPU time        PA/sec        nodes
2.10/2.11	c ---------------------------------|----------------------------------|------------------------------------------------------
2.10/2.11	c ................................ | ..........                       |                        2.1           0.0             
2.10/2.11	c ................................ | ..........                     1 |                        2.1           0.5             
2.10/2.11	c ................................ | ..........                     2 |                        2.1           0.9             
2.10/2.11	c ................................ | ..........                     3 |                        2.1           1.4             
2.10/2.11	c ................................ | ..........                     4 |                        2.1           1.9             
2.10/2.11	c ................................ | ..........                     5 |                        2.1           2.4             
2.10/2.12	c ................................ | ..........                  1000 | 5                      2.1         471.7         4882
23.83/13.08	c ................................ | ..........                258000 | 11598                 24.0       10750.0      2153126
47.98/25.10	c ................................ | ..........                450000 | 20323                 48.0        9375.0      3626301
72.13/37.21	c ................................ | ..........                596000 | 27387                 72.2        8257.1      4758509
96.07/49.25	c ................................ | ..........                722000 | 34223                 96.2        7505.2      5646001
120.02/61.21	c ................................ | *.........                849000 | 41219                120.1        7070.3      6463202
143.97/73.28	c ................................ | *.........                963000 | 47276                144.2        6680.1      7367186
167.92/85.26	c ................................ | *.........               1073000 | 52613                168.1        6383.9      8290078
192.06/97.32	c ................................ | *.........               1178000 | 57861                192.1        6131.3      9065484
215.82/109.29	c ................................ | *.........               1263000 | 62204                216.0        5846.4      9773287
239.97/121.36	c ................................ | **........               1365000 | 67774                240.1        5684.7     10479972
263.90/133.33	c ................................ | **........               1461000 | 72716                264.0        5533.7     11209877
288.06/145.43	c ................................ | **........               1555000 | 77484                288.2        5395.9     11938845
312.01/157.43	c ................................ | **........               1642000 | 82256                312.1        5260.8     12634648
335.97/169.40	c ................................ | **........               1768000 | 88360                336.0        5261.6     13507050
359.91/181.45	c ................................ | ***.......               1872000 | 93447                360.1        5199.1     14185435
384.06/193.51	c ................................ | ***.......               1981000 | 98890                384.1        5157.0     14825039
408.01/205.52	c ................................ | ***.......               2087000 | 104203               408.1        5113.7     15483033
431.95/217.58	c ................................ | ***.......               2193000 | 109238               432.2        5074.0     16097234
455.90/229.52	c ................................ | ***.......               2294000 | 114009               456.0        5030.7     16758433
480.05/241.67	c ................................ | ****......               2383000 | 118271               480.3        4961.8     17385340
504.20/253.70	c ................................ | ****......               2458000 | 121735               504.3        4874.2     18007260
527.94/265.61	c ................................ | ****......               2526000 | 125001               528.0        4783.6     18585992
552.09/277.70	c ................................ | ****......               2599000 | 128612               552.2        4706.7     19338619
576.25/289.81	c ................................ | ****......               2674000 | 132549               576.4        4639.4     20001568
600.19/301.85	c ................................ | *****.....               2739000 | 135903               600.4        4562.0     20610414
623.94/313.70	c ................................ | *****.....               2792000 | 138690               624.0        4474.1     21083727
647.89/325.72	c ................................ | *****.....               2850000 | 141751               648.0        4397.9     21564327
672.03/337.84	c ................................ | *****.....               2916000 | 145511               672.2        4337.9     22154203
696.18/349.92	c ................................ | *****.....               2971000 | 148117               696.3        4266.7     22644610
719.95/361.85	c ................................ | ******....               3016000 | 150575               720.2        4188.0     23032450
744.09/373.98	c ................................ | ******....               3069000 | 153297               744.4        4123.0     23447767
768.03/385.98	c ................................ | ******....               3121000 | 156058               768.3        4062.1     23872611
791.79/397.86	c ................................ | ******....               3178000 | 158969               792.0        4012.4     24331453
815.93/409.96	c ................................ | ******....               3237000 | 162085               816.2        3966.0     24791964
840.28/422.12	c ................................ | *******...               3287000 | 164580               840.5        3911.0     25257889
864.03/434.03	c ................................ | *******...               3332000 | 166762               864.2        3855.5     25667384
887.98/446.00	c ................................ | *******...               3379000 | 169239               888.1        3804.7     26074865
912.12/458.12	c ................................ | *******...               3426000 | 171805               912.3        3755.3     26482833
936.27/470.22	c ................................ | *******...               3480000 | 174851               936.5        3716.1     26903465
959.82/482.05	c ................................ | ********..               3537000 | 178030               960.1        3684.1     27301663
983.77/494.05	c ................................ | ********..               3605000 | 181648               984.0        3663.5     27738889
1007.91/506.13	c ................................ | ********..               3658000 | 184234              1008.1        3628.5     28161555
1031.88/518.19	c ................................ | ********..               3713000 | 186920              1032.2        3597.1     28571396
1055.82/530.13	c ................................ | ********..               3772000 | 190221              1056.0        3571.8     28970510
1080.17/542.30	c ................................ | *********.               3836000 | 193481              1080.3        3550.7     29431965
1104.12/554.38	c ................................ | *********.               3895000 | 196598              1104.4        3526.7     29905205
1127.87/566.24	c ................................ | *********.               3946000 | 199137              1128.1        3497.8     30329242
1152.02/578.36	c ................................ | *********.               3995000 | 201560              1152.3        3466.9     30704226
1175.96/590.39	c ................................ | *********.               4046000 | 204374              1176.3        3439.5     31048665
1199.70/602.26	c CPU limit (1200) reached
1199.70/602.26	c Time = 1200.01 seconds
1199.70/602.26	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-1736086-1240809845/watcher-1736086-1240809845 -o /tmp/evaluation-result-1736086-1240809845/solver-1736086-1240809845 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/ttsth-5-0 -num-threads 2 HOME/instance-1736086-1240809845.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.92 0.98 0.99 3/65 22293
/proc/meminfo: memFree=1333240/2055924 swapFree=4181440/4192956
[pid=22293] ppid=22291 vsize=1064 CPUtime=0
/proc/22293/stat : 22293 (ttsth-5-0) R 22291 22293 22256 0 -1 4194304 154 0 0 0 0 0 0 0 20 0 1 0 109013838 1089536 138 1992294400 134512640 135237372 4294956192 18446744073709551615 134639534 0 0 4096 0 0 0 0 17 1 0 0
/proc/22293/statm: 266 139 78 176 0 88 0

[startup+0.0231591 s]
/proc/loadavg: 0.92 0.98 0.99 3/65 22293
/proc/meminfo: memFree=1333240/2055924 swapFree=4181440/4192956
[pid=22293] ppid=22291 vsize=1988 CPUtime=0.02
/proc/22293/stat : 22293 (ttsth-5-0) R 22291 22293 22256 0 -1 4194304 374 0 0 0 2 0 0 0 20 0 1 0 109013838 2035712 358 1992294400 134512640 135237372 4294956192 18446744073709551615 134732614 0 0 4096 0 0 0 0 17 1 0 0
/proc/22293/statm: 497 358 78 176 0 319 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 1988

[startup+0.101166 s]
/proc/loadavg: 0.92 0.98 0.99 3/65 22293
/proc/meminfo: memFree=1333240/2055924 swapFree=4181440/4192956
[pid=22293] ppid=22291 vsize=5784 CPUtime=0.09
/proc/22293/stat : 22293 (ttsth-5-0) R 22291 22293 22256 0 -1 4194304 1319 0 0 0 9 0 0 0 20 0 1 0 109013838 5922816 1304 1992294400 134512640 135237372 4294956192 18446744073709551615 134732614 0 0 4096 0 0 0 0 17 1 0 0
/proc/22293/statm: 1446 1304 78 176 0 1268 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5784

[startup+0.301187 s]
/proc/loadavg: 0.92 0.98 0.99 3/65 22293
/proc/meminfo: memFree=1333240/2055924 swapFree=4181440/4192956
[pid=22293] ppid=22291 vsize=14816 CPUtime=0.29
/proc/22293/stat : 22293 (ttsth-5-0) R 22291 22293 22256 0 -1 4194304 3579 0 0 0 28 1 0 0 22 0 1 0 109013838 15171584 3562 1992294400 134512640 135237372 4294956192 18446744073709551615 134519986 0 0 4096 0 0 0 0 17 1 0 0
/proc/22293/statm: 3704 3562 79 176 0 3526 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14816

[startup+0.701229 s]
/proc/loadavg: 0.92 0.98 0.99 3/65 22293
/proc/meminfo: memFree=1333240/2055924 swapFree=4181440/4192956
[pid=22293] ppid=22291 vsize=18360 CPUtime=0.69
/proc/22293/stat : 22293 (ttsth-5-0) R 22291 22293 22256 0 -1 4194304 4757 0 0 0 68 1 0 0 25 0 1 0 109013838 18800640 4478 1992294400 134512640 135237372 4294956192 18446744073709551615 134738818 0 0 4096 0 0 0 0 17 1 0 0
/proc/22293/statm: 4590 4478 80 176 0 4412 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 18360

[startup+1.50131 s]
/proc/loadavg: 0.92 0.98 0.99 2/66 22294
/proc/meminfo: memFree=1315696/2055924 swapFree=4181440/4192956
[pid=22293] ppid=22291 vsize=27072 CPUtime=1.49
/proc/22293/stat : 22293 (ttsth-5-0) R 22291 22293 22256 0 -1 4194304 7054 0 0 0 147 2 0 0 25 0 1 0 109013838 27721728 6611 1992294400 134512640 135237372 4294956192 18446744073709551615 134735855 0 0 4096 0 0 0 0 17 1 0 0
/proc/22293/statm: 6768 6612 93 176 0 6590 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 27072

[startup+3.10149 s]
/proc/loadavg: 0.92 0.98 0.99 2/66 22294
/proc/meminfo: memFree=1291504/2055924 swapFree=4181440/4192956
[pid=22293] ppid=22291 vsize=71344 CPUtime=4.08
/proc/22293/stat : 22293 (ttsth-5-0) S 22291 22293 22256 0 -1 4194304 13068 0 0 0 403 5 0 0 25 0 3 0 109013838 73056256 12560 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/22293/statm: 17836 12560 98 176 0 17658 0
Current children cumulated CPU time (s) 4.08
Current children cumulated vsize (KiB) 71344

[startup+6.30282 s]
/proc/loadavg: 1.01 1.00 1.00 3/68 22296
/proc/meminfo: memFree=1274592/2055924 swapFree=4181440/4192956
[pid=22293] ppid=22291 vsize=82948 CPUtime=10.46
/proc/22293/stat : 22293 (ttsth-5-0) S 22291 22293 22256 0 -1 4194304 15785 0 0 0 1040 6 0 0 25 0 3 0 109013838 84938752 15277 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/22293/statm: 20737 15277 98 176 0 20559 0
[pid=22293/tid=22295] ppid=22291 vsize=82948 CPUtime=4.18
/proc/22293/task/22295/stat : 22295 (ttsth-5-0) R 22291 22293 22256 0 -1 4194368 2282 0 0 0 417 1 0 0 25 0 3 0 109014050 84938752 15277 1992294400 134512640 135237372 4294956192 18446744073709551615 134562309 0 0 4096 0 0 0 0 -1 1 0 0
[pid=22293/tid=22296] ppid=22291 vsize=82948 CPUtime=4.16
/proc/22293/task/22296/stat : 22296 (ttsth-5-0) R 22291 22293 22256 0 -1 4194368 2492 0 0 0 415 1 0 0 25 0 3 0 109014050 84938752 15277 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 10.46
Current children cumulated vsize (KiB) 82948

[startup+12.7015 s]
/proc/loadavg: 1.09 1.02 1.01 3/68 22296
/proc/meminfo: memFree=1259056/2055924 swapFree=4181440/4192956
[pid=22293] ppid=22291 vsize=97060 CPUtime=23.23
/proc/22293/stat : 22293 (ttsth-5-0) S 22291 22293 22256 0 -1 4194304 19353 0 0 0 2314 9 0 0 25 0 3 0 109013838 99389440 18845 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/22293/statm: 24265 18845 98 176 0 24087 0
[pid=22293/tid=22295] ppid=22291 vsize=97060 CPUtime=10.58
/proc/22293/task/22295/stat : 22295 (ttsth-5-0) R 22291 22293 22256 0 -1 4194368 4189 0 0 0 1056 2 0 0 25 0 3 0 109014050 99389440 18845 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
[pid=22293/tid=22296] ppid=22291 vsize=97060 CPUtime=10.53
/proc/22293/task/22296/stat : 22296 (ttsth-5-0) R 22291 22293 22256 0 -1 4194368 4153 0 0 0 1051 2 0 0 25 0 3 0 109014050 99389440 18845 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 23.23
Current children cumulated vsize (KiB) 97060

[startup+25.5018 s]
/proc/loadavg: 1.29 1.06 1.02 3/68 22296
/proc/meminfo: memFree=1233712/2055924 swapFree=4181440/4192956
[pid=22293] ppid=22291 vsize=122920 CPUtime=48.78
/proc/22293/stat : 22293 (ttsth-5-0) S 22291 22293 22256 0 -1 4194304 25500 0 0 0 4865 13 0 0 25 0 3 0 109013838 125870080 24992 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/22293/statm: 30730 24992 98 176 0 30552 0
[pid=22293/tid=22295] ppid=22291 vsize=122920 CPUtime=23.37
/proc/22293/task/22295/stat : 22295 (ttsth-5-0) R 22291 22293 22256 0 -1 4194368 7572 0 0 0 2333 4 0 0 25 0 3 0 109014050 125870080 24992 1992294400 134512640 135237372 4294956192 18446744073709551615 134562437 0 0 4096 0 0 0 0 -1 1 0 0
[pid=22293/tid=22296] ppid=22291 vsize=122920 CPUtime=23.28
/proc/22293/task/22296/stat : 22296 (ttsth-5-0) R 22291 22293 22256 0 -1 4194368 6917 0 0 0 2324 4 0 0 25 0 3 0 109014050 125870080 24992 1992294400 134512640 135237372 4294956192 18446744073709551615 134591065 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 48.78
Current children cumulated vsize (KiB) 122920

[startup+51.1015 s]
/proc/loadavg: 1.53 1.14 1.04 3/68 22296
/proc/meminfo: memFree=1201072/2055924 swapFree=4181440/4192956
[pid=22293] ppid=22291 vsize=156260 CPUtime=99.86
/proc/22293/stat : 22293 (ttsth-5-0) S 22291 22293 22256 0 -1 4194304 33691 0 0 0 9967 19 0 0 25 0 3 0 109013838 160010240 33183 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/22293/statm: 39065 33183 98 176 0 38887 0
[pid=22293/tid=22295] ppid=22291 vsize=156260 CPUtime=48.95
/proc/22293/task/22295/stat : 22295 (ttsth-5-0) R 22291 22293 22256 0 -1 4194368 11625 0 0 0 4888 7 0 0 25 0 3 0 109014050 160010240 33183 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
[pid=22293/tid=22296] ppid=22291 vsize=156260 CPUtime=48.78
/proc/22293/task/22296/stat : 22296 (ttsth-5-0) R 22291 22293 22256 0 -1 4194368 11055 0 0 0 4871 7 0 0 25 0 3 0 109014050 160010240 33183 1992294400 134512640 135237372 4294956192 18446744073709551615 134565873 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 99.86
Current children cumulated vsize (KiB) 156260

[startup+102.306 s]
/proc/loadavg: 1.79 1.27 1.09 3/68 22296
/proc/meminfo: memFree=1143600/2055924 swapFree=4181440/4192956
[pid=22293] ppid=22291 vsize=214716 CPUtime=202.05
/proc/22293/stat : 22293 (ttsth-5-0) S 22291 22293 22256 0 -1 4194304 47867 0 0 0 20176 29 0 0 25 0 3 0 109013838 219869184 47359 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/22293/statm: 53679 47359 98 176 0 53501 0
[pid=22293/tid=22295] ppid=22291 vsize=214716 CPUtime=100.15
/proc/22293/task/22295/stat : 22295 (ttsth-5-0) R 22291 22293 22256 0 -1 4194368 19093 0 0 0 10002 13 0 0 25 0 3 0 109014050 219869184 47359 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
[pid=22293/tid=22296] ppid=22291 vsize=214716 CPUtime=99.78
/proc/22293/task/22296/stat : 22296 (ttsth-5-0) R 22291 22293 22256 0 -1 4194368 17763 0 0 0 9966 12 0 0 25 0 3 0 109014050 219869184 47359 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 202.05
Current children cumulated vsize (KiB) 214716

[startup+162.301 s]
/proc/loadavg: 1.92 1.40 1.15 3/68 22296
/proc/meminfo: memFree=1087536/2055924 swapFree=4181440/4192956
[pid=22293] ppid=22291 vsize=273440 CPUtime=321.79
/proc/22293/stat : 22293 (ttsth-5-0) S 22291 22293 22256 0 -1 4194304 62018 0 0 0 32139 40 0 0 25 0 3 0 109013838 280002560 61510 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/22293/statm: 68360 61510 98 176 0 68182 0
[pid=22293/tid=22295] ppid=22291 vsize=273440 CPUtime=160.13
/proc/22293/task/22295/stat : 22295 (ttsth-5-0) R 22291 22293 22256 0 -1 4194368 26824 0 0 0 15995 18 0 0 25 0 3 0 109014050 280002560 61510 1992294400 134512640 135237372 4294956192 18446744073709551615 134562380 0 0 4096 0 0 0 0 -1 1 0 0
[pid=22293/tid=22296] ppid=22291 vsize=273440 CPUtime=159.54
/proc/22293/task/22296/stat : 22296 (ttsth-5-0) R 22291 22293 22256 0 -1 4194368 24183 0 0 0 15937 17 0 0 25 0 3 0 109014050 280002560 61510 1992294400 134512640 135237372 4294956192 18446744073709551615 134562380 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 321.79
Current children cumulated vsize (KiB) 273440

[startup+222.301 s]
/proc/loadavg: 1.97 1.51 1.20 3/68 22296
/proc/meminfo: memFree=1034544/2055924 swapFree=4181440/4192956
[pid=22293] ppid=22291 vsize=327304 CPUtime=441.53
/proc/22293/stat : 22293 (ttsth-5-0) S 22291 22293 22256 0 -1 4194304 75079 0 0 0 44103 50 0 0 25 0 3 0 109013838 335159296 74571 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/22293/statm: 81826 74571 98 176 0 81648 0
[pid=22293/tid=22295] ppid=22291 vsize=327304 CPUtime=220.11
/proc/22293/task/22295/stat : 22295 (ttsth-5-0) R 22291 22293 22256 0 -1 4194368 34991 0 0 0 21987 24 0 0 25 0 3 0 109014050 335159296 74571 1992294400 134512640 135237372 4294956192 18446744073709551615 134562380 0 0 4096 0 0 0 0 -1 1 0 0
[pid=22293/tid=22296] ppid=22291 vsize=327304 CPUtime=219.3
/proc/22293/task/22296/stat : 22296 (ttsth-5-0) R 22291 22293 22256 0 -1 4194368 29077 0 0 0 21909 21 0 0 25 0 3 0 109014050 335159296 74571 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 441.53
Current children cumulated vsize (KiB) 327304

[startup+282.302 s]
/proc/loadavg: 1.99 1.59 1.24 3/68 22296
/proc/meminfo: memFree=984112/2055924 swapFree=4181440/4192956
[pid=22293] ppid=22291 vsize=380876 CPUtime=561.28
/proc/22293/stat : 22293 (ttsth-5-0) S 22291 22293 22256 0 -1 4194304 87765 0 0 0 56067 61 0 0 25 0 3 0 109013838 390017024 87257 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/22293/statm: 95219 87257 98 176 0 95041 0
[pid=22293/tid=22295] ppid=22291 vsize=380876 CPUtime=280.1
/proc/22293/task/22295/stat : 22295 (ttsth-5-0) R 22291 22293 22256 0 -1 4194368 42020 0 0 0 27980 30 0 0 25 0 3 0 109014050 390017024 87257 1992294400 134512640 135237372 4294956192 18446744073709551615 134562380 0 0 4096 0 0 0 0 -1 1 0 0
[pid=22293/tid=22296] ppid=22291 vsize=380876 CPUtime=279.06
/proc/22293/task/22296/stat : 22296 (ttsth-5-0) R 22291 22293 22256 0 -1 4194368 34734 0 0 0 27880 26 0 0 25 0 3 0 109014050 390017024 87257 1992294400 134512640 135237372 4294956192 18446744073709551615 134562399 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 561.28
Current children cumulated vsize (KiB) 380876

[startup+342.302 s]
/proc/loadavg: 1.99 1.66 1.29 3/68 22296
/proc/meminfo: memFree=940336/2055924 swapFree=4181440/4192956
[pid=22293] ppid=22291 vsize=425904 CPUtime=681.01
/proc/22293/stat : 22293 (ttsth-5-0) S 22291 22293 22256 0 -1 4194304 98589 0 0 0 68030 71 0 0 25 0 3 0 109013838 436125696 98081 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/22293/statm: 106476 98081 98 176 0 106298 0
[pid=22293/tid=22295] ppid=22291 vsize=425904 CPUtime=340.08
/proc/22293/task/22295/stat : 22295 (ttsth-5-0) R 22291 22293 22256 0 -1 4194368 47304 0 0 0 33972 36 0 0 25 0 3 0 109014050 436125696 98081 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
[pid=22293/tid=22296] ppid=22291 vsize=425904 CPUtime=338.82
/proc/22293/task/22296/stat : 22296 (ttsth-5-0) R 22291 22293 22256 0 -1 4194368 40274 0 0 0 33851 31 0 0 25 0 3 0 109014050 436125696 98081 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 681.01
Current children cumulated vsize (KiB) 425904

[startup+402.301 s]
/proc/loadavg: 1.99 1.72 1.33 3/68 22296
/proc/meminfo: memFree=906928/2055924 swapFree=4181440/4192956
[pid=22293] ppid=22291 vsize=460624 CPUtime=800.76
/proc/22293/stat : 22293 (ttsth-5-0) S 22291 22293 22256 0 -1 4194304 107011 0 0 0 79997 79 0 0 25 0 3 0 109013838 471678976 106503 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/22293/statm: 115156 106503 98 176 0 114978 0
[pid=22293/tid=22295] ppid=22291 vsize=460624 CPUtime=400.06
/proc/22293/task/22295/stat : 22295 (ttsth-5-0) R 22291 22293 22256 0 -1 4194368 51681 0 0 0 39966 40 0 0 25 0 3 0 109014050 471678976 106503 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
[pid=22293/tid=22296] ppid=22291 vsize=460624 CPUtime=398.58
/proc/22293/task/22296/stat : 22296 (ttsth-5-0) R 22291 22293 22256 0 -1 4194368 44319 0 0 0 39823 35 0 0 25 0 3 0 109014050 471678976 106503 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 800.76
Current children cumulated vsize (KiB) 460624

[startup+462.301 s]
/proc/loadavg: 1.99 1.77 1.37 3/68 22296
/proc/meminfo: memFree=873264/2055924 swapFree=4181440/4192956
[pid=22293] ppid=22291 vsize=494444 CPUtime=920.51
/proc/22293/stat : 22293 (ttsth-5-0) S 22291 22293 22256 0 -1 4194304 115328 0 0 0 91965 86 0 0 25 0 3 0 109013838 506310656 114820 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/22293/statm: 123611 114820 98 176 0 123433 0
[pid=22293/tid=22295] ppid=22291 vsize=494444 CPUtime=460.04
/proc/22293/task/22295/stat : 22295 (ttsth-5-0) R 22291 22293 22256 0 -1 4194368 55874 0 0 0 45961 43 0 0 25 0 3 0 109014050 506310656 114820 1992294400 134512640 135237372 4294956192 18446744073709551615 134562380 0 0 4096 0 0 0 0 -1 1 0 0
[pid=22293/tid=22296] ppid=22291 vsize=494444 CPUtime=458.34
/proc/22293/task/22296/stat : 22296 (ttsth-5-0) R 22291 22293 22256 0 -1 4194368 48443 0 0 0 45796 38 0 0 25 0 3 0 109014050 506310656 114820 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 920.51
Current children cumulated vsize (KiB) 494444

[startup+522.302 s]
/proc/loadavg: 1.99 1.81 1.41 3/68 22296
/proc/meminfo: memFree=840944/2055924 swapFree=4181440/4192956
[pid=22293] ppid=22291 vsize=528136 CPUtime=1040.25
/proc/22293/stat : 22293 (ttsth-5-0) S 22291 22293 22256 0 -1 4194304 123448 0 0 0 103933 92 0 0 25 0 3 0 109013838 540811264 122940 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/22293/statm: 132034 122940 98 176 0 131856 0
[pid=22293/tid=22295] ppid=22291 vsize=528136 CPUtime=520.02
/proc/22293/task/22295/stat : 22295 (ttsth-5-0) R 22291 22293 22256 0 -1 4194368 60409 0 0 0 51956 46 0 0 25 0 3 0 109014050 540811264 122940 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
[pid=22293/tid=22296] ppid=22291 vsize=528136 CPUtime=518.1
/proc/22293/task/22296/stat : 22296 (ttsth-5-0) R 22291 22293 22256 0 -1 4194368 52028 0 0 0 51769 41 0 0 25 0 3 0 109014050 540811264 122940 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1040.25
Current children cumulated vsize (KiB) 528136

[startup+582.301 s]
/proc/loadavg: 1.99 1.84 1.44 3/68 22296
/proc/meminfo: memFree=807600/2055924 swapFree=4181440/4192956
[pid=22293] ppid=22291 vsize=562492 CPUtime=1159.99
/proc/22293/stat : 22293 (ttsth-5-0) S 22291 22293 22256 0 -1 4194304 131690 0 0 0 115899 100 0 0 25 0 3 0 109013838 575991808 131182 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/22293/statm: 140623 131182 98 176 0 140445 0
[pid=22293/tid=22295] ppid=22291 vsize=562492 CPUtime=580.01
/proc/22293/task/22295/stat : 22295 (ttsth-5-0) R 22291 22293 22256 0 -1 4194368 64910 0 0 0 57950 51 0 0 25 0 3 0 109014050 575991808 131182 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
[pid=22293/tid=22296] ppid=22291 vsize=562492 CPUtime=577.86
/proc/22293/task/22296/stat : 22296 (ttsth-5-0) R 22291 22293 22256 0 -1 4194368 55769 0 0 0 57741 45 0 0 25 0 3 0 109014050 575991808 131182 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1159.99
Current children cumulated vsize (KiB) 562492

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

[startup+588.703 s]
/proc/loadavg: 1.99 1.85 1.45 3/68 22296
/proc/meminfo: memFree=804592/2055924 swapFree=4181440/4192956
[pid=22293] ppid=22291 vsize=565076 CPUtime=1172.77
/proc/22293/stat : 22293 (ttsth-5-0) S 22291 22293 22256 0 -1 4194304 132421 0 0 0 117176 101 0 0 25 0 3 0 109013838 578637824 131913 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/22293/statm: 141269 131913 98 176 0 141091 0
[pid=22293/tid=22295] ppid=22291 vsize=565076 CPUtime=586.4
/proc/22293/task/22295/stat : 22295 (ttsth-5-0) R 22291 22293 22256 0 -1 4194368 65315 0 0 0 58589 51 0 0 25 0 3 0 109014050 578637824 131913 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
[pid=22293/tid=22296] ppid=22291 vsize=565076 CPUtime=584.23
/proc/22293/task/22296/stat : 22296 (ttsth-5-0) R 22291 22293 22256 0 -1 4194368 56095 0 0 0 58378 45 0 0 25 0 3 0 109014050 578637824 131913 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1172.77
Current children cumulated vsize (KiB) 565076

[startup+595.106 s]
/proc/loadavg: 1.99 1.85 1.45 3/68 22296
/proc/meminfo: memFree=801520/2055924 swapFree=4181440/4192956
[pid=22293] ppid=22291 vsize=569156 CPUtime=1185.55
/proc/22293/stat : 22293 (ttsth-5-0) S 22291 22293 22256 0 -1 4194304 133172 0 0 0 118453 102 0 0 25 0 3 0 109013838 582815744 132664 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/22293/statm: 142289 132664 98 176 0 142111 0
[pid=22293/tid=22295] ppid=22291 vsize=569156 CPUtime=592.8
/proc/22293/task/22295/stat : 22295 (ttsth-5-0) R 22291 22293 22256 0 -1 4194368 65789 0 0 0 59229 51 0 0 25 0 3 0 109014050 582815744 132664 1992294400 134512640 135237372 4294956192 18446744073709551615 134562287 0 0 4096 0 0 0 0 -1 1 0 0
[pid=22293/tid=22296] ppid=22291 vsize=569156 CPUtime=590.61
/proc/22293/task/22296/stat : 22296 (ttsth-5-0) R 22291 22293 22256 0 -1 4194368 56372 0 0 0 59016 45 0 0 25 0 3 0 109014050 582815744 132664 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1185.55
Current children cumulated vsize (KiB) 569156

[startup+598.302 s]
/proc/loadavg: 1.99 1.85 1.45 3/68 22296
/proc/meminfo: memFree=800048/2055924 swapFree=4181440/4192956
[pid=22293] ppid=22291 vsize=569940 CPUtime=1191.93
/proc/22293/stat : 22293 (ttsth-5-0) S 22291 22293 22256 0 -1 4194304 133520 0 0 0 119091 102 0 0 25 0 3 0 109013838 583618560 133012 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/22293/statm: 142485 133012 98 176 0 142307 0
[pid=22293/tid=22295] ppid=22291 vsize=569940 CPUtime=596
/proc/22293/task/22295/stat : 22295 (ttsth-5-0) R 22291 22293 22256 0 -1 4194368 65990 0 0 0 59549 51 0 0 25 0 3 0 109014050 583618560 133012 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
[pid=22293/tid=22296] ppid=22291 vsize=569940 CPUtime=593.8
/proc/22293/task/22296/stat : 22296 (ttsth-5-0) R 22291 22293 22256 0 -1 4194368 56519 0 0 0 59334 46 0 0 25 0 3 0 109014050 583618560 133012 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1191.93
Current children cumulated vsize (KiB) 569940

[startup+599.902 s]
/proc/loadavg: 1.99 1.85 1.45 3/68 22296
/proc/meminfo: memFree=799536/2055924 swapFree=4181440/4192956
[pid=22293] ppid=22291 vsize=571276 CPUtime=1195.12
/proc/22293/stat : 22293 (ttsth-5-0) S 22291 22293 22256 0 -1 4194304 133701 0 0 0 119410 102 0 0 25 0 3 0 109013838 584986624 133193 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/22293/statm: 142819 133193 98 176 0 142641 0
[pid=22293/tid=22295] ppid=22291 vsize=571276 CPUtime=597.61
/proc/22293/task/22295/stat : 22295 (ttsth-5-0) R 22291 22293 22256 0 -1 4194368 66097 0 0 0 59709 52 0 0 25 0 3 0 109014050 584986624 133193 1992294400 134512640 135237372 4294956192 18446744073709551615 134562416 0 0 4096 0 0 0 0 -1 1 0 0
[pid=22293/tid=22296] ppid=22291 vsize=571276 CPUtime=595.39
/proc/22293/task/22296/stat : 22296 (ttsth-5-0) R 22291 22293 22256 0 -1 4194368 56593 0 0 0 59493 46 0 0 25 0 3 0 109014050 584986624 133193 1992294400 134512640 135237372 4294956192 18446744073709551615 134562341 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1195.12
Current children cumulated vsize (KiB) 571276

[startup+601.501 s]
/proc/loadavg: 1.99 1.85 1.45 3/68 22296
/proc/meminfo: memFree=799024/2055924 swapFree=4181440/4192956
[pid=22293] ppid=22291 vsize=571744 CPUtime=1198.31
/proc/22293/stat : 22293 (ttsth-5-0) S 22291 22293 22256 0 -1 4194304 133883 0 0 0 119729 102 0 0 25 0 3 0 109013838 585465856 133375 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/22293/statm: 142936 133375 98 176 0 142758 0
[pid=22293/tid=22295] ppid=22291 vsize=571744 CPUtime=599.21
/proc/22293/task/22295/stat : 22295 (ttsth-5-0) R 22291 22293 22256 0 -1 4194368 66199 0 0 0 59869 52 0 0 25 0 3 0 109014050 585465856 133375 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
[pid=22293/tid=22296] ppid=22291 vsize=571744 CPUtime=596.99
/proc/22293/task/22296/stat : 22296 (ttsth-5-0) R 22291 22293 22256 0 -1 4194368 56673 0 0 0 59653 46 0 0 25 0 3 0 109014050 585465856 133375 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1198.31
Current children cumulated vsize (KiB) 571744

[startup+601.901 s]
/proc/loadavg: 1.99 1.85 1.45 3/68 22296
/proc/meminfo: memFree=798576/2055924 swapFree=4181440/4192956
[pid=22293] ppid=22291 vsize=571900 CPUtime=1199.1
/proc/22293/stat : 22293 (ttsth-5-0) S 22291 22293 22256 0 -1 4194304 133926 0 0 0 119808 102 0 0 25 0 3 0 109013838 585625600 133418 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/22293/statm: 142975 133418 98 176 0 142797 0
[pid=22293/tid=22295] ppid=22291 vsize=571900 CPUtime=599.61
/proc/22293/task/22295/stat : 22295 (ttsth-5-0) R 22291 22293 22256 0 -1 4194368 66222 0 0 0 59909 52 0 0 25 0 3 0 109014050 585625600 133418 1992294400 134512640 135237372 4294956192 18446744073709551615 134562341 0 0 4096 0 0 0 0 -1 1 0 0
[pid=22293/tid=22296] ppid=22291 vsize=571900 CPUtime=597.38
/proc/22293/task/22296/stat : 22296 (ttsth-5-0) R 22291 22293 22256 0 -1 4194368 56693 0 0 0 59692 46 0 0 25 0 3 0 109014050 585625600 133418 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1199.1
Current children cumulated vsize (KiB) 571900

[startup+602.301 s]
/proc/loadavg: 1.99 1.85 1.45 3/68 22296
/proc/meminfo: memFree=798576/2055924 swapFree=4181440/4192956
[pid=22293] ppid=22291 vsize=0 CPUtime=1199.87
/proc/22293/stat : 22293 (ttsth-5-0) R 22291 22293 22256 0 -1 4195332 133983 0 0 0 119881 106 0 0 17 0 1 0 109013838 0 0 1992294400 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/22293/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1199.87
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 602.34
CPU time (s): 1199.92
CPU user time (s): 1198.81
CPU system time (s): 1.10583
CPU usage (%): 199.209
Max. virtual memory (cumulated for all children) (KiB): 571900

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1198.81
system time used= 1.10583
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 133983
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= 38
involuntary context switches= 9190

runsolver used 0.687895 second user time and 1.51577 second system time

The end

Launcher Data 

Begin job on node83 at 2009-04-27 07:24:05
IDJOB=1736086
IDBENCH=71586
IDSOLVER=549
FILE ID=node83/1736086-1240809845
PBS_JOBID= 9187464
Free space on /tmp= 66092 MiB

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

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

MD5SUM BENCH= fe117ca26ab85d9c8449a6f94eb0c5ef
RANDOM SEED=730125900

node83.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.222
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.222
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	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055924 kB
MemFree:       1333720 kB
Buffers:         79824 kB
Cached:         559200 kB
SwapCached:       5412 kB
Active:         256480 kB
Inactive:       391416 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055924 kB
LowFree:       1333720 kB
SwapTotal:     4192956 kB
SwapFree:      4181440 kB
Dirty:            2532 kB
Writeback:           0 kB
Mapped:          13412 kB
Slab:            60336 kB
Committed_AS:   454544 kB
PageTables:       1384 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= 66088 MiB
End job on node83 at 2009-04-27 07:34:08