Trace number 3265700

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.24 1201.99

General information on the benchmark

NameSAT05/crafted/sorge05/QG7a/
gensys-icl005.shuffled-as.sat05-3826.cnf
MD5SUM5d8489e52ec1ef9c7431a7fd60f9ff86
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark455.087
Satisfiable
(Un)Satisfiability was proved
Number of variables2703
Number of clauses18312
Sum of the clauses size128119
Maximum clause length13
Minimum clause length1
Number of clauses of size 156
Number of clauses of size 2533
Number of clauses of size 32417
Number of clauses of size 4522
Number of clauses of size 5685
Number of clauses of size over 514099

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-3265700-1304109105/watcher-3265700-1304109105 -o /tmp/evaluation-result-3265700-1304109105/solver-3265700-1304109105 -C 4800 -W 1300 -M 15500 SArTagnan HOME/instance-3265700-1304109105.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: 6.82 7.81 7.87 7/180 30794
/proc/meminfo: memFree=24655432/32950940 swapFree=67111364/67111528
[pid=30794] ppid=30792 vsize=19364 CPUtime=0 cores=0,2,4,6
/proc/30794/stat : 30794 (SArTagnan) R 30792 30794 30624 0 -1 4202496 567 0 0 0 0 0 0 0 25 0 1 0 601141303 19828736 505 33554432000 4194304 4623224 140737480137792 18446744073709551615 4366247 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/30794/statm: 4841 505 301 105 0 345 0

[startup+0.0305579 s]
/proc/loadavg: 6.82 7.81 7.87 7/180 30794
/proc/meminfo: memFree=24655432/32950940 swapFree=67111364/67111528
[pid=30794] ppid=30792 vsize=187304 CPUtime=0.03 cores=0,2,4,6
/proc/30794/stat : 30794 (SArTagnan) R 30792 30794 30624 0 -1 4202496 2598 0 0 0 3 0 0 0 25 0 4 0 601141303 191799296 2011 33554432000 4194304 4623224 140737480137792 18446744073709551615 215988289744 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30794/statm: 46826 2032 339 105 0 42330 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 187304

[startup+0.121689 s]
/proc/loadavg: 6.82 7.81 7.87 7/180 30794
/proc/meminfo: memFree=24655432/32950940 swapFree=67111364/67111528
[pid=30794] ppid=30792 vsize=255736 CPUtime=0.4 cores=0,2,4,6
/proc/30794/stat : 30794 (SArTagnan) R 30792 30794 30624 0 -1 4202496 4521 0 0 0 40 0 0 0 25 0 4 0 601141303 261873664 3019 33554432000 4194304 4623224 140737480137792 18446744073709551615 4366247 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30794/statm: 63934 3019 339 105 0 59438 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 255736

[startup+0.30074 s]
/proc/loadavg: 6.82 7.81 7.87 7/180 30794
/proc/meminfo: memFree=24655432/32950940 swapFree=67111364/67111528
[pid=30794] ppid=30792 vsize=259012 CPUtime=1.11 cores=0,2,4,6
/proc/30794/stat : 30794 (SArTagnan) R 30792 30794 30624 0 -1 4202496 7019 0 0 0 111 0 0 0 25 0 4 0 601141303 265228288 3993 33554432000 4194304 4623224 140737480137792 18446744073709551615 4510316 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30794/statm: 64753 3993 339 105 0 60257 0
Current children cumulated CPU time (s) 1.11
Current children cumulated vsize (KiB) 259012

[startup+0.700671 s]
/proc/loadavg: 6.82 7.81 7.87 7/180 30794
/proc/meminfo: memFree=24655432/32950940 swapFree=67111364/67111528
[pid=30794] ppid=30792 vsize=264844 CPUtime=2.71 cores=0,2,4,6
/proc/30794/stat : 30794 (SArTagnan) R 30792 30794 30624 0 -1 4202496 11910 0 0 0 270 1 0 0 25 0 4 0 601141303 271200256 6305 33554432000 4194304 4623224 140737480137792 18446744073709551615 4510195 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30794/statm: 66211 6305 343 105 0 61715 0
Current children cumulated CPU time (s) 2.71
Current children cumulated vsize (KiB) 264844

[startup+1.50053 s]
/proc/loadavg: 6.82 7.81 7.87 9/184 30798
/proc/meminfo: memFree=24622920/32950940 swapFree=67111364/67111528
[pid=30794] ppid=30792 vsize=265940 CPUtime=5.9 cores=0,2,4,6
/proc/30794/stat : 30794 (SArTagnan) R 30792 30794 30624 0 -1 4202496 18695 0 0 0 588 2 0 0 25 0 4 0 601141303 272322560 7966 33554432000 4194304 4623224 140737480137792 18446744073709551615 4510119 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30794/statm: 66485 7966 343 105 0 61989 0
[pid=30794/tid=30796] ppid=30792 vsize=265940 CPUtime=1.46 cores=0,2,4,6
/proc/30794/task/30796/stat : 30796 (SArTagnan) R 30792 30794 30624 0 -1 4202560 2818 0 0 0 146 0 0 0 25 0 4 0 601141306 272322560 7966 33554432000 4194304 4623224 140737480137792 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30794/tid=30797] ppid=30792 vsize=265940 CPUtime=1.47 cores=0,2,4,6
/proc/30794/task/30797/stat : 30797 (SArTagnan) R 30792 30794 30624 0 -1 4202560 2858 0 0 0 147 0 0 0 25 0 4 0 601141306 272322560 7966 33554432000 4194304 4623224 140737480137792 18446744073709551615 4289768 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30794/tid=30798] ppid=30792 vsize=265940 CPUtime=1.46 cores=0,2,4,6
/proc/30794/task/30798/stat : 30798 (SArTagnan) R 30792 30794 30624 0 -1 4202560 6955 0 0 0 145 1 0 0 25 0 4 0 601141306 272322560 7966 33554432000 4194304 4623224 140737480137792 18446744073709551615 4544894 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.9
Current children cumulated vsize (KiB) 265940

[startup+3.10025 s]
/proc/loadavg: 6.82 7.81 7.87 9/184 30798
/proc/meminfo: memFree=24607172/32950940 swapFree=67111364/67111528
[pid=30794] ppid=30792 vsize=271632 CPUtime=12.29 cores=0,2,4,6
/proc/30794/stat : 30794 (SArTagnan) R 30792 30794 30624 0 -1 4202496 24975 0 0 0 1225 4 0 0 25 0 4 0 601141303 278151168 10748 33554432000 4194304 4623224 140737480137792 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30794/statm: 67908 10748 343 105 0 63412 0
[pid=30794/tid=30796] ppid=30792 vsize=271632 CPUtime=3.07 cores=0,2,4,6
/proc/30794/task/30796/stat : 30796 (SArTagnan) R 30792 30794 30624 0 -1 4202560 4404 0 0 0 306 1 0 0 25 0 4 0 601141306 278151168 10748 33554432000 4194304 4623224 140737480137792 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30794/tid=30797] ppid=30792 vsize=271632 CPUtime=3.07 cores=0,2,4,6
/proc/30794/task/30797/stat : 30797 (SArTagnan) R 30792 30794 30624 0 -1 4202560 4310 0 0 0 306 1 0 0 25 0 4 0 601141306 278151168 10748 33554432000 4194304 4623224 140737480137792 18446744073709551615 4366412 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30794/tid=30798] ppid=30792 vsize=271632 CPUtime=3.05 cores=0,2,4,6
/proc/30794/task/30798/stat : 30798 (SArTagnan) R 30792 30794 30624 0 -1 4202560 9457 0 0 0 304 1 0 0 25 0 4 0 601141306 278151168 10748 33554432000 4194304 4623224 140737480137792 18446744073709551615 4550473 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.29
Current children cumulated vsize (KiB) 271632

[startup+6.30069 s]
/proc/loadavg: 6.91 7.81 7.87 9/184 30798
/proc/meminfo: memFree=24588032/32950940 swapFree=67111364/67111528
[pid=30794] ppid=30792 vsize=274176 CPUtime=25.09 cores=0,2,4,6
/proc/30794/stat : 30794 (SArTagnan) R 30792 30794 30624 0 -1 4202496 34029 0 0 0 2503 6 0 0 25 0 4 0 601141303 280756224 12864 33554432000 4194304 4623224 140737480137792 18446744073709551615 4510127 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30794/statm: 68544 12864 343 105 0 64048 0
[pid=30794/tid=30796] ppid=30792 vsize=274176 CPUtime=6.27 cores=0,2,4,6
/proc/30794/task/30796/stat : 30796 (SArTagnan) R 30792 30794 30624 0 -1 4202560 6091 0 0 0 626 1 0 0 25 0 4 0 601141306 280756224 12864 33554432000 4194304 4623224 140737480137792 18446744073709551615 4376937 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30794/tid=30797] ppid=30792 vsize=274176 CPUtime=6.27 cores=0,2,4,6
/proc/30794/task/30797/stat : 30797 (SArTagnan) R 30792 30794 30624 0 -1 4202560 4451 0 0 0 626 1 0 0 25 0 4 0 601141306 280756224 12864 33554432000 4194304 4623224 140737480137792 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30794/tid=30798] ppid=30792 vsize=274176 CPUtime=6.23 cores=0,2,4,6
/proc/30794/task/30798/stat : 30798 (SArTagnan) R 30792 30794 30624 0 -1 4202560 16553 0 0 0 621 2 0 0 25 0 4 0 601141306 280756224 12864 33554432000 4194304 4623224 140737480137792 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.09
Current children cumulated vsize (KiB) 274176

[startup+12.7006 s]
/proc/loadavg: 7.00 7.81 7.87 9/184 30798
/proc/meminfo: memFree=24552412/32950940 swapFree=67111364/67111528
[pid=30794] ppid=30792 vsize=288112 CPUtime=50.65 cores=0,2,4,6
/proc/30794/stat : 30794 (SArTagnan) R 30792 30794 30624 0 -1 4202496 76386 0 0 0 5051 14 0 0 25 0 4 0 601141303 295026688 16479 33554432000 4194304 4623224 140737480137792 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30794/statm: 72028 16479 343 105 0 67532 0
[pid=30794/tid=30796] ppid=30792 vsize=288112 CPUtime=12.66 cores=0,2,4,6
/proc/30794/task/30796/stat : 30796 (SArTagnan) R 30792 30794 30624 0 -1 4202560 8527 0 0 0 1265 1 0 0 25 0 4 0 601141306 295026688 16479 33554432000 4194304 4623224 140737480137792 18446744073709551615 4289553 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30794/tid=30797] ppid=30792 vsize=288112 CPUtime=12.66 cores=0,2,4,6
/proc/30794/task/30797/stat : 30797 (SArTagnan) R 30792 30794 30624 0 -1 4202560 6177 0 0 0 1265 1 0 0 25 0 4 0 601141306 295026688 16479 33554432000 4194304 4623224 140737480137792 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30794/tid=30798] ppid=30792 vsize=288112 CPUtime=12.6 cores=0,2,4,6
/proc/30794/task/30798/stat : 30798 (SArTagnan) R 30792 30794 30624 0 -1 4202560 54540 0 0 0 1251 9 0 0 25 0 4 0 601141306 295026688 16479 33554432000 4194304 4623224 140737480137792 18446744073709551615 4550467 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.65
Current children cumulated vsize (KiB) 288112

[startup+25.5003 s]
/proc/loadavg: 7.29 7.84 7.88 9/184 30799
/proc/meminfo: memFree=24511988/32950940 swapFree=67111364/67111528
[pid=30794] ppid=30792 vsize=298480 CPUtime=101.77 cores=0,2,4,6
/proc/30794/stat : 30794 (SArTagnan) R 30792 30794 30624 0 -1 4202496 128542 0 0 0 10155 22 0 0 25 0 4 0 601141303 305643520 21133 33554432000 4194304 4623224 140737480137792 18446744073709551615 4510090 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30794/statm: 74620 21133 344 105 0 70124 0
[pid=30794/tid=30796] ppid=30792 vsize=298480 CPUtime=25.47 cores=0,2,4,6
/proc/30794/task/30796/stat : 30796 (SArTagnan) R 30792 30794 30624 0 -1 4202560 12930 0 0 0 2545 2 0 0 25 0 4 0 601141306 305643520 21133 33554432000 4194304 4623224 140737480137792 18446744073709551615 4289788 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30794/tid=30797] ppid=30792 vsize=298480 CPUtime=25.47 cores=0,2,4,6
/proc/30794/task/30797/stat : 30797 (SArTagnan) R 30792 30794 30624 0 -1 4202560 9029 0 0 0 2545 2 0 0 25 0 4 0 601141306 305643520 21133 33554432000 4194304 4623224 140737480137792 18446744073709551615 4366412 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30794/tid=30798] ppid=30792 vsize=298480 CPUtime=25.33 cores=0,2,4,6
/proc/30794/task/30798/stat : 30798 (SArTagnan) R 30792 30794 30624 0 -1 4202560 97182 0 0 0 2517 16 0 0 25 0 4 0 601141306 305643520 21133 33554432000 4194304 4623224 140737480137792 18446744073709551615 4366412 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.77
Current children cumulated vsize (KiB) 298480

[startup+51.1009 s]
/proc/loadavg: 7.53 7.85 7.88 9/184 30799
/proc/meminfo: memFree=24417596/32950940 swapFree=67111364/67111528
[pid=30794] ppid=30792 vsize=298312 CPUtime=204.06 cores=0,2,4,6
/proc/30794/stat : 30794 (SArTagnan) R 30792 30794 30624 0 -1 4202496 284520 0 0 0 20358 48 0 0 25 0 4 0 601141303 305471488 30204 33554432000 4194304 4623224 140737480137792 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30794/statm: 74578 30204 384 105 0 70082 0
[pid=30794/tid=30796] ppid=30792 vsize=298312 CPUtime=51.06 cores=0,2,4,6
/proc/30794/task/30796/stat : 30796 (SArTagnan) R 30792 30794 30624 0 -1 4202560 14208 0 0 0 5104 2 0 0 25 0 4 0 601141306 305471488 30204 33554432000 4194304 4623224 140737480137792 18446744073709551615 4376666 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30794/tid=30797] ppid=30792 vsize=298312 CPUtime=51.07 cores=0,2,4,6
/proc/30794/task/30797/stat : 30797 (SArTagnan) R 30792 30794 30624 0 -1 4202560 10004 0 0 0 5105 2 0 0 25 0 4 0 601141306 305471488 30204 33554432000 4194304 4623224 140737480137792 18446744073709551615 4366412 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30794/tid=30798] ppid=30792 vsize=298312 CPUtime=50.81 cores=0,2,4,6
/proc/30794/task/30798/stat : 30798 (SArTagnan) R 30792 30794 30624 0 -1 4202560 247202 0 0 0 5041 40 0 0 25 0 4 0 601141306 305471488 30204 33554432000 4194304 4623224 140737480137792 18446744073709551615 4558592 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 204.06
Current children cumulated vsize (KiB) 298312

[startup+102.307 s]
/proc/loadavg: 7.85 7.89 7.89 9/184 30801
/proc/meminfo: memFree=24200556/32950940 swapFree=67111364/67111528
[pid=30794] ppid=30792 vsize=368232 CPUtime=408.6 cores=0,2,4,6
/proc/30794/stat : 30794 (SArTagnan) R 30792 30794 30624 0 -1 4202496 449581 0 0 0 40783 77 0 0 25 0 4 0 601141303 377069568 59130 33554432000 4194304 4623224 140737480137792 18446744073709551615 4517494 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30794/statm: 92058 59130 843 105 0 87562 0
[pid=30794/tid=30796] ppid=30792 vsize=368232 CPUtime=102.27 cores=0,2,4,6
/proc/30794/task/30796/stat : 30796 (SArTagnan) R 30792 30794 30624 0 -1 4202560 21525 0 0 0 10223 4 0 0 25 0 4 0 601141306 377069568 59130 33554432000 4194304 4623224 140737480137792 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30794/tid=30797] ppid=30792 vsize=368232 CPUtime=102.27 cores=0,2,4,6
/proc/30794/task/30797/stat : 30797 (SArTagnan) R 30792 30794 30624 0 -1 4202560 13699 0 0 0 10225 2 0 0 25 0 4 0 601141306 377069568 59130 33554432000 4194304 4623224 140737480137792 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30794/tid=30798] ppid=30792 vsize=368232 CPUtime=101.73 cores=0,2,4,6
/proc/30794/task/30798/stat : 30798 (SArTagnan) R 30792 30794 30624 0 -1 4202560 378414 0 0 0 10110 63 0 0 25 0 4 0 601141306 377069568 59130 33554432000 4194304 4623224 140737480137792 18446744073709551615 4366412 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.6
Current children cumulated vsize (KiB) 368232

[startup+162.3 s]
/proc/loadavg: 8.04 7.93 7.91 9/184 30802
/proc/meminfo: memFree=24029252/32950940 swapFree=67111364/67111528
[pid=30794] ppid=30792 vsize=507824 CPUtime=648.24 cores=0,2,4,6
/proc/30794/stat : 30794 (SArTagnan) R 30792 30794 30624 0 -1 4202496 881909 0 0 0 64678 146 0 0 25 0 4 0 601141303 520011776 78842 33554432000 4194304 4623224 140737480137792 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30794/statm: 126956 78842 965 105 0 122460 0
[pid=30794/tid=30796] ppid=30792 vsize=507824 CPUtime=162.27 cores=0,2,4,6
/proc/30794/task/30796/stat : 30796 (SArTagnan) R 30792 30794 30624 0 -1 4202560 30739 0 0 0 16222 5 0 0 25 0 4 0 601141306 520011776 78842 33554432000 4194304 4623224 140737480137792 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30794/tid=30797] ppid=30792 vsize=507824 CPUtime=162.27 cores=0,2,4,6
/proc/30794/task/30797/stat : 30797 (SArTagnan) R 30792 30794 30624 0 -1 4202560 18969 0 0 0 16224 3 0 0 25 0 4 0 601141306 520011776 78842 33554432000 4194304 4623224 140737480137792 18446744073709551615 4376678 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30794/tid=30798] ppid=30792 vsize=507824 CPUtime=161.39 cores=0,2,4,6
/proc/30794/task/30798/stat : 30798 (SArTagnan) R 30792 30794 30624 0 -1 4202560 772930 0 0 0 16013 126 0 0 25 0 4 0 601141306 520011776 78842 33554432000 4194304 4623224 140737480137792 18446744073709551615 4364232 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 648.24
Current children cumulated vsize (KiB) 507824

[startup+222.301 s]
/proc/loadavg: 8.06 7.96 7.91 9/184 30804
/proc/meminfo: memFree=23914140/32950940 swapFree=67111364/67111528
[pid=30794] ppid=30792 vsize=617408 CPUtime=887.92 cores=0,2,4,6
/proc/30794/stat : 30794 (SArTagnan) R 30792 30794 30624 0 -1 4202496 1116410 0 0 0 88608 184 0 0 25 0 4 0 601141303 632225792 95656 33554432000 4194304 4623224 140737480137792 18446744073709551615 4414891 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30794/statm: 154352 95656 861 105 0 149856 0
[pid=30794/tid=30796] ppid=30792 vsize=617408 CPUtime=222.27 cores=0,2,4,6
/proc/30794/task/30796/stat : 30796 (SArTagnan) R 30792 30794 30624 0 -1 4202560 42874 0 0 0 22220 7 0 0 25 0 4 0 601141306 632225792 95656 33554432000 4194304 4623224 140737480137792 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30794/tid=30797] ppid=30792 vsize=617408 CPUtime=222.26 cores=0,2,4,6
/proc/30794/task/30797/stat : 30797 (SArTagnan) R 30792 30794 30624 0 -1 4202560 20561 0 0 0 22223 3 0 0 25 0 4 0 601141306 632225792 95656 33554432000 4194304 4623224 140737480137792 18446744073709551615 4366412 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30794/tid=30798] ppid=30792 vsize=617408 CPUtime=221.06 cores=0,2,4,6
/proc/30794/task/30798/stat : 30798 (SArTagnan) R 30792 30794 30624 0 -1 4202560 977155 0 0 0 21948 158 0 0 25 0 4 0 601141306 632225792 95656 33554432000 4194304 4623224 140737480137792 18446744073709551615 4376920 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 887.92
Current children cumulated vsize (KiB) 617408

[startup+282.3 s]

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

[pid=30794] ppid=30792 vsize=1267804 CPUtime=2804.44 cores=0,2,4,6
/proc/30794/stat : 30794 (SArTagnan) R 30792 30794 30624 0 -1 4202496 3963577 0 0 0 279798 646 0 0 25 0 4 0 601141303 1298231296 232139 33554432000 4194304 4623224 140737480137792 18446744073709551615 4510316 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30794/statm: 316951 232139 345 105 0 312455 0
[pid=30794/tid=30796] ppid=30792 vsize=1267804 CPUtime=702.28 cores=0,2,4,6
/proc/30794/task/30796/stat : 30796 (SArTagnan) R 30792 30794 30624 0 -1 4202560 100284 0 0 0 70207 21 0 0 25 0 4 0 601141306 1298231296 232139 33554432000 4194304 4623224 140737480137792 18446744073709551615 4376946 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30794/tid=30797] ppid=30792 vsize=1267804 CPUtime=702.27 cores=0,2,4,6
/proc/30794/task/30797/stat : 30797 (SArTagnan) R 30792 30794 30624 0 -1 4202560 31566 0 0 0 70219 8 0 0 25 0 4 0 601141306 1298231296 232139 33554432000 4194304 4623224 140737480137792 18446744073709551615 4377587 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30794/tid=30798] ppid=30792 vsize=1267804 CPUtime=697.63 cores=0,2,4,6
/proc/30794/task/30798/stat : 30798 (SArTagnan) R 30792 30794 30624 0 -1 4202560 3522329 0 0 0 69201 562 0 0 25 0 4 0 601141306 1298231296 232139 33554432000 4194304 4623224 140737480137792 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2804.44
Current children cumulated vsize (KiB) 1267804

[startup+762.306 s]
/proc/loadavg: 8.12 8.10 8.00 9/184 30821
/proc/meminfo: memFree=22633484/32950940 swapFree=67111364/67111528
[pid=30794] ppid=30792 vsize=1365284 CPUtime=3044.13 cores=0,2,4,6
/proc/30794/stat : 30794 (SArTagnan) R 30792 30794 30624 0 -1 4202496 4406600 0 0 0 303697 716 0 0 25 0 4 0 601141303 1398050816 254642 33554432000 4194304 4623224 140737480137792 18446744073709551615 4510090 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30794/statm: 341321 254642 344 105 0 336825 0
[pid=30794/tid=30796] ppid=30792 vsize=1365284 CPUtime=762.28 cores=0,2,4,6
/proc/30794/task/30796/stat : 30796 (SArTagnan) R 30792 30794 30624 0 -1 4202560 101425 0 0 0 76207 21 0 0 25 0 4 0 601141306 1398050816 254642 33554432000 4194304 4623224 140737480137792 18446744073709551615 4366450 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30794/tid=30797] ppid=30792 vsize=1365284 CPUtime=762.28 cores=0,2,4,6
/proc/30794/task/30797/stat : 30797 (SArTagnan) R 30792 30794 30624 0 -1 4202560 32019 0 0 0 76219 9 0 0 25 0 4 0 601141306 1398050816 254642 33554432000 4194304 4623224 140737480137792 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30794/tid=30798] ppid=30792 vsize=1365284 CPUtime=757.3 cores=0,2,4,6
/proc/30794/task/30798/stat : 30798 (SArTagnan) R 30792 30794 30624 0 -1 4202560 3890675 0 0 0 75109 621 0 0 25 0 4 0 601141306 1398050816 254642 33554432000 4194304 4623224 140737480137792 18446744073709551615 4364232 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3044.13
Current children cumulated vsize (KiB) 1365284

[startup+822.301 s]
/proc/loadavg: 8.10 8.10 8.00 9/184 30823
/proc/meminfo: memFree=22517864/32950940 swapFree=67111364/67111528
[pid=30794] ppid=30792 vsize=1403760 CPUtime=3283.78 cores=0,2,4,6
/proc/30794/stat : 30794 (SArTagnan) R 30792 30794 30624 0 -1 4202496 4790730 0 0 0 327603 775 0 0 25 0 4 0 601141303 1437450240 269596 33554432000 4194304 4623224 140737480137792 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30794/statm: 350940 269596 447 105 0 346444 0
[pid=30794/tid=30796] ppid=30792 vsize=1403760 CPUtime=822.27 cores=0,2,4,6
/proc/30794/task/30796/stat : 30796 (SArTagnan) R 30792 30794 30624 0 -1 4202560 102160 0 0 0 82206 21 0 0 25 0 4 0 601141306 1437450240 269596 33554432000 4194304 4623224 140737480137792 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30794/tid=30797] ppid=30792 vsize=1403760 CPUtime=822.28 cores=0,2,4,6
/proc/30794/task/30797/stat : 30797 (SArTagnan) R 30792 30794 30624 0 -1 4202560 32105 0 0 0 82219 9 0 0 25 0 4 0 601141306 1437450240 269596 33554432000 4194304 4623224 140737480137792 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30794/tid=30798] ppid=30792 vsize=1403760 CPUtime=816.97 cores=0,2,4,6
/proc/30794/task/30798/stat : 30798 (SArTagnan) R 30792 30794 30624 0 -1 4202560 4267699 0 0 0 81019 678 0 0 25 0 4 0 601141306 1437450240 269596 33554432000 4194304 4623224 140737480137792 18446744073709551615 4550411 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3283.78
Current children cumulated vsize (KiB) 1403760

[startup+882.3 s]
/proc/loadavg: 8.09 8.09 8.00 9/184 30824
/proc/meminfo: memFree=22425692/32950940 swapFree=67111364/67111528
[pid=30794] ppid=30792 vsize=1469176 CPUtime=3523.46 cores=0,2,4,6
/proc/30794/stat : 30794 (SArTagnan) R 30792 30794 30624 0 -1 4202496 4874951 0 0 0 351556 790 0 0 25 0 4 0 601141303 1504436224 278179 33554432000 4194304 4623224 140737480137792 18446744073709551615 4510206 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30794/statm: 367294 278179 446 105 0 362798 0
[pid=30794/tid=30796] ppid=30792 vsize=1469176 CPUtime=882.28 cores=0,2,4,6
/proc/30794/task/30796/stat : 30796 (SArTagnan) R 30792 30794 30624 0 -1 4202560 103411 0 0 0 88206 22 0 0 25 0 4 0 601141306 1504436224 278179 33554432000 4194304 4623224 140737480137792 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30794/tid=30797] ppid=30792 vsize=1469176 CPUtime=882.27 cores=0,2,4,6
/proc/30794/task/30797/stat : 30797 (SArTagnan) R 30792 30794 30624 0 -1 4202560 32477 0 0 0 88218 9 0 0 25 0 4 0 601141306 1504436224 278179 33554432000 4194304 4623224 140737480137792 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30794/tid=30798] ppid=30792 vsize=1469176 CPUtime=876.64 cores=0,2,4,6
/proc/30794/task/30798/stat : 30798 (SArTagnan) R 30792 30794 30624 0 -1 4202560 4310454 0 0 0 86978 686 0 0 25 0 4 0 601141306 1504436224 278179 33554432000 4194304 4623224 140737480137792 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3523.46
Current children cumulated vsize (KiB) 1469176

[startup+942.301 s]
/proc/loadavg: 8.14 8.10 8.01 9/184 30826
/proc/meminfo: memFree=22257132/32950940 swapFree=67111364/67111528
[pid=30794] ppid=30792 vsize=1600248 CPUtime=3763.14 cores=0,2,4,6
/proc/30794/stat : 30794 (SArTagnan) R 30792 30794 30624 0 -1 4202496 4913026 0 0 0 375515 799 0 0 25 0 4 0 601141303 1638653952 312355 33554432000 4194304 4623224 140737480137792 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30794/statm: 400062 312355 344 105 0 395566 0
[pid=30794/tid=30796] ppid=30792 vsize=1600248 CPUtime=942.28 cores=0,2,4,6
/proc/30794/task/30796/stat : 30796 (SArTagnan) R 30792 30794 30624 0 -1 4202560 105307 0 0 0 94206 22 0 0 25 0 4 0 601141306 1638653952 312355 33554432000 4194304 4623224 140737480137792 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30794/tid=30797] ppid=30792 vsize=1600248 CPUtime=942.28 cores=0,2,4,6
/proc/30794/task/30797/stat : 30797 (SArTagnan) R 30792 30794 30624 0 -1 4202560 33403 0 0 0 94218 10 0 0 25 0 4 0 601141306 1638653952 312355 33554432000 4194304 4623224 140737480137792 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30794/tid=30798] ppid=30792 vsize=1600248 CPUtime=936.33 cores=0,2,4,6
/proc/30794/task/30798/stat : 30798 (SArTagnan) R 30792 30794 30624 0 -1 4202560 4312348 0 0 0 92946 687 0 0 25 0 4 0 601141306 1638653952 312355 33554432000 4194304 4623224 140737480137792 18446744073709551615 4366412 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3763.14
Current children cumulated vsize (KiB) 1600248

[startup+1002.3 s]
/proc/loadavg: 8.15 8.11 8.01 9/184 30828
/proc/meminfo: memFree=22141644/32950940 swapFree=67111364/67111528
[pid=30794] ppid=30792 vsize=1600248 CPUtime=4002.82 cores=0,2,4,6
/proc/30794/stat : 30794 (SArTagnan) R 30792 30794 30624 0 -1 4202496 5225016 0 0 0 399435 847 0 0 25 0 4 0 601141303 1638653952 323294 33554432000 4194304 4623224 140737480137792 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30794/statm: 400062 323294 346 105 0 395566 0
[pid=30794/tid=30796] ppid=30792 vsize=1600248 CPUtime=1002.28 cores=0,2,4,6
/proc/30794/task/30796/stat : 30796 (SArTagnan) R 30792 30794 30624 0 -1 4202560 106516 0 0 0 100205 23 0 0 25 0 4 0 601141306 1638653952 323294 33554432000 4194304 4623224 140737480137792 18446744073709551615 4377410 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30794/tid=30797] ppid=30792 vsize=1600248 CPUtime=1002.28 cores=0,2,4,6
/proc/30794/task/30797/stat : 30797 (SArTagnan) R 30792 30794 30624 0 -1 4202560 34504 0 0 0 100218 10 0 0 25 0 4 0 601141306 1638653952 323294 33554432000 4194304 4623224 140737480137792 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30794/tid=30798] ppid=30792 vsize=1600248 CPUtime=996.01 cores=0,2,4,6
/proc/30794/task/30798/stat : 30798 (SArTagnan) R 30792 30794 30624 0 -1 4202560 4613440 0 0 0 98869 732 0 0 25 0 4 0 601141306 1638653952 323294 33554432000 4194304 4623224 140737480137792 18446744073709551615 4545376 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4002.82
Current children cumulated vsize (KiB) 1600248

[startup+1062.3 s]
/proc/loadavg: 8.14 8.12 8.02 9/184 30829
/proc/meminfo: memFree=21942212/32950940 swapFree=67111364/67111528
[pid=30794] ppid=30792 vsize=1822408 CPUtime=4242.48 cores=0,2,4,6
/proc/30794/stat : 30794 (SArTagnan) R 30792 30794 30624 0 -1 4202496 5365685 0 0 0 423382 866 0 0 25 0 4 0 601141303 1866145792 350630 33554432000 4194304 4623224 140737480137792 18446744073709551615 4510226 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30794/statm: 455602 350630 344 105 0 451106 0
[pid=30794/tid=30796] ppid=30792 vsize=1822408 CPUtime=1062.28 cores=0,2,4,6
/proc/30794/task/30796/stat : 30796 (SArTagnan) R 30792 30794 30624 0 -1 4202560 107744 0 0 0 106205 23 0 0 25 0 4 0 601141306 1866145792 350630 33554432000 4194304 4623224 140737480137792 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30794/tid=30797] ppid=30792 vsize=1822408 CPUtime=1062.28 cores=0,2,4,6
/proc/30794/task/30797/stat : 30797 (SArTagnan) R 30792 30794 30624 0 -1 4202560 34737 0 0 0 106218 10 0 0 25 0 4 0 601141306 1866145792 350630 33554432000 4194304 4623224 140737480137792 18446744073709551615 4366341 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30794/tid=30798] ppid=30792 vsize=1822408 CPUtime=1055.67 cores=0,2,4,6
/proc/30794/task/30798/stat : 30798 (SArTagnan) R 30792 30794 30624 0 -1 4202560 4641321 0 0 0 104832 735 0 0 25 0 4 0 601141306 1866145792 350630 33554432000 4194304 4623224 140737480137792 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4242.48
Current children cumulated vsize (KiB) 1822408

[startup+1122.3 s]
/proc/loadavg: 8.13 8.12 8.02 9/184 30831
/proc/meminfo: memFree=21768304/32950940 swapFree=67111364/67111528
[pid=30794] ppid=30792 vsize=1822408 CPUtime=4482.15 cores=0,2,4,6
/proc/30794/stat : 30794 (SArTagnan) R 30792 30794 30624 0 -1 4202496 5648204 0 0 0 447304 911 0 0 25 0 4 0 601141303 1866145792 357928 33554432000 4194304 4623224 140737480137792 18446744073709551615 4510098 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30794/statm: 455602 357928 345 105 0 451106 0
[pid=30794/tid=30796] ppid=30792 vsize=1822408 CPUtime=1122.28 cores=0,2,4,6
/proc/30794/task/30796/stat : 30796 (SArTagnan) R 30792 30794 30624 0 -1 4202560 108437 0 0 0 112205 23 0 0 25 0 4 0 601141306 1866145792 357928 33554432000 4194304 4623224 140737480137792 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30794/tid=30797] ppid=30792 vsize=1822408 CPUtime=1122.28 cores=0,2,4,6
/proc/30794/task/30797/stat : 30797 (SArTagnan) R 30792 30794 30624 0 -1 4202560 35447 0 0 0 112218 10 0 0 25 0 4 0 601141306 1866145792 357928 33554432000 4194304 4623224 140737480137792 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30794/tid=30798] ppid=30792 vsize=1822408 CPUtime=1115.34 cores=0,2,4,6
/proc/30794/task/30798/stat : 30798 (SArTagnan) R 30792 30794 30624 0 -1 4202560 4918027 0 0 0 110756 778 0 0 25 0 4 0 601141306 1866145792 357928 33554432000 4194304 4623224 140737480137792 18446744073709551615 4550465 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4482.15
Current children cumulated vsize (KiB) 1822408

[startup+1182.3 s]
/proc/loadavg: 8.12 8.13 8.03 9/184 30832
/proc/meminfo: memFree=21659260/32950940 swapFree=67111364/67111528
[pid=30794] ppid=30792 vsize=1920492 CPUtime=4721.83 cores=0,2,4,6
/proc/30794/stat : 30794 (SArTagnan) R 30792 30794 30624 0 -1 4202496 6067828 0 0 0 471211 972 0 0 25 0 4 0 601141303 1966583808 371137 33554432000 4194304 4623224 140737480137792 18446744073709551615 4511014 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30794/statm: 480123 371137 344 105 0 475627 0
[pid=30794/tid=30796] ppid=30792 vsize=1920492 CPUtime=1182.28 cores=0,2,4,6
/proc/30794/task/30796/stat : 30796 (SArTagnan) R 30792 30794 30624 0 -1 4202560 109048 0 0 0 118205 23 0 0 25 0 4 0 601141306 1966583808 371137 33554432000 4194304 4623224 140737480137792 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30794/tid=30797] ppid=30792 vsize=1920492 CPUtime=1182.28 cores=0,2,4,6
/proc/30794/task/30797/stat : 30797 (SArTagnan) R 30792 30794 30624 0 -1 4202560 36085 0 0 0 118217 11 0 0 25 0 4 0 601141306 1966583808 371137 33554432000 4194304 4623224 140737480137792 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30794/tid=30798] ppid=30792 vsize=1920492 CPUtime=1175.01 cores=0,2,4,6
/proc/30794/task/30798/stat : 30798 (SArTagnan) R 30792 30794 30624 0 -1 4202560 5278456 0 0 0 116670 831 0 0 25 0 4 0 601141306 1966583808 371137 33554432000 4194304 4623224 140737480137792 18446744073709551615 4550465 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4721.83
Current children cumulated vsize (KiB) 1920492



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.9 s]
/proc/loadavg: 8.16 8.13 8.03 5/179 30834
/proc/meminfo: memFree=23189820/32950940 swapFree=67111364/67111528
[pid=30794] ppid=30792 vsize=1920492 CPUtime=4800.13 cores=0,2,4,6
/proc/30794/stat : 30794 (SArTagnan) R 30792 30794 30624 0 -1 4202496 6189918 0 0 0 479021 992 0 0 25 0 4 0 601141303 1966583808 373114 33554432000 4194304 4623224 140737480137792 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30794/statm: 480123 373114 344 105 0 475627 0
[pid=30794/tid=30796] ppid=30792 vsize=1920492 CPUtime=1201.89 cores=0,2,4,6
/proc/30794/task/30796/stat : 30796 (SArTagnan) R 30792 30794 30624 0 -1 4202560 109211 0 0 0 120166 23 0 0 25 0 4 0 601141306 1966583808 373114 33554432000 4194304 4623224 140737480137792 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30794/tid=30797] ppid=30792 vsize=1920492 CPUtime=1201.89 cores=0,2,4,6
/proc/30794/task/30797/stat : 30797 (SArTagnan) R 30792 30794 30624 0 -1 4202560 36088 0 0 0 120178 11 0 0 25 0 4 0 601141306 1966583808 373114 33554432000 4194304 4623224 140737480137792 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30794/tid=30798] ppid=30792 vsize=1920492 CPUtime=1194.5 cores=0,2,4,6
/proc/30794/task/30798/stat : 30798 (SArTagnan) R 30792 30794 30624 0 -1 4202560 5398911 0 0 0 118599 851 0 0 25 0 4 0 601141306 1966583808 373114 33554432000 4194304 4623224 140737480137792 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.13
Current children cumulated vsize (KiB) 1920492

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

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

[startup+1201.9 s]
/proc/loadavg: 8.16 8.13 8.03 5/179 30834
/proc/meminfo: memFree=23189820/32950940 swapFree=67111364/67111528
[pid=30794] ppid=30792 vsize=1920492 CPUtime=4800.13 cores=0,2,4,6
/proc/30794/stat : 30794 (SArTagnan) R 30792 30794 30624 0 -1 4202496 6189918 0 0 0 479021 992 0 0 25 0 4 0 601141303 1966583808 373114 33554432000 4194304 4623224 140737480137792 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30794/statm: 480123 373114 344 105 0 475627 0
[pid=30794/tid=30796] ppid=30792 vsize=1920492 CPUtime=1201.89 cores=0,2,4,6
/proc/30794/task/30796/stat : 30796 (SArTagnan) R 30792 30794 30624 0 -1 4202560 109211 0 0 0 120166 23 0 0 25 0 4 0 601141306 1966583808 373114 33554432000 4194304 4623224 140737480137792 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30794/tid=30797] ppid=30792 vsize=1920492 CPUtime=1201.89 cores=0,2,4,6
/proc/30794/task/30797/stat : 30797 (SArTagnan) R 30792 30794 30624 0 -1 4202560 36088 0 0 0 120178 11 0 0 25 0 4 0 601141306 1966583808 373114 33554432000 4194304 4623224 140737480137792 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30794/tid=30798] ppid=30792 vsize=1920492 CPUtime=1194.5 cores=0,2,4,6
/proc/30794/task/30798/stat : 30798 (SArTagnan) R 30792 30794 30624 0 -1 4202560 5398911 0 0 0 118599 851 0 0 25 0 4 0 601141306 1966583808 373114 33554432000 4194304 4623224 140737480137792 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.13
Current children cumulated vsize (KiB) 1920492

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.99
CPU time (s): 4800.24
CPU user time (s): 4790.23
CPU system time (s): 10.0035
CPU usage (%): 399.358
Max. virtual memory (cumulated for all children) (KiB): 2116284

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4790.23
system time used= 10.0035
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6189922
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= 2669
involuntary context switches= 19743

runsolver used 1.84672 second user time and 4.6273 second system time

The end

Launcher Data 

Begin job on node117 at 2011-04-29 22:31:45
IDJOB=3265700
IDBENCH=85799
IDSOLVER=1656
FILE ID=node117/3265700-1304109105
RUNJOBID= node117-1304109104-30741
PBS_JOBID= 13170668
Free space on /tmp= 71680 MiB

SOLVER NAME= SArTagnan 2011-03-24
BENCH NAME= SAT05/crafted/sorge05/QG7a/gensys-icl005.shuffled-as.sat05-3826.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3265700-1304109105/watcher-3265700-1304109105 -o /tmp/evaluation-result-3265700-1304109105/solver-3265700-1304109105 -C 4800 -W 1300 -M 15500  SArTagnan HOME/instance-3265700-1304109105.cnf -threads=4

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

MD5SUM BENCH= 5d8489e52ec1ef9c7431a7fd60f9ff86
RANDOM SEED=1078100825

node117.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.849
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.849
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	: 5332.75
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.849
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.849
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.849
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.849
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.849
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.849
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	: 5267.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950940 kB
MemFree:      24655712 kB
Buffers:       1861804 kB
Cached:        5778896 kB
SwapCached:        160 kB
Active:         633716 kB
Inactive:      7100856 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950940 kB
LowFree:      24655712 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:            2496 kB
Writeback:           0 kB
AnonPages:       93376 kB
Mapped:          15268 kB
Slab:           496164 kB
PageTables:       4304 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586996 kB
Committed_AS:   271388 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= 71680 MiB
End job on node117 at 2011-04-29 22:51:49