Trace number 1738028

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.03 611.09

General information on the benchmark

NameCRAFTED/parity-games/
instance_n9_i9_pp.cnf
MD5SUM3e04f934e4f74a8e89587f6c1327f77e
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark99.8978
Satisfiable
(Un)Satisfiability was proved
Number of variables33867
Number of clauses454832
Sum of the clauses size1512036
Maximum clause length72
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 270326
Number of clauses of size 3228663
Number of clauses of size 4122769
Number of clauses of size 525920
Number of clauses of size over 57154

Solver Data 

0.99/1.05	c Command: HOME/ttsth-5-0 -num-threads 2 HOME/instance-1738028-1240835166.cnf 
0.99/1.05	c Using SATTIMEOUT of 1200
0.99/1.05	c Using SATRAM of 1800
0.99/1.05	c Size of subset node = 16
0.99/1.05	c Variables = 33867
0.99/1.05	c Clauses = 454832
0.99/1.05	c Literals = 1512036
0.99/1.05	c Reduced size:
0.99/1.05	c Variables = 33867
0.99/1.05	c Clauses = 454832
0.99/1.05	c Literals = 1512036
0.99/1.05	c a2
3.29/3.32	c a1
12.59/12.68	c Independent sub-problems = 1
12.59/12.68	c Sub-problem with 33867 variables and 454832 clauses
12.59/12.68	c using permutation method 4
12.59/12.68	c count = 1
12.59/12.68	c Ordering finished 12.390 seconds
12.59/12.68	c mapped 12.680 seconds
12.59/12.68	c permuted 12.680 seconds
12.59/12.68	c about to sort
12.79/12.90	c sorted
19.28/19.33	c clauses now 454832
19.28/19.33	c init finished 13.130 seconds
19.28/19.33	c tree built 19.320 seconds
19.28/19.33	c 
19.28/19.33	c PA progress                      | CPU progress Partial assignments | improvements      CPU time        PA/sec        nodes
19.28/19.33	c ---------------------------------|----------------------------------|------------------------------------------------------
19.28/19.33	c ................................ | ..........                       |                       19.3           0.0             
19.28/19.33	c ................................ | ..........                     1 |                       19.3           0.1             
19.28/19.33	c ................................ | ..........                     2 |                       19.3           0.1             
19.28/19.33	c ................................ | ..........                     3 |                       19.3           0.2             
19.28/19.33	c ................................ | ..........                     4 |                       19.3           0.2             
19.28/19.33	c ................................ | ..........                     5 |                       19.3           0.3             
19.28/19.35	c ................................ | ..........                  1000 | 10                    19.4          51.6          577
23.84/21.68	c ................................ | ..........                114000 | 8000                  24.0        4746.0       705837
47.98/33.73	c ................................ | ..........                440000 | 27631                 48.0        9157.1      3781985
71.93/45.73	c ................................ | ..........                759000 | 52198                 72.0       10540.2      6862458
95.87/57.78	c ................................ | ..........               1069000 | 73366                 96.1       11128.5      9957387
119.82/69.80	c ................................ | *.........               1327000 | 92411                120.0       11055.6     12368629
143.97/81.82	c ................................ | *.........               1555000 | 108258               144.0       10796.4     14552505
167.91/93.86	c ................................ | *.........               1792000 | 123872               168.1       10663.5     16772122
191.86/105.86	c ................................ | *.........               2018000 | 137970               192.0       10509.9     18481404
215.81/117.89	c ................................ | *.........               2245000 | 151108               216.0       10391.6     20160673
239.95/129.92	c ................................ | **........               2447000 | 164264               240.0       10195.0     21995236
263.90/141.99	c ................................ | **........               2641000 | 177548               264.1        9998.9     23900125
287.85/153.98	c ................................ | **........               2814000 | 189559               288.1        9768.8     25482570
312.00/166.08	c ................................ | **........               2979000 | 200214               312.2        9541.7     26975602
335.94/178.02	c ................................ | **........               3123000 | 211567               336.0        9293.5     28640868
359.88/190.03	c ................................ | ***.......               3239000 | 221534               360.0        8997.0     30303868
383.83/202.09	c ................................ | ***.......               3365000 | 231712               384.1        8761.0     31914271
407.98/214.15	c ................................ | ***.......               3476000 | 241451               408.1        8516.5     33038774
431.93/226.14	c ................................ | ***.......               3583000 | 250214               432.1        8292.6     34185025
456.07/238.26	c ................................ | ***.......               3697000 | 259345               456.3        8102.7     35454636
479.82/250.17	c ................................ | ****......               3806000 | 268215               480.0        7928.5     36663323
503.96/262.24	c ................................ | ****......               3910000 | 276867               504.1        7756.1     37805206
527.91/274.26	c ................................ | ****......               4014000 | 285531               528.1        7600.5     38996368
552.06/286.32	c ................................ | ****......               4115000 | 294144               552.2        7452.3     40246805
576.00/298.38	c ................................ | ****......               4215000 | 303107               576.3        7314.3     41493987
599.76/310.28	c ................................ | *****.....               4316000 | 312444               600.0        7193.2     42663035
623.91/322.38	c ................................ | *****.....               4411000 | 321943               624.2        7067.1     43972852
648.06/334.42	c ................................ | *****.....               4500000 | 330510               648.2        6942.4     45273687
671.79/346.35	c ................................ | *****.....               4601000 | 339274               672.0        6846.6     46584350
695.94/358.43	c ................................ | *****.....               4687000 | 347081               696.1        6733.1     47856768
719.89/370.48	c ................................ | ******....               4768000 | 354969               720.2        6620.8     49013279
743.84/382.46	c ................................ | ******....               4854000 | 362884               744.1        6523.5     50075809
767.78/394.46	c ................................ | ******....               4939000 | 370205               768.0        6430.7     51075070
791.93/406.58	c ................................ | ******....               5017000 | 377238               792.2        6332.9     52018208
815.88/418.57	c ................................ | ******....               5091000 | 384855               816.1        6237.8     52888784
840.22/430.79	c ................................ | *******...               5169000 | 391096               840.5        6149.6     53981025
863.97/442.60	c ................................ | *******...               5246000 | 397772               864.1        6070.9     54830641
888.12/454.73	c ................................ | *******...               5325000 | 404339               888.3        5994.5     55672443
912.07/466.80	c ................................ | *******...               5394000 | 410815               912.4        5911.9     56601542
936.21/478.88	c ................................ | *******...               5463000 | 416812               936.5        5833.3     57410219
960.15/490.83	c ................................ | ********..               5535000 | 422712               960.4        5763.5     58279090
983.71/502.68	c ................................ | ********..               5605000 | 428871               984.0        5696.0     59004532
1007.85/514.73	c ................................ | ********..               5681000 | 435273              1008.1        5635.5     59777767
1031.80/526.72	c ................................ | ********..               5750000 | 441838              1032.0        5571.7     60752132
1055.74/538.76	c ................................ | ********..               5817000 | 447509              1056.0        5508.4     61622512
1079.90/550.89	c ................................ | *********.               5886000 | 453797              1080.2        5448.7     62395006
1103.84/562.81	c ................................ | *********.               5958000 | 460650              1104.0        5396.5     63063150
1127.99/574.97	c ................................ | *********.               6026000 | 466869              1128.3        5340.8     63836620
1152.13/587.01	c ................................ | *********.               6128000 | 474603              1152.3        5317.9     64630231
1175.88/598.91	c ................................ | *********.               6213000 | 481483              1176.1        5282.8     65285328
1199.63/610.90	c CPU limit (1200) reached
1199.63/610.90	c Time = 1200.01 seconds
1199.63/610.90	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-1738028-1240835166/watcher-1738028-1240835166 -o /tmp/evaluation-result-1738028-1240835166/solver-1738028-1240835166 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/ttsth-5-0 -num-threads 2 HOME/instance-1738028-1240835166.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.92 1.95 1.70 3/64 4693
/proc/meminfo: memFree=1464832/2055920 swapFree=4181860/4192956
[pid=4693] ppid=4691 vsize=932 CPUtime=0
/proc/4693/stat : 4693 (ttsth-5-0) R 4691 4693 4530 0 -1 4194304 134 0 0 0 0 0 0 0 18 0 1 0 111550602 954368 118 1992294400 134512640 135237372 4294956192 18446744073709551615 134685018 0 0 4096 0 0 0 0 17 1 0 0
/proc/4693/statm: 233 119 77 176 0 55 0

[startup+0.054444 s]
/proc/loadavg: 1.92 1.95 1.70 3/64 4693
/proc/meminfo: memFree=1464832/2055920 swapFree=4181860/4192956
[pid=4693] ppid=4691 vsize=2552 CPUtime=0.04
/proc/4693/stat : 4693 (ttsth-5-0) R 4691 4693 4530 0 -1 4194304 519 0 0 0 4 0 0 0 18 0 1 0 111550602 2613248 503 1992294400 134512640 135237372 4294956192 18446744073709551615 134732614 0 0 4096 0 0 0 0 17 1 0 0
/proc/4693/statm: 638 503 78 176 0 460 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 2552

[startup+0.102451 s]
/proc/loadavg: 1.92 1.95 1.70 3/64 4693
/proc/meminfo: memFree=1464832/2055920 swapFree=4181860/4192956
[pid=4693] ppid=4691 vsize=3984 CPUtime=0.09
/proc/4693/stat : 4693 (ttsth-5-0) R 4691 4693 4530 0 -1 4194304 882 0 0 0 9 0 0 0 18 0 1 0 111550602 4079616 866 1992294400 134512640 135237372 4294956192 18446744073709551615 134732614 0 0 4096 0 0 0 0 17 1 0 0
/proc/4693/statm: 996 867 78 176 0 818 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3984

[startup+0.302485 s]
/proc/loadavg: 1.92 1.95 1.70 3/64 4693
/proc/meminfo: memFree=1464832/2055920 swapFree=4181860/4192956
[pid=4693] ppid=4691 vsize=10092 CPUtime=0.29
/proc/4693/stat : 4693 (ttsth-5-0) R 4691 4693 4530 0 -1 4194304 2400 0 0 0 28 1 0 0 19 0 1 0 111550602 10334208 2384 1992294400 134512640 135237372 4294956192 18446744073709551615 134732614 0 0 4096 0 0 0 0 17 1 0 0
/proc/4693/statm: 2523 2384 78 176 0 2345 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10092

[startup+0.701556 s]
/proc/loadavg: 1.92 1.95 1.70 3/64 4693
/proc/meminfo: memFree=1464832/2055920 swapFree=4181860/4192956
[pid=4693] ppid=4691 vsize=23516 CPUtime=0.69
/proc/4693/stat : 4693 (ttsth-5-0) R 4691 4693 4530 0 -1 4194304 5634 0 0 0 66 3 0 0 22 0 1 0 111550602 24080384 5618 1992294400 134512640 135237372 4294956192 18446744073709551615 134732614 0 0 4096 0 0 0 0 17 1 0 0
/proc/4693/statm: 5879 5618 78 176 0 5701 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 23516

[startup+1.50169 s]
/proc/loadavg: 1.92 1.95 1.70 2/65 4694
/proc/meminfo: memFree=1434232/2055920 swapFree=4181860/4192956
[pid=4693] ppid=4691 vsize=76104 CPUtime=1.49
/proc/4693/stat : 4693 (ttsth-5-0) R 4691 4693 4530 0 -1 4194304 18373 0 0 0 140 9 0 0 25 0 1 0 111550602 77930496 18356 1992294400 134512640 135237372 4294956192 18446744073709551615 134680226 0 0 4096 0 0 0 0 17 1 0 0
/proc/4693/statm: 19026 18356 79 176 0 18848 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 76104

[startup+3.10197 s]
/proc/loadavg: 1.92 1.95 1.70 2/65 4694
/proc/meminfo: memFree=1391416/2055920 swapFree=4181860/4192956
[pid=4693] ppid=4691 vsize=76104 CPUtime=3.09
/proc/4693/stat : 4693 (ttsth-5-0) R 4691 4693 4530 0 -1 4194304 18373 0 0 0 300 9 0 0 25 0 1 0 111550602 77930496 18356 1992294400 134512640 135237372 4294956192 18446744073709551615 134749351 0 0 4096 0 0 0 0 17 1 0 0
/proc/4693/statm: 19026 18356 79 176 0 18848 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 76104

[startup+6.30153 s]
/proc/loadavg: 1.85 1.94 1.70 2/65 4694
/proc/meminfo: memFree=1389048/2055920 swapFree=4181860/4192956
[pid=4693] ppid=4691 vsize=76640 CPUtime=6.29
/proc/4693/stat : 4693 (ttsth-5-0) R 4691 4693 4530 0 -1 4194304 19994 0 0 0 619 10 0 0 25 0 1 0 111550602 78479360 18917 1992294400 134512640 135237372 4294956192 18446744073709551615 134600744 0 0 4096 0 0 0 0 17 1 0 0
/proc/4693/statm: 19160 18917 80 176 0 18982 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 76640

[startup+12.7017 s]
/proc/loadavg: 1.78 1.92 1.69 2/65 4694
/proc/meminfo: memFree=1387896/2055920 swapFree=4181860/4192956
[pid=4693] ppid=4691 vsize=77888 CPUtime=12.69
/proc/4693/stat : 4693 (ttsth-5-0) R 4691 4693 4530 0 -1 4194304 21287 0 0 0 1258 11 0 0 25 0 1 0 111550602 79757312 19320 1992294400 134512640 135237372 4294956192 18446744073709551615 134680506 0 0 4096 0 0 0 0 17 1 0 0
/proc/4693/statm: 19472 19320 89 176 0 19294 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 77888

[startup+25.5029 s]
/proc/loadavg: 1.76 1.91 1.69 3/67 4696
/proc/meminfo: memFree=1251752/2055920 swapFree=4181860/4192956
[pid=4693] ppid=4691 vsize=236544 CPUtime=31.62
/proc/4693/stat : 4693 (ttsth-5-0) S 4691 4693 4530 0 -1 4194304 56487 0 0 0 3133 29 0 0 25 0 3 0 111550602 242221056 53549 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4693/statm: 59136 53549 98 176 0 58958 0
[pid=4693/tid=4695] ppid=4691 vsize=236544 CPUtime=6.16
/proc/4693/task/4695/stat : 4695 (ttsth-5-0) R 4691 4693 4530 0 -1 4194368 3457 0 0 0 613 3 0 0 20 0 3 0 111552535 242221056 53549 1992294400 134512640 135237372 4294956192 18446744073709551615 134591304 0 0 4096 0 0 0 0 -1 1 0 0
[pid=4693/tid=4696] ppid=4691 vsize=236544 CPUtime=6.13
/proc/4693/task/4696/stat : 4696 (ttsth-5-0) R 4691 4693 4530 0 -1 4194368 4114 0 0 0 611 2 0 0 23 0 3 0 111552535 242221056 53549 1992294400 134512640 135237372 4294956192 18446744073709551615 134749351 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 31.62
Current children cumulated vsize (KiB) 236544

[startup+51.1024 s]
/proc/loadavg: 1.84 1.92 1.70 3/67 4696
/proc/meminfo: memFree=1152104/2055920 swapFree=4181860/4192956
[pid=4693] ppid=4691 vsize=341528 CPUtime=82.7
/proc/4693/stat : 4693 (ttsth-5-0) S 4691 4693 4530 0 -1 4194304 81777 0 0 0 8228 42 0 0 25 0 3 0 111550602 349724672 78839 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4693/statm: 85421 78840 98 176 0 85243 0
[pid=4693/tid=4695] ppid=4691 vsize=341684 CPUtime=31.75
/proc/4693/task/4695/stat : 4695 (ttsth-5-0) R 4691 4693 4530 0 -1 4194368 13609 0 0 0 3166 9 0 0 25 0 3 0 111552535 349884416 78840 1992294400 134512640 135237372 4294956192 18446744073709551615 134591065 0 0 4096 0 0 0 0 -1 1 0 0
[pid=4693/tid=4696] ppid=4691 vsize=341684 CPUtime=31.62
/proc/4693/task/4696/stat : 4696 (ttsth-5-0) R 4691 4693 4530 0 -1 4194368 19253 0 0 0 3152 10 0 0 25 0 3 0 111552535 349884416 78840 1992294400 134512640 135237372 4294956192 18446744073709551615 134593224 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 82.7
Current children cumulated vsize (KiB) 341528

[startup+102.305 s]
/proc/loadavg: 1.93 1.93 1.71 3/67 4696
/proc/meminfo: memFree=994664/2055920 swapFree=4181860/4192956
[pid=4693] ppid=4691 vsize=503032 CPUtime=184.88
/proc/4693/stat : 4693 (ttsth-5-0) S 4691 4693 4530 0 -1 4194304 120358 0 0 0 18418 70 0 0 25 0 3 0 111550602 515104768 117420 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4693/statm: 125758 117420 98 176 0 125580 0
[pid=4693/tid=4695] ppid=4691 vsize=503032 CPUtime=82.93
/proc/4693/task/4695/stat : 4695 (ttsth-5-0) R 4691 4693 4530 0 -1 4194368 29893 0 0 0 8273 20 0 0 25 0 3 0 111552535 515104768 117420 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
[pid=4693/tid=4696] ppid=4691 vsize=503032 CPUtime=82.62
/proc/4693/task/4696/stat : 4696 (ttsth-5-0) R 4691 4693 4530 0 -1 4194368 41549 0 0 0 8236 26 0 0 25 0 3 0 111552535 515104768 117420 1992294400 134512640 135237372 4294956192 18446744073709551615 134562341 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 184.88
Current children cumulated vsize (KiB) 503032

[startup+162.303 s]
/proc/loadavg: 1.97 1.94 1.73 3/67 4696
/proc/meminfo: memFree=862952/2055920 swapFree=4181860/4192956
[pid=4693] ppid=4691 vsize=640316 CPUtime=304.61
/proc/4693/stat : 4693 (ttsth-5-0) S 4691 4693 4530 0 -1 4194304 153451 0 0 0 30365 96 0 0 25 0 3 0 111550602 655683584 150513 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4693/statm: 160079 150513 98 176 0 159901 0
[pid=4693/tid=4695] ppid=4691 vsize=640316 CPUtime=142.9
/proc/4693/task/4695/stat : 4695 (ttsth-5-0) R 4691 4693 4530 0 -1 4194368 43708 0 0 0 14259 31 0 0 25 0 3 0 111552535 655683584 150513 1992294400 134512640 135237372 4294956192 18446744073709551615 134550989 0 0 4096 0 0 0 0 -1 1 0 0
[pid=4693/tid=4696] ppid=4691 vsize=640316 CPUtime=142.37
/proc/4693/task/4696/stat : 4696 (ttsth-5-0) R 4691 4693 4530 0 -1 4194368 60827 0 0 0 14197 40 0 0 25 0 3 0 111552535 655683584 150513 1992294400 134512640 135237372 4294956192 18446744073709551615 134749351 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 304.61
Current children cumulated vsize (KiB) 640316

[startup+222.301 s]
/proc/loadavg: 1.99 1.95 1.74 3/67 4696
/proc/meminfo: memFree=747112/2055920 swapFree=4181860/4192956
[pid=4693] ppid=4691 vsize=759972 CPUtime=424.34
/proc/4693/stat : 4693 (ttsth-5-0) S 4691 4693 4530 0 -1 4194304 182132 0 0 0 42317 117 0 0 25 0 3 0 111550602 778211328 179194 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4693/statm: 189993 179194 98 176 0 189815 0
[pid=4693/tid=4695] ppid=4691 vsize=759972 CPUtime=202.88
/proc/4693/task/4695/stat : 4695 (ttsth-5-0) R 4691 4693 4530 0 -1 4194368 58000 0 0 0 20246 42 0 0 25 0 3 0 111552535 778211328 179194 1992294400 134512640 135237372 4294956192 18446744073709551615 134680296 0 0 4096 0 0 0 0 -1 1 0 0
[pid=4693/tid=4696] ppid=4691 vsize=759972 CPUtime=202.12
/proc/4693/task/4696/stat : 4696 (ttsth-5-0) R 4691 4693 4530 0 -1 4194368 75216 0 0 0 20161 51 0 0 25 0 3 0 111552535 778211328 179194 1992294400 134512640 135237372 4294956192 18446744073709551615 134680506 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 424.34
Current children cumulated vsize (KiB) 759972

[startup+282.302 s]
/proc/loadavg: 1.99 1.95 1.75 3/67 4696
/proc/meminfo: memFree=654184/2055920 swapFree=4181860/4192956
[pid=4693] ppid=4691 vsize=857860 CPUtime=544.08
/proc/4693/stat : 4693 (ttsth-5-0) S 4691 4693 4530 0 -1 4194304 205510 0 0 0 54274 134 0 0 25 0 3 0 111550602 878448640 202572 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4693/statm: 214465 202572 98 176 0 214287 0
[pid=4693/tid=4695] ppid=4691 vsize=857860 CPUtime=262.86
/proc/4693/task/4695/stat : 4695 (ttsth-5-0) R 4691 4693 4530 0 -1 4194368 70671 0 0 0 26235 51 0 0 25 0 3 0 111552535 878448640 202572 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
[pid=4693/tid=4696] ppid=4691 vsize=857860 CPUtime=261.88
/proc/4693/task/4696/stat : 4696 (ttsth-5-0) R 4691 4693 4530 0 -1 4194368 85923 0 0 0 26129 59 0 0 25 0 3 0 111552535 878448640 202572 1992294400 134512640 135237372 4294956192 18446744073709551615 134562351 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 544.08
Current children cumulated vsize (KiB) 857860

[startup+342.301 s]
/proc/loadavg: 1.99 1.96 1.77 3/67 4696
/proc/meminfo: memFree=553448/2055920 swapFree=4181860/4192956
[pid=4693] ppid=4691 vsize=961724 CPUtime=663.81
/proc/4693/stat : 4693 (ttsth-5-0) S 4691 4693 4530 0 -1 4194304 230508 0 0 0 66229 152 0 0 25 0 3 0 111550602 984805376 227570 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4693/statm: 240431 227570 98 176 0 240253 0
[pid=4693/tid=4695] ppid=4691 vsize=961724 CPUtime=322.83
/proc/4693/task/4695/stat : 4695 (ttsth-5-0) R 4691 4693 4530 0 -1 4194368 83217 0 0 0 32222 61 0 0 25 0 3 0 111552535 984805376 227570 1992294400 134512640 135237372 4294956192 18446744073709551615 134562273 0 0 4096 0 0 0 0 -1 1 0 0
[pid=4693/tid=4696] ppid=4691 vsize=961724 CPUtime=321.64
/proc/4693/task/4696/stat : 4696 (ttsth-5-0) R 4691 4693 4530 0 -1 4194368 98375 0 0 0 32097 67 0 0 25 0 3 0 111552535 984805376 227570 1992294400 134512640 135237372 4294956192 18446744073709551615 134562407 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 663.81
Current children cumulated vsize (KiB) 961724

[startup+402.302 s]
/proc/loadavg: 1.99 1.96 1.78 3/67 4696
/proc/meminfo: memFree=467496/2055920 swapFree=4181860/4192956
[pid=4693] ppid=4691 vsize=1052220 CPUtime=783.55
/proc/4693/stat : 4693 (ttsth-5-0) S 4691 4693 4530 0 -1 4194304 252097 0 0 0 78183 172 0 0 25 0 3 0 111550602 1077473280 249159 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4693/statm: 263055 249159 98 176 0 262877 0
[pid=4693/tid=4695] ppid=4691 vsize=1052220 CPUtime=382.82
/proc/4693/task/4695/stat : 4695 (ttsth-5-0) R 4691 4693 4530 0 -1 4194368 93701 0 0 0 38210 72 0 0 25 0 3 0 111552535 1077473280 249159 1992294400 134512640 135237372 4294956192 18446744073709551615 134562341 0 0 4096 0 0 0 0 -1 1 0 0
[pid=4693/tid=4696] ppid=4691 vsize=1052220 CPUtime=381.39
/proc/4693/task/4696/stat : 4696 (ttsth-5-0) R 4691 4693 4530 0 -1 4194368 109480 0 0 0 38063 76 0 0 25 0 3 0 111552535 1077473280 249159 1992294400 134512640 135237372 4294956192 18446744073709551615 134562341 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 783.55
Current children cumulated vsize (KiB) 1052220

[startup+462.302 s]
/proc/loadavg: 1.99 1.97 1.79 3/67 4696
/proc/meminfo: memFree=395112/2055920 swapFree=4181860/4192956
[pid=4693] ppid=4691 vsize=1126932 CPUtime=903.28
/proc/4693/stat : 4693 (ttsth-5-0) S 4691 4693 4530 0 -1 4194304 269961 0 0 0 90141 187 0 0 25 0 3 0 111550602 1153978368 267023 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4693/statm: 281733 267023 98 176 0 281555 0
[pid=4693/tid=4695] ppid=4691 vsize=1126932 CPUtime=442.8
/proc/4693/task/4695/stat : 4695 (ttsth-5-0) R 4691 4693 4530 0 -1 4194368 103138 0 0 0 44201 79 0 0 25 0 3 0 111552535 1153978368 267023 1992294400 134512640 135237372 4294956192 18446744073709551615 134593478 0 0 4096 0 0 0 0 -1 1 0 0
[pid=4693/tid=4696] ppid=4691 vsize=1126932 CPUtime=441.15
/proc/4693/task/4696/stat : 4696 (ttsth-5-0) R 4691 4693 4530 0 -1 4194368 117907 0 0 0 44031 84 0 0 25 0 3 0 111552535 1153978368 267023 1992294400 134512640 135237372 4294956192 18446744073709551615 134549922 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 903.28
Current children cumulated vsize (KiB) 1126932

[startup+522.303 s]
/proc/loadavg: 1.99 1.97 1.80 3/67 4696
/proc/meminfo: memFree=330600/2055920 swapFree=4181860/4192956
[pid=4693] ppid=4691 vsize=1194336 CPUtime=1023.02
/proc/4693/stat : 4693 (ttsth-5-0) S 4691 4693 4530 0 -1 4194304 286188 0 0 0 102101 201 0 0 25 0 3 0 111550602 1223000064 283250 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4693/statm: 298584 283250 98 176 0 298406 0
[pid=4693/tid=4695] ppid=4691 vsize=1194336 CPUtime=502.78
/proc/4693/task/4695/stat : 4695 (ttsth-5-0) R 4691 4693 4530 0 -1 4194368 111469 0 0 0 50192 86 0 0 25 0 3 0 111552535 1223000064 283250 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
[pid=4693/tid=4696] ppid=4691 vsize=1194336 CPUtime=500.91
/proc/4693/task/4696/stat : 4696 (ttsth-5-0) R 4691 4693 4530 0 -1 4194368 125803 0 0 0 49999 92 0 0 25 0 3 0 111552535 1223000064 283250 1992294400 134512640 135237372 4294956192 18446744073709551615 134562287 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1023.02
Current children cumulated vsize (KiB) 1194336

[startup+582.301 s]
/proc/loadavg: 1.99 1.97 1.81 3/67 4696
/proc/meminfo: memFree=267560/2055920 swapFree=4181860/4192956
[pid=4693] ppid=4691 vsize=1259536 CPUtime=1142.75
/proc/4693/stat : 4693 (ttsth-5-0) S 4691 4693 4530 0 -1 4194304 301744 0 0 0 114060 215 0 0 25 0 3 0 111550602 1289764864 298806 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4693/statm: 314884 298806 98 176 0 314706 0
[pid=4693/tid=4695] ppid=4691 vsize=1259536 CPUtime=562.75
/proc/4693/task/4695/stat : 4695 (ttsth-5-0) R 4691 4693 4530 0 -1 4194368 119181 0 0 0 56182 93 0 0 25 0 3 0 111552535 1289764864 298806 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
[pid=4693/tid=4696] ppid=4691 vsize=1259536 CPUtime=560.66
/proc/4693/task/4696/stat : 4696 (ttsth-5-0) R 4691 4693 4530 0 -1 4194368 133647 0 0 0 55968 98 0 0 25 0 3 0 111552535 1289764864 298806 1992294400 134512640 135237372 4294956192 18446744073709551615 134562341 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1142.75
Current children cumulated vsize (KiB) 1259536

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

[startup+588.702 s]
/proc/loadavg: 1.99 1.97 1.81 3/67 4696
/proc/meminfo: memFree=261800/2055920 swapFree=4181860/4192956
[pid=4693] ppid=4691 vsize=1265352 CPUtime=1155.52
/proc/4693/stat : 4693 (ttsth-5-0) S 4691 4693 4530 0 -1 4194304 303146 0 0 0 115335 217 0 0 25 0 3 0 111550602 1295720448 300208 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4693/statm: 316338 300208 98 176 0 316160 0
[pid=4693/tid=4695] ppid=4691 vsize=1265352 CPUtime=569.15
/proc/4693/task/4695/stat : 4695 (ttsth-5-0) R 4691 4693 4530 0 -1 4194368 120132 0 0 0 56821 94 0 0 25 0 3 0 111552535 1295720448 300208 1992294400 134512640 135237372 4294956192 18446744073709551615 134562399 0 0 4096 0 0 0 0 -1 1 0 0
[pid=4693/tid=4696] ppid=4691 vsize=1265352 CPUtime=567.03
/proc/4693/task/4696/stat : 4696 (ttsth-5-0) R 4691 4693 4530 0 -1 4194368 134098 0 0 0 56604 99 0 0 25 0 3 0 111552535 1295720448 300208 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1155.52
Current children cumulated vsize (KiB) 1265352

[startup+601.502 s]
/proc/loadavg: 1.99 1.97 1.82 3/67 4696
/proc/meminfo: memFree=251304/2055920 swapFree=4181860/4192956
[pid=4693] ppid=4691 vsize=1277448 CPUtime=1181.07
/proc/4693/stat : 4693 (ttsth-5-0) S 4691 4693 4530 0 -1 4194304 305963 0 0 0 117888 219 0 0 25 0 3 0 111550602 1308106752 303025 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4693/statm: 319362 303025 98 176 0 319184 0
[pid=4693/tid=4695] ppid=4691 vsize=1277448 CPUtime=581.94
/proc/4693/task/4695/stat : 4695 (ttsth-5-0) R 4691 4693 4530 0 -1 4194368 121994 0 0 0 58099 95 0 0 25 0 3 0 111552535 1308106752 303025 1992294400 134512640 135237372 4294956192 18446744073709551615 134749351 0 0 4096 0 0 0 0 -1 1 0 0
[pid=4693/tid=4696] ppid=4691 vsize=1277448 CPUtime=579.79
/proc/4693/task/4696/stat : 4696 (ttsth-5-0) R 4691 4693 4530 0 -1 4194368 135053 0 0 0 57879 100 0 0 25 0 3 0 111552535 1308106752 303025 1992294400 134512640 135237372 4294956192 18446744073709551615 134562317 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1181.07
Current children cumulated vsize (KiB) 1277448

[startup+607.902 s]
/proc/loadavg: 1.99 1.97 1.82 3/67 4696
/proc/meminfo: memFree=244264/2055920 swapFree=4181860/4192956
[pid=4693] ppid=4691 vsize=1284668 CPUtime=1193.84
/proc/4693/stat : 4693 (ttsth-5-0) S 4691 4693 4530 0 -1 4194304 307720 0 0 0 119164 220 0 0 25 0 3 0 111550602 1315500032 304782 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4693/statm: 321167 304782 98 176 0 320989 0
[pid=4693/tid=4695] ppid=4691 vsize=1284668 CPUtime=588.34
/proc/4693/task/4695/stat : 4695 (ttsth-5-0) R 4691 4693 4530 0 -1 4194368 122971 0 0 0 58739 95 0 0 25 0 3 0 111552535 1315500032 304782 1992294400 134512640 135237372 4294956192 18446744073709551615 134562388 0 0 4096 0 0 0 0 -1 1 0 0
[pid=4693/tid=4696] ppid=4691 vsize=1284668 CPUtime=586.17
/proc/4693/task/4696/stat : 4696 (ttsth-5-0) R 4691 4693 4530 0 -1 4194368 135833 0 0 0 58516 101 0 0 25 0 3 0 111552535 1315500032 304782 1992294400 134512640 135237372 4294956192 18446744073709551615 134562272 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1193.84
Current children cumulated vsize (KiB) 1284668

[startup+609.503 s]
/proc/loadavg: 1.99 1.97 1.82 3/67 4696
/proc/meminfo: memFree=241768/2055920 swapFree=4181860/4192956
[pid=4693] ppid=4691 vsize=1286632 CPUtime=1197.04
/proc/4693/stat : 4693 (ttsth-5-0) S 4691 4693 4530 0 -1 4194304 308105 0 0 0 119483 221 0 0 25 0 3 0 111550602 1317511168 305167 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4693/statm: 321658 305167 98 176 0 321480 0
[pid=4693/tid=4695] ppid=4691 vsize=1286632 CPUtime=589.94
/proc/4693/task/4695/stat : 4695 (ttsth-5-0) R 4691 4693 4530 0 -1 4194368 123132 0 0 0 58898 96 0 0 25 0 3 0 111552535 1317511168 305167 1992294400 134512640 135237372 4294956192 18446744073709551615 134564227 0 0 4096 0 0 0 0 -1 1 0 0
[pid=4693/tid=4696] ppid=4691 vsize=1286632 CPUtime=587.76
/proc/4693/task/4696/stat : 4696 (ttsth-5-0) R 4691 4693 4530 0 -1 4194368 136057 0 0 0 58675 101 0 0 25 0 3 0 111552535 1317511168 305167 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1197.04
Current children cumulated vsize (KiB) 1286632

[startup+610.301 s]
/proc/loadavg: 1.99 1.97 1.82 3/67 4696
/proc/meminfo: memFree=241768/2055920 swapFree=4181860/4192956
[pid=4693] ppid=4691 vsize=1286944 CPUtime=1198.63
/proc/4693/stat : 4693 (ttsth-5-0) S 4691 4693 4530 0 -1 4194304 308302 0 0 0 119642 221 0 0 25 0 3 0 111550602 1317830656 305364 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4693/statm: 321736 305364 98 176 0 321558 0
[pid=4693/tid=4695] ppid=4691 vsize=1286944 CPUtime=590.74
/proc/4693/task/4695/stat : 4695 (ttsth-5-0) R 4691 4693 4530 0 -1 4194368 123224 0 0 0 58978 96 0 0 25 0 3 0 111552535 1317830656 305364 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
[pid=4693/tid=4696] ppid=4691 vsize=1286944 CPUtime=588.55
/proc/4693/task/4696/stat : 4696 (ttsth-5-0) R 4691 4693 4530 0 -1 4194368 136162 0 0 0 58754 101 0 0 25 0 3 0 111552535 1317830656 305364 1992294400 134512640 135237372 4294956192 18446744073709551615 134562380 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1198.63
Current children cumulated vsize (KiB) 1286944

[startup+610.701 s]
/proc/loadavg: 1.99 1.97 1.82 3/67 4696
/proc/meminfo: memFree=240744/2055920 swapFree=4181860/4192956
[pid=4693] ppid=4691 vsize=1287256 CPUtime=1199.43
/proc/4693/stat : 4693 (ttsth-5-0) S 4691 4693 4530 0 -1 4194304 308432 0 0 0 119722 221 0 0 25 0 3 0 111550602 1318150144 305494 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4693/statm: 321814 305494 98 176 0 321636 0
[pid=4693/tid=4695] ppid=4691 vsize=1287256 CPUtime=591.14
/proc/4693/task/4695/stat : 4695 (ttsth-5-0) R 4691 4693 4530 0 -1 4194368 123271 0 0 0 59018 96 0 0 25 0 3 0 111552535 1318150144 305494 1992294400 134512640 135237372 4294956192 18446744073709551615 134551002 0 0 4096 0 0 0 0 -1 1 0 0
[pid=4693/tid=4696] ppid=4691 vsize=1287256 CPUtime=588.95
/proc/4693/task/4696/stat : 4696 (ttsth-5-0) R 4691 4693 4530 0 -1 4194368 136245 0 0 0 58794 101 0 0 25 0 3 0 111552535 1318150144 305494 1992294400 134512640 135237372 4294956192 18446744073709551615 134562344 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1199.43
Current children cumulated vsize (KiB) 1287256

[startup+610.901 s]
/proc/loadavg: 1.99 1.97 1.82 3/67 4696
/proc/meminfo: memFree=240744/2055920 swapFree=4181860/4192956
[pid=4693] ppid=4691 vsize=1288436 CPUtime=1199.82
/proc/4693/stat : 4693 (ttsth-5-0) S 4691 4693 4530 0 -1 4194304 308496 0 0 0 119761 221 0 0 25 0 3 0 111550602 1319358464 305558 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4693/statm: 322109 305558 98 176 0 321931 0
[pid=4693/tid=4695] ppid=4691 vsize=1288436 CPUtime=591.34
/proc/4693/task/4695/stat : 4695 (ttsth-5-0) R 4691 4693 4530 0 -1 4194368 123302 0 0 0 59038 96 0 0 25 0 3 0 111552535 1319358464 305558 1992294400 134512640 135237372 4294956192 18446744073709551615 134754917 0 0 4096 0 0 0 0 -1 1 0 0
[pid=4693/tid=4696] ppid=4691 vsize=1288436 CPUtime=589.15
/proc/4693/task/4696/stat : 4696 (ttsth-5-0) R 4691 4693 4530 0 -1 4194368 136278 0 0 0 58814 101 0 0 25 0 3 0 111552535 1319358464 305558 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1199.82
Current children cumulated vsize (KiB) 1288436

[startup+611.001 s]
/proc/loadavg: 1.99 1.97 1.82 3/67 4696
/proc/meminfo: memFree=240744/2055920 swapFree=4181860/4192956
[pid=4693] ppid=4691 vsize=0 CPUtime=1199.92
/proc/4693/stat : 4693 (ttsth-5-0) R 4691 4693 4530 0 -1 4195332 308496 0 0 0 119761 231 0 0 17 0 1 0 111550602 0 0 1992294400 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/4693/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1199.92
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 611.09
CPU time (s): 1200.03
CPU user time (s): 1197.62
CPU system time (s): 2.40563
CPU usage (%): 196.375
Max. virtual memory (cumulated for all children) (KiB): 1288436

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1197.62
system time used= 2.40563
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 308496
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= 91
involuntary context switches= 9106

runsolver used 0.668898 second user time and 1.55576 second system time

The end

Launcher Data 

Begin job on node4 at 2009-04-27 14:26:06
IDJOB=1738028
IDBENCH=71799
IDSOLVER=549
FILE ID=node4/1738028-1240835166
PBS_JOBID= 9187549
Free space on /tmp= 66252 MiB

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

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

MD5SUM BENCH= 3e04f934e4f74a8e89587f6c1327f77e
RANDOM SEED=1713005497

node4.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.265
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.265
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:       1465248 kB
Buffers:         75988 kB
Cached:         425840 kB
SwapCached:       5180 kB
Active:         206060 kB
Inactive:       303904 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1465248 kB
SwapTotal:     4192956 kB
SwapFree:      4181860 kB
Dirty:           10964 kB
Writeback:           0 kB
Mapped:          14040 kB
Slab:            66660 kB
Committed_AS:   572448 kB
PageTables:       1468 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= 66248 MiB
End job on node4 at 2009-04-27 14:36:17