Trace number 1736336

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 602.643

General information on the benchmark

NameCRAFTED/parity-games/
instance_n6_i7_pp.cnf
MD5SUMcf086e2a9e34f65e113b083fb29cd927
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1.07683
Satisfiable
(Un)Satisfiability was proved
Number of variables8484
Number of clauses73860
Sum of the clauses size241542
Maximum clause length30
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 214651
Number of clauses of size 333298
Number of clauses of size 418962
Number of clauses of size 55508
Number of clauses of size over 51441

Solver Data 

0.09/0.16	c Command: HOME/ttsth-5-0 -num-threads 2 HOME/instance-1736336-1240811344.cnf 
0.09/0.16	c Using SATTIMEOUT of 1200
0.09/0.16	c Using SATRAM of 1800
0.09/0.16	c Size of subset node = 16
0.09/0.16	c Variables = 8484
0.09/0.16	c Clauses = 73860
0.09/0.16	c Literals = 241542
0.09/0.16	c Reduced size:
0.09/0.16	c Variables = 8484
0.09/0.16	c Clauses = 73860
0.09/0.16	c Literals = 241542
0.09/0.16	c a2
0.49/0.51	c a1
1.69/1.78	c Independent sub-problems = 1
1.69/1.78	c Sub-problem with 8484 variables and 73860 clauses
1.69/1.78	c using permutation method 4
1.69/1.78	c count = 1
1.69/1.78	c Ordering finished 1.720 seconds
1.69/1.78	c mapped 1.770 seconds
1.69/1.78	c permuted 1.770 seconds
1.69/1.78	c about to sort
1.79/1.81	c sorted
2.39/2.43	c clauses now 73860
2.39/2.43	c init finished 1.860 seconds
2.39/2.43	c tree built 2.430 seconds
2.39/2.43	c 
2.39/2.43	c PA progress                      | CPU progress Partial assignments | improvements      CPU time        PA/sec        nodes
2.39/2.43	c ---------------------------------|----------------------------------|------------------------------------------------------
2.39/2.43	c ................................ | ..........                       |                        2.4           0.0             
2.39/2.43	c ................................ | ..........                     1 |                        2.4           0.4             
2.39/2.43	c ................................ | ..........                     2 |                        2.4           0.8             
2.39/2.43	c ................................ | ..........                     3 |                        2.4           1.2             
2.39/2.43	c ................................ | ..........                     4 |                        2.4           1.6             
2.39/2.43	c ................................ | ..........                     5 |                        2.4           2.1             
2.39/2.44	c ................................ | ..........                  1000 | 104                    2.5         408.2         2739
23.91/13.26	c ................................ | ..........                310000 | 54135                 24.0       12895.2      5721006
48.06/25.30	c ................................ | ..........                559000 | 96941                 48.1       11628.9      9792650
72.00/37.31	c ................................ | ..........                706000 | 124667                72.0        9800.1     12368215
96.14/49.42	c ................................ | ..........                836000 | 151718                96.2        8691.1     14675152
119.89/61.34	c ................................ | *.........                984000 | 183195               120.0        8200.0     17384065
144.03/73.49	c ................................ | *.........               1090000 | 204430               144.2        7556.8     19291058
167.98/85.41	c ................................ | *.........               1202000 | 226200               168.0        7153.5     21265352
192.13/97.59	c ................................ | *.........               1295000 | 241657               192.3        6732.9     22907463
216.27/109.64	c ................................ | *.........               1355000 | 254853               216.4        6261.8     24351027
240.02/121.51	c ................................ | **........               1427000 | 271371               240.1        5943.9     25679607
264.16/133.60	c ................................ | **........               1517000 | 290638               264.2        5741.6     27483476
288.30/145.72	c ................................ | **........               1570000 | 299936               288.4        5444.0     28571992
311.86/157.59	c ................................ | **........               1627000 | 310363               312.1        5213.2     29844510
336.20/169.73	c ................................ | **........               1676000 | 319603               336.3        4983.2     31068445
360.14/181.80	c ................................ | ***.......               1731000 | 331513               360.4        4802.9     32312914
384.49/193.93	c ................................ | ***.......               1794000 | 344587               384.6        4664.3     33668197
408.05/205.80	c ................................ | ***.......               1856000 | 357867               408.3        4545.7     34848375
432.58/218.09	c ................................ | ***.......               1910000 | 367640               432.8        4412.7     35928909
455.94/229.77	c ................................ | ***.......               1954000 | 376522               456.2        4283.6     36837321
480.08/241.83	c ................................ | ****......               1997000 | 384882               480.2        4158.5     37863740
504.23/253.99	c ................................ | ****......               2036000 | 392841               504.5        4035.8     38679249
528.18/265.98	c ................................ | ****......               2080000 | 402368               528.4        3936.2     39653052
551.93/277.90	c ................................ | ****......               2126000 | 412002               552.2        3850.0     40590010
576.47/290.13	c ................................ | ****......               2176000 | 422672               576.6        3773.7     41645772
600.01/301.98	c ................................ | *****.....               2220000 | 432303               600.3        3698.3     42618566
624.16/314.04	c ................................ | *****.....               2269000 | 443211               624.4        3634.2     43635376
648.30/326.18	c ................................ | *****.....               2313000 | 452541               648.6        3566.3     44666637
672.05/338.06	c ................................ | *****.....               2354000 | 461483               672.3        3501.5     45554945
696.40/350.21	c ................................ | *****.....               2400000 | 471820               696.5        3445.7     46624043
719.75/361.99	c ................................ | ******....               2445000 | 482013               720.0        3395.6     47611486
743.90/374.05	c ................................ | ******....               2492000 | 491359               744.1        3349.0     48408520
767.85/386.05	c ................................ | ******....               2535000 | 500878               768.1        3300.5     49188651
792.19/398.22	c ................................ | ******....               2587000 | 511879               792.4        3265.0     50284679
815.94/410.10	c ................................ | ******....               2640000 | 523022               816.1        3235.1     51547758
839.88/422.12	c ................................ | *******...               2704000 | 537218               840.1        3218.8     53016222
863.82/434.19	c ................................ | *******...               2763000 | 548439               864.1        3197.4     54137104
887.77/446.16	c ................................ | *******...               2815000 | 559427               888.0        3170.0     55104516
911.72/458.17	c ................................ | *******...               2882000 | 574147               912.0        3160.1     56445382
936.06/470.32	c ................................ | *******...               2917000 | 580991               936.3        3115.6     57284812
960.41/482.55	c ................................ | ********..               2953000 | 588378               960.7        3073.9     58160743
983.95/494.36	c ................................ | ********..               2994000 | 596595               984.2        3042.0     59058379
1008.30/506.57	c ................................ | ********..               3035000 | 605570              1008.6        3009.1     59982697
1031.64/518.30	c ................................ | ********..               3082000 | 616145              1032.0        2986.4     60955985
1055.79/530.33	c ................................ | ********..               3133000 | 627902              1056.0        2966.8     62005331
1080.34/542.65	c ................................ | *********.               3186000 | 637571              1080.6        2948.4     62920874
1104.08/554.57	c ................................ | *********.               3217000 | 643633              1104.4        2912.9     63616787
1128.23/566.66	c ................................ | *********.               3253000 | 650756              1128.5        2882.5     64282123
1152.18/578.68	c ................................ | *********.               3294000 | 659245              1152.5        2858.1     65084434
1175.93/590.54	c ................................ | *********.               3346000 | 670912              1176.2        2844.8     65906560
1199.67/602.47	c CPU limit (1200) reached
1199.67/602.47	c Time = 1200.00 seconds
1199.67/602.47	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-1736336-1240811344/watcher-1736336-1240811344 -o /tmp/evaluation-result-1736336-1240811344/solver-1736336-1240811344 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/ttsth-5-0 -num-threads 2 HOME/instance-1736336-1240811344.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.01 3/64 1738
/proc/meminfo: memFree=1749248/2055924 swapFree=4180788/4192956
[pid=1738] ppid=1736 vsize=932 CPUtime=0
/proc/1738/stat : 1738 (ttsth-5-0) R 1736 1738 1548 0 -1 4194304 136 0 0 0 0 0 0 0 18 0 1 0 109168751 954368 120 1992294400 134512640 135237372 4294956192 18446744073709551615 134732614 0 0 4096 0 0 0 0 17 1 0 0
/proc/1738/statm: 233 120 78 176 0 55 0

[startup+0.0616891 s]
/proc/loadavg: 1.00 1.00 1.01 3/64 1738
/proc/meminfo: memFree=1749248/2055924 swapFree=4180788/4192956
[pid=1738] ppid=1736 vsize=2948 CPUtime=0.05
/proc/1738/stat : 1738 (ttsth-5-0) R 1736 1738 1548 0 -1 4194304 608 0 0 0 5 0 0 0 18 0 1 0 109168751 3018752 592 1992294400 134512640 135237372 4294956192 18446744073709551615 134732614 0 0 4096 0 0 0 0 17 1 0 0
/proc/1738/statm: 737 592 78 176 0 559 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 2948

[startup+0.101695 s]
/proc/loadavg: 1.00 1.00 1.01 3/64 1738
/proc/meminfo: memFree=1749248/2055924 swapFree=4180788/4192956
[pid=1738] ppid=1736 vsize=4216 CPUtime=0.09
/proc/1738/stat : 1738 (ttsth-5-0) R 1736 1738 1548 0 -1 4194304 934 0 0 0 9 0 0 0 18 0 1 0 109168751 4317184 918 1992294400 134512640 135237372 4294956192 18446744073709551615 134732614 0 0 4096 0 0 0 0 17 1 0 0
/proc/1738/statm: 1054 919 78 176 0 876 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4216

[startup+0.301732 s]
/proc/loadavg: 1.00 1.00 1.01 3/64 1738
/proc/meminfo: memFree=1749248/2055924 swapFree=4180788/4192956
[pid=1738] ppid=1736 vsize=12672 CPUtime=0.29
/proc/1738/stat : 1738 (ttsth-5-0) R 1736 1738 1548 0 -1 4194304 2988 0 0 0 28 1 0 0 19 0 1 0 109168751 12976128 2971 1992294400 134512640 135237372 4294956192 18446744073709551615 134680505 0 0 4096 0 0 0 0 17 1 0 0
/proc/1738/statm: 3168 2971 79 176 0 2990 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12672

[startup+0.701809 s]
/proc/loadavg: 1.00 1.00 1.01 3/64 1738
/proc/meminfo: memFree=1749248/2055924 swapFree=4180788/4192956
[pid=1738] ppid=1736 vsize=12996 CPUtime=0.69
/proc/1738/stat : 1738 (ttsth-5-0) R 1736 1738 1548 0 -1 4194304 3271 0 0 0 68 1 0 0 22 0 1 0 109168751 13307904 3108 1992294400 134512640 135237372 4294956192 18446744073709551615 134735855 0 0 4096 0 0 0 0 17 1 0 0
/proc/1738/statm: 3249 3109 80 176 0 3071 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12996

[startup+1.50196 s]
/proc/loadavg: 1.00 1.00 1.01 2/65 1739
/proc/meminfo: memFree=1736504/2055924 swapFree=4180788/4192956
[pid=1738] ppid=1736 vsize=13868 CPUtime=1.49
/proc/1738/stat : 1738 (ttsth-5-0) R 1736 1738 1548 0 -1 4194304 3505 0 0 0 148 1 0 0 25 0 1 0 109168751 14200832 3342 1992294400 134512640 135237372 4294956192 18446744073709551615 134555279 0 0 4096 0 0 0 0 17 1 0 0
/proc/1738/statm: 3467 3342 80 176 0 3289 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13868

[startup+3.10128 s]
/proc/loadavg: 1.00 1.00 1.01 2/65 1739
/proc/meminfo: memFree=1721912/2055924 swapFree=4180788/4192956
[pid=1738] ppid=1736 vsize=66184 CPUtime=3.75
/proc/1738/stat : 1738 (ttsth-5-0) S 1736 1738 1548 0 -1 4194304 11377 0 0 0 370 5 0 0 25 0 3 0 109168751 67772416 11141 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/1738/statm: 16546 11141 98 176 0 16368 0
Current children cumulated CPU time (s) 3.75
Current children cumulated vsize (KiB) 66184

[startup+6.3029 s]
/proc/loadavg: 1.00 1.00 1.01 3/67 1741
/proc/meminfo: memFree=1680808/2055924 swapFree=4180788/4192956
[pid=1738] ppid=1736 vsize=99444 CPUtime=10.14
/proc/1738/stat : 1738 (ttsth-5-0) S 1736 1738 1548 0 -1 4194304 19342 0 0 0 1005 9 0 0 25 0 3 0 109168751 101830656 19106 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/1738/statm: 24861 19107 98 176 0 24683 0
[pid=1738/tid=1740] ppid=1736 vsize=99444 CPUtime=3.85
/proc/1738/task/1740/stat : 1740 (ttsth-5-0) R 1736 1738 1548 0 -1 4194368 5129 0 0 0 383 2 0 0 25 0 3 0 109168995 101830656 19107 1992294400 134512640 135237372 4294956192 18446744073709551615 134590301 0 0 4096 0 0 0 0 -1 1 0 0
[pid=1738/tid=1741] ppid=1736 vsize=99444 CPUtime=3.84
/proc/1738/task/1741/stat : 1741 (ttsth-5-0) R 1736 1738 1548 0 -1 4194368 4657 0 0 0 381 3 0 0 25 0 3 0 109168995 101830656 19107 1992294400 134512640 135237372 4294956192 18446744073709551615 134590140 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 10.14
Current children cumulated vsize (KiB) 99444

[startup+12.7011 s]
/proc/loadavg: 1.15 1.03 1.02 3/67 1741
/proc/meminfo: memFree=1628840/2055924 swapFree=4180788/4192956
[pid=1738] ppid=1736 vsize=148932 CPUtime=22.9
/proc/1738/stat : 1738 (ttsth-5-0) S 1736 1738 1548 0 -1 4194304 31333 0 0 0 2275 15 0 0 25 0 3 0 109168751 152506368 31097 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/1738/statm: 37233 31097 98 176 0 37055 0
[pid=1738/tid=1740] ppid=1736 vsize=148932 CPUtime=10.25
/proc/1738/task/1740/stat : 1740 (ttsth-5-0) R 1736 1738 1548 0 -1 4194368 12669 0 0 0 1019 6 0 0 25 0 3 0 109168995 152506368 31097 1992294400 134512640 135237372 4294956192 18446744073709551615 134546026 0 0 4096 0 0 0 0 -1 1 0 0
[pid=1738/tid=1741] ppid=1736 vsize=148932 CPUtime=10.2
/proc/1738/task/1741/stat : 1741 (ttsth-5-0) R 1736 1738 1548 0 -1 4194368 9107 0 0 0 1015 5 0 0 25 0 3 0 109168995 152506368 31098 1992294400 134512640 135237372 4294956192 18446744073709551615 134562459 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 22.9
Current children cumulated vsize (KiB) 148932

[startup+25.5026 s]
/proc/loadavg: 1.28 1.06 1.03 3/67 1741
/proc/meminfo: memFree=1557928/2055924 swapFree=4180788/4192956
[pid=1738] ppid=1736 vsize=219076 CPUtime=48.45
/proc/1738/stat : 1738 (ttsth-5-0) S 1736 1738 1548 0 -1 4194304 48275 0 0 0 4818 27 0 0 25 0 3 0 109168751 224333824 48039 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/1738/statm: 54769 48039 98 176 0 54591 0
[pid=1738/tid=1740] ppid=1736 vsize=219076 CPUtime=23.04
/proc/1738/task/1740/stat : 1740 (ttsth-5-0) R 1736 1738 1548 0 -1 4194368 24538 0 0 0 2291 13 0 0 21 0 3 0 109168995 224333824 48039 1992294400 134512640 135237372 4294956192 18446744073709551615 134546034 0 0 4096 0 0 0 0 -1 1 0 0
[pid=1738/tid=1741] ppid=1736 vsize=219076 CPUtime=22.95
/proc/1738/task/1741/stat : 1741 (ttsth-5-0) R 1736 1738 1548 0 -1 4194368 14180 0 0 0 2286 9 0 0 25 0 3 0 109168995 224333824 48039 1992294400 134512640 135237372 4294956192 18446744073709551615 134562344 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 48.45
Current children cumulated vsize (KiB) 219076

[startup+51.1025 s]
/proc/loadavg: 1.53 1.14 1.05 3/67 1741
/proc/meminfo: memFree=1477352/2055924 swapFree=4180788/4192956
[pid=1738] ppid=1736 vsize=305144 CPUtime=99.53
/proc/1738/stat : 1738 (ttsth-5-0) S 1736 1738 1548 0 -1 4194304 68642 0 0 0 9911 42 0 0 25 0 3 0 109168751 312467456 68406 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/1738/statm: 76286 68406 98 176 0 76108 0
[pid=1738/tid=1740] ppid=1736 vsize=305144 CPUtime=48.63
/proc/1738/task/1740/stat : 1740 (ttsth-5-0) R 1736 1738 1548 0 -1 4194368 38691 0 0 0 4840 23 0 0 25 0 3 0 109168995 312467456 68406 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
[pid=1738/tid=1741] ppid=1736 vsize=305144 CPUtime=48.46
/proc/1738/task/1741/stat : 1741 (ttsth-5-0) R 1736 1738 1548 0 -1 4194368 20394 0 0 0 4831 15 0 0 25 0 3 0 109168995 312467456 68406 1992294400 134512640 135237372 4294956192 18446744073709551615 134587914 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 99.53
Current children cumulated vsize (KiB) 305144

[startup+102.306 s]
/proc/loadavg: 1.81 1.28 1.10 3/67 1741
/proc/meminfo: memFree=1343144/2055924 swapFree=4180788/4192956
[pid=1738] ppid=1736 vsize=441076 CPUtime=201.71
/proc/1738/stat : 1738 (ttsth-5-0) S 1736 1738 1548 0 -1 4194304 101596 0 0 0 20107 64 0 0 25 0 3 0 109168751 451661824 101360 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/1738/statm: 110269 101360 98 176 0 110091 0
[pid=1738/tid=1740] ppid=1736 vsize=441076 CPUtime=99.82
/proc/1738/task/1740/stat : 1740 (ttsth-5-0) R 1736 1738 1548 0 -1 4194368 61629 0 0 0 9944 38 0 0 25 0 3 0 109168995 451661824 101360 1992294400 134512640 135237372 4294956192 18446744073709551615 134562363 0 0 4096 0 0 0 0 -1 1 0 0
[pid=1738/tid=1741] ppid=1736 vsize=441076 CPUtime=99.44
/proc/1738/task/1741/stat : 1741 (ttsth-5-0) R 1736 1738 1548 0 -1 4194368 30410 0 0 0 9922 22 0 0 23 0 3 0 109168995 451661824 101360 1992294400 134512640 135237372 4294956192 18446744073709551615 134546001 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 201.71
Current children cumulated vsize (KiB) 441076

[startup+162.302 s]
/proc/loadavg: 1.93 1.41 1.16 3/67 1741
/proc/meminfo: memFree=1236200/2055924 swapFree=4180788/4192956
[pid=1738] ppid=1736 vsize=552416 CPUtime=321.44
/proc/1738/stat : 1738 (ttsth-5-0) S 1736 1738 1548 0 -1 4194304 128471 0 0 0 32060 84 0 0 25 0 3 0 109168751 565673984 128235 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/1738/statm: 138104 128235 98 176 0 137926 0
[pid=1738/tid=1740] ppid=1736 vsize=552416 CPUtime=159.79
/proc/1738/task/1740/stat : 1740 (ttsth-5-0) R 1736 1738 1548 0 -1 4194368 78828 0 0 0 15930 49 0 0 25 0 3 0 109168995 565673984 128235 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
[pid=1738/tid=1741] ppid=1736 vsize=552416 CPUtime=159.2
/proc/1738/task/1741/stat : 1741 (ttsth-5-0) R 1736 1738 1548 0 -1 4194368 40086 0 0 0 15889 31 0 0 25 0 3 0 109168995 565673984 128235 1992294400 134512640 135237372 4294956192 18446744073709551615 134562380 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 321.44
Current children cumulated vsize (KiB) 552416

[startup+222.302 s]
/proc/loadavg: 1.97 1.51 1.21 3/67 1741
/proc/meminfo: memFree=1142824/2055924 swapFree=4180788/4192956
[pid=1738] ppid=1736 vsize=649784 CPUtime=441.17
/proc/1738/stat : 1738 (ttsth-5-0) S 1736 1738 1548 0 -1 4194304 151557 0 0 0 44014 103 0 0 25 0 3 0 109168751 665378816 151321 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/1738/statm: 162446 151321 98 176 0 162268 0
[pid=1738/tid=1740] ppid=1736 vsize=649784 CPUtime=219.77
/proc/1738/task/1740/stat : 1740 (ttsth-5-0) R 1736 1738 1548 0 -1 4194368 93512 0 0 0 21916 61 0 0 25 0 3 0 109168995 665378816 151321 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
[pid=1738/tid=1741] ppid=1736 vsize=649784 CPUtime=218.95
/proc/1738/task/1741/stat : 1741 (ttsth-5-0) R 1736 1738 1548 0 -1 4194368 48488 0 0 0 21858 37 0 0 25 0 3 0 109168995 665378816 151321 1992294400 134512640 135237372 4294956192 18446744073709551615 134562323 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 441.17
Current children cumulated vsize (KiB) 649784

[startup+282.302 s]
/proc/loadavg: 1.99 1.59 1.25 3/67 1741
/proc/meminfo: memFree=1068584/2055924 swapFree=4180788/4192956
[pid=1738] ppid=1736 vsize=728440 CPUtime=560.9
/proc/1738/stat : 1738 (ttsth-5-0) S 1736 1738 1548 0 -1 4194304 170256 0 0 0 55973 117 0 0 25 0 3 0 109168751 745922560 170020 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/1738/statm: 182110 170020 98 176 0 181932 0
[pid=1738/tid=1740] ppid=1736 vsize=728440 CPUtime=279.74
/proc/1738/task/1740/stat : 1740 (ttsth-5-0) R 1736 1738 1548 0 -1 4194368 103941 0 0 0 27906 68 0 0 25 0 3 0 109168995 745922560 170020 1992294400 134512640 135237372 4294956192 18446744073709551615 134546034 0 0 4096 0 0 0 0 -1 1 0 0
[pid=1738/tid=1741] ppid=1736 vsize=728440 CPUtime=278.7
/proc/1738/task/1741/stat : 1741 (ttsth-5-0) R 1736 1738 1548 0 -1 4194368 56758 0 0 0 27826 44 0 0 25 0 3 0 109168995 745922560 170020 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 560.9
Current children cumulated vsize (KiB) 728440

[startup+342.301 s]
/proc/loadavg: 1.99 1.67 1.30 3/67 1741
/proc/meminfo: memFree=991144/2055924 swapFree=4180788/4192956
[pid=1738] ppid=1736 vsize=809416 CPUtime=680.63
/proc/1738/stat : 1738 (ttsth-5-0) S 1736 1738 1548 0 -1 4194304 189416 0 0 0 67929 134 0 0 25 0 3 0 109168751 828841984 189180 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/1738/statm: 202354 189180 98 176 0 202176 0
[pid=1738/tid=1740] ppid=1736 vsize=809416 CPUtime=339.73
/proc/1738/task/1740/stat : 1740 (ttsth-5-0) R 1736 1738 1548 0 -1 4194368 115941 0 0 0 33895 78 0 0 25 0 3 0 109168995 828841984 189180 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
[pid=1738/tid=1741] ppid=1736 vsize=809416 CPUtime=338.46
/proc/1738/task/1741/stat : 1741 (ttsth-5-0) R 1736 1738 1548 0 -1 4194368 63918 0 0 0 33794 52 0 0 25 0 3 0 109168995 828841984 189180 1992294400 134512640 135237372 4294956192 18446744073709551615 134562416 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 680.63
Current children cumulated vsize (KiB) 809416

[startup+402.302 s]
/proc/loadavg: 1.99 1.72 1.33 3/67 1741
/proc/meminfo: memFree=917800/2055924 swapFree=4180788/4192956
[pid=1738] ppid=1736 vsize=886904 CPUtime=800.37
/proc/1738/stat : 1738 (ttsth-5-0) S 1736 1738 1548 0 -1 4194304 207884 0 0 0 79886 151 0 0 25 0 3 0 109168751 908189696 207648 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/1738/statm: 221726 207648 98 176 0 221548 0
[pid=1738/tid=1740] ppid=1736 vsize=886904 CPUtime=399.71
/proc/1738/task/1740/stat : 1740 (ttsth-5-0) R 1736 1738 1548 0 -1 4194368 127848 0 0 0 39882 89 0 0 25 0 3 0 109168995 908189696 207648 1992294400 134512640 135237372 4294956192 18446744073709551615 134749343 0 0 4096 0 0 0 0 -1 1 0 0
[pid=1738/tid=1741] ppid=1736 vsize=886904 CPUtime=398.21
/proc/1738/task/1741/stat : 1741 (ttsth-5-0) R 1736 1738 1548 0 -1 4194368 70479 0 0 0 39763 58 0 0 25 0 3 0 109168995 908189696 207648 1992294400 134512640 135237372 4294956192 18446744073709551615 134562341 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 800.37
Current children cumulated vsize (KiB) 886904

[startup+462.302 s]
/proc/loadavg: 1.99 1.77 1.38 3/67 1741
/proc/meminfo: memFree=821352/2055924 swapFree=4180788/4192956
[pid=1738] ppid=1736 vsize=984388 CPUtime=920.09
/proc/1738/stat : 1738 (ttsth-5-0) S 1736 1738 1548 0 -1 4194304 231745 0 0 0 91841 168 0 0 25 0 3 0 109168751 1008013312 231509 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/1738/statm: 246097 231509 98 176 0 245919 0
[pid=1738/tid=1740] ppid=1736 vsize=984388 CPUtime=459.68
/proc/1738/task/1740/stat : 1740 (ttsth-5-0) R 1736 1738 1548 0 -1 4194368 146831 0 0 0 45868 100 0 0 25 0 3 0 109168995 1008013312 231509 1992294400 134512640 135237372 4294956192 18446744073709551615 134680491 0 0 4096 0 0 0 0 -1 1 0 0
[pid=1738/tid=1741] ppid=1736 vsize=984388 CPUtime=457.96
/proc/1738/task/1741/stat : 1741 (ttsth-5-0) R 1736 1738 1548 0 -1 4194368 75357 0 0 0 45733 63 0 0 25 0 3 0 109168995 1008013312 231509 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 920.09
Current children cumulated vsize (KiB) 984388

[startup+522.301 s]
/proc/loadavg: 1.99 1.81 1.41 3/67 1741
/proc/meminfo: memFree=750440/2055924 swapFree=4180788/4192956
[pid=1738] ppid=1736 vsize=1058132 CPUtime=1039.83
/proc/1738/stat : 1738 (ttsth-5-0) S 1736 1738 1548 0 -1 4194304 249674 0 0 0 103798 185 0 0 25 0 3 0 109168751 1083527168 249438 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/1738/statm: 264533 249438 98 176 0 264355 0
[pid=1738/tid=1740] ppid=1736 vsize=1058132 CPUtime=519.66
/proc/1738/task/1740/stat : 1740 (ttsth-5-0) R 1736 1738 1548 0 -1 4194368 158382 0 0 0 51856 110 0 0 25 0 3 0 109168995 1083527168 249438 1992294400 134512640 135237372 4294956192 18446744073709551615 134565937 0 0 4096 0 0 0 0 -1 1 0 0
[pid=1738/tid=1741] ppid=1736 vsize=1058132 CPUtime=517.72
/proc/1738/task/1741/stat : 1741 (ttsth-5-0) R 1736 1738 1548 0 -1 4194368 81735 0 0 0 51702 70 0 0 25 0 3 0 109168995 1083527168 249438 1992294400 134512640 135237372 4294956192 18446744073709551615 134562407 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1039.83
Current children cumulated vsize (KiB) 1058132

[startup+582.302 s]
/proc/loadavg: 1.99 1.84 1.45 3/67 1741
/proc/meminfo: memFree=686056/2055924 swapFree=4180788/4192956
[pid=1738] ppid=1736 vsize=1123596 CPUtime=1159.56
/proc/1738/stat : 1738 (ttsth-5-0) S 1736 1738 1548 0 -1 4194304 265503 0 0 0 115757 199 0 0 25 0 3 0 109168751 1150562304 265267 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/1738/statm: 280899 265267 98 176 0 280721 0
[pid=1738/tid=1740] ppid=1736 vsize=1123596 CPUtime=579.64
/proc/1738/task/1740/stat : 1740 (ttsth-5-0) R 1736 1738 1548 0 -1 4194368 167745 0 0 0 57845 119 0 0 25 0 3 0 109168995 1150562304 265267 1992294400 134512640 135237372 4294956192 18446744073709551615 134562461 0 0 4096 0 0 0 0 -1 1 0 0
[pid=1738/tid=1741] ppid=1736 vsize=1123596 CPUtime=577.48
/proc/1738/task/1741/stat : 1741 (ttsth-5-0) R 1736 1738 1548 0 -1 4194368 88201 0 0 0 57672 76 0 0 25 0 3 0 109168995 1150562304 265267 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1159.56
Current children cumulated vsize (KiB) 1123596

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

[startup+588.701 s]
/proc/loadavg: 1.99 1.85 1.45 3/67 1741
/proc/meminfo: memFree=679528/2055924 swapFree=4180788/4192956
[pid=1738] ppid=1736 vsize=1130348 CPUtime=1172.33
/proc/1738/stat : 1738 (ttsth-5-0) S 1736 1738 1548 0 -1 4194304 267073 0 0 0 117033 200 0 0 25 0 3 0 109168751 1157476352 266837 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/1738/statm: 282587 266837 98 176 0 282409 0
[pid=1738/tid=1740] ppid=1736 vsize=1130348 CPUtime=586.04
/proc/1738/task/1740/stat : 1740 (ttsth-5-0) R 1736 1738 1548 0 -1 4194368 168651 0 0 0 58485 119 0 0 25 0 3 0 109168995 1157476352 266837 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
[pid=1738/tid=1741] ppid=1736 vsize=1130348 CPUtime=583.85
/proc/1738/task/1741/stat : 1741 (ttsth-5-0) R 1736 1738 1548 0 -1 4194368 88865 0 0 0 58308 77 0 0 25 0 3 0 109168995 1157476352 266837 1992294400 134512640 135237372 4294956192 18446744073709551615 134550989 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1172.33
Current children cumulated vsize (KiB) 1130348

[startup+595.106 s]
/proc/loadavg: 1.99 1.85 1.45 3/67 1741
/proc/meminfo: memFree=671336/2055924 swapFree=4180788/4192956
[pid=1738] ppid=1736 vsize=1139392 CPUtime=1185.11
/proc/1738/stat : 1738 (ttsth-5-0) S 1736 1738 1548 0 -1 4194304 269057 0 0 0 118309 202 0 0 25 0 3 0 109168751 1166737408 268821 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/1738/statm: 284848 268821 98 176 0 284670 0
[pid=1738/tid=1740] ppid=1736 vsize=1139392 CPUtime=592.44
/proc/1738/task/1740/stat : 1740 (ttsth-5-0) R 1736 1738 1548 0 -1 4194368 170142 0 0 0 59124 120 0 0 25 0 3 0 109168995 1166737408 268821 1992294400 134512640 135237372 4294956192 18446744073709551615 134562370 0 0 4096 0 0 0 0 -1 1 0 0
[pid=1738/tid=1741] ppid=1736 vsize=1139392 CPUtime=590.22
/proc/1738/task/1741/stat : 1741 (ttsth-5-0) R 1736 1738 1548 0 -1 4194368 89358 0 0 0 58945 77 0 0 25 0 3 0 109168995 1166737408 268821 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1185.11
Current children cumulated vsize (KiB) 1139392

[startup+598.301 s]
/proc/loadavg: 1.99 1.85 1.46 3/67 1741
/proc/meminfo: memFree=667432/2055924 swapFree=4180788/4192956
[pid=1738] ppid=1736 vsize=1142688 CPUtime=1191.49
/proc/1738/stat : 1738 (ttsth-5-0) S 1736 1738 1548 0 -1 4194304 270016 0 0 0 118946 203 0 0 25 0 3 0 109168751 1170112512 269780 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/1738/statm: 285672 269780 98 176 0 285494 0
[pid=1738/tid=1740] ppid=1736 vsize=1142688 CPUtime=595.64
/proc/1738/task/1740/stat : 1740 (ttsth-5-0) R 1736 1738 1548 0 -1 4194368 170816 0 0 0 59443 121 0 0 25 0 3 0 109168995 1170112512 269780 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
[pid=1738/tid=1741] ppid=1736 vsize=1142688 CPUtime=593.41
/proc/1738/task/1741/stat : 1741 (ttsth-5-0) R 1736 1738 1548 0 -1 4194368 89643 0 0 0 59263 78 0 0 25 0 3 0 109168995 1170112512 269780 1992294400 134512640 135237372 4294956192 18446744073709551615 134562309 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1191.49
Current children cumulated vsize (KiB) 1142688

[startup+599.902 s]
/proc/loadavg: 1.99 1.85 1.46 3/67 1741
/proc/meminfo: memFree=666280/2055924 swapFree=4180788/4192956
[pid=1738] ppid=1736 vsize=1145048 CPUtime=1194.68
/proc/1738/stat : 1738 (ttsth-5-0) S 1736 1738 1548 0 -1 4194304 270413 0 0 0 119265 203 0 0 25 0 3 0 109168751 1172529152 270177 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/1738/statm: 286262 270177 98 176 0 286084 0
[pid=1738/tid=1740] ppid=1736 vsize=1145048 CPUtime=597.24
/proc/1738/task/1740/stat : 1740 (ttsth-5-0) R 1736 1738 1548 0 -1 4194368 171107 0 0 0 59603 121 0 0 25 0 3 0 109168995 1172529152 270177 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
[pid=1738/tid=1741] ppid=1736 vsize=1145048 CPUtime=595.01
/proc/1738/task/1741/stat : 1741 (ttsth-5-0) R 1736 1738 1548 0 -1 4194368 89749 0 0 0 59423 78 0 0 25 0 3 0 109168995 1172529152 270177 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1194.68
Current children cumulated vsize (KiB) 1145048

[startup+601.502 s]
/proc/loadavg: 1.99 1.85 1.46 3/67 1741
/proc/meminfo: memFree=665320/2055924 swapFree=4180788/4192956
[pid=1738] ppid=1736 vsize=1147568 CPUtime=1197.87
/proc/1738/stat : 1738 (ttsth-5-0) S 1736 1738 1548 0 -1 4194304 270962 0 0 0 119584 203 0 0 25 0 3 0 109168751 1175109632 270726 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/1738/statm: 286892 270726 98 176 0 286714 0
[pid=1738/tid=1740] ppid=1736 vsize=1147568 CPUtime=598.83
/proc/1738/task/1740/stat : 1740 (ttsth-5-0) R 1736 1738 1548 0 -1 4194368 171545 0 0 0 59762 121 0 0 25 0 3 0 109168995 1175109632 270726 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
[pid=1738/tid=1741] ppid=1736 vsize=1147568 CPUtime=596.6
/proc/1738/task/1741/stat : 1741 (ttsth-5-0) R 1736 1738 1548 0 -1 4194368 89860 0 0 0 59582 78 0 0 25 0 3 0 109168995 1175109632 270726 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1197.87
Current children cumulated vsize (KiB) 1147568

[startup+602.302 s]
/proc/loadavg: 1.99 1.85 1.46 3/67 1741
/proc/meminfo: memFree=663464/2055924 swapFree=4180788/4192956
[pid=1738] ppid=1736 vsize=1148904 CPUtime=1199.47
/proc/1738/stat : 1738 (ttsth-5-0) S 1736 1738 1548 0 -1 4194304 271281 0 0 0 119744 203 0 0 25 0 3 0 109168751 1176477696 271045 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/1738/statm: 287226 271045 98 176 0 287048 0
[pid=1738/tid=1740] ppid=1736 vsize=1148904 CPUtime=599.63
/proc/1738/task/1740/stat : 1740 (ttsth-5-0) R 1736 1738 1548 0 -1 4194368 171811 0 0 0 59842 121 0 0 25 0 3 0 109168995 1176477696 271045 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
[pid=1738/tid=1741] ppid=1736 vsize=1148904 CPUtime=597.4
/proc/1738/task/1741/stat : 1741 (ttsth-5-0) R 1736 1738 1548 0 -1 4194368 89913 0 0 0 59662 78 0 0 25 0 3 0 109168995 1176477696 271045 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1199.47
Current children cumulated vsize (KiB) 1148904

[startup+602.502 s]
/proc/loadavg: 1.99 1.85 1.46 3/67 1741
/proc/meminfo: memFree=663464/2055924 swapFree=4180788/4192956
[pid=1738] ppid=1736 vsize=0 CPUtime=1199.84
/proc/1738/stat : 1738 (ttsth-5-0) R 1736 1738 1548 0 -1 4195332 271330 0 0 0 119778 206 0 0 17 0 1 0 109168751 0 0 1992294400 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/1738/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1199.84
Current children cumulated vsize (KiB) 0

[startup+602.602 s]
/proc/loadavg: 1.99 1.85 1.46 3/67 1741
/proc/meminfo: memFree=663464/2055924 swapFree=4180788/4192956
[pid=1738] ppid=1736 vsize=0 CPUtime=1199.94
/proc/1738/stat : 1738 (ttsth-5-0) R 1736 1738 1548 0 -1 4195332 271330 0 0 0 119778 216 0 0 17 0 1 0 109168751 0 0 1992294400 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/1738/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1199.94
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 602.643
CPU time (s): 1200
CPU user time (s): 1197.79
CPU system time (s): 2.20766
CPU usage (%): 199.122
Max. virtual memory (cumulated for all children) (KiB): 1148904

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1197.79
system time used= 2.20766
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 271330
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= 41
involuntary context switches= 9167

runsolver used 0.572912 second user time and 1.63175 second system time

The end

Launcher Data 

Begin job on node6 at 2009-04-27 07:49:04
IDJOB=1736336
IDBENCH=71622
IDSOLVER=549
FILE ID=node6/1736336-1240811344
PBS_JOBID= 9187455
Free space on /tmp= 66340 MiB

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

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

MD5SUM BENCH= cf086e2a9e34f65e113b083fb29cd927
RANDOM SEED=1997766197

node6.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.281
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.281
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:      2055924 kB
MemFree:       1749728 kB
Buffers:         43996 kB
Cached:         189744 kB
SwapCached:       6028 kB
Active:          94528 kB
Inactive:       147612 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055924 kB
LowFree:       1749728 kB
SwapTotal:     4192956 kB
SwapFree:      4180788 kB
Dirty:            2244 kB
Writeback:           0 kB
Mapped:          14060 kB
Slab:            50056 kB
Committed_AS:   512976 kB
PageTables:       1452 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= 66336 MiB
End job on node6 at 2009-04-27 07:59:07