Trace number 1778923

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 (4 threads)? (TO) 513.96 1000.08

General information on the benchmark

NameAPPLICATIONS/bitverif/
countbitssrl/countbitssrl128.cnf
MD5SUMd464f22dd212ad9afa317dae82dd7350
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables301759
Number of clauses904892
Sum of the clauses size2111412
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2603260
Number of clauses of size 3301630
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

1.55/3.12	c Command: HOME/ttsth-5-0 -num-threads 4 HOME/instance-1778923-1243677571.cnf 
1.55/3.12	c Using SATTIMEOUT of 10000
1.55/3.12	c Using SATRAM of 2047
1.55/3.12	c Size of subset node = 16
1.55/3.12	c Variables = 301759
1.55/3.12	c Clauses = 904892
1.55/3.12	c Literals = 2111412
1.55/3.12	c Reduced size:
1.55/3.12	c Variables = 301759
1.55/3.12	c Clauses = 904888
1.55/3.12	c Literals = 2111405
1.55/3.12	c a2
2.95/5.92	c a1

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

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

command line: runsolver --timestamp -w /tmp/evaluation-result-1778923-1243677571/watcher-1778923-1243677571 -o /tmp/evaluation-result-1778923-1243677571/solver-1778923-1243677571 -C 10000 -W 1000 -M 2047 HOME/ttsth-5-0 -num-threads 4 HOME/instance-1778923-1243677571.cnf 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 2096128 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 2147328 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 8.07 8.21 7.62 7/113 673
/proc/meminfo: memFree=2201424/3368532 swapFree=1953000/1959888
[pid=673] ppid=671 vsize=3288 CPUtime=0.05
/proc/673/stat : 673 (ttsth-5-0) R 671 673 14986 0 -1 4202496 706 0 0 0 5 0 0 0 21 0 1 0 1121894566 3366912 662 4294967295 134512640 135237372 3216668400 3216667268 134883413 0 0 0 0 0 0 0 17 0 0 0 0
/proc/673/statm: 822 662 75 177 0 644 0

[startup+0.209006 s]
/proc/loadavg: 8.07 8.21 7.62 7/113 673
/proc/meminfo: memFree=2201424/3368532 swapFree=1953000/1959888
[pid=673] ppid=671 vsize=8024 CPUtime=0.15
/proc/673/stat : 673 (ttsth-5-0) R 671 673 14986 0 -1 4202496 1866 0 0 0 15 0 0 0 21 0 1 0 1121894566 8216576 1822 4294967295 134512640 135237372 3216668400 3216667956 134738716 0 0 0 0 0 0 0 17 0 0 0 0
/proc/673/statm: 2006 1822 75 177 0 1828 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 8024

[startup+0.309008 s]
/proc/loadavg: 8.07 8.21 7.62 7/113 673
/proc/meminfo: memFree=2201424/3368532 swapFree=1953000/1959888
[pid=673] ppid=671 vsize=8024 CPUtime=0.15
/proc/673/stat : 673 (ttsth-5-0) R 671 673 14986 0 -1 4202496 1866 0 0 0 15 0 0 0 21 0 1 0 1121894566 8216576 1822 4294967295 134512640 135237372 3216668400 3216667956 134738716 0 0 0 0 0 0 0 17 0 0 0 0
/proc/673/statm: 2006 1822 75 177 0 1828 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 8024

[startup+0.408994 s]
/proc/loadavg: 8.07 8.21 7.62 7/113 673
/proc/meminfo: memFree=2201424/3368532 swapFree=1953000/1959888
[pid=673] ppid=671 vsize=12516 CPUtime=0.25
/proc/673/stat : 673 (ttsth-5-0) R 671 673 14986 0 -1 4202496 3025 0 0 0 25 0 0 0 21 0 1 0 1121894566 12816384 2981 4294967295 134512640 135237372 3216668400 3216667268 134886558 0 0 0 0 0 0 0 17 0 0 0 0
/proc/673/statm: 3129 2981 75 177 0 2951 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 12516

[startup+0.708973 s]
/proc/loadavg: 8.07 8.21 7.62 7/113 673
/proc/meminfo: memFree=2201424/3368532 swapFree=1953000/1959888
[pid=673] ppid=671 vsize=17276 CPUtime=0.35
/proc/673/stat : 673 (ttsth-5-0) R 671 673 14986 0 -1 4202496 4177 0 0 0 35 0 0 0 21 0 1 0 1121894566 17690624 4133 4294967295 134512640 135237372 3216668400 3216668048 134523259 0 0 0 0 0 0 0 17 0 0 0 0
/proc/673/statm: 4319 4133 75 177 0 4141 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 17276

[startup+1.50891 s]
/proc/loadavg: 7.83 8.15 7.60 6/114 674
/proc/meminfo: memFree=2173896/3368532 swapFree=1953000/1959888
[pid=673] ppid=671 vsize=35296 CPUtime=0.75
/proc/673/stat : 673 (ttsth-5-0) R 671 673 14986 0 -1 4202496 8614 0 0 0 74 1 0 0 22 0 1 0 1121894566 36143104 8570 4294967295 134512640 135237372 3216668400 3216668048 134524807 0 0 0 0 0 0 0 17 0 0 0 0
/proc/673/statm: 8824 8570 75 177 0 8646 0
Current children cumulated CPU time (s) 0.75
Current children cumulated vsize (KiB) 35296

[startup+3.10879 s]
/proc/loadavg: 7.83 8.15 7.60 7/114 674
/proc/meminfo: memFree=2151424/3368532 swapFree=1953000/1959888
[pid=673] ppid=671 vsize=72612 CPUtime=1.55
/proc/673/stat : 673 (ttsth-5-0) R 671 673 14986 0 -1 4202496 17185 0 0 0 152 3 0 0 25 0 1 0 1121894566 74354688 17141 4294967295 134512640 135237372 3216668400 3216667752 134731069 0 0 0 0 0 0 0 17 0 0 0 0
/proc/673/statm: 18153 17141 76 177 0 17975 0
Current children cumulated CPU time (s) 1.55
Current children cumulated vsize (KiB) 72612
heavy processes:
  %CPU=86 pid=12341 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/Isolet/isoletTrain.arff /users/tao/kegl/Research/Sam
  %CPU=86 pid=12739 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/Isolet/isoletTrain.arff /users/tao/kegl/Research/Sam
  %CPU=86 pid=13124 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/LetterRecognition/letterTrain.arff /users/tao/kegl/R
  %CPU=87 pid=13512 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/LetterRecognition/letterTrain.arff /users/tao/kegl/R

[startup+6.30853 s]
/proc/loadavg: 7.83 8.15 7.60 6/114 674
/proc/meminfo: memFree=2085380/3368532 swapFree=1953000/1959888
[pid=673] ppid=671 vsize=129612 CPUtime=3.15
/proc/673/stat : 673 (ttsth-5-0) R 671 673 14986 0 -1 4202496 31052 0 0 0 306 9 0 0 25 0 1 0 1121894566 132722688 31007 4294967295 134512640 135237372 3216668400 3216667392 134680226 0 0 0 0 0 0 0 17 0 0 0 0
/proc/673/statm: 32403 31007 76 177 0 32225 0
Current children cumulated CPU time (s) 3.15
Current children cumulated vsize (KiB) 129612
heavy processes:
  %CPU=86 pid=12341 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/Isolet/isoletTrain.arff /users/tao/kegl/Research/Sam
  %CPU=86 pid=12739 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/Isolet/isoletTrain.arff /users/tao/kegl/Research/Sam
  %CPU=86 pid=13124 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/LetterRecognition/letterTrain.arff /users/tao/kegl/R
  %CPU=87 pid=13512 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/LetterRecognition/letterTrain.arff /users/tao/kegl/R

[startup+12.708 s]
/proc/loadavg: 7.39 8.05 7.58 6/114 674
/proc/meminfo: memFree=2040268/3368532 swapFree=1953000/1959888
[pid=673] ppid=671 vsize=167068 CPUtime=6.35
/proc/673/stat : 673 (ttsth-5-0) R 671 673 14986 0 -1 4202496 44904 0 0 0 621 14 0 0 25 0 1 0 1121894566 171077632 40722 4294967295 134512640 135237372 3216668400 3216667760 134600972 0 0 0 0 0 0 0 17 0 0 0 0
/proc/673/statm: 41767 40722 77 177 0 41589 0
Current children cumulated CPU time (s) 6.35
Current children cumulated vsize (KiB) 167068
heavy processes:
  %CPU=86 pid=12341 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/Isolet/isoletTrain.arff /users/tao/kegl/Research/Sam
  %CPU=86 pid=12739 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/Isolet/isoletTrain.arff /users/tao/kegl/Research/Sam
  %CPU=86 pid=13124 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/LetterRecognition/letterTrain.arff /users/tao/kegl/R
  %CPU=87 pid=13512 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/LetterRecognition/letterTrain.arff /users/tao/kegl/R

[startup+25.517 s]
/proc/loadavg: 7.02 7.95 7.55 6/114 677
/proc/meminfo: memFree=2039928/3368532 swapFree=1953000/1959888
[pid=673] ppid=671 vsize=167260 CPUtime=12.76
/proc/673/stat : 673 (ttsth-5-0) R 671 673 14986 0 -1 4202496 44969 0 0 0 1262 14 0 0 25 0 1 0 1121894566 171274240 40787 4294967295 134512640 135237372 3216668400 3216667728 134555272 0 0 0 0 0 0 0 17 0 0 0 0
/proc/673/statm: 41815 40787 77 177 0 41637 0
Current children cumulated CPU time (s) 12.76
Current children cumulated vsize (KiB) 167260
heavy processes:
  %CPU=86 pid=12341 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/Isolet/isoletTrain.arff /users/tao/kegl/Research/Sam
  %CPU=86 pid=12739 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/Isolet/isoletTrain.arff /users/tao/kegl/Research/Sam
  %CPU=86 pid=13124 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/LetterRecognition/letterTrain.arff /users/tao/kegl/R
  %CPU=87 pid=13512 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/LetterRecognition/letterTrain.arff /users/tao/kegl/R

[startup+51.105 s]
/proc/loadavg: 6.41 7.73 7.48 7/115 725
/proc/meminfo: memFree=2037540/3368532 swapFree=1953000/1959888
[pid=673] ppid=671 vsize=168112 CPUtime=25.55
/proc/673/stat : 673 (ttsth-5-0) R 671 673 14986 0 -1 4202496 45156 0 0 0 2540 15 0 0 25 0 1 0 1121894566 172146688 40974 4294967295 134512640 135237372 3216668400 3216667728 134555272 0 0 0 0 0 0 0 17 0 0 0 0
/proc/673/statm: 42028 40974 77 177 0 41850 0
Current children cumulated CPU time (s) 25.55
Current children cumulated vsize (KiB) 168112
heavy processes:
  %CPU=86 pid=12341 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/Isolet/isoletTrain.arff /users/tao/kegl/Research/Sam
  %CPU=86 pid=12739 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/Isolet/isoletTrain.arff /users/tao/kegl/Research/Sam
  %CPU=86 pid=13124 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/LetterRecognition/letterTrain.arff /users/tao/kegl/R
  %CPU=87 pid=13512 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/LetterRecognition/letterTrain.arff /users/tao/kegl/R

[startup+102.311 s]
/proc/loadavg: 5.91 7.37 7.37 6/114 870
/proc/meminfo: memFree=2035272/3368532 swapFree=1953000/1959888
[pid=673] ppid=671 vsize=169620 CPUtime=51.16
/proc/673/stat : 673 (ttsth-5-0) R 671 673 14986 0 -1 4202496 45517 0 0 0 5101 15 0 0 25 0 1 0 1121894566 173690880 41335 4294967295 134512640 135237372 3216668400 3216667728 134555272 0 0 0 0 0 0 0 17 0 0 0 0
/proc/673/statm: 42405 41335 77 177 0 42227 0
Current children cumulated CPU time (s) 51.16
Current children cumulated vsize (KiB) 169620
heavy processes:
  %CPU=86 pid=12341 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/Isolet/isoletTrain.arff /users/tao/kegl/Research/Sam
  %CPU=86 pid=12739 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/Isolet/isoletTrain.arff /users/tao/kegl/Research/Sam
  %CPU=86 pid=13124 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/LetterRecognition/letterTrain.arff /users/tao/kegl/R
  %CPU=87 pid=13512 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/LetterRecognition/letterTrain.arff /users/tao/kegl/R

[startup+162.316 s]
/proc/loadavg: 5.77 7.07 7.27 6/114 1067
/proc/meminfo: memFree=2032048/3368532 swapFree=1953000/1959888
[pid=673] ppid=671 vsize=171448 CPUtime=82.97
/proc/673/stat : 673 (ttsth-5-0) R 671 673 14986 0 -1 4202496 45899 0 0 0 8282 15 0 0 25 0 1 0 1121894566 175562752 41717 4294967295 134512640 135237372 3216668400 3216667760 134600972 0 0 0 0 0 0 0 17 0 0 0 0
/proc/673/statm: 42862 41717 77 177 0 42684 0
Current children cumulated CPU time (s) 82.97
Current children cumulated vsize (KiB) 171448
heavy processes:
  %CPU=86 pid=12341 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/Isolet/isoletTrain.arff /users/tao/kegl/Research/Sam
  %CPU=86 pid=12739 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/Isolet/isoletTrain.arff /users/tao/kegl/Research/Sam
  %CPU=86 pid=13124 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/LetterRecognition/letterTrain.arff /users/tao/kegl/R
  %CPU=87 pid=13512 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/LetterRecognition/letterTrain.arff /users/tao/kegl/R

[startup+222.312 s]
/proc/loadavg: 5.62 6.80 7.16 7/114 1256
/proc/meminfo: memFree=2028460/3368532 swapFree=1953000/1959888
[pid=673] ppid=671 vsize=173164 CPUtime=125.05
/proc/673/stat : 673 (ttsth-5-0) R 671 673 14986 0 -1 4202496 46399 0 0 0 12489 16 0 0 25 0 1 0 1121894566 177319936 42217 4294967295 134512640 135237372 3216668400 3216667760 134600960 0 0 0 0 0 0 0 17 0 0 0 0
/proc/673/statm: 43291 42217 77 177 0 43113 0
Current children cumulated CPU time (s) 125.05
Current children cumulated vsize (KiB) 173164
heavy processes:
  %CPU=86 pid=12341 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/Isolet/isoletTrain.arff /users/tao/kegl/Research/Sam
  %CPU=86 pid=12739 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/Isolet/isoletTrain.arff /users/tao/kegl/Research/Sam
  %CPU=86 pid=13124 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/LetterRecognition/letterTrain.arff /users/tao/kegl/R
  %CPU=87 pid=13512 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/LetterRecognition/letterTrain.arff /users/tao/kegl/R

[startup+282.307 s]
/proc/loadavg: 5.90 6.65 7.08 8/114 1445
/proc/meminfo: memFree=2025484/3368532 swapFree=1953000/1959888
[pid=673] ppid=671 vsize=175236 CPUtime=155.05
/proc/673/stat : 673 (ttsth-5-0) R 671 673 14986 0 -1 4202496 46680 0 0 0 15489 16 0 0 25 0 1 0 1121894566 179441664 42498 4294967295 134512640 135237372 3216668400 3216667760 134600975 0 0 0 0 0 0 0 17 0 0 0 0
/proc/673/statm: 43809 42498 77 177 0 43631 0
Current children cumulated CPU time (s) 155.05
Current children cumulated vsize (KiB) 175236
heavy processes:
  %CPU=86 pid=12341 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/Isolet/isoletTrain.arff /users/tao/kegl/Research/Sam
  %CPU=86 pid=12739 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/Isolet/isoletTrain.arff /users/tao/kegl/Research/Sam
  %CPU=86 pid=13124 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/LetterRecognition/letterTrain.arff /users/tao/kegl/R
  %CPU=87 pid=13512 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/LetterRecognition/letterTrain.arff /users/tao/kegl/R

[startup+342.312 s]
/proc/loadavg: 5.99 6.53 7.01 6/114 1636
/proc/meminfo: memFree=2022624/3368532 swapFree=1953000/1959888
[pid=673] ppid=671 vsize=175368 CPUtime=185.05
/proc/673/stat : 673 (ttsth-5-0) R 671 673 14986 0 -1 4202496 46712 0 0 0 18489 16 0 0 25 0 1 0 1121894566 179576832 42530 4294967295 134512640 135237372 3216668400 3216667760 134600966 0 0 0 0 0 0 0 17 0 0 0 0
/proc/673/statm: 43842 42530 77 177 0 43664 0
Current children cumulated CPU time (s) 185.05
Current children cumulated vsize (KiB) 175368
heavy processes:
  %CPU=86 pid=12341 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/Isolet/isoletTrain.arff /users/tao/kegl/Research/Sam
  %CPU=86 pid=12739 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/Isolet/isoletTrain.arff /users/tao/kegl/Research/Sam
  %CPU=86 pid=13124 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/LetterRecognition/letterTrain.arff /users/tao/kegl/R
  %CPU=87 pid=13512 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/LetterRecognition/letterTrain.arff /users/tao/kegl/R

[startup+402.308 s]
/proc/loadavg: 5.84 6.37 6.93 7/114 1823
/proc/meminfo: memFree=2020268/3368532 swapFree=1953000/1959888
[pid=673] ppid=671 vsize=175500 CPUtime=215.05
/proc/673/stat : 673 (ttsth-5-0) R 671 673 14986 0 -1 4202496 46733 0 0 0 21489 16 0 0 25 0 1 0 1121894566 179712000 42551 4294967295 134512640 135237372 3216668400 3216667760 134600975 0 0 0 0 0 0 0 17 0 0 0 0
/proc/673/statm: 43875 42551 77 177 0 43697 0
Current children cumulated CPU time (s) 215.05
Current children cumulated vsize (KiB) 175500
heavy processes:
  %CPU=86 pid=12341 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/Isolet/isoletTrain.arff /users/tao/kegl/Research/Sam
  %CPU=86 pid=12739 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/Isolet/isoletTrain.arff /users/tao/kegl/Research/Sam
  %CPU=86 pid=13124 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/LetterRecognition/letterTrain.arff /users/tao/kegl/R
  %CPU=87 pid=13512 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/LetterRecognition/letterTrain.arff /users/tao/kegl/R

[startup+462.303 s]
/proc/loadavg: 5.82 6.25 6.85 8/115 1975
/proc/meminfo: memFree=2017880/3368532 swapFree=1953000/1959888
[pid=673] ppid=671 vsize=175500 CPUtime=245.07
/proc/673/stat : 673 (ttsth-5-0) R 671 673 14986 0 -1 4202496 46761 0 0 0 24491 16 0 0 25 0 1 0 1121894566 179712000 42579 4294967295 134512640 135237372 3216668400 3216667760 134600966 0 0 0 0 0 0 0 17 0 0 0 0
/proc/673/statm: 43875 42579 77 177 0 43697 0
Current children cumulated CPU time (s) 245.07
Current children cumulated vsize (KiB) 175500
heavy processes:
  %CPU=86 pid=12341 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/Isolet/isoletTrain.arff /users/tao/kegl/Research/Sam
  %CPU=86 pid=12739 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/Isolet/isoletTrain.arff /users/tao/kegl/Research/Sam
  %CPU=86 pid=13124 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/LetterRecognition/letterTrain.arff /users/tao/kegl/R
  %CPU=87 pid=13512 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/LetterRecognition/letterTrain.arff /users/tao/kegl/R

[startup+522.319 s]
/proc/loadavg: 5.65 6.11 6.76 7/115 2118
/proc/meminfo: memFree=2016868/3368532 swapFree=1953000/1959888
[pid=673] ppid=671 vsize=175632 CPUtime=275.05
/proc/673/stat : 673 (ttsth-5-0) R 671 673 14986 0 -1 4202496 46786 0 0 0 27489 16 0 0 25 0 1 0 1121894566 179847168 42604 4294967295 134512640 135237372 3216668400 3216667760 134600975 0 0 0 0 0 0 0 17 2 0 0 0
/proc/673/statm: 43908 42604 77 177 0 43730 0
Current children cumulated CPU time (s) 275.05
Current children cumulated vsize (KiB) 175632
heavy processes:
  %CPU=86 pid=12341 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/Isolet/isoletTrain.arff /users/tao/kegl/Research/Sam
  %CPU=86 pid=12739 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/Isolet/isoletTrain.arff /users/tao/kegl/Research/Sam
  %CPU=86 pid=13124 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/LetterRecognition/letterTrain.arff /users/tao/kegl/R
  %CPU=87 pid=13512 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/LetterRecognition/letterTrain.arff /users/tao/kegl/R

[startup+582.314 s]
/proc/loadavg: 5.46 5.98 6.67 7/115 2261
/proc/meminfo: memFree=2015732/3368532 swapFree=1953000/1959888
[pid=673] ppid=671 vsize=175632 CPUtime=305.05
/proc/673/stat : 673 (ttsth-5-0) R 671 673 14986 0 -1 4202496 46803 0 0 0 30489 16 0 0 25 0 1 0 1121894566 179847168 42621 4294967295 134512640 135237372 3216668400 3216667760 134600975 0 0 0 0 0 0 0 17 2 0 0 0
/proc/673/statm: 43908 42621 77 177 0 43730 0
Current children cumulated CPU time (s) 305.05
Current children cumulated vsize (KiB) 175632
heavy processes:
  %CPU=86 pid=12341 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/Isolet/isoletTrain.arff /users/tao/kegl/Research/Sam
  %CPU=86 pid=12739 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/Isolet/isoletTrain.arff /users/tao/kegl/Research/Sam
  %CPU=86 pid=13124 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/LetterRecognition/letterTrain.arff /users/tao/kegl/R
  %CPU=87 pid=13512 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/LetterRecognition/letterTrain.arff /users/tao/kegl/R

[startup+642.309 s]
/proc/loadavg: 5.42 5.90 6.60 7/115 2434
/proc/meminfo: memFree=2014664/3368532 swapFree=1953000/1959888
[pid=673] ppid=671 vsize=175764 CPUtime=335.05
/proc/673/stat : 673 (ttsth-5-0) R 671 673 14986 0 -1 4202496 46822 0 0 0 33489 16 0 0 25 0 1 0 1121894566 179982336 42640 4294967295 134512640 135237372 3216668400 3216667760 134600975 0 0 0 0 0 0 0 17 2 0 0 0
/proc/673/statm: 43941 42640 77 177 0 43763 0
Current children cumulated CPU time (s) 335.05
Current children cumulated vsize (KiB) 175764
heavy processes:
  %CPU=25 pid=2442 uid=0 cmd=
  %CPU=86 pid=12341 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/Isolet/isoletTrain.arff /users/tao/kegl/Research/Sam
  %CPU=86 pid=12739 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/Isolet/isoletTrain.arff /users/tao/kegl/Research/Sam
  %CPU=86 pid=13124 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/LetterRecognition/letterTrain.arff /users/tao/kegl/R
  %CPU=87 pid=13512 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/LetterRecognition/letterTrain.arff /users/tao/kegl/R

[startup+702.305 s]
/proc/loadavg: 5.58 5.86 6.54 6/114 2590
/proc/meminfo: memFree=2013084/3368532 swapFree=1953000/1959888
[pid=673] ppid=671 vsize=175896 CPUtime=365.05
/proc/673/stat : 673 (ttsth-5-0) R 671 673 14986 0 -1 4202496 46846 0 0 0 36489 16 0 0 25 0 1 0 1121894566 180117504 42664 4294967295 134512640 135237372 3216668400 3216667760 134600966 0 0 0 0 0 0 0 17 2 0 0 0
/proc/673/statm: 43974 42664 77 177 0 43796 0
Current children cumulated CPU time (s) 365.05
Current children cumulated vsize (KiB) 175896
heavy processes:
  %CPU=87 pid=12341 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/Isolet/isoletTrain.arff /users/tao/kegl/Research/Sam
  %CPU=86 pid=12739 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/Isolet/isoletTrain.arff /users/tao/kegl/Research/Sam
  %CPU=86 pid=13124 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/LetterRecognition/letterTrain.arff /users/tao/kegl/R
  %CPU=87 pid=13512 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/LetterRecognition/letterTrain.arff /users/tao/kegl/R

[startup+762.31 s]
/proc/loadavg: 5.48 5.79 6.48 7/114 2783
/proc/meminfo: memFree=2011100/3368532 swapFree=1953000/1959888
[pid=673] ppid=671 vsize=175896 CPUtime=395.07
/proc/673/stat : 673 (ttsth-5-0) R 671 673 14986 0 -1 4202496 46871 0 0 0 39491 16 0 0 25 0 1 0 1121894566 180117504 42689 4294967295 134512640 135237372 3216668400 3216667760 134600975 0 0 0 0 0 0 0 17 0 0 0 0
/proc/673/statm: 43974 42689 77 177 0 43796 0
Current children cumulated CPU time (s) 395.07
Current children cumulated vsize (KiB) 175896
heavy processes:
  %CPU=87 pid=12341 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/Isolet/isoletTrain.arff /users/tao/kegl/Research/Sam
  %CPU=86 pid=12739 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/Isolet/isoletTrain.arff /users/tao/kegl/Research/Sam
  %CPU=86 pid=13124 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/LetterRecognition/letterTrain.arff /users/tao/kegl/R
  %CPU=87 pid=13512 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/LetterRecognition/letterTrain.arff /users/tao/kegl/R

[startup+822.305 s]
/proc/loadavg: 5.48 5.75 6.42 7/114 2973
/proc/meminfo: memFree=2009240/3368532 swapFree=1953000/1959888
[pid=673] ppid=671 vsize=176028 CPUtime=425.07
/proc/673/stat : 673 (ttsth-5-0) R 671 673 14986 0 -1 4202496 46892 0 0 0 42491 16 0 0 25 0 1 0 1121894566 180252672 42710 4294967295 134512640 135237372 3216668400 3216667760 134600966 0 0 0 0 0 0 0 17 0 0 0 0
/proc/673/statm: 44007 42710 77 177 0 43829 0
Current children cumulated CPU time (s) 425.07
Current children cumulated vsize (KiB) 176028
heavy processes:
  %CPU=87 pid=12341 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/Isolet/isoletTrain.arff /users/tao/kegl/Research/Sam
  %CPU=86 pid=12739 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/Isolet/isoletTrain.arff /users/tao/kegl/Research/Sam
  %CPU=86 pid=13124 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/LetterRecognition/letterTrain.arff /users/tao/kegl/R
  %CPU=87 pid=13512 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/LetterRecognition/letterTrain.arff /users/tao/kegl/R

[startup+882.311 s]
/proc/loadavg: 5.55 5.72 6.36 6/114 3168
/proc/meminfo: memFree=2007008/3368532 swapFree=1953000/1959888
[pid=673] ppid=671 vsize=176028 CPUtime=455.08
/proc/673/stat : 673 (ttsth-5-0) R 671 673 14986 0 -1 4202496 46918 0 0 0 45492 16 0 0 25 0 1 0 1121894566 180252672 42736 4294967295 134512640 135237372 3216668400 3216667760 134600966 0 0 0 0 0 0 0 17 0 0 0 0
/proc/673/statm: 44007 42736 77 177 0 43829 0
Current children cumulated CPU time (s) 455.08
Current children cumulated vsize (KiB) 176028
heavy processes:
  %CPU=87 pid=12341 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/Isolet/isoletTrain.arff /users/tao/kegl/Research/Sam
  %CPU=86 pid=12739 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/Isolet/isoletTrain.arff /users/tao/kegl/Research/Sam
  %CPU=86 pid=13124 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/LetterRecognition/letterTrain.arff /users/tao/kegl/R
  %CPU=87 pid=13512 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/LetterRecognition/letterTrain.arff /users/tao/kegl/R

[startup+942.316 s]
/proc/loadavg: 5.67 5.72 6.32 6/114 3360
/proc/meminfo: memFree=2004892/3368532 swapFree=1953000/1959888
[pid=673] ppid=671 vsize=176160 CPUtime=485.09
/proc/673/stat : 673 (ttsth-5-0) R 671 673 14986 0 -1 4202496 46936 0 0 0 48493 16 0 0 25 0 1 0 1121894566 180387840 42754 4294967295 134512640 135237372 3216668400 3216667760 134600978 0 0 0 0 0 0 0 17 0 0 0 0
/proc/673/statm: 44040 42754 77 177 0 43862 0
Current children cumulated CPU time (s) 485.09
Current children cumulated vsize (KiB) 176160
heavy processes:
  %CPU=87 pid=12341 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/Isolet/isoletTrain.arff /users/tao/kegl/Research/Sam
  %CPU=86 pid=12739 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/Isolet/isoletTrain.arff /users/tao/kegl/Research/Sam
  %CPU=86 pid=13124 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/LetterRecognition/letterTrain.arff /users/tao/kegl/R
  %CPU=87 pid=13512 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/LetterRecognition/letterTrain.arff /users/tao/kegl/R



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000.01 s]
/proc/loadavg: 5.71 5.71 6.28 6/114 3571
/proc/meminfo: memFree=2002412/3368532 swapFree=1953000/1959888
[pid=673] ppid=671 vsize=176160 CPUtime=513.95
/proc/673/stat : 673 (ttsth-5-0) R 671 673 14986 0 -1 4202496 46962 0 0 0 51379 16 0 0 25 0 1 0 1121894566 180387840 42780 4294967295 134512640 135237372 3216668400 3216667760 134600975 0 0 0 0 0 0 0 17 0 0 0 0
/proc/673/statm: 44040 42780 77 177 0 43862 0
Current children cumulated CPU time (s) 513.95
Current children cumulated vsize (KiB) 176160
heavy processes:
  %CPU=87 pid=12341 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/Isolet/isoletTrain.arff /users/tao/kegl/Research/Sam
  %CPU=86 pid=12739 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/Isolet/isoletTrain.arff /users/tao/kegl/Research/Sam
  %CPU=86 pid=13124 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/LetterRecognition/letterTrain.arff /users/tao/kegl/R
  %CPU=87 pid=13512 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/LetterRecognition/letterTrain.arff /users/tao/kegl/R

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1000.08
CPU time (s): 513.96
CPU user time (s): 513.79
CPU system time (s): 0.17
CPU usage (%): 51.3918
Max. virtual memory (cumulated for all children) (KiB): 176160

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 513.79
system time used= 0.17
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46962
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= 1
involuntary context switches= 7155

runsolver used 0 second user time and 0 second system time

The end

Launcher Data 

Begin job on tipi45 at 2009-05-30 11:59:31
IDJOB=1778923
IDBENCH=70782
IDSOLVER=632
FILE ID=tipi45/1778923-1243677571
PBS_JOBID=
Free space on /tmp= 15486 MiB

SOLVER NAME= ttsth-5-0 2009-03-19 (4 threads)
BENCH NAME= SAT09/APPLICATIONS/bitverif/countbitssrl/countbitssrl128.cnf
COMMAND LINE= HOME/ttsth-5-0 -num-threads MAXNBTHREAD BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1778923-1243677571/watcher-1778923-1243677571 -o /tmp/evaluation-result-1778923-1243677571/solver-1778923-1243677571 -C 10000 -W 1000 -M 2047  HOME/ttsth-5-0 -num-threads 4 HOME/instance-1778923-1243677571.cnf

TIME LIMIT= 10000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 4

MD5SUM BENCH= d464f22dd212ad9afa317dae82dd7350
RANDOM SEED= 320310423

Linux tipi45 2.6.21.5 #6 SMP Wed Jul 4 17:16:38 CEST 2007 i686 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU            5130  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.081
cache size	: 4096 KB
physical id	: 0
siblings	: 2
core id		: 0
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
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 pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 3992.41
clflush size	: 64

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU            5130  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.081
cache size	: 4096 KB
physical id	: 0
siblings	: 2
core id		: 1
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
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 pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 3990.10
clflush size	: 64

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU            5130  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.081
cache size	: 4096 KB
physical id	: 3
siblings	: 2
core id		: 0
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
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 pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 3990.16
clflush size	: 64

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU            5130  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.081
cache size	: 4096 KB
physical id	: 3
siblings	: 2
core id		: 1
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
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 pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 3990.14
clflush size	: 64


/proc/meminfo:
MemTotal:      3368532 kB
MemFree:       2203100 kB
Buffers:         32020 kB
Cached:         593784 kB
SwapCached:       1892 kB
Active:         547444 kB
Inactive:       537732 kB
HighTotal:     2489216 kB
HighFree:      1443584 kB
LowTotal:       879316 kB
LowFree:        759516 kB
SwapTotal:     1959888 kB
SwapFree:      1953000 kB
Dirty:           19432 kB
Writeback:           0 kB
AnonPages:      458856 kB
Mapped:           6492 kB
Slab:            67636 kB
SReclaimable:    55732 kB
SUnreclaim:      11904 kB
PageTables:       1116 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:   546944 kB
VmallocTotal:   114680 kB
VmallocUsed:     17900 kB
VmallocChunk:    96244 kB

Free space on /tmp at the end= 15486 MiB
End job on tipi45 at 2009-05-30 12:16:15