Trace number 1780558

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) 791.72 1000.04

General information on the benchmark

NameAPPLICATIONS/diagnosis/
ACG-20-5p1.cnf
MD5SUM8eb175d312e8be3bb4695a79b8f45bdc
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1870.47
Satisfiable
(Un)Satisfiability was proved
Number of variables331196
Number of clauses1416850
Sum of the clauses size3333531
Maximum clause length10
Minimum clause length1
Number of clauses of size 111403
Number of clauses of size 21064373
Number of clauses of size 3284354
Number of clauses of size 46300
Number of clauses of size 525200
Number of clauses of size over 525220

Solver Data 

78.22/155.40	c Command: HOME/ttsth-5-0 -num-threads 4 HOME/instance-1780558-1243682810.cnf 
78.22/155.40	c Using SATTIMEOUT of 10000
78.22/155.40	c Using SATRAM of 2047
78.22/155.40	c Size of subset node = 16
78.22/155.40	c Variables = 331196
78.22/155.40	c Clauses = 1416850
78.22/155.40	c Literals = 3333531
78.22/155.40	c Reduced size:
78.22/155.40	c Variables = 331196
78.22/155.40	c Clauses = 1151223
78.22/155.40	c Literals = 2745847
78.22/155.40	c a2
80.43/159.84	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-1780558-1243682810/watcher-1780558-1243682810 -o /tmp/evaluation-result-1780558-1243682810/solver-1780558-1243682810 -C 10000 -W 1000 -M 2047 HOME/ttsth-5-0 -num-threads 4 HOME/instance-1780558-1243682810.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

[startup+0 s]
/proc/loadavg: 5.76 5.58 5.95 8/114 16949
/proc/meminfo: memFree=2628184/3368532 swapFree=1953000/1959888
[pid=16949] ppid=16947 vsize=9588 CPUtime=0
/proc/16949/stat : 16949 (runsolver) R 16947 14986 14986 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 1 0 1122418655 9818112 13 4294967295 134512640 135670194 3214023536 3214021288 135164789 0 0 0 24578 0 0 0 17 2 0 0 0
/proc/16949/statm: 2397 13 0 283 0 2112 0
Current StackSize limit: 8192 KiB


[startup+0.223496 s]
/proc/loadavg: 5.76 5.58 5.95 8/114 16949
/proc/meminfo: memFree=2628184/3368532 swapFree=1953000/1959888
[pid=16949] ppid=16947 vsize=9100 CPUtime=0.16
/proc/16949/stat : 16949 (ttsth-5-0) R 16947 16949 14986 0 -1 4202496 2161 0 0 0 14 2 0 0 18 0 1 0 1122418655 9318400 2117 4294967295 134512640 135237372 3220677312 3220675836 134639534 0 0 0 0 0 0 0 17 1 0 0 0
/proc/16949/statm: 2275 2118 75 177 0 2097 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 9100

[startup+0.313484 s]
/proc/loadavg: 5.76 5.58 5.95 8/114 16949
/proc/meminfo: memFree=2628184/3368532 swapFree=1953000/1959888
[pid=16949] ppid=16947 vsize=14260 CPUtime=0.25
/proc/16949/stat : 16949 (ttsth-5-0) R 16947 16949 14986 0 -1 4202496 3379 0 0 0 22 3 0 0 18 0 1 0 1122418655 14602240 3335 4294967295 134512640 135237372 3220677312 3220675836 134639534 0 0 0 0 0 0 0 17 1 0 0 0
/proc/16949/statm: 3565 3336 75 177 0 3387 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 14260

[startup+0.413477 s]
/proc/loadavg: 5.76 5.58 5.95 8/114 16949
/proc/meminfo: memFree=2628184/3368532 swapFree=1953000/1959888
[pid=16949] ppid=16947 vsize=20016 CPUtime=0.35
/proc/16949/stat : 16949 (ttsth-5-0) R 16947 16949 14986 0 -1 4202496 4737 0 0 0 31 4 0 0 18 0 1 0 1122418655 20496384 4693 4294967295 134512640 135237372 3220677312 3220676836 134762750 0 0 0 0 0 0 0 17 1 0 0 0
/proc/16949/statm: 5004 4694 75 177 0 4826 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 20016

[startup+0.71345 s]
/proc/loadavg: 5.76 5.58 5.95 8/114 16949
/proc/meminfo: memFree=2628184/3368532 swapFree=1953000/1959888
[pid=16949] ppid=16947 vsize=34128 CPUtime=0.65
/proc/16949/stat : 16949 (ttsth-5-0) R 16947 16949 14986 0 -1 4202496 8278 0 0 0 58 7 0 0 18 0 1 0 1122418655 34947072 8234 4294967295 134512640 135237372 3220677312 3220675836 134639534 0 0 0 0 0 0 0 17 1 0 0 0
/proc/16949/statm: 8532 8235 75 177 0 8354 0
Current children cumulated CPU time (s) 0.65
Current children cumulated vsize (KiB) 34128

[startup+1.51339 s]
/proc/loadavg: 5.76 5.58 5.95 7/115 16960
/proc/meminfo: memFree=2578104/3368532 swapFree=1953000/1959888
[pid=16949] ppid=16947 vsize=56880 CPUtime=1.12
/proc/16949/stat : 16949 (ttsth-5-0) R 16947 16949 14986 0 -1 4202496 14003 0 0 0 103 9 0 0 19 0 1 0 1122418655 58245120 13959 4294967295 134512640 135237372 3220677312 3220676108 134639534 0 0 0 0 0 0 0 17 1 0 0 0
/proc/16949/statm: 14220 13959 75 177 0 14042 0
Current children cumulated CPU time (s) 1.12
Current children cumulated vsize (KiB) 56880

[startup+3.11327 s]
/proc/loadavg: 5.76 5.58 5.95 8/115 16969
/proc/meminfo: memFree=2555608/3368532 swapFree=1953000/1959888
[pid=16949] ppid=16947 vsize=99080 CPUtime=1.92
/proc/16949/stat : 16949 (ttsth-5-0) R 16947 16949 14986 0 -1 4202496 22562 0 0 0 175 17 0 0 21 0 1 0 1122418655 101457920 22518 4294967295 134512640 135237372 3220677312 3220676980 134522684 0 0 0 0 0 0 0 17 1 0 0 0
/proc/16949/statm: 24770 22518 75 177 0 24592 0
Current children cumulated CPU time (s) 1.92
Current children cumulated vsize (KiB) 99080
heavy processes:
  %CPU=85 pid=12341 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/Isolet/isoletTrain.arff /users/tao/kegl/Research/Sam
  %CPU=85 pid=12739 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/Isolet/isoletTrain.arff /users/tao/kegl/Research/Sam
  %CPU=85 pid=13124 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/LetterRecognition/letterTrain.arff /users/tao/kegl/R
  %CPU=86 pid=13512 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/LetterRecognition/letterTrain.arff /users/tao/kegl/R

[startup+6.31302 s]
/proc/loadavg: 5.78 5.59 5.95 7/115 16995
/proc/meminfo: memFree=2532628/3368532 swapFree=1953000/1959888
[pid=16949] ppid=16947 vsize=99080 CPUtime=3.52
/proc/16949/stat : 16949 (ttsth-5-0) R 16947 16949 14986 0 -1 4202496 23854 0 0 0 334 18 0 0 25 0 1 0 1122418655 101457920 23810 4294967295 134512640 135237372 3220677312 3220677004 134533944 0 0 0 0 0 0 0 17 1 0 0 0
/proc/16949/statm: 24770 23810 75 177 0 24592 0
Current children cumulated CPU time (s) 3.52
Current children cumulated vsize (KiB) 99080
heavy processes:
  %CPU=85 pid=12341 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/Isolet/isoletTrain.arff /users/tao/kegl/Research/Sam
  %CPU=85 pid=12739 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/Isolet/isoletTrain.arff /users/tao/kegl/Research/Sam
  %CPU=85 pid=13124 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/LetterRecognition/letterTrain.arff /users/tao/kegl/R
  %CPU=86 pid=13512 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/LetterRecognition/letterTrain.arff /users/tao/kegl/R

[startup+12.7125 s]
/proc/loadavg: 5.80 5.59 5.95 8/115 17050
/proc/meminfo: memFree=2531988/3368532 swapFree=1953000/1959888
[pid=16949] ppid=16947 vsize=99080 CPUtime=6.72
/proc/16949/stat : 16949 (ttsth-5-0) R 16947 16949 14986 0 -1 4202496 23854 0 0 0 654 18 0 0 25 0 1 0 1122418655 101457920 23810 4294967295 134512640 135237372 3220677312 3220677004 134534262 0 0 0 0 0 0 0 17 1 0 0 0
/proc/16949/statm: 24770 23810 75 177 0 24592 0
Current children cumulated CPU time (s) 6.72
Current children cumulated vsize (KiB) 99080
heavy processes:
  %CPU=85 pid=12341 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/Isolet/isoletTrain.arff /users/tao/kegl/Research/Sam
  %CPU=85 pid=12739 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/Isolet/isoletTrain.arff /users/tao/kegl/Research/Sam
  %CPU=85 pid=13124 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/LetterRecognition/letterTrain.arff /users/tao/kegl/R
  %CPU=86 pid=13512 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/LetterRecognition/letterTrain.arff /users/tao/kegl/R

[startup+25.5115 s]
/proc/loadavg: 5.69 5.58 5.94 6/114 17074
/proc/meminfo: memFree=2532008/3368532 swapFree=1953000/1959888
[pid=16949] ppid=16947 vsize=99080 CPUtime=13.12
/proc/16949/stat : 16949 (ttsth-5-0) R 16947 16949 14986 0 -1 4202496 23854 0 0 0 1294 18 0 0 25 0 1 0 1122418655 101457920 23810 4294967295 134512640 135237372 3220677312 3220677004 134534282 0 0 0 0 0 0 0 17 1 0 0 0
/proc/16949/statm: 24770 23810 75 177 0 24592 0
Current children cumulated CPU time (s) 13.12
Current children cumulated vsize (KiB) 99080
heavy processes:
  %CPU=85 pid=12341 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/Isolet/isoletTrain.arff /users/tao/kegl/Research/Sam
  %CPU=85 pid=12739 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/Isolet/isoletTrain.arff /users/tao/kegl/Research/Sam
  %CPU=85 pid=13124 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/LetterRecognition/letterTrain.arff /users/tao/kegl/R
  %CPU=86 pid=13512 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/LetterRecognition/letterTrain.arff /users/tao/kegl/R

[startup+51.1095 s]
/proc/loadavg: 5.58 5.56 5.92 6/114 17077
/proc/meminfo: memFree=2532088/3368532 swapFree=1953000/1959888
[pid=16949] ppid=16947 vsize=99080 CPUtime=26.02
/proc/16949/stat : 16949 (ttsth-5-0) R 16947 16949 14986 0 -1 4202496 23854 0 0 0 2584 18 0 0 25 0 1 0 1122418655 101457920 23810 4294967295 134512640 135237372 3220677312 3220677004 134534082 0 0 0 0 0 0 0 17 1 0 0 0
/proc/16949/statm: 24770 23810 75 177 0 24592 0
Current children cumulated CPU time (s) 26.02
Current children cumulated vsize (KiB) 99080
heavy processes:
  %CPU=85 pid=12341 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/Isolet/isoletTrain.arff /users/tao/kegl/Research/Sam
  %CPU=85 pid=12739 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/Isolet/isoletTrain.arff /users/tao/kegl/Research/Sam
  %CPU=85 pid=13124 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/LetterRecognition/letterTrain.arff /users/tao/kegl/R
  %CPU=86 pid=13512 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/LetterRecognition/letterTrain.arff /users/tao/kegl/R

[startup+102.306 s]
/proc/loadavg: 5.50 5.55 5.90 6/114 17267
/proc/meminfo: memFree=2530180/3368532 swapFree=1953000/1959888
[pid=16949] ppid=16947 vsize=99080 CPUtime=51.62
/proc/16949/stat : 16949 (ttsth-5-0) R 16947 16949 14986 0 -1 4202496 23854 0 0 0 5144 18 0 0 25 0 1 0 1122418655 101457920 23810 4294967295 134512640 135237372 3220677312 3220677004 134534215 0 0 0 0 0 0 0 17 1 0 0 0
/proc/16949/statm: 24770 23810 75 177 0 24592 0
Current children cumulated CPU time (s) 51.62
Current children cumulated vsize (KiB) 99080
heavy processes:
  %CPU=85 pid=12341 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/Isolet/isoletTrain.arff /users/tao/kegl/Research/Sam
  %CPU=85 pid=12739 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/Isolet/isoletTrain.arff /users/tao/kegl/Research/Sam
  %CPU=85 pid=13124 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/LetterRecognition/letterTrain.arff /users/tao/kegl/R
  %CPU=86 pid=13512 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/LetterRecognition/letterTrain.arff /users/tao/kegl/R

[startup+162.311 s]
/proc/loadavg: 5.59 5.57 5.88 7/114 17457
/proc/meminfo: memFree=2466228/3368532 swapFree=1953000/1959888
[pid=16949] ppid=16947 vsize=186764 CPUtime=81.71
/proc/16949/stat : 16949 (ttsth-5-0) R 16947 16949 14986 0 -1 4202496 59707 0 0 0 8144 27 0 0 25 0 1 0 1122418655 191246336 43242 4294967295 134512640 135237372 3220677312 3220676640 134555272 0 0 0 0 0 0 0 17 1 0 0 0
/proc/16949/statm: 46691 43242 77 177 0 46513 0
Current children cumulated CPU time (s) 81.71
Current children cumulated vsize (KiB) 186764
heavy processes:
  %CPU=85 pid=12341 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/Isolet/isoletTrain.arff /users/tao/kegl/Research/Sam
  %CPU=85 pid=12739 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/Isolet/isoletTrain.arff /users/tao/kegl/Research/Sam
  %CPU=85 pid=13124 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/LetterRecognition/letterTrain.arff /users/tao/kegl/R
  %CPU=86 pid=13512 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/LetterRecognition/letterTrain.arff /users/tao/kegl/R

[startup+222.316 s]
/proc/loadavg: 5.49 5.54 5.85 6/114 17645
/proc/meminfo: memFree=2404396/3368532 swapFree=1953000/1959888
[pid=16949] ppid=16947 vsize=222788 CPUtime=111.71
/proc/16949/stat : 16949 (ttsth-5-0) R 16947 16949 14986 0 -1 4202496 70750 0 0 0 11143 28 0 0 25 0 1 0 1122418655 228134912 54285 4294967295 134512640 135237372 3220677312 3220676672 134600960 0 0 0 0 0 0 0 17 1 0 0 0
/proc/16949/statm: 55697 54285 77 177 0 55519 0
Current children cumulated CPU time (s) 111.71
Current children cumulated vsize (KiB) 222788
heavy processes:
  %CPU=85 pid=12341 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/Isolet/isoletTrain.arff /users/tao/kegl/Research/Sam
  %CPU=85 pid=12739 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/Isolet/isoletTrain.arff /users/tao/kegl/Research/Sam
  %CPU=85 pid=13124 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/LetterRecognition/letterTrain.arff /users/tao/kegl/R
  %CPU=86 pid=13512 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/LetterRecognition/letterTrain.arff /users/tao/kegl/R

[startup+282.311 s]
/proc/loadavg: 5.63 5.55 5.83 6/114 17834
/proc/meminfo: memFree=2399144/3368532 swapFree=1953000/1959888
[pid=16949] ppid=16947 vsize=225540 CPUtime=141.71
/proc/16949/stat : 16949 (ttsth-5-0) R 16947 16949 14986 0 -1 4202496 71556 0 0 0 14143 28 0 0 25 0 1 0 1122418655 230952960 55091 4294967295 134512640 135237372 3220677312 3220676672 134600975 0 0 0 0 0 0 0 17 1 0 0 0
/proc/16949/statm: 56385 55091 77 177 0 56207 0
Current children cumulated CPU time (s) 141.71
Current children cumulated vsize (KiB) 225540
heavy processes:
  %CPU=85 pid=12341 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/Isolet/isoletTrain.arff /users/tao/kegl/Research/Sam
  %CPU=85 pid=12739 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/Isolet/isoletTrain.arff /users/tao/kegl/Research/Sam
  %CPU=85 pid=13124 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/LetterRecognition/letterTrain.arff /users/tao/kegl/R
  %CPU=86 pid=13512 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/LetterRecognition/letterTrain.arff /users/tao/kegl/R

[startup+342.317 s]
/proc/loadavg: 5.62 5.54 5.81 7/115 18003
/proc/meminfo: memFree=2394384/3368532 swapFree=1953000/1959888
[pid=16949] ppid=16947 vsize=229064 CPUtime=171.71
/proc/16949/stat : 16949 (ttsth-5-0) R 16947 16949 14986 0 -1 4202496 72316 0 0 0 17142 29 0 0 25 0 1 0 1122418655 234561536 55851 4294967295 134512640 135237372 3220677312 3220676672 134600960 0 0 0 0 0 0 0 17 1 0 0 0
/proc/16949/statm: 57266 55851 77 177 0 57088 0
Current children cumulated CPU time (s) 171.71
Current children cumulated vsize (KiB) 229064
heavy processes:
  %CPU=85 pid=12341 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/Isolet/isoletTrain.arff /users/tao/kegl/Research/Sam
  %CPU=85 pid=12739 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/Isolet/isoletTrain.arff /users/tao/kegl/Research/Sam
  %CPU=85 pid=13124 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/LetterRecognition/letterTrain.arff /users/tao/kegl/R
  %CPU=86 pid=13512 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/LetterRecognition/letterTrain.arff /users/tao/kegl/R

[startup+402.312 s]
/proc/loadavg: 5.44 5.50 5.78 7/115 18139
/proc/meminfo: memFree=2389508/3368532 swapFree=1953000/1959888
[pid=16949] ppid=16947 vsize=231176 CPUtime=201.71
/proc/16949/stat : 16949 (ttsth-5-0) R 16947 16949 14986 0 -1 4202496 73004 0 0 0 20142 29 0 0 25 0 1 0 1122418655 236724224 56539 4294967295 134512640 135237372 3220677312 3220676672 134600972 0 0 0 0 0 0 0 17 1 0 0 0
/proc/16949/statm: 57794 56539 77 177 0 57616 0
Current children cumulated CPU time (s) 201.71
Current children cumulated vsize (KiB) 231176
heavy processes:
  %CPU=85 pid=12341 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/Isolet/isoletTrain.arff /users/tao/kegl/Research/Sam
  %CPU=85 pid=12739 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/Isolet/isoletTrain.arff /users/tao/kegl/Research/Sam
  %CPU=85 pid=13124 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/LetterRecognition/letterTrain.arff /users/tao/kegl/R
  %CPU=86 pid=13512 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/LetterRecognition/letterTrain.arff /users/tao/kegl/R

[startup+462.307 s]
/proc/loadavg: 5.43 5.48 5.75 7/115 18312
/proc/meminfo: memFree=2385328/3368532 swapFree=1953000/1959888
[pid=16949] ppid=16947 vsize=232496 CPUtime=254.14
/proc/16949/stat : 16949 (ttsth-5-0) R 16947 16949 14986 0 -1 4202496 73452 0 0 0 25385 29 0 0 25 0 1 0 1122418655 238075904 56987 4294967295 134512640 135237372 3220677312 3220676672 134600966 0 0 0 0 0 0 0 17 1 0 0 0
/proc/16949/statm: 58124 56987 77 177 0 57946 0
Current children cumulated CPU time (s) 254.14
Current children cumulated vsize (KiB) 232496
heavy processes:
  %CPU=85 pid=12341 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/Isolet/isoletTrain.arff /users/tao/kegl/Research/Sam
  %CPU=85 pid=12739 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/Isolet/isoletTrain.arff /users/tao/kegl/Research/Sam
  %CPU=85 pid=13124 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/LetterRecognition/letterTrain.arff /users/tao/kegl/R
  %CPU=86 pid=13512 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/LetterRecognition/letterTrain.arff /users/tao/kegl/R

[startup+522.303 s]
/proc/loadavg: 5.46 5.48 5.73 7/115 18454
/proc/meminfo: memFree=2384260/3368532 swapFree=1953000/1959888
[pid=16949] ppid=16947 vsize=232892 CPUtime=314.12
/proc/16949/stat : 16949 (ttsth-5-0) R 16947 16949 14986 0 -1 4202496 73570 0 0 0 31383 29 0 0 25 0 1 0 1122418655 238481408 57105 4294967295 134512640 135237372 3220677312 3220676672 134600966 0 0 0 0 0 0 0 17 1 0 0 0
/proc/16949/statm: 58223 57105 77 177 0 58045 0
Current children cumulated CPU time (s) 314.12
Current children cumulated vsize (KiB) 232892
heavy processes:
  %CPU=85 pid=12341 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/Isolet/isoletTrain.arff /users/tao/kegl/Research/Sam
  %CPU=85 pid=12739 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/Isolet/isoletTrain.arff /users/tao/kegl/Research/Sam
  %CPU=85 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.318 s]
/proc/loadavg: 5.59 5.52 5.73 6/114 18594
/proc/meminfo: memFree=2382800/3368532 swapFree=1953000/1959888
[pid=16949] ppid=16947 vsize=233156 CPUtime=374.14
/proc/16949/stat : 16949 (ttsth-5-0) R 16947 16949 14986 0 -1 4202496 73639 0 0 0 37385 29 0 0 25 0 1 0 1122418655 238751744 57174 4294967295 134512640 135237372 3220677312 3220676672 134600966 0 0 0 0 0 0 0 17 1 0 0 0
/proc/16949/statm: 58289 57174 77 177 0 58111 0
Current children cumulated CPU time (s) 374.14
Current children cumulated vsize (KiB) 233156
heavy processes:
  %CPU=85 pid=12341 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/Isolet/isoletTrain.arff /users/tao/kegl/Research/Sam
  %CPU=85 pid=12739 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/Isolet/isoletTrain.arff /users/tao/kegl/Research/Sam
  %CPU=85 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.313 s]
/proc/loadavg: 5.40 5.50 5.70 6/114 18781
/proc/meminfo: memFree=2380792/3368532 swapFree=1953000/1959888
[pid=16949] ppid=16947 vsize=233288 CPUtime=434.13
/proc/16949/stat : 16949 (ttsth-5-0) R 16947 16949 14986 0 -1 4202496 73702 0 0 0 43384 29 0 0 25 0 1 0 1122418655 238886912 57237 4294967295 134512640 135237372 3220677312 3220676672 134600972 0 0 0 0 0 0 0 17 1 0 0 0
/proc/16949/statm: 58322 57237 77 177 0 58144 0
Current children cumulated CPU time (s) 434.13
Current children cumulated vsize (KiB) 233288
heavy processes:
  %CPU=85 pid=12341 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/Isolet/isoletTrain.arff /users/tao/kegl/Research/Sam
  %CPU=85 pid=12739 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/Isolet/isoletTrain.arff /users/tao/kegl/Research/Sam
  %CPU=85 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.309 s]
/proc/loadavg: 5.50 5.51 5.70 7/114 18968
/proc/meminfo: memFree=2378428/3368532 swapFree=1953000/1959888
[pid=16949] ppid=16947 vsize=233552 CPUtime=494.1
/proc/16949/stat : 16949 (ttsth-5-0) R 16947 16949 14986 0 -1 4202496 73751 0 0 0 49381 29 0 0 25 0 1 0 1122418655 239157248 57286 4294967295 134512640 135237372 3220677312 3220676672 134600966 0 0 0 0 0 0 0 17 1 0 0 0
/proc/16949/statm: 58388 57286 77 177 0 58210 0
Current children cumulated CPU time (s) 494.1
Current children cumulated vsize (KiB) 233552
heavy processes:
  %CPU=85 pid=12341 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/Isolet/isoletTrain.arff /users/tao/kegl/Research/Sam
  %CPU=85 pid=12739 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/Isolet/isoletTrain.arff /users/tao/kegl/Research/Sam
  %CPU=85 pid=13124 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/LetterRecognition/letterTrain.arff /users/tao/kegl/R
  %CPU=86 pid=13512 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/LetterRecognition/letterTrain.arff /users/tao/kegl/R

[startup+762.304 s]
/proc/loadavg: 5.41 5.49 5.68 7/114 19156
/proc/meminfo: memFree=2376592/3368532 swapFree=1953000/1959888
[pid=16949] ppid=16947 vsize=236244 CPUtime=554.08
/proc/16949/stat : 16949 (ttsth-5-0) R 16947 16949 14986 0 -1 4202496 73801 0 0 0 55379 29 0 0 25 0 1 0 1122418655 241913856 57336 4294967295 134512640 135237372 3220677312 3220676672 134600966 0 0 0 0 0 0 0 17 1 0 0 0
/proc/16949/statm: 59061 57336 77 177 0 58883 0
Current children cumulated CPU time (s) 554.08
Current children cumulated vsize (KiB) 236244
heavy processes:
  %CPU=85 pid=12341 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/Isolet/isoletTrain.arff /users/tao/kegl/Research/Sam
  %CPU=85 pid=12739 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/Isolet/isoletTrain.arff /users/tao/kegl/Research/Sam
  %CPU=85 pid=13124 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/LetterRecognition/letterTrain.arff /users/tao/kegl/R
  %CPU=86 pid=13512 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/LetterRecognition/letterTrain.arff /users/tao/kegl/R

[startup+822.309 s]
/proc/loadavg: 5.45 5.49 5.66 6/114 19344
/proc/meminfo: memFree=2374616/3368532 swapFree=1953000/1959888
[pid=16949] ppid=16947 vsize=236376 CPUtime=614.05
/proc/16949/stat : 16949 (ttsth-5-0) R 16947 16949 14986 0 -1 4202496 73847 0 0 0 61376 29 0 0 25 0 1 0 1122418655 242049024 57382 4294967295 134512640 135237372 3220677312 3220676672 134600960 0 0 0 0 0 0 0 17 1 0 0 0
/proc/16949/statm: 59094 57382 77 177 0 58916 0
Current children cumulated CPU time (s) 614.05
Current children cumulated vsize (KiB) 236376
heavy processes:
  %CPU=84 pid=12341 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/Isolet/isoletTrain.arff /users/tao/kegl/Research/Sam
  %CPU=85 pid=12739 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/Isolet/isoletTrain.arff /users/tao/kegl/Research/Sam
  %CPU=85 pid=13124 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/LetterRecognition/letterTrain.arff /users/tao/kegl/R
  %CPU=86 pid=13512 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/LetterRecognition/letterTrain.arff /users/tao/kegl/R

[startup+882.315 s]
/proc/loadavg: 5.48 5.49 5.65 6/114 19537
/proc/meminfo: memFree=2372632/3368532 swapFree=1953000/1959888
[pid=16949] ppid=16947 vsize=236508 CPUtime=674.02
/proc/16949/stat : 16949 (ttsth-5-0) R 16947 16949 14986 0 -1 4202496 73887 0 0 0 67373 29 0 0 25 0 1 0 1122418655 242184192 57422 4294967295 134512640 135237372 3220677312 3220676672 134600975 0 0 0 0 0 0 0 17 1 0 0 0
/proc/16949/statm: 59127 57422 77 177 0 58949 0
Current children cumulated CPU time (s) 674.02
Current children cumulated vsize (KiB) 236508
heavy processes:
  %CPU=84 pid=12341 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/Isolet/isoletTrain.arff /users/tao/kegl/Research/Sam
  %CPU=85 pid=12739 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/Isolet/isoletTrain.arff /users/tao/kegl/Research/Sam
  %CPU=85 pid=13124 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/LetterRecognition/letterTrain.arff /users/tao/kegl/R
  %CPU=86 pid=13512 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/LetterRecognition/letterTrain.arff /users/tao/kegl/R

[startup+942.31 s]
/proc/loadavg: 5.41 5.47 5.63 6/114 19724
/proc/meminfo: memFree=2370896/3368532 swapFree=1953000/1959888
[pid=16949] ppid=16947 vsize=236640 CPUtime=734
/proc/16949/stat : 16949 (ttsth-5-0) R 16947 16949 14986 0 -1 4202496 73926 0 0 0 73370 30 0 0 25 0 1 0 1122418655 242319360 57461 4294967295 134512640 135237372 3220677312 3220676672 134600966 0 0 0 0 0 0 0 17 1 0 0 0
/proc/16949/statm: 59160 57461 77 177 0 58982 0
Current children cumulated CPU time (s) 734
Current children cumulated vsize (KiB) 236640
heavy processes:
  %CPU=84 pid=12341 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/Isolet/isoletTrain.arff /users/tao/kegl/Research/Sam
  %CPU=85 pid=12739 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/Isolet/isoletTrain.arff /users/tao/kegl/Research/Sam
  %CPU=85 pid=13124 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/LetterRecognition/letterTrain.arff /users/tao/kegl/R
  %CPU=86 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.02 s]
/proc/loadavg: 5.59 5.49 5.62 6/114 19911
/proc/meminfo: memFree=2368912/3368532 swapFree=1953000/1959888
[pid=16949] ppid=16947 vsize=236772 CPUtime=791.7
/proc/16949/stat : 16949 (ttsth-5-0) R 16947 16949 14986 0 -1 4202496 73962 0 0 0 79140 30 0 0 25 0 1 0 1122418655 242454528 57497 4294967295 134512640 135237372 3220677312 3220676672 134600975 0 0 0 0 0 0 0 17 1 0 0 0
/proc/16949/statm: 59193 57497 77 177 0 59015 0
Current children cumulated CPU time (s) 791.7
Current children cumulated vsize (KiB) 236772
heavy processes:
  %CPU=84 pid=12341 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/Isolet/isoletTrain.arff /users/tao/kegl/Research/Sam
  %CPU=85 pid=12739 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/Isolet/isoletTrain.arff /users/tao/kegl/Research/Sam
  %CPU=85 pid=13124 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/LetterRecognition/letterTrain.arff /users/tao/kegl/R
  %CPU=86 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.04
CPU time (s): 791.72
CPU user time (s): 791.4
CPU system time (s): 0.32
CPU usage (%): 79.1688
Max. virtual memory (cumulated for all children) (KiB): 236772

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 791.4
system time used= 0.32
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 73962
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= 2
involuntary context switches= 21364

runsolver used 0 second user time and 0 second system time

The end

Launcher Data 

Begin job on tipi45 at 2009-05-30 13:26:50
IDJOB=1780558
IDBENCH=71023
IDSOLVER=632
FILE ID=tipi45/1780558-1243682810
PBS_JOBID=
Free space on /tmp= 15476 MiB

SOLVER NAME= ttsth-5-0 2009-03-19 (4 threads)
BENCH NAME= SAT09/APPLICATIONS/diagnosis/ACG-20-5p1.cnf
COMMAND LINE= HOME/ttsth-5-0 -num-threads MAXNBTHREAD BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1780558-1243682810/watcher-1780558-1243682810 -o /tmp/evaluation-result-1780558-1243682810/solver-1780558-1243682810 -C 10000 -W 1000 -M 2047  HOME/ttsth-5-0 -num-threads 4 HOME/instance-1780558-1243682810.cnf

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

MD5SUM BENCH= 8eb175d312e8be3bb4695a79b8f45bdc
RANDOM SEED= 2097899250

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:       2628184 kB
Buffers:         34956 kB
Cached:         152092 kB
SwapCached:       1728 kB
Active:         573636 kB
Inactive:        88216 kB
HighTotal:     2489216 kB
HighFree:      1876112 kB
LowTotal:       879316 kB
LowFree:        752072 kB
SwapTotal:     1959888 kB
SwapFree:      1953000 kB
Dirty:           35872 kB
Writeback:           0 kB
AnonPages:      474108 kB
Mapped:           6552 kB
Slab:            66284 kB
SReclaimable:    54704 kB
SUnreclaim:      11580 kB
PageTables:       1144 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:   562468 kB
VmallocTotal:   114680 kB
VmallocUsed:     17900 kB
VmallocChunk:    96244 kB

Free space on /tmp at the end= 15476 MiB
End job on tipi45 at 2009-05-30 13:43:36