Trace number 1780045

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 1008.35 332.963

General information on the benchmark

NameAPPLICATIONS/bioinfo/
q_query_3_l45_lambda.cnf
MD5SUM94aa7bdbcbe99c5b3082c395dc2384e9
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark345.2
Satisfiable
(Un)Satisfiability was proved
Number of variables32313
Number of clauses161529
Sum of the clauses size465707
Maximum clause length9
Minimum clause length1
Number of clauses of size 14190
Number of clauses of size 240231
Number of clauses of size 394818
Number of clauses of size 415389
Number of clauses of size 56766
Number of clauses of size over 5135

Solver Data 

1008.28/332.95	c Benchmark name    : HOME/instance-1780045-1243645961.cnf
1008.28/332.95	c Thread Num        :            4
1008.28/332.95	c restarts          :           18
1008.28/332.95	c conflicts         :       200138
1008.28/332.95	c decisions         :       285253           (      857 / sec      )
1008.28/332.95	c propagations      :    147514966           (   443412 / sec      )
1008.28/332.95	c inspects          :   1644216180           (  4942312 / sec      )
1008.28/332.95	c conflict literals :      4736008           (    38.89 % deleted  )
1008.28/332.95	c cpu time          :       332.68           
1008.28/332.95	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-1780045-1243645961/watcher-1780045-1243645961 -o /tmp/evaluation-result-1780045-1243645961/solver-1780045-1243645961 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1780045-1243645961.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.20 3.06 3.00 3/115 26523
/proc/meminfo: memFree=2977396/3368532 swapFree=1941392/1959888
[pid=26523] ppid=26521 vsize=5264 CPUtime=0
/proc/26523/stat : 26523 (satake) S 26521 26523 11369 0 -1 4202496 848 0 0 0 0 0 0 0 18 0 5 0 1129275929 5390336 805 4294967295 134512640 135180984 3213423584 3213423020 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/26523/statm: 1316 809 63 164 0 1151 0
[pid=26523/tid=26524] ppid=26521 vsize=5264 CPUtime=0
/proc/26523/task/26524/stat : 26524 (satake) S 26521 26523 11369 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1129275929 5390336 829 4294967295 134512640 135180984 3213423584 3086675984 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=26523/tid=26525] ppid=26521 vsize=5264 CPUtime=0
/proc/26523/task/26525/stat : 26525 (satake) R 26521 26523 11369 0 -1 4202560 759 0 0 0 0 0 0 0 20 0 5 0 1129275929 5390336 834 4294967295 134512640 135180984 3213423584 3086610724 134583077 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=26523/tid=26526] ppid=26521 vsize=5264 CPUtime=0
/proc/26523/task/26526/stat : 26526 (satake) R 26521 26523 11369 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 5 0 1129275929 5390336 838 4294967295 134512640 135180984 3213423584 3086545732 134705812 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=26523/tid=26527] ppid=26521 vsize=4132 CPUtime=0
/proc/26523/task/26527/stat : 26527 (satake) R 26521 26523 11369 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 5 0 1129275929 4231168 838 4294967295 134512640 135180984 3213423584 3086480196 134705812 0 0 0 0 0 0 0 -1 2 0 0 0

[startup+0.018761 s]
/proc/loadavg: 3.20 3.06 3.00 3/115 26523
/proc/meminfo: memFree=2977396/3368532 swapFree=1941392/1959888
[pid=26523] ppid=26521 vsize=13344 CPUtime=0.03
/proc/26523/stat : 26523 (satake) S 26521 26523 11369 0 -1 4202496 2460 0 0 0 2 1 0 0 18 0 5 0 1129275929 13664256 2415 4294967295 134512640 135180984 3213423584 3213423020 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/26523/statm: 3336 2416 63 164 0 3171 0
[pid=26523/tid=26524] ppid=26521 vsize=13344 CPUtime=0
/proc/26523/task/26524/stat : 26524 (satake) S 26521 26523 11369 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1129275929 13664256 2418 4294967295 134512640 135180984 3213423584 3086675984 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=26523/tid=26525] ppid=26521 vsize=13344 CPUtime=0.02
/proc/26523/task/26525/stat : 26525 (satake) R 26521 26523 11369 0 -1 4202560 996 0 0 0 2 0 0 0 20 0 5 0 1129275929 13664256 2418 4294967295 134512640 135180984 3213423584 3086610688 134522388 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=26523/tid=26526] ppid=26521 vsize=13344 CPUtime=0
/proc/26523/task/26526/stat : 26526 (satake) R 26521 26523 11369 0 -1 4202560 774 0 0 0 0 0 0 0 21 0 5 0 1129275929 13664256 2418 4294967295 134512640 135180984 3213423584 3086545076 134579486 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=26523/tid=26527] ppid=26521 vsize=13344 CPUtime=0.01
/proc/26523/task/26527/stat : 26527 (satake) R 26521 26523 11369 0 -1 4202560 574 0 0 0 0 1 0 0 20 0 5 0 1129275929 13664256 2418 4294967295 134512640 135180984 3213423584 3086479652 134583077 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13344

[startup+0.118747 s]
/proc/loadavg: 3.20 3.06 3.00 3/115 26523
/proc/meminfo: memFree=2977396/3368532 swapFree=1941392/1959888
[pid=26523] ppid=26521 vsize=29824 CPUtime=0.29
/proc/26523/stat : 26523 (satake) S 26521 26523 11369 0 -1 4202496 6273 0 0 0 26 3 0 0 18 0 5 0 1129275929 30539776 6220 4294967295 134512640 135180984 3213423584 3213423020 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/26523/statm: 7456 6222 63 164 0 7291 0
[pid=26523/tid=26524] ppid=26521 vsize=29824 CPUtime=0
/proc/26523/task/26524/stat : 26524 (satake) S 26521 26523 11369 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1129275929 30539776 6222 4294967295 134512640 135180984 3213423584 3086675984 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=26523/tid=26525] ppid=26521 vsize=29824 CPUtime=0.12
/proc/26523/task/26525/stat : 26525 (satake) R 26521 26523 11369 0 -1 4202560 2359 0 0 0 12 0 0 0 19 0 5 0 1129275929 30539776 6222 4294967295 134512640 135180984 3213423584 3086610504 134675846 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=26523/tid=26526] ppid=26521 vsize=29824 CPUtime=0.07
/proc/26523/task/26526/stat : 26526 (satake) R 26521 26523 11369 0 -1 4202560 1909 0 0 0 5 2 0 0 20 0 5 0 1129275929 30539776 6222 4294967295 134512640 135180984 3213423584 3086545184 134513707 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=26523/tid=26527] ppid=26521 vsize=29824 CPUtime=0.1
/proc/26523/task/26527/stat : 26527 (satake) R 26521 26523 11369 0 -1 4202560 1888 0 0 0 9 1 0 0 20 0 5 0 1129275929 30539776 6223 4294967295 134512640 135180984 3213423584 3086479648 134513759 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 29824

[startup+0.31874 s]
/proc/loadavg: 3.20 3.06 3.00 3/115 26523
/proc/meminfo: memFree=2977396/3368532 swapFree=1941392/1959888
[pid=26523] ppid=26521 vsize=32608 CPUtime=0.86
/proc/26523/stat : 26523 (satake) S 26521 26523 11369 0 -1 4202496 9804 0 0 0 81 5 0 0 18 0 5 0 1129275929 33390592 7525 4294967295 134512640 135180984 3213423584 3213423020 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/26523/statm: 8152 7525 68 164 0 7987 0
[pid=26523/tid=26524] ppid=26521 vsize=32608 CPUtime=0.03
/proc/26523/task/26524/stat : 26524 (satake) S 26521 26523 11369 0 -1 4202560 557 0 0 0 2 1 0 0 17 0 5 0 1129275929 33390592 7525 4294967295 134512640 135180984 3213423584 3086675984 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=26523/tid=26525] ppid=26521 vsize=32608 CPUtime=0.3
/proc/26523/task/26525/stat : 26525 (satake) R 26521 26523 11369 0 -1 4202560 3085 0 0 0 30 0 0 0 17 0 5 0 1129275929 33390592 7525 4294967295 134512640 135180984 3213423584 3086610288 134528595 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=26523/tid=26526] ppid=26521 vsize=32608 CPUtime=0.26
/proc/26523/task/26526/stat : 26526 (satake) R 26521 26523 11369 0 -1 4202560 3057 0 0 0 23 3 0 0 18 0 5 0 1129275929 33390592 7525 4294967295 134512640 135180984 3213423584 3086544752 134528881 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=26523/tid=26527] ppid=26521 vsize=32608 CPUtime=0.27
/proc/26523/task/26527/stat : 26527 (satake) R 26521 26523 11369 0 -1 4202560 2993 0 0 0 26 1 0 0 19 0 5 0 1129275929 33390592 7525 4294967295 134512640 135180984 3213423584 3086479212 134520901 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.86
Current children cumulated vsize (KiB) 32608

[startup+0.71872 s]
/proc/loadavg: 3.20 3.06 3.00 3/115 26523
/proc/meminfo: memFree=2977396/3368532 swapFree=1941392/1959888
[pid=26523] ppid=26521 vsize=32872 CPUtime=2.02
/proc/26523/stat : 26523 (satake) S 26521 26523 11369 0 -1 4202496 10005 0 0 0 182 20 0 0 18 0 5 0 1129275929 33660928 7726 4294967295 134512640 135180984 3213423584 3213423020 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/26523/statm: 8218 7726 68 164 0 8053 0
[pid=26523/tid=26524] ppid=26521 vsize=32872 CPUtime=0.12
/proc/26523/task/26524/stat : 26524 (satake) S 26521 26523 11369 0 -1 4202560 600 0 0 0 6 6 0 0 15 0 5 0 1129275929 33660928 7726 4294967295 134512640 135180984 3213423584 3086675984 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=26523/tid=26525] ppid=26521 vsize=32872 CPUtime=0.67
/proc/26523/task/26525/stat : 26525 (satake) R 26521 26523 11369 0 -1 4202560 3156 0 0 0 65 2 0 0 17 0 5 0 1129275929 33660928 7726 4294967295 134512640 135180984 3213423584 3086610224 134520711 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=26523/tid=26526] ppid=26521 vsize=32872 CPUtime=0.65
/proc/26523/task/26526/stat : 26526 (satake) R 26521 26523 11369 0 -1 4202560 3093 0 0 0 57 8 0 0 18 0 5 0 1129275929 33660928 7726 4294967295 134512640 135180984 3213423584 3086544688 134520784 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=26523/tid=26527] ppid=26521 vsize=32872 CPUtime=0.58
/proc/26523/task/26527/stat : 26527 (satake) R 26521 26523 11369 0 -1 4202560 3044 0 0 0 54 4 0 0 20 0 5 0 1129275929 33660928 7726 4294967295 134512640 135180984 3213423584 3086479152 134520798 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.02
Current children cumulated vsize (KiB) 32872

[startup+1.51869 s]
/proc/loadavg: 3.18 3.06 3.00 4/120 26529
/proc/meminfo: memFree=2947648/3368532 swapFree=1941392/1959888
[pid=26523] ppid=26521 vsize=34028 CPUtime=4.44
/proc/26523/stat : 26523 (satake) S 26521 26523 11369 0 -1 4202496 10212 0 0 0 376 68 0 0 18 0 5 0 1129275929 34844672 7933 4294967295 134512640 135180984 3213423584 3213423020 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/26523/statm: 8507 7933 68 164 0 8342 0
[pid=26523/tid=26524] ppid=26521 vsize=34028 CPUtime=0.48
/proc/26523/task/26524/stat : 26524 (satake) S 26521 26523 11369 0 -1 4202560 667 0 0 0 17 31 0 0 16 0 5 0 1129275929 34844672 7933 4294967295 134512640 135180984 3213423584 3086675984 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=26523/tid=26525] ppid=26521 vsize=34028 CPUtime=1.41
/proc/26523/task/26525/stat : 26525 (satake) R 26521 26523 11369 0 -1 4202560 3210 0 0 0 129 12 0 0 18 0 5 0 1129275929 34844672 7933 4294967295 134512640 135180984 3213423584 3086610288 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=26523/tid=26526] ppid=26521 vsize=34028 CPUtime=1.4
/proc/26523/task/26526/stat : 26526 (satake) R 26521 26523 11369 0 -1 4202560 3153 0 0 0 123 17 0 0 18 0 5 0 1129275929 34844672 7933 4294967295 134512640 135180984 3213423584 3086544816 134532445 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=26523/tid=26527] ppid=26521 vsize=34028 CPUtime=1.15
/proc/26523/task/26527/stat : 26527 (satake) R 26521 26523 11369 0 -1 4202560 3070 0 0 0 107 8 0 0 20 0 5 0 1129275929 34844672 7933 4294967295 134512640 135180984 3213423584 3086479216 134528688 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.44
Current children cumulated vsize (KiB) 34028

[startup+3.11863 s]
/proc/loadavg: 3.18 3.06 3.00 5/120 26529
/proc/meminfo: memFree=2945580/3368532 swapFree=1941392/1959888
[pid=26523] ppid=26521 vsize=38012 CPUtime=9.86
/proc/26523/stat : 26523 (satake) S 26521 26523 11369 0 -1 4202496 11155 0 0 0 786 200 0 0 18 0 5 0 1129275929 38924288 8876 4294967295 134512640 135180984 3213423584 3213423020 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/26523/statm: 9503 8876 68 164 0 9338 0
[pid=26523/tid=26524] ppid=26521 vsize=38012 CPUtime=1.3
/proc/26523/task/26524/stat : 26524 (satake) S 26521 26523 11369 0 -1 4202560 951 0 0 0 34 96 0 0 16 0 5 0 1129275929 38924288 8876 4294967295 134512640 135180984 3213423584 3086675984 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=26523/tid=26525] ppid=26521 vsize=38012 CPUtime=2.98
/proc/26523/task/26525/stat : 26525 (satake) R 26521 26523 11369 0 -1 4202560 3464 0 0 0 264 34 0 0 18 0 5 0 1129275929 38924288 8876 4294967295 134512640 135180984 3213423584 3086610288 134528411 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=26523/tid=26526] ppid=26521 vsize=38012 CPUtime=2.86
/proc/26523/task/26526/stat : 26526 (satake) R 26521 26523 11369 0 -1 4202560 3371 0 0 0 254 32 0 0 18 0 5 0 1129275929 38924288 8876 4294967295 134512640 135180984 3213423584 3086544752 134528881 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=26523/tid=26527] ppid=26521 vsize=38012 CPUtime=2.72
/proc/26523/task/26527/stat : 26527 (satake) R 26521 26523 11369 0 -1 4202560 3257 0 0 0 234 38 0 0 19 0 5 0 1129275929 38924288 8876 4294967295 134512640 135180984 3213423584 3086479216 134528611 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 9.86
Current children cumulated vsize (KiB) 38012

[startup+6.3185 s]
/proc/loadavg: 3.17 3.06 3.00 5/120 26530
/proc/meminfo: memFree=2938876/3368532 swapFree=1941392/1959888
[pid=26523] ppid=26521 vsize=43820 CPUtime=20.39
/proc/26523/stat : 26523 (satake) S 26521 26523 11369 0 -1 4202496 12619 0 0 0 1649 390 0 0 18 0 5 0 1129275929 44871680 10340 4294967295 134512640 135180984 3213423584 3213423020 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/26523/statm: 10955 10340 68 164 0 10790 0
[pid=26523/tid=26524] ppid=26521 vsize=43820 CPUtime=2.46
/proc/26523/task/26524/stat : 26524 (satake) S 26521 26523 11369 0 -1 4202560 1388 0 0 0 56 190 0 0 16 0 5 0 1129275929 44871680 10340 4294967295 134512640 135180984 3213423584 3086675984 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=26523/tid=26525] ppid=26521 vsize=43820 CPUtime=6.09
/proc/26523/task/26525/stat : 26525 (satake) R 26521 26523 11369 0 -1 4202560 3794 0 0 0 539 70 0 0 18 0 5 0 1129275929 44871680 10340 4294967295 134512640 135180984 3213423584 3086610284 134518246 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=26523/tid=26526] ppid=26521 vsize=43820 CPUtime=5.97
/proc/26523/task/26526/stat : 26526 (satake) R 26521 26523 11369 0 -1 4202560 3755 0 0 0 545 52 0 0 20 0 5 0 1129275929 44871680 10340 4294967295 134512640 135180984 3213423584 3086544752 134528576 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=26523/tid=26527] ppid=26521 vsize=43820 CPUtime=5.87
/proc/26523/task/26527/stat : 26527 (satake) R 26521 26523 11369 0 -1 4202560 3570 0 0 0 509 78 0 0 18 0 5 0 1129275929 44871680 10340 4294967295 134512640 135180984 3213423584 3086479120 134525399 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 20.39
Current children cumulated vsize (KiB) 43820

[startup+12.7182 s]
/proc/loadavg: 3.16 3.06 3.00 4/120 26530
/proc/meminfo: memFree=2930064/3368532 swapFree=1941392/1959888
[pid=26523] ppid=26521 vsize=52464 CPUtime=40.86
/proc/26523/stat : 26523 (satake) S 26521 26523 11369 0 -1 4202496 14638 0 0 0 3441 645 0 0 18 0 5 0 1129275929 53723136 12359 4294967295 134512640 135180984 3213423584 3213423020 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/26523/statm: 13116 12359 68 164 0 12951 0
[pid=26523/tid=26524] ppid=26521 vsize=52464 CPUtime=4.01
/proc/26523/task/26524/stat : 26524 (satake) S 26521 26523 11369 0 -1 4202560 2017 0 0 0 95 306 0 0 16 0 5 0 1129275929 53723136 12359 4294967295 134512640 135180984 3213423584 3086675984 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=26523/tid=26525] ppid=26521 vsize=52464 CPUtime=12.43
/proc/26523/task/26525/stat : 26525 (satake) R 26521 26523 11369 0 -1 4202560 4199 0 0 0 1112 131 0 0 19 0 5 0 1129275929 53723136 12359 4294967295 134512640 135180984 3213423584 3086610288 134528562 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=26523/tid=26526] ppid=26521 vsize=52464 CPUtime=12.23
/proc/26523/task/26526/stat : 26526 (satake) R 26521 26523 11369 0 -1 4202560 4258 0 0 0 1144 79 0 0 25 0 5 0 1129275929 53723136 12359 4294967295 134512640 135180984 3213423584 3086544748 134518218 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=26523/tid=26527] ppid=26521 vsize=52464 CPUtime=12.19
/proc/26523/task/26527/stat : 26527 (satake) R 26521 26523 11369 0 -1 4202560 4052 0 0 0 1090 129 0 0 21 0 5 0 1129275929 53723136 12359 4294967295 134512640 135180984 3213423584 3086479216 134528433 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 40.86
Current children cumulated vsize (KiB) 52464

[startup+25.5177 s]
/proc/loadavg: 3.19 3.07 3.00 4/120 26531
/proc/meminfo: memFree=2918940/3368532 swapFree=1941392/1959888
[pid=26523] ppid=26521 vsize=63464 CPUtime=81.01
/proc/26523/stat : 26523 (satake) S 26521 26523 11369 0 -1 4202496 17236 0 0 0 7121 980 0 0 18 0 5 0 1129275929 64987136 14957 4294967295 134512640 135180984 3213423584 3213423020 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/26523/statm: 15866 14957 68 164 0 15701 0
[pid=26523/tid=26524] ppid=26521 vsize=63464 CPUtime=6.03
/proc/26523/task/26524/stat : 26524 (satake) S 26521 26523 11369 0 -1 4202560 2752 0 0 0 133 470 0 0 16 0 5 0 1129275929 64987136 14957 4294967295 134512640 135180984 3213423584 3086675984 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=26523/tid=26525] ppid=26521 vsize=63464 CPUtime=25.18
/proc/26523/task/26525/stat : 26525 (satake) R 26521 26523 11369 0 -1 4202560 4761 0 0 0 2318 200 0 0 25 0 5 0 1129275929 64987136 14957 4294967295 134512640 135180984 3213423584 3086610288 134528211 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=26523/tid=26526] ppid=26521 vsize=63464 CPUtime=24.86
/proc/26523/task/26526/stat : 26526 (satake) R 26521 26523 11369 0 -1 4202560 4935 0 0 0 2364 122 0 0 25 0 5 0 1129275929 64987136 14957 4294967295 134512640 135180984 3213423584 3086544752 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=26523/tid=26527] ppid=26521 vsize=63464 CPUtime=24.94
/proc/26523/task/26527/stat : 26527 (satake) R 26521 26523 11369 0 -1 4202560 4676 0 0 0 2306 188 0 0 25 0 5 0 1129275929 64987136 14957 4294967295 134512640 135180984 3213423584 3086479216 134528433 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 81.01
Current children cumulated vsize (KiB) 63464

[startup+51.1167 s]
/proc/loadavg: 3.27 3.10 3.01 5/120 26715
/proc/meminfo: memFree=2912108/3368532 swapFree=1941392/1959888
[pid=26523] ppid=26521 vsize=71008 CPUtime=158.19
/proc/26523/stat : 26523 (satake) S 26521 26523 11369 0 -1 4202496 19063 0 0 0 14299 1520 0 0 18 0 5 0 1129275929 72712192 16775 4294967295 134512640 135180984 3213423584 3213423020 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/26523/statm: 17752 16775 68 164 0 17587 0
[pid=26523/tid=26524] ppid=26521 vsize=71008 CPUtime=9.58
/proc/26523/task/26524/stat : 26524 (satake) S 26521 26523 11369 0 -1 4202560 3574 0 0 0 225 733 0 0 16 0 5 0 1129275929 72712192 16775 4294967295 134512640 135180984 3213423584 3086675984 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=26523/tid=26525] ppid=26521 vsize=71008 CPUtime=50.5
/proc/26523/task/26525/stat : 26525 (satake) R 26521 26523 11369 0 -1 4202560 5070 0 0 0 4760 290 0 0 25 0 5 0 1129275929 72712192 16775 4294967295 134512640 135180984 3213423584 3086610288 134528866 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=26523/tid=26526] ppid=26521 vsize=71008 CPUtime=49.87
/proc/26523/task/26526/stat : 26526 (satake) R 26521 26523 11369 0 -1 4202560 5348 0 0 0 4752 235 0 0 25 0 5 0 1129275929 72712192 16775 4294967295 134512640 135180984 3213423584 3086544752 134528532 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=26523/tid=26527] ppid=26521 vsize=71008 CPUtime=48.24
/proc/26523/task/26527/stat : 26527 (satake) R 26521 26523 11369 0 -1 4202560 4959 0 0 0 4562 262 0 0 25 0 5 0 1129275929 72712192 16775 4294967295 134512640 135180984 3213423584 3086479216 134528433 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 158.19
Current children cumulated vsize (KiB) 71008

[startup+102.315 s]
/proc/loadavg: 3.36 3.14 3.03 4/120 26903

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

[startup+222.31 s]
/proc/loadavg: 3.05 3.09 3.02 4/120 27277
/proc/meminfo: memFree=2846900/3368532 swapFree=1941392/1959888
[pid=26523] ppid=26521 vsize=140424 CPUtime=676.11
/proc/26523/stat : 26523 (satake) S 26521 26523 11369 0 -1 4202496 34983 0 0 0 64342 3269 0 0 18 0 5 0 1129275929 143794176 32695 4294967295 134512640 135180984 3213423584 3213423020 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/26523/statm: 35106 32695 68 164 0 34941 0
[pid=26523/tid=26524] ppid=26521 vsize=140424 CPUtime=20.42
/proc/26523/task/26524/stat : 26524 (satake) S 26521 26523 11369 0 -1 4202560 7705 0 0 0 450 1592 0 0 16 0 5 0 1129275929 143794176 32695 4294967295 134512640 135180984 3213423584 3086675984 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=26523/tid=26525] ppid=26521 vsize=140424 CPUtime=221.04
/proc/26523/task/26525/stat : 26525 (satake) R 26521 26523 11369 0 -1 4202560 8953 0 0 0 21522 582 0 0 25 0 5 0 1129275929 143794176 32695 4294967295 134512640 135180984 3213423584 3086610284 134518208 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=26523/tid=26526] ppid=26521 vsize=140424 CPUtime=219.71
/proc/26523/task/26526/stat : 26526 (satake) R 26521 26523 11369 0 -1 4202560 9348 0 0 0 21427 544 0 0 25 0 5 0 1129275929 143794176 32695 4294967295 134512640 135180984 3213423584 3086544752 134528760 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=26523/tid=26527] ppid=26521 vsize=140424 CPUtime=214.94
/proc/26523/task/26527/stat : 26527 (satake) R 26521 26523 11369 0 -1 4202560 8865 0 0 0 20943 551 0 0 25 0 5 0 1129275929 143794176 32695 4294967295 134512640 135180984 3213423584 3086479136 134520701 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 676.11
Current children cumulated vsize (KiB) 140424

[startup+282.307 s]
/proc/loadavg: 3.12 3.10 3.02 4/120 27472
/proc/meminfo: memFree=2840608/3368532 swapFree=1941392/1959888
[pid=26523] ppid=26521 vsize=147200 CPUtime=856.78
/proc/26523/stat : 26523 (satake) S 26521 26523 11369 0 -1 4202496 36307 0 0 0 81573 4105 0 0 18 0 5 0 1129275929 150732800 34019 4294967295 134512640 135180984 3213423584 3213423020 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/26523/statm: 36800 34019 68 164 0 36635 0
[pid=26523/tid=26524] ppid=26521 vsize=147200 CPUtime=25.83
/proc/26523/task/26524/stat : 26524 (satake) S 26521 26523 11369 0 -1 4202560 8695 0 0 0 583 2000 0 0 16 0 5 0 1129275929 150732800 34019 4294967295 134512640 135180984 3213423584 3086675984 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=26523/tid=26525] ppid=26521 vsize=147200 CPUtime=279.33
/proc/26523/task/26525/stat : 26525 (satake) R 26521 26523 11369 0 -1 4202560 9110 0 0 0 27234 699 0 0 25 0 5 0 1129275929 150732800 34019 4294967295 134512640 135180984 3213423584 3086610288 134528677 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=26523/tid=26526] ppid=26521 vsize=147200 CPUtime=279.22
/proc/26523/task/26526/stat : 26526 (satake) R 26521 26523 11369 0 -1 4202560 9486 0 0 0 27198 724 0 0 25 0 5 0 1129275929 150732800 34019 4294967295 134512640 135180984 3213423584 3086544752 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=26523/tid=26527] ppid=26521 vsize=147200 CPUtime=272.4
/proc/26523/task/26527/stat : 26527 (satake) R 26521 26523 11369 0 -1 4202560 8904 0 0 0 26558 682 0 0 25 0 5 0 1129275929 150732800 34019 4294967295 134512640 135180984 3213423584 3086479216 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 856.78
Current children cumulated vsize (KiB) 147200

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

[startup+307.107 s]
/proc/loadavg: 3.08 3.09 3.02 4/120 27478
/proc/meminfo: memFree=2839432/3368532 swapFree=1941392/1959888
[pid=26523] ppid=26521 vsize=148340 CPUtime=931.07
/proc/26523/stat : 26523 (satake) S 26521 26523 11369 0 -1 4202496 36688 0 0 0 88762 4345 0 0 18 0 5 0 1129275929 151900160 34400 4294967295 134512640 135180984 3213423584 3213423020 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/26523/statm: 37085 34400 68 164 0 36920 0
[pid=26523/tid=26524] ppid=26521 vsize=148340 CPUtime=27.37
/proc/26523/task/26524/stat : 26524 (satake) S 26521 26523 11369 0 -1 4202560 8970 0 0 0 619 2118 0 0 16 0 5 0 1129275929 151900160 34400 4294967295 134512640 135180984 3213423584 3086675984 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=26523/tid=26525] ppid=26521 vsize=148340 CPUtime=304.07
/proc/26523/task/26525/stat : 26525 (satake) R 26521 26523 11369 0 -1 4202560 9127 0 0 0 29680 727 0 0 25 0 5 0 1129275929 151900160 34400 4294967295 134512640 135180984 3213423584 3086610288 134528433 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=26523/tid=26526] ppid=26521 vsize=148340 CPUtime=303.97
/proc/26523/task/26526/stat : 26526 (satake) R 26521 26523 11369 0 -1 4202560 9529 0 0 0 29605 792 0 0 25 0 5 0 1129275929 151900160 34400 4294967295 134512640 135180984 3213423584 3086544744 134518252 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=26523/tid=26527] ppid=26521 vsize=148340 CPUtime=295.66
/proc/26523/task/26527/stat : 26527 (satake) R 26521 26523 11369 0 -1 4202560 8950 0 0 0 28858 708 0 0 25 0 5 0 1129275929 151900160 34400 4294967295 134512640 135180984 3213423584 3086479216 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 931.07
Current children cumulated vsize (KiB) 148340

[startup+319.906 s]
/proc/loadavg: 3.07 3.09 3.02 4/120 27478
/proc/meminfo: memFree=2839092/3368532 swapFree=1941392/1959888
[pid=26523] ppid=26521 vsize=148964 CPUtime=969.41
/proc/26523/stat : 26523 (satake) S 26521 26523 11369 0 -1 4202496 36836 0 0 0 92506 4435 0 0 18 0 5 0 1129275929 152539136 34548 4294967295 134512640 135180984 3213423584 3213423020 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/26523/statm: 37241 34548 68 164 0 37076 0
[pid=26523/tid=26524] ppid=26521 vsize=148964 CPUtime=28.06
/proc/26523/task/26524/stat : 26524 (satake) S 26521 26523 11369 0 -1 4202560 9082 0 0 0 639 2167 0 0 16 0 5 0 1129275929 152539136 34548 4294967295 134512640 135180984 3213423584 3086675984 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=26523/tid=26525] ppid=26521 vsize=148964 CPUtime=316.83
/proc/26523/task/26525/stat : 26525 (satake) R 26521 26523 11369 0 -1 4202560 9138 0 0 0 30940 743 0 0 25 0 5 0 1129275929 152539136 34548 4294967295 134512640 135180984 3213423584 3086610288 134528433 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=26523/tid=26526] ppid=26521 vsize=148964 CPUtime=316.76
/proc/26523/task/26526/stat : 26526 (satake) R 26521 26523 11369 0 -1 4202560 9538 0 0 0 30863 813 0 0 25 0 5 0 1129275929 152539136 34548 4294967295 134512640 135180984 3213423584 3086544752 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=26523/tid=26527] ppid=26521 vsize=148964 CPUtime=307.76
/proc/26523/task/26527/stat : 26527 (satake) R 26521 26523 11369 0 -1 4202560 8966 0 0 0 30064 712 0 0 25 0 5 0 1129275929 152539136 34548 4294967295 134512640 135180984 3213423584 3086479216 134528562 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 969.41
Current children cumulated vsize (KiB) 148964

[startup+326.306 s]
/proc/loadavg: 3.06 3.08 3.02 4/120 27479
/proc/meminfo: memFree=2838960/3368532 swapFree=1941392/1959888
[pid=26523] ppid=26521 vsize=149452 CPUtime=988.6
/proc/26523/stat : 26523 (satake) S 26521 26523 11369 0 -1 4202496 36911 0 0 0 94398 4462 0 0 18 0 5 0 1129275929 153038848 34623 4294967295 134512640 135180984 3213423584 3213423020 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/26523/statm: 37363 34623 68 164 0 37198 0
[pid=26523/tid=26524] ppid=26521 vsize=149452 CPUtime=28.24
/proc/26523/task/26524/stat : 26524 (satake) S 26521 26523 11369 0 -1 4202560 9108 0 0 0 644 2180 0 0 15 0 5 0 1129275929 153038848 34623 4294967295 134512640 135180984 3213423584 3086675984 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=26523/tid=26525] ppid=26521 vsize=149452 CPUtime=323.22
/proc/26523/task/26525/stat : 26525 (satake) R 26521 26523 11369 0 -1 4202560 9185 0 0 0 31576 746 0 0 25 0 5 0 1129275929 153038848 34623 4294967295 134512640 135180984 3213423584 3086610224 134520804 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=26523/tid=26526] ppid=26521 vsize=149452 CPUtime=323.16
/proc/26523/task/26526/stat : 26526 (satake) R 26521 26523 11369 0 -1 4202560 9538 0 0 0 31496 820 0 0 25 0 5 0 1129275929 153038848 34623 4294967295 134512640 135180984 3213423584 3086544688 134520716 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=26523/tid=26527] ppid=26521 vsize=149452 CPUtime=313.98
/proc/26523/task/26527/stat : 26527 (satake) R 26521 26523 11369 0 -1 4202560 8968 0 0 0 30682 716 0 0 25 0 5 0 1129275929 153038848 34623 4294967295 134512640 135180984 3213423584 3086479152 134520716 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 988.6
Current children cumulated vsize (KiB) 149452

[startup+329.506 s]
/proc/loadavg: 3.06 3.08 3.02 4/120 27479
/proc/meminfo: memFree=2838968/3368532 swapFree=1941392/1959888
[pid=26523] ppid=26521 vsize=149452 CPUtime=998.2
/proc/26523/stat : 26523 (satake) S 26521 26523 11369 0 -1 4202496 36911 0 0 0 95358 4462 0 0 18 0 5 0 1129275929 153038848 34623 4294967295 134512640 135180984 3213423584 3213423020 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/26523/statm: 37363 34623 68 164 0 37198 0
[pid=26523/tid=26524] ppid=26521 vsize=149452 CPUtime=28.24
/proc/26523/task/26524/stat : 26524 (satake) S 26521 26523 11369 0 -1 4202560 9108 0 0 0 644 2180 0 0 15 0 5 0 1129275929 153038848 34623 4294967295 134512640 135180984 3213423584 3086675984 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=26523/tid=26525] ppid=26521 vsize=149452 CPUtime=326.42
/proc/26523/task/26525/stat : 26525 (satake) R 26521 26523 11369 0 -1 4202560 9185 0 0 0 31896 746 0 0 25 0 5 0 1129275929 153038848 34623 4294967295 134512640 135180984 3213423584 3086610224 134520716 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=26523/tid=26526] ppid=26521 vsize=149452 CPUtime=326.36
/proc/26523/task/26526/stat : 26526 (satake) R 26521 26523 11369 0 -1 4202560 9538 0 0 0 31816 820 0 0 25 0 5 0 1129275929 153038848 34623 4294967295 134512640 135180984 3213423584 3086544688 134520716 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=26523/tid=26527] ppid=26521 vsize=149452 CPUtime=317.18
/proc/26523/task/26527/stat : 26527 (satake) R 26521 26523 11369 0 -1 4202560 8968 0 0 0 31002 716 0 0 25 0 5 0 1129275929 153038848 34623 4294967295 134512640 135180984 3213423584 3086479152 134520716 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 998.2
Current children cumulated vsize (KiB) 149452

[startup+331.116 s]
/proc/loadavg: 3.05 3.08 3.02 4/120 27662
/proc/meminfo: memFree=2837956/3368532 swapFree=1941392/1959888
[pid=26523] ppid=26521 vsize=149452 CPUtime=1002.95
/proc/26523/stat : 26523 (satake) S 26521 26523 11369 0 -1 4202496 36926 0 0 0 95813 4482 0 0 18 0 5 0 1129275929 153038848 34638 4294967295 134512640 135180984 3213423584 3213423020 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/26523/statm: 37363 34638 68 164 0 37198 0
[pid=26523/tid=26524] ppid=26521 vsize=149452 CPUtime=28.41
/proc/26523/task/26524/stat : 26524 (satake) S 26521 26523 11369 0 -1 4202560 9123 0 0 0 653 2188 0 0 16 0 5 0 1129275929 153038848 34638 4294967295 134512640 135180984 3213423584 3086675984 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=26523/tid=26525] ppid=26521 vsize=149452 CPUtime=327.89
/proc/26523/task/26525/stat : 26525 (satake) R 26521 26523 11369 0 -1 4202560 9185 0 0 0 32039 750 0 0 25 0 5 0 1129275929 153038848 34638 4294967295 134512640 135180984 3213423584 3086610288 134528470 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=26523/tid=26526] ppid=26521 vsize=149452 CPUtime=327.93
/proc/26523/task/26526/stat : 26526 (satake) R 26521 26523 11369 0 -1 4202560 9538 0 0 0 31965 828 0 0 25 0 5 0 1129275929 153038848 34638 4294967295 134512640 135180984 3213423584 3086544744 134520863 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=26523/tid=26527] ppid=26521 vsize=149452 CPUtime=318.72
/proc/26523/task/26527/stat : 26527 (satake) R 26521 26523 11369 0 -1 4202560 8968 0 0 0 31156 716 0 0 25 0 5 0 1129275929 153038848 34638 4294967295 134512640 135180984 3213423584 3086479152 134520716 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1002.95
Current children cumulated vsize (KiB) 149452

[startup+331.906 s]
/proc/loadavg: 3.05 3.08 3.02 4/120 27662
/proc/meminfo: memFree=2837956/3368532 swapFree=1941392/1959888
[pid=26523] ppid=26521 vsize=149452 CPUtime=1005.38
/proc/26523/stat : 26523 (satake) S 26521 26523 11369 0 -1 4202496 36937 0 0 0 96041 4497 0 0 18 0 5 0 1129275929 153038848 34649 4294967295 134512640 135180984 3213423584 3213423020 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/26523/statm: 37363 34649 68 164 0 37198 0
[pid=26523/tid=26524] ppid=26521 vsize=149452 CPUtime=28.49
/proc/26523/task/26524/stat : 26524 (satake) S 26521 26523 11369 0 -1 4202560 9134 0 0 0 654 2195 0 0 16 0 5 0 1129275929 153038848 34649 4294967295 134512640 135180984 3213423584 3086675984 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=26523/tid=26525] ppid=26521 vsize=149452 CPUtime=328.68
/proc/26523/task/26525/stat : 26525 (satake) R 26521 26523 11369 0 -1 4202560 9185 0 0 0 32115 753 0 0 25 0 5 0 1129275929 153038848 34649 4294967295 134512640 135180984 3213423584 3086610284 134518229 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=26523/tid=26526] ppid=26521 vsize=149452 CPUtime=328.71
/proc/26523/task/26526/stat : 26526 (satake) R 26521 26523 11369 0 -1 4202560 9538 0 0 0 32038 833 0 0 25 0 5 0 1129275929 153038848 34649 4294967295 134512640 135180984 3213423584 3086544720 134520015 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=26523/tid=26527] ppid=26521 vsize=149452 CPUtime=319.5
/proc/26523/task/26527/stat : 26527 (satake) R 26521 26523 11369 0 -1 4202560 8968 0 0 0 31234 716 0 0 25 0 5 0 1129275929 153038848 34649 4294967295 134512640 135180984 3213423584 3086479152 134520716 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1005.38
Current children cumulated vsize (KiB) 149452

[startup+332.705 s]
/proc/loadavg: 3.05 3.08 3.02 4/120 27662
/proc/meminfo: memFree=2837884/3368532 swapFree=1941392/1959888
[pid=26523] ppid=26521 vsize=149772 CPUtime=1007.8
/proc/26523/stat : 26523 (satake) S 26521 26523 11369 0 -1 4202496 36956 0 0 0 96260 4520 0 0 18 0 5 0 1129275929 153366528 34668 4294967295 134512640 135180984 3213423584 3213423020 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/26523/statm: 37443 34668 77 164 0 37278 0
[pid=26523/tid=26524] ppid=26521 vsize=149772 CPUtime=28.68
/proc/26523/task/26524/stat : 26524 (satake) R 26521 26523 11369 0 -1 4202560 9144 0 0 0 662 2206 0 0 16 0 5 0 1129275929 153366528 34668 4294967295 134512640 135180984 3213423584 3086676360 134579745 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=26523/tid=26525] ppid=26521 vsize=149772 CPUtime=329.39
/proc/26523/task/26525/stat : 26525 (satake) R 26521 26523 11369 0 -1 4202560 9194 0 0 0 32181 758 0 0 18 0 5 0 1129275929 153366528 34668 4294967295 134512640 135180984 3213423584 3086610824 134579745 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=26523/tid=26526] ppid=26521 vsize=149772 CPUtime=329.43
/proc/26523/task/26526/stat : 26526 (satake) R 26521 26523 11369 0 -1 4202560 9538 0 0 0 32107 836 0 0 25 0 5 0 1129275929 153366528 34668 4294967295 134512640 135180984 3213423584 3086544744 134520863 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=26523/tid=26527] ppid=26521 vsize=149772 CPUtime=320.3
/proc/26523/task/26527/stat : 26527 (satake) R 26521 26523 11369 0 -1 4202560 8968 0 0 0 31310 720 0 0 25 0 5 0 1129275929 153366528 34668 4294967295 134512640 135180984 3213423584 3086479216 134528433 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1007.8
Current children cumulated vsize (KiB) 149772

[startup+332.905 s]
/proc/loadavg: 3.05 3.08 3.02 4/120 27662
/proc/meminfo: memFree=2837884/3368532 swapFree=1941392/1959888
[pid=26523] ppid=26521 vsize=139104 CPUtime=1008.28
/proc/26523/stat : 26523 (satake) S 26521 26523 11369 0 -1 4202496 36956 0 0 0 96288 4540 0 0 18 0 4 0 1129275929 142442496 32590 4294967295 134512640 135180984 3213423584 3213423020 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/26523/statm: 34776 32590 77 164 0 34611 0
[pid=26523/tid=26524] ppid=26521 vsize=139104 CPUtime=28.79
/proc/26523/task/26524/stat : 26524 (satake) R 26521 26523 11369 0 -1 4202560 9144 0 0 0 668 2211 0 0 16 0 4 0 1129275929 142442496 32590 4294967295 134512640 135180984 3213423584 3086676360 134579745 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=26523/tid=26526] ppid=26521 vsize=139104 CPUtime=329.57
/proc/26523/task/26526/stat : 26526 (satake) S 26521 26523 11369 0 -1 4202560 9538 0 0 0 32117 840 0 0 25 0 4 0 1129275929 142442496 32590 4294967295 134512640 135180984 3213423584 3086545272 134579486 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=26523/tid=26527] ppid=26521 vsize=139104 CPUtime=320.41
/proc/26523/task/26527/stat : 26527 (satake) R 26521 26523 11369 0 -1 4202560 8968 0 0 0 31316 725 0 0 24 0 4 0 1129275929 142442496 32590 4294967295 134512640 135180984 3213423584 3086479736 134579745 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1008.28
Current children cumulated vsize (KiB) 139104

Child status: 4
Real time (s): 332.963
CPU time (s): 1008.35
CPU user time (s): 962.92
CPU system time (s): 45.43
CPU usage (%): 302.842
Max. virtual memory (cumulated for all children) (KiB): 149772


getrusage(RUSAGE_CHILDREN,...) data:
user time used= 962.92
system time used= 45.43
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36957
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= 2634306
involuntary context switches= 1756120

runsolver used 0 second user time and 0 second system time

The end

Launcher Data 

Begin job on  at 2009-05-30 03:12:41
IDJOB=1780045
IDBENCH=70949
IDSOLVER=629
FILE ID=/1780045-1243645961
PBS_JOBID=
Free space on /tmp= 15727 MiB

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

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

MD5SUM BENCH= 94aa7bdbcbe99c5b3082c395dc2384e9
RANDOM SEED= 1483301021

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.143
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.143
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.143
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.17
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.143
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:       2977396 kB
Buffers:         48728 kB
Cached:         255860 kB
SwapCached:       4320 kB
Active:         143284 kB
Inactive:       172068 kB
HighTotal:     2489216 kB
HighFree:      2220500 kB
LowTotal:       879316 kB
LowFree:        756896 kB
SwapTotal:     1959888 kB
SwapFree:      1941392 kB
Dirty:            3660 kB
Writeback:           0 kB
AnonPages:        9356 kB
Mapped:           4296 kB
Slab:            64808 kB
SReclaimable:    56020 kB
SUnreclaim:       8788 kB
PageTables:        748 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:   127072 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 15727 MiB
End job on  at 2009-05-30 03:18:14