Trace number 1581924

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.24 601.563

General information on the benchmark

NameAPPLICATIONS/diagnosis/
UCG-20-5p1.cnf
MD5SUM93858500e23e9a4bf0619d7bf7dc00f3
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark413.629
Satisfiable
(Un)Satisfiability was proved
Number of variables224986
Number of clauses1204430
Sum of the clauses size2908691
Maximum clause length10
Minimum clause length1
Number of clauses of size 111403
Number of clauses of size 2851953
Number of clauses of size 3284354
Number of clauses of size 46300
Number of clauses of size 525200
Number of clauses of size over 525220

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-1581924-1238934326/watcher-1581924-1238934326 -o /tmp/evaluation-result-1581924-1238934326/solver-1581924-1238934326 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1581924-1238934326.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 2/64 7635
/proc/meminfo: memFree=1558912/2055920 swapFree=4175348/4192956
[pid=7635] ppid=7633 vsize=5120 CPUtime=0
/proc/7635/stat : 7635 (satake) S 7633 7635 7387 0 -1 4194304 732 0 0 0 0 0 0 0 18 0 4 0 1166094703 5242880 717 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/7635/statm: 1280 723 65 163 0 1115 0
[pid=7635/tid=7636] ppid=7633 vsize=5120 CPUtime=0
/proc/7635/task/7636/stat : 7636 (satake) S 7633 7635 7387 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 1166094703 5242880 744 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=7635/tid=7637] ppid=7633 vsize=5120 CPUtime=0
/proc/7635/task/7637/stat : 7637 (satake) R 7633 7635 7387 0 -1 4194368 679 0 0 0 0 0 0 0 19 0 4 0 1166094703 5242880 754 1992294400 134512640 135180984 4294956208 18446744073709551615 134583077 0 0 4096 0 0 0 0 -1 0 0 0
[pid=7635/tid=7638] ppid=7633 vsize=5120 CPUtime=0
/proc/7635/task/7638/stat : 7638 (satake) R 7633 7635 7387 0 -1 4194368 0 0 0 0 0 0 0 0 19 0 4 0 1166094703 5242880 763 1992294400 134512640 135180984 4294956208 18446744073709551615 134705812 0 0 4096 0 0 0 0 -1 0 0 0

[startup+0.0900501 s]
/proc/loadavg: 0.92 0.98 0.99 2/64 7635
/proc/meminfo: memFree=1558912/2055920 swapFree=4175348/4192956
[pid=7635] ppid=7633 vsize=62104 CPUtime=0.15
/proc/7635/stat : 7635 (satake) S 7633 7635 7387 0 -1 4194304 14374 0 0 0 3 12 0 0 18 0 4 0 1166094703 63594496 14351 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/7635/statm: 15526 14351 65 163 0 15361 0
[pid=7635/tid=7636] ppid=7633 vsize=62104 CPUtime=0
/proc/7635/task/7636/stat : 7636 (satake) S 7633 7635 7387 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 1166094703 63594496 14351 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=7635/tid=7637] ppid=7633 vsize=62104 CPUtime=0.08
/proc/7635/task/7637/stat : 7637 (satake) D 7633 7635 7387 0 -1 4194368 7373 0 0 0 2 6 0 0 17 0 4 0 1166094703 63594496 14351 1992294400 134512640 135180984 4294956208 18446744073709551615 134522408 0 0 4096 0 0 0 0 -1 0 0 0
[pid=7635/tid=7638] ppid=7633 vsize=62104 CPUtime=0.07
/proc/7635/task/7638/stat : 7638 (satake) R 7633 7635 7387 0 -1 4194368 6911 0 0 0 1 6 0 0 17 0 4 0 1166094703 63594496 14351 1992294400 134512640 135180984 4294956208 18446744073709551615 134702260 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 62104

[startup+0.101045 s]
/proc/loadavg: 0.92 0.98 0.99 2/64 7635
/proc/meminfo: memFree=1558912/2055920 swapFree=4175348/4192956
[pid=7635] ppid=7633 vsize=67768 CPUtime=0.18
/proc/7635/stat : 7635 (satake) S 7633 7635 7387 0 -1 4194304 15404 0 0 0 5 13 0 0 18 0 4 0 1166094703 69394432 15381 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/7635/statm: 16942 15385 65 163 0 16777 0
[pid=7635/tid=7636] ppid=7633 vsize=67768 CPUtime=0
/proc/7635/task/7636/stat : 7636 (satake) S 7633 7635 7387 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 1166094703 69394432 15386 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=7635/tid=7637] ppid=7633 vsize=67768 CPUtime=0.08
/proc/7635/task/7637/stat : 7637 (satake) R 7633 7635 7387 0 -1 4194368 7905 0 0 0 2 6 0 0 17 0 4 0 1166094703 69394432 15391 1992294400 134512640 135180984 4294956208 18446744073709551615 134675846 0 0 4096 0 0 0 0 -1 0 0 0
[pid=7635/tid=7638] ppid=7633 vsize=67768 CPUtime=0.08
/proc/7635/task/7638/stat : 7638 (satake) R 7633 7635 7387 0 -1 4194368 7419 0 0 0 2 6 0 0 17 0 4 0 1166094703 69394432 15393 1992294400 134512640 135180984 4294956208 18446744073709551615 134681037 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 67768

[startup+0.301084 s]
/proc/loadavg: 0.92 0.98 0.99 2/64 7635
/proc/meminfo: memFree=1558912/2055920 swapFree=4175348/4192956
[pid=7635] ppid=7633 vsize=113832 CPUtime=0.57
/proc/7635/stat : 7635 (satake) S 7633 7635 7387 0 -1 4194304 24551 0 0 0 37 20 0 0 18 0 4 0 1166094703 116563968 24528 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/7635/statm: 28458 24529 65 163 0 28293 0
[pid=7635/tid=7636] ppid=7633 vsize=113832 CPUtime=0
/proc/7635/task/7636/stat : 7636 (satake) S 7633 7635 7387 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 1166094703 116563968 24529 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=7635/tid=7637] ppid=7633 vsize=113832 CPUtime=0.28
/proc/7635/task/7637/stat : 7637 (satake) R 7633 7635 7387 0 -1 4194368 12353 0 0 0 18 10 0 0 15 0 4 0 1166094703 116563968 24529 1992294400 134512640 135180984 4294956208 18446744073709551615 134675846 0 0 4096 0 0 0 0 -1 0 0 0
[pid=7635/tid=7638] ppid=7633 vsize=113832 CPUtime=0.28
/proc/7635/task/7638/stat : 7638 (satake) R 7633 7635 7387 0 -1 4194368 12109 0 0 0 18 10 0 0 16 0 4 0 1166094703 116563968 24530 1992294400 134512640 135180984 4294956208 18446744073709551615 134513796 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 113832

[startup+0.701151 s]
/proc/loadavg: 0.92 0.98 0.99 2/64 7635
/proc/meminfo: memFree=1558912/2055920 swapFree=4175348/4192956
[pid=7635] ppid=7633 vsize=133060 CPUtime=1.37
/proc/7635/stat : 7635 (satake) S 7633 7635 7387 0 -1 4194304 29214 0 0 0 112 25 0 0 18 0 4 0 1166094703 136253440 29191 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/7635/statm: 33265 29191 65 163 0 33100 0
[pid=7635/tid=7636] ppid=7633 vsize=133060 CPUtime=0
/proc/7635/task/7636/stat : 7636 (satake) S 7633 7635 7387 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 1166094703 136253440 29191 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=7635/tid=7637] ppid=7633 vsize=133060 CPUtime=0.68
/proc/7635/task/7637/stat : 7637 (satake) R 7633 7635 7387 0 -1 4194368 14781 0 0 0 55 13 0 0 15 0 4 0 1166094703 136253440 29192 1992294400 134512640 135180984 4294956208 18446744073709551615 134675767 0 0 4096 0 0 0 0 -1 0 0 0
[pid=7635/tid=7638] ppid=7633 vsize=133060 CPUtime=0.67
/proc/7635/task/7638/stat : 7638 (satake) R 7633 7635 7387 0 -1 4194368 14344 0 0 0 56 11 0 0 16 0 4 0 1166094703 136253440 29193 1992294400 134512640 135180984 4294956208 18446744073709551615 134519935 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 133060

[startup+1.5011 s]
/proc/loadavg: 0.92 0.98 0.99 3/68 7639
/proc/meminfo: memFree=1427424/2055920 swapFree=4175348/4192956
[pid=7635] ppid=7633 vsize=179952 CPUtime=2.93
/proc/7635/stat : 7635 (satake) S 7633 7635 7387 0 -1 4194304 42284 0 0 0 257 36 0 0 18 0 4 0 1166094703 184270848 42261 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/7635/statm: 44988 42261 66 163 0 44823 0
[pid=7635/tid=7636] ppid=7633 vsize=179952 CPUtime=0
/proc/7635/task/7636/stat : 7636 (satake) S 7633 7635 7387 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 1166094703 184270848 42261 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=7635/tid=7637] ppid=7633 vsize=179952 CPUtime=1.46
/proc/7635/task/7637/stat : 7637 (satake) R 7633 7635 7387 0 -1 4194368 21344 0 0 0 127 19 0 0 16 0 4 0 1166094703 184270848 42263 1992294400 134512640 135180984 4294956208 18446744073709551615 134535625 0 0 4096 0 0 0 0 -1 0 0 0
[pid=7635/tid=7638] ppid=7633 vsize=179952 CPUtime=1.46
/proc/7635/task/7638/stat : 7638 (satake) R 7633 7635 7387 0 -1 4194368 20852 0 0 0 130 16 0 0 16 0 4 0 1166094703 184270848 42263 1992294400 134512640 135180984 4294956208 18446744073709551615 134675846 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 179952

[startup+3.10137 s]
/proc/loadavg: 0.92 0.98 0.99 3/68 7639
/proc/meminfo: memFree=1423328/2055920 swapFree=4175348/4192956
[pid=7635] ppid=7633 vsize=146044 CPUtime=6.11
/proc/7635/stat : 7635 (satake) S 7633 7635 7387 0 -1 4194304 45417 0 0 0 568 43 0 0 18 0 4 0 1166094703 149549056 34048 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/7635/statm: 36511 34048 70 163 0 36346 0
[pid=7635/tid=7636] ppid=7633 vsize=146044 CPUtime=0.08
/proc/7635/task/7636/stat : 7636 (satake) S 7633 7635 7387 0 -1 4194368 2188 0 0 0 7 1 0 0 15 0 4 0 1166094703 149549056 34048 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=7635/tid=7637] ppid=7633 vsize=146044 CPUtime=2.99
/proc/7635/task/7637/stat : 7637 (satake) R 7633 7635 7387 0 -1 4194368 21718 0 0 0 276 23 0 0 18 0 4 0 1166094703 149549056 34048 1992294400 134512640 135180984 4294956208 18446744073709551615 134532428 0 0 4096 0 0 0 0 -1 0 0 0
[pid=7635/tid=7638] ppid=7633 vsize=146044 CPUtime=3.02
/proc/7635/task/7638/stat : 7638 (satake) R 7633 7635 7387 0 -1 4194368 21428 0 0 0 284 18 0 0 18 0 4 0 1166094703 149549056 34048 1992294400 134512640 135180984 4294956208 18446744073709551615 134520863 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 146044

[startup+6.30192 s]
/proc/loadavg: 1.01 1.00 1.00 3/68 7639
/proc/meminfo: memFree=1422240/2055920 swapFree=4175348/4192956
[pid=7635] ppid=7633 vsize=146176 CPUtime=12.47
/proc/7635/stat : 7635 (satake) S 7633 7635 7387 0 -1 4194304 45508 0 0 0 1197 50 0 0 18 0 4 0 1166094703 149684224 34139 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/7635/statm: 36544 34139 70 163 0 36379 0
[pid=7635/tid=7636] ppid=7633 vsize=146176 CPUtime=0.12
/proc/7635/task/7636/stat : 7636 (satake) S 7633 7635 7387 0 -1 4194368 2189 0 0 0 8 4 0 0 16 0 4 0 1166094703 149684224 34139 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=7635/tid=7637] ppid=7633 vsize=146176 CPUtime=6.14
/proc/7635/task/7637/stat : 7637 (satake) R 7633 7635 7387 0 -1 4194368 21768 0 0 0 590 24 0 0 17 0 4 0 1166094703 149684224 34139 1992294400 134512640 135180984 4294956208 18446744073709551615 134528252 0 0 4096 0 0 0 0 -1 0 0 0
[pid=7635/tid=7638] ppid=7633 vsize=146176 CPUtime=6.18
/proc/7635/task/7638/stat : 7638 (satake) R 7633 7635 7387 0 -1 4194368 21468 0 0 0 598 20 0 0 17 0 4 0 1166094703 149684224 34139 1992294400 134512640 135180984 4294956208 18446744073709551615 134528401 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.47
Current children cumulated vsize (KiB) 146176

[startup+12.702 s]
/proc/loadavg: 1.09 1.02 1.01 3/68 7639
/proc/meminfo: memFree=1421472/2055920 swapFree=4175348/4192956
[pid=7635] ppid=7633 vsize=146844 CPUtime=25.23
/proc/7635/stat : 7635 (satake) S 7633 7635 7387 0 -1 4194304 45702 0 0 0 2455 68 0 0 18 0 4 0 1166094703 150368256 34333 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/7635/statm: 36711 34333 70 163 0 36546 0
[pid=7635/tid=7636] ppid=7633 vsize=146844 CPUtime=0.22
/proc/7635/task/7636/stat : 7636 (satake) S 7633 7635 7387 0 -1 4194368 2191 0 0 0 10 12 0 0 16 0 4 0 1166094703 150368256 34333 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=7635/tid=7637] ppid=7633 vsize=146844 CPUtime=12.46
/proc/7635/task/7637/stat : 7637 (satake) R 7633 7635 7387 0 -1 4194368 21889 0 0 0 1217 29 0 0 16 0 4 0 1166094703 150368256 34333 1992294400 134512640 135180984 4294956208 18446744073709551615 134519082 0 0 4096 0 0 0 0 -1 0 0 0
[pid=7635/tid=7638] ppid=7633 vsize=146844 CPUtime=12.53
/proc/7635/task/7638/stat : 7638 (satake) R 7633 7635 7387 0 -1 4194368 21539 0 0 0 1227 26 0 0 17 0 4 0 1166094703 150368256 34333 1992294400 134512640 135180984 4294956208 18446744073709551615 134524906 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 146844

[startup+25.5022 s]
/proc/loadavg: 1.29 1.06 1.02 3/68 7639
/proc/meminfo: memFree=1418528/2055920 swapFree=4175348/4192956
[pid=7635] ppid=7633 vsize=150048 CPUtime=50.77
/proc/7635/stat : 7635 (satake) S 7633 7635 7387 0 -1 4194304 46500 0 0 0 4965 112 0 0 18 0 4 0 1166094703 153649152 35131 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/7635/statm: 37512 35131 70 163 0 37347 0
[pid=7635/tid=7636] ppid=7633 vsize=150048 CPUtime=0.47
/proc/7635/task/7636/stat : 7636 (satake) S 7633 7635 7387 0 -1 4194368 2203 0 0 0 16 31 0 0 16 0 4 0 1166094703 153649152 35131 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=7635/tid=7637] ppid=7633 vsize=150048 CPUtime=25.08
/proc/7635/task/7637/stat : 7637 (satake) R 7633 7635 7387 0 -1 4194368 22287 0 0 0 2466 42 0 0 25 0 4 0 1166094703 153649152 35131 1992294400 134512640 135180984 4294956208 18446744073709551615 134520863 0 0 4096 0 0 0 0 -1 0 0 0
[pid=7635/tid=7638] ppid=7633 vsize=150048 CPUtime=25.18
/proc/7635/task/7638/stat : 7638 (satake) R 7633 7635 7387 0 -1 4194368 21927 0 0 0 2481 37 0 0 25 0 4 0 1166094703 153649152 35131 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.77
Current children cumulated vsize (KiB) 150048

[startup+51.1025 s]
/proc/loadavg: 1.53 1.14 1.04 3/68 7639
/proc/meminfo: memFree=1410080/2055920 swapFree=4175348/4192956
[pid=7635] ppid=7633 vsize=158928 CPUtime=101.82
/proc/7635/stat : 7635 (satake) S 7633 7635 7387 0 -1 4194304 48637 0 0 0 10002 180 0 0 18 0 4 0 1166094703 162742272 37268 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/7635/statm: 39732 37268 70 163 0 39567 0
[pid=7635/tid=7636] ppid=7633 vsize=158928 CPUtime=0.86
/proc/7635/task/7636/stat : 7636 (satake) S 7633 7635 7387 0 -1 4194368 2218 0 0 0 25 61 0 0 16 0 4 0 1166094703 162742272 37268 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=7635/tid=7637] ppid=7633 vsize=158928 CPUtime=50.39
/proc/7635/task/7637/stat : 7637 (satake) R 7633 7635 7387 0 -1 4194368 23605 0 0 0 4977 62 0 0 16 0 4 0 1166094703 162742272 37268 1992294400 134512640 135180984 4294956208 18446744073709551615 134522622 0 0 4096 0 0 0 0 -1 0 0 0
[pid=7635/tid=7638] ppid=7633 vsize=158928 CPUtime=50.54
/proc/7635/task/7638/stat : 7638 (satake) R 7633 7635 7387 0 -1 4194368 22731 0 0 0 4999 55 0 0 16 0 4 0 1166094703 162742272 37268 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.82
Current children cumulated vsize (KiB) 158928

[startup+102.306 s]
/proc/loadavg: 1.79 1.27 1.09 3/68 7639
/proc/meminfo: memFree=1391008/2055920 swapFree=4175348/4192956
[pid=7635] ppid=7633 vsize=177280 CPUtime=203.98
/proc/7635/stat : 7635 (satake) S 7633 7635 7387 0 -1 4194304 53339 0 0 0 20130 268 0 0 18 0 4 0 1166094703 181534720 41970 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/7635/statm: 44320 41970 70 163 0 44155 0
[pid=7635/tid=7636] ppid=7633 vsize=177280 CPUtime=1.36
/proc/7635/task/7636/stat : 7636 (satake) S 7633 7635 7387 0 -1 4194368 2245 0 0 0 38 98 0 0 16 0 4 0 1166094703 181534720 41970 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=7635/tid=7637] ppid=7633 vsize=177280 CPUtime=101.24
/proc/7635/task/7637/stat : 7637 (satake) R 7633 7635 7387 0 -1 4194368 26670 0 0 0 10034 90 0 0 25 0 4 0 1166094703 181534720 41970 1992294400 134512640 135180984 4294956208 18446744073709551615 134518634 0 0 4096 0 0 0 0 -1 1 0 0
[pid=7635/tid=7638] ppid=7633 vsize=177280 CPUtime=101.37
/proc/7635/task/7638/stat : 7638 (satake) R 7633 7635 7387 0 -1 4194368 24341 0 0 0 10057 80 0 0 22 0 4 0 1166094703 181534720 41970 1992294400 134512640 135180984 4294956208 18446744073709551615 134520951 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 203.98
Current children cumulated vsize (KiB) 177280

[startup+162.302 s]
/proc/loadavg: 1.92 1.40 1.15 3/68 7639
/proc/meminfo: memFree=1368480/2055920 swapFree=4175348/4192956
[pid=7635] ppid=7633 vsize=199968 CPUtime=323.72
/proc/7635/stat : 7635 (satake) S 7633 7635 7387 0 -1 4194304 59054 0 0 0 32037 335 0 0 18 0 4 0 1166094703 204767232 47685 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/7635/statm: 49992 47685 70 163 0 49827 0
[pid=7635/tid=7636] ppid=7633 vsize=199968 CPUtime=1.68
/proc/7635/task/7636/stat : 7636 (satake) S 7633 7635 7387 0 -1 4194368 2294 0 0 0 46 122 0 0 16 0 4 0 1166094703 204767232 47685 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=7635/tid=7637] ppid=7633 vsize=199968 CPUtime=161.05
/proc/7635/task/7637/stat : 7637 (satake) R 7633 7635 7387 0 -1 4194368 29887 0 0 0 15992 113 0 0 25 0 4 0 1166094703 204767232 47685 1992294400 134512640 135180984 4294956208 18446744073709551615 134520909 0 0 4096 0 0 0 0 -1 1 0 0
[pid=7635/tid=7638] ppid=7633 vsize=199968 CPUtime=160.96
/proc/7635/task/7638/stat : 7638 (satake) R 7633 7635 7387 0 -1 4194368 26790 0 0 0 15998 98 0 0 25 0 4 0 1166094703 204767232 47685 1992294400 134512640 135180984 4294956208 18446744073709551615 134520855 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.72
Current children cumulated vsize (KiB) 199968

[startup+222.302 s]
/proc/loadavg: 1.97 1.51 1.20 3/68 7639
/proc/meminfo: memFree=1344672/2055920 swapFree=4175348/4192956
[pid=7635] ppid=7633 vsize=223628 CPUtime=443.44
/proc/7635/stat : 7635 (satake) S 7633 7635 7387 0 -1 4194304 64926 0 0 0 43952 392 0 0 18 0 4 0 1166094703 228995072 53557 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/7635/statm: 55907 53557 70 163 0 55742 0
[pid=7635/tid=7636] ppid=7633 vsize=223628 CPUtime=1.96
/proc/7635/task/7636/stat : 7636 (satake) S 7633 7635 7387 0 -1 4194368 2305 0 0 0 53 143 0 0 15 0 4 0 1166094703 228995072 53557 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=7635/tid=7637] ppid=7633 vsize=223628 CPUtime=220.89
/proc/7635/task/7637/stat : 7637 (satake) R 7633 7635 7387 0 -1 4194368 33070 0 0 0 21957 132 0 0 25 0 4 0 1166094703 228995072 53557 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=7635/tid=7638] ppid=7633 vsize=223628 CPUtime=220.57
/proc/7635/task/7638/stat : 7638 (satake) R 7633 7635 7387 0 -1 4194368 29468 0 0 0 21941 116 0 0 25 0 4 0 1166094703 228995072 53557 1992294400 134512640 135180984 4294956208 18446744073709551615 134524822 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 443.44
Current children cumulated vsize (KiB) 223628

[startup+282.302 s]
/proc/loadavg: 1.99 1.59 1.24 3/68 7639
/proc/meminfo: memFree=1327328/2055920 swapFree=4175348/4192956
[pid=7635] ppid=7633 vsize=240904 CPUtime=563.18
/proc/7635/stat : 7635 (satake) S 7633 7635 7387 0 -1 4194304 69303 0 0 0 55889 429 0 0 18 0 4 0 1166094703 246685696 57934 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/7635/statm: 60226 57934 70 163 0 60061 0
[pid=7635/tid=7636] ppid=7633 vsize=240904 CPUtime=2.14
/proc/7635/task/7636/stat : 7636 (satake) S 7633 7635 7387 0 -1 4194368 2312 0 0 0 58 156 0 0 16 0 4 0 1166094703 246685696 57934 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=7635/tid=7637] ppid=7633 vsize=240904 CPUtime=280.77
/proc/7635/task/7637/stat : 7637 (satake) R 7633 7635 7387 0 -1 4194368 35654 0 0 0 27932 145 0 0 25 0 4 0 1166094703 246685696 57934 1992294400 134512640 135180984 4294956208 18446744073709551615 134528211 0 0 4096 0 0 0 0 -1 1 0 0
[pid=7635/tid=7638] ppid=7633 vsize=240904 CPUtime=280.25
/proc/7635/task/7638/stat : 7638 (satake) R 7633 7635 7387 0 -1 4194368 31254 0 0 0 27898 127 0 0 25 0 4 0 1166094703 246685696 57934 1992294400 134512640 135180984 4294956208 18446744073709551615 134528211 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 563.18
Current children cumulated vsize (KiB) 240904

[startup+342.301 s]
/proc/loadavg: 1.99 1.66 1.29 3/68 7639
/proc/meminfo: memFree=1310752/2055920 swapFree=4175348/4192956
[pid=7635] ppid=7633 vsize=257816 CPUtime=682.91
/proc/7635/stat : 7635 (satake) S 7633 7635 7387 0 -1 4194304 73397 0 0 0 67832 459 0 0 18 0 4 0 1166094703 264003584 62028 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/7635/statm: 64454 62028 70 163 0 64289 0
[pid=7635/tid=7636] ppid=7633 vsize=257816 CPUtime=2.28
/proc/7635/task/7636/stat : 7636 (satake) S 7633 7635 7387 0 -1 4194368 2316 0 0 0 62 166 0 0 16 0 4 0 1166094703 264003584 62028 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=7635/tid=7637] ppid=7633 vsize=257816 CPUtime=340.68
/proc/7635/task/7637/stat : 7637 (satake) R 7633 7635 7387 0 -1 4194368 37936 0 0 0 33913 155 0 0 17 0 4 0 1166094703 264003584 62028 1992294400 134512640 135180984 4294956208 18446744073709551615 134528568 0 0 4096 0 0 0 0 -1 1 0 0
[pid=7635/tid=7638] ppid=7633 vsize=257816 CPUtime=339.93
/proc/7635/task/7638/stat : 7638 (satake) R 7633 7635 7387 0 -1 4194368 33062 0 0 0 33856 137 0 0 16 0 4 0 1166094703 264003584 62028 1992294400 134512640 135180984 4294956208 18446744073709551615 134518252 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.91
Current children cumulated vsize (KiB) 257816

[startup+402.301 s]
/proc/loadavg: 1.99 1.72 1.33 3/68 7639
/proc/meminfo: memFree=1289504/2055920 swapFree=4175348/4192956
[pid=7635] ppid=7633 vsize=279476 CPUtime=802.64
/proc/7635/stat : 7635 (satake) S 7633 7635 7387 0 -1 4194304 78723 0 0 0 79771 493 0 0 18 0 4 0 1166094703 286183424 67354 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/7635/statm: 69869 67354 70 163 0 69704 0
[pid=7635/tid=7636] ppid=7633 vsize=279476 CPUtime=2.44
/proc/7635/task/7636/stat : 7636 (satake) S 7633 7635 7387 0 -1 4194368 2322 0 0 0 67 177 0 0 16 0 4 0 1166094703 286183424 67354 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=7635/tid=7637] ppid=7633 vsize=279476 CPUtime=400.57
/proc/7635/task/7637/stat : 7637 (satake) R 7633 7635 7387 0 -1 4194368 40783 0 0 0 39890 167 0 0 25 0 4 0 1166094703 286183424 67354 1992294400 134512640 135180984 4294956208 18446744073709551615 134525183 0 0 4096 0 0 0 0 -1 1 0 0
[pid=7635/tid=7638] ppid=7633 vsize=279476 CPUtime=399.61
/proc/7635/task/7638/stat : 7638 (satake) R 7633 7635 7387 0 -1 4194368 35535 0 0 0 39813 148 0 0 21 0 4 0 1166094703 286183424 67354 1992294400 134512640 135180984 4294956208 18446744073709551615 134522961 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 802.64
Current children cumulated vsize (KiB) 279476

[startup+462.303 s]
/proc/loadavg: 1.99 1.77 1.37 3/68 7639
/proc/meminfo: memFree=1274144/2055920 swapFree=4175348/4192956
[pid=7635] ppid=7633 vsize=293808 CPUtime=922.37
/proc/7635/stat : 7635 (satake) S 7633 7635 7387 0 -1 4194304 82491 0 0 0 91720 517 0 0 18 0 4 0 1166094703 300859392 71122 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/7635/statm: 73452 71122 70 163 0 73287 0
[pid=7635/tid=7636] ppid=7633 vsize=293808 CPUtime=2.56
/proc/7635/task/7636/stat : 7636 (satake) S 7633 7635 7387 0 -1 4194368 2329 0 0 0 71 185 0 0 16 0 4 0 1166094703 300859392 71122 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=7635/tid=7637] ppid=7633 vsize=293808 CPUtime=460.49
/proc/7635/task/7637/stat : 7637 (satake) R 7633 7635 7387 0 -1 4194368 43192 0 0 0 45873 176 0 0 25 0 4 0 1166094703 300859392 71122 1992294400 134512640 135180984 4294956208 18446744073709551615 134528470 0 0 4096 0 0 0 0 -1 1 0 0
[pid=7635/tid=7638] ppid=7633 vsize=293808 CPUtime=459.31
/proc/7635/task/7638/stat : 7638 (satake) R 7633 7635 7387 0 -1 4194368 36887 0 0 0 45775 156 0 0 17 0 4 0 1166094703 300859392 71122 1992294400 134512640 135180984 4294956208 18446744073709551615 134518228 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 922.37
Current children cumulated vsize (KiB) 293808

[startup+522.302 s]
/proc/loadavg: 1.99 1.81 1.41 3/68 7639
/proc/meminfo: memFree=1259936/2055920 swapFree=4175348/4192956
[pid=7635] ppid=7633 vsize=308012 CPUtime=1042.12
/proc/7635/stat : 7635 (satake) S 7633 7635 7387 0 -1 4194304 86065 0 0 0 103670 542 0 0 18 0 4 0 1166094703 315404288 74696 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/7635/statm: 77003 74696 70 163 0 76838 0
[pid=7635/tid=7636] ppid=7633 vsize=308012 CPUtime=2.67
/proc/7635/task/7636/stat : 7636 (satake) S 7633 7635 7387 0 -1 4194368 2340 0 0 0 74 193 0 0 16 0 4 0 1166094703 315404288 74696 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=7635/tid=7637] ppid=7633 vsize=308012 CPUtime=520.41
/proc/7635/task/7637/stat : 7637 (satake) R 7633 7635 7387 0 -1 4194368 45235 0 0 0 51858 183 0 0 25 0 4 0 1166094703 315404288 74696 1992294400 134512640 135180984 4294956208 18446744073709551615 134518246 0 0 4096 0 0 0 0 -1 1 0 0
[pid=7635/tid=7638] ppid=7633 vsize=308012 CPUtime=519.01
/proc/7635/task/7638/stat : 7638 (satake) R 7633 7635 7387 0 -1 4194368 38407 0 0 0 51737 164 0 0 25 0 4 0 1166094703 315404288 74696 1992294400 134512640 135180984 4294956208 18446744073709551615 134532624 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1042.12
Current children cumulated vsize (KiB) 308012

[startup+582.302 s]
/proc/loadavg: 2.05 1.86 1.45 3/68 7639
/proc/meminfo: memFree=1248096/2055920 swapFree=4175348/4192956
[pid=7635] ppid=7633 vsize=320496 CPUtime=1161.84
/proc/7635/stat : 7635 (satake) S 7633 7635 7387 0 -1 4194304 89006 0 0 0 115612 572 0 0 18 0 4 0 1166094703 328187904 77637 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/7635/statm: 80124 77637 70 163 0 79959 0
[pid=7635/tid=7636] ppid=7633 vsize=320496 CPUtime=2.84
/proc/7635/task/7636/stat : 7636 (satake) S 7633 7635 7387 0 -1 4194368 2374 0 0 0 79 205 0 0 16 0 4 0 1166094703 328187904 77637 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=7635/tid=7637] ppid=7633 vsize=320496 CPUtime=580.31
/proc/7635/task/7637/stat : 7637 (satake) R 7633 7635 7387 0 -1 4194368 47102 0 0 0 57839 192 0 0 21 0 4 0 1166094703 328187904 77637 1992294400 134512640 135180984 4294956208 18446744073709551615 134528680 0 0 4096 0 0 0 0 -1 1 0 0
[pid=7635/tid=7638] ppid=7633 vsize=320496 CPUtime=578.68
/proc/7635/task/7638/stat : 7638 (satake) R 7633 7635 7387 0 -1 4194368 39447 0 0 0 57694 174 0 0 25 0 4 0 1166094703 328187904 77637 1992294400 134512640 135180984 4294956208 18446744073709551615 134525228 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1161.84
Current children cumulated vsize (KiB) 320496



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+601.501 s]
/proc/loadavg: 2.04 1.86 1.46 3/68 7639
/proc/meminfo: memFree=1243872/2055920 swapFree=4175348/4192956
[pid=7635] ppid=7633 vsize=324028 CPUtime=1200.17
/proc/7635/stat : 7635 (satake) S 7633 7635 7387 0 -1 4194304 90010 0 0 0 119437 580 0 0 18 0 4 0 1166094703 331804672 78641 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/7635/statm: 81007 78641 70 163 0 80842 0
[pid=7635/tid=7636] ppid=7633 vsize=324028 CPUtime=2.88
/proc/7635/task/7636/stat : 7636 (satake) S 7633 7635 7387 0 -1 4194368 2382 0 0 0 80 208 0 0 16 0 4 0 1166094703 331804672 78641 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=7635/tid=7637] ppid=7633 vsize=324028 CPUtime=599.48
/proc/7635/task/7637/stat : 7637 (satake) R 7633 7635 7387 0 -1 4194368 47666 0 0 0 59753 195 0 0 25 0 4 0 1166094703 331804672 78641 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=7635/tid=7638] ppid=7633 vsize=324028 CPUtime=597.79
/proc/7635/task/7638/stat : 7638 (satake) R 7633 7635 7387 0 -1 4194368 39879 0 0 0 59603 176 0 0 25 0 4 0 1166094703 331804672 78641 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.17
Current children cumulated vsize (KiB) 324028

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

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

[startup+601.501 s]
/proc/loadavg: 2.04 1.86 1.46 3/68 7639
/proc/meminfo: memFree=1243872/2055920 swapFree=4175348/4192956
[pid=7635] ppid=7633 vsize=324028 CPUtime=1200.17
/proc/7635/stat : 7635 (satake) S 7633 7635 7387 0 -1 4194304 90010 0 0 0 119437 580 0 0 18 0 4 0 1166094703 331804672 78641 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/7635/statm: 81007 78641 70 163 0 80842 0
[pid=7635/tid=7636] ppid=7633 vsize=324028 CPUtime=2.88
/proc/7635/task/7636/stat : 7636 (satake) S 7633 7635 7387 0 -1 4194368 2382 0 0 0 80 208 0 0 16 0 4 0 1166094703 331804672 78641 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=7635/tid=7637] ppid=7633 vsize=324028 CPUtime=599.48
/proc/7635/task/7637/stat : 7637 (satake) R 7633 7635 7387 0 -1 4194368 47666 0 0 0 59753 195 0 0 25 0 4 0 1166094703 331804672 78641 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=7635/tid=7638] ppid=7633 vsize=324028 CPUtime=597.79
/proc/7635/task/7638/stat : 7638 (satake) R 7633 7635 7387 0 -1 4194368 39879 0 0 0 59603 176 0 0 25 0 4 0 1166094703 331804672 78641 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.17
Current children cumulated vsize (KiB) 324028

Child ended because it received signal 15 (SIGTERM)
Real time (s): 601.563
CPU time (s): 1200.24
CPU user time (s): 1194.39
CPU system time (s): 5.85711
CPU usage (%): 199.521
Max. virtual memory (cumulated for all children) (KiB): 324028

deleting IPC queue 3506176
deleting IPC queue 3538945
deleting IPC queue 3571714
deleting IPC queue 3604483
deleting IPC queue 3637252
deleting IPC queue 3670021
deleting IPC queue 3702790
deleting IPC queue 3735559
deleting IPC queue 3768328

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1194.39
system time used= 5.85711
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 90010
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= 410838
involuntary context switches= 414377

runsolver used 0.576912 second user time and 1.62575 second system time

The end

Launcher Data 

Begin job on node55 at 2009-04-05 14:25:28
IDJOB=1581924
IDBENCH=71045
IDSOLVER=553
FILE ID=node55/1581924-1238934326
PBS_JOBID= 9101472
Free space on /tmp= 66540 MiB

SOLVER NAME= satake 2009-03-22
BENCH NAME= SAT09/APPLICATIONS/diagnosis/UCG-20-5p1.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1581924-1238934326/watcher-1581924-1238934326 -o /tmp/evaluation-result-1581924-1238934326/solver-1581924-1238934326 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1581924-1238934326.cnf 3 1200

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

MD5SUM BENCH= 93858500e23e9a4bf0619d7bf7dc00f3
RANDOM SEED=304633688

node55.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:       1559328 kB
Buffers:         41300 kB
Cached:         369128 kB
SwapCached:      11580 kB
Active:         213888 kB
Inactive:       209748 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1559328 kB
SwapTotal:     4192956 kB
SwapFree:      4175348 kB
Dirty:           23444 kB
Writeback:           0 kB
Mapped:          18944 kB
Slab:            59024 kB
Committed_AS:  3159476 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= 66540 MiB
End job on node55 at 2009-04-05 14:35:32