Trace number 3292441

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.47 1201.89

General information on the benchmark

NameSAT05/industrial/grieu05/vmpc/
vmpc_36.renamed-as.sat05-1922.cnf
MD5SUMc9c90d9af49f4c08c7262ecb9a0b2a3d
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark978.31
Satisfiable
(Un)Satisfiability was proved
Number of variables1296
Number of clauses230544
Sum of the clauses size603180
Maximum clause length36
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 290828
Number of clauses of size 3139644
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 572

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-3292441-1304110937/watcher-3292441-1304110937 -o /tmp/evaluation-result-3292441-1304110937/solver-3292441-1304110937 -C 4800 -W 1300 -M 15500 SArTagnan HOME/instance-3292441-1304110937.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: 4.90 6.97 7.54 1/172 26814
/proc/meminfo: memFree=29733812/32950928 swapFree=67111364/67111528
[pid=26814] ppid=26812 vsize=24488 CPUtime=0 cores=0,2,4,6
/proc/26814/stat : 26814 (SArTagnan) R 26812 26814 26111 0 -1 4202496 652 0 0 0 0 0 0 0 23 0 1 0 601324356 25075712 558 33554432000 4194304 4623224 140736722787472 18446744073709551615 4306456 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/26814/statm: 6122 559 297 105 0 1626 0

[startup+0.094231 s]
/proc/loadavg: 4.90 6.97 7.54 1/172 26814
/proc/meminfo: memFree=29733812/32950928 swapFree=67111364/67111528
[pid=26814] ppid=26812 vsize=38404 CPUtime=0.09 cores=0,2,4,6
/proc/26814/stat : 26814 (SArTagnan) R 26812 26814 26111 0 -1 4202496 7988 0 0 0 8 1 0 0 23 0 1 0 601324356 39325696 4367 33554432000 4194304 4623224 140736722787472 18446744073709551615 4388308 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/26814/statm: 9601 4367 297 105 0 5105 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 38404

[startup+0.100198 s]
/proc/loadavg: 4.90 6.97 7.54 1/172 26814
/proc/meminfo: memFree=29733812/32950928 swapFree=67111364/67111528
[pid=26814] ppid=26812 vsize=47316 CPUtime=0.09 cores=0,2,4,6
/proc/26814/stat : 26814 (SArTagnan) R 26812 26814 26111 0 -1 4202496 9934 0 0 0 8 1 0 0 23 0 1 0 601324356 48451584 6313 33554432000 4194304 4623224 140736722787472 18446744073709551615 256415089027 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/26814/statm: 11829 6333 299 105 0 7333 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 47316

[startup+0.300219 s]
/proc/loadavg: 4.90 6.97 7.54 1/172 26814
/proc/meminfo: memFree=29733812/32950928 swapFree=67111364/67111528
[pid=26814] ppid=26812 vsize=241688 CPUtime=0.86 cores=0,2,4,6
/proc/26814/stat : 26814 (SArTagnan) R 26812 26814 26111 0 -1 4202496 21441 0 0 0 84 2 0 0 25 0 4 0 601324356 247488512 12975 33554432000 4194304 4623224 140736722787472 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26814/statm: 60422 12975 339 105 0 55926 0
Current children cumulated CPU time (s) 0.86
Current children cumulated vsize (KiB) 241688

[startup+0.701144 s]
/proc/loadavg: 4.90 6.97 7.54 1/172 26814
/proc/meminfo: memFree=29733812/32950928 swapFree=67111364/67111528
[pid=26814] ppid=26812 vsize=241688 CPUtime=2.47 cores=0,2,4,6
/proc/26814/stat : 26814 (SArTagnan) R 26812 26814 26111 0 -1 4202496 28425 0 0 0 243 4 0 0 25 0 4 0 601324356 247488512 13434 33554432000 4194304 4623224 140736722787472 18446744073709551615 4510127 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26814/statm: 60422 13434 339 105 0 55926 0
Current children cumulated CPU time (s) 2.47
Current children cumulated vsize (KiB) 241688

[startup+1.50098 s]
/proc/loadavg: 4.83 6.92 7.52 6/178 26912
/proc/meminfo: memFree=29669512/32950928 swapFree=67111364/67111528
[pid=26814] ppid=26812 vsize=241688 CPUtime=5.66 cores=0,2,4,6
/proc/26814/stat : 26814 (SArTagnan) R 26812 26814 26111 0 -1 4202496 40293 0 0 0 560 6 0 0 25 0 4 0 601324356 247488512 14851 33554432000 4194304 4623224 140736722787472 18446744073709551615 4507318 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26814/statm: 60422 14851 339 105 0 55926 0
[pid=26814/tid=26829] ppid=26812 vsize=241688 CPUtime=1.39 cores=0,2,4,6
/proc/26814/task/26829/stat : 26829 (SArTagnan) R 26812 26814 26111 0 -1 4202560 2080 0 0 0 139 0 0 0 25 0 4 0 601324366 247488512 14851 33554432000 4194304 4623224 140736722787472 18446744073709551615 4377117 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26814/tid=26830] ppid=26812 vsize=241688 CPUtime=1.38 cores=0,2,4,6
/proc/26814/task/26830/stat : 26830 (SArTagnan) R 26812 26814 26111 0 -1 4202560 1973 0 0 0 138 0 0 0 25 0 4 0 601324366 247488512 14851 33554432000 4194304 4623224 140736722787472 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26814/tid=26831] ppid=26812 vsize=241688 CPUtime=1.37 cores=0,2,4,6
/proc/26814/task/26831/stat : 26831 (SArTagnan) R 26812 26814 26111 0 -1 4202560 21707 0 0 0 135 2 0 0 25 0 4 0 601324366 247488512 14851 33554432000 4194304 4623224 140736722787472 18446744073709551615 4548168 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.66
Current children cumulated vsize (KiB) 241688

[startup+3.10068 s]
/proc/loadavg: 4.83 6.92 7.52 6/178 26912
/proc/meminfo: memFree=29619444/32950928 swapFree=67111364/67111528
[pid=26814] ppid=26812 vsize=246908 CPUtime=12.05 cores=0,2,4,6
/proc/26814/stat : 26814 (SArTagnan) R 26812 26814 26111 0 -1 4202496 63392 0 0 0 1194 11 0 0 25 0 4 0 601324356 252833792 18237 33554432000 4194304 4623224 140736722787472 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26814/statm: 61727 18237 340 105 0 57231 0
[pid=26814/tid=26829] ppid=26812 vsize=246908 CPUtime=2.98 cores=0,2,4,6
/proc/26814/task/26829/stat : 26829 (SArTagnan) R 26812 26814 26111 0 -1 4202560 2312 0 0 0 298 0 0 0 25 0 4 0 601324366 252833792 18237 33554432000 4194304 4623224 140736722787472 18446744073709551615 4465869 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26814/tid=26830] ppid=26812 vsize=246908 CPUtime=2.98 cores=0,2,4,6
/proc/26814/task/26830/stat : 26830 (SArTagnan) R 26812 26814 26111 0 -1 4202560 2219 0 0 0 298 0 0 0 25 0 4 0 601324366 252833792 18237 33554432000 4194304 4623224 140736722787472 18446744073709551615 4366412 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26814/tid=26831] ppid=26812 vsize=246908 CPUtime=2.96 cores=0,2,4,6
/proc/26814/task/26831/stat : 26831 (SArTagnan) R 26812 26814 26111 0 -1 4202560 43344 0 0 0 291 5 0 0 25 0 4 0 601324366 252833792 18237 33554432000 4194304 4623224 140736722787472 18446744073709551615 4377587 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.05
Current children cumulated vsize (KiB) 246908

[startup+6.30108 s]
/proc/loadavg: 4.84 6.89 7.51 6/181 26918
/proc/meminfo: memFree=29351632/32950928 swapFree=67111364/67111528
[pid=26814] ppid=26812 vsize=258472 CPUtime=24.82 cores=0,2,4,6
/proc/26814/stat : 26814 (SArTagnan) R 26812 26814 26111 0 -1 4202496 115267 0 0 0 2462 20 0 0 25 0 4 0 601324356 264675328 21955 33554432000 4194304 4623224 140736722787472 18446744073709551615 4510206 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26814/statm: 64618 21955 340 105 0 60122 0
[pid=26814/tid=26829] ppid=26812 vsize=258472 CPUtime=6.18 cores=0,2,4,6
/proc/26814/task/26829/stat : 26829 (SArTagnan) R 26812 26814 26111 0 -1 4202560 4219 0 0 0 618 0 0 0 25 0 4 0 601324366 264675328 21955 33554432000 4194304 4623224 140736722787472 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26814/tid=26830] ppid=26812 vsize=258472 CPUtime=6.18 cores=0,2,4,6
/proc/26814/task/26830/stat : 26830 (SArTagnan) R 26812 26814 26111 0 -1 4202560 4211 0 0 0 618 0 0 0 25 0 4 0 601324366 264675328 21955 33554432000 4194304 4623224 140736722787472 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26814/tid=26831] ppid=26812 vsize=258472 CPUtime=6.15 cores=0,2,4,6
/proc/26814/task/26831/stat : 26831 (SArTagnan) R 26812 26814 26111 0 -1 4202560 91194 0 0 0 602 13 0 0 18 0 4 0 601324366 264675328 21955 33554432000 4194304 4623224 140736722787472 18446744073709551615 4366247 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 24.82
Current children cumulated vsize (KiB) 258472

[startup+12.7008 s]
/proc/loadavg: 5.18 6.93 7.52 9/184 26921
/proc/meminfo: memFree=28227080/32950928 swapFree=67111364/67111528
[pid=26814] ppid=26812 vsize=346220 CPUtime=50.38 cores=0,2,4,6
/proc/26814/stat : 26814 (SArTagnan) R 26812 26814 26111 0 -1 4202496 196806 0 0 0 5004 34 0 0 25 0 4 0 601324356 354529280 30415 33554432000 4194304 4623224 140736722787472 18446744073709551615 4510316 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26814/statm: 86555 30415 345 105 0 82059 0
[pid=26814/tid=26829] ppid=26812 vsize=346220 CPUtime=12.58 cores=0,2,4,6
/proc/26814/task/26829/stat : 26829 (SArTagnan) R 26812 26814 26111 0 -1 4202560 7373 0 0 0 1256 2 0 0 25 0 4 0 601324366 354529280 30415 33554432000 4194304 4623224 140736722787472 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26814/tid=26830] ppid=26812 vsize=346220 CPUtime=12.59 cores=0,2,4,6
/proc/26814/task/26830/stat : 26830 (SArTagnan) R 26812 26814 26111 0 -1 4202560 7740 0 0 0 1258 1 0 0 25 0 4 0 601324366 354529280 30415 33554432000 4194304 4623224 140736722787472 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26814/tid=26831] ppid=26812 vsize=346220 CPUtime=12.51 cores=0,2,4,6
/proc/26814/task/26831/stat : 26831 (SArTagnan) R 26812 26814 26111 0 -1 4202560 161436 0 0 0 1227 24 0 0 25 0 4 0 601324366 354529280 30415 33554432000 4194304 4623224 140736722787472 18446744073709551615 4364232 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.38
Current children cumulated vsize (KiB) 346220

[startup+25.5004 s]
/proc/loadavg: 5.61 6.96 7.52 9/184 26922
/proc/meminfo: memFree=28099596/32950928 swapFree=67111364/67111528
[pid=26814] ppid=26812 vsize=373236 CPUtime=101.5 cores=0,2,4,6
/proc/26814/stat : 26814 (SArTagnan) R 26812 26814 26111 0 -1 4202496 409527 0 0 0 10085 65 0 0 25 0 4 0 601324356 382193664 40472 33554432000 4194304 4623224 140736722787472 18446744073709551615 4414984 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26814/statm: 93309 40472 345 105 0 88813 0
[pid=26814/tid=26829] ppid=26812 vsize=373236 CPUtime=25.38 cores=0,2,4,6
/proc/26814/task/26829/stat : 26829 (SArTagnan) R 26812 26814 26111 0 -1 4202560 13585 0 0 0 2534 4 0 0 25 0 4 0 601324366 382193664 40472 33554432000 4194304 4623224 140736722787472 18446744073709551615 4377576 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26814/tid=26830] ppid=26812 vsize=373236 CPUtime=25.38 cores=0,2,4,6
/proc/26814/task/26830/stat : 26830 (SArTagnan) R 26812 26814 26111 0 -1 4202560 13775 0 0 0 2536 2 0 0 25 0 4 0 601324366 382193664 40472 33554432000 4194304 4623224 140736722787472 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26814/tid=26831] ppid=26812 vsize=373236 CPUtime=25.23 cores=0,2,4,6
/proc/26814/task/26831/stat : 26831 (SArTagnan) R 26812 26814 26111 0 -1 4202560 355305 0 0 0 2473 50 0 0 25 0 4 0 601324366 382193664 40472 33554432000 4194304 4623224 140736722787472 18446744073709551615 4363781 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.5
Current children cumulated vsize (KiB) 373236

[startup+51.1006 s]
/proc/loadavg: 6.60 7.07 7.54 9/184 26922
/proc/meminfo: memFree=27984228/32950928 swapFree=67111364/67111528
[pid=26814] ppid=26812 vsize=395616 CPUtime=203.74 cores=0,2,4,6
/proc/26814/stat : 26814 (SArTagnan) R 26812 26814 26111 0 -1 4202496 672192 0 0 0 20264 110 0 0 25 0 4 0 601324356 405110784 58192 33554432000 4194304 4623224 140736722787472 18446744073709551615 4511380 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26814/statm: 98904 58192 345 105 0 94408 0
[pid=26814/tid=26829] ppid=26812 vsize=395616 CPUtime=50.96 cores=0,2,4,6
/proc/26814/task/26829/stat : 26829 (SArTagnan) R 26812 26814 26111 0 -1 4202560 22146 0 0 0 5089 7 0 0 25 0 4 0 601324366 405110784 58192 33554432000 4194304 4623224 140736722787472 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26814/tid=26830] ppid=26812 vsize=395616 CPUtime=50.99 cores=0,2,4,6
/proc/26814/task/26830/stat : 26830 (SArTagnan) R 26812 26814 26111 0 -1 4202560 27390 0 0 0 5091 8 0 0 25 0 4 0 601324366 405110784 58192 33554432000 4194304 4623224 140736722787472 18446744073709551615 4377056 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26814/tid=26831] ppid=26812 vsize=395616 CPUtime=50.7 cores=0,2,4,6
/proc/26814/task/26831/stat : 26831 (SArTagnan) R 26812 26814 26111 0 -1 4202560 591010 0 0 0 4985 85 0 0 25 0 4 0 601324366 405110784 58192 33554432000 4194304 4623224 140736722787472 18446744073709551615 4545376 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 203.74
Current children cumulated vsize (KiB) 395616

[startup+102.307 s]
/proc/loadavg: 7.49 7.24 7.57 9/184 26924
/proc/meminfo: memFree=27843828/32950928 swapFree=67111364/67111528
[pid=26814] ppid=26812 vsize=571304 CPUtime=408.3 cores=0,2,4,6
/proc/26814/stat : 26814 (SArTagnan) R 26812 26814 26111 0 -1 4202496 925611 0 0 0 40670 160 0 0 25 0 4 0 601324356 585015296 88895 33554432000 4194304 4623224 140736722787472 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26814/statm: 142826 88895 384 105 0 138330 0
[pid=26814/tid=26829] ppid=26812 vsize=571304 CPUtime=102.16 cores=0,2,4,6
/proc/26814/task/26829/stat : 26829 (SArTagnan) R 26812 26814 26111 0 -1 4202560 25439 0 0 0 10208 8 0 0 25 0 4 0 601324366 585015296 88895 33554432000 4194304 4623224 140736722787472 18446744073709551615 4376865 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26814/tid=26830] ppid=26812 vsize=571304 CPUtime=102.19 cores=0,2,4,6
/proc/26814/task/26830/stat : 26830 (SArTagnan) R 26812 26814 26111 0 -1 4202560 43712 0 0 0 10202 17 0 0 25 0 4 0 601324366 585015296 88895 33554432000 4194304 4623224 140736722787472 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26814/tid=26831] ppid=26812 vsize=571304 CPUtime=101.62 cores=0,2,4,6
/proc/26814/task/26831/stat : 26831 (SArTagnan) R 26812 26814 26111 0 -1 4202560 808523 0 0 0 10044 118 0 0 25 0 4 0 601324366 585015296 88895 33554432000 4194304 4623224 140736722787472 18446744073709551615 4364001 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.3
Current children cumulated vsize (KiB) 571304

[startup+162.301 s]
/proc/loadavg: 7.91 7.41 7.61 9/184 26925
/proc/meminfo: memFree=27682840/32950928 swapFree=67111364/67111528
[pid=26814] ppid=26812 vsize=645724 CPUtime=647.94 cores=0,2,4,6
/proc/26814/stat : 26814 (SArTagnan) R 26812 26814 26111 0 -1 4202496 1671109 0 0 0 64511 283 0 0 25 0 4 0 601324356 661221376 123004 33554432000 4194304 4623224 140736722787472 18446744073709551615 4506864 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26814/statm: 161431 123004 349 105 0 156935 0
[pid=26814/tid=26829] ppid=26812 vsize=645724 CPUtime=162.16 cores=0,2,4,6
/proc/26814/task/26829/stat : 26829 (SArTagnan) R 26812 26814 26111 0 -1 4202560 40662 0 0 0 16201 15 0 0 25 0 4 0 601324366 661221376 123004 33554432000 4194304 4623224 140736722787472 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26814/tid=26830] ppid=26812 vsize=645724 CPUtime=162.18 cores=0,2,4,6
/proc/26814/task/26830/stat : 26830 (SArTagnan) R 26812 26814 26111 0 -1 4202560 48151 0 0 0 16199 19 0 0 25 0 4 0 601324366 661221376 123004 33554432000 4194304 4623224 140736722787472 18446744073709551615 4377576 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26814/tid=26831] ppid=26812 vsize=645724 CPUtime=161.29 cores=0,2,4,6
/proc/26814/task/26831/stat : 26831 (SArTagnan) R 26812 26814 26111 0 -1 4202560 1498757 0 0 0 15906 223 0 0 25 0 4 0 601324366 661221376 123004 33554432000 4194304 4623224 140736722787472 18446744073709551615 4545376 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 647.94
Current children cumulated vsize (KiB) 645724

[startup+222.3 s]
/proc/loadavg: 8.05 7.54 7.64 9/184 26927
/proc/meminfo: memFree=27516536/32950928 swapFree=67111364/67111528
[pid=26814] ppid=26812 vsize=820020 CPUtime=887.62 cores=0,2,4,6
/proc/26814/stat : 26814 (SArTagnan) R 26812 26814 26111 0 -1 4202496 1714843 0 0 0 88462 300 0 0 25 0 4 0 601324356 839700480 155101 33554432000 4194304 4623224 140736722787472 18446744073709551615 4509958 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26814/statm: 205005 155101 631 105 0 200509 0
[pid=26814/tid=26829] ppid=26812 vsize=820020 CPUtime=222.16 cores=0,2,4,6
/proc/26814/task/26829/stat : 26829 (SArTagnan) R 26812 26814 26111 0 -1 4202560 42555 0 0 0 22200 16 0 0 25 0 4 0 601324366 839700480 155101 33554432000 4194304 4623224 140736722787472 18446744073709551615 4376883 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26814/tid=26830] ppid=26812 vsize=820020 CPUtime=222.18 cores=0,2,4,6
/proc/26814/task/26830/stat : 26830 (SArTagnan) R 26812 26814 26111 0 -1 4202560 71221 0 0 0 22188 30 0 0 25 0 4 0 601324366 839700480 155101 33554432000 4194304 4623224 140736722787472 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26814/tid=26831] ppid=26812 vsize=820020 CPUtime=220.96 cores=0,2,4,6
/proc/26814/task/26831/stat : 26831 (SArTagnan) R 26812 26814 26111 0 -1 4202560 1502902 0 0 0 21872 224 0 0 25 0 4 0 601324366 839700480 155101 33554432000 4194304 4623224 140736722787472 18446744073709551615 4545376 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 887.62
Current children cumulated vsize (KiB) 820020

[startup+282.301 s]

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

[pid=26814] ppid=26812 vsize=1465676 CPUtime=2565.35 cores=0,2,4,6
/proc/26814/stat : 26814 (SArTagnan) R 26812 26814 26111 0 -1 4202496 2564929 0 0 0 256062 473 0 0 25 0 4 0 601324356 1500852224 287107 33554432000 4194304 4623224 140736722787472 18446744073709551615 4510475 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26814/statm: 366419 287107 472 105 0 361923 0
[pid=26814/tid=26829] ppid=26812 vsize=1465676 CPUtime=642.18 cores=0,2,4,6
/proc/26814/task/26829/stat : 26829 (SArTagnan) R 26812 26814 26111 0 -1 4202560 100620 0 0 0 64177 41 0 0 25 0 4 0 601324366 1500852224 287107 33554432000 4194304 4623224 140736722787472 18446744073709551615 4467820 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26814/tid=26830] ppid=26812 vsize=1465676 CPUtime=642.16 cores=0,2,4,6
/proc/26814/task/26830/stat : 26830 (SArTagnan) R 26812 26814 26111 0 -1 4202560 118069 0 0 0 64153 63 0 0 25 0 4 0 601324366 1500852224 287107 33554432000 4194304 4623224 140736722787472 18446744073709551615 4376937 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26814/tid=26831] ppid=26812 vsize=1465676 CPUtime=638.7 cores=0,2,4,6
/proc/26814/task/26831/stat : 26831 (SArTagnan) R 26812 26814 26111 0 -1 4202560 2048793 0 0 0 63561 309 0 0 25 0 4 0 601324366 1500852224 287107 33554432000 4194304 4623224 140736722787472 18446744073709551615 4363970 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2565.35
Current children cumulated vsize (KiB) 1465676

[startup+702.301 s]
/proc/loadavg: 8.10 7.93 7.78 9/184 26940
/proc/meminfo: memFree=26526988/32950928 swapFree=67111364/67111528
[pid=26814] ppid=26812 vsize=1500084 CPUtime=2805.01 cores=0,2,4,6
/proc/26814/stat : 26814 (SArTagnan) R 26812 26814 26111 0 -1 4202496 3447713 0 0 0 279902 599 0 0 25 0 4 0 601324356 1536086016 303640 33554432000 4194304 4623224 140736722787472 18446744073709551615 4510302 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26814/statm: 375021 303640 376 105 0 370525 0
[pid=26814/tid=26829] ppid=26812 vsize=1500084 CPUtime=702.17 cores=0,2,4,6
/proc/26814/task/26829/stat : 26829 (SArTagnan) R 26812 26814 26111 0 -1 4202560 101090 0 0 0 70176 41 0 0 25 0 4 0 601324366 1536086016 303640 33554432000 4194304 4623224 140736722787472 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26814/tid=26830] ppid=26812 vsize=1500084 CPUtime=702.16 cores=0,2,4,6
/proc/26814/task/26830/stat : 26830 (SArTagnan) R 26812 26814 26111 0 -1 4202560 119219 0 0 0 70152 64 0 0 25 0 4 0 601324366 1536086016 303640 33554432000 4194304 4623224 140736722787472 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26814/tid=26831] ppid=26812 vsize=1500084 CPUtime=698.37 cores=0,2,4,6
/proc/26814/task/26831/stat : 26831 (SArTagnan) R 26812 26814 26111 0 -1 4202560 2895120 0 0 0 69410 427 0 0 25 0 4 0 601324366 1536086016 303640 33554432000 4194304 4623224 140736722787472 18446744073709551615 4545376 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2805.01
Current children cumulated vsize (KiB) 1500084

[startup+762.307 s]
/proc/loadavg: 8.10 7.96 7.80 9/184 26941
/proc/meminfo: memFree=26367496/32950928 swapFree=67111364/67111528
[pid=26814] ppid=26812 vsize=1692328 CPUtime=3044.7 cores=0,2,4,6
/proc/26814/stat : 26814 (SArTagnan) R 26812 26814 26111 0 -1 4202496 4284950 0 0 0 303750 720 0 0 25 0 4 0 601324356 1732943872 326198 33554432000 4194304 4623224 140736722787472 18446744073709551615 4510105 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26814/statm: 423082 326198 361 105 0 418586 0
[pid=26814/tid=26829] ppid=26812 vsize=1692328 CPUtime=762.18 cores=0,2,4,6
/proc/26814/task/26829/stat : 26829 (SArTagnan) R 26812 26814 26111 0 -1 4202560 101794 0 0 0 76177 41 0 0 25 0 4 0 601324366 1732943872 326198 33554432000 4194304 4623224 140736722787472 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26814/tid=26830] ppid=26812 vsize=1692328 CPUtime=762.16 cores=0,2,4,6
/proc/26814/task/26830/stat : 26830 (SArTagnan) R 26812 26814 26111 0 -1 4202560 121238 0 0 0 76150 66 0 0 25 0 4 0 601324366 1732943872 326198 33554432000 4194304 4623224 140736722787472 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26814/tid=26831] ppid=26812 vsize=1692328 CPUtime=758.03 cores=0,2,4,6
/proc/26814/task/26831/stat : 26831 (SArTagnan) R 26812 26814 26111 0 -1 4202560 3645824 0 0 0 75268 535 0 0 25 0 4 0 601324366 1732943872 326198 33554432000 4194304 4623224 140736722787472 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3044.7
Current children cumulated vsize (KiB) 1692328

[startup+822.3 s]
/proc/loadavg: 8.08 7.98 7.81 9/184 26943
/proc/meminfo: memFree=26335728/32950928 swapFree=67111364/67111528
[pid=26814] ppid=26812 vsize=1757864 CPUtime=3284.36 cores=0,2,4,6
/proc/26814/stat : 26814 (SArTagnan) R 26812 26814 26111 0 -1 4202496 4863464 0 0 0 327629 807 0 0 25 0 4 0 601324356 1800052736 332331 33554432000 4194304 4623224 140736722787472 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26814/statm: 439466 332331 361 105 0 434970 0
[pid=26814/tid=26829] ppid=26812 vsize=1757864 CPUtime=822.18 cores=0,2,4,6
/proc/26814/task/26829/stat : 26829 (SArTagnan) R 26812 26814 26111 0 -1 4202560 103339 0 0 0 82176 42 0 0 25 0 4 0 601324366 1800052736 332331 33554432000 4194304 4623224 140736722787472 18446744073709551615 4376872 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26814/tid=26830] ppid=26812 vsize=1757864 CPUtime=822.16 cores=0,2,4,6
/proc/26814/task/26830/stat : 26830 (SArTagnan) R 26812 26814 26111 0 -1 4202560 121651 0 0 0 82150 66 0 0 25 0 4 0 601324366 1800052736 332331 33554432000 4194304 4623224 140736722787472 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26814/tid=26831] ppid=26812 vsize=1757864 CPUtime=817.71 cores=0,2,4,6
/proc/26814/task/26831/stat : 26831 (SArTagnan) R 26812 26814 26111 0 -1 4202560 4221043 0 0 0 81150 621 0 0 25 0 4 0 601324366 1800052736 332331 33554432000 4194304 4623224 140736722787472 18446744073709551615 4364232 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3284.36
Current children cumulated vsize (KiB) 1757864

[startup+882.301 s]
/proc/loadavg: 8.07 8.00 7.83 9/184 26945
/proc/meminfo: memFree=26264160/32950928 swapFree=67111364/67111528
[pid=26814] ppid=26812 vsize=1810072 CPUtime=3524.04 cores=0,2,4,6
/proc/26814/stat : 26814 (SArTagnan) R 26812 26814 26111 0 -1 4202496 5026009 0 0 0 351566 838 0 0 25 0 4 0 601324356 1853513728 341575 33554432000 4194304 4623224 140736722787472 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26814/statm: 452518 341575 361 105 0 448022 0
[pid=26814/tid=26829] ppid=26812 vsize=1810072 CPUtime=882.19 cores=0,2,4,6
/proc/26814/task/26829/stat : 26829 (SArTagnan) R 26812 26814 26111 0 -1 4202560 132965 0 0 0 88173 46 0 0 25 0 4 0 601324366 1853513728 341575 33554432000 4194304 4623224 140736722787472 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26814/tid=26830] ppid=26812 vsize=1810072 CPUtime=882.16 cores=0,2,4,6
/proc/26814/task/26830/stat : 26830 (SArTagnan) R 26812 26814 26111 0 -1 4202560 127531 0 0 0 88141 75 0 0 25 0 4 0 601324366 1853513728 341575 33554432000 4194304 4623224 140736722787472 18446744073709551615 4366400 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26814/tid=26831] ppid=26812 vsize=1810072 CPUtime=877.38 cores=0,2,4,6
/proc/26814/task/26831/stat : 26831 (SArTagnan) R 26812 26814 26111 0 -1 4202560 4346783 0 0 0 87099 639 0 0 25 0 4 0 601324366 1853513728 341575 33554432000 4194304 4623224 140736722787472 18446744073709551615 4364232 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3524.04
Current children cumulated vsize (KiB) 1810072

[startup+942.301 s]
/proc/loadavg: 8.07 8.01 7.84 9/184 26946
/proc/meminfo: memFree=26205856/32950928 swapFree=67111364/67111528
[pid=26814] ppid=26812 vsize=1810072 CPUtime=3763.72 cores=0,2,4,6
/proc/26814/stat : 26814 (SArTagnan) R 26812 26814 26111 0 -1 4202496 5031057 0 0 0 375531 841 0 0 25 0 4 0 601324356 1853513728 346584 33554432000 4194304 4623224 140736722787472 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26814/statm: 452518 346584 361 105 0 448022 0
[pid=26814/tid=26829] ppid=26812 vsize=1810072 CPUtime=942.18 cores=0,2,4,6
/proc/26814/task/26829/stat : 26829 (SArTagnan) R 26812 26814 26111 0 -1 4202560 133775 0 0 0 94172 46 0 0 25 0 4 0 601324366 1853513728 346584 33554432000 4194304 4623224 140736722787472 18446744073709551615 4376678 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26814/tid=26830] ppid=26812 vsize=1810072 CPUtime=942.16 cores=0,2,4,6
/proc/26814/task/26830/stat : 26830 (SArTagnan) R 26812 26814 26111 0 -1 4202560 128571 0 0 0 94140 76 0 0 25 0 4 0 601324366 1853513728 346584 33554432000 4194304 4623224 140736722787472 18446744073709551615 4376625 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26814/tid=26831] ppid=26812 vsize=1810072 CPUtime=937.06 cores=0,2,4,6
/proc/26814/task/26831/stat : 26831 (SArTagnan) R 26812 26814 26111 0 -1 4202560 4347182 0 0 0 93066 640 0 0 25 0 4 0 601324366 1853513728 346584 33554432000 4194304 4623224 140736722787472 18446744073709551615 4377128 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3763.72
Current children cumulated vsize (KiB) 1810072

[startup+1002.3 s]
/proc/loadavg: 8.08 8.02 7.85 9/184 26948
/proc/meminfo: memFree=26115680/32950928 swapFree=67111364/67111528
[pid=26814] ppid=26812 vsize=1867712 CPUtime=4003.4 cores=0,2,4,6
/proc/26814/stat : 26814 (SArTagnan) R 26812 26814 26111 0 -1 4202496 5079036 0 0 0 399491 849 0 0 25 0 4 0 601324356 1912537088 358328 33554432000 4194304 4623224 140736722787472 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26814/statm: 466928 358328 361 105 0 462432 0
[pid=26814/tid=26829] ppid=26812 vsize=1867712 CPUtime=1002.18 cores=0,2,4,6
/proc/26814/task/26829/stat : 26829 (SArTagnan) R 26812 26814 26111 0 -1 4202560 134375 0 0 0 100172 46 0 0 25 0 4 0 601324366 1912537088 358328 33554432000 4194304 4623224 140736722787472 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26814/tid=26830] ppid=26812 vsize=1867712 CPUtime=1002.16 cores=0,2,4,6
/proc/26814/task/26830/stat : 26830 (SArTagnan) R 26812 26814 26111 0 -1 4202560 129553 0 0 0 100139 77 0 0 25 0 4 0 601324366 1912537088 358328 33554432000 4194304 4623224 140736722787472 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26814/tid=26831] ppid=26812 vsize=1867712 CPUtime=996.73 cores=0,2,4,6
/proc/26814/task/26831/stat : 26831 (SArTagnan) R 26812 26814 26111 0 -1 4202560 4383751 0 0 0 99028 645 0 0 25 0 4 0 601324366 1912537088 358328 33554432000 4194304 4623224 140736722787472 18446744073709551615 4366412 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4003.4
Current children cumulated vsize (KiB) 1867712

[startup+1062.3 s]
/proc/loadavg: 8.08 8.03 7.86 9/184 26949
/proc/meminfo: memFree=26067808/32950928 swapFree=67111364/67111528
[pid=26814] ppid=26812 vsize=1867712 CPUtime=4243.09 cores=0,2,4,6
/proc/26814/stat : 26814 (SArTagnan) R 26812 26814 26111 0 -1 4202496 5328904 0 0 0 423419 890 0 0 25 0 4 0 601324356 1912537088 362971 33554432000 4194304 4623224 140736722787472 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26814/statm: 466928 362971 361 105 0 462432 0
[pid=26814/tid=26829] ppid=26812 vsize=1867712 CPUtime=1062.19 cores=0,2,4,6
/proc/26814/task/26829/stat : 26829 (SArTagnan) R 26812 26814 26111 0 -1 4202560 135064 0 0 0 106172 47 0 0 25 0 4 0 601324366 1912537088 362971 33554432000 4194304 4623224 140736722787472 18446744073709551615 4376869 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26814/tid=26830] ppid=26812 vsize=1867712 CPUtime=1062.16 cores=0,2,4,6
/proc/26814/task/26830/stat : 26830 (SArTagnan) R 26812 26814 26111 0 -1 4202560 130279 0 0 0 106138 78 0 0 25 0 4 0 601324366 1912537088 362971 33554432000 4194304 4623224 140736722787472 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26814/tid=26831] ppid=26812 vsize=1867712 CPUtime=1056.4 cores=0,2,4,6
/proc/26814/task/26831/stat : 26831 (SArTagnan) R 26812 26814 26111 0 -1 4202560 4629192 0 0 0 104958 682 0 0 25 0 4 0 601324366 1912537088 362971 33554432000 4194304 4623224 140736722787472 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4243.09
Current children cumulated vsize (KiB) 1867712

[startup+1122.3 s]
/proc/loadavg: 8.11 8.05 7.88 9/184 26951
/proc/meminfo: memFree=25983596/32950928 swapFree=67111364/67111528
[pid=26814] ppid=26812 vsize=1984804 CPUtime=4482.76 cores=0,2,4,6
/proc/26814/stat : 26814 (SArTagnan) R 26812 26814 26111 0 -1 4202496 5467381 0 0 0 447364 912 0 0 25 0 4 0 601324356 2032439296 371220 33554432000 4194304 4623224 140736722787472 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26814/statm: 496201 371220 360 105 0 491705 0
[pid=26814/tid=26829] ppid=26812 vsize=1984804 CPUtime=1122.19 cores=0,2,4,6
/proc/26814/task/26829/stat : 26829 (SArTagnan) R 26812 26814 26111 0 -1 4202560 135702 0 0 0 112172 47 0 0 25 0 4 0 601324366 2032439296 371220 33554432000 4194304 4623224 140736722787472 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26814/tid=26830] ppid=26812 vsize=1984804 CPUtime=1122.17 cores=0,2,4,6
/proc/26814/task/26830/stat : 26830 (SArTagnan) R 26812 26814 26111 0 -1 4202560 131959 0 0 0 112137 80 0 0 25 0 4 0 601324366 2032439296 371220 33554432000 4194304 4623224 140736722787472 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26814/tid=26831] ppid=26812 vsize=1984804 CPUtime=1116.08 cores=0,2,4,6
/proc/26814/task/26831/stat : 26831 (SArTagnan) R 26812 26814 26111 0 -1 4202560 4733908 0 0 0 110911 697 0 0 25 0 4 0 601324366 2032439296 371220 33554432000 4194304 4623224 140736722787472 18446744073709551615 4364046 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4482.76
Current children cumulated vsize (KiB) 1984804

[startup+1182.3 s]
/proc/loadavg: 8.12 8.07 7.89 9/184 26953
/proc/meminfo: memFree=25924552/32950928 swapFree=67111364/67111528
[pid=26814] ppid=26812 vsize=1984804 CPUtime=4722.45 cores=0,2,4,6
/proc/26814/stat : 26814 (SArTagnan) R 26812 26814 26111 0 -1 4202496 5471715 0 0 0 471332 913 0 0 25 0 4 0 601324356 2032439296 375465 33554432000 4194304 4623224 140736722787472 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26814/statm: 496201 375465 359 105 0 491705 0
[pid=26814/tid=26829] ppid=26812 vsize=1984804 CPUtime=1182.2 cores=0,2,4,6
/proc/26814/task/26829/stat : 26829 (SArTagnan) R 26812 26814 26111 0 -1 4202560 136134 0 0 0 118173 47 0 0 25 0 4 0 601324366 2032439296 375465 33554432000 4194304 4623224 140736722787472 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26814/tid=26830] ppid=26812 vsize=1984804 CPUtime=1182.17 cores=0,2,4,6
/proc/26814/task/26830/stat : 26830 (SArTagnan) R 26812 26814 26111 0 -1 4202560 132934 0 0 0 118136 81 0 0 25 0 4 0 601324366 2032439296 375465 33554432000 4194304 4623224 140736722787472 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26814/tid=26831] ppid=26812 vsize=1984804 CPUtime=1175.75 cores=0,2,4,6
/proc/26814/task/26831/stat : 26831 (SArTagnan) R 26812 26814 26111 0 -1 4202560 4734209 0 0 0 116878 697 0 0 25 0 4 0 601324366 2032439296 375465 33554432000 4194304 4623224 140736722787472 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4722.45
Current children cumulated vsize (KiB) 1984804



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.8 s]
/proc/loadavg: 8.23 8.10 7.91 9/184 26953
/proc/meminfo: memFree=25896896/32950928 swapFree=67111364/67111528
[pid=26814] ppid=26812 vsize=1984804 CPUtime=4800.36 cores=0,2,4,6
/proc/26814/stat : 26814 (SArTagnan) R 26812 26814 26111 0 -1 4202496 5474145 0 0 0 479121 915 0 0 25 0 4 0 601324356 2032439296 377864 33554432000 4194304 4623224 140736722787472 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26814/statm: 496201 377864 359 105 0 491705 0
[pid=26814/tid=26829] ppid=26812 vsize=1984804 CPUtime=1201.7 cores=0,2,4,6
/proc/26814/task/26829/stat : 26829 (SArTagnan) R 26812 26814 26111 0 -1 4202560 136259 0 0 0 120123 47 0 0 25 0 4 0 601324366 2032439296 377864 33554432000 4194304 4623224 140736722787472 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26814/tid=26830] ppid=26812 vsize=1984804 CPUtime=1201.68 cores=0,2,4,6
/proc/26814/task/26830/stat : 26830 (SArTagnan) R 26812 26814 26111 0 -1 4202560 133859 0 0 0 120086 82 0 0 25 0 4 0 601324366 2032439296 377864 33554432000 4194304 4623224 140736722787472 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26814/tid=26831] ppid=26812 vsize=1984804 CPUtime=1195.15 cores=0,2,4,6
/proc/26814/task/26831/stat : 26831 (SArTagnan) R 26812 26814 26111 0 -1 4202560 4734332 0 0 0 118818 697 0 0 25 0 4 0 601324366 2032439296 377864 33554432000 4194304 4623224 140736722787472 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.36
Current children cumulated vsize (KiB) 1984804

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.89
CPU time (s): 4800.47
CPU user time (s): 4791.24
CPU system time (s): 9.2266
CPU usage (%): 399.411
Max. virtual memory (cumulated for all children) (KiB): 1984804

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4791.24
system time used= 9.2266
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5474145
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= 1948
involuntary context switches= 20936

runsolver used 1.91471 second user time and 4.64829 second system time

The end

Launcher Data 

Begin job on node115 at 2011-04-29 23:02:17
IDJOB=3292441
IDBENCH=85991
IDSOLVER=1656
FILE ID=node115/3292441-1304110937
RUNJOBID= node115-1304110937-26774
PBS_JOBID= 13170651
Free space on /tmp= 72728 MiB

SOLVER NAME= SArTagnan 2011-03-24
BENCH NAME= SAT05/industrial/grieu05/vmpc/vmpc_36.renamed-as.sat05-1922.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3292441-1304110937/watcher-3292441-1304110937 -o /tmp/evaluation-result-3292441-1304110937/solver-3292441-1304110937 -C 4800 -W 1300 -M 15500  SArTagnan HOME/instance-3292441-1304110937.cnf -threads=4

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

MD5SUM BENCH= c9c90d9af49f4c08c7262ecb9a0b2a3d
RANDOM SEED=919402899

node115.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.811
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.62
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.811
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.811
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.75
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.811
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.75
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.811
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.77
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.811
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.74
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.811
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.75
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.811
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      29734092 kB
Buffers:        806044 kB
Cached:        1921224 kB
SwapCached:          0 kB
Active:         165688 kB
Inactive:      2625380 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      29734092 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:            3896 kB
Writeback:           0 kB
AnonPages:       63500 kB
Mapped:          14884 kB
Slab:           362128 kB
PageTables:       5116 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   188604 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= 72616 MiB
End job on node115 at 2011-04-29 23:22:21