Trace number 1543421

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.07 601.922

General information on the benchmark

NameRANDOM/LARGE/7SAT/UNKNOWN/180/
unif-k7-r85-v180-c15300-S907861678-077.cnf
MD5SUM3d095d003b98913e818830d59841a8fe
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark642.911
Satisfiable
(Un)Satisfiability was proved
Number of variables180
Number of clauses15300
Sum of the clauses size107100
Maximum clause length7
Minimum clause length7
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 515300

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-1543421-1238491162/watcher-1543421-1238491162 -o /tmp/evaluation-result-1543421-1238491162/solver-1543421-1238491162 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-own-ipc-queues HOME/satake HOME/instance-1543421-1238491162.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: 1.99 1.97 1.82 3/70 4525
/proc/meminfo: memFree=1678624/2055920 swapFree=4173176/4192956
[pid=4525] ppid=4523 vsize=2044 CPUtime=0
/proc/4525/stat : 4525 (satake) S 4523 4525 4457 0 -1 4194304 373 0 0 0 0 0 0 0 18 0 4 0 1121779478 2093056 358 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4525/statm: 511 358 65 163 0 346 0
[pid=4525/tid=4526] ppid=4523 vsize=2044 CPUtime=0
/proc/4525/task/4526/stat : 4526 (satake) S 4523 4525 4457 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 1121779478 2093056 358 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=4525/tid=4527] ppid=4523 vsize=2044 CPUtime=0
/proc/4525/task/4527/stat : 4527 (satake) R 4523 4525 4457 0 -1 4194368 139 0 0 0 0 0 0 0 19 0 4 0 1121779478 2093056 358 1992294400 134512640 135180984 4294956208 18446744073709551615 134513738 0 0 4096 0 0 0 0 -1 1 0 0
[pid=4525/tid=4528] ppid=4523 vsize=2044 CPUtime=0
/proc/4525/task/4528/stat : 4528 (satake) R 4523 4525 4457 0 -1 4194368 144 0 0 0 0 0 0 0 19 0 4 0 1121779478 2093056 358 1992294400 134512640 135180984 4294956208 18446744073709551615 134513573 0 0 4096 0 0 0 0 -1 1 0 0

[startup+0.0504881 s]
/proc/loadavg: 1.99 1.97 1.82 3/70 4525
/proc/meminfo: memFree=1678624/2055920 swapFree=4173176/4192956
[pid=4525] ppid=4523 vsize=4528 CPUtime=0.08
/proc/4525/stat : 4525 (satake) S 4523 4525 4457 0 -1 4194304 821 0 0 0 8 0 0 0 18 0 4 0 1121779478 4636672 586 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4525/statm: 1132 586 69 163 0 967 0
[pid=4525/tid=4526] ppid=4523 vsize=4528 CPUtime=0
/proc/4525/task/4526/stat : 4526 (satake) R 4523 4525 4457 0 -1 4194368 11 0 0 0 0 0 0 0 18 0 4 0 1121779478 4636672 586 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=4525/tid=4527] ppid=4523 vsize=4528 CPUtime=0.04
/proc/4525/task/4527/stat : 4527 (satake) S 4523 4525 4457 0 -1 4194368 341 0 0 0 4 0 0 0 17 0 4 0 1121779478 4636672 586 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=4525/tid=4528] ppid=4523 vsize=4528 CPUtime=0.04
/proc/4525/task/4528/stat : 4528 (satake) S 4523 4525 4457 0 -1 4194368 386 0 0 0 4 0 0 0 17 0 4 0 1121779478 4636672 586 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 4528

[startup+0.104259 s]
/proc/loadavg: 1.99 1.97 1.82 3/70 4525
/proc/meminfo: memFree=1678624/2055920 swapFree=4173176/4192956
[pid=4525] ppid=4523 vsize=4660 CPUtime=0.18
/proc/4525/stat : 4525 (satake) S 4523 4525 4457 0 -1 4194304 877 0 0 0 17 1 0 0 18 0 4 0 1121779478 4771840 642 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4525/statm: 1165 642 70 163 0 1000 0
[pid=4525/tid=4526] ppid=4523 vsize=4660 CPUtime=0
/proc/4525/task/4526/stat : 4526 (satake) R 4523 4525 4457 0 -1 4194368 12 0 0 0 0 0 0 0 17 0 4 0 1121779478 4771840 642 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=4525/tid=4527] ppid=4523 vsize=4660 CPUtime=0.09
/proc/4525/task/4527/stat : 4527 (satake) S 4523 4525 4457 0 -1 4194368 376 0 0 0 9 0 0 0 17 0 4 0 1121779478 4771840 642 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=4525/tid=4528] ppid=4523 vsize=4660 CPUtime=0.08
/proc/4525/task/4528/stat : 4528 (satake) R 4523 4525 4457 0 -1 4194368 406 0 0 0 8 0 0 0 16 0 4 0 1121779478 4771840 642 1992294400 134512640 135180984 4294956208 18446744073709551615 134528526 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 4660

[startup+0.301703 s]
/proc/loadavg: 1.99 1.97 1.82 3/70 4525
/proc/meminfo: memFree=1678624/2055920 swapFree=4173176/4192956
[pid=4525] ppid=4523 vsize=5188 CPUtime=0.56
/proc/4525/stat : 4525 (satake) S 4523 4525 4457 0 -1 4194304 1030 0 0 0 52 4 0 0 18 0 4 0 1121779478 5312512 795 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4525/statm: 1297 795 70 163 0 1132 0
[pid=4525/tid=4526] ppid=4523 vsize=5188 CPUtime=0.02
/proc/4525/task/4526/stat : 4526 (satake) S 4523 4525 4457 0 -1 4194368 19 0 0 0 0 2 0 0 16 0 4 0 1121779478 5312512 795 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=4525/tid=4527] ppid=4523 vsize=5188 CPUtime=0.27
/proc/4525/task/4527/stat : 4527 (satake) R 4523 4525 4457 0 -1 4194368 453 0 0 0 26 1 0 0 17 0 4 0 1121779478 5312512 795 1992294400 134512640 135180984 4294956208 18446744073709551615 134528571 0 0 4096 0 0 0 0 -1 1 0 0
[pid=4525/tid=4528] ppid=4523 vsize=5188 CPUtime=0.26
/proc/4525/task/4528/stat : 4528 (satake) R 4523 4525 4457 0 -1 4194368 475 0 0 0 25 1 0 0 17 0 4 0 1121779478 5312512 795 1992294400 134512640 135180984 4294956208 18446744073709551615 134519895 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 5188

[startup+0.701745 s]
/proc/loadavg: 1.99 1.97 1.82 3/70 4525
/proc/meminfo: memFree=1678624/2055920 swapFree=4173176/4192956
[pid=4525] ppid=4523 vsize=6244 CPUtime=1.36
/proc/4525/stat : 4525 (satake) S 4523 4525 4457 0 -1 4194304 1305 0 0 0 126 10 0 0 18 0 4 0 1121779478 6393856 1070 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4525/statm: 1561 1070 70 163 0 1396 0
[pid=4525/tid=4526] ppid=4523 vsize=6244 CPUtime=0.05
/proc/4525/task/4526/stat : 4526 (satake) R 4523 4525 4457 0 -1 4194368 29 0 0 0 1 4 0 0 17 0 4 0 1121779478 6393856 1070 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=4525/tid=4527] ppid=4523 vsize=6244 CPUtime=0.65
/proc/4525/task/4527/stat : 4527 (satake) R 4523 4525 4457 0 -1 4194368 582 0 0 0 63 2 0 0 16 0 4 0 1121779478 6393856 1070 1992294400 134512640 135180984 4294956208 18446744073709551615 134528441 0 0 4096 0 0 0 0 -1 1 0 0
[pid=4525/tid=4528] ppid=4523 vsize=6244 CPUtime=0.64
/proc/4525/task/4528/stat : 4528 (satake) R 4523 4525 4457 0 -1 4194368 611 0 0 0 62 2 0 0 17 0 4 0 1121779478 6393856 1070 1992294400 134512640 135180984 4294956208 18446744073709551615 134523759 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 6244

[startup+1.50183 s]
/proc/loadavg: 1.99 1.97 1.83 3/74 4529
/proc/meminfo: memFree=1673728/2055920 swapFree=4173176/4192956
[pid=4525] ppid=4523 vsize=7700 CPUtime=2.94
/proc/4525/stat : 4525 (satake) S 4523 4525 4457 0 -1 4194304 1771 0 0 0 276 18 0 0 18 0 4 0 1121779478 7884800 1536 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4525/statm: 1925 1536 70 163 0 1760 0
[pid=4525/tid=4526] ppid=4523 vsize=7700 CPUtime=0.1
/proc/4525/task/4526/stat : 4526 (satake) S 4523 4525 4457 0 -1 4194368 45 0 0 0 2 8 0 0 15 0 4 0 1121779478 7884800 1536 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=4525/tid=4527] ppid=4523 vsize=7700 CPUtime=1.41
/proc/4525/task/4527/stat : 4527 (satake) R 4523 4525 4457 0 -1 4194368 815 0 0 0 137 4 0 0 17 0 4 0 1121779478 7884800 1536 1992294400 134512640 135180984 4294956208 18446744073709551615 134528211 0 0 4096 0 0 0 0 -1 1 0 0
[pid=4525/tid=4528] ppid=4523 vsize=7700 CPUtime=1.4
/proc/4525/task/4528/stat : 4528 (satake) R 4523 4525 4457 0 -1 4194368 828 0 0 0 136 4 0 0 16 0 4 0 1121779478 7884800 1536 1992294400 134512640 135180984 4294956208 18446744073709551615 134518228 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 7700

[startup+3.10299 s]
/proc/loadavg: 1.99 1.97 1.83 3/74 4529
/proc/meminfo: memFree=1671360/2055920 swapFree=4173176/4192956
[pid=4525] ppid=4523 vsize=10076 CPUtime=6.12
/proc/4525/stat : 4525 (satake) S 4523 4525 4457 0 -1 4194304 2459 0 0 0 581 31 0 0 18 0 4 0 1121779478 10317824 2224 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4525/statm: 2519 2224 70 163 0 2354 0
[pid=4525/tid=4526] ppid=4523 vsize=10076 CPUtime=0.18
/proc/4525/task/4526/stat : 4526 (satake) S 4523 4525 4457 0 -1 4194368 72 0 0 0 4 14 0 0 16 0 4 0 1121779478 10317824 2224 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=4525/tid=4527] ppid=4523 vsize=10076 CPUtime=2.97
/proc/4525/task/4527/stat : 4527 (satake) R 4523 4525 4457 0 -1 4194368 1138 0 0 0 289 8 0 0 16 0 4 0 1121779478 10317824 2224 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=4525/tid=4528] ppid=4523 vsize=10076 CPUtime=2.95
/proc/4525/task/4528/stat : 4528 (satake) R 4523 4525 4457 0 -1 4194368 1166 0 0 0 287 8 0 0 17 0 4 0 1121779478 10317824 2224 1992294400 134512640 135180984 4294956208 18446744073709551615 134520027 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 10076

[startup+6.3013 s]
/proc/loadavg: 1.99 1.97 1.83 3/74 4529
/proc/meminfo: memFree=1668744/2055920 swapFree=4173176/4192956
[pid=4525] ppid=4523 vsize=11628 CPUtime=12.48
/proc/4525/stat : 4525 (satake) S 4523 4525 4457 0 -1 4194304 2690 0 0 0 1191 57 0 0 18 0 4 0 1121779478 11907072 2455 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4525/statm: 2907 2455 70 163 0 2742 0
[pid=4525/tid=4526] ppid=4523 vsize=11628 CPUtime=0.32
/proc/4525/task/4526/stat : 4526 (satake) S 4523 4525 4457 0 -1 4194368 107 0 0 0 7 25 0 0 15 0 4 0 1121779478 11907072 2455 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=4525/tid=4527] ppid=4523 vsize=11628 CPUtime=6.09
/proc/4525/task/4527/stat : 4527 (satake) R 4523 4525 4457 0 -1 4194368 1230 0 0 0 594 15 0 0 16 0 4 0 1121779478 11907072 2455 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=4525/tid=4528] ppid=4523 vsize=11628 CPUtime=6.05
/proc/4525/task/4528/stat : 4528 (satake) R 4523 4525 4457 0 -1 4194368 1270 0 0 0 589 16 0 0 17 0 4 0 1121779478 11907072 2455 1992294400 134512640 135180984 4294956208 18446744073709551615 134528631 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.48
Current children cumulated vsize (KiB) 11628

[startup+12.7019 s]
/proc/loadavg: 1.99 1.97 1.83 3/74 4529
/proc/meminfo: memFree=1667144/2055920 swapFree=4173176/4192956
[pid=4525] ppid=4523 vsize=13316 CPUtime=25.23
/proc/4525/stat : 4525 (satake) S 4523 4525 4457 0 -1 4194304 3128 0 0 0 2427 96 0 0 18 0 4 0 1121779478 13635584 2893 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4525/statm: 3329 2893 70 163 0 3164 0
[pid=4525/tid=4526] ppid=4523 vsize=13316 CPUtime=0.57
/proc/4525/task/4526/stat : 4526 (satake) S 4523 4525 4457 0 -1 4194368 171 0 0 0 13 44 0 0 16 0 4 0 1121779478 13635584 2893 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=4525/tid=4527] ppid=4523 vsize=13316 CPUtime=12.35
/proc/4525/task/4527/stat : 4527 (satake) R 4523 4525 4457 0 -1 4194368 1402 0 0 0 1211 24 0 0 17 0 4 0 1121779478 13635584 2893 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=4525/tid=4528] ppid=4523 vsize=13316 CPUtime=12.29
/proc/4525/task/4528/stat : 4528 (satake) R 4523 4525 4457 0 -1 4194368 1472 0 0 0 1203 26 0 0 16 0 4 0 1121779478 13635584 2893 1992294400 134512640 135180984 4294956208 18446744073709551615 134527272 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 13316

[startup+25.5012 s]
/proc/loadavg: 2.07 1.99 1.83 3/74 4529
/proc/meminfo: memFree=1664520/2055920 swapFree=4173176/4192956
[pid=4525] ppid=4523 vsize=16068 CPUtime=50.74
/proc/4525/stat : 4525 (satake) S 4523 4525 4457 0 -1 4194304 3749 0 0 0 4911 163 0 0 18 0 4 0 1121779478 16453632 3514 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4525/statm: 4017 3514 70 163 0 3852 0
[pid=4525/tid=4526] ppid=4523 vsize=16068 CPUtime=0.95
/proc/4525/task/4526/stat : 4526 (satake) S 4523 4525 4457 0 -1 4194368 250 0 0 0 21 74 0 0 16 0 4 0 1121779478 16453632 3514 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=4525/tid=4527] ppid=4523 vsize=16068 CPUtime=24.89
/proc/4525/task/4527/stat : 4527 (satake) R 4523 4525 4457 0 -1 4194368 1674 0 0 0 2445 44 0 0 17 0 4 0 1121779478 16453632 3514 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=4525/tid=4528] ppid=4523 vsize=16068 CPUtime=24.88
/proc/4525/task/4528/stat : 4528 (satake) R 4523 4525 4457 0 -1 4194368 1742 0 0 0 2444 44 0 0 17 0 4 0 1121779478 16453632 3514 1992294400 134512640 135180984 4294956208 18446744073709551615 134522984 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.74
Current children cumulated vsize (KiB) 16068

[startup+51.1017 s]
/proc/loadavg: 2.04 1.99 1.84 3/74 4529
/proc/meminfo: memFree=1661448/2055920 swapFree=4173176/4192956
[pid=4525] ppid=4523 vsize=19356 CPUtime=101.76
/proc/4525/stat : 4525 (satake) S 4523 4525 4457 0 -1 4194304 4511 0 0 0 9906 270 0 0 18 0 4 0 1121779478 19820544 4276 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4525/statm: 4839 4276 70 163 0 4674 0
[pid=4525/tid=4526] ppid=4523 vsize=19356 CPUtime=1.61
/proc/4525/task/4526/stat : 4526 (satake) S 4523 4525 4457 0 -1 4194368 418 0 0 0 35 126 0 0 16 0 4 0 1121779478 19820544 4276 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=4525/tid=4527] ppid=4523 vsize=19356 CPUtime=50.05
/proc/4525/task/4527/stat : 4527 (satake) R 4523 4525 4457 0 -1 4194368 2051 0 0 0 4932 73 0 0 17 0 4 0 1121779478 19820544 4276 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=4525/tid=4528] ppid=4523 vsize=19356 CPUtime=50.08
/proc/4525/task/4528/stat : 4528 (satake) R 4523 4525 4457 0 -1 4194368 1959 0 0 0 4937 71 0 0 17 0 4 0 1121779478 19820544 4276 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.76
Current children cumulated vsize (KiB) 19356

[startup+102.307 s]
/proc/loadavg: 2.06 2.00 1.85 3/74 4529
/proc/meminfo: memFree=1656200/2055920 swapFree=4173176/4192956
[pid=4525] ppid=4523 vsize=25324 CPUtime=203.83
/proc/4525/stat : 4525 (satake) S 4523 4525 4457 0 -1 4194304 5769 0 0 0 19935 448 0 0 18 0 4 0 1121779478 25931776 5534 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4525/statm: 6331 5534 70 163 0 6166 0
[pid=4525/tid=4526] ppid=4523 vsize=25324 CPUtime=2.6
/proc/4525/task/4526/stat : 4526 (satake) S 4523 4525 4457 0 -1 4194368 583 0 0 0 55 205 0 0 16 0 4 0 1121779478 25931776 5534 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=4525/tid=4527] ppid=4523 vsize=25324 CPUtime=100.73
/proc/4525/task/4527/stat : 4527 (satake) R 4523 4525 4457 0 -1 4194368 2451 0 0 0 9951 122 0 0 17 0 4 0 1121779478 25931776 5534 1992294400 134512640 135180984 4294956208 18446744073709551615 134528688 0 0 4096 0 0 0 0 -1 0 0 0
[pid=4525/tid=4528] ppid=4523 vsize=25324 CPUtime=100.47
/proc/4525/task/4528/stat : 4528 (satake) R 4523 4525 4457 0 -1 4194368 2652 0 0 0 9928 119 0 0 19 0 4 0 1121779478 25931776 5534 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 203.83
Current children cumulated vsize (KiB) 25324

[startup+162.302 s]
/proc/loadavg: 2.12 2.03 1.86 3/74 4529
/proc/meminfo: memFree=1651464/2055920 swapFree=4173176/4192956
[pid=4525] ppid=4523 vsize=30048 CPUtime=323.44
/proc/4525/stat : 4525 (satake) S 4523 4525 4457 0 -1 4194304 6967 0 0 0 31726 618 0 0 18 0 4 0 1121779478 30769152 6732 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4525/statm: 7512 6732 70 163 0 7347 0
[pid=4525/tid=4526] ppid=4523 vsize=30048 CPUtime=3.57
/proc/4525/task/4526/stat : 4526 (satake) S 4523 4525 4457 0 -1 4194368 739 0 0 0 77 280 0 0 16 0 4 0 1121779478 30769152 6732 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=4525/tid=4527] ppid=4523 vsize=30048 CPUtime=159.99
/proc/4525/task/4527/stat : 4527 (satake) R 4523 4525 4457 0 -1 4194368 2793 0 0 0 15831 168 0 0 17 0 4 0 1121779478 30769152 6732 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=4525/tid=4528] ppid=4523 vsize=30048 CPUtime=159.86
/proc/4525/task/4528/stat : 4528 (satake) R 4523 4525 4457 0 -1 4194368 3352 0 0 0 15817 169 0 0 17 0 4 0 1121779478 30769152 6732 1992294400 134512640 135180984 4294956208 18446744073709551615 134528214 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.44
Current children cumulated vsize (KiB) 30048

[startup+222.302 s]
/proc/loadavg: 2.17 2.06 1.88 3/74 4529
/proc/meminfo: memFree=1649224/2055920 swapFree=4173176/4192956
[pid=4525] ppid=4523 vsize=32052 CPUtime=443.09
/proc/4525/stat : 4525 (satake) S 4523 4525 4457 0 -1 4194304 7529 0 0 0 43535 774 0 0 18 0 4 0 1121779478 32821248 7294 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4525/statm: 8013 7294 70 163 0 7848 0
[pid=4525/tid=4526] ppid=4523 vsize=32052 CPUtime=4.49
/proc/4525/task/4526/stat : 4526 (satake) S 4523 4525 4457 0 -1 4194368 921 0 0 0 99 350 0 0 16 0 4 0 1121779478 32821248 7294 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=4525/tid=4527] ppid=4523 vsize=32052 CPUtime=219.34
/proc/4525/task/4527/stat : 4527 (satake) R 4523 4525 4457 0 -1 4194368 2918 0 0 0 21724 210 0 0 17 0 4 0 1121779478 32821248 7294 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=4525/tid=4528] ppid=4523 vsize=32052 CPUtime=219.24
/proc/4525/task/4528/stat : 4528 (satake) R 4523 4525 4457 0 -1 4194368 3607 0 0 0 21711 213 0 0 17 0 4 0 1121779478 32821248 7294 1992294400 134512640 135180984 4294956208 18446744073709551615 134528658 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 443.09
Current children cumulated vsize (KiB) 32052

[startup+282.302 s]
/proc/loadavg: 2.06 2.05 1.89 3/74 4529
/proc/meminfo: memFree=1645320/2055920 swapFree=4173176/4192956
[pid=4525] ppid=4523 vsize=36544 CPUtime=562.74
/proc/4525/stat : 4525 (satake) S 4523 4525 4457 0 -1 4194304 8490 0 0 0 55352 922 0 0 18 0 4 0 1121779478 37421056 8255 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4525/statm: 9136 8255 70 163 0 8971 0
[pid=4525/tid=4526] ppid=4523 vsize=36544 CPUtime=5.42
/proc/4525/task/4526/stat : 4526 (satake) S 4523 4525 4457 0 -1 4194368 1059 0 0 0 122 420 0 0 16 0 4 0 1121779478 37421056 8255 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=4525/tid=4527] ppid=4523 vsize=36544 CPUtime=278.84
/proc/4525/task/4527/stat : 4527 (satake) R 4523 4525 4457 0 -1 4194368 3554 0 0 0 27636 248 0 0 17 0 4 0 1121779478 37421056 8255 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=4525/tid=4528] ppid=4523 vsize=36544 CPUtime=278.46
/proc/4525/task/4528/stat : 4528 (satake) R 4523 4525 4457 0 -1 4194368 3794 0 0 0 27594 252 0 0 20 0 4 0 1121779478 37421056 8255 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 562.74
Current children cumulated vsize (KiB) 36544

[startup+342.302 s]
/proc/loadavg: 2.02 2.04 1.90 3/74 4529
/proc/meminfo: memFree=1644040/2055920 swapFree=4173176/4192956
[pid=4525] ppid=4523 vsize=37404 CPUtime=682.38
/proc/4525/stat : 4525 (satake) S 4523 4525 4457 0 -1 4194304 8817 0 0 0 67168 1070 0 0 18 0 4 0 1121779478 38301696 8582 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4525/statm: 9351 8582 70 163 0 9186 0
[pid=4525/tid=4526] ppid=4523 vsize=37404 CPUtime=6.32
/proc/4525/task/4526/stat : 4526 (satake) S 4523 4525 4457 0 -1 4194368 1227 0 0 0 142 490 0 0 16 0 4 0 1121779478 38301696 8582 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=4525/tid=4527] ppid=4523 vsize=37404 CPUtime=338.36
/proc/4525/task/4527/stat : 4527 (satake) R 4523 4525 4457 0 -1 4194368 3607 0 0 0 33551 285 0 0 19 0 4 0 1121779478 38301696 8582 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=4525/tid=4528] ppid=4523 vsize=37404 CPUtime=337.68
/proc/4525/task/4528/stat : 4528 (satake) R 4523 4525 4457 0 -1 4194368 3900 0 0 0 33474 294 0 0 18 0 4 0 1121779478 38301696 8582 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 682.38
Current children cumulated vsize (KiB) 37404

[startup+402.301 s]
/proc/loadavg: 2.06 2.04 1.91 3/74 4529
/proc/meminfo: memFree=1641224/2055920 swapFree=4173176/4192956
[pid=4525] ppid=4523 vsize=40928 CPUtime=801.99
/proc/4525/stat : 4525 (satake) S 4523 4525 4457 0 -1 4194304 9559 0 0 0 78981 1218 0 0 18 0 4 0 1121779478 41910272 9281 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4525/statm: 10232 9281 70 163 0 10067 0
[pid=4525/tid=4526] ppid=4523 vsize=40928 CPUtime=7.18
/proc/4525/task/4526/stat : 4526 (satake) S 4523 4525 4457 0 -1 4194368 1395 0 0 0 160 558 0 0 16 0 4 0 1121779478 41910272 9281 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=4525/tid=4527] ppid=4523 vsize=40928 CPUtime=397.87
/proc/4525/task/4527/stat : 4527 (satake) R 4523 4525 4457 0 -1 4194368 3979 0 0 0 39463 324 0 0 17 0 4 0 1121779478 41910272 9281 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=4525/tid=4528] ppid=4523 vsize=40928 CPUtime=396.92
/proc/4525/task/4528/stat : 4528 (satake) R 4523 4525 4457 0 -1 4194368 4102 0 0 0 39357 335 0 0 17 0 4 0 1121779478 41910272 9281 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 801.99
Current children cumulated vsize (KiB) 40928

[startup+462.301 s]
/proc/loadavg: 2.02 2.03 1.91 3/74 4529
/proc/meminfo: memFree=1639368/2055920 swapFree=4173176/4192956
[pid=4525] ppid=4523 vsize=42780 CPUtime=921.65
/proc/4525/stat : 4525 (satake) S 4523 4525 4457 0 -1 4194304 10089 0 0 0 90809 1356 0 0 18 0 4 0 1121779478 43806720 9805 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4525/statm: 10695 9805 70 163 0 10530 0
[pid=4525/tid=4526] ppid=4523 vsize=42780 CPUtime=8.02
/proc/4525/task/4526/stat : 4526 (satake) S 4523 4525 4457 0 -1 4194368 1548 0 0 0 179 623 0 0 16 0 4 0 1121779478 43806720 9805 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=4525/tid=4527] ppid=4523 vsize=42780 CPUtime=457.26
/proc/4525/task/4527/stat : 4527 (satake) R 4523 4525 4457 0 -1 4194368 4105 0 0 0 45365 361 0 0 17 0 4 0 1121779478 43806720 9805 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=4525/tid=4528] ppid=4523 vsize=42780 CPUtime=456.35
/proc/4525/task/4528/stat : 4528 (satake) R 4523 4525 4457 0 -1 4194368 4353 0 0 0 45264 371 0 0 19 0 4 0 1121779478 43806720 9805 1992294400 134512640 135180984 4294956208 18446744073709551615 134675767 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 921.65
Current children cumulated vsize (KiB) 42780

[startup+522.301 s]
/proc/loadavg: 2.01 2.02 1.91 3/74 4529
/proc/meminfo: memFree=1635976/2055920 swapFree=4173176/4192956
[pid=4525] ppid=4523 vsize=46372 CPUtime=1041.3
/proc/4525/stat : 4525 (satake) S 4523 4525 4457 0 -1 4194304 10892 0 0 0 102637 1493 0 0 18 0 4 0 1121779478 47484928 10607 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4525/statm: 11593 10607 70 163 0 11428 0
[pid=4525/tid=4526] ppid=4523 vsize=46372 CPUtime=8.8
/proc/4525/task/4526/stat : 4526 (satake) S 4523 4525 4457 0 -1 4194368 1689 0 0 0 196 684 0 0 16 0 4 0 1121779478 47484928 10607 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=4525/tid=4527] ppid=4523 vsize=46372 CPUtime=516.56
/proc/4525/task/4527/stat : 4527 (satake) R 4523 4525 4457 0 -1 4194368 4161 0 0 0 51256 400 0 0 17 0 4 0 1121779478 47484928 10607 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=4525/tid=4528] ppid=4523 vsize=46372 CPUtime=515.93
/proc/4525/task/4528/stat : 4528 (satake) R 4523 4525 4457 0 -1 4194368 4959 0 0 0 51184 409 0 0 19 0 4 0 1121779478 47484928 10607 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1041.3
Current children cumulated vsize (KiB) 46372

[startup+582.301 s]
/proc/loadavg: 2.06 2.03 1.91 4/74 4529
/proc/meminfo: memFree=1633544/2055920 swapFree=4173176/4192956
[pid=4525] ppid=4523 vsize=48180 CPUtime=1160.95
/proc/4525/stat : 4525 (satake) S 4523 4525 4457 0 -1 4194304 11483 0 0 0 114463 1632 0 0 18 0 4 0 1121779478 49336320 11198 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4525/statm: 12045 11198 70 163 0 11880 0
[pid=4525/tid=4526] ppid=4523 vsize=48180 CPUtime=9.62
/proc/4525/task/4526/stat : 4526 (satake) S 4523 4525 4457 0 -1 4194368 1775 0 0 0 215 747 0 0 16 0 4 0 1121779478 49336320 11198 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=4525/tid=4527] ppid=4523 vsize=48180 CPUtime=575.95
/proc/4525/task/4527/stat : 4527 (satake) R 4523 4525 4457 0 -1 4194368 4429 0 0 0 57158 437 0 0 17 0 4 0 1121779478 49336320 11198 1992294400 134512640 135180984 4294956208 18446744073709551615 134520818 0 0 4096 0 0 0 0 -1 0 0 0
[pid=4525/tid=4528] ppid=4523 vsize=48180 CPUtime=575.36
/proc/4525/task/4528/stat : 4528 (satake) R 4523 4525 4457 0 -1 4194368 5196 0 0 0 57089 447 0 0 20 0 4 0 1121779478 49336320 11198 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1160.95
Current children cumulated vsize (KiB) 48180



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+601.902 s]
/proc/loadavg: 2.04 2.03 1.91 3/74 4529
/proc/meminfo: memFree=1633224/2055920 swapFree=4173176/4192956
[pid=4525] ppid=4523 vsize=49204 CPUtime=1200.04
/proc/4525/stat : 4525 (satake) S 4523 4525 4457 0 -1 4194304 11564 0 0 0 118329 1675 0 0 18 0 4 0 1121779478 50384896 11279 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4525/statm: 12301 11279 70 163 0 12136 0
[pid=4525/tid=4526] ppid=4523 vsize=49204 CPUtime=9.89
/proc/4525/task/4526/stat : 4526 (satake) S 4523 4525 4457 0 -1 4194368 1835 0 0 0 222 767 0 0 16 0 4 0 1121779478 50384896 11279 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=4525/tid=4527] ppid=4523 vsize=49204 CPUtime=595.42
/proc/4525/task/4527/stat : 4527 (satake) R 4523 4525 4457 0 -1 4194368 4433 0 0 0 59093 449 0 0 18 0 4 0 1121779478 50384896 11279 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=4525/tid=4528] ppid=4523 vsize=49204 CPUtime=594.72
/proc/4525/task/4528/stat : 4528 (satake) R 4523 4525 4457 0 -1 4194368 5213 0 0 0 59013 459 0 0 17 0 4 0 1121779478 50384896 11279 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1200.04
Current children cumulated vsize (KiB) 49204

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

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

[startup+601.902 s]
/proc/loadavg: 2.04 2.03 1.91 3/74 4529
/proc/meminfo: memFree=1633224/2055920 swapFree=4173176/4192956
[pid=4525] ppid=4523 vsize=49204 CPUtime=1200.04
/proc/4525/stat : 4525 (satake) S 4523 4525 4457 0 -1 4194304 11564 0 0 0 118329 1675 0 0 18 0 4 0 1121779478 50384896 11279 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4525/statm: 12301 11279 70 163 0 12136 0
[pid=4525/tid=4526] ppid=4523 vsize=49204 CPUtime=9.89
/proc/4525/task/4526/stat : 4526 (satake) S 4523 4525 4457 0 -1 4194368 1835 0 0 0 222 767 0 0 16 0 4 0 1121779478 50384896 11279 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=4525/tid=4527] ppid=4523 vsize=49204 CPUtime=595.42
/proc/4525/task/4527/stat : 4527 (satake) R 4523 4525 4457 0 -1 4194368 4433 0 0 0 59093 449 0 0 18 0 4 0 1121779478 50384896 11279 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=4525/tid=4528] ppid=4523 vsize=49204 CPUtime=594.72
/proc/4525/task/4528/stat : 4528 (satake) R 4523 4525 4457 0 -1 4194368 5213 0 0 0 59013 459 0 0 17 0 4 0 1121779478 50384896 11279 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1200.04
Current children cumulated vsize (KiB) 49204

Child ended because it received signal 15 (SIGTERM)
Real time (s): 601.922
CPU time (s): 1200.07
CPU user time (s): 1183.31
CPU system time (s): 16.7665
CPU usage (%): 199.373
Max. virtual memory (cumulated for all children) (KiB): 49204

deleting IPC queue 294912
deleting IPC queue 327681
deleting IPC queue 360450
deleting IPC queue 393219
deleting IPC queue 491530

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1183.31
system time used= 16.7665
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11564
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= 1301281
involuntary context switches= 1289971

runsolver used 0.774882 second user time and 1.9617 second system time

The end

Launcher Data 

Begin job on node36 at 2009-03-31 11:19:22
IDJOB=1543421
IDBENCH=70262
IDSOLVER=553
FILE ID=node36/1543421-1238491162
PBS_JOBID= 9061892
Free space on /tmp= 66412 MiB

SOLVER NAME= satake 2009-03-22
BENCH NAME= SAT09/RANDOM/LARGE/7SAT/UNKNOWN/180/unif-k7-r85-v180-c15300-S907861678-077.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1543421-1238491162/watcher-1543421-1238491162 -o /tmp/evaluation-result-1543421-1238491162/solver-1543421-1238491162 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-own-ipc-queues HOME/satake HOME/instance-1543421-1238491162.cnf 3 1200

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

MD5SUM BENCH= 3d095d003b98913e818830d59841a8fe
RANDOM SEED=1728089062

node36.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.214
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.214
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:       1679040 kB
Buffers:         70664 kB
Cached:         222184 kB
SwapCached:       9072 kB
Active:         163424 kB
Inactive:       139988 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1679040 kB
SwapTotal:     4192956 kB
SwapFree:      4173176 kB
Dirty:            1212 kB
Writeback:           0 kB
Mapped:          16284 kB
Slab:            58820 kB
Committed_AS:  3064884 kB
PageTables:       1876 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66408 MiB
End job on node36 at 2009-03-31 11:29:26