Trace number 1733940

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.06 604.531

General information on the benchmark

NameCRAFTED/modcircuits/
mod4block_2vars_8gates_u2.cnf
MD5SUMa5bb71bc1d85a401ce9f42ed1404d63e
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables387
Number of clauses62656
Sum of the clauses size362132
Maximum clause length24
Minimum clause length1
Number of clauses of size 164
Number of clauses of size 21453
Number of clauses of size 30
Number of clauses of size 41977
Number of clauses of size 53842
Number of clauses of size over 555320

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-1733940-1240794151/watcher-1733940-1240794151 -o /tmp/evaluation-result-1733940-1240794151/solver-1733940-1240794151 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1733940-1240794151.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.92 0.98 0.99 3/64 30923
/proc/meminfo: memFree=1606392/2055920 swapFree=4177728/4192956
[pid=30923] ppid=30921 vsize=2696 CPUtime=0
/proc/30923/stat : 30923 (satake) S 30921 30923 30755 0 -1 4194304 531 0 0 0 0 0 0 0 18 0 4 0 107443640 2760704 516 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30923/statm: 674 518 65 163 0 509 0
[pid=30923/tid=30924] ppid=30921 vsize=2696 CPUtime=0
/proc/30923/task/30924/stat : 30924 (satake) S 30921 30923 30755 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 107443640 2760704 518 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=30923/tid=30925] ppid=30921 vsize=2696 CPUtime=0
/proc/30923/task/30925/stat : 30925 (satake) R 30921 30923 30755 0 -1 4194368 443 0 0 0 0 0 0 0 19 0 4 0 107443640 2760704 518 1992294400 134512640 135180984 4294956208 18446744073709551615 134691935 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30923/tid=30926] ppid=30921 vsize=2696 CPUtime=0
/proc/30923/task/30926/stat : 30926 (satake) R 30921 30923 30755 0 -1 4194368 0 0 0 0 0 0 0 0 19 0 4 0 107443640 2760704 522 1992294400 134512640 135180984 4294956208 18446744073709551615 134705812 0 0 4096 0 0 0 0 -1 1 0 0

[startup+0.0343929 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 30923
/proc/meminfo: memFree=1606392/2055920 swapFree=4177728/4192956
[pid=30923] ppid=30921 vsize=10244 CPUtime=0.14
/proc/30923/stat : 30923 (satake) S 30921 30923 30755 0 -1 4194304 2342 0 0 0 13 1 0 0 18 0 4 0 107443640 10489856 2327 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30923/statm: 2561 2344 66 163 0 2396 0
[pid=30923/tid=30924] ppid=30921 vsize=10244 CPUtime=0
/proc/30923/task/30924/stat : 30924 (satake) S 30921 30923 30755 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 107443640 10489856 2349 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=30923/tid=30925] ppid=30921 vsize=10376 CPUtime=0.07
/proc/30923/task/30925/stat : 30925 (satake) S 30921 30923 30755 0 -1 4194368 1143 0 0 0 7 0 0 0 16 0 4 0 107443640 10625024 2370 1992294400 134512640 135180984 4294956208 18446744073709551615 134579486 0 0 4096 0 0 0 0 -1 0 0 0
[pid=30923/tid=30926] ppid=30921 vsize=8696 CPUtime=0.3
/proc/30923/task/30926/stat : 30926 (satake) S 30921 30923 30755 0 -1 4194368 1152 0 0 0 30 0 0 0 18 0 4 0 107443640 8904704 1978 1992294400 134512640 135180984 4294956208 18446744073709551615 134579486 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 10244

[startup+0.38606 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 30923
/proc/meminfo: memFree=1606392/2055920 swapFree=4177728/4192956
[pid=30923] ppid=30921 vsize=8304 CPUtime=0.74
/proc/30923/stat : 30923 (satake) S 30921 30923 30755 0 -1 4194304 2489 0 0 0 70 4 0 0 18 0 4 0 107443640 8503296 1636 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30923/statm: 2076 1636 70 163 0 1911 0
[pid=30923/tid=30924] ppid=30921 vsize=8304 CPUtime=0.01
/proc/30923/task/30924/stat : 30924 (satake) R 30921 30923 30755 0 -1 4194368 10 0 0 0 0 1 0 0 17 0 4 0 107443640 8503296 1636 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=30923/tid=30925] ppid=30921 vsize=8304 CPUtime=0.35
/proc/30923/task/30925/stat : 30925 (satake) S 30921 30923 30755 0 -1 4194368 1197 0 0 0 34 1 0 0 16 0 4 0 107443640 8503296 1636 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=30923/tid=30926] ppid=30921 vsize=8304 CPUtime=0.35
/proc/30923/task/30926/stat : 30926 (satake) R 30921 30923 30755 0 -1 4194368 1199 0 0 0 35 0 0 0 17 0 4 0 107443640 8503296 1636 1992294400 134512640 135180984 4294956208 18446744073709551615 134527255 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.74
Current children cumulated vsize (KiB) 8304

[startup+0.404186 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 30923
/proc/meminfo: memFree=1606392/2055920 swapFree=4177728/4192956
[pid=30923] ppid=30921 vsize=8304 CPUtime=0.77
/proc/30923/stat : 30923 (satake) S 30921 30923 30755 0 -1 4194304 2493 0 0 0 72 5 0 0 18 0 4 0 107443640 8503296 1640 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30923/statm: 2076 1640 70 163 0 1911 0
[pid=30923/tid=30924] ppid=30921 vsize=8304 CPUtime=0.02
/proc/30923/task/30924/stat : 30924 (satake) R 30921 30923 30755 0 -1 4194368 10 0 0 0 0 2 0 0 17 0 4 0 107443640 8503296 1640 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=30923/tid=30925] ppid=30921 vsize=8304 CPUtime=0.37
/proc/30923/task/30925/stat : 30925 (satake) S 30921 30923 30755 0 -1 4194368 1199 0 0 0 35 2 0 0 16 0 4 0 107443640 8503296 1640 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=30923/tid=30926] ppid=30921 vsize=8304 CPUtime=0.37
/proc/30923/task/30926/stat : 30926 (satake) R 30921 30923 30755 0 -1 4194368 1201 0 0 0 36 1 0 0 17 0 4 0 107443640 8503296 1640 1992294400 134512640 135180984 4294956208 18446744073709551615 134519894 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 8304

[startup+0.701285 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 30923
/proc/meminfo: memFree=1606392/2055920 swapFree=4177728/4192956
[pid=30923] ppid=30921 vsize=8436 CPUtime=1.27
/proc/30923/stat : 30923 (satake) S 30921 30923 30755 0 -1 4194304 2566 0 0 0 103 24 0 0 18 0 4 0 107443640 8638464 1713 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30923/statm: 2109 1713 70 163 0 1944 0
[pid=30923/tid=30924] ppid=30921 vsize=8436 CPUtime=0.13
/proc/30923/task/30924/stat : 30924 (satake) R 30921 30923 30755 0 -1 4194368 25 0 0 0 3 10 0 0 17 0 4 0 107443640 8638464 1713 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=30923/tid=30925] ppid=30921 vsize=8436 CPUtime=0.55
/proc/30923/task/30925/stat : 30925 (satake) S 30921 30923 30755 0 -1 4194368 1224 0 0 0 48 7 0 0 17 0 4 0 107443640 8638464 1713 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=30923/tid=30926] ppid=30921 vsize=8436 CPUtime=0.57
/proc/30923/task/30926/stat : 30926 (satake) S 30921 30923 30755 0 -1 4194368 1234 0 0 0 51 6 0 0 16 0 4 0 107443640 8638464 1713 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 8436

[startup+1.50144 s]
/proc/loadavg: 0.92 0.98 0.99 4/68 30927
/proc/meminfo: memFree=1599128/2055920 swapFree=4177728/4192956
[pid=30923] ppid=30921 vsize=9360 CPUtime=2.69
/proc/30923/stat : 30923 (satake) S 30921 30923 30755 0 -1 4194304 2809 0 0 0 191 78 0 0 18 0 4 0 107443640 9584640 1956 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30923/statm: 2340 1956 70 163 0 2175 0
[pid=30923/tid=30924] ppid=30921 vsize=9360 CPUtime=0.47
/proc/30923/task/30924/stat : 30924 (satake) R 30921 30923 30755 0 -1 4194368 127 0 0 0 8 39 0 0 17 0 4 0 107443640 9584640 1956 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=30923/tid=30925] ppid=30921 vsize=9360 CPUtime=1.06
/proc/30923/task/30925/stat : 30925 (satake) R 30921 30923 30755 0 -1 4194368 1309 0 0 0 88 18 0 0 15 0 4 0 107443640 9584640 1956 1992294400 134512640 135180984 4294956208 18446744073709551615 134520909 0 0 4096 0 0 0 0 -1 0 0 0
[pid=30923/tid=30926] ppid=30921 vsize=9360 CPUtime=1.14
/proc/30923/task/30926/stat : 30926 (satake) S 30921 30923 30755 0 -1 4194368 1290 0 0 0 93 21 0 0 16 0 4 0 107443640 9584640 1956 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.69
Current children cumulated vsize (KiB) 9360

[startup+3.10274 s]
/proc/loadavg: 0.92 0.98 0.99 4/68 30927
/proc/meminfo: memFree=1597336/2055920 swapFree=4177728/4192956
[pid=30923] ppid=30921 vsize=12056 CPUtime=5.71
/proc/30923/stat : 30923 (satake) S 30921 30923 30755 0 -1 4194304 3404 0 0 0 418 153 0 0 18 0 4 0 107443640 12345344 2551 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30923/statm: 3014 2551 70 163 0 2849 0
[pid=30923/tid=30924] ppid=30921 vsize=12056 CPUtime=0.97
/proc/30923/task/30924/stat : 30924 (satake) S 30921 30923 30755 0 -1 4194368 309 0 0 0 19 78 0 0 16 0 4 0 107443640 12345344 2551 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=30923/tid=30925] ppid=30921 vsize=12056 CPUtime=2.35
/proc/30923/task/30925/stat : 30925 (satake) R 30921 30923 30755 0 -1 4194368 1514 0 0 0 200 35 0 0 16 0 4 0 107443640 12345344 2551 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=30923/tid=30926] ppid=30921 vsize=12056 CPUtime=2.38
/proc/30923/task/30926/stat : 30926 (satake) R 30921 30923 30755 0 -1 4194368 1498 0 0 0 199 39 0 0 17 0 4 0 107443640 12345344 2551 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5.71
Current children cumulated vsize (KiB) 12056

[startup+6.30135 s]
/proc/loadavg: 1.09 1.02 1.01 3/68 30927
/proc/meminfo: memFree=1593240/2055920 swapFree=4177728/4192956
[pid=30923] ppid=30921 vsize=15420 CPUtime=11.96
/proc/30923/stat : 30923 (satake) S 30921 30923 30755 0 -1 4194304 4293 0 0 0 933 263 0 0 18 0 4 0 107443640 15790080 3440 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30923/statm: 3855 3440 70 163 0 3690 0
[pid=30923/tid=30924] ppid=30921 vsize=15420 CPUtime=1.67
/proc/30923/task/30924/stat : 30924 (satake) R 30921 30923 30755 0 -1 4194368 560 0 0 0 33 134 0 0 16 0 4 0 107443640 15790080 3440 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=30923/tid=30925] ppid=30921 vsize=15420 CPUtime=5.14
/proc/30923/task/30925/stat : 30925 (satake) R 30921 30923 30755 0 -1 4194368 1832 0 0 0 452 62 0 0 16 0 4 0 107443640 15790080 3440 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=30923/tid=30926] ppid=30921 vsize=15420 CPUtime=5.13
/proc/30923/task/30926/stat : 30926 (satake) R 30921 30923 30755 0 -1 4194368 1818 0 0 0 447 66 0 0 17 0 4 0 107443640 15790080 3440 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 11.96
Current children cumulated vsize (KiB) 15420

[startup+12.7035 s]
/proc/loadavg: 1.16 1.03 1.01 3/68 30927
/proc/meminfo: memFree=1589408/2055920 swapFree=4177728/4192956
[pid=30923] ppid=30921 vsize=18924 CPUtime=24.49
/proc/30923/stat : 30923 (satake) S 30921 30923 30755 0 -1 4194304 5080 0 0 0 1981 468 0 0 18 0 4 0 107443640 19378176 4227 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30923/statm: 4731 4227 70 163 0 4566 0
[pid=30923/tid=30924] ppid=30921 vsize=18924 CPUtime=2.91
/proc/30923/task/30924/stat : 30924 (satake) R 30921 30923 30755 0 -1 4194368 926 0 0 0 58 233 0 0 15 0 4 0 107443640 19378176 4227 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30923/tid=30925] ppid=30921 vsize=18924 CPUtime=10.83
/proc/30923/task/30925/stat : 30925 (satake) R 30921 30923 30755 0 -1 4194368 2040 0 0 0 970 113 0 0 17 0 4 0 107443640 19378176 4227 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30923/tid=30926] ppid=30921 vsize=18924 CPUtime=10.73
/proc/30923/task/30926/stat : 30926 (satake) R 30921 30923 30755 0 -1 4194368 2031 0 0 0 952 121 0 0 17 0 4 0 107443640 19378176 4227 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 24.49
Current children cumulated vsize (KiB) 18924

[startup+25.5058 s]
/proc/loadavg: 1.34 1.08 1.02 3/68 30927
/proc/meminfo: memFree=1585376/2055920 swapFree=4177728/4192956
[pid=30923] ppid=30921 vsize=23128 CPUtime=49.83
/proc/30923/stat : 30923 (satake) S 30921 30923 30755 0 -1 4194304 6102 0 0 0 4196 787 0 0 18 0 4 0 107443640 23683072 5249 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30923/statm: 5782 5249 70 163 0 5617 0
[pid=30923/tid=30924] ppid=30921 vsize=23128 CPUtime=4.76
/proc/30923/task/30924/stat : 30924 (satake) S 30921 30923 30755 0 -1 4194368 1424 0 0 0 95 381 0 0 16 0 4 0 107443640 23683072 5249 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=30923/tid=30925] ppid=30921 vsize=23128 CPUtime=22.66
/proc/30923/task/30925/stat : 30925 (satake) R 30921 30923 30755 0 -1 4194368 2295 0 0 0 2070 196 0 0 17 0 4 0 107443640 23683072 5249 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=30923/tid=30926] ppid=30921 vsize=23128 CPUtime=22.39
/proc/30923/task/30926/stat : 30926 (satake) R 30921 30923 30755 0 -1 4194368 2300 0 0 0 2030 209 0 0 17 0 4 0 107443640 23683072 5249 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 49.83
Current children cumulated vsize (KiB) 23128

[startup+51.1018 s]
/proc/loadavg: 1.57 1.15 1.05 4/68 30927
/proc/meminfo: memFree=1579360/2055920 swapFree=4177728/4192956
[pid=30923] ppid=30921 vsize=29844 CPUtime=100.57
/proc/30923/stat : 30923 (satake) S 30921 30923 30755 0 -1 4194304 7635 0 0 0 8747 1310 0 0 18 0 4 0 107443640 30560256 6782 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30923/statm: 7461 6782 70 163 0 7296 0
[pid=30923/tid=30924] ppid=30921 vsize=29844 CPUtime=7.88
/proc/30923/task/30924/stat : 30924 (satake) S 30921 30923 30755 0 -1 4194368 2217 0 0 0 160 628 0 0 15 0 4 0 107443640 30560256 6782 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=30923/tid=30925] ppid=30921 vsize=29844 CPUtime=46.51
/proc/30923/task/30925/stat : 30925 (satake) R 30921 30923 30755 0 -1 4194368 2643 0 0 0 4310 341 0 0 16 0 4 0 107443640 30560256 6782 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=30923/tid=30926] ppid=30921 vsize=29844 CPUtime=46.17
/proc/30923/task/30926/stat : 30926 (satake) R 30921 30923 30755 0 -1 4194368 2692 0 0 0 4276 341 0 0 17 0 4 0 107443640 30560256 6782 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 100.57
Current children cumulated vsize (KiB) 29844

[startup+102.301 s]
/proc/loadavg: 2.06 1.34 1.12 3/68 30927
/proc/meminfo: memFree=1569248/2055920 swapFree=4177728/4192956
[pid=30923] ppid=30921 vsize=40744 CPUtime=202.16
/proc/30923/stat : 30923 (satake) S 30921 30923 30755 0 -1 4194304 10143 0 0 0 17900 2316 0 0 18 0 4 0 107443640 41721856 9290 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30923/statm: 10186 9290 70 163 0 10021 0
[pid=30923/tid=30924] ppid=30921 vsize=40744 CPUtime=13.84
/proc/30923/task/30924/stat : 30924 (satake) R 30921 30923 30755 0 -1 4194368 3798 0 0 0 289 1095 0 0 17 0 4 0 107443640 41721856 9290 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30923/tid=30925] ppid=30921 vsize=40744 CPUtime=94.51
/proc/30923/task/30925/stat : 30925 (satake) R 30921 30923 30755 0 -1 4194368 3089 0 0 0 8846 605 0 0 16 0 4 0 107443640 41721856 9290 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=30923/tid=30926] ppid=30921 vsize=40744 CPUtime=93.79
/proc/30923/task/30926/stat : 30926 (satake) R 30921 30923 30755 0 -1 4194368 3173 0 0 0 8764 615 0 0 16 0 4 0 107443640 41721856 9290 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 202.16
Current children cumulated vsize (KiB) 40744

[startup+162.302 s]
/proc/loadavg: 2.06 1.47 1.18 4/68 30927
/proc/meminfo: memFree=1559456/2055920 swapFree=4177728/4192956
[pid=30923] ppid=30921 vsize=52996 CPUtime=321.26
/proc/30923/stat : 30923 (satake) S 30921 30923 30755 0 -1 4194304 12525 0 0 0 28632 3494 0 0 18 0 4 0 107443640 54267904 11672 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30923/statm: 13249 11672 70 163 0 13084 0
[pid=30923/tid=30924] ppid=30921 vsize=52996 CPUtime=20.77
/proc/30923/task/30924/stat : 30924 (satake) S 30921 30923 30755 0 -1 4194368 5357 0 0 0 431 1646 0 0 16 0 4 0 107443640 54267904 11672 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=30923/tid=30925] ppid=30921 vsize=52996 CPUtime=150.56
/proc/30923/task/30925/stat : 30925 (satake) R 30921 30923 30755 0 -1 4194368 3625 0 0 0 14144 912 0 0 17 0 4 0 107443640 54267904 11672 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=30923/tid=30926] ppid=30921 vsize=52996 CPUtime=149.92
/proc/30923/task/30926/stat : 30926 (satake) R 30921 30923 30755 0 -1 4194368 3460 0 0 0 14056 936 0 0 17 0 4 0 107443640 54267904 11672 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 321.26
Current children cumulated vsize (KiB) 52996

[startup+222.303 s]
/proc/loadavg: 2.07 1.58 1.23 4/68 30927
/proc/meminfo: memFree=1549152/2055920 swapFree=4177728/4192956
[pid=30923] ppid=30921 vsize=63284 CPUtime=440.46
/proc/30923/stat : 30923 (satake) S 30921 30923 30755 0 -1 4194304 15099 0 0 0 39420 4626 0 0 18 0 4 0 107443640 64802816 14246 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30923/statm: 15821 14246 70 163 0 15656 0
[pid=30923/tid=30924] ppid=30921 vsize=63284 CPUtime=27.46
/proc/30923/task/30924/stat : 30924 (satake) R 30921 30923 30755 0 -1 4194368 6833 0 0 0 575 2171 0 0 16 0 4 0 107443640 64802816 14246 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=30923/tid=30925] ppid=30921 vsize=63284 CPUtime=206.63
/proc/30923/task/30925/stat : 30925 (satake) R 30921 30923 30755 0 -1 4194368 4301 0 0 0 19447 1216 0 0 17 0 4 0 107443640 64802816 14246 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30923/tid=30926] ppid=30921 vsize=63284 CPUtime=206.36
/proc/30923/task/30926/stat : 30926 (satake) R 30921 30923 30755 0 -1 4194368 3882 0 0 0 19397 1239 0 0 16 0 4 0 107443640 64802816 14246 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 440.46
Current children cumulated vsize (KiB) 63284

[startup+282.302 s]
/proc/loadavg: 2.07 1.67 1.28 3/68 30927
/proc/meminfo: memFree=1540576/2055920 swapFree=4177728/4192956
[pid=30923] ppid=30921 vsize=74704 CPUtime=559.68
/proc/30923/stat : 30923 (satake) S 30921 30923 30755 0 -1 4194304 17265 0 0 0 50226 5742 0 0 18 0 4 0 107443640 76496896 16412 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30923/statm: 18676 16412 70 163 0 18511 0
[pid=30923/tid=30924] ppid=30921 vsize=74704 CPUtime=34.02
/proc/30923/task/30924/stat : 30924 (satake) S 30921 30923 30755 0 -1 4194368 8228 0 0 0 713 2689 0 0 16 0 4 0 107443640 76496896 16412 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=30923/tid=30925] ppid=30921 vsize=74704 CPUtime=263.06
/proc/30923/task/30925/stat : 30925 (satake) R 30921 30923 30755 0 -1 4194368 4713 0 0 0 24790 1516 0 0 17 0 4 0 107443640 76496896 16412 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=30923/tid=30926] ppid=30921 vsize=74704 CPUtime=262.59
/proc/30923/task/30926/stat : 30926 (satake) R 30921 30923 30755 0 -1 4194368 4241 0 0 0 24722 1537 0 0 17 0 4 0 107443640 76496896 16412 1992294400 134512640 135180984 4294956208 18446744073709551615 134520909 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 559.68
Current children cumulated vsize (KiB) 74704

[startup+342.306 s]
/proc/loadavg: 2.10 1.76 1.33 3/68 30927
/proc/meminfo: memFree=1532840/2055920 swapFree=4177728/4192956
[pid=30923] ppid=30921 vsize=83920 CPUtime=678.89
/proc/30923/stat : 30923 (satake) S 30921 30923 30755 0 -1 4194304 19150 0 0 0 61003 6886 0 0 18 0 4 0 107443640 85934080 18297 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30923/statm: 20980 18297 70 163 0 20815 0
[pid=30923/tid=30924] ppid=30921 vsize=83920 CPUtime=40.73
/proc/30923/task/30924/stat : 30924 (satake) S 30921 30923 30755 0 -1 4194368 9514 0 0 0 853 3220 0 0 16 0 4 0 107443640 85934080 18297 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=30923/tid=30925] ppid=30921 vsize=83920 CPUtime=319.31
/proc/30923/task/30925/stat : 30925 (satake) R 30921 30923 30755 0 -1 4194368 5061 0 0 0 30098 1833 0 0 18 0 4 0 107443640 85934080 18297 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30923/tid=30926] ppid=30921 vsize=83920 CPUtime=318.84
/proc/30923/task/30926/stat : 30926 (satake) R 30921 30923 30755 0 -1 4194368 4492 0 0 0 30052 1832 0 0 18 0 4 0 107443640 85934080 18297 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 678.89
Current children cumulated vsize (KiB) 83920

[startup+402.302 s]
/proc/loadavg: 2.16 1.83 1.38 3/68 30927
/proc/meminfo: memFree=1523816/2055920 swapFree=4177728/4192956
[pid=30923] ppid=30921 vsize=93964 CPUtime=798.15
/proc/30923/stat : 30923 (satake) S 30921 30923 30755 0 -1 4194304 21448 0 0 0 71810 8005 0 0 18 0 4 0 107443640 96219136 20595 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30923/statm: 23491 20595 70 163 0 23326 0
[pid=30923/tid=30924] ppid=30921 vsize=93964 CPUtime=47.31
/proc/30923/task/30924/stat : 30924 (satake) S 30921 30923 30755 0 -1 4194368 10902 0 0 0 992 3739 0 0 16 0 4 0 107443640 96219136 20595 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=30923/tid=30925] ppid=30921 vsize=93964 CPUtime=375.7
/proc/30923/task/30925/stat : 30925 (satake) R 30921 30923 30755 0 -1 4194368 5548 0 0 0 35441 2129 0 0 18 0 4 0 107443640 96219136 20595 1992294400 134512640 135180984 4294956208 18446744073709551615 134519020 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30923/tid=30926] ppid=30921 vsize=93964 CPUtime=375.12
/proc/30923/task/30926/stat : 30926 (satake) R 30921 30923 30755 0 -1 4194368 4915 0 0 0 35376 2136 0 0 16 0 4 0 107443640 96219136 20595 1992294400 134512640 135180984 4294956208 18446744073709551615 134520708 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 798.15
Current children cumulated vsize (KiB) 93964

[startup+462.301 s]
/proc/loadavg: 2.16 1.89 1.43 3/68 30927
/proc/meminfo: memFree=1515176/2055920 swapFree=4177728/4192956
[pid=30923] ppid=30921 vsize=103492 CPUtime=917.39
/proc/30923/stat : 30923 (satake) S 30921 30923 30755 0 -1 4194304 23552 0 0 0 82606 9133 0 0 18 0 4 0 107443640 105975808 22699 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30923/statm: 25873 22699 70 163 0 25708 0
[pid=30923/tid=30924] ppid=30921 vsize=103492 CPUtime=53.89
/proc/30923/task/30924/stat : 30924 (satake) S 30921 30923 30755 0 -1 4194368 12332 0 0 0 1133 4256 0 0 16 0 4 0 107443640 105975808 22699 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=30923/tid=30925] ppid=30921 vsize=103492 CPUtime=432.14
/proc/30923/task/30925/stat : 30925 (satake) R 30921 30923 30755 0 -1 4194368 5742 0 0 0 40797 2417 0 0 17 0 4 0 107443640 105975808 22699 1992294400 134512640 135180984 4294956208 18446744073709551615 134528529 0 0 4096 0 0 0 0 -1 0 0 0
[pid=30923/tid=30926] ppid=30921 vsize=103492 CPUtime=431.34
/proc/30923/task/30926/stat : 30926 (satake) R 30921 30923 30755 0 -1 4194368 5395 0 0 0 40675 2459 0 0 17 0 4 0 107443640 105975808 22699 1992294400 134512640 135180984 4294956208 18446744073709551615 134526505 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 917.39
Current children cumulated vsize (KiB) 103492

[startup+522.303 s]
/proc/loadavg: 2.18 1.95 1.48 3/68 30927
/proc/meminfo: memFree=1507688/2055920 swapFree=4177728/4192956
[pid=30923] ppid=30921 vsize=115128 CPUtime=1036.67
/proc/30923/stat : 30923 (satake) S 30921 30923 30755 0 -1 4194304 25470 0 0 0 93432 10235 0 0 18 0 4 0 107443640 117891072 24617 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30923/statm: 28782 24617 70 163 0 28617 0
[pid=30923/tid=30924] ppid=30921 vsize=115128 CPUtime=60.26
/proc/30923/task/30924/stat : 30924 (satake) S 30921 30923 30755 0 -1 4194368 13585 0 0 0 1265 4761 0 0 15 0 4 0 107443640 117891072 24617 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=30923/tid=30925] ppid=30921 vsize=115128 CPUtime=488.59
/proc/30923/task/30925/stat : 30925 (satake) R 30921 30923 30755 0 -1 4194368 6154 0 0 0 46142 2717 0 0 17 0 4 0 107443640 117891072 24617 1992294400 134512640 135180984 4294956208 18446744073709551615 134528536 0 0 4096 0 0 0 0 -1 0 0 0
[pid=30923/tid=30926] ppid=30921 vsize=115128 CPUtime=487.81
/proc/30923/task/30926/stat : 30926 (satake) R 30921 30923 30755 0 -1 4194368 5648 0 0 0 46025 2756 0 0 17 0 4 0 107443640 117891072 24617 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1036.67
Current children cumulated vsize (KiB) 115128

[startup+582.303 s]
/proc/loadavg: 2.06 1.95 1.51 3/68 30927
/proc/meminfo: memFree=1500072/2055920 swapFree=4177728/4192956
[pid=30923] ppid=30921 vsize=123488 CPUtime=1155.96
/proc/30923/stat : 30923 (satake) S 30921 30923 30755 0 -1 4194304 27331 0 0 0 104277 11319 0 0 18 0 4 0 107443640 126451712 26478 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30923/statm: 30872 26478 70 163 0 30707 0
[pid=30923/tid=30924] ppid=30921 vsize=123488 CPUtime=66.61
/proc/30923/task/30924/stat : 30924 (satake) S 30921 30923 30755 0 -1 4194368 14801 0 0 0 1393 5268 0 0 15 0 4 0 107443640 126451712 26478 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=30923/tid=30925] ppid=30921 vsize=123488 CPUtime=544.94
/proc/30923/task/30925/stat : 30925 (satake) R 30921 30923 30755 0 -1 4194368 6417 0 0 0 51486 3008 0 0 17 0 4 0 107443640 126451712 26478 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=30923/tid=30926] ppid=30921 vsize=123488 CPUtime=544.39
/proc/30923/task/30926/stat : 30926 (satake) R 30921 30923 30755 0 -1 4194368 6030 0 0 0 51397 3042 0 0 17 0 4 0 107443640 126451712 26478 1992294400 134512640 135180984 4294956208 18446744073709551615 134520798 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1155.96
Current children cumulated vsize (KiB) 123488



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+604.501 s]
/proc/loadavg: 2.11 1.97 1.52 3/68 30927
/proc/meminfo: memFree=1496744/2055920 swapFree=4177728/4192956
[pid=30923] ppid=30921 vsize=126744 CPUtime=1200.02
/proc/30923/stat : 30923 (satake) S 30921 30923 30755 0 -1 4194304 28153 0 0 0 108239 11763 0 0 18 0 4 0 107443640 129785856 27300 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30923/statm: 31686 27300 70 163 0 31521 0
[pid=30923/tid=30924] ppid=30921 vsize=126744 CPUtime=69.24
/proc/30923/task/30924/stat : 30924 (satake) S 30921 30923 30755 0 -1 4194368 15378 0 0 0 1451 5473 0 0 16 0 4 0 107443640 129785856 27300 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=30923/tid=30925] ppid=30921 vsize=126744 CPUtime=565.75
/proc/30923/task/30925/stat : 30925 (satake) R 30921 30923 30755 0 -1 4194368 6418 0 0 0 53454 3121 0 0 17 0 4 0 107443640 129785856 27300 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30923/tid=30926] ppid=30921 vsize=126744 CPUtime=565.01
/proc/30923/task/30926/stat : 30926 (satake) R 30921 30923 30755 0 -1 4194368 6274 0 0 0 53333 3168 0 0 17 0 4 0 107443640 129785856 27300 1992294400 134512640 135180984 4294956208 18446744073709551615 134520027 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.02
Current children cumulated vsize (KiB) 126744

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

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

[startup+604.501 s]
/proc/loadavg: 2.11 1.97 1.52 3/68 30927
/proc/meminfo: memFree=1496744/2055920 swapFree=4177728/4192956
[pid=30923] ppid=30921 vsize=126744 CPUtime=1200.02
/proc/30923/stat : 30923 (satake) S 30921 30923 30755 0 -1 4194304 28153 0 0 0 108239 11763 0 0 18 0 4 0 107443640 129785856 27300 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30923/statm: 31686 27300 70 163 0 31521 0
[pid=30923/tid=30924] ppid=30921 vsize=126744 CPUtime=69.24
/proc/30923/task/30924/stat : 30924 (satake) S 30921 30923 30755 0 -1 4194368 15378 0 0 0 1451 5473 0 0 16 0 4 0 107443640 129785856 27300 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=30923/tid=30925] ppid=30921 vsize=126744 CPUtime=565.75
/proc/30923/task/30925/stat : 30925 (satake) R 30921 30923 30755 0 -1 4194368 6418 0 0 0 53454 3121 0 0 17 0 4 0 107443640 129785856 27300 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30923/tid=30926] ppid=30921 vsize=126744 CPUtime=565.01
/proc/30923/task/30926/stat : 30926 (satake) R 30921 30923 30755 0 -1 4194368 6274 0 0 0 53333 3168 0 0 17 0 4 0 107443640 129785856 27300 1992294400 134512640 135180984 4294956208 18446744073709551615 134520027 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.02
Current children cumulated vsize (KiB) 126744

Child ended because it received signal 15 (SIGTERM)
Real time (s): 604.531
CPU time (s): 1200.06
CPU user time (s): 1082.41
CPU system time (s): 117.655
CPU usage (%): 198.511
Max. virtual memory (cumulated for all children) (KiB): 126744

deleting IPC queue 2064384
deleting IPC queue 2097153
deleting IPC queue 2129922
deleting IPC queue 2162691
deleting IPC queue 2195460
deleting IPC queue 2228229
deleting IPC queue 2260998
deleting IPC queue 2293767
deleting IPC queue 2326536

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1082.41
system time used= 117.655
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28153
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= 8608672
involuntary context switches= 8438959

runsolver used 0.542917 second user time and 1.69074 second system time

The end

Launcher Data 

Begin job on node37 at 2009-04-27 03:02:31
IDJOB=1733940
IDBENCH=71150
IDSOLVER=553
FILE ID=node37/1733940-1240794151
PBS_JOBID= 9187320
Free space on /tmp= 66300 MiB

SOLVER NAME= satake 2009-03-22
BENCH NAME= SAT09/CRAFTED/modcircuits/mod4block_2vars_8gates_u2.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1733940-1240794151/watcher-1733940-1240794151 -o /tmp/evaluation-result-1733940-1240794151/solver-1733940-1240794151 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1733940-1240794151.cnf 3 1200

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

MD5SUM BENCH= a5bb71bc1d85a401ce9f42ed1404d63e
RANDOM SEED=1899003901

node37.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.259
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.259
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:       1606808 kB
Buffers:         56936 kB
Cached:         305552 kB
SwapCached:       9064 kB
Active:          98264 kB
Inactive:       275552 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1606808 kB
SwapTotal:     4192956 kB
SwapFree:      4177728 kB
Dirty:            2424 kB
Writeback:           0 kB
Mapped:          13588 kB
Slab:            61420 kB
Committed_AS:   503508 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= 66300 MiB
End job on node37 at 2009-04-27 03:12:37