Trace number 3386269

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-05-15 (fixed)? (TO) 4354.59 1300.06

General information on the benchmark

NameSAT-Race-2010-CNF/cryptography/
mizh/md5_48_3.cnf
MD5SUM62c39589a569c5d989e4ecd1f5fe22d9
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark27.7318
Satisfiable
(Un)Satisfiability was proved
Number of variables66892
Number of clauses279258
Sum of the clauses size832652
Maximum clause length4
Minimum clause length1
Number of clauses of size 1201
Number of clauses of size 2120498
Number of clauses of size 342781
Number of clauses of size 4115778
Number of clauses of size 50
Number of clauses of size over 50

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: 961)

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-3386269-1305583450/watcher-3386269-1305583450 -o /tmp/evaluation-result-3386269-1305583450/solver-3386269-1305583450 -C 4800 -W 1300 -M 15500 SArTagnan HOME/instance-3386269-1305583450.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: 10.06 10.02 8.14 8/278 29265
/proc/meminfo: memFree=20872116/32951124 swapFree=61559568/67111528
[pid=29265] ppid=29263 vsize=31136 CPUtime=0 cores=0,2,4,6
/proc/29265/stat : 29265 (SArTagnan) R 29263 29265 29085 0 -1 4202496 1823 0 0 0 0 0 0 0 25 0 1 0 669945754 31883264 1752 33554432000 4194304 4625164 140735918712928 18446744073709551615 4339447 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/29265/statm: 7784 1752 299 106 0 3287 0

[startup+0.096468 s]
/proc/loadavg: 10.06 10.02 8.14 8/278 29265
/proc/meminfo: memFree=20872116/32951124 swapFree=61559568/67111528
[pid=29265] ppid=29263 vsize=40540 CPUtime=0.08 cores=0,2,4,6
/proc/29265/stat : 29265 (SArTagnan) R 29263 29265 29085 0 -1 4202496 6489 0 0 0 8 0 0 0 25 0 1 0 669945754 41512960 4308 33554432000 4194304 4625164 140735918712928 18446744073709551615 222921776896 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/29265/statm: 10135 4308 299 106 0 5638 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 40540

[startup+0.100468 s]
/proc/loadavg: 10.06 10.02 8.14 8/278 29265
/proc/meminfo: memFree=20872116/32951124 swapFree=61559568/67111528
[pid=29265] ppid=29263 vsize=43484 CPUtime=0.08 cores=0,2,4,6
/proc/29265/stat : 29265 (SArTagnan) R 29263 29265 29085 0 -1 4202496 6811 0 0 0 8 0 0 0 25 0 1 0 669945754 44527616 4631 33554432000 4194304 4625164 140735918712928 18446744073709551615 222921474517 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/29265/statm: 10871 4648 299 106 0 6374 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 43484

[startup+0.300399 s]
/proc/loadavg: 10.06 10.02 8.14 8/278 29265
/proc/meminfo: memFree=20872116/32951124 swapFree=61559568/67111528
[pid=29265] ppid=29263 vsize=260560 CPUtime=0.43 cores=0,2,4,6
/proc/29265/stat : 29265 (SArTagnan) R 29263 29265 29085 0 -1 4202496 22599 0 0 0 40 3 0 0 25 0 4 0 669945754 266813440 17646 33554432000 4194304 4625164 140735918712928 18446744073709551615 4327700 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/29265/statm: 65140 17647 336 106 0 60643 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 260560

[startup+0.700328 s]
/proc/loadavg: 10.06 10.02 8.14 8/278 29265
/proc/meminfo: memFree=20872116/32951124 swapFree=61559568/67111528
[pid=29265] ppid=29263 vsize=264632 CPUtime=1.33 cores=0,2,4,6
/proc/29265/stat : 29265 (SArTagnan) R 29263 29265 29085 0 -1 4202496 27483 0 0 0 130 3 0 0 25 0 4 0 669945754 270983168 19487 33554432000 4194304 4625164 140735918712928 18446744073709551615 222921433095 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29265/statm: 66158 19487 336 106 0 61661 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 264632

[startup+1.50118 s]
/proc/loadavg: 10.06 10.02 8.14 11/282 29269
/proc/meminfo: memFree=20793344/32951124 swapFree=61559568/67111528
[pid=29265] ppid=29263 vsize=264632 CPUtime=3.57 cores=0,2,4,6
/proc/29265/stat : 29265 (SArTagnan) R 29263 29265 29085 0 -1 4202496 33088 0 0 0 353 4 0 0 25 0 4 0 669945754 270983168 19895 33554432000 4194304 4625164 140735918712928 18446744073709551615 4511982 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29265/statm: 66158 19895 342 106 0 61661 0
[pid=29265/tid=29267] ppid=29263 vsize=264632 CPUtime=0.71 cores=0,2,4,6
/proc/29265/task/29267/stat : 29267 (SArTagnan) R 29263 29265 29085 0 -1 4202560 2486 0 0 0 71 0 0 0 25 0 4 0 669945770 270983168 19895 33554432000 4194304 4625164 140735918712928 18446744073709551615 4334728 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29265/tid=29268] ppid=29263 vsize=264632 CPUtime=1.25 cores=0,2,4,6
/proc/29265/task/29268/stat : 29268 (SArTagnan) R 29263 29265 29085 0 -1 4202560 2226 0 0 0 125 0 0 0 25 0 4 0 669945770 270983168 19895 33554432000 4194304 4625164 140735918712928 18446744073709551615 4351731 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29265/tid=29269] ppid=29263 vsize=264632 CPUtime=0.84 cores=0,2,4,6
/proc/29265/task/29269/stat : 29269 (SArTagnan) R 29263 29265 29085 0 -1 4202560 8048 0 0 0 83 1 0 0 25 0 4 0 669945770 270983168 19895 33554432000 4194304 4625164 140735918712928 18446744073709551615 4288731 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.57
Current children cumulated vsize (KiB) 264632

[startup+3.10089 s]
/proc/loadavg: 10.06 10.02 8.14 11/282 29269
/proc/meminfo: memFree=20788260/32951124 swapFree=61559568/67111528
[pid=29265] ppid=29263 vsize=434008 CPUtime=8.35 cores=0,2,4,6
/proc/29265/stat : 29265 (SArTagnan) R 29263 29265 29085 0 -1 4202496 111082 0 0 0 820 15 0 0 25 0 4 0 669945754 444424192 52929 33554432000 4194304 4625164 140735918712928 18446744073709551615 4280704 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/29265/statm: 108502 52938 345 106 0 104005 0
[pid=29265/tid=29267] ppid=29263 vsize=434008 CPUtime=2 cores=0,2,4,6
/proc/29265/task/29267/stat : 29267 (SArTagnan) D 29263 29265 29085 0 -1 4202560 16947 0 0 0 198 2 0 0 18 0 4 0 669945770 444424192 52938 33554432000 4194304 4625164 140735918712928 18446744073709551615 222921820343 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29265/tid=29268] ppid=29263 vsize=434008 CPUtime=2.8 cores=0,2,4,6
/proc/29265/task/29268/stat : 29268 (SArTagnan) R 29263 29265 29085 0 -1 4202560 16871 0 0 0 279 1 0 0 25 0 4 0 669945770 444424192 52938 33554432000 4194304 4625164 140735918712928 18446744073709551615 4339447 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29265/tid=29269] ppid=29263 vsize=434008 CPUtime=1.72 cores=0,2,4,6
/proc/29265/task/29269/stat : 29269 (SArTagnan) D 29263 29265 29085 0 -1 4202560 17463 0 0 0 170 2 0 0 25 0 4 0 669945770 444424192 52938 33554432000 4194304 4625164 140735918712928 18446744073709551615 222921474416 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 8.35
Current children cumulated vsize (KiB) 434008

[startup+6.3003 s]
/proc/loadavg: 10.05 10.02 8.15 11/282 29269
/proc/meminfo: memFree=20608020/32951124 swapFree=61559568/67111528
[pid=29265] ppid=29263 vsize=497164 CPUtime=17.92 cores=0,2,4,6
/proc/29265/stat : 29265 (SArTagnan) R 29263 29265 29085 0 -1 4202496 139479 0 0 0 1773 19 0 0 25 0 4 0 669945754 509095936 65775 33554432000 4194304 4625164 140735918712928 18446744073709551615 222921433243 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29265/statm: 124291 65775 347 106 0 119794 0
[pid=29265/tid=29267] ppid=29263 vsize=497164 CPUtime=3.92 cores=0,2,4,6
/proc/29265/task/29267/stat : 29267 (SArTagnan) R 29263 29265 29085 0 -1 4202560 22820 0 0 0 389 3 0 0 21 0 4 0 669945770 509095936 65775 33554432000 4194304 4625164 140735918712928 18446744073709551615 4351814 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29265/tid=29268] ppid=29263 vsize=497164 CPUtime=5.97 cores=0,2,4,6
/proc/29265/task/29268/stat : 29268 (SArTagnan) R 29263 29265 29085 0 -1 4202560 22500 0 0 0 596 1 0 0 25 0 4 0 669945770 509095936 65775 33554432000 4194304 4625164 140735918712928 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29265/tid=29269] ppid=29263 vsize=497164 CPUtime=3 cores=0,2,4,6
/proc/29265/task/29269/stat : 29269 (SArTagnan) R 29263 29265 29085 0 -1 4202560 26625 0 0 0 297 3 0 0 25 0 4 0 669945770 509095936 65775 33554432000 4194304 4625164 140735918712928 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 17.92
Current children cumulated vsize (KiB) 497164

[startup+12.7011 s]
/proc/loadavg: 10.05 10.02 8.16 11/282 29269
/proc/meminfo: memFree=20598704/32951124 swapFree=61559568/67111528
[pid=29265] ppid=29263 vsize=497164 CPUtime=37.06 cores=0,2,4,6
/proc/29265/stat : 29265 (SArTagnan) R 29263 29265 29085 0 -1 4202496 159389 0 0 0 3685 21 0 0 25 0 4 0 669945754 509095936 67427 33554432000 4194304 4625164 140735918712928 18446744073709551615 4512156 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29265/statm: 124291 67427 347 106 0 119794 0
[pid=29265/tid=29267] ppid=29263 vsize=497164 CPUtime=7.16 cores=0,2,4,6
/proc/29265/task/29267/stat : 29267 (SArTagnan) R 29263 29265 29085 0 -1 4202560 22885 0 0 0 713 3 0 0 25 0 4 0 669945770 509095936 67427 33554432000 4194304 4625164 140735918712928 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29265/tid=29268] ppid=29263 vsize=497164 CPUtime=12.32 cores=0,2,4,6
/proc/29265/task/29268/stat : 29268 (SArTagnan) R 29263 29265 29085 0 -1 4202560 22757 0 0 0 1231 1 0 0 25 0 4 0 669945770 509095936 67427 33554432000 4194304 4625164 140735918712928 18446744073709551615 4288686 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29265/tid=29269] ppid=29263 vsize=497164 CPUtime=8.8 cores=0,2,4,6
/proc/29265/task/29269/stat : 29269 (SArTagnan) R 29263 29265 29085 0 -1 4202560 45802 0 0 0 875 5 0 0 25 0 4 0 669945770 509095936 67427 33554432000 4194304 4625164 140735918712928 18446744073709551615 4557107 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 37.06
Current children cumulated vsize (KiB) 497164

[startup+25.5008 s]
/proc/loadavg: 10.12 10.03 8.20 11/282 29269
/proc/meminfo: memFree=20580492/32951124 swapFree=61559568/67111528
[pid=29265] ppid=29263 vsize=497164 CPUtime=75.35 cores=0,2,4,6
/proc/29265/stat : 29265 (SArTagnan) R 29263 29265 29085 0 -1 4202496 276026 0 0 0 7497 38 0 0 25 0 4 0 669945754 509095936 70542 33554432000 4194304 4625164 140735918712928 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29265/statm: 124291 70542 347 106 0 119794 0
[pid=29265/tid=29267] ppid=29263 vsize=497164 CPUtime=13.39 cores=0,2,4,6
/proc/29265/task/29267/stat : 29267 (SArTagnan) R 29263 29265 29085 0 -1 4202560 23412 0 0 0 1336 3 0 0 25 0 4 0 669945770 509095936 70542 33554432000 4194304 4625164 140735918712928 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29265/tid=29268] ppid=29263 vsize=497164 CPUtime=23.2 cores=0,2,4,6
/proc/29265/task/29268/stat : 29268 (SArTagnan) R 29263 29265 29085 0 -1 4202560 23347 0 0 0 2318 2 0 0 25 0 4 0 669945770 509095936 70542 33554432000 4194304 4625164 140735918712928 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29265/tid=29269] ppid=29263 vsize=497164 CPUtime=21.6 cores=0,2,4,6
/proc/29265/task/29269/stat : 29269 (SArTagnan) R 29263 29265 29085 0 -1 4202560 161062 0 0 0 2139 21 0 0 25 0 4 0 669945770 509095936 70542 33554432000 4194304 4625164 140735918712928 18446744073709551615 4547280 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 75.35
Current children cumulated vsize (KiB) 497164

[startup+51.1011 s]
/proc/loadavg: 10.14 10.04 8.25 11/282 29270
/proc/meminfo: memFree=20557040/32951124 swapFree=61559568/67111528
[pid=29265] ppid=29263 vsize=497164 CPUtime=151.94 cores=0,2,4,6
/proc/29265/stat : 29265 (SArTagnan) R 29263 29265 29085 0 -1 4202496 407223 0 0 0 15138 56 0 0 25 0 4 0 669945754 509095936 74956 33554432000 4194304 4625164 140735918712928 18446744073709551615 4364911 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29265/statm: 124291 74956 347 106 0 119794 0
[pid=29265/tid=29267] ppid=29263 vsize=497164 CPUtime=26.06 cores=0,2,4,6
/proc/29265/task/29267/stat : 29267 (SArTagnan) R 29263 29265 29085 0 -1 4202560 23771 0 0 0 2603 3 0 0 25 0 4 0 669945770 509095936 74956 33554432000 4194304 4625164 140735918712928 18446744073709551615 222921437181 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29265/tid=29268] ppid=29263 vsize=497164 CPUtime=42.22 cores=0,2,4,6
/proc/29265/task/29268/stat : 29268 (SArTagnan) R 29263 29265 29085 0 -1 4202560 23766 0 0 0 4220 2 0 0 25 0 4 0 669945770 509095936 74956 33554432000 4194304 4625164 140735918712928 18446744073709551615 222921882094 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29265/tid=29269] ppid=29263 vsize=497164 CPUtime=47.2 cores=0,2,4,6
/proc/29265/task/29269/stat : 29269 (SArTagnan) R 29263 29265 29085 0 -1 4202560 291480 0 0 0 4681 39 0 0 25 0 4 0 669945770 509095936 74956 33554432000 4194304 4625164 140735918712928 18446744073709551615 4334603 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 151.94
Current children cumulated vsize (KiB) 497164

[startup+102.311 s]
/proc/loadavg: 9.79 9.98 8.32 11/282 29302
/proc/meminfo: memFree=21507816/32951124 swapFree=61559568/67111528
[pid=29265] ppid=29263 vsize=506540 CPUtime=307.53 cores=0,2,4,6
/proc/29265/stat : 29265 (SArTagnan) R 29263 29265 29085 0 -1 4202496 588312 0 0 0 30672 81 0 0 25 0 4 0 669945754 518696960 77720 33554432000 4194304 4625164 140735918712928 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29265/statm: 126635 77720 347 106 0 122138 0
[pid=29265/tid=29267] ppid=29263 vsize=506540 CPUtime=53.68 cores=0,2,4,6
/proc/29265/task/29267/stat : 29267 (SArTagnan) R 29263 29265 29085 0 -1 4202560 24244 0 0 0 5364 4 0 0 25 0 4 0 669945770 518696960 77720 33554432000 4194304 4625164 140735918712928 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29265/tid=29268] ppid=29263 vsize=506540 CPUtime=79.48 cores=0,2,4,6
/proc/29265/task/29268/stat : 29268 (SArTagnan) R 29263 29265 29085 0 -1 4202560 24339 0 0 0 7946 2 0 0 25 0 4 0 669945770 518696960 77720 33554432000 4194304 4625164 140735918712928 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29265/tid=29269] ppid=29263 vsize=506540 CPUtime=98.41 cores=0,2,4,6
/proc/29265/task/29269/stat : 29269 (SArTagnan) R 29263 29265 29085 0 -1 4202560 471250 0 0 0 9777 64 0 0 25 0 4 0 669945770 518696960 77720 33554432000 4194304 4625164 140735918712928 18446744073709551615 4335165 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 307.53
Current children cumulated vsize (KiB) 506540

[startup+162.301 s]
/proc/loadavg: 10.01 10.01 8.43 11/282 29304
/proc/meminfo: memFree=21259640/32951124 swapFree=61559568/67111528
[pid=29265] ppid=29263 vsize=520600 CPUtime=495.03 cores=0,2,4,6
/proc/29265/stat : 29265 (SArTagnan) R 29263 29265 29085 0 -1 4202496 833062 0 0 0 49387 116 0 0 25 0 4 0 669945754 533094400 84487 33554432000 4194304 4625164 140735918712928 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29265/statm: 130150 84487 347 106 0 125653 0
[pid=29265/tid=29267] ppid=29263 vsize=520600 CPUtime=91.33 cores=0,2,4,6
/proc/29265/task/29267/stat : 29267 (SArTagnan) R 29263 29265 29085 0 -1 4202560 24987 0 0 0 9129 4 0 0 25 0 4 0 669945770 533094400 84487 33554432000 4194304 4625164 140735918712928 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29265/tid=29268] ppid=29263 vsize=520600 CPUtime=118.88 cores=0,2,4,6
/proc/29265/task/29268/stat : 29268 (SArTagnan) R 29263 29265 29085 0 -1 4202560 32179 0 0 0 11885 3 0 0 25 0 4 0 669945770 533094400 84487 33554432000 4194304 4625164 140735918712928 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29265/tid=29269] ppid=29263 vsize=520600 CPUtime=153.06 cores=0,2,4,6
/proc/29265/task/29269/stat : 29269 (SArTagnan) R 29263 29265 29085 0 -1 4202560 706634 0 0 0 15210 96 0 0 25 0 4 0 669945770 533094400 84487 33554432000 4194304 4625164 140735918712928 18446744073709551615 4547257 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 495.03
Current children cumulated vsize (KiB) 520600

[startup+222.301 s]
/proc/loadavg: 10.00 10.01 8.53 11/282 29305
/proc/meminfo: memFree=21134724/32951124 swapFree=61559568/67111528
[pid=29265] ppid=29263 vsize=600200 CPUtime=675.02 cores=0,2,4,6
/proc/29265/stat : 29265 (SArTagnan) R 29263 29265 29085 0 -1 4202496 1063534 0 0 0 67355 147 0 0 25 0 4 0 669945754 614604800 90299 33554432000 4194304 4625164 140735918712928 18446744073709551615 4364563 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29265/statm: 150050 90299 347 106 0 145553 0
[pid=29265/tid=29267] ppid=29263 vsize=600200 CPUtime=127.7 cores=0,2,4,6
/proc/29265/task/29267/stat : 29267 (SArTagnan) R 29263 29265 29085 0 -1 4202560 32718 0 0 0 12765 5 0 0 25 0 4 0 669945770 614604800 90299 33554432000 4194304 4625164 140735918712928 18446744073709551615 4335104 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29265/tid=29268] ppid=29263 vsize=600200 CPUtime=161.08 cores=0,2,4,6
/proc/29265/task/29268/stat : 29268 (SArTagnan) R 29263 29265 29085 0 -1 4202560 32947 0 0 0 16104 4 0 0 25 0 4 0 669945770 614604800 90299 33554432000 4194304 4625164 140735918712928 18446744073709551615 4469027 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29265/tid=29269] ppid=29263 vsize=600200 CPUtime=202.5 cores=0,2,4,6
/proc/29265/task/29269/stat : 29269 (SArTagnan) R 29263 29265 29085 0 -1 4202560 928052 0 0 0 20125 125 0 0 25 0 4 0 669945770 614604800 90299 33554432000 4194304 4625164 140735918712928 18446744073709551615 222921444299 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 675.02
Current children cumulated vsize (KiB) 600200

[startup+282.301 s]

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

[pid=29265] ppid=29263 vsize=891756 CPUtime=2115.03 cores=0,2,4,6
/proc/29265/stat : 29265 (SArTagnan) R 29263 29265 29085 0 -1 4202496 3111660 0 0 0 211054 449 0 0 25 0 4 0 669945754 913158144 164173 33554432000 4194304 4625164 140735918712928 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29265/statm: 222939 164173 347 106 0 218442 0
[pid=29265/tid=29267] ppid=29263 vsize=891756 CPUtime=464.92 cores=0,2,4,6
/proc/29265/task/29267/stat : 29267 (SArTagnan) R 29263 29265 29085 0 -1 4202560 51065 0 0 0 46482 10 0 0 25 0 4 0 669945770 913158144 164173 33554432000 4194304 4625164 140735918712928 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29265/tid=29268] ppid=29263 vsize=891756 CPUtime=551.91 cores=0,2,4,6
/proc/29265/task/29268/stat : 29268 (SArTagnan) R 29263 29265 29085 0 -1 4202560 59240 0 0 0 55180 11 0 0 25 0 4 0 669945770 913158144 164173 33554432000 4194304 4625164 140735918712928 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29265/tid=29269] ppid=29263 vsize=891756 CPUtime=569 cores=0,2,4,6
/proc/29265/task/29269/stat : 29269 (SArTagnan) R 29263 29265 29085 0 -1 4202560 2901538 0 0 0 56490 410 0 0 25 0 4 0 669945770 913158144 164173 33554432000 4194304 4625164 140735918712928 18446744073709551615 4334517 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2115.03
Current children cumulated vsize (KiB) 891756

[startup+762.31 s]
/proc/loadavg: 10.14 10.12 9.23 11/282 29320
/proc/meminfo: memFree=19867292/32951124 swapFree=61559568/67111528
[pid=29265] ppid=29263 vsize=895452 CPUtime=2295.06 cores=0,2,4,6
/proc/29265/stat : 29265 (SArTagnan) R 29263 29265 29085 0 -1 4202496 3300174 0 0 0 229029 477 0 0 25 0 4 0 669945754 916942848 167088 33554432000 4194304 4625164 140735918712928 18446744073709551615 4337104 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29265/statm: 223863 167088 347 106 0 219366 0
[pid=29265/tid=29267] ppid=29263 vsize=895452 CPUtime=515.33 cores=0,2,4,6
/proc/29265/task/29267/stat : 29267 (SArTagnan) R 29263 29265 29085 0 -1 4202560 51623 0 0 0 51523 10 0 0 25 0 4 0 669945770 916942848 167088 33554432000 4194304 4625164 140735918712928 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29265/tid=29268] ppid=29263 vsize=895452 CPUtime=596.53 cores=0,2,4,6
/proc/29265/task/29268/stat : 29268 (SArTagnan) R 29263 29265 29085 0 -1 4202560 60611 0 0 0 59641 12 0 0 25 0 4 0 669945770 916942848 167088 33554432000 4194304 4625164 140735918712928 18446744073709551615 222921435398 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29265/tid=29269] ppid=29263 vsize=895452 CPUtime=599.7 cores=0,2,4,6
/proc/29265/task/29269/stat : 29269 (SArTagnan) R 29263 29265 29085 0 -1 4202560 3087555 0 0 0 59534 436 0 0 25 0 4 0 669945770 916942848 167088 33554432000 4194304 4625164 140735918712928 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2295.06
Current children cumulated vsize (KiB) 895452

[startup+822.301 s]
/proc/loadavg: 10.11 10.11 9.28 11/282 29321
/proc/meminfo: memFree=19792740/32951124 swapFree=61559568/67111528
[pid=29265] ppid=29263 vsize=963228 CPUtime=2475.03 cores=0,2,4,6
/proc/29265/stat : 29265 (SArTagnan) R 29263 29265 29085 0 -1 4202496 3737596 0 0 0 246966 537 0 0 25 0 4 0 669945754 986345472 172356 33554432000 4194304 4625164 140735918712928 18446744073709551615 4512156 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29265/statm: 240807 172356 347 106 0 236310 0
[pid=29265/tid=29267] ppid=29263 vsize=963228 CPUtime=567.11 cores=0,2,4,6
/proc/29265/task/29267/stat : 29267 (SArTagnan) R 29263 29265 29085 0 -1 4202560 53262 0 0 0 56700 11 0 0 25 0 4 0 669945770 986345472 172357 33554432000 4194304 4625164 140735918712928 18446744073709551615 222921444354 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29265/tid=29268] ppid=29263 vsize=963228 CPUtime=631.7 cores=0,2,4,6
/proc/29265/task/29268/stat : 29268 (SArTagnan) R 29263 29265 29085 0 -1 4202560 60933 0 0 0 63158 12 0 0 25 0 4 0 669945770 986345472 172357 33554432000 4194304 4625164 140735918712928 18446744073709551615 4288731 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29265/tid=29269] ppid=29263 vsize=963228 CPUtime=654.34 cores=0,2,4,6
/proc/29265/task/29269/stat : 29269 (SArTagnan) R 29263 29265 29085 0 -1 4202560 3522662 0 0 0 64938 496 0 0 25 0 4 0 669945770 986345472 172357 33554432000 4194304 4625164 140735918712928 18446744073709551615 4339447 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2475.03
Current children cumulated vsize (KiB) 963228

[startup+882.301 s]
/proc/loadavg: 8.27 9.65 9.17 7/273 29340
/proc/meminfo: memFree=21115768/32951124 swapFree=61559568/67111528
[pid=29265] ppid=29263 vsize=966972 CPUtime=2687.15 cores=0,2,4,6
/proc/29265/stat : 29265 (SArTagnan) R 29263 29265 29085 0 -1 4202496 4122597 0 0 0 268123 592 0 0 25 0 4 0 669945754 990179328 179915 33554432000 4194304 4625164 140735918712928 18446744073709551615 4339616 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29265/statm: 241743 179915 347 106 0 237246 0
[pid=29265/tid=29267] ppid=29263 vsize=966972 CPUtime=613.4 cores=0,2,4,6
/proc/29265/task/29267/stat : 29267 (SArTagnan) R 29263 29265 29085 0 -1 4202560 54113 0 0 0 61329 11 0 0 25 0 4 0 669945770 990179328 179915 33554432000 4194304 4625164 140735918712928 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29265/tid=29268] ppid=29263 vsize=966972 CPUtime=677.52 cores=0,2,4,6
/proc/29265/task/29268/stat : 29268 (SArTagnan) R 29263 29265 29085 0 -1 4202560 62781 0 0 0 67739 13 0 0 25 0 4 0 669945770 990179328 179915 33554432000 4194304 4625164 140735918712928 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29265/tid=29269] ppid=29263 vsize=966972 CPUtime=714.34 cores=0,2,4,6
/proc/29265/task/29269/stat : 29269 (SArTagnan) R 29263 29265 29085 0 -1 4202560 3904313 0 0 0 70884 550 0 0 25 0 4 0 669945770 990179328 179915 33554432000 4194304 4625164 140735918712928 18446744073709551615 4547280 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2687.15
Current children cumulated vsize (KiB) 966972

[startup+942.301 s]
/proc/loadavg: 6.88 9.00 8.98 7/273 29342
/proc/meminfo: memFree=21078024/32951124 swapFree=61559568/67111528
[pid=29265] ppid=29263 vsize=968876 CPUtime=2926.65 cores=0,2,4,6
/proc/29265/stat : 29265 (SArTagnan) R 29263 29265 29085 0 -1 4202496 4462031 0 0 0 292022 643 0 0 25 0 4 0 669945754 992129024 190514 33554432000 4194304 4625164 140735918712928 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29265/statm: 242219 190514 347 106 0 237722 0
[pid=29265/tid=29267] ppid=29263 vsize=968876 CPUtime=673.4 cores=0,2,4,6
/proc/29265/task/29267/stat : 29267 (SArTagnan) R 29263 29265 29085 0 -1 4202560 55730 0 0 0 67329 11 0 0 25 0 4 0 669945770 992129024 190514 33554432000 4194304 4625164 140735918712928 18446744073709551615 4351909 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29265/tid=29268] ppid=29263 vsize=968876 CPUtime=737.03 cores=0,2,4,6
/proc/29265/task/29268/stat : 29268 (SArTagnan) R 29263 29265 29085 0 -1 4202560 64064 0 0 0 73689 14 0 0 25 0 4 0 669945770 992129024 190514 33554432000 4194304 4625164 140735918712928 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29265/tid=29269] ppid=29263 vsize=968876 CPUtime=774.34 cores=0,2,4,6
/proc/29265/task/29269/stat : 29269 (SArTagnan) R 29263 29265 29085 0 -1 4202560 4240289 0 0 0 76835 599 0 0 25 0 4 0 669945770 992129024 190514 33554432000 4194304 4625164 140735918712928 18446744073709551615 4546731 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2926.65
Current children cumulated vsize (KiB) 968876

[startup+1002.3 s]
/proc/loadavg: 6.32 8.45 8.79 7/273 29343
/proc/meminfo: memFree=21035080/32951124 swapFree=61559568/67111528
[pid=29265] ppid=29263 vsize=968876 CPUtime=3166.14 cores=0,2,4,6
/proc/29265/stat : 29265 (SArTagnan) R 29263 29265 29085 0 -1 4202496 4878569 0 0 0 315905 709 0 0 25 0 4 0 669945754 992129024 199076 33554432000 4194304 4625164 140735918712928 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29265/statm: 242219 199076 347 106 0 237722 0
[pid=29265/tid=29267] ppid=29263 vsize=968876 CPUtime=733.39 cores=0,2,4,6
/proc/29265/task/29267/stat : 29267 (SArTagnan) R 29263 29265 29085 0 -1 4202560 57386 0 0 0 73327 12 0 0 25 0 4 0 669945770 992129024 199076 33554432000 4194304 4625164 140735918712928 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29265/tid=29268] ppid=29263 vsize=968876 CPUtime=796.51 cores=0,2,4,6
/proc/29265/task/29268/stat : 29268 (SArTagnan) R 29263 29265 29085 0 -1 4202560 64763 0 0 0 79637 14 0 0 25 0 4 0 669945770 992129024 199076 33554432000 4194304 4625164 140735918712928 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29265/tid=29269] ppid=29263 vsize=968876 CPUtime=834.34 cores=0,2,4,6
/proc/29265/task/29269/stat : 29269 (SArTagnan) R 29263 29265 29085 0 -1 4202560 4653593 0 0 0 82770 664 0 0 25 0 4 0 669945770 992129024 199076 33554432000 4194304 4625164 140735918712928 18446744073709551615 4334466 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3166.14
Current children cumulated vsize (KiB) 968876

[startup+1062.3 s]
/proc/loadavg: 6.16 8.01 8.61 7/273 29345
/proc/meminfo: memFree=20995004/32951124 swapFree=61559568/67111528
[pid=29265] ppid=29263 vsize=1009800 CPUtime=3405.65 cores=0,2,4,6
/proc/29265/stat : 29265 (SArTagnan) R 29263 29265 29085 0 -1 4202496 5289797 0 0 0 339795 770 0 0 25 0 4 0 669945754 1034035200 211454 33554432000 4194304 4625164 140735918712928 18446744073709551615 4390435 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29265/statm: 252450 211454 347 106 0 247953 0
[pid=29265/tid=29267] ppid=29263 vsize=1009800 CPUtime=793.4 cores=0,2,4,6
/proc/29265/task/29267/stat : 29267 (SArTagnan) R 29263 29265 29085 0 -1 4202560 75041 0 0 0 79326 14 0 0 25 0 4 0 669945770 1034035200 211454 33554432000 4194304 4625164 140735918712928 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29265/tid=29268] ppid=29263 vsize=1009800 CPUtime=856.01 cores=0,2,4,6
/proc/29265/task/29268/stat : 29268 (SArTagnan) R 29263 29265 29085 0 -1 4202560 65762 0 0 0 85587 14 0 0 25 0 4 0 669945770 1034035200 211454 33554432000 4194304 4625164 140735918712928 18446744073709551615 4351930 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29265/tid=29269] ppid=29263 vsize=1009800 CPUtime=894.34 cores=0,2,4,6
/proc/29265/task/29269/stat : 29269 (SArTagnan) R 29263 29265 29085 0 -1 4202560 5045103 0 0 0 88712 722 0 0 25 0 4 0 669945770 1034035200 211454 33554432000 4194304 4625164 140735918712928 18446744073709551615 4334728 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3405.65
Current children cumulated vsize (KiB) 1009800

[startup+1122.3 s]
/proc/loadavg: 6.06 7.65 8.45 7/273 29346
/proc/meminfo: memFree=20962232/32951124 swapFree=61559568/67111528
[pid=29265] ppid=29263 vsize=1051864 CPUtime=3645.14 cores=0,2,4,6
/proc/29265/stat : 29265 (SArTagnan) R 29263 29265 29085 0 -1 4202496 5502009 0 0 0 363714 800 0 0 25 0 4 0 669945754 1077108736 219096 33554432000 4194304 4625164 140735918712928 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29265/statm: 262966 219096 347 106 0 258469 0
[pid=29265/tid=29267] ppid=29263 vsize=1051864 CPUtime=853.4 cores=0,2,4,6
/proc/29265/task/29267/stat : 29267 (SArTagnan) R 29263 29265 29085 0 -1 4202560 75466 0 0 0 85326 14 0 0 25 0 4 0 669945770 1077108736 219096 33554432000 4194304 4625164 140735918712928 18446744073709551615 4351804 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29265/tid=29268] ppid=29263 vsize=1051864 CPUtime=915.51 cores=0,2,4,6
/proc/29265/task/29268/stat : 29268 (SArTagnan) R 29263 29265 29085 0 -1 4202560 66252 0 0 0 91537 14 0 0 25 0 4 0 669945770 1077108736 219096 33554432000 4194304 4625164 140735918712928 18446744073709551615 4352021 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29265/tid=29269] ppid=29263 vsize=1051864 CPUtime=954.34 cores=0,2,4,6
/proc/29265/task/29269/stat : 29269 (SArTagnan) R 29263 29265 29085 0 -1 4202560 5239638 0 0 0 94683 751 0 0 25 0 4 0 669945770 1077108736 219096 33554432000 4194304 4625164 140735918712928 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3645.14
Current children cumulated vsize (KiB) 1051864

[startup+1182.3 s]
/proc/loadavg: 6.06 7.36 8.30 7/273 29348
/proc/meminfo: memFree=20923768/32951124 swapFree=61559568/67111528
[pid=29265] ppid=29263 vsize=1170764 CPUtime=3884.66 cores=0,2,4,6
/proc/29265/stat : 29265 (SArTagnan) R 29263 29265 29085 0 -1 4202496 5837489 0 0 0 387616 850 0 0 25 0 4 0 669945754 1198862336 228901 33554432000 4194304 4625164 140735918712928 18446744073709551615 4337104 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29265/statm: 292691 228901 347 106 0 288194 0
[pid=29265/tid=29267] ppid=29263 vsize=1170764 CPUtime=913.4 cores=0,2,4,6
/proc/29265/task/29267/stat : 29267 (SArTagnan) R 29263 29265 29085 0 -1 4202560 76315 0 0 0 91325 15 0 0 25 0 4 0 669945770 1198862336 228901 33554432000 4194304 4625164 140735918712928 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29265/tid=29268] ppid=29263 vsize=1170764 CPUtime=975.02 cores=0,2,4,6
/proc/29265/task/29268/stat : 29268 (SArTagnan) R 29263 29265 29085 0 -1 4202560 82595 0 0 0 97486 16 0 0 25 0 4 0 669945770 1198862336 228901 33554432000 4194304 4625164 140735918712928 18446744073709551615 4335165 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29265/tid=29269] ppid=29263 vsize=1170764 CPUtime=1014.35 cores=0,2,4,6
/proc/29265/task/29269/stat : 29269 (SArTagnan) R 29263 29265 29085 0 -1 4202560 5557244 0 0 0 100637 798 0 0 25 0 4 0 669945770 1198862336 228901 33554432000 4194304 4625164 140735918712928 18446744073709551615 4328204 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3884.66
Current children cumulated vsize (KiB) 1170764

[startup+1242.3 s]
/proc/loadavg: 6.02 7.11 8.15 7/273 29350
/proc/meminfo: memFree=20896320/32951124 swapFree=61559568/67111528
[pid=29265] ppid=29263 vsize=1241988 CPUtime=4124.16 cores=0,2,4,6
/proc/29265/stat : 29265 (SArTagnan) R 29263 29265 29085 0 -1 4202496 6106651 0 0 0 411528 888 0 0 25 0 4 0 669945754 1271795712 236104 33554432000 4194304 4625164 140735918712928 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29265/statm: 310497 236104 347 106 0 306000 0
[pid=29265/tid=29267] ppid=29263 vsize=1241988 CPUtime=973.39 cores=0,2,4,6
/proc/29265/task/29267/stat : 29267 (SArTagnan) R 29263 29265 29085 0 -1 4202560 76838 0 0 0 97324 15 0 0 25 0 4 0 669945770 1271795712 236104 33554432000 4194304 4625164 140735918712928 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29265/tid=29268] ppid=29263 vsize=1241988 CPUtime=1034.52 cores=0,2,4,6
/proc/29265/task/29268/stat : 29268 (SArTagnan) R 29263 29265 29085 0 -1 4202560 83109 0 0 0 103436 16 0 0 25 0 4 0 669945770 1271795712 236104 33554432000 4194304 4625164 140735918712928 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29265/tid=29269] ppid=29263 vsize=1241988 CPUtime=1074.34 cores=0,2,4,6
/proc/29265/task/29269/stat : 29269 (SArTagnan) R 29263 29265 29085 0 -1 4202560 5825156 0 0 0 106599 835 0 0 25 0 4 0 669945770 1271795712 236104 33554432000 4194304 4625164 140735918712928 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4124.16
Current children cumulated vsize (KiB) 1241988



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 6.04 6.92 8.02 7/273 29351
/proc/meminfo: memFree=20860596/32951124 swapFree=61559568/67111528
[pid=29265] ppid=29263 vsize=1248168 CPUtime=4354.51 cores=0,2,4,6
/proc/29265/stat : 29265 (SArTagnan) R 29263 29265 29085 0 -1 4202496 6448086 0 0 0 434515 936 0 0 25 0 4 0 669945754 1278124032 243703 33554432000 4194304 4625164 140735918712928 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29265/statm: 312042 243704 347 106 0 307545 0
[pid=29265/tid=29267] ppid=29263 vsize=1248168 CPUtime=1031.1 cores=0,2,4,6
/proc/29265/task/29267/stat : 29267 (SArTagnan) R 29263 29265 29085 0 -1 4202560 78218 0 0 0 103094 16 0 0 25 0 4 0 669945770 1278124032 243902 33554432000 4194304 4625164 140735918712928 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29265/tid=29268] ppid=29263 vsize=1248168 CPUtime=1091.75 cores=0,2,4,6
/proc/29265/task/29268/stat : 29268 (SArTagnan) R 29263 29265 29085 0 -1 4202560 83882 0 0 0 109158 17 0 0 25 0 4 0 669945770 1278124032 243916 33554432000 4194304 4625164 140735918712928 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29265/tid=29269] ppid=29263 vsize=1248168 CPUtime=1132.05 cores=0,2,4,6
/proc/29265/task/29269/stat : 29269 (SArTagnan) R 29263 29265 29085 0 -1 4202560 6163572 0 0 0 112324 881 0 0 25 0 4 0 669945770 1278124032 243929 33554432000 4194304 4625164 140735918712928 18446744073709551615 222921474507 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4354.51
Current children cumulated vsize (KiB) 1248168

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): 1300.06
CPU time (s): 4354.59
CPU user time (s): 4345.18
CPU system time (s): 9.40557
CPU usage (%): 334.953
Max. virtual memory (cumulated for all children) (KiB): 1313704

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4345.18
system time used= 9.40557
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6448428
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= 6215
involuntary context switches= 34120

runsolver used 3.18152 second user time and 7.54185 second system time

The end

Launcher Data 

Begin job on node109 at 2011-05-17 00:04:10
IDJOB=3386269
IDBENCH=88141
IDSOLVER=1871
FILE ID=node109/3386269-1305583450
RUNJOBID= node109-1305582132-29103
PBS_JOBID= 13350307
Free space on /tmp= 73168 MiB

SOLVER NAME= SArTagnan 2011-05-15 (fixed)
BENCH NAME= SAT-Race-2010-CNF/cryptography/mizh/md5_48_3.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3386269-1305583450/watcher-3386269-1305583450 -o /tmp/evaluation-result-3386269-1305583450/solver-3386269-1305583450 -C 4800 -W 1300 -M 15500  SArTagnan HOME/instance-3386269-1305583450.cnf -threads=4

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

MD5SUM BENCH= 62c39589a569c5d989e4ecd1f5fe22d9
RANDOM SEED=305163811

node109.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.809
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.61
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.809
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.809
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.809
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.809
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.82
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.809
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.75
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.809
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.82
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.809
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:     32951124 kB
MemFree:      20872388 kB
Buffers:        295316 kB
Cached:        2935316 kB
SwapCached:      28404 kB
Active:        3115980 kB
Inactive:      8724460 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      20872388 kB
SwapTotal:    67111528 kB
SwapFree:     61559568 kB
Dirty:            7656 kB
Writeback:           0 kB
AnonPages:     8587268 kB
Mapped:          21692 kB
Slab:           134340 kB
PageTables:      39804 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 32863588 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= 73168 MiB
End job on node109 at 2011-05-17 00:25:52