Trace number 1723450

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.14 602.134

General information on the benchmark

Namegoldb-heqc-i10mul.cnf
MD5SUM80e15f28c8e2d72627ec75fe75757317
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark188.185
Satisfiable
(Un)Satisfiability was proved
Number of variables12998
Number of clauses77941
Sum of the clauses size262272
Maximum clause length448
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 217756
Number of clauses of size 337304
Number of clauses of size 40
Number of clauses of size 522880
Number of clauses of size over 51

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-1723450-1240685962/watcher-1723450-1240685962 -o /tmp/evaluation-result-1723450-1240685962/solver-1723450-1240685962 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1723450-1240685962.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/65 6138
/proc/meminfo: memFree=1783984/2055920 swapFree=4192952/4192956
[pid=6138] ppid=6136 vsize=3808 CPUtime=0
/proc/6138/stat : 6138 (satake) S 6136 6138 5922 0 -1 4194304 631 0 0 0 0 0 0 0 18 0 4 0 96625498 3899392 616 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6138/statm: 952 620 65 163 0 787 0
[pid=6138/tid=6139] ppid=6136 vsize=3808 CPUtime=0
/proc/6138/task/6139/stat : 6139 (satake) S 6136 6138 5922 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 96625499 3899392 627 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=6138/tid=6140] ppid=6136 vsize=3808 CPUtime=0
/proc/6138/task/6140/stat : 6140 (satake) R 6136 6138 5922 0 -1 4194368 92 0 0 0 0 0 0 0 19 0 4 0 96625499 3899392 629 1992294400 134512640 135180984 4294956208 18446744073709551615 134583077 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6138/tid=6141] ppid=6136 vsize=3808 CPUtime=0
/proc/6138/task/6141/stat : 6141 (satake) R 6136 6138 5922 0 -1 4194368 465 0 0 0 0 0 0 0 20 0 4 0 96625499 3899392 632 1992294400 134512640 135180984 4294956208 18446744073709551615 134675846 0 0 4096 0 0 0 0 -1 1 0 0

[startup+0.0497251 s]
/proc/loadavg: 0.92 0.98 0.99 3/65 6138
/proc/meminfo: memFree=1783984/2055920 swapFree=4192952/4192956
[pid=6138] ppid=6136 vsize=11136 CPUtime=0.09
/proc/6138/stat : 6138 (satake) S 6136 6138 5922 0 -1 4194304 2228 0 0 0 8 1 0 0 18 0 4 0 96625498 11403264 2206 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6138/statm: 2784 2215 65 163 0 2619 0
[pid=6138/tid=6139] ppid=6136 vsize=11136 CPUtime=0
/proc/6138/task/6139/stat : 6139 (satake) S 6136 6138 5922 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 96625499 11403264 2218 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=6138/tid=6140] ppid=6136 vsize=11392 CPUtime=0.04
/proc/6138/task/6140/stat : 6140 (satake) R 6136 6138 5922 0 -1 4194368 1094 0 0 0 4 0 0 0 17 0 4 0 96625499 11665408 2227 1992294400 134512640 135180984 4294956208 18446744073709551615 134691935 0 0 4096 0 0 0 0 -1 0 0 0
[pid=6138/tid=6141] ppid=6136 vsize=11392 CPUtime=0.05
/proc/6138/task/6141/stat : 6141 (satake) S 6136 6138 5922 0 -1 4194368 1072 0 0 0 4 1 0 0 16 0 4 0 96625499 11665408 2234 1992294400 134512640 135180984 4294956208 18446744073709551615 134579486 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11136

[startup+0.122797 s]
/proc/loadavg: 0.92 0.98 0.99 3/65 6138
/proc/meminfo: memFree=1783984/2055920 swapFree=4192952/4192956
[pid=6138] ppid=6136 vsize=11724 CPUtime=0.25
/proc/6138/stat : 6138 (satake) S 6136 6138 5922 0 -1 4194304 3425 0 0 0 22 3 0 0 18 0 4 0 96625498 12005376 2621 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6138/statm: 2964 2632 70 163 0 2799 0
[pid=6138/tid=6139] ppid=6136 vsize=11856 CPUtime=0
/proc/6138/task/6139/stat : 6139 (satake) S 6136 6138 5922 0 -1 4194368 237 0 0 0 0 0 0 0 15 0 4 0 96625499 12140544 2656 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=6138/tid=6140] ppid=6136 vsize=11856 CPUtime=0.15
/proc/6138/task/6140/stat : 6140 (satake) R 6136 6138 5922 0 -1 4194368 1637 0 0 0 14 1 0 0 17 0 4 0 96625499 12140544 2656 1992294400 134512640 135180984 4294956208 18446744073709551615 134518667 0 0 4096 0 0 0 0 -1 0 0 0
[pid=6138/tid=6141] ppid=6136 vsize=11856 CPUtime=0.16
/proc/6138/task/6141/stat : 6141 (satake) R 6136 6138 5922 0 -1 4194368 1504 0 0 0 14 2 0 0 17 0 4 0 96625499 12140544 2656 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 11724

[startup+0.301384 s]
/proc/loadavg: 0.92 0.98 0.99 3/65 6138
/proc/meminfo: memFree=1783984/2055920 swapFree=4192952/4192956
[pid=6138] ppid=6136 vsize=11992 CPUtime=0.58
/proc/6138/stat : 6138 (satake) S 6136 6138 5922 0 -1 4194304 3501 0 0 0 50 8 0 0 18 0 4 0 96625498 12279808 2696 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6138/statm: 2998 2696 70 163 0 2833 0
[pid=6138/tid=6139] ppid=6136 vsize=11992 CPUtime=0.02
/proc/6138/task/6139/stat : 6139 (satake) S 6136 6138 5922 0 -1 4194368 240 0 0 0 0 2 0 0 15 0 4 0 96625499 12279808 2696 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=6138/tid=6140] ppid=6136 vsize=11992 CPUtime=0.27
/proc/6138/task/6140/stat : 6140 (satake) R 6136 6138 5922 0 -1 4194368 1655 0 0 0 25 2 0 0 17 0 4 0 96625499 12279808 2696 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=6138/tid=6141] ppid=6136 vsize=11992 CPUtime=0.28
/proc/6138/task/6141/stat : 6141 (satake) R 6136 6138 5922 0 -1 4194368 1523 0 0 0 25 3 0 0 17 0 4 0 96625499 12279808 2696 1992294400 134512640 135180984 4294956208 18446744073709551615 134528209 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 11992

[startup+0.701461 s]
/proc/loadavg: 0.92 0.98 0.99 3/65 6138
/proc/meminfo: memFree=1783984/2055920 swapFree=4192952/4192956
[pid=6138] ppid=6136 vsize=11992 CPUtime=1.38
/proc/6138/stat : 6138 (satake) S 6136 6138 5922 0 -1 4194304 3535 0 0 0 124 14 0 0 18 0 4 0 96625498 12279808 2730 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6138/statm: 2998 2730 70 163 0 2833 0
[pid=6138/tid=6139] ppid=6136 vsize=11992 CPUtime=0.06
/proc/6138/task/6139/stat : 6139 (satake) S 6136 6138 5922 0 -1 4194368 246 0 0 0 1 5 0 0 15 0 4 0 96625499 12279808 2730 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=6138/tid=6140] ppid=6136 vsize=11992 CPUtime=0.66
/proc/6138/task/6140/stat : 6140 (satake) R 6136 6138 5922 0 -1 4194368 1667 0 0 0 62 4 0 0 17 0 4 0 96625499 12279808 2730 1992294400 134512640 135180984 4294956208 18446744073709551615 134520945 0 0 4096 0 0 0 0 -1 0 0 0
[pid=6138/tid=6141] ppid=6136 vsize=11992 CPUtime=0.65
/proc/6138/task/6141/stat : 6141 (satake) R 6136 6138 5922 0 -1 4194368 1539 0 0 0 61 4 0 0 17 0 4 0 96625499 12279808 2730 1992294400 134512640 135180984 4294956208 18446744073709551615 134518227 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 11992

[startup+1.50161 s]
/proc/loadavg: 0.92 0.98 0.99 3/69 6142
/proc/meminfo: memFree=1773072/2055920 swapFree=4192952/4192956
[pid=6138] ppid=6136 vsize=12264 CPUtime=2.97
/proc/6138/stat : 6138 (satake) S 6136 6138 5922 0 -1 4194304 3592 0 0 0 273 24 0 0 18 0 4 0 96625498 12558336 2787 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6138/statm: 3066 2787 70 163 0 2901 0
[pid=6138/tid=6139] ppid=6136 vsize=12264 CPUtime=0.12
/proc/6138/task/6139/stat : 6139 (satake) S 6136 6138 5922 0 -1 4194368 256 0 0 0 3 9 0 0 15 0 4 0 96625499 12558336 2787 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=6138/tid=6140] ppid=6136 vsize=12264 CPUtime=1.42
/proc/6138/task/6140/stat : 6140 (satake) R 6136 6138 5922 0 -1 4194368 1694 0 0 0 135 7 0 0 16 0 4 0 96625499 12558336 2787 1992294400 134512640 135180984 4294956208 18446744073709551615 134523705 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6138/tid=6141] ppid=6136 vsize=12264 CPUtime=1.41
/proc/6138/task/6141/stat : 6141 (satake) R 6136 6138 5922 0 -1 4194368 1559 0 0 0 134 7 0 0 17 0 4 0 96625499 12558336 2787 1992294400 134512640 135180984 4294956208 18446744073709551615 134528211 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 12264

[startup+3.1029 s]
/proc/loadavg: 0.92 0.98 0.99 3/69 6142
/proc/meminfo: memFree=1772560/2055920 swapFree=4192952/4192956
[pid=6138] ppid=6136 vsize=13684 CPUtime=6.14
/proc/6138/stat : 6138 (satake) S 6136 6138 5922 0 -1 4194304 3747 0 0 0 563 51 0 0 18 0 4 0 96625498 14012416 2942 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6138/statm: 3421 2942 70 163 0 3256 0
[pid=6138/tid=6139] ppid=6136 vsize=13684 CPUtime=0.26
/proc/6138/task/6139/stat : 6139 (satake) S 6136 6138 5922 0 -1 4194368 286 0 0 0 5 21 0 0 15 0 4 0 96625499 14012416 2942 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=6138/tid=6140] ppid=6136 vsize=13684 CPUtime=2.93
/proc/6138/task/6140/stat : 6140 (satake) R 6136 6138 5922 0 -1 4194368 1749 0 0 0 279 14 0 0 16 0 4 0 96625499 14012416 2942 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=6138/tid=6141] ppid=6136 vsize=13684 CPUtime=2.93
/proc/6138/task/6141/stat : 6141 (satake) R 6136 6138 5922 0 -1 4194368 1629 0 0 0 278 15 0 0 16 0 4 0 96625499 14012416 2942 1992294400 134512640 135180984 4294956208 18446744073709551615 134532523 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 13684

[startup+6.30651 s]
/proc/loadavg: 1.01 1.00 1.00 3/69 6142
/proc/meminfo: memFree=1771216/2055920 swapFree=4192952/4192956
[pid=6138] ppid=6136 vsize=14748 CPUtime=12.51
/proc/6138/stat : 6138 (satake) S 6136 6138 5922 0 -1 4194304 4068 0 0 0 1157 94 0 0 18 0 4 0 96625498 15101952 3263 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6138/statm: 3687 3263 70 163 0 3522 0
[pid=6138/tid=6139] ppid=6136 vsize=14748 CPUtime=0.53
/proc/6138/task/6139/stat : 6139 (satake) S 6136 6138 5922 0 -1 4194368 351 0 0 0 12 41 0 0 16 0 4 0 96625499 15101952 3263 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=6138/tid=6140] ppid=6136 vsize=14748 CPUtime=5.95
/proc/6138/task/6140/stat : 6140 (satake) R 6136 6138 5922 0 -1 4194368 1865 0 0 0 571 24 0 0 17 0 4 0 96625499 15101952 3263 1992294400 134512640 135180984 4294956208 18446744073709551615 134528206 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6138/tid=6141] ppid=6136 vsize=14748 CPUtime=6
/proc/6138/task/6141/stat : 6141 (satake) R 6136 6138 5922 0 -1 4194368 1769 0 0 0 573 27 0 0 16 0 4 0 96625499 15101952 3263 1992294400 134512640 135180984 4294956208 18446744073709551615 134528514 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 14748

[startup+12.7027 s]
/proc/loadavg: 1.09 1.02 1.01 3/69 6142
/proc/meminfo: memFree=1768080/2055920 swapFree=4192952/4192956
[pid=6138] ppid=6136 vsize=18244 CPUtime=25.22
/proc/6138/stat : 6138 (satake) S 6136 6138 5922 0 -1 4194304 4803 0 0 0 2334 188 0 0 18 0 4 0 96625498 18681856 3998 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6138/statm: 4561 3998 70 163 0 4396 0
[pid=6138/tid=6139] ppid=6136 vsize=18244 CPUtime=1.07
/proc/6138/task/6139/stat : 6139 (satake) R 6136 6138 5922 0 -1 4194368 508 0 0 0 23 84 0 0 15 0 4 0 96625499 18681856 3998 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=6138/tid=6140] ppid=6136 vsize=18244 CPUtime=12.03
/proc/6138/task/6140/stat : 6140 (satake) R 6136 6138 5922 0 -1 4194368 2099 0 0 0 1155 48 0 0 17 0 4 0 96625499 18681856 3998 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=6138/tid=6141] ppid=6136 vsize=18244 CPUtime=12.07
/proc/6138/task/6141/stat : 6141 (satake) R 6136 6138 5922 0 -1 4194368 2113 0 0 0 1154 53 0 0 18 0 4 0 96625499 18681856 3998 1992294400 134512640 135180984 4294956208 18446744073709551615 134523603 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.22
Current children cumulated vsize (KiB) 18244

[startup+25.5012 s]
/proc/loadavg: 1.37 1.08 1.03 3/69 6142
/proc/meminfo: memFree=1759248/2055920 swapFree=4192952/4192956
[pid=6138] ppid=6136 vsize=26824 CPUtime=50.63
/proc/6138/stat : 6138 (satake) S 6136 6138 5922 0 -1 4194304 7015 0 0 0 4654 409 0 0 18 0 4 0 96625498 27467776 6210 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6138/statm: 6706 6210 70 163 0 6541 0
[pid=6138/tid=6139] ppid=6136 vsize=26824 CPUtime=2.38
/proc/6138/task/6139/stat : 6139 (satake) S 6136 6138 5922 0 -1 4194368 954 0 0 0 52 186 0 0 15 0 4 0 96625499 27467776 6210 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=6138/tid=6140] ppid=6136 vsize=26824 CPUtime=24.14
/proc/6138/task/6140/stat : 6140 (satake) R 6136 6138 5922 0 -1 4194368 3056 0 0 0 2307 107 0 0 17 0 4 0 96625499 27467776 6210 1992294400 134512640 135180984 4294956208 18446744073709551615 134524011 0 0 4096 0 0 0 0 -1 0 0 0
[pid=6138/tid=6141] ppid=6136 vsize=26824 CPUtime=24.09
/proc/6138/task/6141/stat : 6141 (satake) R 6136 6138 5922 0 -1 4194368 2922 0 0 0 2294 115 0 0 17 0 4 0 96625499 27467776 6210 1992294400 134512640 135180984 4294956208 18446744073709551615 134528674 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.63
Current children cumulated vsize (KiB) 26824

[startup+51.102 s]
/proc/loadavg: 1.58 1.15 1.05 3/69 6142
/proc/meminfo: memFree=1734160/2055920 swapFree=4192952/4192956
[pid=6138] ppid=6136 vsize=52752 CPUtime=101.61
/proc/6138/stat : 6138 (satake) S 6136 6138 5922 0 -1 4194304 13350 0 0 0 9493 668 0 0 18 0 4 0 96625498 54018048 12545 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6138/statm: 13188 12545 70 163 0 13023 0
[pid=6138/tid=6139] ppid=6136 vsize=52752 CPUtime=3.88
/proc/6138/task/6139/stat : 6139 (satake) S 6136 6138 5922 0 -1 4194368 1511 0 0 0 89 299 0 0 15 0 4 0 96625499 54018048 12545 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=6138/tid=6140] ppid=6136 vsize=52752 CPUtime=48.84
/proc/6138/task/6140/stat : 6140 (satake) R 6136 6138 5922 0 -1 4194368 6024 0 0 0 4702 182 0 0 17 0 4 0 96625499 54018048 12545 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6138/tid=6141] ppid=6136 vsize=52752 CPUtime=48.87
/proc/6138/task/6141/stat : 6141 (satake) R 6136 6138 5922 0 -1 4194368 5732 0 0 0 4701 186 0 0 18 0 4 0 96625499 54018048 12545 1992294400 134512640 135180984 4294956208 18446744073709551615 134528760 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.61
Current children cumulated vsize (KiB) 52752

[startup+102.306 s]
/proc/loadavg: 1.82 1.28 1.10 3/69 6148
/proc/meminfo: memFree=1720464/2055920 swapFree=4192952/4192956
[pid=6138] ppid=6136 vsize=65196 CPUtime=203.6
/proc/6138/stat : 6138 (satake) S 6136 6138 5922 0 -1 4194304 16608 0 0 0 19307 1053 0 0 18 0 4 0 96625498 66760704 15803 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6138/statm: 16299 15803 70 163 0 16134 0
[pid=6138/tid=6139] ppid=6136 vsize=65196 CPUtime=6.18
/proc/6138/task/6139/stat : 6139 (satake) S 6136 6138 5922 0 -1 4194368 1757 0 0 0 140 478 0 0 15 0 4 0 96625499 66760704 15803 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=6138/tid=6140] ppid=6136 vsize=65196 CPUtime=98.65
/proc/6138/task/6140/stat : 6140 (satake) R 6136 6138 5922 0 -1 4194368 7453 0 0 0 9584 281 0 0 25 0 4 0 96625499 66760704 15803 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=6138/tid=6141] ppid=6136 vsize=65196 CPUtime=98.75
/proc/6138/task/6141/stat : 6141 (satake) R 6136 6138 5922 0 -1 4194368 7315 0 0 0 9582 293 0 0 17 0 4 0 96625499 66760704 15803 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 203.6
Current children cumulated vsize (KiB) 65196

[startup+162.302 s]
/proc/loadavg: 1.93 1.41 1.15 3/69 6148
/proc/meminfo: memFree=1688208/2055920 swapFree=4192952/4192956
[pid=6138] ppid=6136 vsize=97900 CPUtime=323.18
/proc/6138/stat : 6138 (satake) S 6136 6138 5922 0 -1 4194304 24633 0 0 0 30970 1348 0 0 18 0 4 0 96625498 100249600 23828 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6138/statm: 24475 23828 70 163 0 24310 0
[pid=6138/tid=6139] ppid=6136 vsize=97900 CPUtime=7.86
/proc/6138/task/6139/stat : 6139 (satake) S 6136 6138 5922 0 -1 4194368 2126 0 0 0 179 607 0 0 15 0 4 0 96625499 100249600 23828 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=6138/tid=6140] ppid=6136 vsize=97900 CPUtime=157.65
/proc/6138/task/6140/stat : 6140 (satake) R 6136 6138 5922 0 -1 4194368 11468 0 0 0 15399 366 0 0 17 0 4 0 96625499 100249600 23828 1992294400 134512640 135180984 4294956208 18446744073709551615 134528241 0 0 4096 0 0 0 0 -1 0 0 0
[pid=6138/tid=6141] ppid=6136 vsize=97900 CPUtime=157.65
/proc/6138/task/6141/stat : 6141 (satake) R 6136 6138 5922 0 -1 4194368 10956 0 0 0 15391 374 0 0 17 0 4 0 96625499 100249600 23828 1992294400 134512640 135180984 4294956208 18446744073709551615 134523663 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 323.18
Current children cumulated vsize (KiB) 97900

[startup+222.302 s]
/proc/loadavg: 2.01 1.53 1.21 3/69 6148
/proc/meminfo: memFree=1687632/2055920 swapFree=4192952/4192956
[pid=6138] ppid=6136 vsize=98256 CPUtime=442.85
/proc/6138/stat : 6138 (satake) S 6136 6138 5922 0 -1 4194304 24787 0 0 0 42688 1597 0 0 18 0 4 0 96625498 100614144 23982 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6138/statm: 24564 23982 70 163 0 24399 0
[pid=6138/tid=6139] ppid=6136 vsize=98256 CPUtime=9.37
/proc/6138/task/6139/stat : 6139 (satake) S 6136 6138 5922 0 -1 4194368 2174 0 0 0 215 722 0 0 15 0 4 0 96625499 100614144 23982 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=6138/tid=6140] ppid=6136 vsize=98256 CPUtime=216.68
/proc/6138/task/6140/stat : 6140 (satake) R 6136 6138 5922 0 -1 4194368 11545 0 0 0 21239 429 0 0 18 0 4 0 96625499 100614144 23982 1992294400 134512640 135180984 4294956208 18446744073709551615 134528441 0 0 4096 0 0 0 0 -1 0 0 0
[pid=6138/tid=6141] ppid=6136 vsize=98256 CPUtime=216.78
/proc/6138/task/6141/stat : 6141 (satake) R 6136 6138 5922 0 -1 4194368 10985 0 0 0 21233 445 0 0 25 0 4 0 96625499 100614144 23982 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 442.85
Current children cumulated vsize (KiB) 98256

[startup+282.302 s]
/proc/loadavg: 2.05 1.63 1.26 3/69 6148
/proc/meminfo: memFree=1674960/2055920 swapFree=4192952/4192956
[pid=6138] ppid=6136 vsize=110412 CPUtime=562.42
/proc/6138/stat : 6138 (satake) S 6136 6138 5922 0 -1 4194304 27928 0 0 0 54344 1898 0 0 18 0 4 0 96625498 113061888 27123 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6138/statm: 27603 27123 70 163 0 27438 0
[pid=6138/tid=6139] ppid=6136 vsize=110412 CPUtime=11.12
/proc/6138/task/6139/stat : 6139 (satake) S 6136 6138 5922 0 -1 4194368 2337 0 0 0 254 858 0 0 15 0 4 0 96625499 113061888 27123 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=6138/tid=6140] ppid=6136 vsize=110412 CPUtime=275.52
/proc/6138/task/6140/stat : 6140 (satake) R 6136 6138 5922 0 -1 4194368 13499 0 0 0 27040 512 0 0 19 0 4 0 96625499 113061888 27123 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=6138/tid=6141] ppid=6136 vsize=110412 CPUtime=275.74
/proc/6138/task/6141/stat : 6141 (satake) R 6136 6138 5922 0 -1 4194368 12009 0 0 0 27048 526 0 0 19 0 4 0 96625499 113061888 27123 1992294400 134512640 135180984 4294956208 18446744073709551615 134528664 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 562.42
Current children cumulated vsize (KiB) 110412

[startup+342.302 s]
/proc/loadavg: 2.02 1.69 1.30 3/69 6148
/proc/meminfo: memFree=1674320/2055920 swapFree=4192952/4192956
[pid=6138] ppid=6136 vsize=111056 CPUtime=682.11
/proc/6138/stat : 6138 (satake) S 6136 6138 5922 0 -1 4194304 28071 0 0 0 66110 2101 0 0 18 0 4 0 96625498 113721344 27266 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6138/statm: 27764 27266 70 163 0 27599 0
[pid=6138/tid=6139] ppid=6136 vsize=111056 CPUtime=12.34
/proc/6138/task/6139/stat : 6139 (satake) S 6136 6138 5922 0 -1 4194368 2447 0 0 0 283 951 0 0 15 0 4 0 96625499 113721344 27266 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=6138/tid=6140] ppid=6136 vsize=111056 CPUtime=334.79
/proc/6138/task/6140/stat : 6140 (satake) R 6136 6138 5922 0 -1 4194368 13504 0 0 0 32908 571 0 0 25 0 4 0 96625499 113721344 27266 1992294400 134512640 135180984 4294956208 18446744073709551615 134528557 0 0 4096 0 0 0 0 -1 0 0 0
[pid=6138/tid=6141] ppid=6136 vsize=111056 CPUtime=334.96
/proc/6138/task/6141/stat : 6141 (satake) R 6136 6138 5922 0 -1 4194368 12037 0 0 0 32918 578 0 0 25 0 4 0 96625499 113721344 27266 1992294400 134512640 135180984 4294956208 18446744073709551615 134518663 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 682.11
Current children cumulated vsize (KiB) 111056

[startup+402.301 s]
/proc/loadavg: 2.00 1.75 1.34 4/69 6148
/proc/meminfo: memFree=1666640/2055920 swapFree=4192952/4192956
[pid=6138] ppid=6136 vsize=118900 CPUtime=801.73
/proc/6138/stat : 6138 (satake) S 6136 6138 5922 0 -1 4194304 30003 0 0 0 77831 2342 0 0 18 0 4 0 96625498 121753600 29198 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6138/statm: 29725 29198 70 163 0 29560 0
[pid=6138/tid=6139] ppid=6136 vsize=118900 CPUtime=13.81
/proc/6138/task/6139/stat : 6139 (satake) S 6136 6138 5922 0 -1 4194368 2782 0 0 0 317 1064 0 0 15 0 4 0 96625499 121753600 29198 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=6138/tid=6140] ppid=6136 vsize=118900 CPUtime=393.89
/proc/6138/task/6140/stat : 6140 (satake) R 6136 6138 5922 0 -1 4194368 14262 0 0 0 38755 634 0 0 18 0 4 0 96625499 121753600 29198 1992294400 134512640 135180984 4294956208 18446744073709551615 134528211 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6138/tid=6141] ppid=6136 vsize=118900 CPUtime=394.01
/proc/6138/task/6141/stat : 6141 (satake) R 6136 6138 5922 0 -1 4194368 12876 0 0 0 38758 643 0 0 17 0 4 0 96625499 121753600 29198 1992294400 134512640 135180984 4294956208 18446744073709551615 134528796 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 801.73
Current children cumulated vsize (KiB) 118900

[startup+462.301 s]
/proc/loadavg: 2.11 1.82 1.39 3/69 6148
/proc/meminfo: memFree=1665808/2055920 swapFree=4192952/4192956
[pid=6138] ppid=6136 vsize=121364 CPUtime=921.33
/proc/6138/stat : 6138 (satake) S 6136 6138 5922 0 -1 4194304 30200 0 0 0 89452 2681 0 0 18 0 4 0 96625498 124276736 29395 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6138/statm: 30341 29395 70 163 0 30176 0
[pid=6138/tid=6139] ppid=6136 vsize=121364 CPUtime=15.86
/proc/6138/task/6139/stat : 6139 (satake) S 6136 6138 5922 0 -1 4194368 2933 0 0 0 364 1222 0 0 15 0 4 0 96625499 124276736 29395 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=6138/tid=6140] ppid=6136 vsize=121364 CPUtime=452.69
/proc/6138/task/6140/stat : 6140 (satake) R 6136 6138 5922 0 -1 4194368 14307 0 0 0 44545 724 0 0 25 0 4 0 96625499 124276736 29395 1992294400 134512640 135180984 4294956208 18446744073709551615 134519916 0 0 4096 0 0 0 0 -1 0 0 0
[pid=6138/tid=6141] ppid=6136 vsize=121364 CPUtime=452.76
/proc/6138/task/6141/stat : 6141 (satake) R 6136 6138 5922 0 -1 4194368 12877 0 0 0 44542 734 0 0 18 0 4 0 96625499 124276736 29395 1992294400 134512640 135180984 4294956208 18446744073709551615 134520667 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 921.33
Current children cumulated vsize (KiB) 121364

[startup+522.301 s]
/proc/loadavg: 2.04 1.85 1.43 3/69 6148
/proc/meminfo: memFree=1664784/2055920 swapFree=4192952/4192956
[pid=6138] ppid=6136 vsize=122172 CPUtime=1040.97
/proc/6138/stat : 6138 (satake) S 6136 6138 5922 0 -1 4194304 30442 0 0 0 101184 2913 0 0 18 0 4 0 96625498 125104128 29637 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6138/statm: 30543 29637 70 163 0 30378 0
[pid=6138/tid=6139] ppid=6136 vsize=122172 CPUtime=17.21
/proc/6138/task/6139/stat : 6139 (satake) S 6136 6138 5922 0 -1 4194368 3058 0 0 0 392 1329 0 0 15 0 4 0 96625499 125104128 29637 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=6138/tid=6140] ppid=6136 vsize=122172 CPUtime=511.83
/proc/6138/task/6140/stat : 6140 (satake) R 6136 6138 5922 0 -1 4194368 14335 0 0 0 50395 788 0 0 17 0 4 0 96625499 125104128 29637 1992294400 134512640 135180984 4294956208 18446744073709551615 134518224 0 0 4096 0 0 0 0 -1 0 0 0
[pid=6138/tid=6141] ppid=6136 vsize=122172 CPUtime=511.9
/proc/6138/task/6141/stat : 6141 (satake) R 6136 6138 5922 0 -1 4194368 12966 0 0 0 50396 794 0 0 18 0 4 0 96625499 125104128 29637 1992294400 134512640 135180984 4294956208 18446744073709551615 134526240 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1040.97
Current children cumulated vsize (KiB) 122172

[startup+582.302 s]
/proc/loadavg: 2.01 1.87 1.46 3/69 6148
/proc/meminfo: memFree=1663760/2055920 swapFree=4192952/4192956
[pid=6138] ppid=6136 vsize=123308 CPUtime=1160.59
/proc/6138/stat : 6138 (satake) S 6136 6138 5922 0 -1 4194304 30690 0 0 0 112803 3256 0 0 18 0 4 0 96625498 126267392 29885 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6138/statm: 30827 29885 70 163 0 30662 0
[pid=6138/tid=6139] ppid=6136 vsize=123308 CPUtime=19.19
/proc/6138/task/6139/stat : 6139 (satake) S 6136 6138 5922 0 -1 4194368 3282 0 0 0 436 1483 0 0 15 0 4 0 96625499 126267392 29885 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=6138/tid=6140] ppid=6136 vsize=123308 CPUtime=570.66
/proc/6138/task/6140/stat : 6140 (satake) R 6136 6138 5922 0 -1 4194368 14356 0 0 0 56180 886 0 0 17 0 4 0 96625499 126267392 29885 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=6138/tid=6141] ppid=6136 vsize=123308 CPUtime=570.71
/proc/6138/task/6141/stat : 6141 (satake) R 6136 6138 5922 0 -1 4194368 12969 0 0 0 56186 885 0 0 18 0 4 0 96625499 126267392 29885 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1160.59
Current children cumulated vsize (KiB) 123308



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+602.102 s]
/proc/loadavg: 2.01 1.88 1.47 3/69 6148
/proc/meminfo: memFree=1663632/2055920 swapFree=4192952/4192956
[pid=6138] ppid=6136 vsize=123468 CPUtime=1200.1
/proc/6138/stat : 6138 (satake) S 6136 6138 5922 0 -1 4194304 30722 0 0 0 116701 3309 0 0 18 0 4 0 96625498 126431232 29917 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6138/statm: 30867 29917 70 163 0 30702 0
[pid=6138/tid=6139] ppid=6136 vsize=123468 CPUtime=19.51
/proc/6138/task/6139/stat : 6139 (satake) S 6136 6138 5922 0 -1 4194368 3311 0 0 0 444 1507 0 0 15 0 4 0 96625499 126431232 29917 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=6138/tid=6140] ppid=6136 vsize=123468 CPUtime=590.27
/proc/6138/task/6140/stat : 6140 (satake) R 6136 6138 5922 0 -1 4194368 14356 0 0 0 58127 900 0 0 25 0 4 0 96625499 126431232 29917 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6138/tid=6141] ppid=6136 vsize=123468 CPUtime=590.3
/proc/6138/task/6141/stat : 6141 (satake) R 6136 6138 5922 0 -1 4194368 12972 0 0 0 58129 901 0 0 18 0 4 0 96625499 126431232 29917 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.1
Current children cumulated vsize (KiB) 123468

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

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

[startup+602.102 s]
/proc/loadavg: 2.01 1.88 1.47 3/69 6148
/proc/meminfo: memFree=1663632/2055920 swapFree=4192952/4192956
[pid=6138] ppid=6136 vsize=123468 CPUtime=1200.1
/proc/6138/stat : 6138 (satake) S 6136 6138 5922 0 -1 4194304 30722 0 0 0 116701 3309 0 0 18 0 4 0 96625498 126431232 29917 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6138/statm: 30867 29917 70 163 0 30702 0
[pid=6138/tid=6139] ppid=6136 vsize=123468 CPUtime=19.51
/proc/6138/task/6139/stat : 6139 (satake) S 6136 6138 5922 0 -1 4194368 3311 0 0 0 444 1507 0 0 15 0 4 0 96625499 126431232 29917 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=6138/tid=6140] ppid=6136 vsize=123468 CPUtime=590.27
/proc/6138/task/6140/stat : 6140 (satake) R 6136 6138 5922 0 -1 4194368 14356 0 0 0 58127 900 0 0 25 0 4 0 96625499 126431232 29917 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6138/tid=6141] ppid=6136 vsize=123468 CPUtime=590.3
/proc/6138/task/6141/stat : 6141 (satake) R 6136 6138 5922 0 -1 4194368 12972 0 0 0 58129 901 0 0 18 0 4 0 96625499 126431232 29917 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.1
Current children cumulated vsize (KiB) 123468

Child ended because it received signal 15 (SIGTERM)
Real time (s): 602.134
CPU time (s): 1200.14
CPU user time (s): 1167.03
CPU system time (s): 33.117
CPU usage (%): 199.315
Max. virtual memory (cumulated for all children) (KiB): 123468

deleting IPC queue 589824
deleting IPC queue 622593
deleting IPC queue 655362
deleting IPC queue 688131
deleting IPC queue 720900
deleting IPC queue 753669
deleting IPC queue 786438
deleting IPC queue 819207
deleting IPC queue 851976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1167.03
system time used= 33.117
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30722
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= 2910533
involuntary context switches= 2870511

runsolver used 0.563914 second user time and 1.64775 second system time

The end

Launcher Data 

Begin job on node82 at 2009-04-25 20:59:22
IDJOB=1723450
IDBENCH=71699
IDSOLVER=553
FILE ID=node82/1723450-1240685962
PBS_JOBID= 9186694
Free space on /tmp= 66272 MiB

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

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

MD5SUM BENCH= 80e15f28c8e2d72627ec75fe75757317
RANDOM SEED=2097811841

node82.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	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1784400 kB
Buffers:         28372 kB
Cached:         170728 kB
SwapCached:          4 kB
Active:          80000 kB
Inactive:       133644 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1784400 kB
SwapTotal:     4192956 kB
SwapFree:      4192952 kB
Dirty:            2300 kB
Writeback:           0 kB
Mapped:          24260 kB
Slab:            43856 kB
Committed_AS:   245292 kB
PageTables:       1384 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66272 MiB
End job on node82 at 2009-04-25 21:09:26