Trace number 1776070

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 545.07 319.331

General information on the benchmark

Nameindustrial/palacios/uts/
uts-l06-ipc5-h31-unknown.cnf
MD5SUM4211c3af8594e6cbb06d7f7e8978c614
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark39.04
Satisfiable
(Un)Satisfiability was proved
Number of variables149210
Number of clauses761906
Sum of the clauses size1988854
Maximum clause length591
Minimum clause length1
Number of clauses of size 1276
Number of clauses of size 2614506
Number of clauses of size 3141844
Number of clauses of size 41307
Number of clauses of size 5115
Number of clauses of size over 53858

Solver Data 

545.06/319.34	c Benchmark name    : HOME/instance-1776070-1243635066.cnf
545.06/319.34	c Thread Num        :            4
545.06/319.34	c restarts          :           15
545.06/319.34	c conflicts         :        82732
545.06/319.34	c decisions         :       128377           (      405 / sec      )
545.06/319.34	c propagations      :    270330174           (   852861 / sec      )
545.06/319.34	c inspects          :    752112485           (  2372829 / sec      )
545.06/319.34	c conflict literals :      1643275           (    39.83 % deleted  )
545.06/319.34	c cpu time          :       316.97           
545.06/319.34	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-1776070-1243635066/watcher-1776070-1243635066 -o /tmp/evaluation-result-1776070-1243635066/solver-1776070-1243635066 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1776070-1243635066.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.46 6.61 6.49 8/114 3198
/proc/meminfo: memFree=3118652/3368532 swapFree=1953788/1959888
[pid=3195] ppid=3193 vsize=1092 CPUtime=0
/proc/3195/stat : 3195 (satake) R 3193 3195 23155 0 -1 4202496 110 0 0 0 0 0 0 0 21 0 4 0 1128170766 1118208 66 4294967295 134512640 135180984 3214558464 3214557808 134705812 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/3195/statm: 273 66 54 164 0 108 0
[pid=3195/tid=3196] ppid=3193 vsize=1092 CPUtime=0
/proc/3195/task/3196/stat : 3196 (satake) R 3193 3195 23155 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 4 0 1128170766 1118208 66 4294967295 134512640 135180984 3214558464 3086525252 134705812 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=3195/tid=3197] ppid=3193 vsize=1092 CPUtime=0
/proc/3195/task/3197/stat : 3197 (satake) R 3193 3195 23155 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 4 0 1128170766 1118208 66 4294967295 134512640 135180984 3214558464 3086459716 134705812 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=3195/tid=3198] ppid=3193 vsize=1092 CPUtime=0
/proc/3195/task/3198/stat : 3198 (satake) R 3193 3195 23155 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 4 0 1128170767 1118208 66 4294967295 134512640 135180984 3214558464 3086394180 134705812 0 0 0 0 0 0 0 -1 1 0 0 0

[startup+0.130162 s]
/proc/loadavg: 6.46 6.61 6.49 8/114 3198
/proc/meminfo: memFree=3118652/3368532 swapFree=1953788/1959888
[pid=3195] ppid=3193 vsize=36712 CPUtime=0.13
/proc/3195/stat : 3195 (satake) S 3193 3195 23155 0 -1 4202496 8015 0 0 0 9 4 0 0 21 0 5 0 1128170766 37593088 7968 4294967295 134512640 135180984 3214558464 3214557900 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/3195/statm: 9178 7973 63 164 0 9013 0
[pid=3195/tid=3196] ppid=3193 vsize=36712 CPUtime=0
/proc/3195/task/3196/stat : 3196 (satake) S 3193 3195 23155 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 5 0 1128170766 37593088 7977 4294967295 134512640 135180984 3214558464 3086524432 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=3195/tid=3197] ppid=3193 vsize=36712 CPUtime=0.11
/proc/3195/task/3197/stat : 3197 (satake) R 3193 3195 23155 0 -1 4202560 4695 0 0 0 9 2 0 0 23 0 5 0 1128170766 37593088 7981 4294967295 134512640 135180984 3214558464 3086459184 134534836 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=3195/tid=3198] ppid=3193 vsize=36712 CPUtime=0.02
/proc/3195/task/3198/stat : 3198 (satake) R 3193 3195 23155 0 -1 4202560 3219 0 0 0 0 2 0 0 22 0 5 0 1128170767 37593088 7985 4294967295 134512640 135180984 3214558464 3086393636 134583077 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 36712

[startup+0.210153 s]
/proc/loadavg: 6.46 6.61 6.49 8/114 3198
/proc/meminfo: memFree=3118652/3368532 swapFree=1953788/1959888
[pid=3195] ppid=3193 vsize=48404 CPUtime=0.22
/proc/3195/stat : 3195 (satake) S 3193 3195 23155 0 -1 4202496 10743 0 0 0 17 5 0 0 21 0 5 0 1128170766 49565696 10693 4294967295 134512640 135180984 3214558464 3214557900 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/3195/statm: 12101 10698 63 164 0 11936 0
[pid=3195/tid=3196] ppid=3193 vsize=48404 CPUtime=0
/proc/3195/task/3196/stat : 3196 (satake) S 3193 3195 23155 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 5 0 1128170766 49565696 10701 4294967295 134512640 135180984 3214558464 3086524432 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=3195/tid=3197] ppid=3193 vsize=48404 CPUtime=0.12
/proc/3195/task/3197/stat : 3197 (satake) R 3193 3195 23155 0 -1 4202560 4757 0 0 0 10 2 0 0 23 0 5 0 1128170766 49565696 10705 4294967295 134512640 135180984 3214558464 3086459108 134681037 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=3195/tid=3198] ppid=3193 vsize=48404 CPUtime=0.09
/proc/3195/task/3198/stat : 3198 (satake) R 3193 3195 23155 0 -1 4202560 4525 0 0 0 7 2 0 0 23 0 5 0 1128170767 49565696 10709 4294967295 134512640 135180984 3214558464 3086393492 134579486 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 48404

[startup+0.310146 s]
/proc/loadavg: 6.46 6.61 6.49 8/114 3198
/proc/meminfo: memFree=3118652/3368532 swapFree=1953788/1959888
[pid=3195] ppid=3193 vsize=65328 CPUtime=0.4
/proc/3195/stat : 3195 (satake) S 3193 3195 23155 0 -1 4202496 15270 0 0 0 34 6 0 0 21 0 5 0 1128170766 66895872 15217 4294967295 134512640 135180984 3214558464 3214557900 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/3195/statm: 16332 15217 63 164 0 16167 0
[pid=3195/tid=3196] ppid=3193 vsize=65328 CPUtime=0
/proc/3195/task/3196/stat : 3196 (satake) S 3193 3195 23155 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 5 0 1128170766 66895872 15217 4294967295 134512640 135180984 3214558464 3086524432 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=3195/tid=3197] ppid=3193 vsize=65328 CPUtime=0.21
/proc/3195/task/3197/stat : 3197 (satake) R 3193 3195 23155 0 -1 4202560 5882 0 0 0 18 3 0 0 23 0 5 0 1128170766 66895872 15217 4294967295 134512640 135180984 3214558464 3086458900 134670069 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=3195/tid=3198] ppid=3193 vsize=65328 CPUtime=0.17
/proc/3195/task/3198/stat : 3198 (satake) S 3193 3195 23155 0 -1 4202560 5498 0 0 0 15 2 0 0 23 0 5 0 1128170767 66895872 15217 4294967295 134512640 135180984 3214558464 3086393492 134579486 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 65328

[startup+0.710112 s]
/proc/loadavg: 6.46 6.61 6.49 8/114 3198
/proc/meminfo: memFree=3118652/3368532 swapFree=1953788/1959888
[pid=3195] ppid=3193 vsize=107872 CPUtime=1
/proc/3195/stat : 3195 (satake) S 3193 3195 23155 0 -1 4202496 23482 0 0 0 91 9 0 0 21 0 5 0 1128170766 110460928 23429 4294967295 134512640 135180984 3214558464 3214557900 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/3195/statm: 26968 23430 63 164 0 26803 0
[pid=3195/tid=3196] ppid=3193 vsize=107872 CPUtime=0
/proc/3195/task/3196/stat : 3196 (satake) S 3193 3195 23155 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 5 0 1128170766 110460928 23430 4294967295 134512640 135180984 3214558464 3086524432 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=3195/tid=3197] ppid=3193 vsize=107872 CPUtime=0.41
/proc/3195/task/3197/stat : 3197 (satake) R 3193 3195 23155 0 -1 4202560 8585 0 0 0 37 4 0 0 22 0 5 0 1128170766 110460928 23431 4294967295 134512640 135180984 3214558464 3086459184 134535286 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=3195/tid=3198] ppid=3193 vsize=107872 CPUtime=0.44
/proc/3195/task/3198/stat : 3198 (satake) R 3193 3195 23155 0 -1 4202560 9146 0 0 0 41 3 0 0 20 0 5 0 1128170767 110460928 23431 4294967295 134512640 135180984 3214558464 3086393416 134675846 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1
Current children cumulated vsize (KiB) 107872

[startup+1.51005 s]
/proc/loadavg: 6.46 6.61 6.49 8/116 3200
/proc/meminfo: memFree=2989576/3368532 swapFree=1953788/1959888
[pid=3195] ppid=3193 vsize=157620 CPUtime=2.2
/proc/3195/stat : 3195 (satake) S 3193 3195 23155 0 -1 4202496 39259 0 0 0 200 20 0 0 21 0 5 0 1128170766 161402880 32328 4294967295 134512640 135180984 3214558464 3214557900 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/3195/statm: 39405 32333 66 164 0 39240 0
[pid=3195/tid=3196] ppid=3193 vsize=157620 CPUtime=0.03
/proc/3195/task/3196/stat : 3196 (satake) R 3193 3195 23155 0 -1 4202560 1653 0 0 0 0 3 0 0 18 0 5 0 1128170766 161402880 32334 4294967295 134512640 135180984 3214558464 3086524328 134675767 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=3195/tid=3197] ppid=3193 vsize=157620 CPUtime=0.81
/proc/3195/task/3197/stat : 3197 (satake) R 3193 3195 23155 0 -1 4202560 13535 0 0 0 72 9 0 0 21 0 5 0 1128170766 161402880 32336 4294967295 134512640 135180984 3214558464 3086458664 134518224 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=3195/tid=3198] ppid=3193 vsize=157620 CPUtime=0.9
/proc/3195/task/3198/stat : 3198 (satake) S 3193 3195 23155 0 -1 4202560 13533 0 0 0 86 4 0 0 19 0 5 0 1128170767 161402880 32338 4294967295 134512640 135180984 3214558464 3086392992 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=3195/tid=3200] ppid=3193 vsize=157620 CPUtime=0.46
/proc/3195/task/3200/stat : 3200 (satake) R 3193 3195 23155 0 -1 4202560 10433 0 0 0 42 4 0 0 25 0 5 0 1128170768 161402880 32340 4294967295 134512640 135180984 3214558464 3086319920 134534853 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.2
Current children cumulated vsize (KiB) 157620

[startup+3.10992 s]
/proc/loadavg: 6.42 6.60 6.49 8/116 3200
/proc/meminfo: memFree=2984284/3368532 swapFree=1953788/1959888
[pid=3195] ppid=3193 vsize=164388 CPUtime=4.6
/proc/3195/stat : 3195 (satake) S 3193 3195 23155 0 -1 4202496 42089 0 0 0 439 21 0 0 21 0 5 0 1128170766 168333312 35158 4294967295 134512640 135180984 3214558464 3214557900 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/3195/statm: 41097 35158 68 164 0 40932 0
[pid=3195/tid=3196] ppid=3193 vsize=164388 CPUtime=0.04
/proc/3195/task/3196/stat : 3196 (satake) S 3193 3195 23155 0 -1 4202560 2683 0 0 0 1 3 0 0 16 0 5 0 1128170766 168333312 35158 4294967295 134512640 135180984 3214558464 3086524432 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=3195/tid=3197] ppid=3193 vsize=164388 CPUtime=1.61
/proc/3195/task/3197/stat : 3197 (satake) R 3193 3195 23155 0 -1 4202560 13637 0 0 0 152 9 0 0 23 0 5 0 1128170766 168333312 35158 4294967295 134512640 135180984 3214558464 3086458736 134528080 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=3195/tid=3198] ppid=3193 vsize=164388 CPUtime=2.4
/proc/3195/task/3198/stat : 3198 (satake) R 3193 3195 23155 0 -1 4202560 13610 0 0 0 235 5 0 0 19 0 5 0 1128170767 168333312 35158 4294967295 134512640 135180984 3214558464 3086393200 134528267 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=3195/tid=3200] ppid=3193 vsize=164388 CPUtime=0.55
/proc/3195/task/3200/stat : 3200 (satake) R 3193 3195 23155 0 -1 4202560 12048 0 0 0 51 4 0 0 25 0 5 0 1128170768 168333312 35158 4294967295 134512640 135180984 3214558464 3086319872 134522220 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.6
Current children cumulated vsize (KiB) 164388

[startup+6.30964 s]
/proc/loadavg: 6.42 6.60 6.49 7/116 3200
/proc/meminfo: memFree=2984408/3368532 swapFree=1953788/1959888
[pid=3195] ppid=3193 vsize=166752 CPUtime=10.09
/proc/3195/stat : 3195 (satake) S 3193 3195 23155 0 -1 4202496 43964 0 0 0 987 22 0 0 21 0 5 0 1128170766 170754048 33594 4294967295 134512640 135180984 3214558464 3214557900 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/3195/statm: 41688 33594 68 164 0 41523 0
[pid=3195/tid=3196] ppid=3193 vsize=166752 CPUtime=0.04
/proc/3195/task/3196/stat : 3196 (satake) S 3193 3195 23155 0 -1 4202560 2698 0 0 0 1 3 0 0 15 0 5 0 1128170766 170754048 33594 4294967295 134512640 135180984 3214558464 3086524432 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=3195/tid=3197] ppid=3193 vsize=166752 CPUtime=2.77
/proc/3195/task/3197/stat : 3197 (satake) R 3193 3195 23155 0 -1 4202560 13672 0 0 0 268 9 0 0 25 0 5 0 1128170766 170754048 33594 4294967295 134512640 135180984 3214558464 3086458736 134526482 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=3195/tid=3198] ppid=3193 vsize=166752 CPUtime=4.51
/proc/3195/task/3198/stat : 3198 (satake) R 3193 3195 23155 0 -1 4202560 13667 0 0 0 445 6 0 0 23 0 5 0 1128170767 170754048 33594 4294967295 134512640 135180984 3214558464 3086393136 134523635 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=3195/tid=3200] ppid=3193 vsize=166752 CPUtime=2.77
/proc/3195/task/3200/stat : 3200 (satake) R 3193 3195 23155 0 -1 4202560 13816 0 0 0 273 4 0 0 25 0 5 0 1128170768 170754048 33594 4294967295 134512640 135180984 3214558464 3086319472 134528211 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 10.09
Current children cumulated vsize (KiB) 166752

[startup+12.7091 s]
/proc/loadavg: 6.51 6.61 6.50 7/116 3201
/proc/meminfo: memFree=2982736/3368532 swapFree=1953788/1959888
[pid=3195] ppid=3193 vsize=168708 CPUtime=22.81
/proc/3195/stat : 3195 (satake) S 3193 3195 23155 0 -1 4202496 44329 0 0 0 2252 29 0 0 21 0 5 0 1128170766 172756992 33959 4294967295 134512640 135180984 3214558464 3214557900 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/3195/statm: 42177 33959 68 164 0 42012 0
[pid=3195/tid=3196] ppid=3193 vsize=168708 CPUtime=0.08
/proc/3195/task/3196/stat : 3196 (satake) S 3193 3195 23155 0 -1 4202560 2739 0 0 0 3 5 0 0 15 0 5 0 1128170766 172756992 33959 4294967295 134512640 135180984 3214558464 3086524432 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=3195/tid=3197] ppid=3193 vsize=168708 CPUtime=6.01
/proc/3195/task/3197/stat : 3197 (satake) R 3193 3195 23155 0 -1 4202560 13779 0 0 0 591 10 0 0 25 0 5 0 1128170766 172756992 33959 4294967295 134512640 135180984 3214558464 3086458540 134706407 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=3195/tid=3198] ppid=3193 vsize=168708 CPUtime=9.51
/proc/3195/task/3198/stat : 3198 (satake) R 3193 3195 23155 0 -1 4202560 13760 0 0 0 943 8 0 0 25 0 5 0 1128170767 172756992 33959 4294967295 134512640 135180984 3214558464 3086393192 134520863 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=3195/tid=3200] ppid=3193 vsize=168708 CPUtime=7.21
/proc/3195/task/3200/stat : 3200 (satake) R 3193 3195 23155 0 -1 4202560 13940 0 0 0 715 6 0 0 25 0 5 0 1128170768 172756992 33959 4294967295 134512640 135180984 3214558464 3086319468 134518208 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 22.81
Current children cumulated vsize (KiB) 168708

[startup+25.5081 s]
/proc/loadavg: 6.58 6.63 6.50 8/116 3203
/proc/meminfo: memFree=2981008/3368532 swapFree=1953788/1959888
[pid=3195] ppid=3193 vsize=170952 CPUtime=48.28
/proc/3195/stat : 3195 (satake) S 3193 3195 23155 0 -1 4202496 44786 0 0 0 4791 37 0 0 21 0 5 0 1128170766 175054848 34416 4294967295 134512640 135180984 3214558464 3214557900 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/3195/statm: 42738 34416 68 164 0 42573 0
[pid=3195/tid=3196] ppid=3193 vsize=170952 CPUtime=0.17
/proc/3195/task/3196/stat : 3196 (satake) S 3193 3195 23155 0 -1 4202560 2791 0 0 0 7 10 0 0 16 0 5 0 1128170766 175054848 34416 4294967295 134512640 135180984 3214558464 3086524436 134580588 0 0 0 0 3223036975 0 0 -1 0 0 0 0
[pid=3195/tid=3197] ppid=3193 vsize=170952 CPUtime=12.74
/proc/3195/task/3197/stat : 3197 (satake) R 3193 3195 23155 0 -1 4202560 13884 0 0 0 1263 11 0 0 25 0 5 0 1128170766 175054848 34416 4294967295 134512640 135180984 3214558464 3086458736 134528211 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=3195/tid=3198] ppid=3193 vsize=170952 CPUtime=18.78
/proc/3195/task/3198/stat : 3198 (satake) R 3193 3195 23155 0 -1 4202560 13941 0 0 0 1869 9 0 0 25 0 5 0 1128170767 175054848 34416 4294967295 134512640 135180984 3214558464 3086392992 134580407 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=3195/tid=3200] ppid=3193 vsize=170952 CPUtime=16.59
/proc/3195/task/3200/stat : 3200 (satake) R 3193 3195 23155 0 -1 4202560 14059 0 0 0 1652 7 0 0 25 0 5 0 1128170768 175054848 34416 4294967295 134512640 135180984 3214558464 3086319408 134523641 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 48.28
Current children cumulated vsize (KiB) 170952

[startup+51.1059 s]
/proc/loadavg: 6.79 6.67 6.52 8/116 3392
/proc/meminfo: memFree=2974904/3368532 swapFree=1953788/1959888
[pid=3195] ppid=3193 vsize=176444 CPUtime=94.39
/proc/3195/stat : 3195 (satake) S 3193 3195 23155 0 -1 4202496 46203 0 0 0 9361 78 0 0 21 0 5 0 1128170766 180678656 35833 4294967295 134512640 135180984 3214558464 3214557900 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/3195/statm: 44111 35833 68 164 0 43946 0
[pid=3195/tid=3196] ppid=3193 vsize=176444 CPUtime=0.46
/proc/3195/task/3196/stat : 3196 (satake) S 3193 3195 23155 0 -1 4202560 3041 0 0 0 12 34 0 0 15 0 5 0 1128170766 180678656 35833 4294967295 134512640 135180984 3214558464 3086524432 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=3195/tid=3197] ppid=3193 vsize=176444 CPUtime=28.1
/proc/3195/task/3197/stat : 3197 (satake) R 3193 3195 23155 0 -1 4202560 14233 0 0 0 2790 20 0 0 25 0 5 0 1128170766 180678656 35833 4294967295 134512640 135180984 3214558464 3086458540 134706407 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=3195/tid=3198] ppid=3193 vsize=176444 CPUtime=34.31
/proc/3195/task/3198/stat : 3198 (satake) R 3193 3195 23155 0 -1 4202560 14337 0 0 0 3418 13 0 0 25 0 5 0 1128170767 180678656 35833 4294967295 134512640 135180984 3214558464 3086393192 134520863 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=3195/tid=3200] ppid=3193 vsize=176444 CPUtime=31.52
/proc/3195/task/3200/stat : 3200 (satake) R 3193 3195 23155 0 -1 4202560 14481 0 0 0 3141 11 0 0 23 0 5 0 1128170768 180678656 35833 4294967295 134512640 135180984 3214558464 3086319456 134523632 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 94.39
Current children cumulated vsize (KiB) 176444

[startup+102.312 s]
/proc/loadavg: 6.51 6.62 6.51 9/117 3457
/proc/meminfo: memFree=2962560/3368532 swapFree=1953788/1959888
[pid=3195] ppid=3193 vsize=188552 CPUtime=194.14
/proc/3195/stat : 3195 (satake) S 3193 3195 23155 0 -1 4202496 49287 0 0 0 19235 179 0 0 21 0 5 0 1128170766 193077248 38917 4294967295 134512640 135180984 3214558464 3214557900 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/3195/statm: 47138 38917 68 164 0 46973 0
[pid=3195/tid=3196] ppid=3193 vsize=188552 CPUtime=1.22
/proc/3195/task/3196/stat : 3196 (satake) S 3193 3195 23155 0 -1 4202560 3708 0 0 0 34 88 0 0 15 0 5 0 1128170766 193077248 38917 4294967295 134512640 135180984 3214558464 3086524432 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=3195/tid=3197] ppid=3193 vsize=188552 CPUtime=60.53
/proc/3195/task/3197/stat : 3197 (satake) R 3193 3195 23155 0 -1 4202560 15012 0 0 0 6021 32 0 0 25 0 5 0 1128170766 193077248 38917 4294967295 134512640 135180984 3214558464 3086458736 134528211 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=3195/tid=3198] ppid=3193 vsize=188552 CPUtime=64.64
/proc/3195/task/3198/stat : 3198 (satake) R 3193 3195 23155 0 -1 4202560 15105 0 0 0 6438 26 0 0 25 0 5 0 1128170767 193077248 38917 4294967295 134512640 135180984 3214558464 3086393200 134528209 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=3195/tid=3200] ppid=3193 vsize=188552 CPUtime=67.75
/proc/3195/task/3200/stat : 3200 (satake) R 3193 3195 23155 0 -1 4202560 15351 0 0 0 6742 33 0 0 25 0 5 0 1128170768 193077248 38917 4294967295 134512640 135180984 3214558464 3086319536 134532417 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 194.14
Current children cumulated vsize (KiB) 188552

[startup+162.307 s]
/proc/loadavg: 6.36 6.56 6.49 8/117 3635
/proc/meminfo: memFree=2948440/3368532 swapFree=1953788/1959888
[pid=3195] ppid=3193 vsize=203392 CPUtime=299.12
/proc/3195/stat : 3195 (satake) S 3193 3195 23155 0 -1 4202496 52859 0 0 0 29631 281 0 0 21 0 5 0 1128170766 208273408 42489 4294967295 134512640 135180984 3214558464 3214557900 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/3195/statm: 50848 42489 68 164 0 50683 0
[pid=3195/tid=3196] ppid=3193 vsize=203392 CPUtime=2.39
/proc/3195/task/3196/stat : 3196 (satake) S 3193 3195 23155 0 -1 4202560 4600 0 0 0 91 148 0 0 15 0 5 0 1128170766 208273408 42489 4294967295 134512640 135180984 3214558464 3086524432 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=3195/tid=3197] ppid=3193 vsize=203392 CPUtime=91.71
/proc/3195/task/3197/stat : 3197 (satake) R 3193 3195 23155 0 -1 4202560 15897 0 0 0 9126 45 0 0 25 0 5 0 1128170766 208273408 42489 4294967295 134512640 135180984 3214558464 3086458728 134520863 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=3195/tid=3198] ppid=3193 vsize=203392 CPUtime=101.09
/proc/3195/task/3198/stat : 3198 (satake) R 3193 3195 23155 0 -1 4202560 16054 0 0 0 10067 42 0 0 24 0 5 0 1128170767 208273408 42489 4294967295 134512640 135180984 3214558464 3086393200 134528267 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=3195/tid=3200] ppid=3193 vsize=203392 CPUtime=103.93
/proc/3195/task/3200/stat : 3200 (satake) R 3193 3195 23155 0 -1 4202560 16197 0 0 0 10347 46 0 0 25 0 5 0 1128170768 208273408 42489 4294967295 134512640 135180984 3214558464 3086319536 134532445 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 299.12
Current children cumulated vsize (KiB) 203392

[startup+222.312 s]
/proc/loadavg: 6.20 6.47 6.46 11/117 3837
/proc/meminfo: memFree=2937992/3368532 swapFree=1953788/1959888
[pid=3195] ppid=3193 vsize=215268 CPUtime=374.91
/proc/3195/stat : 3195 (satake) S 3193 3195 23155 0 -1 4202496 55538 0 0 0 37101 390 0 0 21 0 5 0 1128170766 220434432 45168 4294967295 134512640 135180984 3214558464 3214557900 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/3195/statm: 53817 45168 68 164 0 53652 0
[pid=3195/tid=3196] ppid=3193 vsize=215268 CPUtime=3.3
/proc/3195/task/3196/stat : 3196 (satake) S 3193 3195 23155 0 -1 4202560 5318 0 0 0 121 209 0 0 15 0 5 0 1128170766 220434432 45168 4294967295 134512640 135180984 3214558464 3086524432 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=3195/tid=3197] ppid=3193 vsize=215268 CPUtime=117.1
/proc/3195/task/3197/stat : 3197 (satake) R 3193 3195 23155 0 -1 4202560 16545 0 0 0 11651 59 0 0 25 0 5 0 1128170766 220434432 45168 4294967295 134512640 135180984 3214558464 3086458736 134528211 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=3195/tid=3198] ppid=3193 vsize=215268 CPUtime=126.61
/proc/3195/task/3198/stat : 3198 (satake) R 3193 3195 23155 0 -1 4202560 16677 0 0 0 12602 59 0 0 25 0 5 0 1128170767 220434432 45168 4294967295 134512640 135180984 3214558464 3086393200 134526482 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=3195/tid=3200] ppid=3193 vsize=215268 CPUtime=127.9
/proc/3195/task/3200/stat : 3200 (satake) R 3193 3195 23155 0 -1 4202560 16887 0 0 0 12727 63 0 0 25 0 5 0 1128170768 220434432 45168 4294967295 134512640 135180984 3214558464 3086319472 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 374.91
Current children cumulated vsize (KiB) 215268

[startup+282.307 s]
/proc/loadavg: 6.30 6.46 6.46 7/116 3986
/proc/meminfo: memFree=2928604/3368532 swapFree=1953788/1959888
[pid=3195] ppid=3193 vsize=225564 CPUtime=474.34
/proc/3195/stat : 3195 (satake) S 3193 3195 23155 0 -1 4202496 57928 0 0 0 46951 483 0 0 21 0 5 0 1128170766 230977536 47558 4294967295 134512640 135180984 3214558464 3214557900 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/3195/statm: 56391 47558 68 164 0 56226 0
[pid=3195/tid=3196] ppid=3193 vsize=225564 CPUtime=4.17
/proc/3195/task/3196/stat : 3196 (satake) S 3193 3195 23155 0 -1 4202560 6012 0 0 0 153 264 0 0 15 0 5 0 1128170766 230977536 47558 4294967295 134512640 135180984 3214558464 3086524432 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=3195/tid=3197] ppid=3193 vsize=225564 CPUtime=149.87
/proc/3195/task/3197/stat : 3197 (satake) R 3193 3195 23155 0 -1 4202560 17034 0 0 0 14914 73 0 0 25 0 5 0 1128170766 230977536 47558 4294967295 134512640 135180984 3214558464 3086458736 134528211 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=3195/tid=3198] ppid=3193 vsize=225564 CPUtime=158.95
/proc/3195/task/3198/stat : 3198 (satake) R 3193 3195 23155 0 -1 4202560 17277 0 0 0 15819 76 0 0 25 0 5 0 1128170767 230977536 47558 4294967295 134512640 135180984 3214558464 3086393200 134528211 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=3195/tid=3200] ppid=3193 vsize=225564 CPUtime=161.35
/proc/3195/task/3200/stat : 3200 (satake) R 3193 3195 23155 0 -1 4202560 17494 0 0 0 16065 70 0 0 25 0 5 0 1128170768 230977536 47558 4294967295 134512640 135180984 3214558464 3086319472 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 474.34
Current children cumulated vsize (KiB) 225564

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

[startup+294.406 s]
/proc/loadavg: 6.30 6.46 6.45 7/116 4170
/proc/meminfo: memFree=2927156/3368532 swapFree=1953788/1959888
[pid=3195] ppid=3193 vsize=226788 CPUtime=498.11
/proc/3195/stat : 3195 (satake) S 3193 3195 23155 0 -1 4202496 58122 0 0 0 49313 498 0 0 21 0 5 0 1128170766 232230912 47752 4294967295 134512640 135180984 3214558464 3214557900 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/3195/statm: 56697 47752 68 164 0 56532 0
[pid=3195/tid=3196] ppid=3193 vsize=226788 CPUtime=4.31
/proc/3195/task/3196/stat : 3196 (satake) S 3193 3195 23155 0 -1 4202560 6133 0 0 0 162 269 0 0 15 0 5 0 1128170766 232230912 47752 4294967295 134512640 135180984 3214558464 3086524432 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=3195/tid=3197] ppid=3193 vsize=226788 CPUtime=157.41
/proc/3195/task/3197/stat : 3197 (satake) R 3193 3195 23155 0 -1 4202560 17035 0 0 0 15666 75 0 0 25 0 5 0 1128170766 232230912 47752 4294967295 134512640 135180984 3214558464 3086458736 134528425 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=3195/tid=3198] ppid=3193 vsize=226788 CPUtime=166.8
/proc/3195/task/3198/stat : 3198 (satake) R 3193 3195 23155 0 -1 4202560 17333 0 0 0 16603 77 0 0 25 0 5 0 1128170767 232230912 47752 4294967295 134512640 135180984 3214558464 3086393200 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=3195/tid=3200] ppid=3193 vsize=226788 CPUtime=169.59
/proc/3195/task/3200/stat : 3200 (satake) R 3193 3195 23155 0 -1 4202560 17510 0 0 0 16882 77 0 0 25 0 5 0 1128170768 232230912 47752 4294967295 134512640 135180984 3214558464 3086319264 134580407 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 498.11
Current children cumulated vsize (KiB) 226788

[startup+307.215 s]
/proc/loadavg: 6.33 6.46 6.45 7/116 4173
/proc/meminfo: memFree=2925688/3368532 swapFree=1953788/1959888
[pid=3195] ppid=3193 vsize=227496 CPUtime=523.27
/proc/3195/stat : 3195 (satake) S 3193 3195 23155 0 -1 4202496 58526 0 0 0 51813 514 0 0 21 0 5 0 1128170766 232955904 48156 4294967295 134512640 135180984 3214558464 3214557900 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/3195/statm: 56874 48156 68 164 0 56709 0
[pid=3195/tid=3196] ppid=3193 vsize=227496 CPUtime=4.43
/proc/3195/task/3196/stat : 3196 (satake) S 3193 3195 23155 0 -1 4202560 6261 0 0 0 170 273 0 0 15 0 5 0 1128170766 232955904 48156 4294967295 134512640 135180984 3214558464 3086524432 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=3195/tid=3197] ppid=3193 vsize=227496 CPUtime=164.26
/proc/3195/task/3197/stat : 3197 (satake) R 3193 3195 23155 0 -1 4202560 17121 0 0 0 16347 79 0 0 25 0 5 0 1128170766 232955904 48156 4294967295 134512640 135180984 3214558464 3086458752 134532624 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=3195/tid=3198] ppid=3193 vsize=227496 CPUtime=175.71
/proc/3195/task/3198/stat : 3198 (satake) R 3193 3195 23155 0 -1 4202560 17431 0 0 0 17490 81 0 0 25 0 5 0 1128170767 232955904 48156 4294967295 134512640 135180984 3214558464 3086393200 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=3195/tid=3200] ppid=3193 vsize=227496 CPUtime=178.87
/proc/3195/task/3200/stat : 3200 (satake) R 3193 3195 23155 0 -1 4202560 17602 0 0 0 17806 81 0 0 25 0 5 0 1128170768 232955904 48156 4294967295 134512640 135180984 3214558464 3086319400 134520871 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 523.27
Current children cumulated vsize (KiB) 227496

[startup+313.624 s]
/proc/loadavg: 6.35 6.46 6.45 8/116 4174
/proc/meminfo: memFree=2925564/3368532 swapFree=1953788/1959888
[pid=3195] ppid=3193 vsize=227496 CPUtime=535.93
/proc/3195/stat : 3195 (satake) S 3193 3195 23155 0 -1 4202496 58583 0 0 0 53068 525 0 0 21 0 5 0 1128170766 232955904 48213 4294967295 134512640 135180984 3214558464 3214557900 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/3195/statm: 56874 48213 68 164 0 56709 0
[pid=3195/tid=3196] ppid=3193 vsize=227496 CPUtime=4.56
/proc/3195/task/3196/stat : 3196 (satake) S 3193 3195 23155 0 -1 4202560 6272 0 0 0 175 281 0 0 16 0 5 0 1128170766 232955904 48213 4294967295 134512640 135180984 3214558464 3086524436 134580588 0 0 0 0 3223036975 0 0 -1 0 0 0 0
[pid=3195/tid=3197] ppid=3193 vsize=227496 CPUtime=168.31
/proc/3195/task/3197/stat : 3197 (satake) R 3193 3195 23155 0 -1 4202560 17134 0 0 0 16752 79 0 0 25 0 5 0 1128170766 232955904 48213 4294967295 134512640 135180984 3214558464 3086458736 134528680 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=3195/tid=3198] ppid=3193 vsize=227496 CPUtime=180.29
/proc/3195/task/3198/stat : 3198 (satake) R 3193 3195 23155 0 -1 4202560 17437 0 0 0 17946 83 0 0 25 0 5 0 1128170767 232955904 48213 4294967295 134512640 135180984 3214558464 3086393200 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=3195/tid=3200] ppid=3193 vsize=227496 CPUtime=182.77
/proc/3195/task/3200/stat : 3200 (satake) R 3193 3195 23155 0 -1 4202560 17629 0 0 0 18195 82 0 0 25 0 5 0 1128170768 232955904 48213 4294967295 134512640 135180984 3214558464 3086319264 134580407 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 535.93
Current children cumulated vsize (KiB) 227496

[startup+316.814 s]
/proc/loadavg: 6.35 6.46 6.45 7/116 4175
/proc/meminfo: memFree=2925440/3368532 swapFree=1953788/1959888
[pid=3195] ppid=3193 vsize=227652 CPUtime=542.24
/proc/3195/stat : 3195 (satake) S 3193 3195 23155 0 -1 4202496 58606 0 0 0 53694 530 0 0 21 0 5 0 1128170766 233115648 48236 4294967295 134512640 135180984 3214558464 3214557900 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/3195/statm: 56913 48236 68 164 0 56748 0
[pid=3195/tid=3196] ppid=3193 vsize=227652 CPUtime=4.61
/proc/3195/task/3196/stat : 3196 (satake) S 3193 3195 23155 0 -1 4202560 6282 0 0 0 176 285 0 0 15 0 5 0 1128170766 233115648 48236 4294967295 134512640 135180984 3214558464 3086524432 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=3195/tid=3197] ppid=3193 vsize=227652 CPUtime=170.74
/proc/3195/task/3197/stat : 3197 (satake) R 3193 3195 23155 0 -1 4202560 17134 0 0 0 16994 80 0 0 25 0 5 0 1128170766 233115648 48236 4294967295 134512640 135180984 3214558464 3086458752 134532624 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=3195/tid=3198] ppid=3193 vsize=227652 CPUtime=182.51
/proc/3195/task/3198/stat : 3198 (satake) R 3193 3195 23155 0 -1 4202560 17441 0 0 0 18168 83 0 0 25 0 5 0 1128170767 233115648 48236 4294967295 134512640 135180984 3214558464 3086393200 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=3195/tid=3200] ppid=3193 vsize=227652 CPUtime=184.38
/proc/3195/task/3200/stat : 3200 (satake) R 3193 3195 23155 0 -1 4202560 17638 0 0 0 18356 82 0 0 25 0 5 0 1128170768 233115648 48236 4294967295 134512640 135180984 3214558464 3086319464 134520863 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 542.24
Current children cumulated vsize (KiB) 227652

[startup+318.414 s]
/proc/loadavg: 6.40 6.47 6.46 5/113 4177
/proc/meminfo: memFree=2956520/3368532 swapFree=1953788/1959888
[pid=3195] ppid=3193 vsize=175792 CPUtime=544.16
/proc/3195/stat : 3195 (satake) S 3193 3195 23155 0 -1 4202496 58627 0 0 0 53886 530 0 0 15 0 2 0 1128170766 180011008 40114 4294967295 134512640 135180984 3214558464 3214557900 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/3195/statm: 43948 40114 77 164 0 43783 0
[pid=3195/tid=3200] ppid=3193 vsize=175792 CPUtime=185.68
/proc/3195/task/3200/stat : 3200 (satake) R 3193 3195 23155 0 -1 4202560 17638 0 0 0 18486 82 0 0 25 0 2 0 1128170768 180011008 40114 4294967295 134512640 135180984 3214558464 3086319248 134666427 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 544.16
Current children cumulated vsize (KiB) 175792

[startup+318.814 s]
/proc/loadavg: 6.40 6.47 6.46 5/113 4177
/proc/meminfo: memFree=2956520/3368532 swapFree=1953788/1959888
[pid=3195] ppid=3193 vsize=175792 CPUtime=544.56
/proc/3195/stat : 3195 (satake) S 3193 3195 23155 0 -1 4202496 58627 0 0 0 53926 530 0 0 15 0 2 0 1128170766 180011008 40114 4294967295 134512640 135180984 3214558464 3214557900 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/3195/statm: 43948 40114 77 164 0 43783 0
[pid=3195/tid=3200] ppid=3193 vsize=175792 CPUtime=186.08
/proc/3195/task/3200/stat : 3200 (satake) R 3193 3195 23155 0 -1 4202560 17638 0 0 0 18526 82 0 0 25 0 2 0 1128170768 180011008 40114 4294967295 134512640 135180984 3214558464 3086319408 134520800 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 544.56
Current children cumulated vsize (KiB) 175792

[startup+319.214 s]
/proc/loadavg: 6.40 6.47 6.46 5/113 4177
/proc/meminfo: memFree=2956688/3368532 swapFree=1953788/1959888
[pid=3195] ppid=3193 vsize=175792 CPUtime=544.96
/proc/3195/stat : 3195 (satake) S 3193 3195 23155 0 -1 4202496 58627 0 0 0 53966 530 0 0 15 0 2 0 1128170766 180011008 40114 4294967295 134512640 135180984 3214558464 3214557900 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/3195/statm: 43948 40114 77 164 0 43783 0
[pid=3195/tid=3200] ppid=3193 vsize=175792 CPUtime=186.48
/proc/3195/task/3200/stat : 3200 (satake) R 3193 3195 23155 0 -1 4202560 17638 0 0 0 18566 82 0 0 25 0 2 0 1128170768 180011008 40114 4294967295 134512640 135180984 3214558464 3086320024 134672196 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 544.96
Current children cumulated vsize (KiB) 175792

[startup+319.314 s]
/proc/loadavg: 6.40 6.47 6.46 5/113 4177
/proc/meminfo: memFree=2956688/3368532 swapFree=1953788/1959888
[pid=3195] ppid=3193 vsize=167332 CPUtime=545.06
/proc/3195/stat : 3195 (satake) S 3193 3195 23155 0 -1 4202496 58627 0 0 0 53976 530 0 0 15 0 2 0 1128170766 171347968 38415 4294967295 134512640 135180984 3214558464 3214557900 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/3195/statm: 41833 38415 77 164 0 41668 0
[pid=3195/tid=3200] ppid=3193 vsize=167332 CPUtime=186.58
/proc/3195/task/3200/stat : 3200 (satake) R 3193 3195 23155 0 -1 4202560 17638 0 0 0 18576 82 0 0 25 0 2 0 1128170768 171347968 38415 4294967295 134512640 135180984 3214558464 3086320008 134672214 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 545.06
Current children cumulated vsize (KiB) 167332

Child status: 4
Real time (s): 319.331
CPU time (s): 545.07
CPU user time (s): 539.76
CPU system time (s): 5.31
CPU usage (%): 170.691
Max. virtual memory (cumulated for all children) (KiB): 227652


getrusage(RUSAGE_CHILDREN,...) data:
user time used= 539.76
system time used= 5.31
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 58628
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= 2270134
involuntary context switches= 2225089

runsolver used 0 second user time and 0 second system time

The end

Launcher Data 

Begin job on  at 2009-05-30 00:11:06
IDJOB=1776070
IDBENCH=20419
IDSOLVER=629
FILE ID=/1776070-1243635066
PBS_JOBID=
Free space on /tmp= 6463 MiB

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

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

MD5SUM BENCH= 4211c3af8594e6cbb06d7f7e8978c614
RANDOM SEED= 635249603

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.061
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.41
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.061
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.12
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.061
cache size	: 4096 KB
physical id	: 3
siblings	: 2
core id		: 0
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 3990.14
clflush size	: 64

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU            5130  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.061
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.14
clflush size	: 64


/proc/meminfo:
MemTotal:      3368532 kB
MemFree:       3118704 kB
Buffers:         67968 kB
Cached:          75312 kB
SwapCached:       2256 kB
Active:         116008 kB
Inactive:        44028 kB
HighTotal:     2489216 kB
HighFree:      2395988 kB
LowTotal:       879316 kB
LowFree:        722716 kB
SwapTotal:     1959888 kB
SwapFree:      1953788 kB
Dirty:           14512 kB
Writeback:           0 kB
AnonPages:       16008 kB
Mapped:           5272 kB
Slab:            80420 kB
SReclaimable:    66744 kB
SUnreclaim:      13676 kB
PageTables:        668 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:   112668 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 6463 MiB
End job on  at 2009-05-30 00:16:26