Trace number 3289727

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
SArTagnan 2011-03-24? (TO) 4800.17 1201.78

General information on the benchmark

Nameapplication/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom17.cnf
MD5SUMa6df2ce216327c64a0156683acb72fc2
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables32733
Number of clauses109177
Sum of the clauses size278009
Maximum clause length1080
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 256533
Number of clauses of size 352066
Number of clauses of size 4152
Number of clauses of size 515
Number of clauses of size over 5410

Solver Data


Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3289727-1304084010/watcher-3289727-1304084010 -o /tmp/evaluation-result-3289727-1304084010/solver-3289727-1304084010 -C 4800 -W 1300 -M 15500 SArTagnan HOME/instance-3289727-1304084010.cnf -threads=4 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 7.43 7.91 7.65 1/172 7072
/proc/meminfo: memFree=31712568/32951124 swapFree=67111356/67111528
[pid=7072] ppid=7070 vsize=24008 CPUtime=0 cores=0,2,4,6
/proc/7072/stat : 7072 (SArTagnan) R 7070 7072 6426 0 -1 4202496 1076 0 0 0 0 0 0 0 22 0 1 0 500816677 24584192 1013 33554432000 4194304 4623224 140736224924752 18446744073709551615 270338383616 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/7072/statm: 6002 1014 300 105 0 1506 0

[startup+0.0412729 s]
/proc/loadavg: 7.43 7.91 7.65 1/172 7072
/proc/meminfo: memFree=31712568/32951124 swapFree=67111356/67111528
[pid=7072] ppid=7070 vsize=28360 CPUtime=0.03 cores=0,2,4,6
/proc/7072/stat : 7072 (SArTagnan) R 7070 7072 6426 0 -1 4202496 3602 0 0 0 3 0 0 0 22 0 1 0 500816677 29040640 2223 33554432000 4194304 4623224 140736224924752 18446744073709551615 4388004 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/7072/statm: 7090 2225 301 105 0 2594 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 28360

[startup+0.100222 s]
/proc/loadavg: 7.43 7.91 7.65 1/172 7072
/proc/meminfo: memFree=31712568/32951124 swapFree=67111356/67111528
[pid=7072] ppid=7070 vsize=279040 CPUtime=0.21 cores=0,2,4,6
/proc/7072/stat : 7072 (SArTagnan) R 7070 7072 6426 0 -1 4202496 9671 0 0 0 20 1 0 0 24 0 4 0 500816677 285736960 7684 33554432000 4194304 4623224 140736224924752 18446744073709551615 4497674 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7072/statm: 69760 7684 334 105 0 65264 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 279040

[startup+0.300183 s]
/proc/loadavg: 7.43 7.91 7.65 1/172 7072
/proc/meminfo: memFree=31712568/32951124 swapFree=67111356/67111528
[pid=7072] ppid=7070 vsize=280660 CPUtime=1.01 cores=0,2,4,6
/proc/7072/stat : 7072 (SArTagnan) R 7070 7072 6426 0 -1 4202496 10914 0 0 0 100 1 0 0 25 0 4 0 500816677 287395840 8685 33554432000 4194304 4623224 140736224924752 18446744073709551615 4507318 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7072/statm: 70165 8685 343 105 0 65669 0
Current children cumulated CPU time (s) 1.01
Current children cumulated vsize (KiB) 280660

[startup+0.701071 s]
/proc/loadavg: 7.43 7.91 7.65 1/172 7072
/proc/meminfo: memFree=31712568/32951124 swapFree=67111356/67111528
[pid=7072] ppid=7070 vsize=280660 CPUtime=2.61 cores=0,2,4,6
/proc/7072/stat : 7072 (SArTagnan) R 7070 7072 6426 0 -1 4202496 12317 0 0 0 260 1 0 0 25 0 4 0 500816677 287395840 9182 33554432000 4194304 4623224 140736224924752 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7072/statm: 70165 9182 343 105 0 65669 0
Current children cumulated CPU time (s) 2.61
Current children cumulated vsize (KiB) 280660

[startup+1.50091 s]
/proc/loadavg: 7.43 7.91 7.65 9/184 7089
/proc/meminfo: memFree=31613180/32951124 swapFree=67111356/67111528
[pid=7072] ppid=7070 vsize=282104 CPUtime=5.8 cores=0,2,4,6
/proc/7072/stat : 7072 (SArTagnan) R 7070 7072 6426 0 -1 4202496 16609 0 0 0 578 2 0 0 25 0 4 0 500816677 288874496 11153 33554432000 4194304 4623224 140736224924752 18446744073709551615 4507318 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7072/statm: 70526 11153 343 105 0 66030 0
[pid=7072/tid=7074] ppid=7070 vsize=282104 CPUtime=1.43 cores=0,2,4,6
/proc/7072/task/7074/stat : 7074 (SArTagnan) R 7070 7072 6426 0 -1 4202560 978 0 0 0 143 0 0 0 25 0 4 0 500816683 288874496 11153 33554432000 4194304 4623224 140736224924752 18446744073709551615 4377864 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7072/tid=7075] ppid=7070 vsize=282104 CPUtime=1.42 cores=0,2,4,6
/proc/7072/task/7075/stat : 7075 (SArTagnan) R 7070 7072 6426 0 -1 4202560 1079 0 0 0 142 0 0 0 25 0 4 0 500816683 288874496 11153 33554432000 4194304 4623224 140736224924752 18446744073709551615 4377466 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7072/tid=7076] ppid=7070 vsize=282104 CPUtime=1.43 cores=0,2,4,6
/proc/7072/task/7076/stat : 7076 (SArTagnan) R 7070 7072 6426 0 -1 4202560 5458 0 0 0 142 1 0 0 25 0 4 0 500816683 288874496 11154 33554432000 4194304 4623224 140736224924752 18446744073709551615 270338044961 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.8
Current children cumulated vsize (KiB) 282104

[startup+3.10059 s]
/proc/loadavg: 7.43 7.91 7.65 9/184 7089
/proc/meminfo: memFree=31591488/32951124 swapFree=67111356/67111528
[pid=7072] ppid=7070 vsize=393516 CPUtime=12.17 cores=0,2,4,6
/proc/7072/stat : 7072 (SArTagnan) R 7070 7072 6426 0 -1 4202496 90000 0 0 0 1205 12 0 0 18 0 4 0 500816677 402960384 40035 33554432000 4194304 4623224 140736224924752 18446744073709551615 4388004 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7072/statm: 98379 40035 344 105 0 93883 0
[pid=7072/tid=7074] ppid=7070 vsize=393516 CPUtime=3.02 cores=0,2,4,6
/proc/7072/task/7074/stat : 7074 (SArTagnan) R 7070 7072 6426 0 -1 4202560 15885 0 0 0 300 2 0 0 19 0 4 0 500816683 402960384 40035 33554432000 4194304 4623224 140736224924752 18446744073709551615 4376625 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7072/tid=7075] ppid=7070 vsize=393516 CPUtime=3.01 cores=0,2,4,6
/proc/7072/task/7075/stat : 7075 (SArTagnan) R 7070 7072 6426 0 -1 4202560 15605 0 0 0 300 1 0 0 19 0 4 0 500816683 402960384 40035 33554432000 4194304 4623224 140736224924752 18446744073709551615 4366412 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7072/tid=7076] ppid=7070 vsize=393516 CPUtime=3.03 cores=0,2,4,6
/proc/7072/task/7076/stat : 7076 (SArTagnan) R 7070 7072 6426 0 -1 4202560 19711 0 0 0 300 3 0 0 18 0 4 0 500816683 402960384 40035 33554432000 4194304 4623224 140736224924752 18446744073709551615 4376835 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.17
Current children cumulated vsize (KiB) 393516

[startup+6.30096 s]
/proc/loadavg: 7.48 7.92 7.65 9/184 7089
/proc/meminfo: memFree=31384644/32951124 swapFree=67111356/67111528
[pid=7072] ppid=7070 vsize=393516 CPUtime=24.95 cores=0,2,4,6
/proc/7072/stat : 7072 (SArTagnan) R 7070 7072 6426 0 -1 4202496 96127 0 0 0 2482 13 0 0 25 0 4 0 500816677 402960384 40187 33554432000 4194304 4623224 140736224924752 18446744073709551615 270338038859 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7072/statm: 98379 40187 344 105 0 93883 0
[pid=7072/tid=7074] ppid=7070 vsize=393516 CPUtime=6.22 cores=0,2,4,6
/proc/7072/task/7074/stat : 7074 (SArTagnan) R 7070 7072 6426 0 -1 4202560 15922 0 0 0 620 2 0 0 25 0 4 0 500816683 402960384 40187 33554432000 4194304 4623224 140736224924752 18446744073709551615 4289961 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7072/tid=7075] ppid=7070 vsize=393516 CPUtime=6.19 cores=0,2,4,6
/proc/7072/task/7075/stat : 7075 (SArTagnan) R 7070 7072 6426 0 -1 4202560 15614 0 0 0 618 1 0 0 25 0 4 0 500816683 402960384 40187 33554432000 4194304 4623224 140736224924752 18446744073709551615 4464774 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7072/tid=7076] ppid=7070 vsize=393516 CPUtime=6.23 cores=0,2,4,6
/proc/7072/task/7076/stat : 7076 (SArTagnan) R 7070 7072 6426 0 -1 4202560 25664 0 0 0 619 4 0 0 25 0 4 0 500816683 402960384 40187 33554432000 4194304 4623224 140736224924752 18446744073709551615 4376678 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 24.95
Current children cumulated vsize (KiB) 393516

[startup+12.7007 s]
/proc/loadavg: 7.52 7.92 7.65 9/184 7089
/proc/meminfo: memFree=31279028/32951124 swapFree=67111356/67111528
[pid=7072] ppid=7070 vsize=393516 CPUtime=50.52 cores=0,2,4,6
/proc/7072/stat : 7072 (SArTagnan) R 7070 7072 6426 0 -1 4202496 129720 0 0 0 5033 19 0 0 25 0 4 0 500816677 402960384 42150 33554432000 4194304 4623224 140736224924752 18446744073709551615 4507344 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7072/statm: 98379 42150 344 105 0 93883 0
[pid=7072/tid=7074] ppid=7070 vsize=393516 CPUtime=12.62 cores=0,2,4,6
/proc/7072/task/7074/stat : 7074 (SArTagnan) R 7070 7072 6426 0 -1 4202560 16817 0 0 0 1260 2 0 0 25 0 4 0 500816683 402960384 42150 33554432000 4194304 4623224 140736224924752 18446744073709551615 4376832 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7072/tid=7075] ppid=7070 vsize=393516 CPUtime=12.55 cores=0,2,4,6
/proc/7072/task/7075/stat : 7075 (SArTagnan) R 7070 7072 6426 0 -1 4202560 15900 0 0 0 1254 1 0 0 25 0 4 0 500816683 402960384 42150 33554432000 4194304 4623224 140736224924752 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7072/tid=7076] ppid=7070 vsize=393516 CPUtime=12.62 cores=0,2,4,6
/proc/7072/task/7076/stat : 7076 (SArTagnan) R 7070 7072 6426 0 -1 4202560 57956 0 0 0 1253 9 0 0 25 0 4 0 500816683 402960384 42150 33554432000 4194304 4623224 140736224924752 18446744073709551615 4550436 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.52
Current children cumulated vsize (KiB) 393516

[startup+25.5012 s]
/proc/loadavg: 7.70 7.94 7.66 9/184 7089
/proc/meminfo: memFree=31246544/32951124 swapFree=67111356/67111528
[pid=7072] ppid=7070 vsize=395336 CPUtime=101.64 cores=0,2,4,6
/proc/7072/stat : 7072 (SArTagnan) R 7070 7072 6426 0 -1 4202496 212144 0 0 0 10130 34 0 0 25 0 4 0 500816677 404824064 48202 33554432000 4194304 4623224 140736224924752 18446744073709551615 4507318 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7072/statm: 98834 48202 344 105 0 94338 0
[pid=7072/tid=7074] ppid=7070 vsize=395336 CPUtime=25.41 cores=0,2,4,6
/proc/7072/task/7074/stat : 7074 (SArTagnan) R 7070 7072 6426 0 -1 4202560 20107 0 0 0 2538 3 0 0 25 0 4 0 500816683 404824064 48202 33554432000 4194304 4623224 140736224924752 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7072/tid=7075] ppid=7070 vsize=395336 CPUtime=25.29 cores=0,2,4,6
/proc/7072/task/7075/stat : 7075 (SArTagnan) R 7070 7072 6426 0 -1 4202560 16589 0 0 0 2527 2 0 0 25 0 4 0 500816683 404824064 48202 33554432000 4194304 4623224 140736224924752 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7072/tid=7076] ppid=7070 vsize=395336 CPUtime=25.43 cores=0,2,4,6
/proc/7072/task/7076/stat : 7076 (SArTagnan) R 7070 7072 6426 0 -1 4202560 135314 0 0 0 2520 23 0 0 25 0 4 0 500816683 404824064 48202 33554432000 4194304 4623224 140736224924752 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.64
Current children cumulated vsize (KiB) 395336

[startup+51.1011 s]
/proc/loadavg: 7.80 7.94 7.67 9/184 7090
/proc/meminfo: memFree=31195436/32951124 swapFree=67111356/67111528
[pid=7072] ppid=7070 vsize=411860 CPUtime=203.9 cores=0,2,4,6
/proc/7072/stat : 7072 (SArTagnan) R 7070 7072 6426 0 -1 4202496 389976 0 0 0 20324 66 0 0 25 0 4 0 500816677 421744640 52939 33554432000 4194304 4623224 140736224924752 18446744073709551615 4517833 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7072/statm: 102965 52939 344 105 0 98469 0
[pid=7072/tid=7074] ppid=7070 vsize=411860 CPUtime=51.01 cores=0,2,4,6
/proc/7072/task/7074/stat : 7074 (SArTagnan) R 7070 7072 6426 0 -1 4202560 27192 0 0 0 5095 6 0 0 25 0 4 0 500816683 421744640 52939 33554432000 4194304 4623224 140736224924752 18446744073709551615 4366475 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7072/tid=7075] ppid=7070 vsize=411860 CPUtime=50.75 cores=0,2,4,6
/proc/7072/task/7075/stat : 7075 (SArTagnan) R 7070 7072 6426 0 -1 4202560 21545 0 0 0 5072 3 0 0 25 0 4 0 500816683 421744640 52939 33554432000 4194304 4623224 140736224924752 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7072/tid=7076] ppid=7070 vsize=411860 CPUtime=51.03 cores=0,2,4,6
/proc/7072/task/7076/stat : 7076 (SArTagnan) R 7070 7072 6426 0 -1 4202560 301013 0 0 0 5052 51 0 0 25 0 4 0 500816683 421744640 52939 33554432000 4194304 4623224 140736224924752 18446744073709551615 4550411 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 203.9
Current children cumulated vsize (KiB) 411860

[startup+102.307 s]
/proc/loadavg: 7.96 7.96 7.69 9/184 7091
/proc/meminfo: memFree=31050088/32951124 swapFree=67111356/67111528
[pid=7072] ppid=7070 vsize=446504 CPUtime=408.44 cores=0,2,4,6
/proc/7072/stat : 7072 (SArTagnan) R 7070 7072 6426 0 -1 4202496 555521 0 0 0 40745 99 0 0 25 0 4 0 500816677 457220096 77335 33554432000 4194304 4623224 140736224924752 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7072/statm: 111626 77335 345 105 0 107130 0
[pid=7072/tid=7074] ppid=7070 vsize=446504 CPUtime=102.22 cores=0,2,4,6
/proc/7072/task/7074/stat : 7074 (SArTagnan) R 7070 7072 6426 0 -1 4202560 41493 0 0 0 10210 12 0 0 25 0 4 0 500816683 457220096 77335 33554432000 4194304 4623224 140736224924752 18446744073709551615 4462989 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7072/tid=7075] ppid=7070 vsize=446504 CPUtime=101.67 cores=0,2,4,6
/proc/7072/task/7075/stat : 7075 (SArTagnan) R 7070 7072 6426 0 -1 4202560 33736 0 0 0 10160 7 0 0 25 0 4 0 500816683 457220096 77335 33554432000 4194304 4623224 140736224924752 18446744073709551615 4376883 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7072/tid=7076] ppid=7070 vsize=446504 CPUtime=102.24 cores=0,2,4,6
/proc/7072/task/7076/stat : 7076 (SArTagnan) R 7070 7072 6426 0 -1 4202560 438705 0 0 0 10151 73 0 0 25 0 4 0 500816683 457220096 77335 33554432000 4194304 4623224 140736224924752 18446744073709551615 4366412 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.44
Current children cumulated vsize (KiB) 446504

[startup+162.301 s]
/proc/loadavg: 8.03 7.98 7.71 9/184 7093
/proc/meminfo: memFree=30813208/32951124 swapFree=67111356/67111528
[pid=7072] ppid=7070 vsize=668504 CPUtime=648.1 cores=0,2,4,6
/proc/7072/stat : 7072 (SArTagnan) R 7070 7072 6426 0 -1 4202496 910949 0 0 0 64651 159 0 0 25 0 4 0 500816677 684548096 108106 33554432000 4194304 4623224 140736224924752 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7072/statm: 167126 108106 383 105 0 162630 0
[pid=7072/tid=7074] ppid=7070 vsize=668504 CPUtime=162.21 cores=0,2,4,6
/proc/7072/task/7074/stat : 7074 (SArTagnan) R 7070 7072 6426 0 -1 4202560 58110 0 0 0 16205 16 0 0 25 0 4 0 500816683 684548096 108106 33554432000 4194304 4623224 140736224924752 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7072/tid=7075] ppid=7070 vsize=668504 CPUtime=161.33 cores=0,2,4,6
/proc/7072/task/7075/stat : 7075 (SArTagnan) R 7070 7072 6426 0 -1 4202560 51171 0 0 0 16121 12 0 0 25 0 4 0 500816683 684548096 108106 33554432000 4194304 4623224 140736224924752 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7072/tid=7076] ppid=7070 vsize=668504 CPUtime=162.23 cores=0,2,4,6
/proc/7072/task/7076/stat : 7076 (SArTagnan) R 7070 7072 6426 0 -1 4202560 751440 0 0 0 16102 121 0 0 25 0 4 0 500816683 684548096 108106 33554432000 4194304 4623224 140736224924752 18446744073709551615 4545376 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 648.1
Current children cumulated vsize (KiB) 668504

[startup+222.301 s]
/proc/loadavg: 8.10 8.01 7.73 9/184 7095
/proc/meminfo: memFree=30618128/32951124 swapFree=67111356/67111528
[pid=7072] ppid=7070 vsize=755168 CPUtime=887.77 cores=0,2,4,6
/proc/7072/stat : 7072 (SArTagnan) R 7070 7072 6426 0 -1 4202496 1231864 0 0 0 88567 210 0 0 25 0 4 0 500816677 773292032 132491 33554432000 4194304 4623224 140736224924752 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7072/statm: 188792 132491 356 105 0 184296 0
[pid=7072/tid=7074] ppid=7070 vsize=755168 CPUtime=222.22 cores=0,2,4,6
/proc/7072/task/7074/stat : 7074 (SArTagnan) R 7070 7072 6426 0 -1 4202560 62232 0 0 0 22203 19 0 0 25 0 4 0 500816683 773292032 132491 33554432000 4194304 4623224 140736224924752 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7072/tid=7075] ppid=7070 vsize=755168 CPUtime=221 cores=0,2,4,6
/proc/7072/task/7075/stat : 7075 (SArTagnan) R 7070 7072 6426 0 -1 4202560 71098 0 0 0 22084 16 0 0 25 0 4 0 500816683 773292032 132491 33554432000 4194304 4623224 140736224924752 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7072/tid=7076] ppid=7070 vsize=755168 CPUtime=222.23 cores=0,2,4,6
/proc/7072/task/7076/stat : 7076 (SArTagnan) R 7070 7072 6426 0 -1 4202560 1040985 0 0 0 22058 165 0 0 25 0 4 0 500816683 773292032 132491 33554432000 4194304 4623224 140736224924752 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 887.77
Current children cumulated vsize (KiB) 755168

[startup+282.3 s]

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

[pid=7072] ppid=7070 vsize=1200536 CPUtime=2805.16 cores=0,2,4,6
/proc/7072/stat : 7072 (SArTagnan) R 7070 7072 6426 0 -1 4202496 3063136 0 0 0 279987 529 0 0 25 0 4 0 500816677 1229348864 247032 33554432000 4194304 4623224 140736224924752 18446744073709551615 4510090 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7072/statm: 300134 247032 576 105 0 295638 0
[pid=7072/tid=7074] ppid=7070 vsize=1200536 CPUtime=702.22 cores=0,2,4,6
/proc/7072/task/7074/stat : 7074 (SArTagnan) R 7070 7072 6426 0 -1 4202560 132094 0 0 0 70179 43 0 0 25 0 4 0 500816683 1229348864 247032 33554432000 4194304 4623224 140736224924752 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7072/tid=7075] ppid=7070 vsize=1200536 CPUtime=698.35 cores=0,2,4,6
/proc/7072/task/7075/stat : 7075 (SArTagnan) R 7070 7072 6426 0 -1 4202560 128623 0 0 0 69793 42 0 0 25 0 4 0 500816683 1229348864 247032 33554432000 4194304 4623224 140736224924752 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7072/tid=7076] ppid=7070 vsize=1200536 CPUtime=702.25 cores=0,2,4,6
/proc/7072/task/7076/stat : 7076 (SArTagnan) R 7070 7072 6426 0 -1 4202560 2721968 0 0 0 69795 430 0 0 25 0 4 0 500816683 1229348864 247032 33554432000 4194304 4623224 140736224924752 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2805.16
Current children cumulated vsize (KiB) 1200536

[startup+762.307 s]
/proc/loadavg: 8.23 8.13 7.90 9/184 7109
/proc/meminfo: memFree=29338072/32951124 swapFree=67111356/67111528
[pid=7072] ppid=7070 vsize=1275648 CPUtime=3044.85 cores=0,2,4,6
/proc/7072/stat : 7072 (SArTagnan) R 7070 7072 6426 0 -1 4202496 3095775 0 0 0 303945 540 0 0 25 0 4 0 500816677 1306263552 265692 33554432000 4194304 4623224 140736224924752 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7072/statm: 318912 265692 1058 105 0 314416 0
[pid=7072/tid=7074] ppid=7070 vsize=1275648 CPUtime=762.23 cores=0,2,4,6
/proc/7072/task/7074/stat : 7074 (SArTagnan) R 7070 7072 6426 0 -1 4202560 135600 0 0 0 76176 47 0 0 25 0 4 0 500816683 1306263552 265692 33554432000 4194304 4623224 140736224924752 18446744073709551615 4376853 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7072/tid=7075] ppid=7070 vsize=1275648 CPUtime=758.02 cores=0,2,4,6
/proc/7072/task/7075/stat : 7075 (SArTagnan) R 7070 7072 6426 0 -1 4202560 132839 0 0 0 75757 45 0 0 25 0 4 0 500816683 1306263552 265692 33554432000 4194304 4623224 140736224924752 18446744073709551615 4376672 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7072/tid=7076] ppid=7070 vsize=1275648 CPUtime=762.25 cores=0,2,4,6
/proc/7072/task/7076/stat : 7076 (SArTagnan) R 7070 7072 6426 0 -1 4202560 2724790 0 0 0 75795 430 0 0 25 0 4 0 500816683 1306263552 265692 33554432000 4194304 4623224 140736224924752 18446744073709551615 4550551 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3044.85
Current children cumulated vsize (KiB) 1275648

[startup+822.301 s]
/proc/loadavg: 8.21 8.14 7.92 9/184 7111
/proc/meminfo: memFree=29234012/32951124 swapFree=67111356/67111528
[pid=7072] ppid=7070 vsize=1341192 CPUtime=3284.51 cores=0,2,4,6
/proc/7072/stat : 7072 (SArTagnan) R 7070 7072 6426 0 -1 4202496 3139954 0 0 0 327897 554 0 0 25 0 4 0 500816677 1373380608 277907 33554432000 4194304 4623224 140736224924752 18446744073709551615 4510472 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7072/statm: 335298 277907 576 105 0 330802 0
[pid=7072/tid=7074] ppid=7070 vsize=1341192 CPUtime=822.22 cores=0,2,4,6
/proc/7072/task/7074/stat : 7074 (SArTagnan) R 7070 7072 6426 0 -1 4202560 138729 0 0 0 82170 52 0 0 25 0 4 0 500816683 1373380608 277907 33554432000 4194304 4623224 140736224924752 18446744073709551615 4376675 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7072/tid=7075] ppid=7070 vsize=1341192 CPUtime=817.68 cores=0,2,4,6
/proc/7072/task/7075/stat : 7075 (SArTagnan) R 7070 7072 6426 0 -1 4202560 171739 0 0 0 81715 53 0 0 25 0 4 0 500816683 1373380608 277907 33554432000 4194304 4623224 140736224924752 18446744073709551615 4376666 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7072/tid=7076] ppid=7070 vsize=1341192 CPUtime=822.25 cores=0,2,4,6
/proc/7072/task/7076/stat : 7076 (SArTagnan) R 7070 7072 6426 0 -1 4202560 2725498 0 0 0 81794 431 0 0 25 0 4 0 500816683 1373380608 277907 33554432000 4194304 4623224 140736224924752 18446744073709551615 4363989 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3284.51
Current children cumulated vsize (KiB) 1341192

[startup+882.3 s]
/proc/loadavg: 8.14 8.13 7.92 9/184 7112
/proc/meminfo: memFree=29127968/32951124 swapFree=67111356/67111528
[pid=7072] ppid=7070 vsize=1417104 CPUtime=3524.18 cores=0,2,4,6
/proc/7072/stat : 7072 (SArTagnan) R 7070 7072 6426 0 -1 4202496 3151248 0 0 0 351856 562 0 0 25 0 4 0 500816677 1451114496 289132 33554432000 4194304 4623224 140736224924752 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7072/statm: 354276 289132 576 105 0 349780 0
[pid=7072/tid=7074] ppid=7070 vsize=1417104 CPUtime=882.23 cores=0,2,4,6
/proc/7072/task/7074/stat : 7074 (SArTagnan) R 7070 7072 6426 0 -1 4202560 141878 0 0 0 88168 55 0 0 25 0 4 0 500816683 1451114496 289132 33554432000 4194304 4623224 140736224924752 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7072/tid=7075] ppid=7070 vsize=1417104 CPUtime=877.35 cores=0,2,4,6
/proc/7072/task/7075/stat : 7075 (SArTagnan) R 7070 7072 6426 0 -1 4202560 175551 0 0 0 87678 57 0 0 25 0 4 0 500816683 1451114496 289132 33554432000 4194304 4623224 140736224924752 18446744073709551615 4376625 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7072/tid=7076] ppid=7070 vsize=1417104 CPUtime=882.26 cores=0,2,4,6
/proc/7072/task/7076/stat : 7076 (SArTagnan) R 7070 7072 6426 0 -1 4202560 2728309 0 0 0 87794 432 0 0 25 0 4 0 500816683 1451114496 289132 33554432000 4194304 4623224 140736224924752 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3524.18
Current children cumulated vsize (KiB) 1417104

[startup+942.3 s]
/proc/loadavg: 8.11 8.12 7.93 9/184 7114
/proc/meminfo: memFree=29027744/32951124 swapFree=67111356/67111528
[pid=7072] ppid=7070 vsize=1497172 CPUtime=3763.86 cores=0,2,4,6
/proc/7072/stat : 7072 (SArTagnan) R 7070 7072 6426 0 -1 4202496 3164002 0 0 0 375813 573 0 0 25 0 4 0 500816677 1533104128 301777 33554432000 4194304 4623224 140736224924752 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7072/statm: 374293 301777 576 105 0 369797 0
[pid=7072/tid=7074] ppid=7070 vsize=1497172 CPUtime=942.23 cores=0,2,4,6
/proc/7072/task/7074/stat : 7074 (SArTagnan) R 7070 7072 6426 0 -1 4202560 145395 0 0 0 94163 60 0 0 25 0 4 0 500816683 1533104128 301777 33554432000 4194304 4623224 140736224924752 18446744073709551615 4289723 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7072/tid=7075] ppid=7070 vsize=1497172 CPUtime=937.03 cores=0,2,4,6
/proc/7072/task/7075/stat : 7075 (SArTagnan) R 7070 7072 6426 0 -1 4202560 179330 0 0 0 93642 61 0 0 25 0 4 0 500816683 1533104128 301777 33554432000 4194304 4623224 140736224924752 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7072/tid=7076] ppid=7070 vsize=1497172 CPUtime=942.26 cores=0,2,4,6
/proc/7072/task/7076/stat : 7076 (SArTagnan) R 7070 7072 6426 0 -1 4202560 2732200 0 0 0 93793 433 0 0 25 0 4 0 500816683 1533104128 301777 33554432000 4194304 4623224 140736224924752 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3763.86
Current children cumulated vsize (KiB) 1497172

[startup+1002.3 s]
/proc/loadavg: 8.15 8.12 7.94 9/184 7115
/proc/meminfo: memFree=28920092/32951124 swapFree=67111356/67111528
[pid=7072] ppid=7070 vsize=1537160 CPUtime=4003.53 cores=0,2,4,6
/proc/7072/stat : 7072 (SArTagnan) R 7070 7072 6426 0 -1 4202496 3182927 0 0 0 399769 584 0 0 25 0 4 0 500816677 1574051840 314113 33554432000 4194304 4623224 140736224924752 18446744073709551615 4510486 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7072/statm: 384290 314113 576 105 0 379794 0
[pid=7072/tid=7074] ppid=7070 vsize=1537160 CPUtime=1002.23 cores=0,2,4,6
/proc/7072/task/7074/stat : 7074 (SArTagnan) R 7070 7072 6426 0 -1 4202560 155551 0 0 0 100157 66 0 0 25 0 4 0 500816683 1574051840 314113 33554432000 4194304 4623224 140736224924752 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7072/tid=7075] ppid=7070 vsize=1537160 CPUtime=996.69 cores=0,2,4,6
/proc/7072/task/7075/stat : 7075 (SArTagnan) R 7070 7072 6426 0 -1 4202560 182592 0 0 0 99604 65 0 0 25 0 4 0 500816683 1574051840 314113 33554432000 4194304 4623224 140736224924752 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7072/tid=7076] ppid=7070 vsize=1537160 CPUtime=1002.26 cores=0,2,4,6
/proc/7072/task/7076/stat : 7076 (SArTagnan) R 7070 7072 6426 0 -1 4202560 2735957 0 0 0 99793 433 0 0 25 0 4 0 500816683 1574051840 314113 33554432000 4194304 4623224 140736224924752 18446744073709551615 4289745 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4003.53
Current children cumulated vsize (KiB) 1537160

[startup+1062.3 s]
/proc/loadavg: 8.10 8.11 7.94 9/184 7117
/proc/meminfo: memFree=28837964/32951124 swapFree=67111356/67111528
[pid=7072] ppid=7070 vsize=1547900 CPUtime=4243.2 cores=0,2,4,6
/proc/7072/stat : 7072 (SArTagnan) R 7070 7072 6426 0 -1 4202496 3230563 0 0 0 423724 596 0 0 25 0 4 0 500816677 1585049600 325551 33554432000 4194304 4623224 140736224924752 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7072/statm: 386975 325551 450 105 0 382479 0
[pid=7072/tid=7074] ppid=7070 vsize=1547900 CPUtime=1062.23 cores=0,2,4,6
/proc/7072/task/7074/stat : 7074 (SArTagnan) R 7070 7072 6426 0 -1 4202560 158447 0 0 0 106154 69 0 0 25 0 4 0 500816683 1585049600 325551 33554432000 4194304 4623224 140736224924752 18446744073709551615 4289723 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7072/tid=7075] ppid=7070 vsize=1547900 CPUtime=1056.37 cores=0,2,4,6
/proc/7072/task/7075/stat : 7075 (SArTagnan) R 7070 7072 6426 0 -1 4202560 185169 0 0 0 105569 68 0 0 25 0 4 0 500816683 1585049600 325551 33554432000 4194304 4623224 140736224924752 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7072/tid=7076] ppid=7070 vsize=1547900 CPUtime=1062.27 cores=0,2,4,6
/proc/7072/task/7076/stat : 7076 (SArTagnan) R 7070 7072 6426 0 -1 4202560 2776436 0 0 0 105788 439 0 0 25 0 4 0 500816683 1585049600 325551 33554432000 4194304 4623224 140736224924752 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4243.2
Current children cumulated vsize (KiB) 1547900

[startup+1122.3 s]
/proc/loadavg: 8.08 8.11 7.95 9/184 7119
/proc/meminfo: memFree=28774952/32951124 swapFree=67111356/67111528
[pid=7072] ppid=7070 vsize=1548296 CPUtime=4482.88 cores=0,2,4,6
/proc/7072/stat : 7072 (SArTagnan) R 7070 7072 6426 0 -1 4202496 3619153 0 0 0 447637 651 0 0 25 0 4 0 500816677 1585455104 333181 33554432000 4194304 4623224 140736224924752 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7072/statm: 387074 333181 453 105 0 382578 0
[pid=7072/tid=7074] ppid=7070 vsize=1548296 CPUtime=1122.24 cores=0,2,4,6
/proc/7072/task/7074/stat : 7074 (SArTagnan) R 7070 7072 6426 0 -1 4202560 160379 0 0 0 112154 70 0 0 25 0 4 0 500816683 1585455104 333181 33554432000 4194304 4623224 140736224924752 18446744073709551615 4376579 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7072/tid=7075] ppid=7070 vsize=1548296 CPUtime=1116.03 cores=0,2,4,6
/proc/7072/task/7075/stat : 7075 (SArTagnan) R 7070 7072 6426 0 -1 4202560 187123 0 0 0 111535 68 0 0 25 0 4 0 500816683 1585455104 333181 33554432000 4194304 4623224 140736224924752 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7072/tid=7076] ppid=7070 vsize=1548296 CPUtime=1122.27 cores=0,2,4,6
/proc/7072/task/7076/stat : 7076 (SArTagnan) R 7070 7072 6426 0 -1 4202560 3160528 0 0 0 111734 493 0 0 25 0 4 0 500816683 1585455104 333181 33554432000 4194304 4623224 140736224924752 18446744073709551615 4364911 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4482.88
Current children cumulated vsize (KiB) 1548296

[startup+1182.3 s]
/proc/loadavg: 8.07 8.10 7.95 9/184 7120
/proc/meminfo: memFree=28690360/32951124 swapFree=67111356/67111528
[pid=7072] ppid=7070 vsize=1704368 CPUtime=4722.56 cores=0,2,4,6
/proc/7072/stat : 7072 (SArTagnan) R 7070 7072 6426 0 -1 4202496 4033787 0 0 0 471540 716 0 0 25 0 4 0 500816677 1745272832 344824 33554432000 4194304 4623224 140736224924752 18446744073709551615 4510090 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7072/statm: 426092 344824 345 105 0 421596 0
[pid=7072/tid=7074] ppid=7070 vsize=1704368 CPUtime=1182.24 cores=0,2,4,6
/proc/7072/task/7074/stat : 7074 (SArTagnan) R 7070 7072 6426 0 -1 4202560 197478 0 0 0 118149 75 0 0 25 0 4 0 500816683 1745272832 344824 33554432000 4194304 4623224 140736224924752 18446744073709551615 4366443 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7072/tid=7075] ppid=7070 vsize=1704368 CPUtime=1175.71 cores=0,2,4,6
/proc/7072/task/7075/stat : 7075 (SArTagnan) R 7070 7072 6426 0 -1 4202560 189451 0 0 0 117501 70 0 0 25 0 4 0 500816683 1745272832 344824 33554432000 4194304 4623224 140736224924752 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7072/tid=7076] ppid=7070 vsize=1704368 CPUtime=1182.27 cores=0,2,4,6
/proc/7072/task/7076/stat : 7076 (SArTagnan) R 7070 7072 6426 0 -1 4202560 3535258 0 0 0 117676 551 0 0 25 0 4 0 500816683 1745272832 344824 33554432000 4194304 4623224 140736224924752 18446744073709551615 4577438 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4722.56
Current children cumulated vsize (KiB) 1704368



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.12 8.11 7.96 9/184 7121
/proc/meminfo: memFree=28660468/32951124 swapFree=67111356/67111528
[pid=7072] ppid=7070 vsize=1705952 CPUtime=4800.07 cores=0,2,4,6
/proc/7072/stat : 7072 (SArTagnan) R 7070 7072 6426 0 -1 4202496 4172348 0 0 0 479271 736 0 0 25 0 4 0 500816677 1746894848 347808 33554432000 4194304 4623224 140736224924752 18446744073709551615 4510226 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7072/statm: 426488 347808 345 105 0 421992 0
[pid=7072/tid=7074] ppid=7070 vsize=1705952 CPUtime=1201.64 cores=0,2,4,6
/proc/7072/task/7074/stat : 7074 (SArTagnan) R 7070 7072 6426 0 -1 4202560 198730 0 0 0 120089 75 0 0 25 0 4 0 500816683 1746894848 347809 33554432000 4194304 4623224 140736224924752 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7072/tid=7075] ppid=7070 vsize=1705952 CPUtime=1195 cores=0,2,4,6
/proc/7072/task/7075/stat : 7075 (SArTagnan) R 7070 7072 6426 0 -1 4202560 190135 0 0 0 119429 71 0 0 25 0 4 0 500816683 1746894848 347809 33554432000 4194304 4623224 140736224924752 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7072/tid=7076] ppid=7070 vsize=1705952 CPUtime=1201.68 cores=0,2,4,6
/proc/7072/task/7076/stat : 7076 (SArTagnan) R 7070 7072 6426 0 -1 4202560 3671857 0 0 0 119598 570 0 0 25 0 4 0 500816683 1746894848 347809 33554432000 4194304 4623224 140736224924752 18446744073709551615 4366412 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.07
Current children cumulated vsize (KiB) 1705952

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+1201.7 s]
/proc/loadavg: 8.12 8.11 7.96 9/184 7121
/proc/meminfo: memFree=28660468/32951124 swapFree=67111356/67111528
[pid=7072] ppid=7070 vsize=1705952 CPUtime=4800.07 cores=0,2,4,6
/proc/7072/stat : 7072 (SArTagnan) R 7070 7072 6426 0 -1 4202496 4172348 0 0 0 479271 736 0 0 25 0 4 0 500816677 1746894848 347808 33554432000 4194304 4623224 140736224924752 18446744073709551615 4510226 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7072/statm: 426488 347808 345 105 0 421992 0
[pid=7072/tid=7074] ppid=7070 vsize=1705952 CPUtime=1201.64 cores=0,2,4,6
/proc/7072/task/7074/stat : 7074 (SArTagnan) R 7070 7072 6426 0 -1 4202560 198730 0 0 0 120089 75 0 0 25 0 4 0 500816683 1746894848 347809 33554432000 4194304 4623224 140736224924752 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7072/tid=7075] ppid=7070 vsize=1705952 CPUtime=1195 cores=0,2,4,6
/proc/7072/task/7075/stat : 7075 (SArTagnan) R 7070 7072 6426 0 -1 4202560 190135 0 0 0 119429 71 0 0 25 0 4 0 500816683 1746894848 347809 33554432000 4194304 4623224 140736224924752 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7072/tid=7076] ppid=7070 vsize=1705952 CPUtime=1201.68 cores=0,2,4,6
/proc/7072/task/7076/stat : 7076 (SArTagnan) R 7070 7072 6426 0 -1 4202560 3671857 0 0 0 119598 570 0 0 25 0 4 0 500816683 1746894848 347809 33554432000 4194304 4623224 140736224924752 18446744073709551615 4366412 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.07
Current children cumulated vsize (KiB) 1705952

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.78
CPU time (s): 4800.17
CPU user time (s): 4792.74
CPU system time (s): 7.43087
CPU usage (%): 399.423
Max. virtual memory (cumulated for all children) (KiB): 1705952

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4792.74
system time used= 7.43087
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4172350
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= 9174
involuntary context switches= 32177

runsolver used 1.91271 second user time and 4.64929 second system time

The end

Launcher Data 

Begin job on node143 at 2011-04-29 15:33:31
IDJOB=3289727
IDBENCH=83134
IDSOLVER=1656
FILE ID=node143/3289727-1304084010
RUNJOBID= node143-1304084010-7062
PBS_JOBID= 13170504
Free space on /tmp= 72924 MiB

SOLVER NAME= SArTagnan 2011-03-24
BENCH NAME= SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom17.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3289727-1304084010/watcher-3289727-1304084010 -o /tmp/evaluation-result-3289727-1304084010/solver-3289727-1304084010 -C 4800 -W 1300 -M 15500  SArTagnan HOME/instance-3289727-1304084010.cnf -threads=4

TIME LIMIT= 4800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= a6df2ce216327c64a0156683acb72fc2
RANDOM SEED=1798426410

node143.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.15
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31712724 kB
Buffers:        210612 kB
Cached:         687940 kB
SwapCached:        168 kB
Active:         271980 kB
Inactive:       690440 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31712724 kB
SwapTotal:    67111528 kB
SwapFree:     67111356 kB
Dirty:            2436 kB
Writeback:           0 kB
AnonPages:       63120 kB
Mapped:          14604 kB
Slab:           212364 kB
PageTables:       4768 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   186604 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 72920 MiB
End job on node143 at 2011-04-29 15:53:34