Trace number 1531180

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.05 602.974

General information on the benchmark

NameRANDOM/LARGE/3SAT/UNKNOWN/6000/
unif-k3-r4.2-v6000-c25200-S1119314619-090.cnf
MD5SUM682adf22440a1975a5efec3ca28f38cb
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark3.86141
Satisfiable
(Un)Satisfiability was proved
Number of variables6000
Number of clauses25200
Sum of the clauses size75600
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 325200
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.01/0.05	c Command: HOME/ttsth-5-0 -num-threads 2 HOME/instance-1531180-1238395767.cnf 
0.01/0.05	c Using SATTIMEOUT of 1200
0.01/0.05	c Using SATRAM of 1800
0.01/0.05	c Size of subset node = 16
0.01/0.05	c Variables = 6000
0.01/0.05	c Clauses = 25200
0.01/0.05	c Literals = 75600
0.01/0.05	c Reduced size:
0.01/0.05	c Variables = 6000
0.01/0.05	c Clauses = 25054
0.01/0.05	c Literals = 75162
0.01/0.05	c a2
0.09/0.14	c a1
2.79/2.83	c Independent sub-problems = 1
2.79/2.83	c Sub-problem with 5976 variables and 25054 clauses
2.79/2.83	c using permutation method 4
2.79/2.83	c count = 1
2.79/2.83	c Ordering finished 2.810 seconds
2.79/2.83	c mapped 2.830 seconds
2.79/2.83	c permuted 2.830 seconds
2.79/2.83	c about to sort
2.79/2.84	c sorted
2.98/3.05	c clauses now 25054
2.98/3.05	c init finished 2.870 seconds
2.98/3.05	c tree built 3.050 seconds
2.98/3.05	c 
2.98/3.05	c PA progress                      | CPU progress Partial assignments | improvements      CPU time        PA/sec        nodes
2.98/3.05	c ---------------------------------|----------------------------------|------------------------------------------------------
2.98/3.05	c ................................ | ..........                       |                        3.0           0.0             
2.98/3.05	c ................................ | ..........                     1 |                        3.0           0.3             
2.98/3.05	c ................................ | ..........                     2 |                        3.0           0.7             
2.98/3.05	c ................................ | ..........                     3 |                        3.0           1.0             
2.98/3.05	c ................................ | ..........                     4 |                        3.0           1.3             
2.98/3.05	c ................................ | ..........                     5 |                        3.0           1.6             
2.98/3.06	c ................................ | ..........                  1000 |                        3.1         326.8           58
23.88/13.57	c ................................ | ..........                503000 | 43743                 24.0       20940.9      1092585
48.03/25.63	c ................................ | ..........                747000 | 74341                 48.1       15530.1      3504024
71.98/37.64	c ................................ | ..........               1012000 | 105782                72.1       14040.0      5294273
95.92/49.68	c ................................ | ..........               1195000 | 128126                96.1       12435.0      6891520
119.88/61.65	c ................................ | *.........               1353000 | 145941               120.0       11274.1      8210435
143.82/73.68	c ................................ | *.........               1498000 | 162904               144.0       10402.8     10414385
167.97/85.73	c ................................ | *.........               1607000 | 176220               168.1        9562.6     12163421
192.11/97.87	c ................................ | *.........               1700000 | 188253               192.3        8841.3     14146804
216.27/109.96	c ................................ | *.........               1749000 | 196316               216.4        8081.5     15915242
240.41/122.07	c ................................ | **........               1818000 | 205574               240.6        7556.7     17542346
264.95/134.30	c ................................ | **........               1882000 | 214614               265.0        7101.9     19067834
288.70/146.30	c ................................ | **........               1906000 | 218768               288.9        6596.5     20495884
312.05/157.91	c ................................ | **........               1925000 | 222388               312.1        6167.3     22181482
335.99/169.92	c ................................ | **........               1976000 | 229738               336.1        5879.4     24253858
359.94/181.97	c ................................ | ***.......               2003000 | 234285               360.1        5561.6     25856918
384.48/194.21	c ................................ | ***.......               2019000 | 237174               384.6        5250.2     27510393
408.04/206.01	c ................................ | ***.......               2038000 | 240537               408.1        4993.6     28599019
431.98/218.04	c ................................ | ***.......               2053000 | 243215               432.1        4750.9     29930714
455.93/230.04	c ................................ | ***.......               2094000 | 249499               456.1        4591.2     31932750
481.47/242.81	c ................................ | ****......               2116000 | 253291               481.6        4393.9     33956349
504.22/254.24	c ................................ | ****......               2143000 | 257299               504.4        4248.8     35674049
528.77/266.56	c ................................ | ****......               2170000 | 261605               529.0        4102.2     37347668
553.12/278.74	c ................................ | ****......               2206000 | 266826               553.3        3987.0     39094106
575.87/290.19	c ................................ | ****......               2233000 | 271104               576.1        3875.8     40887821
600.21/302.32	c ................................ | *****.....               2253000 | 274576               600.3        3752.9     42767005
625.15/314.81	c ................................ | *****.....               2293000 | 279880               625.3        3667.1     44437862
648.31/326.41	c ................................ | *****.....               2340000 | 286085               648.4        3608.7     46052493
671.85/338.25	c ................................ | *****.....               2386000 | 292439               672.1        3550.2     47542986
695.81/350.29	c ................................ | *****.....               2452000 | 301008               696.1        3522.5     49003820
720.15/362.45	c ................................ | ******....               2512000 | 309270               720.4        3487.1     50779308
743.90/374.37	c ................................ | ******....               2568000 | 317925               744.1        3450.9     52482530
768.25/386.56	c ................................ | ******....               2607000 | 324007               768.5        3392.4     53898239
791.99/398.49	c ................................ | ******....               2638000 | 329907               792.3        3329.5     55500321
816.14/410.59	c ................................ | ******....               2665000 | 335727               816.5        3264.1     56869202
839.89/422.44	c ................................ | *******...               2705000 | 341940               840.1        3219.8     58228802
864.63/434.86	c ................................ | *******...               2760000 | 349606               864.9        3191.2     59694087
887.98/446.57	c ................................ | *******...               2782000 | 354053               888.3        3131.9     61173187
911.93/458.55	c ................................ | *******...               2806000 | 358548               912.2        3076.1     62588105
937.27/471.20	c ................................ | *******...               2821000 | 361565               937.4        3009.3     63837533
960.03/482.61	c ................................ | ********..               2835000 | 364417               960.2        2952.5     64968545
983.78/494.55	c ................................ | ********..               2852000 | 368046               984.0        2898.3     66173919
1008.32/506.84	c ................................ | ********..               2874000 | 372024              1008.6        2849.6     67576776
1032.27/518.81	c ................................ | ********..               2892000 | 375392              1032.5        2801.1     69249312
1056.61/531.07	c ................................ | ********..               2925000 | 380335              1056.9        2767.5     70467339
1079.96/542.75	c ................................ | *********.               2956000 | 384791              1080.2        2736.5     71430299
1104.11/554.83	c ................................ | *********.               2992000 | 390401              1104.3        2709.3     72709675
1127.85/566.75	c ................................ | *********.               3017000 | 394255              1128.1        2674.4     74355954
1152.21/578.91	c ................................ | *********.               3042000 | 398643              1152.4        2639.7     75740374
1175.75/590.76	c ................................ | *********.               3082000 | 404995              1176.1        2620.6     77071750
1199.70/602.77	c CPU limit (1200) reached
1199.70/602.77	c Time = 1200.02 seconds
1199.70/602.77	s UNKNOWN

Verifier Data 

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

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1531180-1238395767/watcher-1531180-1238395767 -o /tmp/evaluation-result-1531180-1238395767/solver-1531180-1238395767 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/ttsth-5-0 -num-threads 2 HOME/instance-1531180-1238395767.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.33 1.68 1.42 3/64 9321
/proc/meminfo: memFree=1478808/2055920 swapFree=4178264/4192956
[pid=9321] ppid=9319 vsize=932 CPUtime=0
/proc/9321/stat : 9321 (ttsth-5-0) R 9319 9321 9169 0 -1 4194304 137 0 0 0 0 0 0 0 18 0 1 0 1112242253 954368 121 1992294400 134512640 135237372 4294956192 18446744073709551615 134732614 0 0 4096 0 0 0 0 17 1 0 0
/proc/9321/statm: 266 121 78 176 0 88 0

[startup+0.022031 s]
/proc/loadavg: 1.33 1.68 1.42 3/64 9321
/proc/meminfo: memFree=1478808/2055920 swapFree=4178264/4192956
[pid=9321] ppid=9319 vsize=1592 CPUtime=0.01
/proc/9321/stat : 9321 (ttsth-5-0) R 9319 9321 9169 0 -1 4194304 278 0 0 0 1 0 0 0 18 0 1 0 1112242253 1630208 262 1992294400 134512640 135237372 4294956192 18446744073709551615 134732614 0 0 4096 0 0 0 0 17 1 0 0
/proc/9321/statm: 398 262 78 176 0 220 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 1592

[startup+0.101043 s]
/proc/loadavg: 1.33 1.68 1.42 3/64 9321
/proc/meminfo: memFree=1478808/2055920 swapFree=4178264/4192956
[pid=9321] ppid=9319 vsize=4656 CPUtime=0.09
/proc/9321/stat : 9321 (ttsth-5-0) R 9319 9321 9169 0 -1 4194304 1041 0 0 0 9 0 0 0 18 0 1 0 1112242253 4767744 1025 1992294400 134512640 135237372 4294956192 18446744073709551615 134680723 0 0 4096 0 0 0 0 17 1 0 0
/proc/9321/statm: 1164 1025 79 176 0 986 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4656

[startup+0.301076 s]
/proc/loadavg: 1.33 1.68 1.42 3/64 9321
/proc/meminfo: memFree=1478808/2055920 swapFree=4178264/4192956
[pid=9321] ppid=9319 vsize=5928 CPUtime=0.29
/proc/9321/stat : 9321 (ttsth-5-0) R 9319 9321 9169 0 -1 4194304 1362 0 0 0 29 0 0 0 19 0 1 0 1112242253 6070272 1346 1992294400 134512640 135237372 4294956192 18446744073709551615 134555272 0 0 4096 0 0 0 0 17 1 0 0
/proc/9321/statm: 1482 1346 80 176 0 1304 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5928

[startup+0.701139 s]
/proc/loadavg: 1.33 1.68 1.42 3/64 9321
/proc/meminfo: memFree=1478808/2055920 swapFree=4178264/4192956
[pid=9321] ppid=9319 vsize=5928 CPUtime=0.69
/proc/9321/stat : 9321 (ttsth-5-0) R 9319 9321 9169 0 -1 4194304 1362 0 0 0 69 0 0 0 22 0 1 0 1112242253 6070272 1346 1992294400 134512640 135237372 4294956192 18446744073709551615 134555279 0 0 4096 0 0 0 0 17 1 0 0
/proc/9321/statm: 1482 1346 80 176 0 1304 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5928

[startup+1.50127 s]
/proc/loadavg: 1.33 1.68 1.42 2/65 9322
/proc/meminfo: memFree=1473680/2055920 swapFree=4178264/4192956
[pid=9321] ppid=9319 vsize=5928 CPUtime=1.49
/proc/9321/stat : 9321 (ttsth-5-0) R 9319 9321 9169 0 -1 4194304 1367 0 0 0 149 0 0 0 25 0 1 0 1112242253 6070272 1351 1992294400 134512640 135237372 4294956192 18446744073709551615 134555279 0 0 4096 0 0 0 0 17 1 0 0
/proc/9321/statm: 1482 1351 80 176 0 1304 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5928

[startup+3.10154 s]
/proc/loadavg: 1.30 1.67 1.42 2/65 9322
/proc/meminfo: memFree=1473488/2055920 swapFree=4178264/4192956
[pid=9321] ppid=9319 vsize=44124 CPUtime=3.14
/proc/9321/stat : 9321 (ttsth-5-0) S 9319 9321 9169 0 -1 4194304 5643 0 0 0 312 2 0 0 25 0 3 0 1112242253 45182976 5594 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9321/statm: 11031 5594 98 176 0 10853 0
Current children cumulated CPU time (s) 3.14
Current children cumulated vsize (KiB) 44124

[startup+6.30104 s]
/proc/loadavg: 1.30 1.67 1.42 3/67 9324
/proc/meminfo: memFree=1452736/2055920 swapFree=4178264/4192956
[pid=9321] ppid=9319 vsize=48672 CPUtime=9.51
/proc/9321/stat : 9321 (ttsth-5-0) S 9319 9321 9169 0 -1 4194304 6875 0 0 0 948 3 0 0 25 0 3 0 1112242253 49840128 6826 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9321/statm: 12168 6826 98 176 0 11990 0
[pid=9321/tid=9323] ppid=9319 vsize=48672 CPUtime=3.23
/proc/9321/task/9323/stat : 9323 (ttsth-5-0) R 9319 9321 9169 0 -1 4194368 1002 0 0 0 323 0 0 0 22 0 3 0 1112242559 49840128 6826 1992294400 134512640 135237372 4294956192 18446744073709551615 134550989 0 0 4096 0 0 0 0 -1 1 0 0
[pid=9321/tid=9324] ppid=9319 vsize=48672 CPUtime=3.21
/proc/9321/task/9324/stat : 9324 (ttsth-5-0) R 9319 9321 9169 0 -1 4194368 394 0 0 0 321 0 0 0 25 0 3 0 1112242559 49840128 6826 1992294400 134512640 135237372 4294956192 18446744073709551615 134591076 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 9.51
Current children cumulated vsize (KiB) 48672

[startup+12.7021 s]
/proc/loadavg: 1.41 1.68 1.42 3/67 9324
/proc/meminfo: memFree=1439688/2055920 swapFree=4178264/4192956
[pid=9321] ppid=9319 vsize=62472 CPUtime=22.29
/proc/9321/stat : 9321 (ttsth-5-0) S 9319 9321 9169 0 -1 4194304 10347 0 0 0 2223 6 0 0 25 0 3 0 1112242253 63971328 10298 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9321/statm: 15618 10298 98 176 0 15440 0
[pid=9321/tid=9323] ppid=9319 vsize=62472 CPUtime=9.62
/proc/9321/task/9323/stat : 9323 (ttsth-5-0) R 9319 9321 9169 0 -1 4194368 3245 0 0 0 961 1 0 0 25 0 3 0 1112242559 63971328 10298 1992294400 134512640 135237372 4294956192 18446744073709551615 134587833 0 0 4096 0 0 0 0 -1 1 0 0
[pid=9321/tid=9324] ppid=9319 vsize=62472 CPUtime=9.59
/proc/9321/task/9324/stat : 9324 (ttsth-5-0) R 9319 9321 9169 0 -1 4194368 1623 0 0 0 957 2 0 0 25 0 3 0 1112242559 63971328 10298 1992294400 134512640 135237372 4294956192 18446744073709551615 134749351 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 22.29
Current children cumulated vsize (KiB) 62472

[startup+25.5011 s]
/proc/loadavg: 1.50 1.69 1.43 3/67 9324
/proc/meminfo: memFree=1398280/2055920 swapFree=4178264/4192956
[pid=9321] ppid=9319 vsize=103076 CPUtime=47.83
/proc/9321/stat : 9321 (ttsth-5-0) S 9319 9321 9169 0 -1 4194304 20488 0 0 0 4772 11 0 0 25 0 3 0 1112242253 105549824 20438 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9321/statm: 25769 20438 98 176 0 25591 0
[pid=9321/tid=9323] ppid=9319 vsize=103076 CPUtime=22.42
/proc/9321/task/9323/stat : 9323 (ttsth-5-0) R 9319 9321 9169 0 -1 4194368 8794 0 0 0 2238 4 0 0 25 0 3 0 1112242559 105549824 20438 1992294400 134512640 135237372 4294956192 18446744073709551615 134562273 0 0 4096 0 0 0 0 -1 1 0 0
[pid=9321/tid=9324] ppid=9319 vsize=103076 CPUtime=22.34
/proc/9321/task/9324/stat : 9324 (ttsth-5-0) R 9319 9321 9169 0 -1 4194368 6215 0 0 0 2230 4 0 0 25 0 3 0 1112242559 105549824 20438 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 47.83
Current children cumulated vsize (KiB) 103076

[startup+51.1012 s]
/proc/loadavg: 1.67 1.71 1.44 3/67 9324
/proc/meminfo: memFree=1340744/2055920 swapFree=4178264/4192956
[pid=9321] ppid=9319 vsize=160008 CPUtime=98.92
/proc/9321/stat : 9321 (ttsth-5-0) S 9319 9321 9169 0 -1 4194304 34736 0 0 0 9872 20 0 0 25 0 3 0 1112242253 163848192 34686 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9321/statm: 40002 34686 98 176 0 39824 0
[pid=9321/tid=9323] ppid=9319 vsize=160008 CPUtime=48.02
/proc/9321/task/9323/stat : 9323 (ttsth-5-0) R 9319 9321 9169 0 -1 4194368 15805 0 0 0 4793 9 0 0 25 0 3 0 1112242559 163848192 34686 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
[pid=9321/tid=9324] ppid=9319 vsize=160008 CPUtime=47.83
/proc/9321/task/9324/stat : 9324 (ttsth-5-0) R 9319 9321 9169 0 -1 4194368 13452 0 0 0 4775 8 0 0 25 0 3 0 1112242559 163848192 34686 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 98.92
Current children cumulated vsize (KiB) 160008

[startup+102.305 s]
/proc/loadavg: 1.87 1.76 1.47 3/67 9324
/proc/meminfo: memFree=1214216/2055920 swapFree=4178264/4192956
[pid=9321] ppid=9319 vsize=285684 CPUtime=201.09
/proc/9321/stat : 9321 (ttsth-5-0) S 9319 9321 9169 0 -1 4194304 66137 0 0 0 20070 39 0 0 25 0 3 0 1112242253 292540416 66087 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9321/statm: 71421 66087 98 176 0 71243 0
[pid=9321/tid=9323] ppid=9319 vsize=285684 CPUtime=99.19
/proc/9321/task/9323/stat : 9323 (ttsth-5-0) R 9319 9321 9169 0 -1 4194368 28318 0 0 0 9903 16 0 0 25 0 3 0 1112242559 292540416 66087 1992294400 134512640 135237372 4294956192 18446744073709551615 134562341 0 0 4096 0 0 0 0 -1 1 0 0
[pid=9321/tid=9324] ppid=9319 vsize=285684 CPUtime=98.83
/proc/9321/task/9324/stat : 9324 (ttsth-5-0) R 9319 9321 9169 0 -1 4194368 32340 0 0 0 9863 20 0 0 25 0 3 0 1112242559 292540416 66087 1992294400 134512640 135237372 4294956192 18446744073709551615 134562380 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 201.09
Current children cumulated vsize (KiB) 285684

[startup+162.302 s]
/proc/loadavg: 1.95 1.80 1.50 3/67 9324
/proc/meminfo: memFree=1089672/2055920 swapFree=4178264/4192956
[pid=9321] ppid=9319 vsize=411444 CPUtime=320.82
/proc/9321/stat : 9321 (ttsth-5-0) S 9319 9321 9169 0 -1 4194304 97624 0 0 0 32025 57 0 0 25 0 3 0 1112242253 421318656 97574 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9321/statm: 102861 97574 98 176 0 102683 0
[pid=9321/tid=9323] ppid=9319 vsize=411444 CPUtime=159.18
/proc/9321/task/9323/stat : 9323 (ttsth-5-0) R 9319 9321 9169 0 -1 4194368 42512 0 0 0 15892 26 0 0 25 0 3 0 1112242559 421318656 97574 1992294400 134512640 135237372 4294956192 18446744073709551615 134546034 0 0 4096 0 0 0 0 -1 1 0 0
[pid=9321/tid=9324] ppid=9319 vsize=411444 CPUtime=158.59
/proc/9321/task/9324/stat : 9324 (ttsth-5-0) R 9319 9321 9169 0 -1 4194368 49633 0 0 0 15830 29 0 0 25 0 3 0 1112242559 421318656 97574 1992294400 134512640 135237372 4294956192 18446744073709551615 134749351 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 320.82
Current children cumulated vsize (KiB) 411444

[startup+222.302 s]
/proc/loadavg: 1.98 1.83 1.53 3/67 9324
/proc/meminfo: memFree=960776/2055920 swapFree=4178264/4192956
[pid=9321] ppid=9319 vsize=538616 CPUtime=440.56
/proc/9321/stat : 9321 (ttsth-5-0) S 9319 9321 9169 0 -1 4194304 129401 0 0 0 43983 73 0 0 25 0 3 0 1112242253 551542784 129351 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9321/statm: 134654 129351 98 176 0 134476 0
[pid=9321/tid=9323] ppid=9319 vsize=538616 CPUtime=219.16
/proc/9321/task/9323/stat : 9323 (ttsth-5-0) R 9319 9321 9169 0 -1 4194368 54039 0 0 0 21884 32 0 0 25 0 3 0 1112242559 551542784 129351 1992294400 134512640 135237372 4294956192 18446744073709551615 134562399 0 0 4096 0 0 0 0 -1 1 0 0
[pid=9321/tid=9324] ppid=9319 vsize=538616 CPUtime=218.34
/proc/9321/task/9324/stat : 9324 (ttsth-5-0) R 9319 9321 9169 0 -1 4194368 69883 0 0 0 21795 39 0 0 25 0 3 0 1112242559 551542784 129351 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 440.56
Current children cumulated vsize (KiB) 538616

[startup+282.302 s]
/proc/loadavg: 1.99 1.86 1.56 3/67 9324
/proc/meminfo: memFree=817608/2055920 swapFree=4178264/4192956
[pid=9321] ppid=9319 vsize=683172 CPUtime=560.3
/proc/9321/stat : 9321 (ttsth-5-0) S 9319 9321 9169 0 -1 4194304 165540 0 0 0 55939 91 0 0 25 0 3 0 1112242253 699568128 165490 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9321/statm: 170793 165490 98 176 0 170615 0
[pid=9321/tid=9323] ppid=9319 vsize=683172 CPUtime=279.13
/proc/9321/task/9323/stat : 9323 (ttsth-5-0) R 9319 9321 9169 0 -1 4194368 68783 0 0 0 27873 40 0 0 25 0 3 0 1112242559 699568128 165490 1992294400 134512640 135237372 4294956192 18446744073709551615 134562317 0 0 4096 0 0 0 0 -1 1 0 0
[pid=9321/tid=9324] ppid=9319 vsize=683172 CPUtime=278.1
/proc/9321/task/9324/stat : 9324 (ttsth-5-0) R 9319 9321 9169 0 -1 4194368 91278 0 0 0 27762 48 0 0 25 0 3 0 1112242559 699568128 165490 1992294400 134512640 135237372 4294956192 18446744073709551615 134562430 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 560.3
Current children cumulated vsize (KiB) 683172

[startup+342.302 s]
/proc/loadavg: 1.99 1.88 1.58 3/67 9324
/proc/meminfo: memFree=681480/2055920 swapFree=4178264/4192956
[pid=9321] ppid=9319 vsize=818024 CPUtime=680.03
/proc/9321/stat : 9321 (ttsth-5-0) S 9319 9321 9169 0 -1 4194304 199254 0 0 0 67895 108 0 0 25 0 3 0 1112242253 837656576 199204 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9321/statm: 204506 199204 98 176 0 204328 0
[pid=9321/tid=9323] ppid=9319 vsize=818024 CPUtime=339.12
/proc/9321/task/9323/stat : 9323 (ttsth-5-0) R 9319 9321 9169 0 -1 4194368 79922 0 0 0 33865 47 0 0 25 0 3 0 1112242559 837656576 199204 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
[pid=9321/tid=9324] ppid=9319 vsize=818024 CPUtime=337.86
/proc/9321/task/9324/stat : 9324 (ttsth-5-0) R 9319 9321 9169 0 -1 4194368 113853 0 0 0 33727 59 0 0 25 0 3 0 1112242559 837656576 199204 1992294400 134512640 135237372 4294956192 18446744073709551615 134562459 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 680.03
Current children cumulated vsize (KiB) 818024

[startup+402.301 s]
/proc/loadavg: 1.99 1.90 1.60 3/67 9324
/proc/meminfo: memFree=555528/2055920 swapFree=4178264/4192956
[pid=9321] ppid=9319 vsize=944340 CPUtime=799.78
/proc/9321/stat : 9321 (ttsth-5-0) S 9319 9321 9169 0 -1 4194304 230834 0 0 0 79853 125 0 0 25 0 3 0 1112242253 967004160 230784 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9321/statm: 236085 230784 98 176 0 235907 0
[pid=9321/tid=9323] ppid=9319 vsize=944340 CPUtime=399.1
/proc/9321/task/9323/stat : 9323 (ttsth-5-0) R 9319 9321 9169 0 -1 4194368 93240 0 0 0 39855 55 0 0 25 0 3 0 1112242559 967004160 230784 1992294400 134512640 135237372 4294956192 18446744073709551615 134562344 0 0 4096 0 0 0 0 -1 1 0 0
[pid=9321/tid=9324] ppid=9319 vsize=944340 CPUtime=397.61
/proc/9321/task/9324/stat : 9324 (ttsth-5-0) R 9319 9321 9169 0 -1 4194368 132115 0 0 0 39694 67 0 0 25 0 3 0 1112242559 967004160 230784 1992294400 134512640 135237372 4294956192 18446744073709551615 134562344 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 799.78
Current children cumulated vsize (KiB) 944340

[startup+462.302 s]
/proc/loadavg: 1.99 1.92 1.63 3/67 9324
/proc/meminfo: memFree=441736/2055920 swapFree=4178264/4192956
[pid=9321] ppid=9319 vsize=1056660 CPUtime=919.51
/proc/9321/stat : 9321 (ttsth-5-0) S 9319 9321 9169 0 -1 4194304 258922 0 0 0 91814 137 0 0 25 0 3 0 1112242253 1082019840 258872 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9321/statm: 264165 258872 98 176 0 263987 0
[pid=9321/tid=9323] ppid=9319 vsize=1056660 CPUtime=459.07
/proc/9321/task/9323/stat : 9323 (ttsth-5-0) R 9319 9321 9169 0 -1 4194368 107682 0 0 0 45845 62 0 0 25 0 3 0 1112242559 1082019840 258872 1992294400 134512640 135237372 4294956192 18446744073709551615 134546034 0 0 4096 0 0 0 0 -1 1 0 0
[pid=9321/tid=9324] ppid=9319 vsize=1056660 CPUtime=457.37
/proc/9321/task/9324/stat : 9324 (ttsth-5-0) R 9319 9321 9169 0 -1 4194368 145761 0 0 0 45664 73 0 0 25 0 3 0 1112242559 1082019840 258872 1992294400 134512640 135237372 4294956192 18446744073709551615 134562341 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 919.51
Current children cumulated vsize (KiB) 1056660

[startup+522.301 s]
/proc/loadavg: 1.99 1.93 1.65 3/67 9324
/proc/meminfo: memFree=336392/2055920 swapFree=4178264/4192956
[pid=9321] ppid=9319 vsize=1163004 CPUtime=1039.25
/proc/9321/stat : 9321 (ttsth-5-0) S 9319 9321 9169 0 -1 4194304 285505 0 0 0 103774 151 0 0 25 0 3 0 1112242253 1190916096 285455 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9321/statm: 290751 285455 98 176 0 290573 0
[pid=9321/tid=9323] ppid=9319 vsize=1163004 CPUtime=519.05
/proc/9321/task/9323/stat : 9323 (ttsth-5-0) R 9319 9321 9169 0 -1 4194368 121545 0 0 0 51836 69 0 0 25 0 3 0 1112242559 1190916096 285455 1992294400 134512640 135237372 4294956192 18446744073709551615 134562459 0 0 4096 0 0 0 0 -1 1 0 0
[pid=9321/tid=9324] ppid=9319 vsize=1163004 CPUtime=517.13
/proc/9321/task/9324/stat : 9324 (ttsth-5-0) R 9319 9321 9169 0 -1 4194368 158481 0 0 0 51634 79 0 0 25 0 3 0 1112242559 1190916096 285455 1992294400 134512640 135237372 4294956192 18446744073709551615 134562399 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1039.25
Current children cumulated vsize (KiB) 1163004

[startup+582.303 s]
/proc/loadavg: 1.99 1.94 1.67 3/67 9324
/proc/meminfo: memFree=231048/2055920 swapFree=4178264/4192956
[pid=9321] ppid=9319 vsize=1267324 CPUtime=1158.99
/proc/9321/stat : 9321 (ttsth-5-0) S 9319 9321 9169 0 -1 4194304 311565 0 0 0 115735 164 0 0 25 0 3 0 1112242253 1297739776 311515 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9321/statm: 316831 311515 98 176 0 316653 0
[pid=9321/tid=9323] ppid=9319 vsize=1267324 CPUtime=579.04
/proc/9321/task/9323/stat : 9323 (ttsth-5-0) R 9319 9321 9169 0 -1 4194368 133421 0 0 0 57828 76 0 0 25 0 3 0 1112242559 1297739776 311515 1992294400 134512640 135237372 4294956192 18446744073709551615 134562380 0 0 4096 0 0 0 0 -1 1 0 0
[pid=9321/tid=9324] ppid=9319 vsize=1267324 CPUtime=576.88
/proc/9321/task/9324/stat : 9324 (ttsth-5-0) R 9319 9321 9169 0 -1 4194368 172665 0 0 0 57603 85 0 0 25 0 3 0 1112242559 1297739776 311515 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1158.99
Current children cumulated vsize (KiB) 1267324

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

[startup+588.701 s]
/proc/loadavg: 1.99 1.94 1.67 3/67 9324
/proc/meminfo: memFree=218952/2055920 swapFree=4178264/4192956
[pid=9321] ppid=9319 vsize=1278844 CPUtime=1171.76
/proc/9321/stat : 9321 (ttsth-5-0) S 9319 9321 9169 0 -1 4194304 314439 0 0 0 117011 165 0 0 25 0 3 0 1112242253 1309536256 314389 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9321/statm: 319711 314389 98 176 0 319533 0
[pid=9321/tid=9323] ppid=9319 vsize=1278844 CPUtime=585.43
/proc/9321/task/9323/stat : 9323 (ttsth-5-0) R 9319 9321 9169 0 -1 4194368 134742 0 0 0 58467 76 0 0 25 0 3 0 1112242559 1309536256 314389 1992294400 134512640 135237372 4294956192 18446744073709551615 134562461 0 0 4096 0 0 0 0 -1 1 0 0
[pid=9321/tid=9324] ppid=9319 vsize=1278844 CPUtime=583.26
/proc/9321/task/9324/stat : 9324 (ttsth-5-0) R 9319 9321 9169 0 -1 4194368 174218 0 0 0 58240 86 0 0 25 0 3 0 1112242559 1309536256 314389 1992294400 134512640 135237372 4294956192 18446744073709551615 134562459 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1171.76
Current children cumulated vsize (KiB) 1278844

[startup+595.105 s]
/proc/loadavg: 1.99 1.94 1.67 3/67 9324
/proc/meminfo: memFree=207304/2055920 swapFree=4178264/4192956
[pid=9321] ppid=9319 vsize=1290204 CPUtime=1184.53
/proc/9321/stat : 9321 (ttsth-5-0) S 9319 9321 9169 0 -1 4194304 317316 0 0 0 118287 166 0 0 25 0 3 0 1112242253 1321168896 317266 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9321/statm: 322551 317266 98 176 0 322373 0
[pid=9321/tid=9323] ppid=9319 vsize=1290204 CPUtime=591.83
/proc/9321/task/9323/stat : 9323 (ttsth-5-0) R 9319 9321 9169 0 -1 4194368 136227 0 0 0 59106 77 0 0 25 0 3 0 1112242559 1321168896 317266 1992294400 134512640 135237372 4294956192 18446744073709551615 134562380 0 0 4096 0 0 0 0 -1 1 0 0
[pid=9321/tid=9324] ppid=9319 vsize=1290204 CPUtime=589.63
/proc/9321/task/9324/stat : 9324 (ttsth-5-0) R 9319 9321 9169 0 -1 4194368 175610 0 0 0 58877 86 0 0 25 0 3 0 1112242559 1321168896 317266 1992294400 134512640 135237372 4294956192 18446744073709551615 134562341 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1184.53
Current children cumulated vsize (KiB) 1290204

[startup+598.302 s]
/proc/loadavg: 1.99 1.94 1.67 3/67 9324
/proc/meminfo: memFree=201928/2055920 swapFree=4178264/4192956
[pid=9321] ppid=9319 vsize=1295644 CPUtime=1190.92
/proc/9321/stat : 9321 (ttsth-5-0) S 9319 9321 9169 0 -1 4194304 318630 0 0 0 118925 167 0 0 25 0 3 0 1112242253 1326739456 318580 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9321/statm: 323911 318580 98 176 0 323733 0
[pid=9321/tid=9323] ppid=9319 vsize=1295644 CPUtime=595.03
/proc/9321/task/9323/stat : 9323 (ttsth-5-0) R 9319 9321 9169 0 -1 4194368 136737 0 0 0 59426 77 0 0 25 0 3 0 1112242559 1326739456 318580 1992294400 134512640 135237372 4294956192 18446744073709551615 134562351 0 0 4096 0 0 0 0 -1 1 0 0
[pid=9321/tid=9324] ppid=9319 vsize=1295644 CPUtime=592.82
/proc/9321/task/9324/stat : 9324 (ttsth-5-0) R 9319 9321 9169 0 -1 4194368 176414 0 0 0 59195 87 0 0 25 0 3 0 1112242559 1326739456 318580 1992294400 134512640 135237372 4294956192 18446744073709551615 134680720 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1190.92
Current children cumulated vsize (KiB) 1295644

[startup+601.501 s]
/proc/loadavg: 1.99 1.94 1.67 3/67 9324
/proc/meminfo: memFree=195912/2055920 swapFree=4178264/4192956
[pid=9321] ppid=9319 vsize=1302816 CPUtime=1197.3
/proc/9321/stat : 9321 (ttsth-5-0) S 9319 9321 9169 0 -1 4194304 320440 0 0 0 119563 167 0 0 25 0 3 0 1112242253 1334083584 320390 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9321/statm: 325704 320390 98 176 0 325526 0
[pid=9321/tid=9323] ppid=9319 vsize=1302816 CPUtime=598.23
/proc/9321/task/9323/stat : 9323 (ttsth-5-0) R 9319 9321 9169 0 -1 4194368 137966 0 0 0 59746 77 0 0 25 0 3 0 1112242559 1334083584 320390 1992294400 134512640 135237372 4294956192 18446744073709551615 134562344 0 0 4096 0 0 0 0 -1 1 0 0
[pid=9321/tid=9324] ppid=9319 vsize=1302816 CPUtime=596.01
/proc/9321/task/9324/stat : 9324 (ttsth-5-0) R 9319 9321 9169 0 -1 4194368 176995 0 0 0 59514 87 0 0 25 0 3 0 1112242559 1334083584 320390 1992294400 134512640 135237372 4294956192 18446744073709551615 134562317 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1197.3
Current children cumulated vsize (KiB) 1302816

[startup+602.302 s]
/proc/loadavg: 1.99 1.94 1.67 3/67 9324
/proc/meminfo: memFree=194504/2055920 swapFree=4178264/4192956
[pid=9321] ppid=9319 vsize=1304576 CPUtime=1198.9
/proc/9321/stat : 9321 (ttsth-5-0) S 9319 9321 9169 0 -1 4194304 320875 0 0 0 119723 167 0 0 25 0 3 0 1112242253 1335885824 320825 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9321/statm: 326144 320825 98 176 0 325966 0
[pid=9321/tid=9323] ppid=9319 vsize=1304576 CPUtime=599.04
/proc/9321/task/9323/stat : 9323 (ttsth-5-0) R 9319 9321 9169 0 -1 4194368 138190 0 0 0 59826 78 0 0 25 0 3 0 1112242559 1335885824 320825 1992294400 134512640 135237372 4294956192 18446744073709551615 134562300 0 0 4096 0 0 0 0 -1 1 0 0
[pid=9321/tid=9324] ppid=9319 vsize=1304576 CPUtime=596.8
/proc/9321/task/9324/stat : 9324 (ttsth-5-0) R 9319 9321 9169 0 -1 4194368 177206 0 0 0 59593 87 0 0 25 0 3 0 1112242559 1335885824 320825 1992294400 134512640 135237372 4294956192 18446744073709551615 134680346 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1198.9
Current children cumulated vsize (KiB) 1304576

[startup+602.702 s]
/proc/loadavg: 1.99 1.94 1.67 3/67 9324
/proc/meminfo: memFree=191752/2055920 swapFree=4178264/4192956
[pid=9321] ppid=9319 vsize=1305856 CPUtime=1199.7
/proc/9321/stat : 9321 (ttsth-5-0) S 9319 9321 9169 0 -1 4194304 321168 0 0 0 119803 167 0 0 25 0 3 0 1112242253 1337196544 321118 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9321/statm: 326464 321118 98 176 0 326286 0
[pid=9321/tid=9323] ppid=9319 vsize=1305856 CPUtime=599.44
/proc/9321/task/9323/stat : 9323 (ttsth-5-0) R 9319 9321 9169 0 -1 4194368 138353 0 0 0 59866 78 0 0 25 0 3 0 1112242559 1337196544 321118 1992294400 134512640 135237372 4294956192 18446744073709551615 134680302 0 0 4096 0 0 0 0 -1 1 0 0
[pid=9321/tid=9324] ppid=9319 vsize=1305856 CPUtime=597.2
/proc/9321/task/9324/stat : 9324 (ttsth-5-0) R 9319 9321 9169 0 -1 4194368 177336 0 0 0 59633 87 0 0 25 0 3 0 1112242559 1337196544 321118 1992294400 134512640 135237372 4294956192 18446744073709551615 134562344 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1199.7
Current children cumulated vsize (KiB) 1305856

[startup+602.902 s]
/proc/loadavg: 1.99 1.94 1.67 3/67 9324
/proc/meminfo: memFree=191752/2055920 swapFree=4178264/4192956
[pid=9321] ppid=9319 vsize=0 CPUtime=1199.97
/proc/9321/stat : 9321 (ttsth-5-0) R 9319 9321 9169 0 -1 4195332 321242 0 0 0 119816 181 0 0 17 0 1 0 1112242253 0 0 1992294400 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/9321/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1199.97
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 602.974
CPU time (s): 1200.05
CPU user time (s): 1198.16
CPU system time (s): 1.88371
CPU usage (%): 199.021
Max. virtual memory (cumulated for all children) (KiB): 1305856

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1198.16
system time used= 1.88371
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 321242
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= 57
involuntary context switches= 9113

runsolver used 0.615906 second user time and 1.58976 second system time

The end

Launcher Data 

Begin job on node26 at 2009-03-30 08:49:27
IDJOB=1531180
IDBENCH=70319
IDSOLVER=549
FILE ID=node26/1531180-1238395767
PBS_JOBID= 9061377
Free space on /tmp= 66264 MiB

SOLVER NAME= ttsth-5-0 2009-03-19
BENCH NAME= SAT09/RANDOM/LARGE/3SAT/UNKNOWN/6000/unif-k3-r4.2-v6000-c25200-S1119314619-090.cnf
COMMAND LINE= HOME/ttsth-5-0 -num-threads MAXNBTHREAD BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1531180-1238395767/watcher-1531180-1238395767 -o /tmp/evaluation-result-1531180-1238395767/solver-1531180-1238395767 -C 1200 -W 1800 -M 1800 --output-limit 1,15  HOME/ttsth-5-0 -num-threads 2 HOME/instance-1531180-1238395767.cnf

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

MD5SUM BENCH= 682adf22440a1975a5efec3ca28f38cb
RANDOM SEED=568291628

node26.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.261
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	: 5931.00
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.261
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:       1479224 kB
Buffers:         72896 kB
Cached:         415372 kB
SwapCached:       8472 kB
Active:          79556 kB
Inactive:       418632 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1479224 kB
SwapTotal:     4192956 kB
SwapFree:      4178264 kB
Dirty:            1264 kB
Writeback:           0 kB
Mapped:          15592 kB
Slab:            64536 kB
Committed_AS:  2861544 kB
PageTables:       1372 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= 66264 MiB
End job on node26 at 2009-03-30 08:59:30