Trace number 1723970

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.11 601.551

General information on the benchmark

Namemanol-pipe-f9n.cnf
MD5SUM61e4a04a828a2cd33ae3f3dde54ef320
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark280.7
Satisfiable
(Un)Satisfiability was proved
Number of variables185149
Number of clauses552412
Sum of the clauses size1288960
Maximum clause length3
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 2368274
Number of clauses of size 3184137
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:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1723970-1240690766/watcher-1723970-1240690766 -o /tmp/evaluation-result-1723970-1240690766/solver-1723970-1240690766 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1723970-1240690766.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.96 1.00 1.00 3/64 21259
/proc/meminfo: memFree=1789424/2055920 swapFree=4181888/4192956
[pid=21259] ppid=21257 vsize=5120 CPUtime=0
/proc/21259/stat : 21259 (satake) S 21257 21259 21222 0 -1 4194304 734 0 0 0 0 0 0 0 18 0 4 0 97109976 5242880 719 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21259/statm: 1280 725 65 163 0 1115 0
[pid=21259/tid=21260] ppid=21257 vsize=5120 CPUtime=0
/proc/21259/task/21260/stat : 21260 (satake) S 21257 21259 21222 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 97109976 5242880 744 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=21259/tid=21261] ppid=21257 vsize=5120 CPUtime=0
/proc/21259/task/21261/stat : 21261 (satake) R 21257 21259 21222 0 -1 4194368 679 0 0 0 0 0 0 0 20 0 4 0 97109976 5242880 754 1992294400 134512640 135180984 4294956208 18446744073709551615 134583077 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21259/tid=21262] ppid=21257 vsize=5120 CPUtime=0
/proc/21259/task/21262/stat : 21262 (satake) R 21257 21259 21222 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 4 0 97109976 5242880 763 1992294400 134512640 135180984 4294956208 18446744073709551615 134705812 0 0 4096 0 0 0 0 -1 0 0 0

[startup+0.0195949 s]
/proc/loadavg: 0.96 1.00 1.00 3/64 21259
/proc/meminfo: memFree=1789424/2055920 swapFree=4181888/4192956
[pid=21259] ppid=21257 vsize=17416 CPUtime=0.03
/proc/21259/stat : 21259 (satake) S 21257 21259 21222 0 -1 4194304 3477 0 0 0 0 3 0 0 18 0 4 0 97109976 17833984 3462 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21259/statm: 4354 3462 65 163 0 4189 0
[pid=21259/tid=21260] ppid=21257 vsize=17416 CPUtime=0
/proc/21259/task/21260/stat : 21260 (satake) S 21257 21259 21222 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 97109976 17833984 3462 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=21259/tid=21261] ppid=21257 vsize=17416 CPUtime=0.01
/proc/21259/task/21261/stat : 21261 (satake) R 21257 21259 21222 0 -1 4194368 2070 0 0 0 0 1 0 0 18 0 4 0 97109976 17833984 3462 1992294400 134512640 135180984 4294956208 18446744073709551615 134706046 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21259/tid=21262] ppid=21257 vsize=17416 CPUtime=0.01
/proc/21259/task/21262/stat : 21262 (satake) D 21257 21259 21222 0 -1 4194368 1317 0 0 0 0 1 0 0 18 0 4 0 97109976 17833984 3462 1992294400 134512640 135180984 4294956208 18446744073709551615 134583077 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 17416

[startup+0.116448 s]
/proc/loadavg: 0.96 1.00 1.00 3/64 21259
/proc/meminfo: memFree=1789424/2055920 swapFree=4181888/4192956
[pid=21259] ppid=21257 vsize=34368 CPUtime=0.21
/proc/21259/stat : 21259 (satake) S 21257 21259 21222 0 -1 4194304 7955 0 0 0 15 6 0 0 18 0 4 0 97109976 35192832 7936 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21259/statm: 8592 7937 65 163 0 8427 0
[pid=21259/tid=21260] ppid=21257 vsize=34368 CPUtime=0
/proc/21259/task/21260/stat : 21260 (satake) S 21257 21259 21222 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 97109976 35192832 7937 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=21259/tid=21261] ppid=21257 vsize=34368 CPUtime=0.1
/proc/21259/task/21261/stat : 21261 (satake) R 21257 21259 21222 0 -1 4194368 3877 0 0 0 8 2 0 0 16 0 4 0 97109976 35192832 7938 1992294400 134512640 135180984 4294956208 18446744073709551615 134675846 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21259/tid=21262] ppid=21257 vsize=34368 CPUtime=0.09
/proc/21259/task/21262/stat : 21262 (satake) R 21257 21259 21222 0 -1 4194368 3990 0 0 0 6 3 0 0 16 0 4 0 97109976 35192832 7938 1992294400 134512640 135180984 4294956208 18446744073709551615 134579486 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 34368

[startup+0.302648 s]
/proc/loadavg: 0.96 1.00 1.00 3/64 21259
/proc/meminfo: memFree=1789424/2055920 swapFree=4181888/4192956
[pid=21259] ppid=21257 vsize=65644 CPUtime=0.58
/proc/21259/stat : 21259 (satake) S 21257 21259 21222 0 -1 4194304 14182 0 0 0 47 11 0 0 18 0 4 0 97109976 67219456 14163 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21259/statm: 16411 14164 65 163 0 16246 0
[pid=21259/tid=21260] ppid=21257 vsize=65644 CPUtime=0
/proc/21259/task/21260/stat : 21260 (satake) S 21257 21259 21222 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 97109976 67219456 14165 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=21259/tid=21261] ppid=21257 vsize=65644 CPUtime=0.29
/proc/21259/task/21261/stat : 21261 (satake) R 21257 21259 21222 0 -1 4194368 7072 0 0 0 25 4 0 0 15 0 4 0 97109976 67219456 14166 1992294400 134512640 135180984 4294956208 18446744073709551615 134675846 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21259/tid=21262] ppid=21257 vsize=65644 CPUtime=0.28
/proc/21259/task/21262/stat : 21262 (satake) R 21257 21259 21222 0 -1 4194368 7023 0 0 0 22 6 0 0 16 0 4 0 97109976 67219456 14167 1992294400 134512640 135180984 4294956208 18446744073709551615 134535083 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 65644

[startup+0.70154 s]
/proc/loadavg: 0.96 1.00 1.00 3/64 21259
/proc/meminfo: memFree=1789424/2055920 swapFree=4181888/4192956
[pid=21259] ppid=21257 vsize=102856 CPUtime=1.37
/proc/21259/stat : 21259 (satake) S 21257 21259 21222 0 -1 4194304 26432 0 0 0 117 20 0 0 18 0 4 0 97109976 105324544 21591 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21259/statm: 25714 21591 68 163 0 25549 0
[pid=21259/tid=21260] ppid=21257 vsize=102856 CPUtime=0.03
/proc/21259/task/21260/stat : 21260 (satake) S 21257 21259 21222 0 -1 4194368 3261 0 0 0 2 1 0 0 16 0 4 0 97109976 105324544 21591 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=21259/tid=21261] ppid=21257 vsize=102856 CPUtime=0.63
/proc/21259/task/21261/stat : 21261 (satake) R 21257 21259 21222 0 -1 4194368 11405 0 0 0 56 7 0 0 16 0 4 0 97109976 105324544 21591 1992294400 134512640 135180984 4294956208 18446744073709551615 134528543 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21259/tid=21262] ppid=21257 vsize=102856 CPUtime=0.68
/proc/21259/task/21262/stat : 21262 (satake) R 21257 21259 21222 0 -1 4194368 11683 0 0 0 58 10 0 0 16 0 4 0 97109976 105324544 21591 1992294400 134512640 135180984 4294956208 18446744073709551615 134528872 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 102856

[startup+1.50267 s]
/proc/loadavg: 0.96 1.00 1.00 3/68 21263
/proc/meminfo: memFree=1702352/2055920 swapFree=4181888/4192956
[pid=21259] ppid=21257 vsize=102988 CPUtime=2.97
/proc/21259/stat : 21259 (satake) S 21257 21259 21222 0 -1 4194304 26650 0 0 0 274 23 0 0 18 0 4 0 97109976 105459712 21809 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21259/statm: 25747 21809 70 163 0 25582 0
[pid=21259/tid=21260] ppid=21257 vsize=102988 CPUtime=0.06
/proc/21259/task/21260/stat : 21260 (satake) S 21257 21259 21222 0 -1 4194368 3266 0 0 0 3 3 0 0 16 0 4 0 97109976 105459712 21809 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=21259/tid=21261] ppid=21257 vsize=102988 CPUtime=1.42
/proc/21259/task/21261/stat : 21261 (satake) R 21257 21259 21222 0 -1 4194368 11504 0 0 0 134 8 0 0 17 0 4 0 97109976 105459712 21809 1992294400 134512640 135180984 4294956208 18446744073709551615 134521106 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21259/tid=21262] ppid=21257 vsize=102988 CPUtime=1.47
/proc/21259/task/21262/stat : 21262 (satake) R 21257 21259 21222 0 -1 4194368 11797 0 0 0 136 11 0 0 16 0 4 0 97109976 105459712 21809 1992294400 134512640 135180984 4294956208 18446744073709551615 134523641 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 102988

[startup+3.10196 s]
/proc/loadavg: 0.96 1.00 1.00 3/68 21263
/proc/meminfo: memFree=1701840/2055920 swapFree=4181888/4192956
[pid=21259] ppid=21257 vsize=103120 CPUtime=6.16
/proc/21259/stat : 21259 (satake) S 21257 21259 21222 0 -1 4194304 26715 0 0 0 585 31 0 0 18 0 4 0 97109976 105594880 21874 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21259/statm: 25780 21874 70 163 0 25615 0
[pid=21259/tid=21260] ppid=21257 vsize=103120 CPUtime=0.1
/proc/21259/task/21260/stat : 21260 (satake) S 21257 21259 21222 0 -1 4194368 3274 0 0 0 4 6 0 0 16 0 4 0 97109976 105594880 21874 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=21259/tid=21261] ppid=21257 vsize=103120 CPUtime=3
/proc/21259/task/21261/stat : 21261 (satake) R 21257 21259 21222 0 -1 4194368 11543 0 0 0 290 10 0 0 16 0 4 0 97109976 105594880 21874 1992294400 134512640 135180984 4294956208 18446744073709551615 134520911 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21259/tid=21262] ppid=21257 vsize=103120 CPUtime=3.05
/proc/21259/task/21262/stat : 21262 (satake) R 21257 21259 21222 0 -1 4194368 11815 0 0 0 291 14 0 0 17 0 4 0 97109976 105594880 21874 1992294400 134512640 135180984 4294956208 18446744073709551615 134528465 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 103120

[startup+6.30252 s]
/proc/loadavg: 1.04 1.01 1.00 3/68 21263
/proc/meminfo: memFree=1701072/2055920 swapFree=4181888/4192956
[pid=21259] ppid=21257 vsize=103520 CPUtime=12.54
/proc/21259/stat : 21259 (satake) S 21257 21259 21222 0 -1 4194304 26893 0 0 0 1203 51 0 0 18 0 4 0 97109976 106004480 22052 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21259/statm: 25880 22052 70 163 0 25715 0
[pid=21259/tid=21260] ppid=21257 vsize=103520 CPUtime=0.21
/proc/21259/task/21260/stat : 21260 (satake) S 21257 21259 21222 0 -1 4194368 3307 0 0 0 7 14 0 0 15 0 4 0 97109976 106004480 22052 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=21259/tid=21261] ppid=21257 vsize=103520 CPUtime=6.13
/proc/21259/task/21261/stat : 21261 (satake) R 21257 21259 21222 0 -1 4194368 11593 0 0 0 597 16 0 0 17 0 4 0 97109976 106004480 22052 1992294400 134512640 135180984 4294956208 18446744073709551615 134518770 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21259/tid=21262] ppid=21257 vsize=103520 CPUtime=6.17
/proc/21259/task/21262/stat : 21262 (satake) R 21257 21259 21222 0 -1 4194368 11910 0 0 0 598 19 0 0 18 0 4 0 97109976 106004480 22052 1992294400 134512640 135180984 4294956208 18446744073709551615 134528576 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 103520

[startup+12.7026 s]
/proc/loadavg: 1.12 1.03 1.01 3/68 21263
/proc/meminfo: memFree=1699280/2055920 swapFree=4181888/4192956
[pid=21259] ppid=21257 vsize=105600 CPUtime=25.3
/proc/21259/stat : 21259 (satake) S 21257 21259 21222 0 -1 4194304 27357 0 0 0 2434 96 0 0 18 0 4 0 97109976 108134400 22516 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21259/statm: 26400 22516 70 163 0 26235 0
[pid=21259/tid=21260] ppid=21257 vsize=105600 CPUtime=0.47
/proc/21259/task/21260/stat : 21260 (satake) S 21257 21259 21222 0 -1 4194368 3382 0 0 0 12 35 0 0 16 0 4 0 97109976 108134400 22516 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=21259/tid=21261] ppid=21257 vsize=105600 CPUtime=12.38
/proc/21259/task/21261/stat : 21261 (satake) R 21257 21259 21222 0 -1 4194368 11746 0 0 0 1209 29 0 0 19 0 4 0 97109976 108134400 22516 1992294400 134512640 135180984 4294956208 18446744073709551615 134523618 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21259/tid=21262] ppid=21257 vsize=105600 CPUtime=12.43
/proc/21259/task/21262/stat : 21262 (satake) R 21257 21259 21222 0 -1 4194368 12146 0 0 0 1213 30 0 0 25 0 4 0 97109976 108134400 22516 1992294400 134512640 135180984 4294956208 18446744073709551615 134519935 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.3
Current children cumulated vsize (KiB) 105600

[startup+25.5019 s]
/proc/loadavg: 1.32 1.08 1.02 4/68 21263
/proc/meminfo: memFree=1693776/2055920 swapFree=4181888/4192956
[pid=21259] ppid=21257 vsize=111092 CPUtime=50.79
/proc/21259/stat : 21259 (satake) S 21257 21259 21222 0 -1 4194304 28751 0 0 0 4879 200 0 0 18 0 4 0 97109976 113758208 23910 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21259/statm: 27773 23910 70 163 0 27608 0
[pid=21259/tid=21260] ppid=21257 vsize=111092 CPUtime=1.07
/proc/21259/task/21260/stat : 21260 (satake) S 21257 21259 21222 0 -1 4194368 3597 0 0 0 25 82 0 0 16 0 4 0 97109976 113758208 23910 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=21259/tid=21261] ppid=21257 vsize=111092 CPUtime=24.84
/proc/21259/task/21261/stat : 21261 (satake) R 21257 21259 21222 0 -1 4194368 12323 0 0 0 2425 59 0 0 20 0 4 0 97109976 113758208 23910 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21259/tid=21262] ppid=21257 vsize=111092 CPUtime=24.88
/proc/21259/task/21262/stat : 21262 (satake) R 21257 21259 21222 0 -1 4194368 12748 0 0 0 2429 59 0 0 20 0 4 0 97109976 113758208 23910 1992294400 134512640 135180984 4294956208 18446744073709551615 134528132 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.79
Current children cumulated vsize (KiB) 111092

[startup+51.1014 s]
/proc/loadavg: 1.62 1.16 1.05 3/68 21263
/proc/meminfo: memFree=1680208/2055920 swapFree=4181888/4192956
[pid=21259] ppid=21257 vsize=124756 CPUtime=101.81
/proc/21259/stat : 21259 (satake) S 21257 21259 21222 0 -1 4194304 32179 0 0 0 9767 414 0 0 18 0 4 0 97109976 127750144 27338 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21259/statm: 31189 27338 70 163 0 31024 0
[pid=21259/tid=21260] ppid=21257 vsize=124756 CPUtime=2.32
/proc/21259/task/21260/stat : 21260 (satake) S 21257 21259 21222 0 -1 4194368 4039 0 0 0 54 178 0 0 16 0 4 0 97109976 127750144 27338 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=21259/tid=21261] ppid=21257 vsize=124756 CPUtime=49.72
/proc/21259/task/21261/stat : 21261 (satake) R 21257 21259 21222 0 -1 4194368 13634 0 0 0 4855 117 0 0 17 0 4 0 97109976 127750144 27338 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21259/tid=21262] ppid=21257 vsize=124756 CPUtime=49.74
/proc/21259/task/21262/stat : 21262 (satake) R 21257 21259 21222 0 -1 4194368 14423 0 0 0 4857 117 0 0 18 0 4 0 97109976 127750144 27338 1992294400 134512640 135180984 4294956208 18446744073709551615 134528403 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.81
Current children cumulated vsize (KiB) 124756

[startup+102.306 s]
/proc/loadavg: 1.83 1.29 1.10 3/68 21263
/proc/meminfo: memFree=1660304/2055920 swapFree=4181888/4192956
[pid=21259] ppid=21257 vsize=145424 CPUtime=203.92
/proc/21259/stat : 21259 (satake) S 21257 21259 21222 0 -1 4194304 37035 0 0 0 19669 723 0 0 18 0 4 0 97109976 148914176 32194 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21259/statm: 36356 32194 70 163 0 36191 0
[pid=21259/tid=21260] ppid=21257 vsize=145424 CPUtime=4.1
/proc/21259/task/21260/stat : 21260 (satake) S 21257 21259 21222 0 -1 4194368 4707 0 0 0 94 316 0 0 16 0 4 0 97109976 148914176 32194 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=21259/tid=21261] ppid=21257 vsize=145424 CPUtime=99.86
/proc/21259/task/21261/stat : 21261 (satake) R 21257 21259 21222 0 -1 4194368 15447 0 0 0 9779 207 0 0 17 0 4 0 97109976 148914176 32194 1992294400 134512640 135180984 4294956208 18446744073709551615 134528211 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21259/tid=21262] ppid=21257 vsize=145424 CPUtime=99.95
/proc/21259/task/21262/stat : 21262 (satake) R 21257 21259 21222 0 -1 4194368 16798 0 0 0 9796 199 0 0 17 0 4 0 97109976 148914176 32194 1992294400 134512640 135180984 4294956208 18446744073709551615 134522706 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 203.92
Current children cumulated vsize (KiB) 145424

[startup+162.302 s]
/proc/loadavg: 1.94 1.42 1.15 3/68 21263
/proc/meminfo: memFree=1639952/2055920 swapFree=4181888/4192956
[pid=21259] ppid=21257 vsize=164684 CPUtime=323.62
/proc/21259/stat : 21259 (satake) S 21257 21259 21222 0 -1 4194304 42157 0 0 0 31441 921 0 0 18 0 4 0 97109976 168636416 37316 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21259/statm: 41171 37316 70 163 0 41006 0
[pid=21259/tid=21260] ppid=21257 vsize=164684 CPUtime=5.23
/proc/21259/task/21260/stat : 21260 (satake) S 21257 21259 21222 0 -1 4194368 5145 0 0 0 119 404 0 0 16 0 4 0 97109976 168636416 37316 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=21259/tid=21261] ppid=21257 vsize=164684 CPUtime=159.18
/proc/21259/task/21261/stat : 21261 (satake) R 21257 21259 21222 0 -1 4194368 17676 0 0 0 15655 263 0 0 17 0 4 0 97109976 168636416 37316 1992294400 134512640 135180984 4294956208 18446744073709551615 134528211 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21259/tid=21262] ppid=21257 vsize=164684 CPUtime=159.19
/proc/21259/task/21262/stat : 21262 (satake) R 21257 21259 21222 0 -1 4194368 19253 0 0 0 15666 253 0 0 25 0 4 0 97109976 168636416 37316 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 323.62
Current children cumulated vsize (KiB) 164684

[startup+222.302 s]
/proc/loadavg: 1.98 1.52 1.20 3/68 21263
/proc/meminfo: memFree=1620688/2055920 swapFree=4181888/4192956
[pid=21259] ppid=21257 vsize=183364 CPUtime=443.33
/proc/21259/stat : 21259 (satake) S 21257 21259 21222 0 -1 4194304 46920 0 0 0 43249 1084 0 0 18 0 4 0 97109976 187764736 42079 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21259/statm: 45841 42079 70 163 0 45676 0
[pid=21259/tid=21260] ppid=21257 vsize=183364 CPUtime=6.15
/proc/21259/task/21260/stat : 21260 (satake) S 21257 21259 21222 0 -1 4194368 5486 0 0 0 140 475 0 0 16 0 4 0 97109976 187764736 42079 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=21259/tid=21261] ppid=21257 vsize=183364 CPUtime=218.46
/proc/21259/task/21261/stat : 21261 (satake) R 21257 21259 21222 0 -1 4194368 20022 0 0 0 21529 317 0 0 18 0 4 0 97109976 187764736 42079 1992294400 134512640 135180984 4294956208 18446744073709551615 134532431 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21259/tid=21262] ppid=21257 vsize=183364 CPUtime=218.7
/proc/21259/task/21262/stat : 21262 (satake) R 21257 21259 21222 0 -1 4194368 21329 0 0 0 21579 291 0 0 25 0 4 0 97109976 187764736 42079 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 443.33
Current children cumulated vsize (KiB) 183364

[startup+282.301 s]
/proc/loadavg: 1.99 1.61 1.25 3/68 21263
/proc/meminfo: memFree=1607056/2055920 swapFree=4181888/4192956
[pid=21259] ppid=21257 vsize=198904 CPUtime=563.07
/proc/21259/stat : 21259 (satake) S 21257 21259 21222 0 -1 4194304 50337 0 0 0 55130 1177 0 0 18 0 4 0 97109976 203677696 45496 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21259/statm: 49726 45496 70 163 0 49561 0
[pid=21259/tid=21260] ppid=21257 vsize=198904 CPUtime=6.66
/proc/21259/task/21260/stat : 21260 (satake) S 21257 21259 21222 0 -1 4194368 5703 0 0 0 153 513 0 0 16 0 4 0 97109976 203677696 45496 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=21259/tid=21261] ppid=21257 vsize=198904 CPUtime=278.01
/proc/21259/task/21261/stat : 21261 (satake) R 21257 21259 21222 0 -1 4194368 21674 0 0 0 27459 342 0 0 25 0 4 0 97109976 203677696 45496 1992294400 134512640 135180984 4294956208 18446744073709551615 134528211 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21259/tid=21262] ppid=21257 vsize=198904 CPUtime=278.39
/proc/21259/task/21262/stat : 21262 (satake) R 21257 21259 21222 0 -1 4194368 22877 0 0 0 27518 321 0 0 25 0 4 0 97109976 203677696 45496 1992294400 134512640 135180984 4294956208 18446744073709551615 134528633 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 563.07
Current children cumulated vsize (KiB) 198904

[startup+342.303 s]
/proc/loadavg: 1.99 1.67 1.29 3/68 21263
/proc/meminfo: memFree=1594512/2055920 swapFree=4181888/4192956
[pid=21259] ppid=21257 vsize=211432 CPUtime=682.78
/proc/21259/stat : 21259 (satake) S 21257 21259 21222 0 -1 4194304 53444 0 0 0 67018 1260 0 0 18 0 4 0 97109976 216506368 48603 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21259/statm: 52858 48603 70 163 0 52693 0
[pid=21259/tid=21260] ppid=21257 vsize=211432 CPUtime=7.11
/proc/21259/task/21260/stat : 21260 (satake) S 21257 21259 21222 0 -1 4194368 5874 0 0 0 164 547 0 0 16 0 4 0 97109976 216506368 48603 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=21259/tid=21261] ppid=21257 vsize=211432 CPUtime=337.62
/proc/21259/task/21261/stat : 21261 (satake) R 21257 21259 21222 0 -1 4194368 23182 0 0 0 33399 363 0 0 25 0 4 0 97109976 216506368 48603 1992294400 134512640 135180984 4294956208 18446744073709551615 134523716 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21259/tid=21262] ppid=21257 vsize=211432 CPUtime=338.03
/proc/21259/task/21262/stat : 21262 (satake) R 21257 21259 21222 0 -1 4194368 24305 0 0 0 33453 350 0 0 25 0 4 0 97109976 216506368 48603 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 682.78
Current children cumulated vsize (KiB) 211432

[startup+402.301 s]
/proc/loadavg: 1.99 1.73 1.33 3/68 21263
/proc/meminfo: memFree=1583120/2055920 swapFree=4181888/4192956
[pid=21259] ppid=21257 vsize=222732 CPUtime=802.52
/proc/21259/stat : 21259 (satake) S 21257 21259 21222 0 -1 4194304 56301 0 0 0 78944 1308 0 0 18 0 4 0 97109976 228077568 51460 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21259/statm: 55683 51460 70 163 0 55518 0
[pid=21259/tid=21260] ppid=21257 vsize=222732 CPUtime=7.36
/proc/21259/task/21260/stat : 21260 (satake) S 21257 21259 21222 0 -1 4194368 5966 0 0 0 171 565 0 0 16 0 4 0 97109976 228077568 51460 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=21259/tid=21261] ppid=21257 vsize=222732 CPUtime=397.25
/proc/21259/task/21261/stat : 21261 (satake) R 21257 21259 21222 0 -1 4194368 24660 0 0 0 39347 378 0 0 25 0 4 0 97109976 228077568 51460 1992294400 134512640 135180984 4294956208 18446744073709551615 134519935 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21259/tid=21262] ppid=21257 vsize=222732 CPUtime=397.88
/proc/21259/task/21262/stat : 21262 (satake) R 21257 21259 21222 0 -1 4194368 25592 0 0 0 39424 364 0 0 25 0 4 0 97109976 228077568 51460 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 802.52
Current children cumulated vsize (KiB) 222732

[startup+462.302 s]
/proc/loadavg: 1.99 1.78 1.37 3/68 21263
/proc/meminfo: memFree=1571856/2055920 swapFree=4181888/4192956
[pid=21259] ppid=21257 vsize=233820 CPUtime=922.25
/proc/21259/stat : 21259 (satake) S 21257 21259 21222 0 -1 4194304 59097 0 0 0 90881 1344 0 0 18 0 4 0 97109976 239431680 54256 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21259/statm: 58455 54256 70 163 0 58290 0
[pid=21259/tid=21260] ppid=21257 vsize=233820 CPUtime=7.55
/proc/21259/task/21260/stat : 21260 (satake) S 21257 21259 21222 0 -1 4194368 6030 0 0 0 175 580 0 0 16 0 4 0 97109976 239431680 54256 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=21259/tid=21261] ppid=21257 vsize=233820 CPUtime=456.94
/proc/21259/task/21261/stat : 21261 (satake) R 21257 21259 21222 0 -1 4194368 26050 0 0 0 45305 389 0 0 25 0 4 0 97109976 239431680 54256 1992294400 134512640 135180984 4294956208 18446744073709551615 134522714 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21259/tid=21262] ppid=21257 vsize=233820 CPUtime=457.76
/proc/21259/task/21262/stat : 21262 (satake) R 21257 21259 21222 0 -1 4194368 26934 0 0 0 45401 375 0 0 25 0 4 0 97109976 239431680 54256 1992294400 134512640 135180984 4294956208 18446744073709551615 134528872 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 922.25
Current children cumulated vsize (KiB) 233820

[startup+522.301 s]
/proc/loadavg: 1.99 1.81 1.41 3/68 21263
/proc/meminfo: memFree=1560144/2055920 swapFree=4181888/4192956
[pid=21259] ppid=21257 vsize=246152 CPUtime=1041.99
/proc/21259/stat : 21259 (satake) S 21257 21259 21222 0 -1 4194304 62072 0 0 0 102786 1413 0 0 18 0 4 0 97109976 252059648 57231 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21259/statm: 61538 57231 70 163 0 61373 0
[pid=21259/tid=21260] ppid=21257 vsize=246152 CPUtime=7.92
/proc/21259/task/21260/stat : 21260 (satake) S 21257 21259 21222 0 -1 4194368 6163 0 0 0 183 609 0 0 16 0 4 0 97109976 252059648 57231 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=21259/tid=21261] ppid=21257 vsize=246152 CPUtime=516.5
/proc/21259/task/21261/stat : 21261 (satake) R 21257 21259 21222 0 -1 4194368 27480 0 0 0 51242 408 0 0 25 0 4 0 97109976 252059648 57231 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21259/tid=21262] ppid=21257 vsize=246152 CPUtime=517.55
/proc/21259/task/21262/stat : 21262 (satake) R 21257 21259 21222 0 -1 4194368 28346 0 0 0 51360 395 0 0 18 0 4 0 97109976 252059648 57231 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1041.99
Current children cumulated vsize (KiB) 246152

[startup+582.302 s]
/proc/loadavg: 1.99 1.85 1.44 3/68 21263
/proc/meminfo: memFree=1550416/2055920 swapFree=4181888/4192956
[pid=21259] ppid=21257 vsize=255996 CPUtime=1161.73
/proc/21259/stat : 21259 (satake) S 21257 21259 21222 0 -1 4194304 64433 0 0 0 114730 1443 0 0 18 0 4 0 97109976 262139904 59592 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21259/statm: 63999 59592 70 163 0 63834 0
[pid=21259/tid=21260] ppid=21257 vsize=255996 CPUtime=8.08
/proc/21259/task/21260/stat : 21260 (satake) S 21257 21259 21222 0 -1 4194368 6196 0 0 0 186 622 0 0 16 0 4 0 97109976 262139904 59592 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=21259/tid=21261] ppid=21257 vsize=255996 CPUtime=576.17
/proc/21259/task/21261/stat : 21261 (satake) R 21257 21259 21222 0 -1 4194368 28615 0 0 0 57201 416 0 0 25 0 4 0 97109976 262139904 59592 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21259/tid=21262] ppid=21257 vsize=255996 CPUtime=577.45
/proc/21259/task/21262/stat : 21262 (satake) R 21257 21259 21222 0 -1 4194368 29539 0 0 0 57341 404 0 0 25 0 4 0 97109976 262139904 59592 1992294400 134512640 135180984 4294956208 18446744073709551615 134528552 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1161.73
Current children cumulated vsize (KiB) 255996



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+601.502 s]
/proc/loadavg: 1.99 1.85 1.46 3/68 21263
/proc/meminfo: memFree=1547984/2055920 swapFree=4181888/4192956
[pid=21259] ppid=21257 vsize=258104 CPUtime=1200.05
/proc/21259/stat : 21259 (satake) S 21257 21259 21222 0 -1 4194304 65011 0 0 0 118556 1449 0 0 18 0 4 0 97109976 264298496 60170 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21259/statm: 64526 60170 70 163 0 64361 0
[pid=21259/tid=21260] ppid=21257 vsize=258104 CPUtime=8.11
/proc/21259/task/21260/stat : 21260 (satake) S 21257 21259 21222 0 -1 4194368 6200 0 0 0 187 624 0 0 16 0 4 0 97109976 264298496 60170 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=21259/tid=21261] ppid=21257 vsize=258104 CPUtime=595.29
/proc/21259/task/21261/stat : 21261 (satake) R 21257 21259 21222 0 -1 4194368 28893 0 0 0 59111 418 0 0 25 0 4 0 97109976 264298496 60170 1992294400 134512640 135180984 4294956208 18446744073709551615 134520863 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21259/tid=21262] ppid=21257 vsize=258104 CPUtime=596.64
/proc/21259/task/21262/stat : 21262 (satake) R 21257 21259 21222 0 -1 4194368 29835 0 0 0 59258 406 0 0 25 0 4 0 97109976 264298496 60170 1992294400 134512640 135180984 4294956208 18446744073709551615 134519890 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1200.05
Current children cumulated vsize (KiB) 258104

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

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

[startup+601.502 s]
/proc/loadavg: 1.99 1.85 1.46 3/68 21263
/proc/meminfo: memFree=1547984/2055920 swapFree=4181888/4192956
[pid=21259] ppid=21257 vsize=258104 CPUtime=1200.05
/proc/21259/stat : 21259 (satake) S 21257 21259 21222 0 -1 4194304 65011 0 0 0 118556 1449 0 0 18 0 4 0 97109976 264298496 60170 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21259/statm: 64526 60170 70 163 0 64361 0
[pid=21259/tid=21260] ppid=21257 vsize=258104 CPUtime=8.11
/proc/21259/task/21260/stat : 21260 (satake) S 21257 21259 21222 0 -1 4194368 6200 0 0 0 187 624 0 0 16 0 4 0 97109976 264298496 60170 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=21259/tid=21261] ppid=21257 vsize=258104 CPUtime=595.29
/proc/21259/task/21261/stat : 21261 (satake) R 21257 21259 21222 0 -1 4194368 28893 0 0 0 59111 418 0 0 25 0 4 0 97109976 264298496 60170 1992294400 134512640 135180984 4294956208 18446744073709551615 134520863 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21259/tid=21262] ppid=21257 vsize=258104 CPUtime=596.64
/proc/21259/task/21262/stat : 21262 (satake) R 21257 21259 21222 0 -1 4194368 29835 0 0 0 59258 406 0 0 25 0 4 0 97109976 264298496 60170 1992294400 134512640 135180984 4294956208 18446744073709551615 134519890 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1200.05
Current children cumulated vsize (KiB) 258104

Child ended because it received signal 15 (SIGTERM)
Real time (s): 601.551
CPU time (s): 1200.11
CPU user time (s): 1185.58
CPU system time (s): 14.5278
CPU usage (%): 199.502
Max. virtual memory (cumulated for all children) (KiB): 258104

deleting IPC queue 1179648
deleting IPC queue 1212417
deleting IPC queue 1245186
deleting IPC queue 1277955
deleting IPC queue 1310724
deleting IPC queue 1343493
deleting IPC queue 1376262
deleting IPC queue 1409031
deleting IPC queue 1441800

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1185.58
system time used= 14.5278
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 65012
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= 1208496
involuntary context switches= 1209163

runsolver used 0.552915 second user time and 1.64875 second system time

The end

Launcher Data 

Begin job on node18 at 2009-04-25 22:19:27
IDJOB=1723970
IDBENCH=71745
IDSOLVER=553
FILE ID=node18/1723970-1240690766
PBS_JOBID= 9186728
Free space on /tmp= 66136 MiB

SOLVER NAME= satake 2009-03-22
BENCH NAME= SAT_RACE06/manol-pipe-f9n.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1723970-1240690766/watcher-1723970-1240690766 -o /tmp/evaluation-result-1723970-1240690766/solver-1723970-1240690766 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1723970-1240690766.cnf 3 1200

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

MD5SUM BENCH= 61e4a04a828a2cd33ae3f3dde54ef320
RANDOM SEED=1794019853

node18.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.280
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.280
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:       1789840 kB
Buffers:         31336 kB
Cached:         177348 kB
SwapCached:       5176 kB
Active:         122668 kB
Inactive:        94108 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1789840 kB
SwapTotal:     4192956 kB
SwapFree:      4181888 kB
Dirty:           10512 kB
Writeback:           0 kB
Mapped:          13788 kB
Slab:            35360 kB
Committed_AS:   371192 kB
PageTables:       1372 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= 66136 MiB
End job on node18 at 2009-04-25 22:29:31