Trace number 1780435

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
satake 2009-03-22 (4 threads)UNSAT 176.66 89.4006

General information on the benchmark

NameAPPLICATIONS/diagnosis/
UR-10-5p0.cnf
MD5SUMe024fd9d9cdae82453a8cdaa74d08481
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark66.59
Satisfiable
(Un)Satisfiability was proved
Number of variables104479
Number of clauses500869
Sum of the clauses size1175016
Maximum clause length10
Minimum clause length1
Number of clauses of size 15498
Number of clauses of size 2398195
Number of clauses of size 369976
Number of clauses of size 43020
Number of clauses of size 512080
Number of clauses of size over 512100

Solver Data 

176.53/89.39	c Benchmark name    : HOME/instance-1780435-1243648044.cnf
176.53/89.39	c Thread Num        :            4
176.53/89.39	c restarts          :           12
176.53/89.39	c conflicts         :        21054
176.53/89.39	c decisions         :       250403           (     2808 / sec      )
176.53/89.39	c propagations      :     90424521           (  1014127 / sec      )
176.53/89.39	c inspects          :    234857599           (  2633969 / sec      )
176.53/89.39	c conflict literals :      4077249           (    24.25 % deleted  )
176.53/89.39	c cpu time          :        89.16           
176.53/89.39	s UNSATISFIABLE

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

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

command line: runsolver --timestamp -w /tmp/evaluation-result-1780435-1243648044/watcher-1780435-1243648044 -o /tmp/evaluation-result-1780435-1243648044/solver-1780435-1243648044 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1780435-1243648044.cnf 4 10000 

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
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: 8192 KiB


[startup+0 s]
/proc/loadavg: 5.16 5.29 5.27 7/120 30197
/proc/meminfo: memFree=3084148/3368532 swapFree=1959840/1959888
[pid=30194] ppid=30192 vsize=1096 CPUtime=0
/proc/30194/stat : 30194 (satake) R 30192 30194 17312 0 -1 4202496 110 0 0 0 0 0 0 0 21 0 4 0 1129467310 1122304 67 4294967295 134512640 135180984 3218630880 3218630224 134705812 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/30194/statm: 274 67 54 164 0 109 0
[pid=30194/tid=30195] ppid=30192 vsize=1096 CPUtime=0
/proc/30194/task/30195/stat : 30195 (satake) R 30192 30194 17312 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 4 0 1129467310 1122304 67 4294967295 134512640 135180984 3218630880 3086799684 134705812 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=30194/tid=30196] ppid=30192 vsize=1096 CPUtime=0
/proc/30194/task/30196/stat : 30196 (satake) R 30192 30194 17312 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 4 0 1129467310 1122304 67 4294967295 134512640 135180984 3218630880 3086734148 134705812 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=30194/tid=30197] ppid=30192 vsize=1096 CPUtime=0
/proc/30194/task/30197/stat : 30197 (satake) R 30192 30194 17312 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 4 0 1129467310 1122304 67 4294967295 134512640 135180984 3218630880 3086668612 134705812 0 0 0 0 0 0 0 -1 1 0 0 0

[startup+0.103281 s]
/proc/loadavg: 5.16 5.29 5.27 7/120 30197
/proc/meminfo: memFree=3084148/3368532 swapFree=1959840/1959888
[pid=30194] ppid=30192 vsize=58036 CPUtime=0.16
/proc/30194/stat : 30194 (satake) S 30192 30194 17312 0 -1 4202496 12402 0 0 0 10 6 0 0 21 0 5 0 1129467310 59428864 12345 4294967295 134512640 135180984 3218630880 3218630316 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/30194/statm: 14509 12345 63 164 0 14344 0
[pid=30194/tid=30195] ppid=30192 vsize=58036 CPUtime=0
/proc/30194/task/30195/stat : 30195 (satake) S 30192 30194 17312 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 5 0 1129467310 59428864 12346 4294967295 134512640 135180984 3218630880 3086798864 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=30194/tid=30196] ppid=30192 vsize=58036 CPUtime=0.06
/proc/30194/task/30196/stat : 30196 (satake) R 30192 30194 17312 0 -1 4202560 5024 0 0 0 5 1 0 0 22 0 5 0 1129467310 59428864 12346 4294967295 134512640 135180984 3218630880 3086733460 134579486 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=30194/tid=30197] ppid=30192 vsize=58036 CPUtime=0.09
/proc/30194/task/30197/stat : 30197 (satake) R 30192 30194 17312 0 -1 4202560 5059 0 0 0 5 4 0 0 22 0 5 0 1129467310 59428864 12346 4294967295 134512640 135180984 3218630880 3086668048 134520025 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 58036

[startup+0.212879 s]
/proc/loadavg: 5.16 5.29 5.27 7/120 30197
/proc/meminfo: memFree=3084148/3368532 swapFree=1959840/1959888
[pid=30194] ppid=30192 vsize=75704 CPUtime=0.32
/proc/30194/stat : 30194 (satake) S 30192 30194 17312 0 -1 4202496 15867 0 0 0 24 8 0 0 21 0 5 0 1129467310 77520896 15785 4294967295 134512640 135180984 3218630880 3218630316 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/30194/statm: 18926 15785 63 164 0 18761 0
[pid=30194/tid=30195] ppid=30192 vsize=75704 CPUtime=0
/proc/30194/task/30195/stat : 30195 (satake) S 30192 30194 17312 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 5 0 1129467310 77520896 15785 4294967295 134512640 135180984 3218630880 3086798864 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=30194/tid=30196] ppid=30192 vsize=75704 CPUtime=0.06
/proc/30194/task/30196/stat : 30196 (satake) R 30192 30194 17312 0 -1 4202560 5140 0 0 0 5 1 0 0 22 0 5 0 1129467310 77520896 15785 4294967295 134512640 135180984 3218630880 3086733460 134579486 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=30194/tid=30197] ppid=30192 vsize=75704 CPUtime=0.19
/proc/30194/task/30197/stat : 30197 (satake) R 30192 30194 17312 0 -1 4202560 5653 0 0 0 13 6 0 0 22 0 5 0 1129467310 77520896 15785 4294967295 134512640 135180984 3218630880 3086668048 134520025 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 75704

[startup+0.312875 s]
/proc/loadavg: 5.16 5.29 5.27 7/120 30197
/proc/meminfo: memFree=3084148/3368532 swapFree=1959840/1959888
[pid=30194] ppid=30192 vsize=81784 CPUtime=0.51
/proc/30194/stat : 30194 (satake) S 30192 30194 17312 0 -1 4202496 17259 0 0 0 43 8 0 0 21 0 5 0 1129467310 83746816 17177 4294967295 134512640 135180984 3218630880 3218630316 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/30194/statm: 20446 17177 63 164 0 20281 0
[pid=30194/tid=30195] ppid=30192 vsize=81784 CPUtime=0
/proc/30194/task/30195/stat : 30195 (satake) S 30192 30194 17312 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 5 0 1129467310 83746816 17177 4294967295 134512640 135180984 3218630880 3086798864 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=30194/tid=30196] ppid=30192 vsize=81784 CPUtime=0.08
/proc/30194/task/30196/stat : 30196 (satake) R 30192 30194 17312 0 -1 4202560 5167 0 0 0 7 1 0 0 22 0 5 0 1129467310 83746816 17177 4294967295 134512640 135180984 3218630880 3086733460 134579486 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=30194/tid=30197] ppid=30192 vsize=81784 CPUtime=0.27
/proc/30194/task/30197/stat : 30197 (satake) R 30192 30194 17312 0 -1 4202560 6249 0 0 0 21 6 0 0 22 0 5 0 1129467310 83746816 17178 4294967295 134512640 135180984 3218630880 3086667864 134675767 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 81784

[startup+0.712854 s]
/proc/loadavg: 5.16 5.29 5.27 7/120 30197
/proc/meminfo: memFree=3084148/3368532 swapFree=1959840/1959888
[pid=30194] ppid=30192 vsize=106052 CPUtime=1.26
/proc/30194/stat : 30194 (satake) S 30192 30194 17312 0 -1 4202496 23208 0 0 0 117 9 0 0 21 0 5 0 1129467310 108597248 23126 4294967295 134512640 135180984 3218630880 3218630316 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/30194/statm: 26513 23127 64 164 0 26348 0
[pid=30194/tid=30195] ppid=30192 vsize=106052 CPUtime=0
/proc/30194/task/30195/stat : 30195 (satake) S 30192 30194 17312 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 5 0 1129467310 108597248 23127 4294967295 134512640 135180984 3218630880 3086798864 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=30194/tid=30196] ppid=30192 vsize=106052 CPUtime=0.43
/proc/30194/task/30196/stat : 30196 (satake) R 30192 30194 17312 0 -1 4202560 7652 0 0 0 41 2 0 0 21 0 5 0 1129467310 108597248 23128 4294967295 134512640 135180984 3218630880 3086733400 134675846 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=30194/tid=30197] ppid=30192 vsize=106052 CPUtime=0.32
/proc/30194/task/30197/stat : 30197 (satake) R 30192 30194 17312 0 -1 4202560 6599 0 0 0 26 6 0 0 23 0 5 0 1129467310 108597248 23129 4294967295 134512640 135180984 3218630880 3086668064 134513717 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 106052

[startup+1.51281 s]
/proc/loadavg: 5.16 5.29 5.27 7/124 30201
/proc/meminfo: memFree=3001612/3368532 swapFree=1959840/1959888
[pid=30194] ppid=30192 vsize=96008 CPUtime=2.89
/proc/30194/stat : 30194 (satake) S 30192 30194 17312 0 -1 4202496 25647 0 0 0 277 12 0 0 21 0 5 0 1129467310 98312192 21311 4294967295 134512640 135180984 3218630880 3218630316 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/30194/statm: 24002 21311 68 164 0 23837 0
[pid=30194/tid=30195] ppid=30192 vsize=96008 CPUtime=0.03
/proc/30194/task/30195/stat : 30195 (satake) S 30192 30194 17312 0 -1 4202560 1261 0 0 0 3 0 0 0 16 0 5 0 1129467310 98312192 21311 4294967295 134512640 135180984 3218630880 3086798864 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=30194/tid=30196] ppid=30192 vsize=96008 CPUtime=1.2
/proc/30194/task/30196/stat : 30196 (satake) R 30192 30194 17312 0 -1 4202560 8512 0 0 0 115 5 0 0 16 0 5 0 1129467310 98312192 21311 4294967295 134512640 135180984 3218630880 3086733168 134528954 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=30194/tid=30197] ppid=30192 vsize=96008 CPUtime=0.35
/proc/30194/task/30197/stat : 30197 (satake) R 30192 30194 17312 0 -1 4202560 6786 0 0 0 29 6 0 0 23 0 5 0 1129467310 98312192 21311 4294967295 134512640 135180984 3218630880 3086667924 134579486 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=30194/tid=30199] ppid=30192 vsize=96008 CPUtime=1.31
/proc/30194/task/30199/stat : 30199 (satake) R 30192 30194 17312 0 -1 4202560 8977 0 0 0 130 1 0 0 16 0 5 0 1129467311 98312192 21311 4294967295 134512640 135180984 3218630880 3086458640 134525126 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.89
Current children cumulated vsize (KiB) 96008

[startup+3.11273 s]
/proc/loadavg: 5.16 5.29 5.27 7/122 30203
/proc/meminfo: memFree=2999392/3368532 swapFree=1959840/1959888
[pid=30194] ppid=30192 vsize=93300 CPUtime=6.53
/proc/30194/stat : 30194 (satake) S 30192 30194 17312 0 -1 4202496 27247 0 0 0 637 16 0 0 21 0 5 0 1129467310 95539200 20784 4294967295 134512640 135180984 3218630880 3218630316 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/30194/statm: 23325 20784 68 164 0 23160 0
[pid=30194/tid=30195] ppid=30192 vsize=93300 CPUtime=0.05
/proc/30194/task/30195/stat : 30195 (satake) S 30192 30194 17312 0 -1 4202560 1263 0 0 0 3 2 0 0 15 0 5 0 1129467310 95539200 20784 4294967295 134512640 135180984 3218630880 3086798864 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=30194/tid=30196] ppid=30192 vsize=93300 CPUtime=2.8
/proc/30194/task/30196/stat : 30196 (satake) R 30192 30194 17312 0 -1 4202560 8553 0 0 0 274 6 0 0 18 0 5 0 1129467310 95539200 20784 4294967295 134512640 135180984 3218630880 3086733168 134528247 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=30194/tid=30197] ppid=30192 vsize=93300 CPUtime=0.81
/proc/30194/task/30197/stat : 30197 (satake) R 30192 30194 17312 0 -1 4202560 8327 0 0 0 75 6 0 0 22 0 5 0 1129467310 95539200 20784 4294967295 134512640 135180984 3218630880 3086667624 134520863 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=30194/tid=30199] ppid=30192 vsize=93300 CPUtime=2.87
/proc/30194/task/30199/stat : 30199 (satake) R 30192 30194 17312 0 -1 4202560 8993 0 0 0 285 2 0 0 18 0 5 0 1129467311 95539200 20784 4294967295 134512640 135180984 3218630880 3086458728 134520667 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 6.53
Current children cumulated vsize (KiB) 93300

[startup+6.31256 s]
/proc/loadavg: 5.31 5.32 5.28 7/123 30379
/proc/meminfo: memFree=2999708/3368532 swapFree=1959840/1959888
[pid=30194] ppid=30192 vsize=95512 CPUtime=13.32
/proc/30194/stat : 30194 (satake) S 30192 30194 17312 0 -1 4202496 27633 0 0 0 1304 28 0 0 21 0 5 0 1129467310 97804288 21170 4294967295 134512640 135180984 3218630880 3218630316 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/30194/statm: 23878 21170 68 164 0 23713 0
[pid=30194/tid=30195] ppid=30192 vsize=95512 CPUtime=0.1
/proc/30194/task/30195/stat : 30195 (satake) S 30192 30194 17312 0 -1 4202560 1265 0 0 0 4 6 0 0 15 0 5 0 1129467310 97804288 21170 4294967295 134512640 135180984 3218630880 3086798864 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=30194/tid=30196] ppid=30192 vsize=95512 CPUtime=5.82
/proc/30194/task/30196/stat : 30196 (satake) R 30192 30194 17312 0 -1 4202560 8827 0 0 0 575 7 0 0 25 0 5 0 1129467310 97804288 21170 4294967295 134512640 135180984 3218630880 3086733160 134520863 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=30194/tid=30197] ppid=30192 vsize=95512 CPUtime=2.05
/proc/30194/task/30197/stat : 30197 (satake) R 30192 30194 17312 0 -1 4202560 8351 0 0 0 197 8 0 0 25 0 5 0 1129467310 97804288 21170 4294967295 134512640 135180984 3218630880 3086667532 134518257 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=30194/tid=30199] ppid=30192 vsize=95512 CPUtime=5.35
/proc/30194/task/30199/stat : 30199 (satake) R 30192 30194 17312 0 -1 4202560 9079 0 0 0 528 7 0 0 22 0 5 0 1129467311 97804288 21170 4294967295 134512640 135180984 3218630880 3086458736 134528411 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 13.32
Current children cumulated vsize (KiB) 95512

[startup+12.7122 s]
/proc/loadavg: 5.21 5.30 5.27 6/124 30405
/proc/meminfo: memFree=2996076/3368532 swapFree=1959840/1959888
[pid=30194] ppid=30192 vsize=98276 CPUtime=25.9
/proc/30194/stat : 30194 (satake) S 30192 30194 17312 0 -1 4202496 28271 0 0 0 2555 35 0 0 21 0 5 0 1129467310 100634624 21808 4294967295 134512640 135180984 3218630880 3218630316 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/30194/statm: 24569 21808 68 164 0 24404 0
[pid=30194/tid=30195] ppid=30192 vsize=98276 CPUtime=0.14
/proc/30194/task/30195/stat : 30195 (satake) S 30192 30194 17312 0 -1 4202560 1268 0 0 0 4 10 0 0 15 0 5 0 1129467310 100634624 21808 4294967295 134512640 135180984 3218630880 3086798864 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=30194/tid=30196] ppid=30192 vsize=98276 CPUtime=9.98
/proc/30194/task/30196/stat : 30196 (satake) R 30192 30194 17312 0 -1 4202560 9142 0 0 0 991 7 0 0 25 0 5 0 1129467310 100634624 21808 4294967295 134512640 135180984 3218630880 3086733168 134528211 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=30194/tid=30197] ppid=30192 vsize=98276 CPUtime=5.83
/proc/30194/task/30197/stat : 30197 (satake) R 30192 30194 17312 0 -1 4202560 8469 0 0 0 573 10 0 0 25 0 5 0 1129467310 100634624 21808 4294967295 134512640 135180984 3218630880 3086667536 134525183 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=30194/tid=30199] ppid=30192 vsize=98276 CPUtime=9.95
/proc/30194/task/30199/stat : 30199 (satake) R 30192 30194 17312 0 -1 4202560 9281 0 0 0 987 8 0 0 25 0 5 0 1129467311 100634624 21808 4294967295 134512640 135180984 3218630880 3086458732 134520854 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.9
Current children cumulated vsize (KiB) 98276

[startup+25.5116 s]
/proc/loadavg: 5.23 5.30 5.27 6/124 30428
/proc/meminfo: memFree=2989564/3368532 swapFree=1959840/1959888
[pid=30194] ppid=30192 vsize=104188 CPUtime=51.04
/proc/30194/stat : 30194 (satake) S 30192 30194 17312 0 -1 4202496 29981 0 0 0 5059 45 0 0 21 0 5 0 1129467310 106688512 23518 4294967295 134512640 135180984 3218630880 3218630316 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/30194/statm: 26047 23518 68 164 0 25882 0
[pid=30194/tid=30195] ppid=30192 vsize=104188 CPUtime=0.23
/proc/30194/task/30195/stat : 30195 (satake) S 30192 30194 17312 0 -1 4202560 1283 0 0 0 7 16 0 0 16 0 5 0 1129467310 106688512 23518 4294967295 134512640 135180984 3218630880 3086798864 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=30194/tid=30196] ppid=30192 vsize=104188 CPUtime=18.01
/proc/30194/task/30196/stat : 30196 (satake) R 30192 30194 17312 0 -1 4202560 9701 0 0 0 1792 9 0 0 25 0 5 0 1129467310 106688512 23518 4294967295 134512640 135180984 3218630880 3086733164 134520901 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=30194/tid=30197] ppid=30192 vsize=104188 CPUtime=13.33
/proc/30194/task/30197/stat : 30197 (satake) R 30192 30194 17312 0 -1 4202560 8881 0 0 0 1322 11 0 0 25 0 5 0 1129467310 106688512 23518 4294967295 134512640 135180984 3218630880 3086667424 134580407 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=30194/tid=30199] ppid=30192 vsize=104188 CPUtime=19.47
/proc/30194/task/30199/stat : 30199 (satake) R 30192 30194 17312 0 -1 4202560 10005 0 0 0 1938 9 0 0 25 0 5 0 1129467311 106688512 23518 4294967295 134512640 135180984 3218630880 3086458672 134523632 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 104188

[startup+51.1102 s]
/proc/loadavg: 5.26 5.30 5.27 6/122 30466
/proc/meminfo: memFree=2973704/3368532 swapFree=1959840/1959888
[pid=30194] ppid=30192 vsize=119944 CPUtime=101.38
/proc/30194/stat : 30194 (satake) S 30192 30194 17312 0 -1 4202496 33887 0 0 0 10081 57 0 0 21 0 5 0 1129467310 122822656 27424 4294967295 134512640 135180984 3218630880 3218630316 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/30194/statm: 29986 27424 68 164 0 29821 0
[pid=30194/tid=30195] ppid=30192 vsize=119944 CPUtime=0.31
/proc/30194/task/30195/stat : 30195 (satake) S 30192 30194 17312 0 -1 4202560 1305 0 0 0 9 22 0 0 15 0 5 0 1129467310 122822656 27424 4294967295 134512640 135180984 3218630880 3086798864 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=30194/tid=30196] ppid=30192 vsize=119944 CPUtime=34.41
/proc/30194/task/30196/stat : 30196 (satake) R 30192 30194 17312 0 -1 4202560 11091 0 0 0 3431 10 0 0 25 0 5 0 1129467310 122822656 27424 4294967295 134512640 135180984 3218630880 3086733168 134528211 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=30194/tid=30197] ppid=30192 vsize=119944 CPUtime=31.43
/proc/30194/task/30197/stat : 30197 (satake) R 30192 30194 17312 0 -1 4202560 10184 0 0 0 3128 15 0 0 25 0 5 0 1129467310 122822656 27424 4294967295 134512640 135180984 3218630880 3086667632 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=30194/tid=30199] ppid=30192 vsize=119944 CPUtime=35.23
/proc/30194/task/30199/stat : 30199 (satake) R 30192 30194 17312 0 -1 4202560 11196 0 0 0 3513 10 0 0 25 0 5 0 1129467311 122822656 27424 4294967295 134512640 135180984 3218630880 3086458736 134528034 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 101.38
Current children cumulated vsize (KiB) 119944

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

[startup+51.2102 s]
/proc/loadavg: 5.26 5.30 5.27 6/122 30466
/proc/meminfo: memFree=2973704/3368532 swapFree=1959840/1959888
[pid=30194] ppid=30192 vsize=119944 CPUtime=101.58
/proc/30194/stat : 30194 (satake) S 30192 30194 17312 0 -1 4202496 33902 0 0 0 10101 57 0 0 21 0 5 0 1129467310 122822656 27439 4294967295 134512640 135180984 3218630880 3218630316 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/30194/statm: 29986 27439 68 164 0 29821 0
[pid=30194/tid=30195] ppid=30192 vsize=119944 CPUtime=0.31
/proc/30194/task/30195/stat : 30195 (satake) S 30192 30194 17312 0 -1 4202560 1305 0 0 0 9 22 0 0 15 0 5 0 1129467310 122822656 27439 4294967295 134512640 135180984 3218630880 3086798864 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=30194/tid=30196] ppid=30192 vsize=119944 CPUtime=34.49
/proc/30194/task/30196/stat : 30196 (satake) R 30192 30194 17312 0 -1 4202560 11101 0 0 0 3439 10 0 0 25 0 5 0 1129467310 122822656 27439 4294967295 134512640 135180984 3218630880 3086733136 134519935 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=30194/tid=30197] ppid=30192 vsize=119944 CPUtime=31.53
/proc/30194/task/30197/stat : 30197 (satake) R 30192 30194 17312 0 -1 4202560 10189 0 0 0 3138 15 0 0 25 0 5 0 1129467310 122822656 27439 4294967295 134512640 135180984 3218630880 3086667632 134528267 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=30194/tid=30199] ppid=30192 vsize=119944 CPUtime=35.25
/proc/30194/task/30199/stat : 30199 (satake) R 30192 30194 17312 0 -1 4202560 11196 0 0 0 3515 10 0 0 25 0 5 0 1129467311 122822656 27439 4294967295 134512640 135180984 3218630880 3086458728 134520863 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 101.58
Current children cumulated vsize (KiB) 119944

[startup+64.0096 s]
/proc/loadavg: 5.28 5.30 5.27 7/122 30669
/proc/meminfo: memFree=2966452/3368532 swapFree=1959840/1959888
[pid=30194] ppid=30192 vsize=127240 CPUtime=126.69
/proc/30194/stat : 30194 (satake) S 30192 30194 17312 0 -1 4202496 35556 0 0 0 12598 71 0 0 21 0 5 0 1129467310 130293760 29093 4294967295 134512640 135180984 3218630880 3218630316 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/30194/statm: 31810 29093 68 164 0 31645 0
[pid=30194/tid=30195] ppid=30192 vsize=127240 CPUtime=0.35
/proc/30194/task/30195/stat : 30195 (satake) S 30192 30194 17312 0 -1 4202560 1311 0 0 0 9 26 0 0 15 0 5 0 1129467310 130293760 29093 4294967295 134512640 135180984 3218630880 3086798864 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=30194/tid=30196] ppid=30192 vsize=127240 CPUtime=43.24
/proc/30194/task/30196/stat : 30196 (satake) R 30192 30194 17312 0 -1 4202560 11717 0 0 0 4311 13 0 0 25 0 5 0 1129467310 130293760 29093 4294967295 134512640 135180984 3218630880 3086732960 134580407 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=30194/tid=30197] ppid=30192 vsize=127240 CPUtime=40.03
/proc/30194/task/30197/stat : 30197 (satake) R 30192 30194 17312 0 -1 4202560 10771 0 0 0 3985 18 0 0 25 0 5 0 1129467310 130293760 29093 4294967295 134512640 135180984 3218630880 3086667632 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=30194/tid=30199] ppid=30192 vsize=127240 CPUtime=43.07
/proc/30194/task/30199/stat : 30199 (satake) S 30192 30194 17312 0 -1 4202560 11646 0 0 0 4293 14 0 0 25 0 5 0 1129467311 130293760 29093 4294967295 134512640 135180984 3218630880 3086458528 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 126.69
Current children cumulated vsize (KiB) 127240

[startup+76.8089 s]
/proc/loadavg: 5.24 5.29 5.27 6/122 30691
/proc/meminfo: memFree=2959952/3368532 swapFree=1959840/1959888
[pid=30194] ppid=30192 vsize=135096 CPUtime=151.87
/proc/30194/stat : 30194 (satake) S 30192 30194 17312 0 -1 4202496 37579 0 0 0 15107 80 0 0 21 0 5 0 1129467310 138338304 31116 4294967295 134512640 135180984 3218630880 3218630316 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/30194/statm: 33774 31116 68 164 0 33609 0
[pid=30194/tid=30195] ppid=30192 vsize=135096 CPUtime=0.41
/proc/30194/task/30195/stat : 30195 (satake) S 30192 30194 17312 0 -1 4202560 1317 0 0 0 10 31 0 0 15 0 5 0 1129467310 138338304 31116 4294967295 134512640 135180984 3218630880 3086798864 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=30194/tid=30196] ppid=30192 vsize=135096 CPUtime=51.11
/proc/30194/task/30196/stat : 30196 (satake) R 30192 30194 17312 0 -1 4202560 12281 0 0 0 5097 14 0 0 25 0 5 0 1129467310 138338304 31116 4294967295 134512640 135180984 3218630880 3086733168 134528648 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=30194/tid=30197] ppid=30192 vsize=135096 CPUtime=48.59
/proc/30194/task/30197/stat : 30197 (satake) R 30192 30194 17312 0 -1 4202560 11512 0 0 0 4840 19 0 0 25 0 5 0 1129467310 138338304 31116 4294967295 134512640 135180984 3218630880 3086667464 134675767 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=30194/tid=30199] ppid=30192 vsize=135096 CPUtime=51.76
/proc/30194/task/30199/stat : 30199 (satake) R 30192 30194 17312 0 -1 4202560 12358 0 0 0 5160 16 0 0 25 0 5 0 1129467311 138338304 31116 4294967295 134512640 135180984 3218630880 3086458736 134528090 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 151.87
Current children cumulated vsize (KiB) 135096

[startup+83.2085 s]
/proc/loadavg: 5.22 5.29 5.27 6/122 30699
/proc/meminfo: memFree=2957296/3368532 swapFree=1959840/1959888
[pid=30194] ppid=30192 vsize=138332 CPUtime=164.49
/proc/30194/stat : 30194 (satake) S 30192 30194 17312 0 -1 4202496 38348 0 0 0 16365 84 0 0 21 0 5 0 1129467310 141651968 31885 4294967295 134512640 135180984 3218630880 3218630316 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/30194/statm: 34583 31885 68 164 0 34418 0
[pid=30194/tid=30195] ppid=30192 vsize=138332 CPUtime=0.46
/proc/30194/task/30195/stat : 30195 (satake) S 30192 30194 17312 0 -1 4202560 1319 0 0 0 11 35 0 0 15 0 5 0 1129467310 141651968 31885 4294967295 134512640 135180984 3218630880 3086798864 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=30194/tid=30196] ppid=30192 vsize=138332 CPUtime=55.22
/proc/30194/task/30196/stat : 30196 (satake) R 30192 30194 17312 0 -1 4202560 12430 0 0 0 5508 14 0 0 25 0 5 0 1129467310 141651968 31885 4294967295 134512640 135180984 3218630880 3086733168 134528211 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=30194/tid=30197] ppid=30192 vsize=138332 CPUtime=52.61
/proc/30194/task/30197/stat : 30197 (satake) R 30192 30194 17312 0 -1 4202560 11762 0 0 0 5242 19 0 0 25 0 5 0 1129467310 141651968 31885 4294967295 134512640 135180984 3218630880 3086667624 134520863 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=30194/tid=30199] ppid=30192 vsize=138332 CPUtime=56.2
/proc/30194/task/30199/stat : 30199 (satake) R 30192 30194 17312 0 -1 4202560 12726 0 0 0 5604 16 0 0 25 0 5 0 1129467311 141651968 31885 4294967295 134512640 135180984 3218630880 3086458728 134518252 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 164.49
Current children cumulated vsize (KiB) 138332

[startup+86.4084 s]
/proc/loadavg: 5.20 5.28 5.27 6/122 30708
/proc/meminfo: memFree=2955532/3368532 swapFree=1959840/1959888
[pid=30194] ppid=30192 vsize=138728 CPUtime=170.84
/proc/30194/stat : 30194 (satake) S 30192 30194 17312 0 -1 4202496 38625 0 0 0 16996 88 0 0 21 0 5 0 1129467310 142057472 32162 4294967295 134512640 135180984 3218630880 3218630316 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/30194/statm: 34682 32162 68 164 0 34517 0
[pid=30194/tid=30195] ppid=30192 vsize=138728 CPUtime=0.47
/proc/30194/task/30195/stat : 30195 (satake) S 30192 30194 17312 0 -1 4202560 1326 0 0 0 11 36 0 0 15 0 5 0 1129467310 142057472 32162 4294967295 134512640 135180984 3218630880 3086798864 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=30194/tid=30196] ppid=30192 vsize=138728 CPUtime=57.18
/proc/30194/task/30196/stat : 30196 (satake) R 30192 30194 17312 0 -1 4202560 12478 0 0 0 5703 15 0 0 25 0 5 0 1129467310 142057472 32162 4294967295 134512640 135180984 3218630880 3086733232 134532420 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=30194/tid=30197] ppid=30192 vsize=138728 CPUtime=54.64
/proc/30194/task/30197/stat : 30197 (satake) R 30192 30194 17312 0 -1 4202560 11865 0 0 0 5444 20 0 0 25 0 5 0 1129467310 142057472 32162 4294967295 134512640 135180984 3218630880 3086667688 134518214 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=30194/tid=30199] ppid=30192 vsize=138728 CPUtime=58.55
/proc/30194/task/30199/stat : 30199 (satake) R 30192 30194 17312 0 -1 4202560 12845 0 0 0 5838 17 0 0 25 0 5 0 1129467311 142057472 32162 4294967295 134512640 135180984 3218630880 3086458736 134528211 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 170.84
Current children cumulated vsize (KiB) 138728

[startup+88.0083 s]
/proc/loadavg: 5.18 5.28 5.27 6/122 30708
/proc/meminfo: memFree=2955428/3368532 swapFree=1959840/1959888
[pid=30194] ppid=30192 vsize=138728 CPUtime=174
/proc/30194/stat : 30194 (satake) S 30192 30194 17312 0 -1 4202496 38636 0 0 0 17312 88 0 0 21 0 5 0 1129467310 142057472 32173 4294967295 134512640 135180984 3218630880 3218630316 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/30194/statm: 34682 32173 68 164 0 34517 0
[pid=30194/tid=30195] ppid=30192 vsize=138728 CPUtime=0.47
/proc/30194/task/30195/stat : 30195 (satake) S 30192 30194 17312 0 -1 4202560 1326 0 0 0 11 36 0 0 15 0 5 0 1129467310 142057472 32173 4294967295 134512640 135180984 3218630880 3086798864 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=30194/tid=30196] ppid=30192 vsize=138728 CPUtime=57.81
/proc/30194/task/30196/stat : 30196 (satake) R 30192 30194 17312 0 -1 4202560 12480 0 0 0 5766 15 0 0 25 0 5 0 1129467310 142057472 32173 4294967295 134512640 135180984 3218630880 3086733168 134528211 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=30194/tid=30197] ppid=30192 vsize=138728 CPUtime=56.06
/proc/30194/task/30197/stat : 30197 (satake) R 30192 30194 17312 0 -1 4202560 11870 0 0 0 5586 20 0 0 25 0 5 0 1129467310 142057472 32173 4294967295 134512640 135180984 3218630880 3086667632 134528211 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=30194/tid=30199] ppid=30192 vsize=138728 CPUtime=59.66
/proc/30194/task/30199/stat : 30199 (satake) R 30192 30194 17312 0 -1 4202560 12849 0 0 0 5949 17 0 0 25 0 5 0 1129467311 142057472 32173 4294967295 134512640 135180984 3218630880 3086458728 134520863 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 174
Current children cumulated vsize (KiB) 138728

[startup+88.8083 s]
/proc/loadavg: 5.18 5.28 5.27 6/122 30708
/proc/meminfo: memFree=2955428/3368532 swapFree=1959840/1959888
[pid=30194] ppid=30192 vsize=138728 CPUtime=175.57
/proc/30194/stat : 30194 (satake) S 30192 30194 17312 0 -1 4202496 38636 0 0 0 17467 90 0 0 21 0 5 0 1129467310 142057472 32173 4294967295 134512640 135180984 3218630880 3218630316 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/30194/statm: 34682 32173 68 164 0 34517 0
[pid=30194/tid=30195] ppid=30192 vsize=138728 CPUtime=0.48
/proc/30194/task/30195/stat : 30195 (satake) S 30192 30194 17312 0 -1 4202560 1326 0 0 0 11 37 0 0 15 0 5 0 1129467310 142057472 32173 4294967295 134512640 135180984 3218630880 3086798864 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=30194/tid=30196] ppid=30192 vsize=138728 CPUtime=58.21
/proc/30194/task/30196/stat : 30196 (satake) R 30192 30194 17312 0 -1 4202560 12480 0 0 0 5806 15 0 0 25 0 5 0 1129467310 142057472 32173 4294967295 134512640 135180984 3218630880 3086733168 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=30194/tid=30197] ppid=30192 vsize=138728 CPUtime=56.62
/proc/30194/task/30197/stat : 30197 (satake) R 30192 30194 17312 0 -1 4202560 11870 0 0 0 5642 20 0 0 25 0 5 0 1129467310 142057472 32173 4294967295 134512640 135180984 3218630880 3086667536 134525319 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=30194/tid=30199] ppid=30192 vsize=138728 CPUtime=60.26
/proc/30194/task/30199/stat : 30199 (satake) R 30192 30194 17312 0 -1 4202560 12849 0 0 0 6008 18 0 0 25 0 5 0 1129467311 142057472 32173 4294967295 134512640 135180984 3218630880 3086458732 134518229 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 175.57
Current children cumulated vsize (KiB) 138728

[startup+89.2082 s]
/proc/loadavg: 5.18 5.28 5.27 7/122 30712
/proc/meminfo: memFree=2955304/3368532 swapFree=1959840/1959888
[pid=30194] ppid=30192 vsize=132904 CPUtime=176.36
/proc/30194/stat : 30194 (satake) S 30192 30194 17312 0 -1 4202496 38645 0 0 0 17545 91 0 0 18 0 4 0 1129467310 136093696 30958 4294967295 134512640 135180984 3218630880 3218630316 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/30194/statm: 33226 30958 77 164 0 33061 0
[pid=30194/tid=30196] ppid=30192 vsize=132904 CPUtime=58.4
/proc/30194/task/30196/stat : 30196 (satake) R 30192 30194 17312 0 -1 4202560 12480 0 0 0 5825 15 0 0 25 0 4 0 1129467310 136093696 30958 4294967295 134512640 135180984 3218630880 3086733704 134579745 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=30194/tid=30197] ppid=30192 vsize=132904 CPUtime=56.99
/proc/30194/task/30197/stat : 30197 (satake) S 30192 30194 17312 0 -1 4202560 11870 0 0 0 5678 21 0 0 25 0 4 0 1129467310 136093696 30958 4294967295 134512640 135180984 3218630880 3086668152 134579486 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=30194/tid=30199] ppid=30192 vsize=132904 CPUtime=60.47
/proc/30194/task/30199/stat : 30199 (satake) R 30192 30194 17312 0 -1 4202560 12858 0 0 0 6029 18 0 0 24 0 4 0 1129467311 136093696 30958 4294967295 134512640 135180984 3218630880 3086459288 134672196 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 176.36
Current children cumulated vsize (KiB) 132904

[startup+89.3082 s]
/proc/loadavg: 5.18 5.28 5.27 7/122 30712
/proc/meminfo: memFree=2955304/3368532 swapFree=1959840/1959888
[pid=30194] ppid=30192 vsize=121056 CPUtime=176.53
/proc/30194/stat : 30194 (satake) S 30192 30194 17312 0 -1 4202496 38645 0 0 0 17556 97 0 0 18 0 3 0 1129467310 123961344 28663 4294967295 134512640 135180984 3218630880 3218630316 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/30194/statm: 30264 28663 77 164 0 30099 0
[pid=30194/tid=30196] ppid=30192 vsize=121056 CPUtime=58.45
/proc/30194/task/30196/stat : 30196 (satake) R 30192 30194 17312 0 -1 4202560 12480 0 0 0 5827 18 0 0 15 0 3 0 1129467310 123961344 28663 4294967295 134512640 135180984 3218630880 3086733704 134579745 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=30194/tid=30199] ppid=30192 vsize=121056 CPUtime=60.57
/proc/30194/task/30199/stat : 30199 (satake) R 30192 30194 17312 0 -1 4202560 12858 0 0 0 6038 19 0 0 22 0 3 0 1129467311 123961344 28663 4294967295 134512640 135180984 3218630880 3086459272 134672196 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 176.53
Current children cumulated vsize (KiB) 121056

Child status: 4
Real time (s): 89.4006
CPU time (s): 176.66
CPU user time (s): 175.64
CPU system time (s): 1.02
CPU usage (%): 197.605
Max. virtual memory (cumulated for all children) (KiB): 138728


getrusage(RUSAGE_CHILDREN,...) data:
user time used= 175.64
system time used= 1.02
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38646
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= 93068
involuntary context switches= 88118

runsolver used 0.01 second user time and 0 second system time

The end

Launcher Data 

Begin job on  at 2009-05-30 03:47:24
IDJOB=1780435
IDBENCH=71006
IDSOLVER=629
FILE ID=/1780435-1243648044
PBS_JOBID=
Free space on /tmp= 7977 MiB

SOLVER NAME= satake 2009-03-22 (4 threads)
BENCH NAME= SAT09/APPLICATIONS/diagnosis/UR-10-5p0.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1780435-1243648044/watcher-1780435-1243648044 -o /tmp/evaluation-result-1780435-1243648044/solver-1780435-1243648044 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1780435-1243648044.cnf 4 10000

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

MD5SUM BENCH= e024fd9d9cdae82453a8cdaa74d08481
RANDOM SEED= 894673602

Linux (none) 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.073
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.42
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.073
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.12
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.073
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.14
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.073
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:       3084296 kB
Buffers:         57656 kB
Cached:         119840 kB
SwapCached:          0 kB
Active:          88688 kB
Inactive:       110992 kB
HighTotal:     2489216 kB
HighFree:      2347164 kB
LowTotal:       879316 kB
LowFree:        737132 kB
SwapTotal:     1959888 kB
SwapFree:      1959840 kB
Dirty:            9596 kB
Writeback:           0 kB
AnonPages:       22428 kB
Mapped:           8280 kB
Slab:            74036 kB
SReclaimable:    61776 kB
SUnreclaim:      12260 kB
PageTables:        768 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:   123560 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 7977 MiB
End job on  at 2009-05-30 03:48:55