Trace number 1776055

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 1418.65 786.722

General information on the benchmark

Nameindustrial/palacios/uts/
uts-l06-ipc5-h33-unknown.cnf
MD5SUM6197e38464facb30636a5a3ad5b2f0b5
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark99.33
Satisfiable
(Un)Satisfiability was proved
Number of variables172950
Number of clauses837466
Sum of the clauses size2168190
Maximum clause length591
Minimum clause length1
Number of clauses of size 1276
Number of clauses of size 2666462
Number of clauses of size 3164950
Number of clauses of size 41526
Number of clauses of size 5129
Number of clauses of size over 54123

Solver Data 

1418.65/786.71	c Benchmark name    : HOME/instance-1776055-1243635072.cnf
1418.65/786.71	c Thread Num        :            4
1418.65/786.71	c restarts          :           16
1418.65/786.71	c conflicts         :       122538
1418.65/786.71	c decisions         :       220675           (      282 / sec      )
1418.65/786.71	c propagations      :    731801439           (   936535 / sec      )
1418.65/786.71	c inspects          :   2164708293           (  2770321 / sec      )
1418.65/786.71	c conflict literals :      3804466           (    34.81 % deleted  )
1418.65/786.71	c cpu time          :       781.39           
1418.65/786.71	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-1776055-1243635072/watcher-1776055-1243635072 -o /tmp/evaluation-result-1776055-1243635072/solver-1776055-1243635072 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1776055-1243635072.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: 6.08 6.23 6.30 6/118 25830
/proc/meminfo: memFree=3197792/3368532 swapFree=1954888/1959888
[pid=25829] ppid=25827 vsize=964 CPUtime=0
/proc/25829/stat : 25829 (satake) R 25827 25829 8716 0 -1 4202496 108 0 0 0 0 0 0 0 25 0 2 0 1128171275 987136 64 4294967295 134512640 135180984 3215308208 3215307552 134705812 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/25829/statm: 241 64 54 164 0 76 0
[pid=25829/tid=25830] ppid=25827 vsize=964 CPUtime=0
/proc/25829/task/25830/stat : 25830 (satake) R 25827 25829 8716 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 2 0 1128171275 987136 64 4294967295 134512640 135180984 3215308208 3086484292 134705812 0 0 0 0 0 0 0 -1 1 0 0 0

[startup+0.09396 s]
/proc/loadavg: 6.08 6.23 6.30 6/118 25830
/proc/meminfo: memFree=3197792/3368532 swapFree=1954888/1959888
[pid=25829] ppid=25827 vsize=42696 CPUtime=0.09
/proc/25829/stat : 25829 (satake) S 25827 25829 8716 0 -1 4202496 9972 0 0 0 4 5 0 0 25 0 5 0 1128171275 43720704 9922 4294967295 134512640 135180984 3215308208 3215307644 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/25829/statm: 10674 9922 63 164 0 10509 0
[pid=25829/tid=25830] ppid=25827 vsize=42696 CPUtime=0
/proc/25829/task/25830/stat : 25830 (satake) S 25827 25829 8716 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 5 0 1128171275 43720704 9922 4294967295 134512640 135180984 3215308208 3086483472 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 42696

[startup+0.11397 s]
/proc/loadavg: 6.08 6.23 6.30 6/118 25830
/proc/meminfo: memFree=3197792/3368532 swapFree=1954888/1959888
[pid=25829] ppid=25827 vsize=44256 CPUtime=0.11
/proc/25829/stat : 25829 (satake) S 25827 25829 8716 0 -1 4202496 10245 0 0 0 5 6 0 0 25 0 5 0 1128171275 45318144 10195 4294967295 134512640 135180984 3215308208 3215307644 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/25829/statm: 11064 10195 63 164 0 10899 0
[pid=25829/tid=25830] ppid=25827 vsize=44256 CPUtime=0
/proc/25829/task/25830/stat : 25830 (satake) S 25827 25829 8716 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 5 0 1128171275 45318144 10195 4294967295 134512640 135180984 3215308208 3086483472 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 44256

[startup+0.313936 s]
/proc/loadavg: 6.08 6.23 6.30 6/118 25830
/proc/meminfo: memFree=3197792/3368532 swapFree=1954888/1959888
[pid=25829] ppid=25827 vsize=64316 CPUtime=0.31
/proc/25829/stat : 25829 (satake) S 25827 25829 8716 0 -1 4202496 15136 0 0 0 22 9 0 0 25 0 5 0 1128171275 65859584 15083 4294967295 134512640 135180984 3215308208 3215307644 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/25829/statm: 16079 15083 63 164 0 15914 0
[pid=25829/tid=25830] ppid=25827 vsize=64316 CPUtime=0
/proc/25829/task/25830/stat : 25830 (satake) S 25827 25829 8716 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 5 0 1128171275 65859584 15083 4294967295 134512640 135180984 3215308208 3086483472 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 64316

[startup+0.713898 s]
/proc/loadavg: 6.08 6.23 6.30 6/118 25830
/proc/meminfo: memFree=3197792/3368532 swapFree=1954888/1959888
[pid=25829] ppid=25827 vsize=87944 CPUtime=0.68
/proc/25829/stat : 25829 (satake) S 25827 25829 8716 0 -1 4202496 20338 0 0 0 57 11 0 0 25 0 5 0 1128171275 90054656 20285 4294967295 134512640 135180984 3215308208 3215307644 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/25829/statm: 21986 20285 63 164 0 21821 0
[pid=25829/tid=25830] ppid=25827 vsize=87944 CPUtime=0
/proc/25829/task/25830/stat : 25830 (satake) S 25827 25829 8716 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 5 0 1128171275 90054656 20285 4294967295 134512640 135180984 3215308208 3086483472 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 87944

[startup+1.51383 s]
/proc/loadavg: 6.08 6.23 6.30 7/122 25838
/proc/meminfo: memFree=3097692/3368532 swapFree=1954888/1959888
[pid=25829] ppid=25827 vsize=148684 CPUtime=1.45
/proc/25829/stat : 25829 (satake) S 25827 25829 8716 0 -1 4202496 32923 0 0 0 133 12 0 0 25 0 5 0 1128171275 152252416 32870 4294967295 134512640 135180984 3215308208 3215307644 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/25829/statm: 37171 32870 63 164 0 37006 0
[pid=25829/tid=25830] ppid=25827 vsize=148684 CPUtime=0
/proc/25829/task/25830/stat : 25830 (satake) S 25827 25829 8716 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 5 0 1128171275 152252416 32870 4294967295 134512640 135180984 3215308208 3086483472 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=25829/tid=25832] ppid=25827 vsize=148684 CPUtime=0.55
/proc/25829/task/25832/stat : 25832 (satake) R 25827 25829 8716 0 -1 4202560 11973 0 0 0 51 4 0 0 25 0 5 0 1128171275 152252416 32870 4294967295 134512640 135180984 3215308208 3086418068 134579486 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=25829/tid=25833] ppid=25827 vsize=148684 CPUtime=0.63
/proc/25829/task/25833/stat : 25833 (satake) R 25827 25829 8716 0 -1 4202560 13274 0 0 0 59 4 0 0 25 0 5 0 1128171275 152252416 32870 4294967295 134512640 135180984 3215308208 3086352608 134519930 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=25829/tid=25834] ppid=25827 vsize=148684 CPUtime=0.27
/proc/25829/task/25834/stat : 25834 (satake) R 25827 25829 8716 0 -1 4202560 7558 0 0 0 23 4 0 0 24 0 5 0 1128171275 152252416 32870 4294967295 134512640 135180984 3215308208 3086287152 134534698 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 148684

[startup+3.11369 s]
/proc/loadavg: 6.08 6.23 6.30 7/122 25838
/proc/meminfo: memFree=3057992/3368532 swapFree=1954888/1959888
[pid=25829] ppid=25827 vsize=178476 CPUtime=3.95
/proc/25829/stat : 25829 (satake) S 25827 25829 8716 0 -1 4202496 48967 0 0 0 379 16 0 0 25 0 5 0 1128171275 182759424 37535 4294967295 134512640 135180984 3215308208 3215307644 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/25829/statm: 44619 37535 68 164 0 44454 0
[pid=25829/tid=25830] ppid=25827 vsize=178476 CPUtime=0.04
/proc/25829/task/25830/stat : 25830 (satake) S 25827 25829 8716 0 -1 4202560 3096 0 0 0 3 1 0 0 15 0 5 0 1128171275 182759424 37535 4294967295 134512640 135180984 3215308208 3086483472 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=25829/tid=25832] ppid=25827 vsize=178476 CPUtime=1.27
/proc/25829/task/25832/stat : 25832 (satake) R 25827 25829 8716 0 -1 4202560 15264 0 0 0 122 5 0 0 25 0 5 0 1128171275 182759424 37535 4294967295 134512640 135180984 3215308208 3086417708 134565122 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=25829/tid=25833] ppid=25827 vsize=178476 CPUtime=1.43
/proc/25829/task/25833/stat : 25833 (satake) R 25827 25829 8716 0 -1 4202560 15300 0 0 0 139 4 0 0 25 0 5 0 1128171275 182759424 37535 4294967295 134512640 135180984 3215308208 3086352240 134528869 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=25829/tid=25834] ppid=25827 vsize=178476 CPUtime=1.21
/proc/25829/task/25834/stat : 25834 (satake) R 25827 25829 8716 0 -1 4202560 15196 0 0 0 115 6 0 0 25 0 5 0 1128171275 182759424 37535 4294967295 134512640 135180984 3215308208 3086286696 134520863 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.95
Current children cumulated vsize (KiB) 178476

[startup+6.31342 s]
/proc/loadavg: 6.16 6.25 6.30 8/122 25842
/proc/meminfo: memFree=3047172/3368532 swapFree=1954888/1959888
[pid=25829] ppid=25827 vsize=179460 CPUtime=9.72
/proc/25829/stat : 25829 (satake) S 25827 25829 8716 0 -1 4202496 49217 0 0 0 956 16 0 0 25 0 5 0 1128171275 183767040 37785 4294967295 134512640 135180984 3215308208 3215307644 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/25829/statm: 44865 37785 68 164 0 44700 0
[pid=25829/tid=25830] ppid=25827 vsize=179460 CPUtime=0.04
/proc/25829/task/25830/stat : 25830 (satake) S 25827 25829 8716 0 -1 4202560 3108 0 0 0 3 1 0 0 15 0 5 0 1128171275 183767040 37785 4294967295 134512640 135180984 3215308208 3086483476 134580588 0 0 0 0 3223036975 0 0 -1 0 0 0 0
[pid=25829/tid=25832] ppid=25827 vsize=179460 CPUtime=2.69
/proc/25829/task/25832/stat : 25832 (satake) R 25827 25829 8716 0 -1 4202560 15292 0 0 0 264 5 0 0 25 0 5 0 1128171275 183767040 37785 4294967295 134512640 135180984 3215308208 3086417580 134706407 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=25829/tid=25833] ppid=25827 vsize=179460 CPUtime=4.08
/proc/25829/task/25833/stat : 25833 (satake) R 25827 25829 8716 0 -1 4202560 15434 0 0 0 404 4 0 0 25 0 5 0 1128171275 183767040 37785 4294967295 134512640 135180984 3215308208 3086352176 134523862 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=25829/tid=25834] ppid=25827 vsize=179460 CPUtime=2.91
/proc/25829/task/25834/stat : 25834 (satake) R 25827 25829 8716 0 -1 4202560 15272 0 0 0 285 6 0 0 21 0 5 0 1128171275 183767040 37785 4294967295 134512640 135180984 3215308208 3086286696 134520863 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 9.72
Current children cumulated vsize (KiB) 179460

[startup+12.7129 s]
/proc/loadavg: 6.15 6.24 6.30 8/122 25851
/proc/meminfo: memFree=3045592/3368532 swapFree=1954888/1959888
[pid=25829] ppid=25827 vsize=180284 CPUtime=18.65
/proc/25829/stat : 25829 (satake) S 25827 25829 8716 0 -1 4202496 49472 0 0 0 1845 20 0 0 25 0 5 0 1128171275 184610816 38040 4294967295 134512640 135180984 3215308208 3215307644 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/25829/statm: 45071 38040 68 164 0 44906 0
[pid=25829/tid=25830] ppid=25827 vsize=180284 CPUtime=0.09
/proc/25829/task/25830/stat : 25830 (satake) S 25827 25829 8716 0 -1 4202560 3130 0 0 0 5 4 0 0 16 0 5 0 1128171275 184610816 38040 4294967295 134512640 135180984 3215308208 3086483472 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=25829/tid=25832] ppid=25827 vsize=180284 CPUtime=5.94
/proc/25829/task/25832/stat : 25832 (satake) R 25827 25829 8716 0 -1 4202560 15387 0 0 0 589 5 0 0 25 0 5 0 1128171275 184610816 38040 4294967295 134512640 135180984 3215308208 3086417776 134528211 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=25829/tid=25833] ppid=25827 vsize=180284 CPUtime=7.23
/proc/25829/task/25833/stat : 25833 (satake) R 25827 25829 8716 0 -1 4202560 15491 0 0 0 719 4 0 0 25 0 5 0 1128171275 184610816 38040 4294967295 134512640 135180984 3215308208 3086352032 134580407 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=25829/tid=25834] ppid=25827 vsize=180284 CPUtime=5.39
/proc/25829/task/25834/stat : 25834 (satake) S 25827 25829 8716 0 -1 4202560 15353 0 0 0 532 7 0 0 16 0 5 0 1128171275 184610816 38040 4294967295 134512640 135180984 3215308208 3086286496 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 18.65
Current children cumulated vsize (KiB) 180284

[startup+25.5118 s]
/proc/loadavg: 6.17 6.24 6.30 6/122 25869
/proc/meminfo: memFree=3043268/3368532 swapFree=1954888/1959888
[pid=25829] ppid=25827 vsize=183456 CPUtime=39.16
/proc/25829/stat : 25829 (satake) S 25827 25829 8716 0 -1 4202496 50083 0 0 0 3871 45 0 0 25 0 5 0 1128171275 187858944 38651 4294967295 134512640 135180984 3215308208 3215307644 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/25829/statm: 45864 38651 68 164 0 45699 0
[pid=25829/tid=25830] ppid=25827 vsize=183456 CPUtime=0.27
/proc/25829/task/25830/stat : 25830 (satake) S 25827 25829 8716 0 -1 4202560 3211 0 0 0 7 20 0 0 16 0 5 0 1128171275 187858944 38651 4294967295 134512640 135180984 3215308208 3086483476 134580588 0 0 0 0 3223036975 0 0 -1 0 0 0 0
[pid=25829/tid=25832] ppid=25827 vsize=183456 CPUtime=11.83
/proc/25829/task/25832/stat : 25832 (satake) R 25827 25829 8716 0 -1 4202560 15522 0 0 0 1176 7 0 0 25 0 5 0 1128171275 187858944 38651 4294967295 134512640 135180984 3215308208 3086417768 134518252 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=25829/tid=25833] ppid=25827 vsize=183456 CPUtime=14.13
/proc/25829/task/25833/stat : 25833 (satake) R 25827 25829 8716 0 -1 4202560 15710 0 0 0 1407 6 0 0 25 0 5 0 1128171275 187858944 38651 4294967295 134512640 135180984 3215308208 3086352044 134706407 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=25829/tid=25834] ppid=25827 vsize=183456 CPUtime=12.94
/proc/25829/task/25834/stat : 25834 (satake) R 25827 25829 8716 0 -1 4202560 15529 0 0 0 1282 12 0 0 16 0 5 0 1128171275 187858944 38651 4294967295 134512640 135180984 3215308208 3086286640 134523851 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 39.16
Current children cumulated vsize (KiB) 183456

[startup+51.1096 s]
/proc/loadavg: 6.43 6.30 6.32 8/122 26085
/proc/meminfo: memFree=3037236/3368532 swapFree=1954888/1959888
[pid=25829] ppid=25827 vsize=187868 CPUtime=76.22
/proc/25829/stat : 25829 (satake) S 25827 25829 8716 0 -1 4202496 51291 0 0 0 7535 87 0 0 25 0 5 0 1128171275 192376832 39859 4294967295 134512640 135180984 3215308208 3215307644 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/25829/statm: 46967 39859 68 164 0 46802 0
[pid=25829/tid=25830] ppid=25827 vsize=187868 CPUtime=0.57
/proc/25829/task/25830/stat : 25830 (satake) S 25827 25829 8716 0 -1 4202560 3327 0 0 0 12 45 0 0 15 0 5 0 1128171275 192376832 39859 4294967295 134512640 135180984 3215308208 3086483472 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=25829/tid=25832] ppid=25827 vsize=187868 CPUtime=19.45
/proc/25829/task/25832/stat : 25832 (satake) R 25827 25829 8716 0 -1 4202560 15724 0 0 0 1932 13 0 0 20 0 5 0 1128171275 192376832 39859 4294967295 134512640 135180984 3215308208 3086417692 134519101 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=25829/tid=25833] ppid=25827 vsize=187868 CPUtime=24.9
/proc/25829/task/25833/stat : 25833 (satake) R 25827 25829 8716 0 -1 4202560 15888 0 0 0 2481 9 0 0 25 0 5 0 1128171275 192376832 39859 4294967295 134512640 135180984 3215308208 3086352176 134523821 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=25829/tid=25834] ppid=25827 vsize=187868 CPUtime=31.31
/proc/25829/task/25834/stat : 25834 (satake) R 25827 25829 8716 0 -1 4202560 16241 0 0 0 3111 20 0 0 21 0 5 0 1128171275 192376832 39859 4294967295 134512640 135180984 3215308208 3086286696 134519912 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 76.22
Current children cumulated vsize (KiB) 187868

[startup+102.315 s]
/proc/loadavg: 6.33 6.27 6.30 7/122 26338
/proc/meminfo: memFree=3023688/3368532 swapFree=1954888/1959888
[pid=25829] ppid=25827 vsize=202036 CPUtime=162.58
/proc/25829/stat : 25829 (satake) S 25827 25829 8716 0 -1 4202496 54719 0 0 0 16088 170 0 0 25 0 5 0 1128171275 206884864 43287 4294967295 134512640 135180984 3215308208 3215307644 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/25829/statm: 50509 43287 68 164 0 50344 0
[pid=25829/tid=25830] ppid=25827 vsize=202036 CPUtime=1.28
/proc/25829/task/25830/stat : 25830 (satake) S 25827 25829 8716 0 -1 4202560 3720 0 0 0 35 93 0 0 15 0 5 0 1128171275 206884864 43287 4294967295 134512640 135180984 3215308208 3086483472 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=25829/tid=25832] ppid=25827 vsize=202036 CPUtime=50.05
/proc/25829/task/25832/stat : 25832 (satake) R 25827 25829 8716 0 -1 4202560 16315 0 0 0 4978 27 0 0 25 0 5 0 1128171275 206884864 43287 4294967295 134512640 135180984 3215308208 3086417712 134523754 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=25829/tid=25833] ppid=25827 vsize=202036 CPUtime=56.93
/proc/25829/task/25833/stat : 25833 (satake) R 25827 25829 8716 0 -1 4202560 16670 0 0 0 5675 18 0 0 25 0 5 0 1128171275 206884864 43287 4294967295 134512640 135180984 3215308208 3086352192 134522959 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=25829/tid=25834] ppid=25827 vsize=202036 CPUtime=54.32
/proc/25829/task/25834/stat : 25834 (satake) R 25827 25829 8716 0 -1 4202560 17903 0 0 0 5400 32 0 0 25 0 5 0 1128171275 206884864 43287 4294967295 134512640 135180984 3215308208 3086286508 134706407 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 162.58
Current children cumulated vsize (KiB) 202036

[startup+162.31 s]
/proc/loadavg: 6.45 6.30 6.31 9/123 26569
/proc/meminfo: memFree=3009536/3368532 swapFree=1954888/1959888
[pid=25829] ppid=25827 vsize=215892 CPUtime=270.52
/proc/25829/stat : 25829 (satake) S 25827 25829 8716 0 -1 4202496 58155 0 0 0 26787 265 0 0 25 0 5 0 1128171275 221073408 46723 4294967295 134512640 135180984 3215308208 3215307644 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/25829/statm: 53973 46723 68 164 0 53808 0
[pid=25829/tid=25830] ppid=25827 vsize=215892 CPUtime=2.06
/proc/25829/task/25830/stat : 25830 (satake) S 25827 25829 8716 0 -1 4202560 4294 0 0 0 60 146 0 0 15 0 5 0 1128171275 221073408 46723 4294967295 134512640 135180984 3215308208 3086483476 134580588 0 0 0 0 3223036975 0 0 -1 3 0 0 0
[pid=25829/tid=25832] ppid=25827 vsize=215892 CPUtime=86.74
/proc/25829/task/25832/stat : 25832 (satake) R 25827 25829 8716 0 -1 4202560 17431 0 0 0 8635 39 0 0 25 0 5 0 1128171275 221073408 46723 4294967295 134512640 135180984 3215308208 3086417568 134580407 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=25829/tid=25833] ppid=25827 vsize=215892 CPUtime=93.11
/proc/25829/task/25833/stat : 25833 (satake) R 25827 25829 8716 0 -1 4202560 17643 0 0 0 9277 34 0 0 25 0 5 0 1128171275 221073408 46723 4294967295 134512640 135180984 3215308208 3086352240 134528881 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=25829/tid=25834] ppid=25827 vsize=215892 CPUtime=88.61
/proc/25829/task/25834/stat : 25834 (satake) R 25827 25829 8716 0 -1 4202560 18676 0 0 0 8815 46 0 0 24 0 5 0 1128171275 221073408 46723 4294967295 134512640 135180984 3215308208 3086286704 134528433 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 270.52

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

/proc/25829/task/25830/stat : 25830 (satake) S 25827 25829 8716 0 -1 4202560 7699 0 0 0 240 524 0 0 16 0 5 0 1128171275 290037760 62354 4294967295 134512640 135180984 3215308208 3086483472 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=25829/tid=25832] ppid=25827 vsize=283240 CPUtime=336.17
/proc/25829/task/25832/stat : 25832 (satake) R 25827 25829 8716 0 -1 4202560 21695 0 0 0 33471 146 0 0 25 0 5 0 1128171275 290037760 62354 4294967295 134512640 135180984 3215308208 3086417768 134520863 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=25829/tid=25833] ppid=25827 vsize=283240 CPUtime=379.9
/proc/25829/task/25833/stat : 25833 (satake) R 25827 25829 8716 0 -1 4202560 21702 0 0 0 37841 149 0 0 25 0 5 0 1128171275 290037760 62354 4294967295 134512640 135180984 3215308208 3086352208 134519935 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=25829/tid=25834] ppid=25827 vsize=283240 CPUtime=334.61
/proc/25829/task/25834/stat : 25834 (satake) R 25827 25829 8716 0 -1 4202560 22579 0 0 0 33314 147 0 0 25 0 5 0 1128171275 290037760 62354 4294967295 134512640 135180984 3215308208 3086286768 134532500 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1058.32
Current children cumulated vsize (KiB) 283240

[startup+642.309 s]
/proc/loadavg: 6.36 6.38 6.35 7/122 28712
/proc/meminfo: memFree=2939692/3368532 swapFree=1954888/1959888
[pid=25829] ppid=25827 vsize=290748 CPUtime=1153.88
/proc/25829/stat : 25829 (satake) S 25827 25829 8716 0 -1 4202496 75487 0 0 0 114355 1033 0 0 25 0 5 0 1128171275 297725952 64055 4294967295 134512640 135180984 3215308208 3215307644 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/25829/statm: 72687 64055 68 164 0 72522 0
[pid=25829/tid=25830] ppid=25827 vsize=290748 CPUtime=8.19
/proc/25829/task/25830/stat : 25830 (satake) S 25827 25829 8716 0 -1 4202560 8163 0 0 0 257 562 0 0 15 0 5 0 1128171275 297725952 64055 4294967295 134512640 135180984 3215308208 3086483476 134580588 0 0 0 0 3223036975 0 0 -1 3 0 0 0
[pid=25829/tid=25832] ppid=25827 vsize=290748 CPUtime=367.77
/proc/25829/task/25832/stat : 25832 (satake) R 25827 25829 8716 0 -1 4202560 22128 0 0 0 36617 160 0 0 25 0 5 0 1128171275 297725952 64055 4294967295 134512640 135180984 3215308208 3086417776 134528433 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=25829/tid=25833] ppid=25827 vsize=290748 CPUtime=412.81
/proc/25829/task/25833/stat : 25833 (satake) R 25827 25829 8716 0 -1 4202560 22071 0 0 0 41125 156 0 0 25 0 5 0 1128171275 297725952 64055 4294967295 134512640 135180984 3215308208 3086352044 134706407 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=25829/tid=25834] ppid=25827 vsize=290748 CPUtime=365.11
/proc/25829/task/25834/stat : 25834 (satake) R 25827 25829 8716 0 -1 4202560 23014 0 0 0 36356 155 0 0 25 0 5 0 1128171275 297725952 64055 4294967295 134512640 135180984 3215308208 3086286704 134528433 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1153.88
Current children cumulated vsize (KiB) 290748

[startup+702.303 s]
/proc/loadavg: 6.43 6.39 6.35 8/123 28902
/proc/meminfo: memFree=2932360/3368532 swapFree=1954888/1959888
[pid=25829] ppid=25827 vsize=298836 CPUtime=1270.1
/proc/25829/stat : 25829 (satake) S 25827 25829 8716 0 -1 4202496 77472 0 0 0 125890 1120 0 0 25 0 5 0 1128171275 306008064 66040 4294967295 134512640 135180984 3215308208 3215307644 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/25829/statm: 74709 66040 68 164 0 74544 0
[pid=25829/tid=25830] ppid=25827 vsize=298836 CPUtime=8.86
/proc/25829/task/25830/stat : 25830 (satake) S 25827 25829 8716 0 -1 4202560 8640 0 0 0 280 606 0 0 15 0 5 0 1128171275 306008064 66040 4294967295 134512640 135180984 3215308208 3086483472 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=25829/tid=25832] ppid=25827 vsize=298836 CPUtime=405.5
/proc/25829/task/25832/stat : 25832 (satake) R 25827 25829 8716 0 -1 4202560 22656 0 0 0 40379 171 0 0 25 0 5 0 1128171275 306008064 66040 4294967295 134512640 135180984 3215308208 3086417776 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=25829/tid=25833] ppid=25827 vsize=298836 CPUtime=453.43
/proc/25829/task/25833/stat : 25833 (satake) R 25827 25829 8716 0 -1 4202560 22562 0 0 0 45168 175 0 0 25 0 5 0 1128171275 306008064 66040 4294967295 134512640 135180984 3215308208 3086352236 134520875 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=25829/tid=25834] ppid=25827 vsize=298836 CPUtime=402.31
/proc/25829/task/25834/stat : 25834 (satake) R 25827 25829 8716 0 -1 4202560 23503 0 0 0 40063 168 0 0 25 0 5 0 1128171275 306008064 66040 4294967295 134512640 135180984 3215308208 3086286704 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1270.1
Current children cumulated vsize (KiB) 298836

[startup+762.308 s]
/proc/loadavg: 6.55 6.42 6.37 9/123 29117
/proc/meminfo: memFree=2929112/3368532 swapFree=1954888/1959888
[pid=25829] ppid=25827 vsize=301936 CPUtime=1385.14
/proc/25829/stat : 25829 (satake) S 25827 25829 8716 0 -1 4202496 78226 0 0 0 137326 1188 0 0 25 0 5 0 1128171275 309182464 66794 4294967295 134512640 135180984 3215308208 3215307644 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/25829/statm: 75484 66794 68 164 0 75319 0
[pid=25829/tid=25830] ppid=25827 vsize=301936 CPUtime=9.41
/proc/25829/task/25830/stat : 25830 (satake) S 25827 25829 8716 0 -1 4202560 8957 0 0 0 299 642 0 0 15 0 5 0 1128171275 309182464 66794 4294967295 134512640 135180984 3215308208 3086483472 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=25829/tid=25832] ppid=25827 vsize=301936 CPUtime=439.22
/proc/25829/task/25832/stat : 25832 (satake) R 25827 25829 8716 0 -1 4202560 22820 0 0 0 43738 184 0 0 25 0 5 0 1128171275 309182464 66794 4294967295 134512640 135180984 3215308208 3086417776 134528267 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=25829/tid=25833] ppid=25827 vsize=301936 CPUtime=494.6
/proc/25829/task/25833/stat : 25833 (satake) R 25827 25829 8716 0 -1 4202560 22703 0 0 0 49275 185 0 0 25 0 5 0 1128171275 309182464 66794 4294967295 134512640 135180984 3215308208 3086352240 134528993 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=25829/tid=25834] ppid=25827 vsize=301936 CPUtime=441.91
/proc/25829/task/25834/stat : 25834 (satake) R 25827 25829 8716 0 -1 4202560 23635 0 0 0 44014 177 0 0 25 0 5 0 1128171275 309182464 66794 4294967295 134512640 135180984 3215308208 3086286696 134520873 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1385.14
Current children cumulated vsize (KiB) 301936

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

[startup+767.908 s]
/proc/loadavg: 6.67 6.45 6.38 10/125 29168
/proc/meminfo: memFree=2928672/3368532 swapFree=1954888/1959888
[pid=25829] ppid=25827 vsize=302128 CPUtime=1393.24
/proc/25829/stat : 25829 (satake) S 25827 25829 8716 0 -1 4202496 78283 0 0 0 138130 1194 0 0 25 0 5 0 1128171275 309379072 66851 4294967295 134512640 135180984 3215308208 3215307644 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/25829/statm: 75532 66851 68 164 0 75367 0
[pid=25829/tid=25830] ppid=25827 vsize=302128 CPUtime=9.46
/proc/25829/task/25830/stat : 25830 (satake) S 25827 25829 8716 0 -1 4202560 8994 0 0 0 299 647 0 0 15 0 5 0 1128171275 309379072 66851 4294967295 134512640 135180984 3215308208 3086483472 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=25829/tid=25832] ppid=25827 vsize=302128 CPUtime=441.95
/proc/25829/task/25832/stat : 25832 (satake) R 25827 25829 8716 0 -1 4202560 22820 0 0 0 44010 185 0 0 25 0 5 0 1128171275 309379072 66851 4294967295 134512640 135180984 3215308208 3086417772 134518257 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=25829/tid=25833] ppid=25827 vsize=302128 CPUtime=497.13
/proc/25829/task/25833/stat : 25833 (satake) R 25827 25829 8716 0 -1 4202560 22705 0 0 0 49528 185 0 0 25 0 5 0 1128171275 309379072 66851 4294967295 134512640 135180984 3215308208 3086352240 134528211 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=25829/tid=25834] ppid=25827 vsize=302128 CPUtime=444.7
/proc/25829/task/25834/stat : 25834 (satake) R 25827 25829 8716 0 -1 4202560 23653 0 0 0 44293 177 0 0 23 0 5 0 1128171275 309379072 66851 4294967295 134512640 135180984 3215308208 3086286704 134528433 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1393.24
Current children cumulated vsize (KiB) 302128

[startup+774.307 s]
/proc/loadavg: 6.64 6.45 6.38 7/123 29233
/proc/meminfo: memFree=2928820/3368532 swapFree=1954888/1959888
[pid=25829] ppid=25827 vsize=302456 CPUtime=1401.09
/proc/25829/stat : 25829 (satake) S 25827 25829 8716 0 -1 4202496 78344 0 0 0 138908 1201 0 0 25 0 5 0 1128171275 309714944 66912 4294967295 134512640 135180984 3215308208 3215307644 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/25829/statm: 75614 66912 68 164 0 75449 0
[pid=25829/tid=25830] ppid=25827 vsize=302456 CPUtime=9.53
/proc/25829/task/25830/stat : 25830 (satake) S 25827 25829 8716 0 -1 4202560 9051 0 0 0 301 652 0 0 16 0 5 0 1128171275 309714944 66912 4294967295 134512640 135180984 3215308208 3086483476 134580588 0 0 0 0 3223036975 0 0 -1 3 0 0 0
[pid=25829/tid=25832] ppid=25827 vsize=302456 CPUtime=444.22
/proc/25829/task/25832/stat : 25832 (satake) R 25827 25829 8716 0 -1 4202560 22820 0 0 0 44236 186 0 0 25 0 5 0 1128171275 309714944 66912 4294967295 134512640 135180984 3215308208 3086417580 134706407 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=25829/tid=25833] ppid=25827 vsize=302456 CPUtime=499.58
/proc/25829/task/25833/stat : 25833 (satake) S 25827 25829 8716 0 -1 4202560 22708 0 0 0 49772 186 0 0 25 0 5 0 1128171275 309714944 66912 4294967295 134512640 135180984 3215308208 3086352032 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=25829/tid=25834] ppid=25827 vsize=302456 CPUtime=447.76
/proc/25829/task/25834/stat : 25834 (satake) R 25827 25829 8716 0 -1 4202560 23654 0 0 0 44599 177 0 0 25 0 5 0 1128171275 309714944 66912 4294967295 134512640 135180984 3215308208 3086286640 134520800 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1401.09
Current children cumulated vsize (KiB) 302456

[startup+780.717 s]
/proc/loadavg: 6.67 6.46 6.38 7/122 29258
/proc/meminfo: memFree=2928332/3368532 swapFree=1954888/1959888
[pid=25829] ppid=25827 vsize=302456 CPUtime=1411.61
/proc/25829/stat : 25829 (satake) S 25827 25829 8716 0 -1 4202496 78360 0 0 0 139953 1208 0 0 25 0 5 0 1128171275 309714944 66928 4294967295 134512640 135180984 3215308208 3215307644 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/25829/statm: 75614 66928 68 164 0 75449 0
[pid=25829/tid=25830] ppid=25827 vsize=302456 CPUtime=9.57
/proc/25829/task/25830/stat : 25830 (satake) S 25827 25829 8716 0 -1 4202560 9054 0 0 0 301 656 0 0 15 0 5 0 1128171275 309714944 66928 4294967295 134512640 135180984 3215308208 3086483472 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=25829/tid=25832] ppid=25827 vsize=302456 CPUtime=447.78
/proc/25829/task/25832/stat : 25832 (satake) R 25827 25829 8716 0 -1 4202560 22820 0 0 0 44590 188 0 0 25 0 5 0 1128171275 309714944 66928 4294967295 134512640 135180984 3215308208 3086417704 134520871 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=25829/tid=25833] ppid=25827 vsize=302456 CPUtime=503.23
/proc/25829/task/25833/stat : 25833 (satake) R 25827 25829 8716 0 -1 4202560 22716 0 0 0 50137 186 0 0 25 0 5 0 1128171275 309714944 66928 4294967295 134512640 135180984 3215308208 3086352240 134528433 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=25829/tid=25834] ppid=25827 vsize=302456 CPUtime=451.03
/proc/25829/task/25834/stat : 25834 (satake) R 25827 25829 8716 0 -1 4202560 23659 0 0 0 44925 178 0 0 25 0 5 0 1128171275 309714944 66928 4294967295 134512640 135180984 3215308208 3086286704 134528433 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1411.61
Current children cumulated vsize (KiB) 302456

[startup+783.916 s]
/proc/loadavg: 6.67 6.46 6.38 5/119 29262
/proc/meminfo: memFree=2971300/3368532 swapFree=1954888/1959888
[pid=25829] ppid=25827 vsize=239820 CPUtime=1415.84
/proc/25829/stat : 25829 (satake) S 25827 25829 8716 0 -1 4202496 78369 0 0 0 140374 1210 0 0 18 0 2 0 1128171275 245575680 56135 4294967295 134512640 135180984 3215308208 3215307644 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/25829/statm: 59955 56135 77 164 0 59790 0
[pid=25829/tid=25832] ppid=25827 vsize=239820 CPUtime=450.72
/proc/25829/task/25832/stat : 25832 (satake) R 25827 25829 8716 0 -1 4202560 22820 0 0 0 44884 188 0 0 25 0 2 0 1128171275 245575680 56135 4294967295 134512640 135180984 3215308208 3086417712 134520810 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1415.84
Current children cumulated vsize (KiB) 239820

[startup+785.516 s]
/proc/loadavg: 6.54 6.43 6.37 5/119 29266
/proc/meminfo: memFree=2971168/3368532 swapFree=1954888/1959888
[pid=25829] ppid=25827 vsize=239820 CPUtime=1417.44
/proc/25829/stat : 25829 (satake) S 25827 25829 8716 0 -1 4202496 78369 0 0 0 140534 1210 0 0 18 0 2 0 1128171275 245575680 56135 4294967295 134512640 135180984 3215308208 3215307644 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/25829/statm: 59955 56135 77 164 0 59790 0
[pid=25829/tid=25832] ppid=25827 vsize=239820 CPUtime=452.32
/proc/25829/task/25832/stat : 25832 (satake) R 25827 25829 8716 0 -1 4202560 22820 0 0 0 45044 188 0 0 25 0 2 0 1128171275 245575680 56135 4294967295 134512640 135180984 3215308208 3086417712 134520716 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1417.44
Current children cumulated vsize (KiB) 239820

[startup+786.316 s]
/proc/loadavg: 6.54 6.43 6.37 5/119 29266
/proc/meminfo: memFree=2971168/3368532 swapFree=1954888/1959888
[pid=25829] ppid=25827 vsize=239820 CPUtime=1418.24
/proc/25829/stat : 25829 (satake) S 25827 25829 8716 0 -1 4202496 78369 0 0 0 140614 1210 0 0 18 0 2 0 1128171275 245575680 56135 4294967295 134512640 135180984 3215308208 3215307644 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/25829/statm: 59955 56135 77 164 0 59790 0
[pid=25829/tid=25832] ppid=25827 vsize=239820 CPUtime=453.12
/proc/25829/task/25832/stat : 25832 (satake) R 25827 25829 8716 0 -1 4202560 22820 0 0 0 45124 188 0 0 25 0 2 0 1128171275 245575680 56135 4294967295 134512640 135180984 3215308208 3086417712 134520810 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1418.24
Current children cumulated vsize (KiB) 239820

[startup+786.716 s]
/proc/loadavg: 6.54 6.43 6.37 5/119 29266
/proc/meminfo: memFree=2971168/3368532 swapFree=1954888/1959888
[pid=25829] ppid=25827 vsize=0 CPUtime=1418.65
/proc/25829/stat : 25829 (satake) R 25827 25829 8716 0 -1 4202500 78370 0 0 0 140654 1211 0 0 18 0 1 0 1128171275 0 0 4294967295 0 0 0 0 0 0 0 0 0 0 0 0 17 1 0 0 0
/proc/25829/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1418.65
Current children cumulated vsize (KiB) 0

Child status: 4

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 25829 and gives
#  childrusage.ru_utime.tv_sec=1406
#  childrusage.ru_utime.tv_usec=540000
#  childrusage.ru_stime.tv_sec=12
#  childrusage.ru_stime.tv_usec=110000
# CPU time returned by wait4() is 1418.65
# while last known CPU time is 1418.65
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 786.722
CPU time (s): 1418.65
CPU user time (s): 1406.54
CPU system time (s): 12.11
CPU usage (%): 180.324
Max. virtual memory (cumulated for all children) (KiB): 302456


getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1406.54
system time used= 12.11
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 78370
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= 3963460
involuntary context switches= 3867723

runsolver used 0 second user time and 0.01 second system time

The end

Launcher Data 

Begin job on  at 2009-05-30 00:11:12
IDJOB=1776055
IDBENCH=20418
IDSOLVER=629
FILE ID=/1776055-1243635072
PBS_JOBID=
Free space on /tmp= 15869 MiB

SOLVER NAME= satake 2009-03-22 (4 threads)
BENCH NAME= SAT07/industrial/palacios/uts/uts-l06-ipc5-h33-unknown.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1776055-1243635072/watcher-1776055-1243635072 -o /tmp/evaluation-result-1776055-1243635072/solver-1776055-1243635072 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1776055-1243635072.cnf 4 10000

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

MD5SUM BENCH= 6197e38464facb30636a5a3ad5b2f0b5
RANDOM SEED= 1945368306

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.43
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:       3197892 kB
Buffers:         12272 kB
Cached:          83848 kB
SwapCached:        720 kB
Active:          65404 kB
Inactive:        47572 kB
HighTotal:     2489216 kB
HighFree:      2384944 kB
LowTotal:       879316 kB
LowFree:        812948 kB
SwapTotal:     1959888 kB
SwapFree:      1954888 kB
Dirty:           16304 kB
Writeback:           0 kB
AnonPages:       15968 kB
Mapped:           6176 kB
Slab:            47944 kB
SReclaimable:    40136 kB
SUnreclaim:       7808 kB
PageTables:        796 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:   123320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 15869 MiB
End job on  at 2009-05-30 00:24:20