Trace number 1543772

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? (TO) 1200.19 671.872

General information on the benchmark

NameRANDOM/MEDIUM/3SAT/UNKNOWN/480/
unif-k3-r4.25-v480-c2040-S915600698-006.cnf
MD5SUMfad8593fd5ac6353581d4728abbb4a34
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark881.351
Satisfiable
(Un)Satisfiability was proved
Number of variables480
Number of clauses2040
Sum of the clauses size6120
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32040
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data


Verifier Data 

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

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1543772-1238549568/watcher-1543772-1238549568 -o /tmp/evaluation-result-1543772-1238549568/solver-1543772-1238549568 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1543772-1238549568.cnf 3 1200 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.91 0.95 0.97 3/64 16920
/proc/meminfo: memFree=1505808/2055920 swapFree=4178500/4192956
[pid=16920] ppid=16918 vsize=2176 CPUtime=0
/proc/16920/stat : 16920 (satake) S 16918 16920 16883 0 -1 4194304 175 0 0 0 0 0 0 0 18 0 4 0 1127619139 2228224 160 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16920/statm: 544 160 68 163 0 379 0
[pid=16920/tid=16921] ppid=16918 vsize=2176 CPUtime=0
/proc/16920/task/16921/stat : 16921 (satake) R 16918 16920 16883 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 1127619139 2228224 160 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16920/tid=16922] ppid=16918 vsize=2176 CPUtime=0
/proc/16920/task/16922/stat : 16922 (satake) R 16918 16920 16883 0 -1 4194368 52 0 0 0 0 0 0 0 19 0 4 0 1127619139 2228224 160 1992294400 134512640 135180984 4294956208 18446744073709551615 134518208 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16920/tid=16923] ppid=16918 vsize=2176 CPUtime=0
/proc/16920/task/16923/stat : 16923 (satake) R 16918 16920 16883 0 -1 4194368 33 0 0 0 0 0 0 0 19 0 4 0 1127619139 2228224 160 1992294400 134512640 135180984 4294956208 18446744073709551615 134675846 0 0 4096 0 0 0 0 -1 1 0 0

[startup+0.0461571 s]
/proc/loadavg: 0.91 0.95 0.97 3/64 16920
/proc/meminfo: memFree=1505808/2055920 swapFree=4178500/4192956
[pid=16920] ppid=16918 vsize=2304 CPUtime=0.07
/proc/16920/stat : 16920 (satake) S 16918 16920 16883 0 -1 4194304 216 0 0 0 4 3 0 0 18 0 4 0 1127619139 2359296 201 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16920/statm: 576 201 70 163 0 411 0
[pid=16920/tid=16921] ppid=16918 vsize=2304 CPUtime=0.01
/proc/16920/task/16921/stat : 16921 (satake) R 16918 16920 16883 0 -1 4194368 16 0 0 0 0 1 0 0 17 0 4 0 1127619139 2359296 201 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16920/tid=16922] ppid=16918 vsize=2304 CPUtime=0.01
/proc/16920/task/16922/stat : 16922 (satake) R 16918 16920 16883 0 -1 4194368 65 0 0 0 1 0 0 0 16 0 4 0 1127619139 2359296 201 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16920/tid=16923] ppid=16918 vsize=2304 CPUtime=0.01
/proc/16920/task/16923/stat : 16923 (satake) S 16918 16920 16883 0 -1 4194368 52 0 0 0 1 0 0 0 16 0 4 0 1127619139 2359296 201 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2304

[startup+0.101974 s]
/proc/loadavg: 0.91 0.95 0.97 3/64 16920
/proc/meminfo: memFree=1505808/2055920 swapFree=4178500/4192956
[pid=16920] ppid=16918 vsize=2304 CPUtime=0.15
/proc/16920/stat : 16920 (satake) S 16918 16920 16883 0 -1 4194304 250 0 0 0 8 7 0 0 18 0 4 0 1127619139 2359296 235 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16920/statm: 576 235 70 163 0 411 0
[pid=16920/tid=16921] ppid=16918 vsize=2304 CPUtime=0.04
/proc/16920/task/16921/stat : 16921 (satake) R 16918 16920 16883 0 -1 4194368 24 0 0 0 1 3 0 0 17 0 4 0 1127619139 2359296 235 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16920/tid=16922] ppid=16918 vsize=2304 CPUtime=0.04
/proc/16920/task/16922/stat : 16922 (satake) S 16918 16920 16883 0 -1 4194368 79 0 0 0 3 1 0 0 16 0 4 0 1127619139 2359296 235 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=16920/tid=16923] ppid=16918 vsize=2304 CPUtime=0.04
/proc/16920/task/16923/stat : 16923 (satake) S 16918 16920 16883 0 -1 4194368 64 0 0 0 3 1 0 0 16 0 4 0 1127619139 2359296 235 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 2304

[startup+0.301996 s]
/proc/loadavg: 0.91 0.95 0.97 3/64 16920
/proc/meminfo: memFree=1505808/2055920 swapFree=4178500/4192956
[pid=16920] ppid=16918 vsize=2568 CPUtime=0.47
/proc/16920/stat : 16920 (satake) S 16918 16920 16883 0 -1 4194304 304 0 0 0 28 19 0 0 18 0 4 0 1127619139 2629632 289 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16920/statm: 642 289 70 163 0 477 0
[pid=16920/tid=16921] ppid=16918 vsize=2568 CPUtime=0.11
/proc/16920/task/16921/stat : 16921 (satake) R 16918 16920 16883 0 -1 4194368 44 0 0 0 2 9 0 0 17 0 4 0 1127619139 2629632 289 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16920/tid=16922] ppid=16918 vsize=2568 CPUtime=0.17
/proc/16920/task/16922/stat : 16922 (satake) R 16918 16920 16883 0 -1 4194368 100 0 0 0 13 4 0 0 17 0 4 0 1127619139 2629632 289 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16920/tid=16923] ppid=16918 vsize=2568 CPUtime=0.17
/proc/16920/task/16923/stat : 16923 (satake) R 16918 16920 16883 0 -1 4194368 77 0 0 0 12 5 0 0 16 0 4 0 1127619139 2629632 289 1992294400 134512640 135180984 4294956208 18446744073709551615 134528760 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 2568

[startup+0.701043 s]
/proc/loadavg: 0.91 0.95 0.97 3/64 16920
/proc/meminfo: memFree=1505808/2055920 swapFree=4178500/4192956
[pid=16920] ppid=16918 vsize=2832 CPUtime=1.12
/proc/16920/stat : 16920 (satake) S 16918 16920 16883 0 -1 4194304 389 0 0 0 69 43 0 0 18 0 4 0 1127619139 2899968 374 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16920/statm: 708 374 70 163 0 543 0
[pid=16920/tid=16921] ppid=16918 vsize=2832 CPUtime=0.29
/proc/16920/task/16921/stat : 16921 (satake) R 16918 16920 16883 0 -1 4194368 83 0 0 0 6 23 0 0 18 0 4 0 1127619139 2899968 374 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=16920/tid=16922] ppid=16918 vsize=2832 CPUtime=0.42
/proc/16920/task/16922/stat : 16922 (satake) R 16918 16920 16883 0 -1 4194368 131 0 0 0 32 10 0 0 16 0 4 0 1127619139 2899968 374 1992294400 134512640 135180984 4294956208 18446744073709551615 134528562 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16920/tid=16923] ppid=16918 vsize=2832 CPUtime=0.38
/proc/16920/task/16923/stat : 16923 (satake) R 16918 16920 16883 0 -1 4194368 92 0 0 0 29 9 0 0 16 0 4 0 1127619139 2899968 374 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.12
Current children cumulated vsize (KiB) 2832

[startup+1.50113 s]
/proc/loadavg: 0.91 0.95 0.97 4/68 16924
/proc/meminfo: memFree=1504240/2055920 swapFree=4178500/4192956
[pid=16920] ppid=16918 vsize=3252 CPUtime=2.42
/proc/16920/stat : 16920 (satake) S 16918 16920 16883 0 -1 4194304 537 0 0 0 150 92 0 0 18 0 4 0 1127619139 3330048 522 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16920/statm: 813 522 70 163 0 648 0
[pid=16920/tid=16921] ppid=16918 vsize=3252 CPUtime=0.63
/proc/16920/task/16921/stat : 16921 (satake) R 16918 16920 16883 0 -1 4194368 164 0 0 0 12 51 0 0 18 0 4 0 1127619139 3330048 522 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=16920/tid=16922] ppid=16918 vsize=3252 CPUtime=0.92
/proc/16920/task/16922/stat : 16922 (satake) R 16918 16920 16883 0 -1 4194368 184 0 0 0 71 21 0 0 17 0 4 0 1127619139 3330048 522 1992294400 134512640 135180984 4294956208 18446744073709551615 134528473 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16920/tid=16923] ppid=16918 vsize=3252 CPUtime=0.84
/proc/16920/task/16923/stat : 16923 (satake) S 16918 16920 16883 0 -1 4194368 106 0 0 0 65 19 0 0 16 0 4 0 1127619139 3330048 522 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.42
Current children cumulated vsize (KiB) 3252

[startup+3.10231 s]
/proc/loadavg: 0.91 0.95 0.97 4/68 16924
/proc/meminfo: memFree=1503280/2055920 swapFree=4178500/4192956
[pid=16920] ppid=16918 vsize=4308 CPUtime=5.08
/proc/16920/stat : 16920 (satake) S 16918 16920 16883 0 -1 4194304 810 0 0 0 321 187 0 0 18 0 4 0 1127619139 4411392 795 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16920/statm: 1077 795 70 163 0 912 0
[pid=16920/tid=16921] ppid=16918 vsize=4308 CPUtime=1.27
/proc/16920/task/16921/stat : 16921 (satake) S 16918 16920 16883 0 -1 4194368 340 0 0 0 25 102 0 0 17 0 4 0 1127619139 4411392 795 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=16920/tid=16922] ppid=16918 vsize=4308 CPUtime=1.97
/proc/16920/task/16922/stat : 16922 (satake) R 16918 16920 16883 0 -1 4194368 256 0 0 0 153 44 0 0 15 0 4 0 1127619139 4411392 795 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16920/tid=16923] ppid=16918 vsize=4308 CPUtime=1.82
/proc/16920/task/16923/stat : 16923 (satake) R 16918 16920 16883 0 -1 4194368 131 0 0 0 142 40 0 0 17 0 4 0 1127619139 4411392 795 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5.08
Current children cumulated vsize (KiB) 4308

[startup+6.30168 s]
/proc/loadavg: 1.08 0.99 0.98 2/68 16924
/proc/meminfo: memFree=1501104/2055920 swapFree=4178500/4192956
[pid=16920] ppid=16918 vsize=6360 CPUtime=10.52
/proc/16920/stat : 16920 (satake) S 16918 16920 16883 0 -1 4194304 1321 0 0 0 655 397 0 0 18 0 4 0 1127619139 6512640 1306 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16920/statm: 1590 1306 70 163 0 1425 0
[pid=16920/tid=16921] ppid=16918 vsize=6360 CPUtime=2.58
/proc/16920/task/16921/stat : 16921 (satake) R 16918 16920 16883 0 -1 4194368 718 0 0 0 49 209 0 0 16 0 4 0 1127619139 6512640 1306 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16920/tid=16922] ppid=16918 vsize=6360 CPUtime=4.1
/proc/16920/task/16922/stat : 16922 (satake) R 16918 16920 16883 0 -1 4194368 358 0 0 0 310 100 0 0 16 0 4 0 1127619139 6512640 1306 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16920/tid=16923] ppid=16918 vsize=6360 CPUtime=3.83
/proc/16920/task/16923/stat : 16923 (satake) R 16918 16920 16883 0 -1 4194368 162 0 0 0 295 88 0 0 16 0 4 0 1127619139 6512640 1306 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 10.52
Current children cumulated vsize (KiB) 6360

[startup+12.7016 s]
/proc/loadavg: 1.15 1.00 0.99 4/68 16924
/proc/meminfo: memFree=1497008/2055920 swapFree=4178500/4192956
[pid=16920] ppid=16918 vsize=10404 CPUtime=21.55
/proc/16920/stat : 16920 (satake) S 16918 16920 16883 0 -1 4194304 2287 0 0 0 1378 777 0 0 18 0 4 0 1127619139 10653696 2272 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16920/statm: 2601 2272 70 163 0 2436 0
[pid=16920/tid=16921] ppid=16918 vsize=10404 CPUtime=4.9
/proc/16920/task/16921/stat : 16921 (satake) S 16918 16920 16883 0 -1 4194368 1428 0 0 0 98 392 0 0 16 0 4 0 1127619139 10653696 2272 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=16920/tid=16922] ppid=16918 vsize=10404 CPUtime=8.45
/proc/16920/task/16922/stat : 16922 (satake) R 16918 16920 16883 0 -1 4194368 556 0 0 0 650 195 0 0 15 0 4 0 1127619139 10653696 2272 1992294400 134512640 135180984 4294956208 18446744073709551615 134518209 0 0 4096 0 0 0 0 -1 0 0 0
[pid=16920/tid=16923] ppid=16918 vsize=10404 CPUtime=8.18
/proc/16920/task/16923/stat : 16923 (satake) R 16918 16920 16883 0 -1 4194368 220 0 0 0 629 189 0 0 16 0 4 0 1127619139 10653696 2272 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 21.55
Current children cumulated vsize (KiB) 10404

[startup+25.502 s]
/proc/loadavg: 1.42 1.07 1.01 3/68 16924
/proc/meminfo: memFree=1489264/2055920 swapFree=4178500/4192956
[pid=16920] ppid=16918 vsize=19348 CPUtime=43.74
/proc/16920/stat : 16920 (satake) S 16918 16920 16883 0 -1 4194304 4161 0 0 0 2759 1615 0 0 18 0 4 0 1127619139 19812352 4146 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16920/statm: 4837 4146 70 163 0 4672 0
[pid=16920/tid=16921] ppid=16918 vsize=19348 CPUtime=10.06
/proc/16920/task/16921/stat : 16921 (satake) R 16918 16920 16883 0 -1 4194368 2924 0 0 0 209 797 0 0 16 0 4 0 1127619139 19812352 4146 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=16920/tid=16922] ppid=16918 vsize=19348 CPUtime=17.06
/proc/16920/task/16922/stat : 16922 (satake) R 16918 16920 16883 0 -1 4194368 873 0 0 0 1293 413 0 0 16 0 4 0 1127619139 19812352 4146 1992294400 134512640 135180984 4294956208 18446744073709551615 134519895 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16920/tid=16923] ppid=16918 vsize=19348 CPUtime=16.6
/proc/16920/task/16923/stat : 16923 (satake) R 16918 16920 16883 0 -1 4194368 281 0 0 0 1256 404 0 0 15 0 4 0 1127619139 19812352 4146 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 43.74
Current children cumulated vsize (KiB) 19348

[startup+51.1029 s]
/proc/loadavg: 1.70 1.16 1.04 2/68 16924
/proc/meminfo: memFree=1475760/2055920 swapFree=4178500/4192956
[pid=16920] ppid=16918 vsize=35168 CPUtime=88.81
/proc/16920/stat : 16920 (satake) S 16918 16920 16883 0 -1 4194304 7594 0 0 0 5715 3166 0 0 18 0 4 0 1127619139 36012032 7579 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16920/statm: 8792 7579 70 163 0 8627 0
[pid=16920/tid=16921] ppid=16918 vsize=35168 CPUtime=19.75
/proc/16920/task/16921/stat : 16921 (satake) S 16918 16920 16883 0 -1 4194368 5601 0 0 0 420 1555 0 0 15 0 4 0 1127619139 36012032 7579 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=16920/tid=16922] ppid=16918 vsize=35168 CPUtime=34.82
/proc/16920/task/16922/stat : 16922 (satake) R 16918 16920 16883 0 -1 4194368 1416 0 0 0 2674 808 0 0 16 0 4 0 1127619139 36012032 7579 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16920/tid=16923] ppid=16918 vsize=35168 CPUtime=34.21
/proc/16920/task/16923/stat : 16923 (satake) R 16918 16920 16883 0 -1 4194368 494 0 0 0 2620 801 0 0 15 0 4 0 1127619139 36012032 7579 1992294400 134512640 135180984 4294956208 18446744073709551615 134528406 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 88.81
Current children cumulated vsize (KiB) 35168

[startup+102.307 s]
/proc/loadavg: 2.25 1.39 1.12 4/68 16924
/proc/meminfo: memFree=1449264/2055920 swapFree=4178500/4192956
[pid=16920] ppid=16918 vsize=65204 CPUtime=179.46
/proc/16920/stat : 16920 (satake) S 16918 16920 16883 0 -1 4194304 14097 0 0 0 11802 6144 0 0 18 0 4 0 1127619139 66768896 14082 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16920/statm: 16301 14082 70 163 0 16136 0
[pid=16920/tid=16921] ppid=16918 vsize=65204 CPUtime=38.19
/proc/16920/task/16921/stat : 16921 (satake) R 16918 16920 16883 0 -1 4194368 10678 0 0 0 826 2993 0 0 16 0 4 0 1127619139 66768896 14082 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=16920/tid=16922] ppid=16918 vsize=65204 CPUtime=70.96
/proc/16920/task/16922/stat : 16922 (satake) R 16918 16920 16883 0 -1 4194368 2348 0 0 0 5521 1575 0 0 15 0 4 0 1127619139 66768896 14082 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=16920/tid=16923] ppid=16918 vsize=65204 CPUtime=70.29
/proc/16920/task/16923/stat : 16923 (satake) R 16918 16920 16883 0 -1 4194368 988 0 0 0 5454 1575 0 0 16 0 4 0 1127619139 66768896 14082 1992294400 134512640 135180984 4294956208 18446744073709551615 134528549 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 179.46
Current children cumulated vsize (KiB) 65204

[startup+162.301 s]
/proc/loadavg: 2.46 1.61 1.21 3/68 16924
/proc/meminfo: memFree=1419248/2055920 swapFree=4178500/4192956
[pid=16920] ppid=16918 vsize=100120 CPUtime=286.34
/proc/16920/stat : 16920 (satake) S 16918 16920 16883 0 -1 4194304 21691 0 0 0 18927 9707 0 0 18 0 4 0 1127619139 102522880 21676 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16920/statm: 25030 21676 70 163 0 24865 0
[pid=16920/tid=16921] ppid=16918 vsize=100120 CPUtime=60.26
/proc/16920/task/16921/stat : 16921 (satake) S 16918 16920 16883 0 -1 4194368 16533 0 0 0 1300 4726 0 0 15 0 4 0 1127619139 102522880 21676 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=16920/tid=16922] ppid=16918 vsize=100120 CPUtime=113.46
/proc/16920/task/16922/stat : 16922 (satake) R 16918 16920 16883 0 -1 4194368 3356 0 0 0 8859 2487 0 0 16 0 4 0 1127619139 102522880 21676 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16920/tid=16923] ppid=16918 vsize=100120 CPUtime=112.61
/proc/16920/task/16923/stat : 16923 (satake) R 16918 16920 16883 0 -1 4194368 1719 0 0 0 8768 2493 0 0 15 0 4 0 1127619139 102522880 21676 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 286.34
Current children cumulated vsize (KiB) 100120

[startup+222.302 s]
/proc/loadavg: 2.31 1.72 1.28 3/68 16924
/proc/meminfo: memFree=1390576/2055920 swapFree=4178500/4192956
[pid=16920] ppid=16918 vsize=135608 CPUtime=394.39
/proc/16920/stat : 16920 (satake) S 16918 16920 16883 0 -1 4194304 28748 0 0 0 26366 13073 0 0 18 0 4 0 1127619139 138862592 28733 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16920/statm: 33902 28733 70 163 0 33737 0
[pid=16920/tid=16921] ppid=16918 vsize=135608 CPUtime=81.26
/proc/16920/task/16921/stat : 16921 (satake) S 16918 16920 16883 0 -1 4194368 21716 0 0 0 1760 6366 0 0 15 0 4 0 1127619139 138862592 28733 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=16920/tid=16922] ppid=16918 vsize=135608 CPUtime=157.2
/proc/16920/task/16922/stat : 16922 (satake) R 16918 16920 16883 0 -1 4194368 4461 0 0 0 12378 3342 0 0 16 0 4 0 1127619139 138862592 28733 1992294400 134512640 135180984 4294956208 18446744073709551615 134528688 0 0 4096 0 0 0 0 -1 0 0 0
[pid=16920/tid=16923] ppid=16918 vsize=135608 CPUtime=155.91
/proc/16920/task/16923/stat : 16923 (satake) R 16918 16920 16883 0 -1 4194368 2488 0 0 0 12227 3364 0 0 17 0 4 0 1127619139 138862592 28733 1992294400 134512640 135180984 4294956208 18446744073709551615 134518227 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 394.39
Current children cumulated vsize (KiB) 135608

[startup+282.302 s]
/proc/loadavg: 2.30 1.82 1.33 3/68 16924
/proc/meminfo: memFree=1361264/2055920 swapFree=4178500/4192956
[pid=16920] ppid=16918 vsize=171248 CPUtime=501.84
/proc/16920/stat : 16920 (satake) S 16918 16920 16883 0 -1 4194304 36136 0 0 0 33655 16529 0 0 18 0 4 0 1127619139 175357952 36121 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16920/statm: 42812 36121 70 163 0 42647 0
[pid=16920/tid=16921] ppid=16918 vsize=171248 CPUtime=102.93
/proc/16920/task/16921/stat : 16921 (satake) R 16918 16920 16883 0 -1 4194368 26811 0 0 0 2243 8050 0 0 16 0 4 0 1127619139 175357952 36121 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16920/tid=16922] ppid=16918 vsize=171248 CPUtime=200.33
/proc/16920/task/16922/stat : 16922 (satake) S 16918 16920 16883 0 -1 4194368 5816 0 0 0 15807 4226 0 0 15 0 4 0 1127619139 175357952 36121 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=16920/tid=16923] ppid=16918 vsize=171248 CPUtime=198.55
/proc/16920/task/16923/stat : 16923 (satake) R 16918 16920 16883 0 -1 4194368 3426 0 0 0 15604 4251 0 0 16 0 4 0 1127619139 175357952 36121 1992294400 134512640 135180984 4294956208 18446744073709551615 134528428 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 501.84
Current children cumulated vsize (KiB) 171248

[startup+342.302 s]
/proc/loadavg: 2.34 1.92 1.40 3/68 16924
/proc/meminfo: memFree=1332272/2055920 swapFree=4178500/4192956
[pid=16920] ppid=16918 vsize=202152 CPUtime=609.09
/proc/16920/stat : 16920 (satake) S 16918 16920 16883 0 -1 4194304 43355 0 0 0 40914 19995 0 0 18 0 4 0 1127619139 207003648 43340 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16920/statm: 50538 43340 70 163 0 50373 0
[pid=16920/tid=16921] ppid=16918 vsize=202152 CPUtime=124.68
/proc/16920/task/16921/stat : 16921 (satake) R 16918 16920 16883 0 -1 4194368 32195 0 0 0 2710 9758 0 0 16 0 4 0 1127619139 207003648 43340 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=16920/tid=16922] ppid=16918 vsize=202152 CPUtime=243.82
/proc/16920/task/16922/stat : 16922 (satake) R 16918 16920 16883 0 -1 4194368 7368 0 0 0 19274 5108 0 0 16 0 4 0 1127619139 207003648 43340 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16920/tid=16923] ppid=16918 vsize=202152 CPUtime=240.58
/proc/16920/task/16923/stat : 16923 (satake) R 16918 16920 16883 0 -1 4194368 3709 0 0 0 18930 5128 0 0 16 0 4 0 1127619139 207003648 43340 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 609.09
Current children cumulated vsize (KiB) 202152

[startup+402.303 s]
/proc/loadavg: 2.44 2.01 1.46 2/68 16924
/proc/meminfo: memFree=1303280/2055920 swapFree=4178500/4192956
[pid=16920] ppid=16918 vsize=243356 CPUtime=716.29
/proc/16920/stat : 16920 (satake) S 16918 16920 16883 0 -1 4194304 50593 0 0 0 48144 23485 0 0 18 0 4 0 1127619139 249196544 50578 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16920/statm: 60839 50578 70 163 0 60674 0
[pid=16920/tid=16921] ppid=16918 vsize=243356 CPUtime=146.51
/proc/16920/task/16921/stat : 16921 (satake) S 16918 16920 16883 0 -1 4194368 37601 0 0 0 3193 11458 0 0 16 0 4 0 1127619139 249196544 50578 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=16920/tid=16922] ppid=16918 vsize=243356 CPUtime=286.95
/proc/16920/task/16922/stat : 16922 (satake) R 16918 16920 16883 0 -1 4194368 8974 0 0 0 22690 6005 0 0 16 0 4 0 1127619139 249196544 50578 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=16920/tid=16923] ppid=16918 vsize=243356 CPUtime=282.8
/proc/16920/task/16923/stat : 16923 (satake) R 16918 16920 16883 0 -1 4194368 3935 0 0 0 22259 6021 0 0 16 0 4 0 1127619139 249196544 50578 1992294400 134512640 135180984 4294956208 18446744073709551615 134526496 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 716.29
Current children cumulated vsize (KiB) 243356

[startup+462.302 s]
/proc/loadavg: 2.47 2.10 1.52 3/68 16924
/proc/meminfo: memFree=1273904/2055920 swapFree=4178500/4192956
[pid=16920] ppid=16918 vsize=275632 CPUtime=823.68
/proc/16920/stat : 16920 (satake) S 16918 16920 16883 0 -1 4194304 57885 0 0 0 55339 27029 0 0 18 0 4 0 1127619139 282247168 57870 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16920/statm: 68908 57870 70 163 0 68743 0
[pid=16920/tid=16921] ppid=16918 vsize=275632 CPUtime=168.67
/proc/16920/task/16921/stat : 16921 (satake) R 16918 16920 16883 0 -1 4194368 42809 0 0 0 3683 13184 0 0 16 0 4 0 1127619139 282247168 57870 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16920/tid=16922] ppid=16918 vsize=275632 CPUtime=329.63
/proc/16920/task/16922/stat : 16922 (satake) R 16918 16920 16883 0 -1 4194368 10785 0 0 0 26048 6915 0 0 16 0 4 0 1127619139 282247168 57870 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=16920/tid=16923] ppid=16918 vsize=275632 CPUtime=325.36
/proc/16920/task/16923/stat : 16923 (satake) R 16918 16920 16883 0 -1 4194368 4208 0 0 0 25607 6929 0 0 17 0 4 0 1127619139 282247168 57870 1992294400 134512640 135180984 4294956208 18446744073709551615 134518483 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 823.68
Current children cumulated vsize (KiB) 275632

[startup+522.307 s]
/proc/loadavg: 2.28 2.11 1.56 4/68 16924
/proc/meminfo: memFree=1244592/2055920 swapFree=4178500/4192956
[pid=16920] ppid=16918 vsize=309512 CPUtime=931.28
/proc/16920/stat : 16920 (satake) S 16918 16920 16883 0 -1 4194304 65250 0 0 0 62494 30634 0 0 18 0 4 0 1127619139 316940288 65235 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16920/statm: 77378 65235 70 163 0 77213 0
[pid=16920/tid=16921] ppid=16918 vsize=309512 CPUtime=191.05
/proc/16920/task/16921/stat : 16921 (satake) S 16918 16920 16883 0 -1 4194368 48482 0 0 0 4164 14941 0 0 15 0 4 0 1127619139 316940288 65235 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=16920/tid=16922] ppid=16918 vsize=309512 CPUtime=371.98
/proc/16920/task/16922/stat : 16922 (satake) R 16918 16920 16883 0 -1 4194368 12149 0 0 0 29361 7837 0 0 15 0 4 0 1127619139 316940288 65235 1992294400 134512640 135180984 4294956208 18446744073709551615 134520027 0 0 4096 0 0 0 0 -1 0 0 0
[pid=16920/tid=16923] ppid=16918 vsize=309512 CPUtime=368.23
/proc/16920/task/16923/stat : 16923 (satake) R 16918 16920 16883 0 -1 4194368 4536 0 0 0 28968 7855 0 0 15 0 4 0 1127619139 316940288 65235 1992294400 134512640 135180984 4294956208 18446744073709551615 134522926 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 931.28
Current children cumulated vsize (KiB) 309512

[startup+582.302 s]
/proc/loadavg: 2.14 2.10 1.59 4/68 16924
/proc/meminfo: memFree=1214960/2055920 swapFree=4178500/4192956
[pid=16920] ppid=16918 vsize=343808 CPUtime=1038.98
/proc/16920/stat : 16920 (satake) S 16918 16920 16883 0 -1 4194304 72587 0 0 0 69624 34274 0 0 18 0 4 0 1127619139 352059392 72572 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16920/statm: 85952 72572 70 163 0 85787 0
[pid=16920/tid=16921] ppid=16918 vsize=343808 CPUtime=213.55
/proc/16920/task/16921/stat : 16921 (satake) R 16918 16920 16883 0 -1 4194368 53824 0 0 0 4635 16720 0 0 15 0 4 0 1127619139 352059392 72572 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=16920/tid=16922] ppid=16918 vsize=343808 CPUtime=414.33
/proc/16920/task/16922/stat : 16922 (satake) R 16918 16920 16883 0 -1 4194368 14061 0 0 0 32665 8768 0 0 16 0 4 0 1127619139 352059392 72572 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=16920/tid=16923] ppid=16918 vsize=343808 CPUtime=411.08
/proc/16920/task/16923/stat : 16923 (satake) R 16918 16920 16883 0 -1 4194368 4619 0 0 0 32323 8785 0 0 15 0 4 0 1127619139 352059392 72572 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1038.98
Current children cumulated vsize (KiB) 343808

[startup+642.303 s]
/proc/loadavg: 2.20 2.12 1.63 4/68 16924
/proc/meminfo: memFree=1185648/2055920 swapFree=4178500/4192956
[pid=16920] ppid=16918 vsize=382992 CPUtime=1146.86
/proc/16920/stat : 16920 (satake) S 16918 16920 16883 0 -1 4194304 79842 0 0 0 76854 37832 0 0 18 0 4 0 1127619139 392183808 79827 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16920/statm: 95748 79827 70 163 0 95583 0
[pid=16920/tid=16921] ppid=16918 vsize=382992 CPUtime=235.77
/proc/16920/task/16921/stat : 16921 (satake) R 16918 16920 16883 0 -1 4194368 58996 0 0 0 5104 18473 0 0 16 0 4 0 1127619139 392183808 79827 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16920/tid=16922] ppid=16918 vsize=382992 CPUtime=457.12
/proc/16920/task/16922/stat : 16922 (satake) R 16918 16920 16883 0 -1 4194368 15696 0 0 0 36041 9671 0 0 16 0 4 0 1127619139 392183808 79827 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16920/tid=16923] ppid=16918 vsize=382992 CPUtime=453.95
/proc/16920/task/16923/stat : 16923 (satake) R 16918 16920 16883 0 -1 4194368 5067 0 0 0 35708 9687 0 0 16 0 4 0 1127619139 392183808 79827 1992294400 134512640 135180984 4294956208 18446744073709551615 134520807 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1146.86
Current children cumulated vsize (KiB) 382992



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+671.801 s]
/proc/loadavg: 2.32 2.16 1.65 3/68 16924
/proc/meminfo: memFree=1171440/2055920 swapFree=4178500/4192956
[pid=16920] ppid=16918 vsize=398388 CPUtime=1200.11
/proc/16920/stat : 16920 (satake) S 16918 16920 16883 0 -1 4194304 83372 0 0 0 80488 39523 0 0 18 0 4 0 1127619139 407949312 83357 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16920/statm: 99597 83357 70 163 0 99432 0
[pid=16920/tid=16921] ppid=16918 vsize=398388 CPUtime=246.36
/proc/16920/task/16921/stat : 16921 (satake) R 16918 16920 16883 0 -1 4194368 61298 0 0 0 5333 19303 0 0 16 0 4 0 1127619139 407949312 83357 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=16920/tid=16922] ppid=16918 vsize=398388 CPUtime=478.38
/proc/16920/task/16922/stat : 16922 (satake) S 16918 16920 16883 0 -1 4194368 16662 0 0 0 37736 10102 0 0 16 0 4 0 1127619139 407949312 83357 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=16920/tid=16923] ppid=16918 vsize=398388 CPUtime=475.35
/proc/16920/task/16923/stat : 16923 (satake) R 16918 16920 16883 0 -1 4194368 5329 0 0 0 37419 10116 0 0 15 0 4 0 1127619139 407949312 83357 1992294400 134512640 135180984 4294956208 18446744073709551615 134528595 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.11
Current children cumulated vsize (KiB) 398388

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): 671.872
CPU time (s): 1200.19
CPU user time (s): 804.898
CPU system time (s): 395.296
CPU usage (%): 178.634
Max. virtual memory (cumulated for all children) (KiB): 398388

deleting IPC queue 2031616
deleting IPC queue 2064385
deleting IPC queue 2097154
deleting IPC queue 2129923
deleting IPC queue 2162692
deleting IPC queue 2195461
deleting IPC queue 2228230
deleting IPC queue 2260999
deleting IPC queue 2293768

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 804.898
system time used= 395.296
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 83373
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= 16316708
involuntary context switches= 15428409

runsolver used 0.781881 second user time and 2.01269 second system time

The end

Launcher Data 

Begin job on node62 at 2009-04-01 03:32:48
IDJOB=1543772
IDBENCH=70613
IDSOLVER=553
FILE ID=node62/1543772-1238549568
PBS_JOBID= 9062132
Free space on /tmp= 66352 MiB

SOLVER NAME= satake 2009-03-22
BENCH NAME= SAT09/RANDOM/MEDIUM/3SAT/UNKNOWN/480/unif-k3-r4.25-v480-c2040-S915600698-006.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1543772-1238549568/watcher-1543772-1238549568 -o /tmp/evaluation-result-1543772-1238549568/solver-1543772-1238549568 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1543772-1238549568.cnf 3 1200

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

MD5SUM BENCH= fad8593fd5ac6353581d4728abbb4a34
RANDOM SEED=886721033

node62.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.232
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.232
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1506288 kB
Buffers:        100684 kB
Cached:         349952 kB
SwapCached:       7616 kB
Active:         215560 kB
Inactive:       244240 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1506288 kB
SwapTotal:     4192956 kB
SwapFree:      4178500 kB
Dirty:             852 kB
Writeback:           0 kB
Mapped:          14896 kB
Slab:            75684 kB
Committed_AS:  2878956 kB
PageTables:       1460 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66352 MiB
End job on node62 at 2009-04-01 03:44:02