Trace number 1779925

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)UNSAT 889.45 292.501

General information on the benchmark

NameAPPLICATIONS/bioinfo/
q_query_3_l46_lambda.cnf
MD5SUMeb4d0d02a25a8a84182ddd3b6d1fa8b5
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark372.41
Satisfiable
(Un)Satisfiability was proved
Number of variables33090
Number of clauses165828
Sum of the clauses size478271
Maximum clause length9
Minimum clause length1
Number of clauses of size 14268
Number of clauses of size 241089
Number of clauses of size 397665
Number of clauses of size 415752
Number of clauses of size 56916
Number of clauses of size over 5138

Solver Data 

889.26/292.49	c Benchmark name    : HOME/instance-1779925-1243645135.cnf
889.26/292.49	c Thread Num        :            4
889.26/292.49	c restarts          :           17
889.26/292.49	c conflicts         :       189707
889.26/292.49	c decisions         :       266257           (      911 / sec      )
889.26/292.49	c propagations      :    135776485           (   464520 / sec      )
889.26/292.49	c inspects          :   1554161916           (  5317120 / sec      )
889.26/292.49	c conflict literals :      4432175           (    38.85 % deleted  )
889.26/292.49	c cpu time          :       292.29           
889.26/292.49	s UNSATISFIABLE

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

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

command line: runsolver --timestamp -w /tmp/evaluation-result-1779925-1243645135/watcher-1779925-1243645135 -o /tmp/evaluation-result-1779925-1243645135/solver-1779925-1243645135 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1779925-1243645135.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: 3.15 3.02 3.01 3/99 2642
/proc/meminfo: memFree=3154692/3368532 swapFree=1953580/1959888
[pid=2642] ppid=2640 vsize=3212 CPUtime=0
/proc/2642/stat : 2642 (satake) S 2640 2642 21929 0 -1 4202496 464 0 0 0 0 0 0 0 18 0 5 0 1129177906 3289088 420 4294967295 134512640 135180984 3219192160 3219191596 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/2642/statm: 803 424 63 164 0 638 0
[pid=2642/tid=2643] ppid=2640 vsize=5260 CPUtime=0
/proc/2642/task/2643/stat : 2643 (satake) S 2640 2642 21929 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1129177906 5386240 704 4294967295 134512640 135180984 3219192160 3086827536 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=2642/tid=2644] ppid=2640 vsize=5260 CPUtime=0
/proc/2642/task/2644/stat : 2644 (satake) R 2640 2642 21929 0 -1 4202560 636 0 0 0 0 0 0 0 20 0 5 0 1129177906 5386240 709 4294967295 134512640 135180984 3219192160 3086762276 134583077 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=2642/tid=2645] ppid=2640 vsize=5260 CPUtime=0
/proc/2642/task/2645/stat : 2645 (satake) R 2640 2642 21929 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 5 0 1129177906 5386240 714 4294967295 134512640 135180984 3219192160 3086697284 134705812 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=2642/tid=2646] ppid=2640 vsize=5260 CPUtime=0
/proc/2642/task/2646/stat : 2646 (satake) R 2640 2642 21929 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 5 0 1129177906 5386240 720 4294967295 134512640 135180984 3219192160 3086631748 134705812 0 0 0 0 0 0 0 -1 0 0 0 0

[startup+0.059867 s]
/proc/loadavg: 3.15 3.02 3.01 3/99 2642
/proc/meminfo: memFree=3154692/3368532 swapFree=1953580/1959888
[pid=2642] ppid=2640 vsize=19168 CPUtime=0.14
/proc/2642/stat : 2642 (satake) S 2640 2642 21929 0 -1 4202496 4204 0 0 0 13 1 0 0 18 0 5 0 1129177906 19628032 4155 4294967295 134512640 135180984 3219192160 3219191596 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/2642/statm: 4792 4156 63 164 0 4627 0
[pid=2642/tid=2643] ppid=2640 vsize=19168 CPUtime=0
/proc/2642/task/2643/stat : 2643 (satake) S 2640 2642 21929 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1129177906 19628032 4156 4294967295 134512640 135180984 3219192160 3086827536 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=2642/tid=2644] ppid=2640 vsize=19168 CPUtime=0.06
/proc/2642/task/2644/stat : 2644 (satake) R 2640 2642 21929 0 -1 4202560 1532 0 0 0 6 0 0 0 20 0 5 0 1129177906 19628032 4156 4294967295 134512640 135180984 3219192160 3086762196 134579745 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=2642/tid=2645] ppid=2640 vsize=19168 CPUtime=0.04
/proc/2642/task/2645/stat : 2645 (satake) R 2640 2642 21929 0 -1 4202560 1270 0 0 0 4 0 0 0 20 0 5 0 1129177906 19628032 4157 4294967295 134512640 135180984 3219192160 3086696596 134579745 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=2642/tid=2646] ppid=2640 vsize=19168 CPUtime=0.04
/proc/2642/task/2646/stat : 2646 (satake) R 2640 2642 21929 0 -1 4202560 1286 0 0 0 3 1 0 0 20 0 5 0 1129177906 19628032 4157 4294967295 134512640 135180984 3219192160 3086631060 134579486 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 19168

[startup+0.108393 s]
/proc/loadavg: 3.15 3.02 3.01 3/99 2642
/proc/meminfo: memFree=3154692/3368532 swapFree=1953580/1959888
[pid=2642] ppid=2640 vsize=30216 CPUtime=0.28
/proc/2642/stat : 2642 (satake) S 2640 2642 21929 0 -1 4202496 6292 0 0 0 27 1 0 0 18 0 5 0 1129177906 30941184 6237 4294967295 134512640 135180984 3219192160 3219191596 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/2642/statm: 7554 6239 63 164 0 7389 0
[pid=2642/tid=2643] ppid=2640 vsize=30216 CPUtime=0
/proc/2642/task/2643/stat : 2643 (satake) S 2640 2642 21929 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1129177906 30941184 6239 4294967295 134512640 135180984 3219192160 3086827536 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=2642/tid=2644] ppid=2640 vsize=30216 CPUtime=0.11
/proc/2642/task/2644/stat : 2644 (satake) R 2640 2642 21929 0 -1 4202560 2179 0 0 0 11 0 0 0 20 0 5 0 1129177906 30941184 6239 4294967295 134512640 135180984 3219192160 3086762056 134675767 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=2642/tid=2645] ppid=2640 vsize=30216 CPUtime=0.09
/proc/2642/task/2645/stat : 2645 (satake) R 2640 2642 21929 0 -1 4202560 1977 0 0 0 8 1 0 0 20 0 5 0 1129177906 30941184 6240 4294967295 134512640 135180984 3219192160 3086696520 134675767 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=2642/tid=2646] ppid=2640 vsize=30216 CPUtime=0.09
/proc/2642/task/2646/stat : 2646 (satake) R 2640 2642 21929 0 -1 4202560 2022 0 0 0 8 1 0 0 20 0 5 0 1129177906 30941184 6241 4294967295 134512640 135180984 3219192160 3086631164 134520036 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 30216

[startup+0.308374 s]
/proc/loadavg: 3.15 3.02 3.01 3/99 2642
/proc/meminfo: memFree=3154692/3368532 swapFree=1953580/1959888
[pid=2642] ppid=2640 vsize=40540 CPUtime=0.88
/proc/2642/stat : 2642 (satake) S 2640 2642 21929 0 -1 4202496 10130 0 0 0 79 9 0 0 18 0 5 0 1129177906 41512960 7789 4294967295 134512640 135180984 3219192160 3219191596 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/2642/statm: 10135 7789 68 164 0 9970 0
[pid=2642/tid=2643] ppid=2640 vsize=40540 CPUtime=0.06
/proc/2642/task/2643/stat : 2643 (satake) R 2640 2642 21929 0 -1 4202560 599 0 0 0 2 4 0 0 17 0 5 0 1129177906 41512960 7789 4294967295 134512640 135180984 3219192160 3086827548 134706407 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=2642/tid=2644] ppid=2640 vsize=40540 CPUtime=0.25
/proc/2642/task/2644/stat : 2644 (satake) R 2640 2642 21929 0 -1 4202560 2977 0 0 0 24 1 0 0 20 0 5 0 1129177906 41512960 7789 4294967295 134512640 135180984 3219192160 3086761840 134528631 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=2642/tid=2645] ppid=2640 vsize=40540 CPUtime=0.29
/proc/2642/task/2645/stat : 2645 (satake) R 2640 2642 21929 0 -1 4202560 3180 0 0 0 27 2 0 0 19 0 5 0 1129177906 41512960 7789 4294967295 134512640 135180984 3219192160 3086696096 134580407 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=2642/tid=2646] ppid=2640 vsize=40540 CPUtime=0.29
/proc/2642/task/2646/stat : 2646 (satake) R 2640 2642 21929 0 -1 4202560 3264 0 0 0 27 2 0 0 20 0 5 0 1129177906 41512960 7789 4294967295 134512640 135180984 3219192160 3086630700 134564984 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.88
Current children cumulated vsize (KiB) 40540

[startup+0.708334 s]
/proc/loadavg: 3.15 3.02 3.01 3/99 2642
/proc/meminfo: memFree=3154692/3368532 swapFree=1953580/1959888
[pid=2642] ppid=2640 vsize=41696 CPUtime=2.14
/proc/2642/stat : 2642 (satake) S 2640 2642 21929 0 -1 4202496 10343 0 0 0 188 26 0 0 18 0 5 0 1129177906 42696704 8002 4294967295 134512640 135180984 3219192160 3219191596 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/2642/statm: 10424 8002 68 164 0 10259 0
[pid=2642/tid=2643] ppid=2640 vsize=41696 CPUtime=0.17
/proc/2642/task/2643/stat : 2643 (satake) S 2640 2642 21929 0 -1 4202560 633 0 0 0 4 13 0 0 16 0 5 0 1129177906 42696704 8002 4294967295 134512640 135180984 3219192160 3086827536 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=2642/tid=2644] ppid=2640 vsize=41696 CPUtime=0.63
/proc/2642/task/2644/stat : 2644 (satake) R 2640 2642 21929 0 -1 4202560 3022 0 0 0 58 5 0 0 20 0 5 0 1129177906 42696704 8002 4294967295 134512640 135180984 3219192160 3086761784 134579745 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=2642/tid=2645] ppid=2640 vsize=41696 CPUtime=0.67
/proc/2642/task/2645/stat : 2645 (satake) R 2640 2642 21929 0 -1 4202560 3221 0 0 0 63 4 0 0 19 0 5 0 1129177906 42696704 8002 4294967295 134512640 135180984 3219192160 3086696248 134579745 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=2642/tid=2646] ppid=2640 vsize=41696 CPUtime=0.67
/proc/2642/task/2646/stat : 2646 (satake) R 2640 2642 21929 0 -1 4202560 3357 0 0 0 63 4 0 0 20 0 5 0 1129177906 42696704 8002 4294967295 134512640 135180984 3219192160 3086630704 134520798 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.14
Current children cumulated vsize (KiB) 41696

[startup+1.50826 s]
/proc/loadavg: 3.14 3.02 3.00 4/104 2647
/proc/meminfo: memFree=3123288/3368532 swapFree=1953580/1959888
[pid=2642] ppid=2640 vsize=42864 CPUtime=4.8
/proc/2642/stat : 2642 (satake) S 2640 2642 21929 0 -1 4202496 10547 0 0 0 401 79 0 0 18 0 5 0 1129177906 43892736 8206 4294967295 134512640 135180984 3219192160 3219191596 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/2642/statm: 10716 8206 68 164 0 10551 0
[pid=2642/tid=2643] ppid=2640 vsize=42864 CPUtime=0.5
/proc/2642/task/2643/stat : 2643 (satake) S 2640 2642 21929 0 -1 4202560 716 0 0 0 10 40 0 0 16 0 5 0 1129177906 43892736 8206 4294967295 134512640 135180984 3219192160 3086827536 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=2642/tid=2644] ppid=2640 vsize=42864 CPUtime=1.42
/proc/2642/task/2644/stat : 2644 (satake) R 2640 2642 21929 0 -1 4202560 3045 0 0 0 127 15 0 0 20 0 5 0 1129177906 43892736 8206 4294967295 134512640 135180984 3219192160 3086761836 134520854 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=2642/tid=2645] ppid=2640 vsize=42864 CPUtime=1.43
/proc/2642/task/2645/stat : 2645 (satake) R 2640 2642 21929 0 -1 4202560 3274 0 0 0 125 18 0 0 19 0 5 0 1129177906 43892736 8206 4294967295 134512640 135180984 3219192160 3086696304 134528214 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=2642/tid=2646] ppid=2640 vsize=42864 CPUtime=1.45
/proc/2642/task/2646/stat : 2646 (satake) R 2640 2642 21929 0 -1 4202560 3402 0 0 0 139 6 0 0 21 0 5 0 1129177906 43892736 8206 4294967295 134512640 135180984 3219192160 3086630768 134528524 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.8
Current children cumulated vsize (KiB) 42864

[startup+3.10811 s]
/proc/loadavg: 3.14 3.02 3.00 4/104 2647
/proc/meminfo: memFree=3121364/3368532 swapFree=1953580/1959888
[pid=2642] ppid=2640 vsize=46428 CPUtime=10.17
/proc/2642/stat : 2642 (satake) S 2640 2642 21929 0 -1 4202496 11479 0 0 0 808 209 0 0 18 0 5 0 1129177906 47542272 9138 4294967295 134512640 135180984 3219192160 3219191596 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/2642/statm: 11607 9138 68 164 0 11442 0
[pid=2642/tid=2643] ppid=2640 vsize=46428 CPUtime=1.29
/proc/2642/task/2643/stat : 2643 (satake) S 2640 2642 21929 0 -1 4202560 1001 0 0 0 25 104 0 0 16 0 5 0 1129177906 47542272 9138 4294967295 134512640 135180984 3219192160 3086827536 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=2642/tid=2644] ppid=2640 vsize=46428 CPUtime=2.93
/proc/2642/task/2644/stat : 2644 (satake) R 2640 2642 21929 0 -1 4202560 3237 0 0 0 255 38 0 0 18 0 5 0 1129177906 47542272 9138 4294967295 134512640 135180984 3219192160 3086761556 134675846 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=2642/tid=2645] ppid=2640 vsize=46428 CPUtime=2.99
/proc/2642/task/2645/stat : 2645 (satake) R 2640 2642 21929 0 -1 4202560 3485 0 0 0 254 45 0 0 18 0 5 0 1129177906 47542272 9138 4294967295 134512640 135180984 3219192160 3086696304 134528470 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=2642/tid=2646] ppid=2640 vsize=46428 CPUtime=2.96
/proc/2642/task/2646/stat : 2646 (satake) R 2640 2642 21929 0 -1 4202560 3646 0 0 0 274 22 0 0 25 0 5 0 1129177906 47542272 9138 4294967295 134512640 135180984 3219192160 3086630768 134529008 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 10.17
Current children cumulated vsize (KiB) 46428

[startup+6.3078 s]
/proc/loadavg: 3.14 3.02 3.00 5/104 2647
/proc/meminfo: memFree=3114392/3368532 swapFree=1953580/1959888
[pid=2642] ppid=2640 vsize=52600 CPUtime=20.66
/proc/2642/stat : 2642 (satake) S 2640 2642 21929 0 -1 4202496 13031 0 0 0 1665 401 0 0 18 0 5 0 1129177906 53862400 10690 4294967295 134512640 135180984 3219192160 3219191596 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/2642/statm: 13150 10690 68 164 0 12985 0
[pid=2642/tid=2643] ppid=2640 vsize=52600 CPUtime=2.48
/proc/2642/task/2643/stat : 2643 (satake) S 2640 2642 21929 0 -1 4202560 1444 0 0 0 51 197 0 0 16 0 5 0 1129177906 53862400 10690 4294967295 134512640 135180984 3219192160 3086827536 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=2642/tid=2644] ppid=2640 vsize=52600 CPUtime=6.07
/proc/2642/task/2644/stat : 2644 (satake) R 2640 2642 21929 0 -1 4202560 3572 0 0 0 530 77 0 0 18 0 5 0 1129177906 53862400 10690 4294967295 134512640 135180984 3219192160 3086761840 134528470 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=2642/tid=2645] ppid=2640 vsize=52600 CPUtime=6.08
/proc/2642/task/2645/stat : 2645 (satake) R 2640 2642 21929 0 -1 4202560 3871 0 0 0 527 81 0 0 18 0 5 0 1129177906 53862400 10690 4294967295 134512640 135180984 3219192160 3086696304 134528211 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=2642/tid=2646] ppid=2640 vsize=52600 CPUtime=6.04
/proc/2642/task/2646/stat : 2646 (satake) R 2640 2642 21929 0 -1 4202560 4034 0 0 0 558 46 0 0 25 0 5 0 1129177906 53862400 10690 4294967295 134512640 135180984 3219192160 3086630768 134528536 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 20.66
Current children cumulated vsize (KiB) 52600

[startup+12.7072 s]
/proc/loadavg: 3.12 3.02 3.00 4/104 2648
/proc/meminfo: memFree=3105100/3368532 swapFree=1953580/1959888
[pid=2642] ppid=2640 vsize=61068 CPUtime=41.08
/proc/2642/stat : 2642 (satake) S 2640 2642 21929 0 -1 4202496 15155 0 0 0 3464 644 0 0 18 0 5 0 1129177906 62533632 12814 4294967295 134512640 135180984 3219192160 3219191596 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/2642/statm: 15267 12814 68 164 0 15102 0
[pid=2642/tid=2643] ppid=2640 vsize=61068 CPUtime=4.02
/proc/2642/task/2643/stat : 2643 (satake) R 2640 2642 21929 0 -1 4202560 2059 0 0 0 83 319 0 0 16 0 5 0 1129177906 62533632 12814 4294967295 134512640 135180984 3219192160 3086827536 134580407 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=2642/tid=2644] ppid=2640 vsize=61068 CPUtime=12.36
/proc/2642/task/2644/stat : 2644 (satake) D 2640 2642 21929 0 -1 4202560 4086 0 0 0 1109 127 0 0 20 0 5 0 1129177906 62533632 12814 4294967295 134512640 135180984 3219192160 3086761644 134706407 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=2642/tid=2645] ppid=2640 vsize=61068 CPUtime=12.33
/proc/2642/task/2645/stat : 2645 (satake) R 2640 2642 21929 0 -1 4202560 4389 0 0 0 1103 130 0 0 20 0 5 0 1129177906 62533632 12814 4294967295 134512640 135180984 3219192160 3086696304 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=2642/tid=2646] ppid=2640 vsize=61068 CPUtime=12.37
/proc/2642/task/2646/stat : 2646 (satake) R 2640 2642 21929 0 -1 4202560 4511 0 0 0 1169 68 0 0 25 0 5 0 1129177906 62533632 12814 4294967295 134512640 135180984 3219192160 3086630768 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 41.08
Current children cumulated vsize (KiB) 61068

[startup+25.506 s]
/proc/loadavg: 3.10 3.02 3.00 4/104 2651
/proc/meminfo: memFree=3093700/3368532 swapFree=1953580/1959888
[pid=2642] ppid=2640 vsize=72560 CPUtime=79.18
/proc/2642/stat : 2642 (satake) S 2640 2642 21929 0 -1 4202496 17888 0 0 0 6999 919 0 0 18 0 5 0 1129177906 74301440 15547 4294967295 134512640 135180984 3219192160 3219191596 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/2642/statm: 18140 15547 68 164 0 17975 0
[pid=2642/tid=2643] ppid=2640 vsize=72560 CPUtime=5.93
/proc/2642/task/2643/stat : 2643 (satake) S 2640 2642 21929 0 -1 4202560 2841 0 0 0 141 452 0 0 16 0 5 0 1129177906 74301440 15547 4294967295 134512640 135180984 3219192160 3086827536 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=2642/tid=2644] ppid=2640 vsize=72560 CPUtime=25.01
/proc/2642/task/2644/stat : 2644 (satake) R 2640 2642 21929 0 -1 4202560 4873 0 0 0 2305 196 0 0 25 0 5 0 1129177906 74301440 15547 4294967295 134512640 135180984 3219192160 3086761556 134675767 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=2642/tid=2645] ppid=2640 vsize=72560 CPUtime=24.58
/proc/2642/task/2645/stat : 2645 (satake) R 2640 2642 21929 0 -1 4202560 5059 0 0 0 2287 171 0 0 25 0 5 0 1129177906 74301440 15547 4294967295 134512640 135180984 3219192160 3086696304 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=2642/tid=2646] ppid=2640 vsize=72560 CPUtime=23.66
/proc/2642/task/2646/stat : 2646 (satake) R 2640 2642 21929 0 -1 4202560 5005 0 0 0 2266 100 0 0 25 0 5 0 1129177906 74301440 15547 4294967295 134512640 135180984 3219192160 3086630768 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 79.18
Current children cumulated vsize (KiB) 72560

[startup+51.1033 s]
/proc/loadavg: 3.07 3.02 3.00 4/104 2839
/proc/meminfo: memFree=3080888/3368532 swapFree=1953580/1959888
[pid=2642] ppid=2640 vsize=87636 CPUtime=156.47
/proc/2642/stat : 2642 (satake) S 2640 2642 21929 0 -1 4202496 21144 0 0 0 14174 1473 0 0 18 0 5 0 1129177906 89739264 18803 4294967295 134512640 135180984 3219192160 3219191596 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/2642/statm: 21909 18803 68 164 0 21744 0
[pid=2642/tid=2643] ppid=2640 vsize=87636 CPUtime=9.48
/proc/2642/task/2643/stat : 2643 (satake) S 2640 2642 21929 0 -1 4202560 3638 0 0 0 222 726 0 0 16 0 5 0 1129177906 89739264 18803 4294967295 134512640 135180984 3219192160 3086827536 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=2642/tid=2644] ppid=2640 vsize=87636 CPUtime=50.35
/proc/2642/task/2644/stat : 2644 (satake) R 2640 2642 21929 0 -1 4202560 5644 0 0 0 4721 314 0 0 25 0 5 0 1129177906 89739264 18803 4294967295 134512640 135180984 3219192160 3086761832 134520860 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=2642/tid=2645] ppid=2640 vsize=87636 CPUtime=48.45
/proc/2642/task/2645/stat : 2645 (satake) R 2640 2642 21929 0 -1 4202560 6306 0 0 0 4584 261 0 0 25 0 5 0 1129177906 89739264 18803 4294967295 134512640 135180984 3219192160 3086696300 134519884 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=2642/tid=2646] ppid=2640 vsize=87636 CPUtime=48.19
/proc/2642/task/2646/stat : 2646 (satake) R 2640 2642 21929 0 -1 4202560 5446 0 0 0 4647 172 0 0 25 0 5 0 1129177906 89739264 18803 4294967295 134512640 135180984 3219192160 3086630760 134518224 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 156.47
Current children cumulated vsize (KiB) 87636

[startup+102.318 s]
/proc/loadavg: 3.02 3.01 3.00 4/104 3029
/proc/meminfo: memFree=3056048/3368532 swapFree=1953580/1959888
[pid=2642] ppid=2640 vsize=112612 CPUtime=312.89
/proc/2642/stat : 2642 (satake) S 2640 2642 21929 0 -1 4202496 27075 0 0 0 29038 2251 0 0 18 0 5 0 1129177906 115314688 24734 4294967295 134512640 135180984 3219192160 3219191596 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/2642/statm: 28153 24734 68 164 0 27988 0
[pid=2642/tid=2643] ppid=2640 vsize=112612 CPUtime=14.28
/proc/2642/task/2643/stat : 2643 (satake) S 2640 2642 21929 0 -1 4202560 5500 0 0 0 312 1116 0 0 15 0 5 0 1129177906 115314688 24734 4294967295 134512640 135180984 3219192160 3086827536 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=2642/tid=2644] ppid=2640 vsize=112612 CPUtime=100.67
/proc/2642/task/2644/stat : 2644 (satake) R 2640 2642 21929 0 -1 4202560 6452 0 0 0 9608 459 0 0 25 0 5 0 1129177906 115314688 24734 4294967295 134512640 135180984 3219192160 3086761840 134528211 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=2642/tid=2645] ppid=2640 vsize=112612 CPUtime=99.45
/proc/2642/task/2645/stat : 2645 (satake) R 2640 2642 21929 0 -1 4202560 7997 0 0 0 9534 411 0 0 25 0 5 0 1129177906 115314688 24734 4294967295 134512640 135180984 3219192160 3086696296 134520863 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=2642/tid=2646] ppid=2640 vsize=112612 CPUtime=98.5
/proc/2642/task/2646/stat : 2646 (satake) R 2640 2642 21929 0 -1 4202560 7016 0 0 0 9585 265 0 0 25 0 5 0 1129177906 115314688 24734 4294967295 134512640 135180984 3219192160 3086630764 134519884 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 312.89
Current children cumulated vsize (KiB) 112612

[startup+162.313 s]
/proc/loadavg: 3.07 3.02 3.00 4/104 3217
/proc/meminfo: memFree=3035232/3368532 swapFree=1953580/1959888
[pid=2642] ppid=2640 vsize=136788 CPUtime=492.87
/proc/2642/stat : 2642 (satake) S 2640 2642 21929 0 -1 4202496 32214 0 0 0 46489 2798 0 0 18 0 5 0 1129177906 140070912 29873 4294967295 134512640 135180984 3219192160 3219191596 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/2642/statm: 34197 29873 68 164 0 34032 0
[pid=2642/tid=2643] ppid=2640 vsize=136788 CPUtime=17.92
/proc/2642/task/2643/stat : 2643 (satake) S 2640 2642 21929 0 -1 4202560 6938 0 0 0 393 1399 0 0 16 0 5 0 1129177906 140070912 29873 4294967295 134512640 135180984 3219192160 3086827536 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=2642/tid=2644] ppid=2640 vsize=136788 CPUtime=157.87
/proc/2642/task/2644/stat : 2644 (satake) R 2640 2642 21929 0 -1 4202560 7940 0 0 0 15261 526 0 0 25 0 5 0 1129177906 140070912 29873 4294967295 134512640 135180984 3219192160 3086761672 134675846 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=2642/tid=2645] ppid=2640 vsize=136788 CPUtime=159.2
/proc/2642/task/2645/stat : 2645 (satake) R 2640 2642 21929 0 -1 4202560 8894 0 0 0 15432 488 0 0 25 0 5 0 1129177906 140070912 29873 4294967295 134512640 135180984 3219192160 3086696304 134528433 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=2642/tid=2646] ppid=2640 vsize=136788 CPUtime=157.88
/proc/2642/task/2646/stat : 2646 (satake) R 2640 2642 21929 0 -1 4202560 8332 0 0 0 15403 385 0 0 25 0 5 0 1129177906 140070912 29873 4294967295 134512640 135180984 3219192160 3086630768 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 492.87
Current children cumulated vsize (KiB) 136788

[startup+222.307 s]
/proc/loadavg: 3.06 3.03 3.00 5/104 3418
/proc/meminfo: memFree=3018864/3368532 swapFree=1953580/1959888
[pid=2642] ppid=2640 vsize=153244 CPUtime=675.81
/proc/2642/stat : 2642 (satake) S 2640 2642 21929 0 -1 4202496 36361 0 0 0 64135 3446 0 0 18 0 5 0 1129177906 156921856 34020 4294967295 134512640 135180984 3219192160 3219191596 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/2642/statm: 38311 34020 68 164 0 38146 0
[pid=2642/tid=2643] ppid=2640 vsize=153244 CPUtime=22.07
/proc/2642/task/2643/stat : 2643 (satake) S 2640 2642 21929 0 -1 4202560 8343 0 0 0 484 1723 0 0 16 0 5 0 1129177906 156921856 34020 4294967295 134512640 135180984 3219192160 3086827536 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=2642/tid=2644] ppid=2640 vsize=153244 CPUtime=217.6
/proc/2642/task/2644/stat : 2644 (satake) R 2640 2642 21929 0 -1 4202560 9569 0 0 0 21160 600 0 0 25 0 5 0 1129177906 156921856 34020 4294967295 134512640 135180984 3219192160 3086761840 134528230 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=2642/tid=2645] ppid=2640 vsize=153244 CPUtime=218.43
/proc/2642/task/2645/stat : 2645 (satake) R 2640 2642 21929 0 -1 4202560 9021 0 0 0 21232 611 0 0 25 0 5 0 1129177906 156921856 34020 4294967295 134512640 135180984 3219192160 3086696304 134528433 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=2642/tid=2646] ppid=2640 vsize=153244 CPUtime=217.71
/proc/2642/task/2646/stat : 2646 (satake) R 2640 2642 21929 0 -1 4202560 9318 0 0 0 21259 512 0 0 25 0 5 0 1129177906 156921856 34020 4294967295 134512640 135180984 3219192160 3086630768 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 675.81
Current children cumulated vsize (KiB) 153244

[startup+282.311 s]
/proc/loadavg: 3.14 3.06 3.01 4/104 3625
/proc/meminfo: memFree=3012812/3368532 swapFree=1953580/1959888
[pid=2642] ppid=2640 vsize=158476 CPUtime=859
/proc/2642/stat : 2642 (satake) S 2640 2642 21929 0 -1 4202496 37717 0 0 0 81682 4218 0 0 18 0 5 0 1129177906 162279424 35376 4294967295 134512640 135180984 3219192160 3219191596 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/2642/statm: 39619 35376 68 164 0 39454 0
[pid=2642/tid=2643] ppid=2640 vsize=158476 CPUtime=26.86
/proc/2642/task/2643/stat : 2643 (satake) S 2640 2642 21929 0 -1 4202560 9203 0 0 0 593 2093 0 0 16 0 5 0 1129177906 162279424 35376 4294967295 134512640 135180984 3219192160 3086827536 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=2642/tid=2644] ppid=2640 vsize=158476 CPUtime=276.7
/proc/2642/task/2644/stat : 2644 (satake) R 2640 2642 21929 0 -1 4202560 9673 0 0 0 26922 748 0 0 25 0 5 0 1129177906 162279424 35376 4294967295 134512640 135180984 3219192160 3086761832 134518214 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=2642/tid=2645] ppid=2640 vsize=158476 CPUtime=277.99
/proc/2642/task/2645/stat : 2645 (satake) R 2640 2642 21929 0 -1 4202560 9281 0 0 0 27018 781 0 0 25 0 5 0 1129177906 162279424 35376 4294967295 134512640 135180984 3219192160 3086696304 134528543 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=2642/tid=2646] ppid=2640 vsize=158476 CPUtime=277.45
/proc/2642/task/2646/stat : 2646 (satake) R 2640 2642 21929 0 -1 4202560 9450 0 0 0 27149 596 0 0 25 0 5 0 1129177906 162279424 35376 4294967295 134512640 135180984 3219192160 3086630768 134528425 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 859
Current children cumulated vsize (KiB) 158476

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

[startup+287.911 s]
/proc/loadavg: 3.13 3.06 3.01 4/104 3628
/proc/meminfo: memFree=3012596/3368532 swapFree=1953580/1959888
[pid=2642] ppid=2640 vsize=158796 CPUtime=875.78
/proc/2642/stat : 2642 (satake) S 2640 2642 21929 0 -1 4202496 37777 0 0 0 83313 4265 0 0 18 0 5 0 1129177906 162607104 35436 4294967295 134512640 135180984 3219192160 3219191596 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/2642/statm: 39699 35436 68 164 0 39534 0
[pid=2642/tid=2643] ppid=2640 vsize=158796 CPUtime=27.19
/proc/2642/task/2643/stat : 2643 (satake) S 2640 2642 21929 0 -1 4202560 9237 0 0 0 601 2118 0 0 15 0 5 0 1129177906 162607104 35436 4294967295 134512640 135180984 3219192160 3086827536 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=2642/tid=2644] ppid=2640 vsize=158796 CPUtime=281.97
/proc/2642/task/2644/stat : 2644 (satake) R 2640 2642 21929 0 -1 4202560 9689 0 0 0 27446 751 0 0 25 0 5 0 1129177906 162607104 35436 4294967295 134512640 135180984 3219192160 3086761840 134528511 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=2642/tid=2645] ppid=2640 vsize=158796 CPUtime=283.59
/proc/2642/task/2645/stat : 2645 (satake) R 2640 2642 21929 0 -1 4202560 9287 0 0 0 27573 786 0 0 25 0 5 0 1129177906 162607104 35436 4294967295 134512640 135180984 3219192160 3086696304 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=2642/tid=2646] ppid=2640 vsize=158796 CPUtime=283.03
/proc/2642/task/2646/stat : 2646 (satake) R 2640 2642 21929 0 -1 4202560 9454 0 0 0 27693 610 0 0 25 0 5 0 1129177906 162607104 35436 4294967295 134512640 135180984 3219192160 3086630768 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 875.78
Current children cumulated vsize (KiB) 158796

[startup+289.511 s]
/proc/loadavg: 3.13 3.06 3.01 4/104 3628
/proc/meminfo: memFree=3012348/3368532 swapFree=1953580/1959888
[pid=2642] ppid=2640 vsize=159284 CPUtime=880.57
/proc/2642/stat : 2642 (satake) S 2640 2642 21929 0 -1 4202496 37894 0 0 0 83782 4275 0 0 18 0 5 0 1129177906 163106816 35553 4294967295 134512640 135180984 3219192160 3219191596 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/2642/statm: 39821 35553 68 164 0 39656 0
[pid=2642/tid=2643] ppid=2640 vsize=159284 CPUtime=27.24
/proc/2642/task/2643/stat : 2643 (satake) S 2640 2642 21929 0 -1 4202560 9258 0 0 0 602 2122 0 0 15 0 5 0 1129177906 163106816 35553 4294967295 134512640 135180984 3219192160 3086827536 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=2642/tid=2644] ppid=2640 vsize=159284 CPUtime=283.52
/proc/2642/task/2644/stat : 2644 (satake) R 2640 2642 21929 0 -1 4202560 9699 0 0 0 27598 754 0 0 25 0 5 0 1129177906 163106816 35553 4294967295 134512640 135180984 3219192160 3086761840 134528557 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=2642/tid=2645] ppid=2640 vsize=159284 CPUtime=285.18
/proc/2642/task/2645/stat : 2645 (satake) R 2640 2642 21929 0 -1 4202560 9373 0 0 0 27729 789 0 0 25 0 5 0 1129177906 163106816 35553 4294967295 134512640 135180984 3219192160 3086696296 134518214 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=2642/tid=2646] ppid=2640 vsize=159284 CPUtime=284.63
/proc/2642/task/2646/stat : 2646 (satake) R 2640 2642 21929 0 -1 4202560 9454 0 0 0 27853 610 0 0 25 0 5 0 1129177906 163106816 35553 4294967295 134512640 135180984 3219192160 3086630704 134520800 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 880.57
Current children cumulated vsize (KiB) 159284

[startup+291.11 s]
/proc/loadavg: 3.13 3.06 3.01 4/104 3628
/proc/meminfo: memFree=3012200/3368532 swapFree=1953580/1959888
[pid=2642] ppid=2640 vsize=159604 CPUtime=885.37
/proc/2642/stat : 2642 (satake) S 2640 2642 21929 0 -1 4202496 37927 0 0 0 84257 4280 0 0 18 0 5 0 1129177906 163434496 35586 4294967295 134512640 135180984 3219192160 3219191596 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/2642/statm: 39901 35586 68 164 0 39736 0
[pid=2642/tid=2643] ppid=2640 vsize=159604 CPUtime=27.26
/proc/2642/task/2643/stat : 2643 (satake) S 2640 2642 21929 0 -1 4202560 9272 0 0 0 602 2124 0 0 15 0 5 0 1129177906 163434496 35586 4294967295 134512640 135180984 3219192160 3086827536 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=2642/tid=2644] ppid=2640 vsize=159604 CPUtime=285.1
/proc/2642/task/2644/stat : 2644 (satake) R 2640 2642 21929 0 -1 4202560 9703 0 0 0 27755 755 0 0 25 0 5 0 1129177906 163434496 35586 4294967295 134512640 135180984 3219192160 3086761832 134520667 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=2642/tid=2645] ppid=2640 vsize=159604 CPUtime=286.78
/proc/2642/task/2645/stat : 2645 (satake) R 2640 2642 21929 0 -1 4202560 9388 0 0 0 27887 791 0 0 25 0 5 0 1129177906 163434496 35586 4294967295 134512640 135180984 3219192160 3086696304 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=2642/tid=2646] ppid=2640 vsize=159604 CPUtime=286.23
/proc/2642/task/2646/stat : 2646 (satake) R 2640 2642 21929 0 -1 4202560 9454 0 0 0 28013 610 0 0 25 0 5 0 1129177906 163434496 35586 4294967295 134512640 135180984 3219192160 3086630704 134520701 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 885.37
Current children cumulated vsize (KiB) 159604

[startup+291.91 s]
/proc/loadavg: 3.12 3.06 3.01 4/104 3628
/proc/meminfo: memFree=3011976/3368532 swapFree=1953580/1959888
[pid=2642] ppid=2640 vsize=159924 CPUtime=887.77
/proc/2642/stat : 2642 (satake) S 2640 2642 21929 0 -1 4202496 37935 0 0 0 84493 4284 0 0 18 0 5 0 1129177906 163762176 35594 4294967295 134512640 135180984 3219192160 3219191596 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/2642/statm: 39981 35594 68 164 0 39816 0
[pid=2642/tid=2643] ppid=2640 vsize=159924 CPUtime=27.27
/proc/2642/task/2643/stat : 2643 (satake) S 2640 2642 21929 0 -1 4202560 9276 0 0 0 602 2125 0 0 16 0 5 0 1129177906 163762176 35594 4294967295 134512640 135180984 3219192160 3086827536 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=2642/tid=2644] ppid=2640 vsize=159924 CPUtime=285.89
/proc/2642/task/2644/stat : 2644 (satake) R 2640 2642 21929 0 -1 4202560 9704 0 0 0 27831 758 0 0 25 0 5 0 1129177906 163762176 35594 4294967295 134512640 135180984 3219192160 3086761892 134532598 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=2642/tid=2645] ppid=2640 vsize=159924 CPUtime=287.58
/proc/2642/task/2645/stat : 2645 (satake) R 2640 2642 21929 0 -1 4202560 9391 0 0 0 27967 791 0 0 25 0 5 0 1129177906 163762176 35594 4294967295 134512640 135180984 3219192160 3086696304 134528519 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=2642/tid=2646] ppid=2640 vsize=159924 CPUtime=287.03
/proc/2642/task/2646/stat : 2646 (satake) R 2640 2642 21929 0 -1 4202560 9454 0 0 0 28093 610 0 0 25 0 5 0 1129177906 163762176 35594 4294967295 134512640 135180984 3219192160 3086630704 134520773 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 887.77
Current children cumulated vsize (KiB) 159924

[startup+292.31 s]
/proc/loadavg: 3.12 3.06 3.01 4/104 3628
/proc/meminfo: memFree=3011976/3368532 swapFree=1953580/1959888
[pid=2642] ppid=2640 vsize=160244 CPUtime=888.96
/proc/2642/stat : 2642 (satake) S 2640 2642 21929 0 -1 4202496 37951 0 0 0 84612 4284 0 0 18 0 5 0 1129177906 164089856 35610 4294967295 134512640 135180984 3219192160 3219191596 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/2642/statm: 40061 35610 77 164 0 39896 0
[pid=2642/tid=2643] ppid=2640 vsize=160244 CPUtime=27.29
/proc/2642/task/2643/stat : 2643 (satake) R 2640 2642 21929 0 -1 4202560 9279 0 0 0 604 2125 0 0 15 0 5 0 1129177906 164089856 35610 4294967295 134512640 135180984 3219192160 3086827912 134579745 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=2642/tid=2644] ppid=2640 vsize=160244 CPUtime=286.27
/proc/2642/task/2644/stat : 2644 (satake) R 2640 2642 21929 0 -1 4202560 9713 0 0 0 27869 758 0 0 25 0 5 0 1129177906 164089856 35610 4294967295 134512640 135180984 3219192160 3086762392 134672154 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=2642/tid=2645] ppid=2640 vsize=160244 CPUtime=287.98
/proc/2642/task/2645/stat : 2645 (satake) R 2640 2642 21929 0 -1 4202560 9395 0 0 0 28007 791 0 0 25 0 5 0 1129177906 164089856 35610 4294967295 134512640 135180984 3219192160 3086696272 134520035 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=2642/tid=2646] ppid=2640 vsize=160244 CPUtime=287.42
/proc/2642/task/2646/stat : 2646 (satake) R 2640 2642 21929 0 -1 4202560 9454 0 0 0 28132 610 0 0 25 0 5 0 1129177906 164089856 35610 4294967295 134512640 135180984 3219192160 3086630660 134579745 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 888.96
Current children cumulated vsize (KiB) 160244

[startup+292.41 s]
/proc/loadavg: 3.12 3.06 3.01 4/104 3628
/proc/meminfo: memFree=3011976/3368532 swapFree=1953580/1959888
[pid=2642] ppid=2640 vsize=148724 CPUtime=889.26
/proc/2642/stat : 2642 (satake) S 2640 2642 21929 0 -1 4202496 37951 0 0 0 84640 4286 0 0 17 0 4 0 1129177906 152293376 33689 4294967295 134512640 135180984 3219192160 3219191596 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/2642/statm: 37181 33689 77 164 0 37016 0
[pid=2642/tid=2644] ppid=2640 vsize=148724 CPUtime=286.32
/proc/2642/task/2644/stat : 2644 (satake) R 2640 2642 21929 0 -1 4202560 9713 0 0 0 27874 758 0 0 21 0 4 0 1129177906 152293376 33689 4294967295 134512640 135180984 3219192160 3086762376 134579745 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=2642/tid=2645] ppid=2640 vsize=148724 CPUtime=288.06
/proc/2642/task/2645/stat : 2645 (satake) R 2640 2642 21929 0 -1 4202560 9395 0 0 0 28015 791 0 0 25 0 4 0 1129177906 152293376 33689 4294967295 134512640 135180984 3219192160 3086696856 134672154 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=2642/tid=2646] ppid=2640 vsize=148724 CPUtime=287.49
/proc/2642/task/2646/stat : 2646 (satake) R 2640 2642 21929 0 -1 4202560 9454 0 0 0 28139 610 0 0 22 0 4 0 1129177906 152293376 33689 4294967295 134512640 135180984 3219192160 3086631304 134579745 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 889.26
Current children cumulated vsize (KiB) 148724

Child status: 4
Real time (s): 292.501
CPU time (s): 889.45
CPU user time (s): 846.55
CPU system time (s): 42.9
CPU usage (%): 304.084
Max. virtual memory (cumulated for all children) (KiB): 160244


getrusage(RUSAGE_CHILDREN,...) data:
user time used= 846.55
system time used= 42.9
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37952
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= 2387769
involuntary context switches= 1314302

runsolver used 0 second user time and 0 second system time

The end

Launcher Data 

Begin job on  at 2009-05-30 02:58:55
IDJOB=1779925
IDBENCH=70941
IDSOLVER=629
FILE ID=/1779925-1243645135
PBS_JOBID=
Free space on /tmp= 15882 MiB

SOLVER NAME= satake 2009-03-22 (4 threads)
BENCH NAME= SAT09/APPLICATIONS/bioinfo/q_query_3_l46_lambda.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1779925-1243645135/watcher-1779925-1243645135 -o /tmp/evaluation-result-1779925-1243645135/solver-1779925-1243645135 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1779925-1243645135.cnf 4 10000

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

MD5SUM BENCH= eb4d0d02a25a8a84182ddd3b6d1fa8b5
RANDOM SEED= 1522296221

Linux (none) 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.105
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.105
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.11
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.105
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.16
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.105
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.15
clflush size	: 64


/proc/meminfo:
MemTotal:      3368532 kB
MemFree:       3154840 kB
Buffers:         38260 kB
Cached:          98256 kB
SwapCached:       2424 kB
Active:          95476 kB
Inactive:        51156 kB
HighTotal:     2489216 kB
HighFree:      2378456 kB
LowTotal:       879316 kB
LowFree:        776384 kB
SwapTotal:     1959888 kB
SwapFree:      1953580 kB
Dirty:            3876 kB
Writeback:           0 kB
AnonPages:        9616 kB
Mapped:           4644 kB
Slab:            57224 kB
SReclaimable:    49412 kB
SUnreclaim:       7812 kB
PageTables:        460 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:    93568 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 15882 MiB
End job on  at 2009-05-30 03:03:47