Trace number 1779910

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 937.5 304.455

General information on the benchmark

NameAPPLICATIONS/bioinfo/
q_query_3_l44_lambda.cnf
MD5SUMa7bc41b32260e4459b2bee7c18cacba1
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark385.17
Satisfiable
(Un)Satisfiability was proved
Number of variables31540
Number of clauses157264
Sum of the clauses size453246
Maximum clause length9
Minimum clause length1
Number of clauses of size 14112
Number of clauses of size 239373
Number of clauses of size 392004
Number of clauses of size 415027
Number of clauses of size 56616
Number of clauses of size over 5132

Solver Data 

937.45/304.45	c Benchmark name    : HOME/instance-1779910-1243645649.cnf
937.45/304.45	c Thread Num        :            4
937.45/304.45	c restarts          :           17
937.45/304.45	c conflicts         :       179228
937.45/304.45	c decisions         :       256475           (      844 / sec      )
937.45/304.45	c propagations      :    135482863           (   445619 / sec      )
937.45/304.45	c inspects          :   1495604024           (  4919214 / sec      )
937.45/304.45	c conflict literals :      4115861           (    39.76 % deleted  )
937.45/304.45	c cpu time          :       304.03           
937.45/304.45	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-1779910-1243645649/watcher-1779910-1243645649 -o /tmp/evaluation-result-1779910-1243645649/solver-1779910-1243645649 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1779910-1243645649.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.69 2.85 2.94 3/115 25493
/proc/meminfo: memFree=2979100/3368532 swapFree=1941392/1959888
[pid=25493] ppid=25491 vsize=5264 CPUtime=0
/proc/25493/stat : 25493 (satake) S 25491 25493 11369 0 -1 4202496 816 0 0 0 0 0 0 0 18 0 5 0 1129244707 5390336 773 4294967295 134512640 135180984 3218929952 3218929388 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/25493/statm: 1316 777 63 164 0 1151 0
[pid=25493/tid=25494] ppid=25491 vsize=5264 CPUtime=0
/proc/25493/task/25494/stat : 25494 (satake) S 25491 25493 11369 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1129244707 5390336 794 4294967295 134512640 135180984 3218929952 3086061584 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=25493/tid=25495] ppid=25491 vsize=5264 CPUtime=0
/proc/25493/task/25495/stat : 25495 (satake) R 25491 25493 11369 0 -1 4202560 724 0 0 0 0 0 0 0 20 0 5 0 1129244707 5390336 799 4294967295 134512640 135180984 3218929952 3085996324 134583077 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=25493/tid=25496] ppid=25491 vsize=5264 CPUtime=0
/proc/25493/task/25496/stat : 25496 (satake) R 25491 25493 11369 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 5 0 1129244707 5390336 804 4294967295 134512640 135180984 3218929952 3085931332 134705812 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=25493/tid=25497] ppid=25491 vsize=5264 CPUtime=0
/proc/25493/task/25497/stat : 25497 (satake) R 25491 25493 11369 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 5 0 1129244707 5390336 808 4294967295 134512640 135180984 3218929952 3085865796 134705812 0 0 0 0 0 0 0 -1 1 0 0 0

[startup+0.106514 s]
/proc/loadavg: 2.69 2.85 2.94 3/115 25493
/proc/meminfo: memFree=2979100/3368532 swapFree=1941392/1959888
[pid=25493] ppid=25491 vsize=28512 CPUtime=0.29
/proc/25493/stat : 25493 (satake) S 25491 25493 11369 0 -1 4202496 5958 0 0 0 26 3 0 0 18 0 5 0 1129244707 29196288 5896 4294967295 134512640 135180984 3218929952 3218929388 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/25493/statm: 7128 5896 63 164 0 6963 0
[pid=25493/tid=25494] ppid=25491 vsize=28512 CPUtime=0
/proc/25493/task/25494/stat : 25494 (satake) S 25491 25493 11369 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1129244707 29196288 5898 4294967295 134512640 135180984 3218929952 3086061584 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=25493/tid=25495] ppid=25491 vsize=28512 CPUtime=0.09
/proc/25493/task/25495/stat : 25495 (satake) R 25491 25493 11369 0 -1 4202560 1952 0 0 0 9 0 0 0 20 0 5 0 1129244707 29196288 5898 4294967295 134512640 135180984 3218929952 3085996180 134579745 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=25493/tid=25496] ppid=25491 vsize=28512 CPUtime=0.1
/proc/25493/task/25496/stat : 25496 (satake) R 25491 25493 11369 0 -1 4202560 1963 0 0 0 9 1 0 0 20 0 5 0 1129244707 29196288 5898 4294967295 134512640 135180984 3218929952 3085930644 134579745 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=25493/tid=25497] ppid=25491 vsize=28512 CPUtime=0.1
/proc/25493/task/25497/stat : 25497 (satake) R 25491 25493 11369 0 -1 4202560 1928 0 0 0 8 2 0 0 20 0 5 0 1129244707 29196288 5900 4294967295 134512640 135180984 3218929952 3085865216 134522232 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 28512

[startup+0.216502 s]
/proc/loadavg: 2.69 2.85 2.94 3/115 25493
/proc/meminfo: memFree=2979100/3368532 swapFree=1941392/1959888
[pid=25493] ppid=25491 vsize=31848 CPUtime=0.6
/proc/25493/stat : 25493 (satake) S 25491 25493 11369 0 -1 4202496 9425 0 0 0 56 4 0 0 18 0 5 0 1129244707 32612352 7200 4294967295 134512640 135180984 3218929952 3218929388 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/25493/statm: 7962 7201 66 164 0 7797 0
[pid=25493/tid=25494] ppid=25491 vsize=31848 CPUtime=0.01
/proc/25493/task/25494/stat : 25494 (satake) S 25491 25493 11369 0 -1 4202560 525 0 0 0 1 0 0 0 17 0 5 0 1129244707 32612352 7201 4294967295 134512640 135180984 3218929952 3086061584 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=25493/tid=25495] ppid=25491 vsize=31848 CPUtime=0.19
/proc/25493/task/25495/stat : 25495 (satake) R 25491 25493 11369 0 -1 4202560 2932 0 0 0 18 1 0 0 20 0 5 0 1129244707 32612352 7201 4294967295 134512640 135180984 3218929952 3085995604 134675767 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=25493/tid=25496] ppid=25491 vsize=31848 CPUtime=0.2
/proc/25493/task/25496/stat : 25496 (satake) R 25491 25493 11369 0 -1 4202560 2927 0 0 0 19 1 0 0 20 0 5 0 1129244707 32612352 7201 4294967295 134512640 135180984 3218929952 3085930352 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=25493/tid=25497] ppid=25491 vsize=31848 CPUtime=0.2
/proc/25493/task/25497/stat : 25497 (satake) R 25491 25493 11369 0 -1 4202560 2931 0 0 0 18 2 0 0 19 0 5 0 1129244707 32612352 7201 4294967295 134512640 135180984 3218929952 3085864812 134519924 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 31848

[startup+0.316496 s]
/proc/loadavg: 2.69 2.85 2.94 3/115 25493
/proc/meminfo: memFree=2979100/3368532 swapFree=1941392/1959888
[pid=25493] ppid=25491 vsize=32112 CPUtime=0.88
/proc/25493/stat : 25493 (satake) S 25491 25493 11369 0 -1 4202496 9589 0 0 0 80 8 0 0 18 0 5 0 1129244707 32882688 7364 4294967295 134512640 135180984 3218929952 3218929388 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/25493/statm: 8028 7364 68 164 0 7863 0
[pid=25493/tid=25494] ppid=25491 vsize=32112 CPUtime=0.05
/proc/25493/task/25494/stat : 25494 (satake) R 25491 25493 11369 0 -1 4202560 535 0 0 0 3 2 0 0 17 0 5 0 1129244707 32882688 7364 4294967295 134512640 135180984 3218929952 3086061596 134706407 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=25493/tid=25495] ppid=25491 vsize=32112 CPUtime=0.28
/proc/25493/task/25495/stat : 25495 (satake) R 25491 25493 11369 0 -1 4202560 2972 0 0 0 25 3 0 0 19 0 5 0 1129244707 32882688 7364 4294967295 134512640 135180984 3218929952 3085995692 134706407 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=25493/tid=25496] ppid=25491 vsize=32112 CPUtime=0.26
/proc/25493/task/25496/stat : 25496 (satake) R 25491 25493 11369 0 -1 4202560 3001 0 0 0 25 1 0 0 20 0 5 0 1129244707 32882688 7364 4294967295 134512640 135180984 3218929952 3085930192 134521247 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=25493/tid=25497] ppid=25491 vsize=32112 CPUtime=0.29
/proc/25493/task/25497/stat : 25497 (satake) S 25491 25493 11369 0 -1 4202560 2970 0 0 0 27 2 0 0 19 0 5 0 1129244707 32882688 7364 4294967295 134512640 135180984 3218929952 3085864608 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.88
Current children cumulated vsize (KiB) 32112

[startup+0.71648 s]
/proc/loadavg: 2.69 2.85 2.94 3/115 25493
/proc/meminfo: memFree=2979100/3368532 swapFree=1941392/1959888
[pid=25493] ppid=25491 vsize=33400 CPUtime=2.04
/proc/25493/stat : 25493 (satake) S 25491 25493 11369 0 -1 4202496 9723 0 0 0 186 18 0 0 18 0 5 0 1129244707 34201600 7498 4294967295 134512640 135180984 3218929952 3218929388 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/25493/statm: 8350 7498 68 164 0 8185 0
[pid=25493/tid=25494] ppid=25491 vsize=33400 CPUtime=0.12
/proc/25493/task/25494/stat : 25494 (satake) S 25491 25493 11369 0 -1 4202560 563 0 0 0 7 5 0 0 15 0 5 0 1129244707 34201600 7498 4294967295 134512640 135180984 3218929952 3086061584 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=25493/tid=25495] ppid=25491 vsize=33400 CPUtime=0.66
/proc/25493/task/25495/stat : 25495 (satake) R 25491 25493 11369 0 -1 4202560 3011 0 0 0 61 5 0 0 19 0 5 0 1129244707 34201600 7498 4294967295 134512640 135180984 3218929952 3085995820 134520865 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=25493/tid=25496] ppid=25491 vsize=33400 CPUtime=0.59
/proc/25493/task/25496/stat : 25496 (satake) R 25491 25493 11369 0 -1 4202560 3042 0 0 0 56 3 0 0 20 0 5 0 1129244707 34201600 7498 4294967295 134512640 135180984 3218929952 3085930288 134520773 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=25493/tid=25497] ppid=25491 vsize=33400 CPUtime=0.67
/proc/25493/task/25497/stat : 25497 (satake) R 25491 25493 11369 0 -1 4202560 2996 0 0 0 62 5 0 0 19 0 5 0 1129244707 34201600 7498 4294967295 134512640 135180984 3218929952 3085864752 134520798 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.04
Current children cumulated vsize (KiB) 33400

[startup+1.51646 s]
/proc/loadavg: 2.69 2.85 2.94 4/120 25498
/proc/meminfo: memFree=2949944/3368532 swapFree=1941392/1959888
[pid=25493] ppid=25491 vsize=33704 CPUtime=4.62
/proc/25493/stat : 25493 (satake) S 25491 25493 11369 0 -1 4202496 9963 0 0 0 378 84 0 0 18 0 5 0 1129244707 34512896 7738 4294967295 134512640 135180984 3218929952 3218929388 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/25493/statm: 8426 7738 68 164 0 8261 0
[pid=25493/tid=25494] ppid=25491 vsize=33704 CPUtime=0.47
/proc/25493/task/25494/stat : 25494 (satake) S 25491 25493 11369 0 -1 4202560 639 0 0 0 10 37 0 0 16 0 5 0 1129244707 34512896 7738 4294967295 134512640 135180984 3218929952 3086061584 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=25493/tid=25495] ppid=25491 vsize=33704 CPUtime=1.43
/proc/25493/task/25495/stat : 25495 (satake) R 25491 25493 11369 0 -1 4202560 3056 0 0 0 118 25 0 0 18 0 5 0 1129244707 34512896 7738 4294967295 134512640 135180984 3218929952 3085995888 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=25493/tid=25496] ppid=25491 vsize=33704 CPUtime=1.31
/proc/25493/task/25496/stat : 25496 (satake) R 25491 25493 11369 0 -1 4202560 3102 0 0 0 119 12 0 0 20 0 5 0 1129244707 34512896 7738 4294967295 134512640 135180984 3218929952 3085930352 134528706 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=25493/tid=25497] ppid=25491 vsize=33704 CPUtime=1.41
/proc/25493/task/25497/stat : 25497 (satake) R 25491 25493 11369 0 -1 4202560 3055 0 0 0 131 10 0 0 20 0 5 0 1129244707 34512896 7738 4294967295 134512640 135180984 3218929952 3085864816 134528180 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.62
Current children cumulated vsize (KiB) 33704

[startup+3.11639 s]
/proc/loadavg: 2.69 2.85 2.94 4/120 25498
/proc/meminfo: memFree=2948004/3368532 swapFree=1941392/1959888
[pid=25493] ppid=25491 vsize=38164 CPUtime=9.8
/proc/25493/stat : 25493 (satake) S 25491 25493 11369 0 -1 4202496 10913 0 0 0 788 192 0 0 18 0 5 0 1129244707 39079936 8688 4294967295 134512640 135180984 3218929952 3218929388 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/25493/statm: 9541 8688 68 164 0 9376 0
[pid=25493/tid=25494] ppid=25491 vsize=38164 CPUtime=1.16
/proc/25493/task/25494/stat : 25494 (satake) S 25491 25493 11369 0 -1 4202560 890 0 0 0 30 86 0 0 16 0 5 0 1129244707 39079936 8688 4294967295 134512640 135180984 3218929952 3086061584 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=25493/tid=25495] ppid=25491 vsize=38164 CPUtime=2.98
/proc/25493/task/25495/stat : 25495 (satake) R 25491 25493 11369 0 -1 4202560 3262 0 0 0 250 48 0 0 18 0 5 0 1129244707 39079936 8688 4294967295 134512640 135180984 3218929952 3085995888 134528595 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=25493/tid=25496] ppid=25491 vsize=38164 CPUtime=2.79
/proc/25493/task/25496/stat : 25496 (satake) R 25491 25493 11369 0 -1 4202560 3350 0 0 0 241 38 0 0 18 0 5 0 1129244707 39079936 8688 4294967295 134512640 135180984 3218929952 3085930352 134528433 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=25493/tid=25497] ppid=25491 vsize=38164 CPUtime=2.87
/proc/25493/task/25497/stat : 25497 (satake) R 25491 25493 11369 0 -1 4202560 3300 0 0 0 267 20 0 0 20 0 5 0 1129244707 39079936 8688 4294967295 134512640 135180984 3218929952 3085864928 134530765 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 9.8
Current children cumulated vsize (KiB) 38164

[startup+6.31626 s]
/proc/loadavg: 2.72 2.85 2.94 5/120 25498
/proc/meminfo: memFree=2940952/3368532 swapFree=1941392/1959888
[pid=25493] ppid=25491 vsize=43212 CPUtime=20.4
/proc/25493/stat : 25493 (satake) S 25491 25493 11369 0 -1 4202496 12473 0 0 0 1659 381 0 0 18 0 5 0 1129244707 44249088 10248 4294967295 134512640 135180984 3218929952 3218929388 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/25493/statm: 10803 10248 68 164 0 10638 0
[pid=25493/tid=25494] ppid=25491 vsize=43212 CPUtime=2.32
/proc/25493/task/25494/stat : 25494 (satake) S 25491 25493 11369 0 -1 4202560 1358 0 0 0 51 181 0 0 16 0 5 0 1129244707 44249088 10248 4294967295 134512640 135180984 3218929952 3086061584 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=25493/tid=25495] ppid=25491 vsize=43212 CPUtime=6.14
/proc/25493/task/25495/stat : 25495 (satake) R 25491 25493 11369 0 -1 4202560 3614 0 0 0 522 92 0 0 18 0 5 0 1129244707 44249088 10248 4294967295 134512640 135180984 3218929952 3085995888 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=25493/tid=25496] ppid=25491 vsize=43212 CPUtime=5.97
/proc/25493/task/25496/stat : 25496 (satake) R 25491 25493 11369 0 -1 4202560 3737 0 0 0 524 73 0 0 19 0 5 0 1129244707 44249088 10248 4294967295 134512640 135180984 3218929952 3085930352 134528214 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=25493/tid=25497] ppid=25491 vsize=43212 CPUtime=5.97
/proc/25493/task/25497/stat : 25497 (satake) R 25491 25493 11369 0 -1 4202560 3653 0 0 0 562 35 0 0 25 0 5 0 1129244707 44249088 10248 4294967295 134512640 135180984 3218929952 3085864812 134520661 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 20.4
Current children cumulated vsize (KiB) 43212

[startup+12.716 s]
/proc/loadavg: 2.82 2.87 2.94 4/120 25499
/proc/meminfo: memFree=2931464/3368532 swapFree=1941392/1959888
[pid=25493] ppid=25491 vsize=53684 CPUtime=41.04
/proc/25493/stat : 25493 (satake) S 25491 25493 11369 0 -1 4202496 14700 0 0 0 3447 657 0 0 18 0 5 0 1129244707 54972416 12475 4294967295 134512640 135180984 3218929952 3218929388 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/25493/statm: 13421 12475 68 164 0 13256 0
[pid=25493/tid=25494] ppid=25491 vsize=53684 CPUtime=4.05
/proc/25493/task/25494/stat : 25494 (satake) R 25491 25493 11369 0 -1 4202560 2021 0 0 0 89 316 0 0 16 0 5 0 1129244707 54972416 12475 4294967295 134512640 135180984 3218929952 3086061596 134706407 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=25493/tid=25495] ppid=25491 vsize=53684 CPUtime=12.47
/proc/25493/task/25495/stat : 25495 (satake) S 25491 25493 11369 0 -1 4202560 4086 0 0 0 1097 150 0 0 18 0 5 0 1129244707 54972416 12475 4294967295 134512640 135180984 3218929952 3085995680 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=25493/tid=25496] ppid=25491 vsize=53684 CPUtime=12.28
/proc/25493/task/25496/stat : 25496 (satake) R 25491 25493 11369 0 -1 4202560 4273 0 0 0 1101 127 0 0 21 0 5 0 1129244707 54972416 12475 4294967295 134512640 135180984 3218929952 3085930416 134532431 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=25493/tid=25497] ppid=25491 vsize=53684 CPUtime=12.24
/proc/25493/task/25497/stat : 25497 (satake) R 25491 25493 11369 0 -1 4202560 4209 0 0 0 1160 64 0 0 25 0 5 0 1129244707 54972416 12475 4294967295 134512640 135180984 3218929952 3085864816 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 41.04
Current children cumulated vsize (KiB) 53684

[startup+25.5155 s]
/proc/loadavg: 2.86 2.88 2.94 4/120 25501
/proc/meminfo: memFree=2919400/3368532 swapFree=1941392/1959888
[pid=25493] ppid=25491 vsize=65444 CPUtime=81.46
/proc/25493/stat : 25493 (satake) S 25491 25493 11369 0 -1 4202496 17576 0 0 0 7116 1030 0 0 18 0 5 0 1129244707 67014656 15351 4294967295 134512640 135180984 3218929952 3218929388 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/25493/statm: 16361 15351 68 164 0 16196 0
[pid=25493/tid=25494] ppid=25491 vsize=65444 CPUtime=6.36
/proc/25493/task/25494/stat : 25494 (satake) S 25491 25493 11369 0 -1 4202560 2885 0 0 0 135 501 0 0 16 0 5 0 1129244707 67014656 15351 4294967295 134512640 135180984 3218929952 3086061584 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=25493/tid=25495] ppid=25491 vsize=65444 CPUtime=25.17
/proc/25493/task/25495/stat : 25495 (satake) R 25491 25493 11369 0 -1 4202560 4733 0 0 0 2301 216 0 0 25 0 5 0 1129244707 67014656 15351 4294967295 134512640 135180984 3218929952 3085995884 134518218 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=25493/tid=25496] ppid=25491 vsize=65444 CPUtime=24.99
/proc/25493/task/25496/stat : 25496 (satake) R 25491 25493 11369 0 -1 4202560 4994 0 0 0 2289 210 0 0 25 0 5 0 1129244707 67014656 15351 4294967295 134512640 135180984 3218929952 3085930352 134528688 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=25493/tid=25497] ppid=25491 vsize=65444 CPUtime=24.94
/proc/25493/task/25497/stat : 25497 (satake) R 25491 25493 11369 0 -1 4202560 4853 0 0 0 2391 103 0 0 25 0 5 0 1129244707 67014656 15351 4294967295 134512640 135180984 3218929952 3085864816 134528529 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 81.46
Current children cumulated vsize (KiB) 65444

[startup+51.1145 s]
/proc/loadavg: 3.05 2.92 2.95 4/120 25686
/proc/meminfo: memFree=2910912/3368532 swapFree=1941392/1959888
[pid=25493] ppid=25491 vsize=75172 CPUtime=160.96
/proc/25493/stat : 25493 (satake) S 25491 25493 11369 0 -1 4202496 19541 0 0 0 14432 1664 0 0 18 0 5 0 1129244707 76976128 17316 4294967295 134512640 135180984 3218929952 3218929388 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/25493/statm: 18793 17316 68 164 0 18628 0
[pid=25493/tid=25494] ppid=25491 vsize=75172 CPUtime=10.38
/proc/25493/task/25494/stat : 25494 (satake) S 25491 25493 11369 0 -1 4202560 3917 0 0 0 216 822 0 0 16 0 5 0 1129244707 76976128 17316 4294967295 134512640 135180984 3218929952 3086061584 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=25493/tid=25495] ppid=25491 vsize=75172 CPUtime=50.51
/proc/25493/task/25495/stat : 25495 (satake) R 25491 25493 11369 0 -1 4202560 5009 0 0 0 4716 335 0 0 25 0 5 0 1129244707 76976128 17316 4294967295 134512640 135180984 3218929952 3085995880 134518227 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=25493/tid=25496] ppid=25491 vsize=75172 CPUtime=50.19
/proc/25493/task/25496/stat : 25496 (satake) R 25491 25493 11369 0 -1 4202560 5355 0 0 0 4678 341 0 0 25 0 5 0 1129244707 76976128 17316 4294967295 134512640 135180984 3218929952 3085930352 134528633 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=25493/tid=25497] ppid=25491 vsize=75172 CPUtime=49.88
/proc/25493/task/25497/stat : 25497 (satake) R 25491 25493 11369 0 -1 4202560 5149 0 0 0 4822 166 0 0 25 0 5 0 1129244707 76976128 17316 4294967295 134512640 135180984 3218929952 3085864816 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 160.96
Current children cumulated vsize (KiB) 75172

[startup+102.302 s]
/proc/loadavg: 3.07 2.94 2.96 4/120 25690
/proc/meminfo: memFree=2885008/3368532 swapFree=1941392/1959888
[pid=25493] ppid=25491 vsize=100224 CPUtime=318.64
/proc/25493/stat : 25493 (satake) S 25491 25493 11369 0 -1 4202496 25942 0 0 0 29395 2469 0 0 18 0 5 0 1129244707 102629376 23717 4294967295 134512640 135180984 3218929952 3218929388 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/25493/statm: 25056 23717 68 164 0 24891 0
[pid=25493/tid=25494] ppid=25491 vsize=100224 CPUtime=15.36
/proc/25493/task/25494/stat : 25494 (satake) S 25491 25493 11369 0 -1 4202560 5780 0 0 0 317 1219 0 0 16 0 5 0 1129244707 102629376 23717 4294967295 134512640 135180984 3218929952 3086061584 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=25493/tid=25495] ppid=25491 vsize=100224 CPUtime=101.56
/proc/25493/task/25495/stat : 25495 (satake) R 25491 25493 11369 0 -1 4202560 6526 0 0 0 9657 499 0 0 25 0 5 0 1129244707 102629376 23717 4294967295 134512640 135180984 3218929952 3085995888 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=25493/tid=25496] ppid=25491 vsize=100224 CPUtime=101.16
/proc/25493/task/25496/stat : 25496 (satake) R 25491 25493 11369 0 -1 4202560 6848 0 0 0 9619 497 0 0 25 0 5 0 1129244707 102629376 23717 4294967295 134512640 135180984 3218929952 3085930352 134528433 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=25493/tid=25497] ppid=25491 vsize=100224 CPUtime=100.56
/proc/25493/task/25497/stat : 25497 (satake) R 25491 25493 11369 0 -1 4202560 6677 0 0 0 9802 254 0 0 25 0 5 0 1129244707 102629376 23717 4294967295 134512640 135180984 3218929952 3085864808 134520909 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 318.64
Current children cumulated vsize (KiB) 100224

[startup+162.31 s]
/proc/loadavg: 3.23 3.00 2.97 4/120 25877
/proc/meminfo: memFree=2864092/3368532 swapFree=1941392/1959888
[pid=25493] ppid=25491 vsize=124752 CPUtime=502.28
/proc/25493/stat : 25493 (satake) S 25491 25493 11369 0 -1 4202496 31116 0 0 0 47085 3143 0 0 18 0 5 0 1129244707 127746048 28891 4294967295 134512640 135180984 3218929952 3218929388 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/25493/statm: 31188 28891 68 164 0 31023 0
[pid=25493/tid=25494] ppid=25491 vsize=124752 CPUtime=19.48
/proc/25493/task/25494/stat : 25494 (satake) S 25491 25493 11369 0 -1 4202560 7208 0 0 0 399 1549 0 0 16 0 5 0 1129244707 127746048 28891 4294967295 134512640 135180984 3218929952 3086061584 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=25493/tid=25495] ppid=25491 vsize=124752 CPUtime=161.41
/proc/25493/task/25495/stat : 25495 (satake) R 25491 25493 11369 0 -1 4202560 7748 0 0 0 15518 623 0 0 25 0 5 0 1129244707 127746048 28891 4294967295 134512640 135180984 3218929952 3085995888 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=25493/tid=25496] ppid=25491 vsize=124752 CPUtime=161.01
/proc/25493/task/25496/stat : 25496 (satake) R 25491 25493 11369 0 -1 4202560 8030 0 0 0 15465 636 0 0 25 0 5 0 1129244707 127746048 28891 4294967295 134512640 135180984 3218929952 3085930352 134528433 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=25493/tid=25497] ppid=25491 vsize=124752 CPUtime=160.38
/proc/25493/task/25497/stat : 25497 (satake) R 25491 25493 11369 0 -1 4202560 8019 0 0 0 15703 335 0 0 25 0 5 0 1129244707 127746048 28891 4294967295 134512640 135180984 3218929952 3085864816 134528470 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 502.28
Current children cumulated vsize (KiB) 124752

[startup+222.318 s]
/proc/loadavg: 3.20 3.03 2.99 4/120 26071
/proc/meminfo: memFree=2852808/3368532 swapFree=1941392/1959888
[pid=25493] ppid=25491 vsize=135884 CPUtime=686.05
/proc/25493/stat : 25493 (satake) S 25491 25493 11369 0 -1 4202496 33855 0 0 0 64724 3881 0 0 18 0 5 0 1129244707 139145216 31630 4294967295 134512640 135180984 3218929952 3218929388 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/25493/statm: 33971 31630 68 164 0 33806 0
[pid=25493/tid=25494] ppid=25491 vsize=135884 CPUtime=24.16
/proc/25493/task/25494/stat : 25494 (satake) S 25491 25493 11369 0 -1 4202560 8208 0 0 0 514 1902 0 0 16 0 5 0 1129244707 139145216 31630 4294967295 134512640 135180984 3218929952 3086061584 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=25493/tid=25495] ppid=25491 vsize=135884 CPUtime=220.93
/proc/25493/task/25495/stat : 25495 (satake) R 25491 25493 11369 0 -1 4202560 8300 0 0 0 21315 778 0 0 25 0 5 0 1129244707 139145216 31630 4294967295 134512640 135180984 3218929952 3085995888 134528214 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=25493/tid=25496] ppid=25491 vsize=135884 CPUtime=220.8
/proc/25493/task/25496/stat : 25496 (satake) R 25491 25493 11369 0 -1 4202560 8522 0 0 0 21296 784 0 0 25 0 5 0 1129244707 139145216 31630 4294967295 134512640 135180984 3218929952 3085930352 134528433 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=25493/tid=25497] ppid=25491 vsize=135884 CPUtime=220.16
/proc/25493/task/25497/stat : 25497 (satake) R 25491 25493 11369 0 -1 4202560 8714 0 0 0 21599 417 0 0 25 0 5 0 1129244707 139145216 31630 4294967295 134512640 135180984 3218929952 3085864816 134528406 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 686.05
Current children cumulated vsize (KiB) 135884

[startup+282.305 s]
/proc/loadavg: 3.20 3.05 3.00 4/120 26259
/proc/meminfo: memFree=2848104/3368532 swapFree=1941392/1959888
[pid=25493] ppid=25491 vsize=142872 CPUtime=870.43
/proc/25493/stat : 25493 (satake) S 25491 25493 11369 0 -1 4202496 35044 0 0 0 82223 4820 0 0 18 0 5 0 1129244707 146300928 32819 4294967295 134512640 135180984 3218929952 3218929388 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/25493/statm: 35718 32819 68 164 0 35553 0
[pid=25493/tid=25494] ppid=25491 vsize=142872 CPUtime=30.19
/proc/25493/task/25494/stat : 25494 (satake) S 25491 25493 11369 0 -1 4202560 9032 0 0 0 646 2373 0 0 16 0 5 0 1129244707 146300928 32819 4294967295 134512640 135180984 3218929952 3086061584 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=25493/tid=25495] ppid=25491 vsize=142872 CPUtime=280.71
/proc/25493/task/25495/stat : 25495 (satake) R 25491 25493 11369 0 -1 4202560 8435 0 0 0 27099 972 0 0 25 0 5 0 1129244707 146300928 32819 4294967295 134512640 135180984 3218929952 3085995888 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=25493/tid=25496] ppid=25491 vsize=142872 CPUtime=280.6
/proc/25493/task/25496/stat : 25496 (satake) R 25491 25493 11369 0 -1 4202560 8632 0 0 0 27087 973 0 0 25 0 5 0 1129244707 146300928 32819 4294967295 134512640 135180984 3218929952 3085930352 134528433 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=25493/tid=25497] ppid=25491 vsize=142872 CPUtime=278.93
/proc/25493/task/25497/stat : 25497 (satake) R 25491 25493 11369 0 -1 4202560 8834 0 0 0 27391 502 0 0 25 0 5 0 1129244707 146300928 32819 4294967295 134512640 135180984 3218929952 3085864808 134518227 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 870.43
Current children cumulated vsize (KiB) 142872

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

[startup+294.405 s]
/proc/loadavg: 3.16 3.05 3.00 4/120 26442
/proc/meminfo: memFree=2845900/3368532 swapFree=1941392/1959888
[pid=25493] ppid=25491 vsize=144540 CPUtime=907.48
/proc/25493/stat : 25493 (satake) S 25491 25493 11369 0 -1 4202496 35433 0 0 0 85778 4970 0 0 18 0 5 0 1129244707 148008960 33208 4294967295 134512640 135180984 3218929952 3218929388 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/25493/statm: 36135 33208 68 164 0 35970 0
[pid=25493/tid=25494] ppid=25491 vsize=144540 CPUtime=31.13
/proc/25493/task/25494/stat : 25494 (satake) S 25491 25493 11369 0 -1 4202560 9221 0 0 0 665 2448 0 0 16 0 5 0 1129244707 148008960 33208 4294967295 134512640 135180984 3218929952 3086061584 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=25493/tid=25495] ppid=25491 vsize=144540 CPUtime=292.73
/proc/25493/task/25495/stat : 25495 (satake) R 25491 25493 11369 0 -1 4202560 8446 0 0 0 28272 1001 0 0 25 0 5 0 1129244707 148008960 33208 4294967295 134512640 135180984 3218929952 3085995888 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=25493/tid=25496] ppid=25491 vsize=144540 CPUtime=292.66
/proc/25493/task/25496/stat : 25496 (satake) R 25491 25493 11369 0 -1 4202560 8754 0 0 0 28265 1001 0 0 25 0 5 0 1129244707 148008960 33208 4294967295 134512640 135180984 3218929952 3085930352 134528433 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=25493/tid=25497] ppid=25491 vsize=144540 CPUtime=290.96
/proc/25493/task/25497/stat : 25497 (satake) R 25491 25493 11369 0 -1 4202560 8901 0 0 0 28576 520 0 0 25 0 5 0 1129244707 148008960 33208 4294967295 134512640 135180984 3218929952 3085864816 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 907.48
Current children cumulated vsize (KiB) 144540

[startup+300.805 s]
/proc/loadavg: 3.14 3.05 3.00 4/120 26443
/proc/meminfo: memFree=2845188/3368532 swapFree=1941392/1959888
[pid=25493] ppid=25491 vsize=145188 CPUtime=926.91
/proc/25493/stat : 25493 (satake) S 25491 25493 11369 0 -1 4202496 35630 0 0 0 87673 5018 0 0 18 0 5 0 1129244707 148672512 33405 4294967295 134512640 135180984 3218929952 3218929388 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/25493/statm: 36297 33405 68 164 0 36132 0
[pid=25493/tid=25494] ppid=25491 vsize=145188 CPUtime=31.41
/proc/25493/task/25494/stat : 25494 (satake) S 25491 25493 11369 0 -1 4202560 9326 0 0 0 669 2472 0 0 16 0 5 0 1129244707 148672512 33405 4294967295 134512640 135180984 3218929952 3086061584 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=25493/tid=25495] ppid=25491 vsize=145188 CPUtime=299.11
/proc/25493/task/25495/stat : 25495 (satake) R 25491 25493 11369 0 -1 4202560 8448 0 0 0 28901 1010 0 0 25 0 5 0 1129244707 148672512 33405 4294967295 134512640 135180984 3218929952 3085995824 134520798 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=25493/tid=25496] ppid=25491 vsize=145188 CPUtime=299.06
/proc/25493/task/25496/stat : 25496 (satake) R 25491 25493 11369 0 -1 4202560 8797 0 0 0 28896 1010 0 0 25 0 5 0 1129244707 148672512 33405 4294967295 134512640 135180984 3218929952 3085930280 134520871 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=25493/tid=25497] ppid=25491 vsize=145188 CPUtime=297.33
/proc/25493/task/25497/stat : 25497 (satake) R 25491 25493 11369 0 -1 4202560 8948 0 0 0 29207 526 0 0 25 0 5 0 1129244707 148672512 33405 4294967295 134512640 135180984 3218929952 3085864816 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 926.91
Current children cumulated vsize (KiB) 145188

[startup+302.404 s]
/proc/loadavg: 3.14 3.05 3.00 4/120 26443
/proc/meminfo: memFree=2845064/3368532 swapFree=1941392/1959888
[pid=25493] ppid=25491 vsize=145188 CPUtime=931.71
/proc/25493/stat : 25493 (satake) S 25491 25493 11369 0 -1 4202496 35638 0 0 0 88153 5018 0 0 18 0 5 0 1129244707 148672512 33413 4294967295 134512640 135180984 3218929952 3218929388 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/25493/statm: 36297 33413 68 164 0 36132 0
[pid=25493/tid=25494] ppid=25491 vsize=145188 CPUtime=31.41
/proc/25493/task/25494/stat : 25494 (satake) S 25491 25493 11369 0 -1 4202560 9330 0 0 0 669 2472 0 0 16 0 5 0 1129244707 148672512 33413 4294967295 134512640 135180984 3218929952 3086061584 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=25493/tid=25495] ppid=25491 vsize=145188 CPUtime=300.71
/proc/25493/task/25495/stat : 25495 (satake) R 25491 25493 11369 0 -1 4202560 8448 0 0 0 29061 1010 0 0 25 0 5 0 1129244707 148672512 33413 4294967295 134512640 135180984 3218929952 3085995824 134520773 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=25493/tid=25496] ppid=25491 vsize=145188 CPUtime=300.66
/proc/25493/task/25496/stat : 25496 (satake) R 25491 25493 11369 0 -1 4202560 8797 0 0 0 29056 1010 0 0 25 0 5 0 1129244707 148672512 33413 4294967295 134512640 135180984 3218929952 3085930288 134520711 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=25493/tid=25497] ppid=25491 vsize=145188 CPUtime=298.93
/proc/25493/task/25497/stat : 25497 (satake) R 25491 25493 11369 0 -1 4202560 8952 0 0 0 29367 526 0 0 25 0 5 0 1129244707 148672512 33413 4294967295 134512640 135180984 3218929952 3085864808 134518224 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 931.71
Current children cumulated vsize (KiB) 145188

[startup+303.204 s]
/proc/loadavg: 3.13 3.05 3.00 4/120 26443
/proc/meminfo: memFree=2845064/3368532 swapFree=1941392/1959888
[pid=25493] ppid=25491 vsize=145188 CPUtime=934.11
/proc/25493/stat : 25493 (satake) S 25491 25493 11369 0 -1 4202496 35641 0 0 0 88393 5018 0 0 18 0 5 0 1129244707 148672512 33416 4294967295 134512640 135180984 3218929952 3218929388 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/25493/statm: 36297 33416 68 164 0 36132 0
[pid=25493/tid=25494] ppid=25491 vsize=145188 CPUtime=31.41
/proc/25493/task/25494/stat : 25494 (satake) S 25491 25493 11369 0 -1 4202560 9333 0 0 0 669 2472 0 0 16 0 5 0 1129244707 148672512 33416 4294967295 134512640 135180984 3218929952 3086061584 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=25493/tid=25495] ppid=25491 vsize=145188 CPUtime=301.51
/proc/25493/task/25495/stat : 25495 (satake) R 25491 25493 11369 0 -1 4202560 8448 0 0 0 29141 1010 0 0 25 0 5 0 1129244707 148672512 33416 4294967295 134512640 135180984 3218929952 3085995824 134520796 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=25493/tid=25496] ppid=25491 vsize=145188 CPUtime=301.46
/proc/25493/task/25496/stat : 25496 (satake) R 25491 25493 11369 0 -1 4202560 8797 0 0 0 29136 1010 0 0 25 0 5 0 1129244707 148672512 33416 4294967295 134512640 135180984 3218929952 3085930288 134520711 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=25493/tid=25497] ppid=25491 vsize=145188 CPUtime=299.73
/proc/25493/task/25497/stat : 25497 (satake) R 25491 25493 11369 0 -1 4202560 8952 0 0 0 29447 526 0 0 25 0 5 0 1129244707 148672512 33416 4294967295 134512640 135180984 3218929952 3085864768 134522992 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 934.11
Current children cumulated vsize (KiB) 145188

[startup+304.004 s]
/proc/loadavg: 3.13 3.05 3.00 4/120 26443
/proc/meminfo: memFree=2845096/3368532 swapFree=1941392/1959888
[pid=25493] ppid=25491 vsize=145188 CPUtime=936.58
/proc/25493/stat : 25493 (satake) S 25491 25493 11369 0 -1 4202496 35645 0 0 0 88617 5041 0 0 18 0 5 0 1129244707 148672512 33420 4294967295 134512640 135180984 3218929952 3218929388 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/25493/statm: 36297 33420 68 164 0 36132 0
[pid=25493/tid=25494] ppid=25491 vsize=145188 CPUtime=31.55
/proc/25493/task/25494/stat : 25494 (satake) S 25491 25493 11369 0 -1 4202560 9337 0 0 0 672 2483 0 0 16 0 5 0 1129244707 148672512 33420 4294967295 134512640 135180984 3218929952 3086061584 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=25493/tid=25495] ppid=25491 vsize=145188 CPUtime=302.3
/proc/25493/task/25495/stat : 25495 (satake) R 25491 25493 11369 0 -1 4202560 8448 0 0 0 29220 1010 0 0 25 0 5 0 1129244707 148672512 33420 4294967295 134512640 135180984 3218929952 3085995824 134520800 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=25493/tid=25496] ppid=25491 vsize=145188 CPUtime=302.24
/proc/25493/task/25496/stat : 25496 (satake) R 25491 25493 11369 0 -1 4202560 8797 0 0 0 29203 1021 0 0 25 0 5 0 1129244707 148672512 33420 4294967295 134512640 135180984 3218929952 3085930352 134528211 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=25493/tid=25497] ppid=25491 vsize=145188 CPUtime=300.49
/proc/25493/task/25497/stat : 25497 (satake) R 25491 25493 11369 0 -1 4202560 8952 0 0 0 29522 527 0 0 25 0 5 0 1129244707 148672512 33420 4294967295 134512640 135180984 3218929952 3085864816 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 936.58
Current children cumulated vsize (KiB) 145188

[startup+304.404 s]
/proc/loadavg: 3.13 3.05 3.00 4/120 26443
/proc/meminfo: memFree=2845096/3368532 swapFree=1941392/1959888
[pid=25493] ppid=25491 vsize=122880 CPUtime=937.45
/proc/25493/stat : 25493 (satake) S 25491 25493 11369 0 -1 4202496 35654 0 0 0 88686 5059 0 0 18 0 2 0 1129244707 125829120 29139 4294967295 134512640 135180984 3218929952 3218929388 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/25493/statm: 30720 29139 77 164 0 30555 0
[pid=25493/tid=25495] ppid=25491 vsize=122880 CPUtime=302.63
/proc/25493/task/25495/stat : 25495 (satake) R 25491 25493 11369 0 -1 4202560 8448 0 0 0 29252 1011 0 0 25 0 2 0 1129244707 125829120 29139 4294967295 134512640 135180984 3218929952 3085996428 134670785 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 937.45
Current children cumulated vsize (KiB) 122880

Child status: 4
Real time (s): 304.455
CPU time (s): 937.5
CPU user time (s): 886.89
CPU system time (s): 50.61
CPU usage (%): 307.927
Max. virtual memory (cumulated for all children) (KiB): 145188


getrusage(RUSAGE_CHILDREN,...) data:
user time used= 886.89
system time used= 50.61
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35655
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= 1581084
involuntary context switches= 144256

runsolver used 0 second user time and 0 second system time

The end

Launcher Data 

Begin job on  at 2009-05-30 03:07:29
IDJOB=1779910
IDBENCH=70940
IDSOLVER=629
FILE ID=/1779910-1243645649
PBS_JOBID=
Free space on /tmp= 15727 MiB

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

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

MD5SUM BENCH= a7bc41b32260e4459b2bee7c18cacba1
RANDOM SEED= 223323388

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:       2979396 kB
Buffers:         48724 kB
Cached:         254600 kB
SwapCached:       4320 kB
Active:         143276 kB
Inactive:       170808 kB
HighTotal:     2489216 kB
HighFree:      2221972 kB
LowTotal:       879316 kB
LowFree:        757424 kB
SwapTotal:     1959888 kB
SwapFree:      1941392 kB
Dirty:            3700 kB
Writeback:           0 kB
AnonPages:        9136 kB
Mapped:           4076 kB
Slab:            64684 kB
SReclaimable:    56008 kB
SUnreclaim:       8676 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:12:34