Trace number 1775590

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 (4 threads)? (TO) 1993.64 1000.09

General information on the benchmark

Nameindustrial/anbulagan/
medium-sat/partial-5-13-s.cnf
MD5SUM8440e7259e120363fc65b24385da09e8
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark30.38
Satisfiable
(Un)Satisfiability was proved
Number of variables184675
Number of clauses842981
Sum of the clauses size1930752
Maximum clause length10
Minimum clause length1
Number of clauses of size 113965
Number of clauses of size 2674001
Number of clauses of size 3120435
Number of clauses of size 43840
Number of clauses of size 515360
Number of clauses of size over 515380

Solver Data


Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w /tmp/evaluation-result-1775590-1243631241/watcher-1775590-1243631241 -o /tmp/evaluation-result-1775590-1243631241/solver-1775590-1243631241 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1775590-1243631241.cnf 4 10000 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 2096128 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 2147328 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: 8192 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.00 1.92 6/105 3708
/proc/meminfo: memFree=2591432/3368532 swapFree=1954076/1959888
[pid=3707] ppid=3705 vsize=964 CPUtime=0
/proc/3707/stat : 3707 (satake) R 3705 3707 3671 0 -1 4202496 107 0 0 0 0 0 0 0 19 0 2 0 1117225431 987136 64 4294967295 134512640 135180984 3220374144 3220373488 134705812 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/3707/statm: 241 64 54 164 0 76 0
[pid=3707/tid=3708] ppid=3705 vsize=964 CPUtime=0
/proc/3707/task/3708/stat : 3708 (satake) R 3705 3707 3671 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 2 0 1117225431 987136 64 4294967295 134512640 135180984 3220374144 3086779204 134705812 0 0 0 0 0 0 0 -1 2 0 0 0

[startup+0.074981 s]
/proc/loadavg: 2.00 2.00 1.92 6/105 3708
/proc/meminfo: memFree=2591432/3368532 swapFree=1954076/1959888
[pid=3707] ppid=3705 vsize=55616 CPUtime=0.11
/proc/3707/stat : 3707 (satake) S 3705 3707 3671 0 -1 4202496 13025 0 0 0 2 9 0 0 19 0 5 0 1117225431 56950784 12967 4294967295 134512640 135180984 3220374144 3220373580 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/3707/statm: 13904 12967 63 164 0 13739 0
[pid=3707/tid=3708] ppid=3705 vsize=55616 CPUtime=0
/proc/3707/task/3708/stat : 3708 (satake) S 3705 3707 3671 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 5 0 1117225431 56950784 12967 4294967295 134512640 135180984 3220374144 3086778384 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 55616

[startup+0.104982 s]
/proc/loadavg: 2.00 2.00 1.92 6/105 3708
/proc/meminfo: memFree=2591432/3368532 swapFree=1954076/1959888
[pid=3707] ppid=3705 vsize=59408 CPUtime=0.15
/proc/3707/stat : 3707 (satake) S 3705 3707 3671 0 -1 4202496 13877 0 0 0 5 10 0 0 19 0 5 0 1117225431 60833792 13812 4294967295 134512640 135180984 3220374144 3220373580 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/3707/statm: 14852 13812 63 164 0 14687 0
[pid=3707/tid=3708] ppid=3705 vsize=59408 CPUtime=0
/proc/3707/task/3708/stat : 3708 (satake) S 3705 3707 3671 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 5 0 1117225431 60833792 13812 4294967295 134512640 135180984 3220374144 3086778384 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 59408

[startup+0.304966 s]
/proc/loadavg: 2.00 2.00 1.92 6/105 3708
/proc/meminfo: memFree=2591432/3368532 swapFree=1954076/1959888
[pid=3707] ppid=3705 vsize=100876 CPUtime=0.48
/proc/3707/stat : 3707 (satake) S 3705 3707 3671 0 -1 4202496 23107 0 0 0 35 13 0 0 19 0 5 0 1117225431 103297024 23042 4294967295 134512640 135180984 3220374144 3220373580 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/3707/statm: 25219 23042 63 164 0 25054 0
[pid=3707/tid=3708] ppid=3705 vsize=100876 CPUtime=0
/proc/3707/task/3708/stat : 3708 (satake) S 3705 3707 3671 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 5 0 1117225431 103297024 23042 4294967295 134512640 135180984 3220374144 3086778384 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 100876

[startup+0.704937 s]
/proc/loadavg: 2.00 2.00 1.92 6/105 3708
/proc/meminfo: memFree=2591432/3368532 swapFree=1954076/1959888
[pid=3707] ppid=3705 vsize=161052 CPUtime=1.17
/proc/3707/stat : 3707 (satake) S 3705 3707 3671 0 -1 4202496 33048 0 0 0 99 18 0 0 19 0 5 0 1117225431 164917248 32983 4294967295 134512640 135180984 3220374144 3220373580 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/3707/statm: 40263 32983 63 164 0 40098 0
[pid=3707/tid=3708] ppid=3705 vsize=161052 CPUtime=0
/proc/3707/task/3708/stat : 3708 (satake) S 3705 3707 3671 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 5 0 1117225431 164917248 32983 4294967295 134512640 135180984 3220374144 3086778384 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 161052

[startup+1.50488 s]
/proc/loadavg: 2.00 2.00 1.92 6/109 3712
/proc/meminfo: memFree=2441064/3368532 swapFree=1954076/1959888
[pid=3707] ppid=3705 vsize=192072 CPUtime=2.65
/proc/3707/stat : 3707 (satake) S 3705 3707 3671 0 -1 4202496 44992 0 0 0 237 28 0 0 19 0 5 0 1117225431 196681728 41216 4294967295 134512640 135180984 3220374144 3220373580 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/3707/statm: 48018 41217 66 164 0 47853 0
[pid=3707/tid=3708] ppid=3705 vsize=192072 CPUtime=0.06
/proc/3707/task/3708/stat : 3708 (satake) S 3705 3707 3671 0 -1 4202560 3068 0 0 0 6 0 0 0 18 0 5 0 1117225431 196681728 41217 4294967295 134512640 135180984 3220374144 3086778384 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=3707/tid=3710] ppid=3705 vsize=192072 CPUtime=1.17
/proc/3707/task/3710/stat : 3710 (satake) R 3705 3707 3671 0 -1 4202560 15341 0 0 0 107 10 0 0 16 0 5 0 1117225431 196681728 41217 4294967295 134512640 135180984 3220374144 3086712624 134523728 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=3707/tid=3711] ppid=3705 vsize=192072 CPUtime=0.87
/proc/3707/task/3711/stat : 3711 (satake) R 3705 3707 3671 0 -1 4202560 14255 0 0 0 77 10 0 0 18 0 5 0 1117225431 196681728 41217 4294967295 134512640 135180984 3220374144 3086647268 134675767 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=3707/tid=3712] ppid=3705 vsize=192072 CPUtime=0.55
/proc/3707/task/3712/stat : 3712 (satake) R 3705 3707 3671 0 -1 4202560 12219 0 0 0 47 8 0 0 20 0 5 0 1117225431 196681728 41217 4294967295 134512640 135180984 3220374144 3086581984 134519935 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.65
Current children cumulated vsize (KiB) 192072

[startup+3.10477 s]
/proc/loadavg: 2.24 2.05 1.94 6/109 3712
/proc/meminfo: memFree=2434492/3368532 swapFree=1954076/1959888
[pid=3707] ppid=3705 vsize=186420 CPUtime=5.81
/proc/3707/stat : 3707 (satake) S 3705 3707 3671 0 -1 4202496 47568 0 0 0 550 31 0 0 19 0 5 0 1117225431 190894080 40081 4294967295 134512640 135180984 3220374144 3220373580 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/3707/statm: 46605 40081 68 164 0 46440 0
[pid=3707/tid=3708] ppid=3705 vsize=186420 CPUtime=0.07
/proc/3707/task/3708/stat : 3708 (satake) R 3705 3707 3671 0 -1 4202560 3070 0 0 0 6 1 0 0 16 0 5 0 1117225431 190894080 40081 4294967295 134512640 135180984 3220374144 3086778396 134706407 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=3707/tid=3710] ppid=3705 vsize=186420 CPUtime=2.67
/proc/3707/task/3710/stat : 3710 (satake) S 3705 3707 3671 0 -1 4202560 15391 0 0 0 257 10 0 0 16 0 5 0 1117225431 190894080 40081 4294967295 134512640 135180984 3220374144 3086712480 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=3707/tid=3711] ppid=3705 vsize=186420 CPUtime=2.15
/proc/3707/task/3711/stat : 3711 (satake) R 3705 3707 3671 0 -1 4202560 14865 0 0 0 204 11 0 0 16 0 5 0 1117225431 190894080 40081 4294967295 134512640 135180984 3220374144 3086646892 134666377 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=3707/tid=3712] ppid=3705 vsize=186420 CPUtime=0.92
/proc/3707/task/3712/stat : 3712 (satake) S 3705 3707 3671 0 -1 4202560 14132 0 0 0 83 9 0 0 21 0 5 0 1117225431 190894080 40081 4294967295 134512640 135180984 3220374144 3086581976 134579486 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.81
Current children cumulated vsize (KiB) 186420

[startup+6.30456 s]
/proc/loadavg: 2.24 2.05 1.94 8/110 3867
/proc/meminfo: memFree=2443828/3368532 swapFree=1954076/1959888
[pid=3707] ppid=3705 vsize=172596 CPUtime=11.99
/proc/3707/stat : 3707 (satake) S 3705 3707 3671 0 -1 4202496 47721 0 0 0 1161 38 0 0 19 0 5 0 1117225431 176738304 36523 4294967295 134512640 135180984 3220374144 3220373580 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/3707/statm: 43149 36523 68 164 0 42984 0
[pid=3707/tid=3708] ppid=3705 vsize=172596 CPUtime=0.08
/proc/3707/task/3708/stat : 3708 (satake) S 3705 3707 3671 0 -1 4202560 3070 0 0 0 7 1 0 0 16 0 5 0 1117225431 176738304 36523 4294967295 134512640 135180984 3220374144 3086778384 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=3707/tid=3710] ppid=3705 vsize=172596 CPUtime=5.52
/proc/3707/task/3710/stat : 3710 (satake) R 3705 3707 3671 0 -1 4202560 15406 0 0 0 539 13 0 0 18 0 5 0 1117225431 176738304 36523 4294967295 134512640 135180984 3220374144 3086712656 134520015 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=3707/tid=3711] ppid=3705 vsize=172596 CPUtime=5.07
/proc/3707/task/3711/stat : 3711 (satake) R 3705 3707 3671 0 -1 4202560 14884 0 0 0 493 14 0 0 17 0 5 0 1117225431 176738304 36523 4294967295 134512640 135180984 3220374144 3086647056 134524655 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=3707/tid=3712] ppid=3705 vsize=172596 CPUtime=1.32
/proc/3707/task/3712/stat : 3712 (satake) R 3705 3707 3671 0 -1 4202560 14251 0 0 0 122 10 0 0 18 0 5 0 1117225431 176738304 36523 4294967295 134512640 135180984 3220374144 3086581516 134522603 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 11.99
Current children cumulated vsize (KiB) 172596

[startup+12.7041 s]
/proc/loadavg: 2.81 2.18 1.98 6/109 3897
/proc/meminfo: memFree=2442772/3368532 swapFree=1954076/1959888
[pid=3707] ppid=3705 vsize=174544 CPUtime=25.16
/proc/3707/stat : 3707 (satake) S 3705 3707 3671 0 -1 4202496 48224 0 0 0 2462 54 0 0 19 0 5 0 1117225431 178733056 37026 4294967295 134512640 135180984 3220374144 3220373580 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/3707/statm: 43636 37026 68 164 0 43471 0
[pid=3707/tid=3708] ppid=3705 vsize=174544 CPUtime=0.25
/proc/3707/task/3708/stat : 3708 (satake) S 3705 3707 3671 0 -1 4202560 3072 0 0 0 14 11 0 0 15 0 5 0 1117225431 178733056 37026 4294967295 134512640 135180984 3220374144 3086778384 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=3707/tid=3710] ppid=3705 vsize=174544 CPUtime=9.19
/proc/3707/task/3710/stat : 3710 (satake) R 3705 3707 3671 0 -1 4202560 15582 0 0 0 904 15 0 0 25 0 5 0 1117225431 178733056 37026 4294967295 134512640 135180984 3220374144 3086712688 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=3707/tid=3711] ppid=3705 vsize=174544 CPUtime=10.03
/proc/3707/task/3711/stat : 3711 (satake) R 3705 3707 3671 0 -1 4202560 15054 0 0 0 988 15 0 0 25 0 5 0 1117225431 178733056 37026 4294967295 134512640 135180984 3220374144 3086647048 134519077 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=3707/tid=3712] ppid=3705 vsize=174544 CPUtime=5.7
/proc/3707/task/3712/stat : 3712 (satake) R 3705 3707 3671 0 -1 4202560 14406 0 0 0 557 13 0 0 25 0 5 0 1117225431 178733056 37026 4294967295 134512640 135180984 3220374144 3086581552 134523699 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.16
Current children cumulated vsize (KiB) 174544

[startup+25.5033 s]
/proc/loadavg: 3.15 2.27 2.01 6/109 3898
/proc/meminfo: memFree=2435308/3368532 swapFree=1954076/1959888
[pid=3707] ppid=3705 vsize=180896 CPUtime=50.51
/proc/3707/stat : 3707 (satake) S 3705 3707 3671 0 -1 4202496 50018 0 0 0 4994 57 0 0 19 0 5 0 1117225431 185237504 38820 4294967295 134512640 135180984 3220374144 3220373580 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/3707/statm: 45224 38820 68 164 0 45059 0
[pid=3707/tid=3708] ppid=3705 vsize=180896 CPUtime=0.29
/proc/3707/task/3708/stat : 3708 (satake) S 3705 3707 3671 0 -1 4202560 3082 0 0 0 16 13 0 0 15 0 5 0 1117225431 185237504 38820 4294967295 134512640 135180984 3220374144 3086778384 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=3707/tid=3710] ppid=3705 vsize=180896 CPUtime=17.11
/proc/3707/task/3710/stat : 3710 (satake) R 3705 3707 3671 0 -1 4202560 16226 0 0 0 1696 15 0 0 25 0 5 0 1117225431 185237504 38820 4294967295 134512640 135180984 3220374144 3086712588 134520901 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=3707/tid=3711] ppid=3705 vsize=180896 CPUtime=18.01
/proc/3707/task/3711/stat : 3711 (satake) R 3705 3707 3671 0 -1 4202560 15672 0 0 0 1786 15 0 0 25 0 5 0 1117225431 185237504 38820 4294967295 134512640 135180984 3220374144 3086647056 134525183 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=3707/tid=3712] ppid=3705 vsize=180896 CPUtime=15.11
/proc/3707/task/3712/stat : 3712 (satake) R 3705 3707 3671 0 -1 4202560 14928 0 0 0 1497 14 0 0 25 0 5 0 1117225431 185237504 38820 4294967295 134512640 135180984 3220374144 3086581616 134528614 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.51
Current children cumulated vsize (KiB) 180896

[startup+51.1115 s]
/proc/loadavg: 3.85 2.51 2.09 6/109 3904
/proc/meminfo: memFree=2414372/3368532 swapFree=1954076/1959888
[pid=3707] ppid=3705 vsize=201772 CPUtime=101.17
/proc/3707/stat : 3707 (satake) S 3705 3707 3671 0 -1 4202496 55075 0 0 0 10050 67 0 0 19 0 5 0 1117225431 206614528 43877 4294967295 134512640 135180984 3220374144 3220373580 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/3707/statm: 50443 43877 68 164 0 50278 0
[pid=3707/tid=3708] ppid=3705 vsize=201772 CPUtime=0.35
/proc/3707/task/3708/stat : 3708 (satake) S 3705 3707 3671 0 -1 4202560 3086 0 0 0 18 17 0 0 15 0 5 0 1117225431 206614528 43877 4294967295 134512640 135180984 3220374144 3086778384 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=3707/tid=3710] ppid=3705 vsize=201772 CPUtime=34.51
/proc/3707/task/3710/stat : 3710 (satake) R 3705 3707 3671 0 -1 4202560 18156 0 0 0 3436 15 0 0 25 0 5 0 1117225431 206614528 43877 4294967295 134512640 135180984 3220374144 3086712592 134525174 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=3707/tid=3711] ppid=3705 vsize=201772 CPUtime=33.74
/proc/3707/task/3711/stat : 3711 (satake) R 3705 3707 3671 0 -1 4202560 17530 0 0 0 3356 18 0 0 25 0 5 0 1117225431 206614528 43877 4294967295 134512640 135180984 3220374144 3086646956 134706407 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=3707/tid=3712] ppid=3705 vsize=201772 CPUtime=32.58
/proc/3707/task/3712/stat : 3712 (satake) R 3705 3707 3671 0 -1 4202560 16193 0 0 0 3241 17 0 0 25 0 5 0 1117225431 206614528 43877 4294967295 134512640 135180984 3220374144 3086581608 134520863 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.17
Current children cumulated vsize (KiB) 201772

[startup+102.318 s]
/proc/loadavg: 4.77 3.00 2.29 6/109 4091
/proc/meminfo: memFree=2371832/3368532 swapFree=1954076/1959888
[pid=3707] ppid=3705 vsize=242212 CPUtime=203.01
/proc/3707/stat : 3707 (satake) S 3705 3707 3671 0 -1 4202496 65408 0 0 0 20206 95 0 0 19 0 5 0 1117225431 248025088 54210 4294967295 134512640 135180984 3220374144 3220373580 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/3707/statm: 60553 54210 68 164 0 60388 0
[pid=3707/tid=3708] ppid=3705 vsize=242212 CPUtime=0.47
/proc/3707/task/3708/stat : 3708 (satake) S 3705 3707 3671 0 -1 4202560 3108 0 0 0 23 24 0 0 15 0 5 0 1117225431 248025088 54210 4294967295 134512640 135180984 3220374144 3086778384 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=3707/tid=3710] ppid=3705 vsize=242212 CPUtime=69.35
/proc/3707/task/3710/stat : 3710 (satake) R 3705 3707 3671 0 -1 4202560 22290 0 0 0 6909 26 0 0 25 0 5 0 1117225431 248025088 54210 4294967295 134512640 135180984 3220374144 3086712588 134519082 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=3707/tid=3711] ppid=3705 vsize=242212 CPUtime=62.58
/proc/3707/task/3711/stat : 3711 (satake) R 3705 3707 3671 0 -1 4202560 19943 0 0 0 6234 24 0 0 25 0 5 0 1117225431 248025088 54210 4294967295 134512640 135180984 3220374144 3086647144 134518255 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=3707/tid=3712] ppid=3705 vsize=242212 CPUtime=70.61
/proc/3707/task/3712/stat : 3712 (satake) R 3705 3707 3671 0 -1 4202560 19957 0 0 0 7040 21 0 0 25 0 5 0 1117225431 248025088 54210 4294967295 134512640 135180984 3220374144 3086581408 134580407 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 203.01
Current children cumulated vsize (KiB) 242212

[startup+162.304 s]
/proc/loadavg: 5.01 3.36 2.45 6/109 4279
/proc/meminfo: memFree=2331048/3368532 swapFree=1954076/1959888
[pid=3707] ppid=3705 vsize=283460 CPUtime=321.85
/proc/3707/stat : 3707 (satake) S 3705 3707 3671 0 -1 4202496 75630 0 0 0 32064 121 0 0 19 0 5 0 1117225431 290263040 64432 4294967295 134512640 135180984 3220374144 3220373580 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/3707/statm: 70865 64432 68 164 0 70700 0
[pid=3707/tid=3708] ppid=3705 vsize=283460 CPUtime=0.59
/proc/3707/task/3708/stat : 3708 (satake) S 3705 3707 3671 0 -1 4202560 3127 0 0 0 27 32 0 0 16 0 5 0 1117225431 290263040 64432 4294967295 134512640 135180984 3220374144 3086778384 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=3707/tid=3710] ppid=3705 vsize=283460 CPUtime=105.95
/proc/3707/task/3710/stat : 3710 (satake) R 3705 3707 3671 0 -1 4202560 26110 0 0 0 10562 33 0 0 25 0 5 0 1117225431 290263040 64432 4294967295 134512640 135180984 3220374144 3086712592 134525458 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=3707/tid=3711] ppid=3705 vsize=283460 CPUtime=103.08
/proc/3707/task/3711/stat : 3711 (satake) R 3705 3707 3671 0 -1 4202560 23093 0 0 0 10277 31 0 0 25 0 5 0 1117225431 290263040 64432 4294967295 134512640 135180984 3220374144 3086647148 134518257 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=3707/tid=3712] ppid=3705 vsize=283460 CPUtime=112.23
/proc/3707/task/3712/stat : 3712 (satake) R 3705 3707 3671 0 -1 4202560 23190 0 0 0 11198 25 0 0 25 0 5 0 1117225431 290263040 64432 4294967295 134512640 135180984 3220374144 3086581516 134520901 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 321.85

################
# More data... #
################

[pid=3707/tid=3710] ppid=3705 vsize=547808 CPUtime=325.39
/proc/3707/task/3710/stat : 3710 (satake) R 3705 3707 3671 0 -1 4202560 49517 0 0 0 32483 56 0 0 25 0 5 0 1117225431 560955392 130238 4294967295 134512640 135180984 3220374144 3086712560 134522714 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=3707/tid=3711] ppid=3705 vsize=547808 CPUtime=345.93
/proc/3707/task/3711/stat : 3711 (satake) R 3705 3707 3671 0 -1 4202560 44784 0 0 0 34532 61 0 0 25 0 5 0 1117225431 560955392 130238 4294967295 134512640 135180984 3220374144 3086647040 134522972 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=3707/tid=3712] ppid=3705 vsize=547808 CPUtime=367.96
/proc/3707/task/3712/stat : 3712 (satake) R 3705 3707 3671 0 -1 4202560 43866 0 0 0 36738 58 0 0 25 0 5 0 1117225431 560955392 130238 4294967295 134512640 135180984 3220374144 3086581552 134523677 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1040
Current children cumulated vsize (KiB) 547808

[startup+582.305 s]
/proc/loadavg: 5.28 4.87 3.51 6/109 5602
/proc/meminfo: memFree=2005480/3368532 swapFree=1954076/1959888
[pid=3707] ppid=3705 vsize=601244 CPUtime=1159.58
/proc/3707/stat : 3707 (satake) S 3705 3707 3671 0 -1 4202496 155028 0 0 0 115725 233 0 0 19 0 5 0 1117225431 615673856 143830 4294967295 134512640 135180984 3220374144 3220373580 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/3707/statm: 150311 143830 68 164 0 150146 0
[pid=3707/tid=3708] ppid=3705 vsize=601244 CPUtime=0.72
/proc/3707/task/3708/stat : 3708 (satake) S 3705 3707 3671 0 -1 4202560 3166 0 0 0 31 41 0 0 15 0 5 0 1117225431 615673856 143830 4294967295 134512640 135180984 3220374144 3086778384 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=3707/tid=3710] ppid=3705 vsize=601244 CPUtime=366.82
/proc/3707/task/3710/stat : 3710 (satake) R 3705 3707 3671 0 -1 4202560 53599 0 0 0 36620 62 0 0 25 0 5 0 1117225431 615673856 143830 4294967295 134512640 135180984 3220374144 3086712592 134525220 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=3707/tid=3711] ppid=3705 vsize=601244 CPUtime=390.93
/proc/3707/task/3711/stat : 3711 (satake) R 3705 3707 3671 0 -1 4202560 49277 0 0 0 39024 69 0 0 25 0 5 0 1117225431 615673856 143830 4294967295 134512640 135180984 3220374144 3086647056 134525180 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=3707/tid=3712] ppid=3705 vsize=601244 CPUtime=401.11
/proc/3707/task/3712/stat : 3712 (satake) R 3705 3707 3671 0 -1 4202560 48876 0 0 0 40050 61 0 0 25 0 5 0 1117225431 615673856 143830 4294967295 134512640 135180984 3220374144 3086581584 134522694 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1159.58
Current children cumulated vsize (KiB) 601244

[startup+642.311 s]
/proc/loadavg: 5.24 4.93 3.61 6/109 5790
/proc/meminfo: memFree=1957968/3368532 swapFree=1954076/1959888
[pid=3707] ppid=3705 vsize=649392 CPUtime=1279.12
/proc/3707/stat : 3707 (satake) S 3705 3707 3671 0 -1 4202496 166839 0 0 0 127667 245 0 0 19 0 5 0 1117225431 664977408 155641 4294967295 134512640 135180984 3220374144 3220373580 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/3707/statm: 162348 155641 68 164 0 162183 0
[pid=3707/tid=3708] ppid=3705 vsize=649392 CPUtime=0.76
/proc/3707/task/3708/stat : 3708 (satake) S 3705 3707 3671 0 -1 4202560 3168 0 0 0 35 41 0 0 15 0 5 0 1117225431 664977408 155641 4294967295 134512640 135180984 3220374144 3086778384 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=3707/tid=3710] ppid=3705 vsize=649392 CPUtime=408.85
/proc/3707/task/3710/stat : 3710 (satake) R 3705 3707 3671 0 -1 4202560 56716 0 0 0 40822 63 0 0 25 0 5 0 1117225431 664977408 155641 4294967295 134512640 135180984 3220374144 3086712592 134525228 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=3707/tid=3711] ppid=3705 vsize=649392 CPUtime=425.87
/proc/3707/task/3711/stat : 3711 (satake) R 3705 3707 3671 0 -1 4202560 54024 0 0 0 42509 78 0 0 25 0 5 0 1117225431 664977408 155641 4294967295 134512640 135180984 3220374144 3086647056 134525183 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=3707/tid=3712] ppid=3705 vsize=649392 CPUtime=443.64
/proc/3707/task/3712/stat : 3712 (satake) R 3705 3707 3671 0 -1 4202560 52821 0 0 0 44301 63 0 0 25 0 5 0 1117225431 664977408 155641 4294967295 134512640 135180984 3220374144 3086581520 134524797 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1279.12
Current children cumulated vsize (KiB) 649392

[startup+702.307 s]
/proc/loadavg: 5.50 5.05 3.73 6/109 5978
/proc/meminfo: memFree=1919760/3368532 swapFree=1954076/1959888
[pid=3707] ppid=3705 vsize=685656 CPUtime=1399
/proc/3707/stat : 3707 (satake) S 3705 3707 3671 0 -1 4202496 176007 0 0 0 139645 255 0 0 19 0 5 0 1117225431 702111744 164809 4294967295 134512640 135180984 3220374144 3220373580 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/3707/statm: 171414 164809 68 164 0 171249 0
[pid=3707/tid=3708] ppid=3705 vsize=685656 CPUtime=0.77
/proc/3707/task/3708/stat : 3708 (satake) S 3705 3707 3671 0 -1 4202560 3170 0 0 0 36 41 0 0 16 0 5 0 1117225431 702111744 164809 4294967295 134512640 135180984 3220374144 3086778384 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=3707/tid=3710] ppid=3705 vsize=685656 CPUtime=446.85
/proc/3707/task/3710/stat : 3710 (satake) R 3705 3707 3671 0 -1 4202560 59632 0 0 0 44616 69 0 0 25 0 5 0 1117225431 702111744 164809 4294967295 134512640 135180984 3220374144 3086712592 134525468 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=3707/tid=3711] ppid=3705 vsize=685656 CPUtime=452.93
/proc/3707/task/3711/stat : 3711 (satake) R 3705 3707 3671 0 -1 4202560 56793 0 0 0 45212 81 0 0 25 0 5 0 1117225431 702111744 164809 4294967295 134512640 135180984 3220374144 3086646956 134706407 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=3707/tid=3712] ppid=3705 vsize=685656 CPUtime=498.45
/proc/3707/task/3712/stat : 3712 (satake) R 3705 3707 3671 0 -1 4202560 56302 0 0 0 49781 64 0 0 25 0 5 0 1117225431 702111744 164809 4294967295 134512640 135180984 3220374144 3086581520 134525399 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1399
Current children cumulated vsize (KiB) 685656

[startup+762.313 s]
/proc/loadavg: 5.55 5.13 3.84 8/110 6150
/proc/meminfo: memFree=1881480/3368532 swapFree=1954076/1959888
[pid=3707] ppid=3705 vsize=722864 CPUtime=1518.85
/proc/3707/stat : 3707 (satake) S 3705 3707 3671 0 -1 4202496 185302 0 0 0 151616 269 0 0 19 0 5 0 1117225431 740212736 174104 4294967295 134512640 135180984 3220374144 3220373580 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/3707/statm: 180716 174104 68 164 0 180551 0
[pid=3707/tid=3708] ppid=3705 vsize=722864 CPUtime=0.77
/proc/3707/task/3708/stat : 3708 (satake) S 3705 3707 3671 0 -1 4202560 3170 0 0 0 36 41 0 0 15 0 5 0 1117225431 740212736 174104 4294967295 134512640 135180984 3220374144 3086778384 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=3707/tid=3710] ppid=3705 vsize=722864 CPUtime=493.53
/proc/3707/task/3710/stat : 3710 (satake) R 3705 3707 3671 0 -1 4202560 63108 0 0 0 49280 73 0 0 25 0 5 0 1117225431 740212736 174104 4294967295 134512640 135180984 3220374144 3086712680 134518214 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=3707/tid=3711] ppid=3705 vsize=722864 CPUtime=483.44
/proc/3707/task/3711/stat : 3711 (satake) R 3705 3707 3671 0 -1 4202560 59741 0 0 0 48259 85 0 0 25 0 5 0 1117225431 740212736 174104 4294967295 134512640 135180984 3220374144 3086647056 134525174 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=3707/tid=3712] ppid=3705 vsize=722864 CPUtime=541.11
/proc/3707/task/3712/stat : 3712 (satake) R 3705 3707 3671 0 -1 4202560 59173 0 0 0 54041 70 0 0 25 0 5 0 1117225431 740212736 174104 4294967295 134512640 135180984 3220374144 3086581520 134525126 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1518.85
Current children cumulated vsize (KiB) 722864

[startup+822.319 s]
/proc/loadavg: 5.56 5.19 3.93 7/110 6338
/proc/meminfo: memFree=1844740/3368532 swapFree=1954076/1959888
[pid=3707] ppid=3705 vsize=758552 CPUtime=1638.74
/proc/3707/stat : 3707 (satake) S 3705 3707 3671 0 -1 4202496 194185 0 0 0 163594 280 0 0 19 0 5 0 1117225431 776757248 182987 4294967295 134512640 135180984 3220374144 3220373580 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/3707/statm: 189638 182987 68 164 0 189473 0
[pid=3707/tid=3708] ppid=3705 vsize=758552 CPUtime=0.77
/proc/3707/task/3708/stat : 3708 (satake) S 3705 3707 3671 0 -1 4202560 3170 0 0 0 36 41 0 0 15 0 5 0 1117225431 776757248 182987 4294967295 134512640 135180984 3220374144 3086778384 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=3707/tid=3710] ppid=3705 vsize=758552 CPUtime=541.28
/proc/3707/task/3710/stat : 3710 (satake) R 3705 3707 3671 0 -1 4202560 66592 0 0 0 54055 73 0 0 25 0 5 0 1117225431 776757248 182987 4294967295 134512640 135180984 3220374144 3086712688 134528655 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=3707/tid=3711] ppid=3705 vsize=758552 CPUtime=512.43
/proc/3707/task/3711/stat : 3711 (satake) R 3705 3707 3671 0 -1 4202560 62567 0 0 0 51152 91 0 0 25 0 5 0 1117225431 776757248 182987 4294967295 134512640 135180984 3220374144 3086647024 134522609 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=3707/tid=3712] ppid=3705 vsize=758552 CPUtime=584.26
/proc/3707/task/3712/stat : 3712 (satake) R 3705 3707 3671 0 -1 4202560 61746 0 0 0 58351 75 0 0 25 0 5 0 1117225431 776757248 182987 4294967295 134512640 135180984 3220374144 3086581448 134675767 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1638.74
Current children cumulated vsize (KiB) 758552

[startup+882.315 s]
/proc/loadavg: 5.49 5.24 4.03 7/109 6545
/proc/meminfo: memFree=1808784/3368532 swapFree=1954076/1959888
[pid=3707] ppid=3705 vsize=793892 CPUtime=1758.4
/proc/3707/stat : 3707 (satake) S 3705 3707 3671 0 -1 4202496 202912 0 0 0 175542 298 0 0 19 0 5 0 1117225431 812945408 191714 4294967295 134512640 135180984 3220374144 3220373580 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/3707/statm: 198473 191714 68 164 0 198308 0
[pid=3707/tid=3708] ppid=3705 vsize=793892 CPUtime=0.77
/proc/3707/task/3708/stat : 3708 (satake) S 3705 3707 3671 0 -1 4202560 3171 0 0 0 36 41 0 0 15 0 5 0 1117225431 812945408 191714 4294967295 134512640 135180984 3220374144 3086778384 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=3707/tid=3710] ppid=3705 vsize=793892 CPUtime=588.35
/proc/3707/task/3710/stat : 3710 (satake) R 3705 3707 3671 0 -1 4202560 70078 0 0 0 58758 77 0 0 25 0 5 0 1117225431 812945408 191714 4294967295 134512640 135180984 3220374144 3086712592 134525458 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=3707/tid=3711] ppid=3705 vsize=793892 CPUtime=542.93
/proc/3707/task/3711/stat : 3711 (satake) R 3705 3707 3671 0 -1 4202560 65327 0 0 0 54195 98 0 0 25 0 5 0 1117225431 812945408 191714 4294967295 134512640 135180984 3220374144 3086647152 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=3707/tid=3712] ppid=3705 vsize=793892 CPUtime=626.35
/proc/3707/task/3712/stat : 3712 (satake) R 3705 3707 3671 0 -1 4202560 64226 0 0 0 62553 82 0 0 25 0 5 0 1117225431 812945408 191714 4294967295 134512640 135180984 3220374144 3086581608 134518214 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1758.4
Current children cumulated vsize (KiB) 793892

[startup+942.311 s]
/proc/loadavg: 5.58 5.28 4.11 7/110 6668
/proc/meminfo: memFree=1776848/3368532 swapFree=1954076/1959888
[pid=3707] ppid=3705 vsize=826036 CPUtime=1878.23
/proc/3707/stat : 3707 (satake) S 3705 3707 3671 0 -1 4202496 210643 0 0 0 187517 306 0 0 19 0 5 0 1117225431 845860864 199445 4294967295 134512640 135180984 3220374144 3220373580 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/3707/statm: 206509 199445 68 164 0 206344 0
[pid=3707/tid=3708] ppid=3705 vsize=826036 CPUtime=0.77
/proc/3707/task/3708/stat : 3708 (satake) S 3705 3707 3671 0 -1 4202560 3171 0 0 0 36 41 0 0 15 0 5 0 1117225431 845860864 199445 4294967295 134512640 135180984 3220374144 3086778384 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=3707/tid=3710] ppid=3705 vsize=826036 CPUtime=623.47
/proc/3707/task/3710/stat : 3710 (satake) R 3705 3707 3671 0 -1 4202560 72792 0 0 0 62270 77 0 0 25 0 5 0 1117225431 845860864 199445 4294967295 134512640 135180984 3220374144 3086712592 134525399 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=3707/tid=3711] ppid=3705 vsize=826036 CPUtime=584.28
/proc/3707/task/3711/stat : 3711 (satake) R 3705 3707 3671 0 -1 4202560 67920 0 0 0 58330 98 0 0 25 0 5 0 1117225431 845860864 199445 4294967295 134512640 135180984 3220374144 3086647052 134518246 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=3707/tid=3712] ppid=3705 vsize=826036 CPUtime=669.71
/proc/3707/task/3712/stat : 3712 (satake) R 3705 3707 3671 0 -1 4202560 66650 0 0 0 66881 90 0 0 25 0 5 0 1117225431 845860864 199445 4294967295 134512640 135180984 3220374144 3086581520 134524655 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1878.23
Current children cumulated vsize (KiB) 826036



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000.01 s]
/proc/loadavg: 5.56 5.33 4.20 7/110 6820
/proc/meminfo: memFree=1748288/3368532 swapFree=1954076/1959888
[pid=3707] ppid=3705 vsize=853672 CPUtime=1993.54
/proc/3707/stat : 3707 (satake) S 3705 3707 3671 0 -1 4202496 217578 0 0 0 199042 312 0 0 19 0 5 0 1117225431 874160128 206380 4294967295 134512640 135180984 3220374144 3220373580 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/3707/statm: 213418 206380 68 164 0 213253 0
[pid=3707/tid=3708] ppid=3705 vsize=853672 CPUtime=0.77
/proc/3707/task/3708/stat : 3708 (satake) S 3705 3707 3671 0 -1 4202560 3171 0 0 0 36 41 0 0 15 0 5 0 1117225431 874160128 206382 4294967295 134512640 135180984 3220374144 3086778384 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=3707/tid=3710] ppid=3705 vsize=853672 CPUtime=652.39
/proc/3707/task/3710/stat : 3710 (satake) R 3705 3707 3671 0 -1 4202560 74859 0 0 0 65161 78 0 0 25 0 5 0 1117225431 874160128 206382 4294967295 134512640 135180984 3220374144 3086712688 134519339 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=3707/tid=3711] ppid=3705 vsize=853672 CPUtime=618.77
/proc/3707/task/3711/stat : 3711 (satake) R 3705 3707 3671 0 -1 4202560 69931 0 0 0 61777 100 0 0 25 0 5 0 1117225431 874160128 206382 4294967295 134512640 135180984 3220374144 3086647144 134520863 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=3707/tid=3712] ppid=3705 vsize=853672 CPUtime=721.61
/proc/3707/task/3712/stat : 3712 (satake) R 3705 3707 3671 0 -1 4202560 69509 0 0 0 72068 93 0 0 25 0 5 0 1117225431 874160128 206382 4294967295 134512640 135180984 3220374144 3086581520 134524814 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1993.54
Current children cumulated vsize (KiB) 853672

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1000.09
CPU time (s): 1993.64
CPU user time (s): 1990.46
CPU system time (s): 3.18
CPU usage (%): 199.346
Max. virtual memory (cumulated for all children) (KiB): 853672

deleting IPC queue 0
deleting IPC queue 32769
deleting IPC queue 65538
deleting IPC queue 98307
deleting IPC queue 131076
deleting IPC queue 163845
deleting IPC queue 196614
deleting IPC queue 229383
deleting IPC queue 262152
deleting IPC queue 294921
deleting IPC queue 327690
deleting IPC queue 360459
deleting IPC queue 393228
deleting IPC queue 425997
deleting IPC queue 458766
deleting IPC queue 491535

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1990.46
system time used= 3.18
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 217580
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= 138701
involuntary context switches= 189103

runsolver used 0 second user time and 0 second system time

The end

Launcher Data 

Begin job on tipi44 at 2009-05-29 23:07:21
IDJOB=1775590
IDBENCH=20357
IDSOLVER=629
FILE ID=tipi44/1775590-1243631241
PBS_JOBID=
Free space on /tmp= 15879 MiB

SOLVER NAME= satake 2009-03-22 (4 threads)
BENCH NAME= SAT07/industrial/anbulagan/medium-sat/partial-5-13-s.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1775590-1243631241/watcher-1775590-1243631241 -o /tmp/evaluation-result-1775590-1243631241/solver-1775590-1243631241 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1775590-1243631241.cnf 4 10000

TIME LIMIT= 10000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 4

MD5SUM BENCH= 8440e7259e120363fc65b24385da09e8
RANDOM SEED= 1244223402

Linux tipi44 2.6.21.5 #6 SMP Wed Jul 4 17:16:38 CEST 2007 i686 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU            5130  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.116
cache size	: 4096 KB
physical id	: 0
siblings	: 2
core id		: 0
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
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 pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 3992.42
clflush size	: 64

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU            5130  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.116
cache size	: 4096 KB
physical id	: 0
siblings	: 2
core id		: 1
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
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 pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 3990.10
clflush size	: 64

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU            5130  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.116
cache size	: 4096 KB
physical id	: 3
siblings	: 2
core id		: 0
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
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 pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 3990.14
clflush size	: 64

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU            5130  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.116
cache size	: 4096 KB
physical id	: 3
siblings	: 2
core id		: 1
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
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 pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 3990.16
clflush size	: 64


/proc/meminfo:
MemTotal:      3368532 kB
MemFree:       2592912 kB
Buffers:        148600 kB
Cached:         404268 kB
SwapCached:       2180 kB
Active:         546928 kB
Inactive:       132244 kB
HighTotal:     2489216 kB
HighFree:      1956644 kB
LowTotal:       879316 kB
LowFree:        636268 kB
SwapTotal:     1959888 kB
SwapFree:      1954076 kB
Dirty:           37328 kB
Writeback:           0 kB
AnonPages:      125332 kB
Mapped:           5612 kB
Slab:            87444 kB
SReclaimable:    76756 kB
SUnreclaim:      10688 kB
PageTables:        696 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:   208232 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 15879 MiB
End job on tipi44 at 2009-05-29 23:24:05