Trace number 1531984

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 601.572

General information on the benchmark

NameRANDOM/MEDIUM/3SAT/SATISFIABLE/480/
unif-k3-r4.25-v480-c2040-S449556655-088.cnf
MD5SUMa2cac78f4268ad770e0a9e5d4a9fdb69
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.034994
Satisfiable
(Un)Satisfiability was proved
Number of variables480
Number of clauses2040
Sum of the clauses size6120
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32040
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Command: HOME/ttsth-5-0 -num-threads 2 HOME/instance-1531984-1238591759.cnf 
0.00/0.00	c Using SATTIMEOUT of 1200
0.00/0.00	c Using SATRAM of 1800
0.00/0.00	c Size of subset node = 16
0.00/0.00	c Variables = 480
0.00/0.00	c Clauses = 2040
0.00/0.00	c Literals = 6120
0.00/0.00	c Reduced size:
0.00/0.00	c Variables = 480
0.00/0.00	c Clauses = 2030
0.00/0.00	c Literals = 6090
0.00/0.00	c a2
0.00/0.01	c a1
0.29/0.38	c Independent sub-problems = 1
0.29/0.38	c Sub-problem with 478 variables and 2030 clauses
0.29/0.38	c using permutation method 4
0.29/0.38	c count = 3
0.29/0.38	c Ordering finished 0.380 seconds
0.29/0.38	c mapped 0.380 seconds
0.29/0.38	c permuted 0.380 seconds
0.29/0.38	c about to sort
0.29/0.38	c sorted
0.29/0.40	c clauses now 2030
0.29/0.40	c init finished 0.380 seconds
0.29/0.40	c tree built 0.390 seconds
0.29/0.40	c 
0.29/0.40	c PA progress                      | CPU progress Partial assignments | improvements      CPU time        PA/sec        nodes
0.29/0.40	c ---------------------------------|----------------------------------|------------------------------------------------------
0.29/0.40	c ................................ | ..........                       |                        0.4           0.0             
0.29/0.40	c ................................ | ..........                     1 |                        0.4           2.6             
0.29/0.40	c ................................ | ..........                     2 |                        0.4           5.1             
0.29/0.40	c ................................ | ..........                     3 |                        0.4           7.7             
0.29/0.40	c ................................ | ..........                     4 |                        0.4          10.3             
0.29/0.40	c ................................ | ..........                     5 |                        0.4          12.8             
0.40/0.40	c ................................ | ..........                  1000 | 35                     0.4        2439.0          687
23.94/12.24	c ................................ | ..........                191000 | 47821                 24.0        7948.4      3724894
48.08/24.35	c ................................ | ..........                251000 | 65622                 48.2        5207.5      5486691
72.04/36.33	c ................................ | ..........                296000 | 79582                 72.1        4104.8      6860307
96.38/48.51	c ................................ | ..........                338000 | 92394                 96.4        3505.5      8152397
120.53/60.66	c ................................ | *.........                371000 | 103575               120.7        3074.5      9350194
144.28/72.56	c ................................ | *.........                403000 | 115131               144.4        2790.3     10645894
168.64/84.74	c ................................ | *.........                437000 | 126740               168.7        2589.9     11963751
192.18/96.50	c ................................ | *.........                471000 | 137320               192.2        2450.3     13205994
216.32/108.61	c ................................ | *.........                501000 | 147034               216.4        2315.4     14486407
239.87/120.45	c ................................ | **........                533000 | 157462               240.0        2220.6     15717662
264.02/132.55	c ................................ | **........                567000 | 168350               264.2        2146.3     16829181
288.37/144.79	c ................................ | **........                586000 | 175440               288.6        2030.5     17728318
312.31/156.71	c ................................ | **........                606000 | 182577               312.4        1939.9     18529291
337.06/169.18	c ................................ | **........                628000 | 190402               337.3        1862.0     19509452
361.41/181.31	c ................................ | ***.......                657000 | 198541               361.5        1817.5     20407193
384.56/192.94	c ................................ | ***.......                687000 | 207452               384.7        1785.8     21286929
407.92/204.61	c ................................ | ***.......                700000 | 211889               408.0        1715.7     21949969
432.65/217.01	c ................................ | ***.......                714000 | 216671               432.7        1650.0     22680946
456.41/228.96	c ................................ | ***.......                728000 | 221516               456.6        1594.4     23268649
480.56/241.07	c ................................ | ****......                744000 | 226637               480.8        1547.5     24083373
504.90/253.28	c ................................ | ****......                757000 | 231206               505.1        1498.6     24697930
528.66/265.19	c ................................ | ****......                772000 | 236332               528.9        1459.6     25361072
552.00/276.87	c ................................ | ****......                796000 | 244041               552.2        1441.4     26100396
576.95/289.39	c ................................ | ****......                813000 | 249994               577.2        1408.5     26839272
601.10/301.47	c ................................ | *****.....                832000 | 256061               601.3        1383.6     27431791
624.65/313.20	c ................................ | *****.....                850000 | 262293               624.7        1360.6     28083457
647.99/324.98	c ................................ | *****.....                868000 | 268499               648.3        1338.9     28699706
672.14/337.05	c ................................ | *****.....                878000 | 272289               672.4        1305.8     29136944
696.89/349.46	c ................................ | *****.....                892000 | 277385               697.1        1279.5     29737018
720.64/361.39	c ................................ | ******....                907000 | 282937               720.9        1258.1     30352641
743.99/373.02	c ................................ | ******....                924000 | 288814               744.1        1241.7     31049291
768.14/385.16	c ................................ | ******....                950000 | 297445               768.4        1236.4     31712292
792.88/397.51	c ................................ | ******....                967000 | 303882               793.0        1219.4     32287277
816.63/409.47	c ................................ | ******....                984000 | 310020               816.9        1204.6     32724124
839.98/421.13	c ................................ | *******...               1004000 | 317310               840.2        1195.0     33212066
864.93/433.65	c ................................ | *******...               1029000 | 326661               865.2        1189.4     33893175
887.88/445.13	c ................................ | *******...               1046000 | 332852               888.1        1177.8     34591596
912.23/457.37	c ................................ | *******...               1060000 | 337963               912.5        1161.6     35055132
936.38/469.43	c ................................ | *******...               1074000 | 342734               936.6        1146.7     35556668
959.92/481.27	c ................................ | ********..               1087000 | 347331               960.2        1132.0     36073052
984.07/493.40	c ................................ | ********..               1100000 | 352074               984.4        1117.4     36607201
1008.62/505.60	c ................................ | ********..               1113000 | 357054              1008.8        1103.3     37168238
1032.97/517.82	c ................................ | ********..               1127000 | 362548              1033.2        1090.8     37730254
1056.52/529.66	c ................................ | ********..               1139000 | 366982              1056.8        1077.8     38122198
1079.87/541.37	c ................................ | *********.               1153000 | 371581              1080.2        1067.4     38539667
1104.02/553.47	c ................................ | *********.               1168000 | 376893              1104.3        1057.6     39054398
1128.56/565.71	c ................................ | *********.               1182000 | 381392              1128.8        1047.2     39586697
1152.11/577.53	c ................................ | *********.               1197000 | 387343              1152.3        1038.8     40249486
1176.46/589.75	c ................................ | *********.               1213000 | 393419              1176.7        1030.8     40790162
1199.81/601.46	c CPU limit (1200) reached
1199.81/601.46	c Time = 1200.12 seconds
1199.81/601.46	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-1531984-1238591759/watcher-1531984-1238591759 -o /tmp/evaluation-result-1531984-1238591759/solver-1531984-1238591759 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/ttsth-5-0 -num-threads 2 HOME/instance-1531984-1238591759.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.00 1.00 1.12 3/64 883
/proc/meminfo: memFree=1031072/2055920 swapFree=4176444/4192956
[pid=883] ppid=881 vsize=1064 CPUtime=0
/proc/883/stat : 883 (ttsth-5-0) R 881 883 640 0 -1 4194304 139 0 0 0 0 0 0 0 20 0 1 0 1131841288 1089536 123 1992294400 134512640 135237372 4294956192 18446744073709551615 134534043 0 0 4096 0 0 0 0 17 1 0 0
/proc/883/statm: 266 123 77 176 0 88 0

[startup+0.073904 s]
/proc/loadavg: 1.00 1.00 1.12 3/64 883
/proc/meminfo: memFree=1031072/2055920 swapFree=4176444/4192956
[pid=883] ppid=881 vsize=1328 CPUtime=0.07
/proc/883/stat : 883 (ttsth-5-0) R 881 883 640 0 -1 4194304 211 0 0 0 7 0 0 0 20 0 1 0 1131841288 1359872 195 1992294400 134512640 135237372 4294956192 18446744073709551615 134599543 0 0 4096 0 0 0 0 17 1 0 0
/proc/883/statm: 332 195 79 176 0 154 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 1328

[startup+0.101866 s]
/proc/loadavg: 1.00 1.00 1.12 3/64 883
/proc/meminfo: memFree=1031072/2055920 swapFree=4176444/4192956
[pid=883] ppid=881 vsize=1328 CPUtime=0.09
/proc/883/stat : 883 (ttsth-5-0) R 881 883 640 0 -1 4194304 213 0 0 0 9 0 0 0 20 0 1 0 1131841288 1359872 197 1992294400 134512640 135237372 4294956192 18446744073709551615 134599418 0 0 4096 0 0 0 0 17 1 0 0
/proc/883/statm: 332 197 79 176 0 154 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1328

[startup+0.301886 s]
/proc/loadavg: 1.00 1.00 1.12 3/64 883
/proc/meminfo: memFree=1031072/2055920 swapFree=4176444/4192956
[pid=883] ppid=881 vsize=1328 CPUtime=0.29
/proc/883/stat : 883 (ttsth-5-0) R 881 883 640 0 -1 4194304 215 0 0 0 29 0 0 0 22 0 1 0 1131841288 1359872 199 1992294400 134512640 135237372 4294956192 18446744073709551615 134553819 0 0 4096 0 0 0 0 17 1 0 0
/proc/883/statm: 332 199 79 176 0 154 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1328

[startup+0.701935 s]
/proc/loadavg: 1.00 1.00 1.12 3/64 883
/proc/meminfo: memFree=1031072/2055920 swapFree=4176444/4192956
[pid=883] ppid=881 vsize=27076 CPUtime=0.99
/proc/883/stat : 883 (ttsth-5-0) S 881 883 640 0 -1 4194304 1290 0 0 0 99 0 0 0 23 0 3 0 1131841288 27725824 1274 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/883/statm: 6769 1274 97 176 0 6591 0
Current children cumulated CPU time (s) 0.99
Current children cumulated vsize (KiB) 27076

[startup+1.50202 s]
/proc/loadavg: 1.00 1.00 1.12 3/67 886
/proc/meminfo: memFree=1023176/2055920 swapFree=4176444/4192956
[pid=883] ppid=881 vsize=34276 CPUtime=2.59
/proc/883/stat : 883 (ttsth-5-0) S 881 883 640 0 -1 4194304 3074 0 0 0 258 1 0 0 23 0 3 0 1131841288 35098624 3058 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/883/statm: 8569 3058 97 176 0 8391 0
[pid=883/tid=885] ppid=881 vsize=34276 CPUtime=1.09
/proc/883/task/885/stat : 885 (ttsth-5-0) R 881 883 640 0 -1 4194368 1258 0 0 0 109 0 0 0 25 0 3 0 1131841328 35098624 3058 1992294400 134512640 135237372 4294956192 18446744073709551615 134562388 0 0 4096 0 0 0 0 -1 1 0 0
[pid=883/tid=886] ppid=881 vsize=34276 CPUtime=1.08
/proc/883/task/886/stat : 886 (ttsth-5-0) R 881 883 640 0 -1 4194368 1269 0 0 0 108 0 0 0 25 0 3 0 1131841328 35098624 3058 1992294400 134512640 135237372 4294956192 18446744073709551615 134562344 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.59
Current children cumulated vsize (KiB) 34276

[startup+3.10118 s]
/proc/loadavg: 1.00 1.00 1.12 3/67 886
/proc/meminfo: memFree=1014856/2055920 swapFree=4176444/4192956
[pid=883] ppid=881 vsize=44996 CPUtime=5.78
/proc/883/stat : 883 (ttsth-5-0) S 881 883 640 0 -1 4194304 5775 0 0 0 575 3 0 0 23 0 3 0 1131841288 46075904 5759 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/883/statm: 11249 5759 97 176 0 11071 0
[pid=883/tid=885] ppid=881 vsize=44996 CPUtime=2.69
/proc/883/task/885/stat : 885 (ttsth-5-0) R 881 883 640 0 -1 4194368 2684 0 0 0 268 1 0 0 25 0 3 0 1131841328 46075904 5759 1992294400 134512640 135237372 4294956192 18446744073709551615 134749351 0 0 4096 0 0 0 0 -1 1 0 0
[pid=883/tid=886] ppid=881 vsize=44996 CPUtime=2.68
/proc/883/task/886/stat : 886 (ttsth-5-0) R 881 883 640 0 -1 4194368 2544 0 0 0 267 1 0 0 25 0 3 0 1131841328 46075904 5759 1992294400 134512640 135237372 4294956192 18446744073709551615 134590782 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5.78
Current children cumulated vsize (KiB) 44996

[startup+6.30251 s]
/proc/loadavg: 1.08 1.02 1.13 3/67 886
/proc/meminfo: memFree=996040/2055920 swapFree=4176444/4192956
[pid=883] ppid=881 vsize=61636 CPUtime=12.17
/proc/883/stat : 883 (ttsth-5-0) S 881 883 640 0 -1 4194304 9890 0 0 0 1212 5 0 0 23 0 3 0 1131841288 63115264 9874 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/883/statm: 15409 9874 97 176 0 15231 0
[pid=883/tid=885] ppid=881 vsize=61636 CPUtime=5.89
/proc/883/task/885/stat : 885 (ttsth-5-0) R 881 883 640 0 -1 4194368 4674 0 0 0 586 3 0 0 25 0 3 0 1131841328 63115264 9874 1992294400 134512640 135237372 4294956192 18446744073709551615 134680505 0 0 4096 0 0 0 0 -1 1 0 0
[pid=883/tid=886] ppid=881 vsize=61636 CPUtime=5.87
/proc/883/task/886/stat : 886 (ttsth-5-0) R 881 883 640 0 -1 4194368 4669 0 0 0 585 2 0 0 25 0 3 0 1131841328 63115264 9874 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.17
Current children cumulated vsize (KiB) 61636

[startup+12.7012 s]
/proc/loadavg: 1.15 1.04 1.13 3/67 886
/proc/meminfo: memFree=970000/2055920 swapFree=4176444/4192956
[pid=883] ppid=881 vsize=85156 CPUtime=24.93
/proc/883/stat : 883 (ttsth-5-0) S 881 883 640 0 -1 4194304 15815 0 0 0 2484 9 0 0 23 0 3 0 1131841288 87199744 15799 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/883/statm: 21289 15799 97 176 0 21111 0
[pid=883/tid=885] ppid=881 vsize=85156 CPUtime=12.29
/proc/883/task/885/stat : 885 (ttsth-5-0) R 881 883 640 0 -1 4194368 7364 0 0 0 1224 5 0 0 25 0 3 0 1131841328 87199744 15800 1992294400 134512640 135237372 4294956192 18446744073709551615 134546034 0 0 4096 0 0 0 0 -1 1 0 0
[pid=883/tid=886] ppid=881 vsize=85156 CPUtime=12.24
/proc/883/task/886/stat : 886 (ttsth-5-0) R 881 883 640 0 -1 4194368 7905 0 0 0 1220 4 0 0 25 0 3 0 1131841328 87199744 15800 1992294400 134512640 135237372 4294956192 18446744073709551615 134634609 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 24.93
Current children cumulated vsize (KiB) 85156

[startup+25.5015 s]
/proc/loadavg: 1.34 1.08 1.14 3/67 886
/proc/meminfo: memFree=939280/2055920 swapFree=4176444/4192956
[pid=883] ppid=881 vsize=114276 CPUtime=50.47
/proc/883/stat : 883 (ttsth-5-0) S 881 883 640 0 -1 4194304 23113 0 0 0 5033 14 0 0 23 0 3 0 1131841288 117018624 23097 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/883/statm: 28569 23097 97 176 0 28391 0
[pid=883/tid=885] ppid=881 vsize=114276 CPUtime=25.08
/proc/883/task/885/stat : 885 (ttsth-5-0) R 881 883 640 0 -1 4194368 10311 0 0 0 2502 6 0 0 25 0 3 0 1131841328 117018624 23097 1992294400 134512640 135237372 4294956192 18446744073709551615 134562420 0 0 4096 0 0 0 0 -1 1 0 0
[pid=883/tid=886] ppid=881 vsize=114276 CPUtime=24.98
/proc/883/task/886/stat : 886 (ttsth-5-0) R 881 883 640 0 -1 4194368 12255 0 0 0 2491 7 0 0 25 0 3 0 1131841328 117018624 23097 1992294400 134512640 135237372 4294956192 18446744073709551615 134562380 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.47
Current children cumulated vsize (KiB) 114276

[startup+51.1011 s]
/proc/loadavg: 1.56 1.16 1.17 3/67 886
/proc/meminfo: memFree=895056/2055920 swapFree=4176444/4192956
[pid=883] ppid=881 vsize=158916 CPUtime=101.57
/proc/883/stat : 883 (ttsth-5-0) S 881 883 640 0 -1 4194304 34235 0 0 0 10134 23 0 0 23 0 3 0 1131841288 162729984 34219 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/883/statm: 39729 34219 97 176 0 39551 0
[pid=883/tid=885] ppid=881 vsize=158916 CPUtime=50.67
/proc/883/task/885/stat : 885 (ttsth-5-0) R 881 883 640 0 -1 4194368 15051 0 0 0 5057 10 0 0 25 0 3 0 1131841328 162729984 34219 1992294400 134512640 135237372 4294956192 18446744073709551615 134562394 0 0 4096 0 0 0 0 -1 1 0 0
[pid=883/tid=886] ppid=881 vsize=158916 CPUtime=50.48
/proc/883/task/886/stat : 886 (ttsth-5-0) R 881 883 640 0 -1 4194368 18637 0 0 0 5036 12 0 0 25 0 3 0 1131841328 162729984 34219 1992294400 134512640 135237372 4294956192 18446744073709551615 134562309 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.57
Current children cumulated vsize (KiB) 158916

[startup+102.305 s]
/proc/loadavg: 1.81 1.28 1.21 3/67 886
/proc/meminfo: memFree=807184/2055920 swapFree=4176444/4192956
[pid=883] ppid=881 vsize=245636 CPUtime=203.75
/proc/883/stat : 883 (ttsth-5-0) S 881 883 640 0 -1 4194304 55963 0 0 0 20334 41 0 0 23 0 3 0 1131841288 251531264 55947 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/883/statm: 61409 55947 97 176 0 61231 0
[pid=883/tid=885] ppid=881 vsize=245636 CPUtime=101.86
/proc/883/task/885/stat : 885 (ttsth-5-0) R 881 883 640 0 -1 4194368 23507 0 0 0 10168 18 0 0 25 0 3 0 1131841328 251531264 55947 1992294400 134512640 135237372 4294956192 18446744073709551615 134562344 0 0 4096 0 0 0 0 -1 1 0 0
[pid=883/tid=886] ppid=881 vsize=245636 CPUtime=101.48
/proc/883/task/886/stat : 886 (ttsth-5-0) R 881 883 640 0 -1 4194368 31909 0 0 0 10126 22 0 0 25 0 3 0 1131841328 251531264 55947 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 203.75
Current children cumulated vsize (KiB) 245636

[startup+162.301 s]
/proc/loadavg: 1.93 1.41 1.25 3/67 886
/proc/meminfo: memFree=726224/2055920 swapFree=4176444/4192956
[pid=883] ppid=881 vsize=327236 CPUtime=323.49
/proc/883/stat : 883 (ttsth-5-0) S 881 883 640 0 -1 4194304 76331 0 0 0 32293 56 0 0 23 0 3 0 1131841288 335089664 76315 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/883/statm: 81809 76315 97 176 0 81631 0
[pid=883/tid=885] ppid=881 vsize=327236 CPUtime=161.84
/proc/883/task/885/stat : 885 (ttsth-5-0) R 881 883 640 0 -1 4194368 31413 0 0 0 16159 25 0 0 25 0 3 0 1131841328 335089664 76315 1992294400 134512640 135237372 4294956192 18446744073709551615 134562380 0 0 4096 0 0 0 0 -1 1 0 0
[pid=883/tid=886] ppid=881 vsize=327236 CPUtime=161.24
/proc/883/task/886/stat : 886 (ttsth-5-0) R 881 883 640 0 -1 4194368 44371 0 0 0 16093 31 0 0 25 0 3 0 1131841328 335089664 76315 1992294400 134512640 135237372 4294956192 18446744073709551615 134562380 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.49
Current children cumulated vsize (KiB) 327236

[startup+222.301 s]
/proc/loadavg: 1.97 1.52 1.30 3/67 886
/proc/meminfo: memFree=661264/2055920 swapFree=4176444/4192956
[pid=883] ppid=881 vsize=391236 CPUtime=443.23
/proc/883/stat : 883 (ttsth-5-0) S 881 883 640 0 -1 4194304 92345 0 0 0 44255 68 0 0 23 0 3 0 1131841288 400625664 92329 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/883/statm: 97809 92329 97 176 0 97631 0
[pid=883/tid=885] ppid=881 vsize=391236 CPUtime=221.83
/proc/883/task/885/stat : 885 (ttsth-5-0) R 881 883 640 0 -1 4194368 37097 0 0 0 22154 29 0 0 25 0 3 0 1131841328 400625664 92329 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
[pid=883/tid=886] ppid=881 vsize=391236 CPUtime=220.99
/proc/883/task/886/stat : 886 (ttsth-5-0) R 881 883 640 0 -1 4194368 54701 0 0 0 22061 38 0 0 25 0 3 0 1131841328 400625664 92329 1992294400 134512640 135237372 4294956192 18446744073709551615 134562346 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 443.23
Current children cumulated vsize (KiB) 391236

[startup+282.302 s]
/proc/loadavg: 1.99 1.60 1.34 3/67 886
/proc/meminfo: memFree=605712/2055920 swapFree=4176444/4192956
[pid=883] ppid=881 vsize=447528 CPUtime=562.98
/proc/883/stat : 883 (ttsth-5-0) S 881 883 640 0 -1 4194304 106383 0 0 0 56218 80 0 0 23 0 3 0 1131841288 458268672 106367 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/883/statm: 111882 106367 97 176 0 111704 0
[pid=883/tid=885] ppid=881 vsize=447528 CPUtime=281.81
/proc/883/task/885/stat : 885 (ttsth-5-0) R 881 883 640 0 -1 4194368 42194 0 0 0 28147 34 0 0 25 0 3 0 1131841328 458268672 106367 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
[pid=883/tid=886] ppid=881 vsize=447528 CPUtime=280.76
/proc/883/task/886/stat : 886 (ttsth-5-0) R 881 883 640 0 -1 4194368 63642 0 0 0 28030 46 0 0 25 0 3 0 1131841328 458268672 106367 1992294400 134512640 135237372 4294956192 18446744073709551615 134562341 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 562.98
Current children cumulated vsize (KiB) 447528

[startup+342.302 s]
/proc/loadavg: 1.99 1.67 1.38 3/67 886
/proc/meminfo: memFree=557648/2055920 swapFree=4176444/4192956
[pid=883] ppid=881 vsize=494888 CPUtime=682.71
/proc/883/stat : 883 (ttsth-5-0) S 881 883 640 0 -1 4194304 118223 0 0 0 68180 91 0 0 23 0 3 0 1131841288 506765312 118207 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/883/statm: 123722 118207 97 176 0 123544 0
[pid=883/tid=885] ppid=881 vsize=494888 CPUtime=341.79
/proc/883/task/885/stat : 885 (ttsth-5-0) R 881 883 640 0 -1 4194368 47326 0 0 0 34140 39 0 0 25 0 3 0 1131841328 506765312 118207 1992294400 134512640 135237372 4294956192 18446744073709551615 134562300 0 0 4096 0 0 0 0 -1 1 0 0
[pid=883/tid=886] ppid=881 vsize=494888 CPUtime=340.51
/proc/883/task/886/stat : 886 (ttsth-5-0) R 881 883 640 0 -1 4194368 70350 0 0 0 34000 51 0 0 25 0 3 0 1131841328 506765312 118207 1992294400 134512640 135237372 4294956192 18446744073709551615 134562341 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.71
Current children cumulated vsize (KiB) 494888

[startup+402.302 s]
/proc/loadavg: 1.99 1.73 1.41 3/67 886
/proc/meminfo: memFree=508752/2055920 swapFree=4176444/4192956
[pid=883] ppid=881 vsize=543848 CPUtime=802.46
/proc/883/stat : 883 (ttsth-5-0) S 881 883 640 0 -1 4194304 130485 0 0 0 80142 104 0 0 23 0 3 0 1131841288 556900352 130469 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/883/statm: 135962 130469 97 176 0 135784 0
[pid=883/tid=885] ppid=881 vsize=543848 CPUtime=401.78
/proc/883/task/885/stat : 885 (ttsth-5-0) R 881 883 640 0 -1 4194368 52709 0 0 0 40132 46 0 0 25 0 3 0 1131841328 556900352 130469 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
[pid=883/tid=886] ppid=881 vsize=543848 CPUtime=400.28
/proc/883/task/886/stat : 886 (ttsth-5-0) R 881 883 640 0 -1 4194368 77229 0 0 0 39970 58 0 0 25 0 3 0 1131841328 556900352 130469 1992294400 134512640 135237372 4294956192 18446744073709551615 134562323 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 802.46
Current children cumulated vsize (KiB) 543848

[startup+462.302 s]
/proc/loadavg: 1.99 1.77 1.45 3/67 886
/proc/meminfo: memFree=463632/2055920 swapFree=4176444/4192956
[pid=883] ppid=881 vsize=588808 CPUtime=922.2
/proc/883/stat : 883 (ttsth-5-0) S 881 883 640 0 -1 4194304 141688 0 0 0 92107 113 0 0 23 0 3 0 1131841288 602939392 141672 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/883/statm: 147202 141672 97 176 0 147024 0
[pid=883/tid=885] ppid=881 vsize=588808 CPUtime=461.77
/proc/883/task/885/stat : 885 (ttsth-5-0) R 881 883 640 0 -1 4194368 58523 0 0 0 46126 51 0 0 25 0 3 0 1131841328 602939392 141672 1992294400 134512640 135237372 4294956192 18446744073709551615 134562380 0 0 4096 0 0 0 0 -1 1 0 0
[pid=883/tid=886] ppid=881 vsize=588808 CPUtime=460.03
/proc/883/task/886/stat : 886 (ttsth-5-0) R 881 883 640 0 -1 4194368 82618 0 0 0 45941 62 0 0 25 0 3 0 1131841328 602939392 141672 1992294400 134512640 135237372 4294956192 18446744073709551615 134562344 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 922.2
Current children cumulated vsize (KiB) 588808

[startup+522.302 s]
/proc/loadavg: 1.99 1.81 1.48 3/67 886
/proc/meminfo: memFree=422224/2055920 swapFree=4176444/4192956
[pid=883] ppid=881 vsize=630408 CPUtime=1041.95
/proc/883/stat : 883 (ttsth-5-0) S 881 883 640 0 -1 4194304 152074 0 0 0 104072 123 0 0 23 0 3 0 1131841288 645537792 152058 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/883/statm: 157602 152058 97 176 0 157424 0
[pid=883/tid=885] ppid=881 vsize=630408 CPUtime=521.74
/proc/883/task/885/stat : 885 (ttsth-5-0) R 881 883 640 0 -1 4194368 63043 0 0 0 52119 55 0 0 25 0 3 0 1131841328 645537792 152058 1992294400 134512640 135237372 4294956192 18446744073709551615 134562380 0 0 4096 0 0 0 0 -1 1 0 0
[pid=883/tid=886] ppid=881 vsize=630408 CPUtime=519.79
/proc/883/task/886/stat : 886 (ttsth-5-0) R 881 883 640 0 -1 4194368 88484 0 0 0 51912 67 0 0 25 0 3 0 1131841328 645537792 152058 1992294400 134512640 135237372 4294956192 18446744073709551615 134562355 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1041.95
Current children cumulated vsize (KiB) 630408

[startup+582.302 s]
/proc/loadavg: 1.99 1.84 1.51 3/67 886
/proc/meminfo: memFree=380240/2055920 swapFree=4176444/4192956
[pid=883] ppid=881 vsize=672008 CPUtime=1161.69
/proc/883/stat : 883 (ttsth-5-0) S 881 883 640 0 -1 4194304 162483 0 0 0 116037 132 0 0 23 0 3 0 1131841288 688136192 162467 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/883/statm: 168002 162467 97 176 0 167824 0
[pid=883/tid=885] ppid=881 vsize=672008 CPUtime=581.73
/proc/883/task/885/stat : 885 (ttsth-5-0) R 881 883 640 0 -1 4194368 67562 0 0 0 58113 60 0 0 25 0 3 0 1131841328 688136192 162467 1992294400 134512640 135237372 4294956192 18446744073709551615 134562380 0 0 4096 0 0 0 0 -1 1 0 0
[pid=883/tid=886] ppid=881 vsize=672008 CPUtime=579.55
/proc/883/task/886/stat : 886 (ttsth-5-0) R 881 883 640 0 -1 4194368 94374 0 0 0 57884 71 0 0 25 0 3 0 1131841328 688136192 162467 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1161.69
Current children cumulated vsize (KiB) 672008

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

[startup+588.703 s]
/proc/loadavg: 1.99 1.85 1.51 3/67 886
/proc/meminfo: memFree=375376/2055920 swapFree=4176444/4192956
[pid=883] ppid=881 vsize=676808 CPUtime=1174.46
/proc/883/stat : 883 (ttsth-5-0) S 881 883 640 0 -1 4194304 163679 0 0 0 117313 133 0 0 23 0 3 0 1131841288 693051392 163663 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/883/statm: 169202 163663 97 176 0 169024 0
[pid=883/tid=885] ppid=881 vsize=676808 CPUtime=588.12
/proc/883/task/885/stat : 885 (ttsth-5-0) R 881 883 640 0 -1 4194368 68174 0 0 0 58752 60 0 0 25 0 3 0 1131841328 693051392 163663 1992294400 134512640 135237372 4294956192 18446744073709551615 134562363 0 0 4096 0 0 0 0 -1 1 0 0
[pid=883/tid=886] ppid=881 vsize=676808 CPUtime=585.93
/proc/883/task/886/stat : 886 (ttsth-5-0) R 881 883 640 0 -1 4194368 94958 0 0 0 58521 72 0 0 25 0 3 0 1131841328 693051392 163663 1992294400 134512640 135237372 4294956192 18446744073709551615 134562348 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1174.46
Current children cumulated vsize (KiB) 676808

[startup+595.106 s]
/proc/loadavg: 1.99 1.85 1.52 3/67 886
/proc/meminfo: memFree=372304/2055920 swapFree=4176444/4192956
[pid=883] ppid=881 vsize=679688 CPUtime=1187.24
/proc/883/stat : 883 (ttsth-5-0) S 881 883 640 0 -1 4194304 164425 0 0 0 118590 134 0 0 23 0 3 0 1131841288 696000512 164409 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/883/statm: 169922 164409 97 176 0 169744 0
[pid=883/tid=885] ppid=881 vsize=679688 CPUtime=594.53
/proc/883/task/885/stat : 885 (ttsth-5-0) R 881 883 640 0 -1 4194368 68581 0 0 0 59392 61 0 0 25 0 3 0 1131841328 696000512 164409 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
[pid=883/tid=886] ppid=881 vsize=679688 CPUtime=592.3
/proc/883/task/886/stat : 886 (ttsth-5-0) R 881 883 640 0 -1 4194368 95297 0 0 0 59158 72 0 0 25 0 3 0 1131841328 696000512 164409 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1187.24
Current children cumulated vsize (KiB) 679688

[startup+598.303 s]
/proc/loadavg: 1.99 1.85 1.52 3/67 886
/proc/meminfo: memFree=370064/2055920 swapFree=4176444/4192956
[pid=883] ppid=881 vsize=681768 CPUtime=1193.63
/proc/883/stat : 883 (ttsth-5-0) S 881 883 640 0 -1 4194304 164962 0 0 0 119229 134 0 0 23 0 3 0 1131841288 698130432 164946 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/883/statm: 170442 164946 97 176 0 170264 0
[pid=883/tid=885] ppid=881 vsize=681768 CPUtime=597.73
/proc/883/task/885/stat : 885 (ttsth-5-0) R 881 883 640 0 -1 4194368 68912 0 0 0 59712 61 0 0 25 0 3 0 1131841328 698130432 164946 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
[pid=883/tid=886] ppid=881 vsize=681768 CPUtime=595.49
/proc/883/task/886/stat : 886 (ttsth-5-0) R 881 883 640 0 -1 4194368 95503 0 0 0 59476 73 0 0 25 0 3 0 1131841328 698130432 164946 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1193.63
Current children cumulated vsize (KiB) 681768

[startup+599.902 s]
/proc/loadavg: 1.99 1.85 1.52 3/67 886
/proc/meminfo: memFree=369296/2055920 swapFree=4176444/4192956
[pid=883] ppid=881 vsize=682888 CPUtime=1196.82
/proc/883/stat : 883 (ttsth-5-0) S 881 883 640 0 -1 4194304 165255 0 0 0 119547 135 0 0 23 0 3 0 1131841288 699277312 165239 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/883/statm: 170722 165239 97 176 0 170544 0
[pid=883/tid=885] ppid=881 vsize=682888 CPUtime=599.32
/proc/883/task/885/stat : 885 (ttsth-5-0) R 881 883 640 0 -1 4194368 69075 0 0 0 59871 61 0 0 25 0 3 0 1131841328 699277312 165239 1992294400 134512640 135237372 4294956192 18446744073709551615 134562360 0 0 4096 0 0 0 0 -1 1 0 0
[pid=883/tid=886] ppid=881 vsize=682888 CPUtime=597.08
/proc/883/task/886/stat : 886 (ttsth-5-0) R 881 883 640 0 -1 4194368 95633 0 0 0 59635 73 0 0 25 0 3 0 1131841328 699277312 165239 1992294400 134512640 135237372 4294956192 18446744073709551615 134562344 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1196.82
Current children cumulated vsize (KiB) 682888

[startup+600.702 s]
/proc/loadavg: 1.99 1.85 1.52 3/67 886
/proc/meminfo: memFree=368464/2055920 swapFree=4176444/4192956
[pid=883] ppid=881 vsize=683528 CPUtime=1198.41
/proc/883/stat : 883 (ttsth-5-0) S 881 883 640 0 -1 4194304 165381 0 0 0 119706 135 0 0 23 0 3 0 1131841288 699932672 165365 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/883/statm: 170882 165365 97 176 0 170704 0
[pid=883/tid=885] ppid=881 vsize=683528 CPUtime=600.13
/proc/883/task/885/stat : 885 (ttsth-5-0) R 881 883 640 0 -1 4194368 69132 0 0 0 59951 62 0 0 25 0 3 0 1131841328 699932672 165365 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
[pid=883/tid=886] ppid=881 vsize=683528 CPUtime=597.88
/proc/883/task/886/stat : 886 (ttsth-5-0) R 881 883 640 0 -1 4194368 95702 0 0 0 59715 73 0 0 25 0 3 0 1131841328 699932672 165365 1992294400 134512640 135237372 4294956192 18446744073709551615 134562437 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1198.41
Current children cumulated vsize (KiB) 683528

[startup+601.102 s]
/proc/loadavg: 1.99 1.85 1.52 3/67 886
/proc/meminfo: memFree=368464/2055920 swapFree=4176444/4192956
[pid=883] ppid=881 vsize=683848 CPUtime=1199.21
/proc/883/stat : 883 (ttsth-5-0) S 881 883 640 0 -1 4194304 165451 0 0 0 119786 135 0 0 23 0 3 0 1131841288 700260352 165435 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/883/statm: 170962 165435 97 176 0 170784 0
[pid=883/tid=885] ppid=881 vsize=683848 CPUtime=600.53
/proc/883/task/885/stat : 885 (ttsth-5-0) R 881 883 640 0 -1 4194368 69172 0 0 0 59991 62 0 0 25 0 3 0 1131841328 700260352 165435 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
[pid=883/tid=886] ppid=881 vsize=683848 CPUtime=598.28
/proc/883/task/886/stat : 886 (ttsth-5-0) R 881 883 640 0 -1 4194368 95732 0 0 0 59755 73 0 0 25 0 3 0 1131841328 700260352 165436 1992294400 134512640 135237372 4294956192 18446744073709551615 134561564 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1199.21
Current children cumulated vsize (KiB) 683848

[startup+601.502 s]
/proc/loadavg: 1.99 1.85 1.52 3/67 886
/proc/meminfo: memFree=368464/2055920 swapFree=4176444/4192956
[pid=883] ppid=881 vsize=0 CPUtime=1199.98
/proc/883/stat : 883 (ttsth-5-0) R 881 883 640 0 -1 4195332 165522 0 0 0 119859 139 0 0 17 0 1 0 1131841288 0 0 1992294400 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/883/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1199.98
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 601.572
CPU time (s): 1200.05
CPU user time (s): 1198.59
CPU system time (s): 1.46278
CPU usage (%): 199.486
Max. virtual memory (cumulated for all children) (KiB): 684168

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1198.59
system time used= 1.46278
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 165522
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= 29
involuntary context switches= 9229

runsolver used 0.686895 second user time and 1.51377 second system time

The end

Launcher Data 

Begin job on node27 at 2009-04-01 15:15:59
IDJOB=1531984
IDBENCH=70721
IDSOLVER=549
FILE ID=node27/1531984-1238591759
PBS_JOBID= 9068317
Free space on /tmp= 65720 MiB

SOLVER NAME= ttsth-5-0 2009-03-19
BENCH NAME= SAT09/RANDOM/MEDIUM/3SAT/SATISFIABLE/480/unif-k3-r4.25-v480-c2040-S449556655-088.cnf
COMMAND LINE= HOME/ttsth-5-0 -num-threads MAXNBTHREAD BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1531984-1238591759/watcher-1531984-1238591759 -o /tmp/evaluation-result-1531984-1238591759/solver-1531984-1238591759 -C 1200 -W 1800 -M 1800 --output-limit 1,15  HOME/ttsth-5-0 -num-threads 2 HOME/instance-1531984-1238591759.cnf

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

MD5SUM BENCH= a2cac78f4268ad770e0a9e5d4a9fdb69
RANDOM SEED=21484887

node27.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		: 2800.196
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	: 5521.40
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		: 2800.196
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:       1031488 kB
Buffers:         96172 kB
Cached:         823964 kB
SwapCached:       9492 kB
Active:         204016 kB
Inactive:       727240 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1031488 kB
SwapTotal:     4192956 kB
SwapFree:      4176444 kB
Dirty:             856 kB
Writeback:           0 kB
Mapped:          16824 kB
Slab:            79012 kB
Committed_AS:  2998768 kB
PageTables:       1380 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264948 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 65716 MiB
End job on node27 at 2009-04-01 15:26:01