Trace number 3385882

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) 4617.42 1300.14

General information on the benchmark

Namecrafted/mosoi/289/
289-unsat-13x32.cnf
MD5SUM73c8ae5bbdfe41463e8e40ea211c5e14
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables1664
Number of clauses157664
Sum of the clauses size625664
Maximum clause length4
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 22496
Number of clauses of size 30
Number of clauses of size 4155168
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-3385882-1305581143/watcher-3385882-1305581143 -o /tmp/evaluation-result-3385882-1305581143/solver-3385882-1305581143 -C 4800 -W 1300 -M 15500 SArTagnan HOME/instance-3385882-1305581143.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.14 10.16 10.09 7/392 4265
/proc/meminfo: memFree=20439360/32951124 swapFree=49826708/67111528
[pid=4265] ppid=4263 vsize=23160 CPUtime=0 cores=0,2,4,6
/proc/4265/stat : 4265 (SArTagnan) R 4263 4265 3578 0 -1 4202496 714 0 0 0 0 0 0 0 25 0 1 0 669712247 23715840 653 33554432000 4194304 4625164 140736668454448 18446744073709551615 228122713856 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/4265/statm: 5790 655 296 106 0 1293 0

[startup+0.0764401 s]
/proc/loadavg: 10.14 10.16 10.09 7/392 4265
/proc/meminfo: memFree=20439360/32951124 swapFree=49826708/67111528
[pid=4265] ppid=4263 vsize=33168 CPUtime=0.06 cores=0,2,4,6
/proc/4265/stat : 4265 (SArTagnan) R 4263 4265 3578 0 -1 4202496 6740 0 0 0 6 0 0 0 25 0 1 0 669712247 33964032 3580 33554432000 4194304 4625164 140736668454448 18446744073709551615 228122713856 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/4265/statm: 8292 3583 296 106 0 3795 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 33168

[startup+0.100439 s]
/proc/loadavg: 10.14 10.16 10.09 7/392 4265
/proc/meminfo: memFree=20439360/32951124 swapFree=49826708/67111528
[pid=4265] ppid=4263 vsize=43064 CPUtime=0.09 cores=0,2,4,6
/proc/4265/stat : 4265 (SArTagnan) R 4263 4265 3578 0 -1 4202496 9909 0 0 0 8 1 0 0 25 0 1 0 669712247 44097536 5102 33554432000 4194304 4625164 140736668454448 18446744073709551615 228122411477 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/4265/statm: 10766 5120 298 106 0 6269 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 43064

[startup+0.30037 s]
/proc/loadavg: 10.14 10.16 10.09 7/392 4265
/proc/meminfo: memFree=20439360/32951124 swapFree=49826708/67111528
[pid=4265] ppid=4263 vsize=233580 CPUtime=0.47 cores=0,2,4,6
/proc/4265/stat : 4265 (SArTagnan) R 4263 4265 3578 0 -1 4202496 16441 0 0 0 45 2 0 0 25 0 4 0 669712247 239185920 11527 33554432000 4194304 4625164 140736668454448 18446744073709551615 4512156 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4265/statm: 58395 11527 336 106 0 53898 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 233580

[startup+0.700298 s]
/proc/loadavg: 10.14 10.16 10.09 7/392 4265
/proc/meminfo: memFree=20439360/32951124 swapFree=49826708/67111528
[pid=4265] ppid=4263 vsize=233580 CPUtime=1.27 cores=0,2,4,6
/proc/4265/stat : 4265 (SArTagnan) R 4263 4265 3578 0 -1 4202496 20316 0 0 0 125 2 0 0 25 0 4 0 669712247 239185920 13380 33554432000 4194304 4625164 140736668454448 18446744073709551615 4512032 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4265/statm: 58395 13380 338 106 0 53898 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 233580

[startup+1.50115 s]
/proc/loadavg: 10.12 10.16 10.09 12/396 4269
/proc/meminfo: memFree=20385148/32951124 swapFree=49826708/67111528
[pid=4265] ppid=4263 vsize=236068 CPUtime=2.86 cores=0,2,4,6
/proc/4265/stat : 4265 (SArTagnan) R 4263 4265 3578 0 -1 4202496 27685 0 0 0 283 3 0 0 25 0 4 0 669712247 241733632 14535 33554432000 4194304 4625164 140736668454448 18446744073709551615 4393263 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4265/statm: 59017 14535 339 106 0 54520 0
[pid=4265/tid=4267] ppid=4263 vsize=236068 CPUtime=0.68 cores=0,2,4,6
/proc/4265/task/4267/stat : 4267 (SArTagnan) R 4263 4265 3578 0 -1 4202560 1215 0 0 0 68 0 0 0 25 0 4 0 669712258 241733632 14535 33554432000 4194304 4625164 140736668454448 18446744073709551615 4352047 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4265/tid=4268] ppid=4263 vsize=236068 CPUtime=0.62 cores=0,2,4,6
/proc/4265/task/4268/stat : 4268 (SArTagnan) R 4263 4265 3578 0 -1 4202560 2491 0 0 0 62 0 0 0 25 0 4 0 669712258 241733632 14535 33554432000 4194304 4625164 140736668454448 18446744073709551615 4351987 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4265/tid=4269] ppid=4263 vsize=236068 CPUtime=0.7 cores=0,2,4,6
/proc/4265/task/4269/stat : 4269 (SArTagnan) R 4263 4265 3578 0 -1 4202560 10047 0 0 0 70 0 0 0 25 0 4 0 669712258 241733632 14535 33554432000 4194304 4625164 140736668454448 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.86
Current children cumulated vsize (KiB) 236068

[startup+3.10087 s]
/proc/loadavg: 10.12 10.16 10.09 11/396 4269
/proc/meminfo: memFree=20373720/32951124 swapFree=49826708/67111528
[pid=4265] ppid=4263 vsize=310720 CPUtime=6.34 cores=0,2,4,6
/proc/4265/stat : 4265 (SArTagnan) R 4263 4265 3578 0 -1 4202496 42847 0 0 0 629 5 0 0 25 0 4 0 669712247 318177280 18792 33554432000 4194304 4625164 140736668454448 18446744073709551615 4512039 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4265/statm: 77680 18792 339 106 0 73183 0
[pid=4265/tid=4267] ppid=4263 vsize=310720 CPUtime=1.44 cores=0,2,4,6
/proc/4265/task/4267/stat : 4267 (SArTagnan) R 4263 4265 3578 0 -1 4202560 3625 0 0 0 144 0 0 0 25 0 4 0 669712258 318177280 18794 33554432000 4194304 4625164 140736668454448 18446744073709551615 4352005 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4265/tid=4268] ppid=4263 vsize=310720 CPUtime=1.42 cores=0,2,4,6
/proc/4265/task/4268/stat : 4268 (SArTagnan) R 4263 4265 3578 0 -1 4202560 3990 0 0 0 142 0 0 0 25 0 4 0 669712258 318177280 18794 33554432000 4194304 4625164 140736668454448 18446744073709551615 4340391 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4265/tid=4269] ppid=4263 vsize=310720 CPUtime=1.47 cores=0,2,4,6
/proc/4265/task/4269/stat : 4269 (SArTagnan) R 4263 4265 3578 0 -1 4202560 21139 0 0 0 145 2 0 0 25 0 4 0 669712258 318177280 18794 33554432000 4194304 4625164 140736668454448 18446744073709551615 4334728 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 6.34
Current children cumulated vsize (KiB) 310720

[startup+6.30029 s]
/proc/loadavg: 10.12 10.16 10.09 11/396 4269
/proc/meminfo: memFree=20330436/32951124 swapFree=49826708/67111528
[pid=4265] ppid=4263 vsize=317976 CPUtime=15.88 cores=0,2,4,6
/proc/4265/stat : 4265 (SArTagnan) R 4263 4265 3578 0 -1 4202496 83637 0 0 0 1576 12 0 0 25 0 4 0 669712247 325607424 29151 33554432000 4194304 4625164 140736668454448 18446744073709551615 4528711 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4265/statm: 79494 29151 342 106 0 74997 0
[pid=4265/tid=4267] ppid=4263 vsize=317976 CPUtime=3.53 cores=0,2,4,6
/proc/4265/task/4267/stat : 4267 (SArTagnan) R 4263 4265 3578 0 -1 4202560 7547 0 0 0 351 2 0 0 20 0 4 0 669712258 325607424 29151 33554432000 4194304 4625164 140736668454448 18446744073709551615 4351811 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4265/tid=4268] ppid=4263 vsize=317976 CPUtime=3.42 cores=0,2,4,6
/proc/4265/task/4268/stat : 4268 (SArTagnan) R 4263 4265 3578 0 -1 4202560 7493 0 0 0 341 1 0 0 25 0 4 0 669712258 325607424 29151 33554432000 4194304 4625164 140736668454448 18446744073709551615 4288731 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4265/tid=4269] ppid=4263 vsize=317976 CPUtime=3.72 cores=0,2,4,6
/proc/4265/task/4269/stat : 4269 (SArTagnan) R 4263 4265 3578 0 -1 4202560 51511 0 0 0 367 5 0 0 25 0 4 0 669712258 325607424 29151 33554432000 4194304 4625164 140736668454448 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 15.88
Current children cumulated vsize (KiB) 317976

[startup+12.7011 s]
/proc/loadavg: 10.10 10.15 10.09 11/396 4269
/proc/meminfo: memFree=20238096/32951124 swapFree=49826708/67111528
[pid=4265] ppid=4263 vsize=365264 CPUtime=34.99 cores=0,2,4,6
/proc/4265/stat : 4265 (SArTagnan) R 4263 4265 3578 0 -1 4202496 143955 0 0 0 3477 22 0 0 25 0 4 0 669712247 374030336 47872 33554432000 4194304 4625164 140736668454448 18446744073709551615 4396555 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4265/statm: 91316 47872 348 106 0 86819 0
[pid=4265/tid=4267] ppid=4263 vsize=365264 CPUtime=7.28 cores=0,2,4,6
/proc/4265/task/4267/stat : 4267 (SArTagnan) R 4263 4265 3578 0 -1 4202560 9841 0 0 0 725 3 0 0 25 0 4 0 669712258 374030336 47872 33554432000 4194304 4625164 140736668454448 18446744073709551615 4352728 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4265/tid=4268] ppid=4263 vsize=365264 CPUtime=9.28 cores=0,2,4,6
/proc/4265/task/4268/stat : 4268 (SArTagnan) R 4263 4265 3578 0 -1 4202560 21515 0 0 0 925 3 0 0 25 0 4 0 669712258 374030336 47872 33554432000 4194304 4625164 140736668454448 18446744073709551615 228122374853 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4265/tid=4269] ppid=4263 vsize=365264 CPUtime=6.8 cores=0,2,4,6
/proc/4265/task/4269/stat : 4269 (SArTagnan) R 4263 4265 3578 0 -1 4202560 91172 0 0 0 670 10 0 0 25 0 4 0 669712258 374030336 47872 33554432000 4194304 4625164 140736668454448 18446744073709551615 4352010 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 34.99
Current children cumulated vsize (KiB) 365264

[startup+25.5008 s]
/proc/loadavg: 10.09 10.15 10.09 11/396 4269
/proc/meminfo: memFree=20119664/32951124 swapFree=49826708/67111528
[pid=4265] ppid=4263 vsize=484244 CPUtime=73.15 cores=0,2,4,6
/proc/4265/stat : 4265 (SArTagnan) R 4263 4265 3578 0 -1 4202496 246037 0 0 0 7277 38 0 0 25 0 4 0 669712247 495865856 73650 33554432000 4194304 4625164 140736668454448 18446744073709551615 4499119 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4265/statm: 121061 73650 348 106 0 116564 0
[pid=4265/tid=4267] ppid=4263 vsize=484244 CPUtime=15.12 cores=0,2,4,6
/proc/4265/task/4267/stat : 4267 (SArTagnan) R 4263 4265 3578 0 -1 4202560 17540 0 0 0 1506 6 0 0 25 0 4 0 669712258 495865856 73650 33554432000 4194304 4625164 140736668454448 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4265/tid=4268] ppid=4263 vsize=484244 CPUtime=20.31 cores=0,2,4,6
/proc/4265/task/4268/stat : 4268 (SArTagnan) R 4263 4265 3578 0 -1 4202560 36616 0 0 0 2024 7 0 0 20 0 4 0 669712258 495865856 73650 33554432000 4194304 4625164 140736668454448 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4265/tid=4269] ppid=4263 vsize=484244 CPUtime=13.32 cores=0,2,4,6
/proc/4265/task/4269/stat : 4269 (SArTagnan) R 4263 4265 3578 0 -1 4202560 166149 0 0 0 1312 20 0 0 25 0 4 0 669712258 495865856 73650 33554432000 4194304 4625164 140736668454448 18446744073709551615 4339447 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 73.15
Current children cumulated vsize (KiB) 484244

[startup+51.1002 s]
/proc/loadavg: 10.13 10.15 10.09 11/396 4270
/proc/meminfo: memFree=19939616/32951124 swapFree=49826708/67111528
[pid=4265] ppid=4263 vsize=697200 CPUtime=149.57 cores=0,2,4,6
/proc/4265/stat : 4265 (SArTagnan) R 4263 4265 3578 0 -1 4202496 422676 0 0 0 14886 71 0 0 25 0 4 0 669712247 713932800 115000 33554432000 4194304 4625164 140736668454448 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4265/statm: 174300 115000 342 106 0 169803 0
[pid=4265/tid=4267] ppid=4263 vsize=697200 CPUtime=34.63 cores=0,2,4,6
/proc/4265/task/4267/stat : 4267 (SArTagnan) R 4263 4265 3578 0 -1 4202560 33868 0 0 0 3453 10 0 0 25 0 4 0 669712258 713932800 115000 33554432000 4194304 4625164 140736668454448 18446744073709551615 4351764 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4265/tid=4268] ppid=4263 vsize=697200 CPUtime=39.87 cores=0,2,4,6
/proc/4265/task/4268/stat : 4268 (SArTagnan) R 4263 4265 3578 0 -1 4202560 59464 0 0 0 3971 16 0 0 21 0 4 0 669712258 713932800 115000 33554432000 4194304 4625164 140736668454448 18446744073709551615 4352021 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4265/tid=4269] ppid=4263 vsize=697200 CPUtime=25.1 cores=0,2,4,6
/proc/4265/task/4269/stat : 4269 (SArTagnan) R 4263 4265 3578 0 -1 4202560 294744 0 0 0 2472 38 0 0 25 0 4 0 669712258 713932800 115000 33554432000 4194304 4625164 140736668454448 18446744073709551615 228122370005 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 149.57
Current children cumulated vsize (KiB) 697200

[startup+102.315 s]
/proc/loadavg: 10.12 10.14 10.09 11/396 4271
/proc/meminfo: memFree=19648784/32951124 swapFree=49826708/67111528
[pid=4265] ppid=4263 vsize=885804 CPUtime=302.49 cores=0,2,4,6
/proc/4265/stat : 4265 (SArTagnan) R 4263 4265 3578 0 -1 4202496 706917 0 0 0 30123 126 0 0 25 0 4 0 669712247 907063296 172546 33554432000 4194304 4625164 140736668454448 18446744073709551615 4511930 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4265/statm: 221451 172546 352 106 0 216954 0
[pid=4265/tid=4267] ppid=4263 vsize=885804 CPUtime=84.83 cores=0,2,4,6
/proc/4265/task/4267/stat : 4267 (SArTagnan) R 4263 4265 3578 0 -1 4202560 51800 0 0 0 8468 15 0 0 25 0 4 0 669712258 907063296 172546 33554432000 4194304 4625164 140736668454448 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4265/tid=4268] ppid=4263 vsize=885804 CPUtime=66.84 cores=0,2,4,6
/proc/4265/task/4268/stat : 4268 (SArTagnan) R 4263 4265 3578 0 -1 4202560 78427 0 0 0 6654 30 0 0 25 0 4 0 669712258 907063296 172546 33554432000 4194304 4625164 140736668454448 18446744073709551615 4352728 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4265/tid=4269] ppid=4263 vsize=885804 CPUtime=50.57 cores=0,2,4,6
/proc/4265/task/4269/stat : 4269 (SArTagnan) R 4263 4265 3578 0 -1 4202560 529362 0 0 0 4985 72 0 0 25 0 4 0 669712258 907063296 172546 33554432000 4194304 4625164 140736668454448 18446744073709551615 228122411216 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 302.49
Current children cumulated vsize (KiB) 885804

[startup+162.301 s]
/proc/loadavg: 10.14 10.14 10.09 12/396 4273
/proc/meminfo: memFree=19368368/32951124 swapFree=49826708/67111528
[pid=4265] ppid=4263 vsize=1134944 CPUtime=482.99 cores=0,2,4,6
/proc/4265/stat : 4265 (SArTagnan) R 4263 4265 3578 0 -1 4202496 970481 0 0 0 48125 174 0 0 25 0 4 0 669712247 1162182656 230281 33554432000 4194304 4625164 140736668454448 18446744073709551615 4337984 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4265/statm: 283736 230281 362 106 0 279239 0
[pid=4265/tid=4267] ppid=4263 vsize=1134944 CPUtime=135.22 cores=0,2,4,6
/proc/4265/task/4267/stat : 4267 (SArTagnan) R 4263 4265 3578 0 -1 4202560 79063 0 0 0 13501 21 0 0 25 0 4 0 669712258 1162182656 230281 33554432000 4194304 4625164 140736668454448 18446744073709551615 4351824 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4265/tid=4268] ppid=4263 vsize=1134944 CPUtime=103.54 cores=0,2,4,6
/proc/4265/task/4268/stat : 4268 (SArTagnan) R 4263 4265 3578 0 -1 4202560 98843 0 0 0 10311 43 0 0 25 0 4 0 669712258 1162182656 230281 33554432000 4194304 4625164 140736668454448 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4265/tid=4269] ppid=4263 vsize=1134944 CPUtime=84.03 cores=0,2,4,6
/proc/4265/task/4269/stat : 4269 (SArTagnan) R 4263 4265 3578 0 -1 4202560 739343 0 0 0 8302 101 0 0 25 0 4 0 669712258 1162182656 230281 33554432000 4194304 4625164 140736668454448 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 482.99
Current children cumulated vsize (KiB) 1134944

[startup+222.3 s]
/proc/loadavg: 10.19 10.15 10.10 11/396 4274
/proc/meminfo: memFree=19116968/32951124 swapFree=49826708/67111528
[pid=4265] ppid=4263 vsize=1413752 CPUtime=662.8 cores=0,2,4,6
/proc/4265/stat : 4265 (SArTagnan) R 4263 4265 3578 0 -1 4202496 1318431 0 0 0 66046 234 0 0 25 0 4 0 669712247 1447682048 285105 33554432000 4194304 4625164 140736668454448 18446744073709551615 4337998 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4265/statm: 353438 285105 342 106 0 348941 0
[pid=4265/tid=4267] ppid=4263 vsize=1413752 CPUtime=170.27 cores=0,2,4,6
/proc/4265/task/4267/stat : 4267 (SArTagnan) R 4263 4265 3578 0 -1 4202560 108724 0 0 0 17000 27 0 0 25 0 4 0 669712258 1447682048 285105 33554432000 4194304 4625164 140736668454448 18446744073709551615 4352044 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4265/tid=4268] ppid=4263 vsize=1413752 CPUtime=158.19 cores=0,2,4,6
/proc/4265/task/4268/stat : 4268 (SArTagnan) R 4263 4265 3578 0 -1 4202560 122778 0 0 0 15764 55 0 0 25 0 4 0 669712258 1447682048 285105 33554432000 4194304 4625164 140736668454448 18446744073709551615 4351839 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4265/tid=4269] ppid=4263 vsize=1413752 CPUtime=115.65 cores=0,2,4,6
/proc/4265/task/4269/stat : 4269 (SArTagnan) R 4263 4265 3578 0 -1 4202560 1019419 0 0 0 11424 141 0 0 25 0 4 0 669712258 1447682048 285105 33554432000 4194304 4625164 140736668454448 18446744073709551615 4328194 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 662.8
Current children cumulated vsize (KiB) 1413752

[startup+282.301 s]

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

Current children cumulated CPU time (s) 2233.99
Current children cumulated vsize (KiB) 2289136

[startup+762.315 s]
/proc/loadavg: 6.20 8.13 9.30 7/387 4307
/proc/meminfo: memFree=19015128/32951124 swapFree=49826708/67111528
[pid=4265] ppid=4263 vsize=2458296 CPUtime=2473.28 cores=0,2,4,6
/proc/4265/stat : 4265 (SArTagnan) R 4263 4265 3578 0 -1 4202496 3691469 0 0 0 246664 664 0 0 25 0 4 0 669712247 2517295104 526027 33554432000 4194304 4625164 140736668454448 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/4265/statm: 614574 526027 344 106 0 610077 0
[pid=4265/tid=4267] ppid=4263 vsize=2458296 CPUtime=562.8 cores=0,2,4,6
/proc/4265/task/4267/stat : 4267 (SArTagnan) R 4263 4265 3578 0 -1 4202560 242219 0 0 0 56213 67 0 0 25 0 4 0 669712258 2517295104 526027 33554432000 4194304 4625164 140736668454448 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4265/tid=4268] ppid=4263 vsize=2458296 CPUtime=685.92 cores=0,2,4,6
/proc/4265/task/4268/stat : 4268 (SArTagnan) R 4263 4265 3578 0 -1 4202560 155692 0 0 0 68530 62 0 0 25 0 4 0 669712258 2517295104 526027 33554432000 4194304 4625164 140736668454448 18446744073709551615 4330841 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4265/tid=4269] ppid=4263 vsize=2458296 CPUtime=500.95 cores=0,2,4,6
/proc/4265/task/4269/stat : 4269 (SArTagnan) R 4263 4265 3578 0 -1 4202560 3070096 0 0 0 49619 476 0 0 25 0 4 0 669712258 2517295104 526027 33554432000 4194304 4625164 140736668454448 18446744073709551615 4548692 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2473.28
Current children cumulated vsize (KiB) 2458296

[startup+822.301 s]
/proc/loadavg: 6.18 7.77 9.10 7/387 4308
/proc/meminfo: memFree=18899164/32951124 swapFree=49826708/67111528
[pid=4265] ppid=4263 vsize=2566144 CPUtime=2712.47 cores=0,2,4,6
/proc/4265/stat : 4265 (SArTagnan) R 4263 4265 3578 0 -1 4202496 4057680 0 0 0 270515 732 0 0 25 0 4 0 669712247 2627731456 552470 33554432000 4194304 4625164 140736668454448 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/4265/statm: 641536 552470 342 106 0 637039 0
[pid=4265/tid=4267] ppid=4263 vsize=2566144 CPUtime=622.79 cores=0,2,4,6
/proc/4265/task/4267/stat : 4267 (SArTagnan) R 4263 4265 3578 0 -1 4202560 249720 0 0 0 62203 76 0 0 25 0 4 0 669712258 2627731456 552470 33554432000 4194304 4625164 140736668454448 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4265/tid=4268] ppid=4263 vsize=2566144 CPUtime=745.91 cores=0,2,4,6
/proc/4265/task/4268/stat : 4268 (SArTagnan) R 4263 4265 3578 0 -1 4202560 155817 0 0 0 74529 62 0 0 25 0 4 0 669712258 2627731456 552471 33554432000 4194304 4625164 140736668454448 18446744073709551615 4488046 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4265/tid=4269] ppid=4263 vsize=2566144 CPUtime=560.94 cores=0,2,4,6
/proc/4265/task/4269/stat : 4269 (SArTagnan) R 4263 4265 3578 0 -1 4202560 3404078 0 0 0 55562 532 0 0 25 0 4 0 669712258 2627731456 552471 33554432000 4194304 4625164 140736668454448 18446744073709551615 4339447 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2712.47
Current children cumulated vsize (KiB) 2566144

[startup+882.301 s]
/proc/loadavg: 6.14 7.46 8.91 7/387 4310
/proc/meminfo: memFree=18804156/32951124 swapFree=49826708/67111528
[pid=4265] ppid=4263 vsize=2628532 CPUtime=2951.7 cores=0,2,4,6
/proc/4265/stat : 4265 (SArTagnan) R 4263 4265 3578 0 -1 4202496 4458975 0 0 0 294371 799 0 0 25 0 4 0 669712247 2691616768 574560 33554432000 4194304 4625164 140736668454448 18446744073709551615 4519334 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/4265/statm: 657133 574560 346 106 0 652636 0
[pid=4265/tid=4267] ppid=4263 vsize=2628532 CPUtime=682.79 cores=0,2,4,6
/proc/4265/task/4267/stat : 4267 (SArTagnan) R 4263 4265 3578 0 -1 4202560 253397 0 0 0 68199 80 0 0 25 0 4 0 669712258 2691616768 574560 33554432000 4194304 4625164 140736668454448 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4265/tid=4268] ppid=4263 vsize=2628532 CPUtime=805.91 cores=0,2,4,6
/proc/4265/task/4268/stat : 4268 (SArTagnan) R 4263 4265 3578 0 -1 4202560 156033 0 0 0 80529 62 0 0 25 0 4 0 669712258 2691616768 574560 33554432000 4194304 4625164 140736668454448 18446744073709551615 4330841 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4265/tid=4269] ppid=4263 vsize=2628532 CPUtime=620.93 cores=0,2,4,6
/proc/4265/task/4269/stat : 4269 (SArTagnan) R 4263 4265 3578 0 -1 4202560 3788516 0 0 0 61503 590 0 0 25 0 4 0 669712258 2691616768 574560 33554432000 4194304 4625164 140736668454448 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2951.7
Current children cumulated vsize (KiB) 2628532

[startup+942.3 s]
/proc/loadavg: 6.05 7.19 8.72 7/387 4312
/proc/meminfo: memFree=18721044/32951124 swapFree=49826708/67111528
[pid=4265] ppid=4263 vsize=2694068 CPUtime=3190.96 cores=0,2,4,6
/proc/4265/stat : 4265 (SArTagnan) R 4263 4265 3578 0 -1 4202496 4841716 0 0 0 318236 860 0 0 25 0 4 0 669712247 2758725632 593246 33554432000 4194304 4625164 140736668454448 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/4265/statm: 673517 593246 342 106 0 669020 0
[pid=4265/tid=4267] ppid=4263 vsize=2694068 CPUtime=742.79 cores=0,2,4,6
/proc/4265/task/4267/stat : 4267 (SArTagnan) R 4263 4265 3578 0 -1 4202560 254990 0 0 0 74198 81 0 0 25 0 4 0 669712258 2758725632 593246 33554432000 4194304 4625164 140736668454448 18446744073709551615 4352021 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4265/tid=4268] ppid=4263 vsize=2694068 CPUtime=865.91 cores=0,2,4,6
/proc/4265/task/4268/stat : 4268 (SArTagnan) R 4263 4265 3578 0 -1 4202560 156146 0 0 0 86529 62 0 0 25 0 4 0 669712258 2758725632 593246 33554432000 4194304 4625164 140736668454448 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4265/tid=4269] ppid=4263 vsize=2694068 CPUtime=680.94 cores=0,2,4,6
/proc/4265/task/4269/stat : 4269 (SArTagnan) R 4263 4265 3578 0 -1 4202560 4166594 0 0 0 67445 649 0 0 25 0 4 0 669712258 2758725632 593246 33554432000 4194304 4625164 140736668454448 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3190.96
Current children cumulated vsize (KiB) 2694068

[startup+1002.3 s]
/proc/loadavg: 6.02 6.97 8.55 7/387 4313
/proc/meminfo: memFree=18639184/32951124 swapFree=49826708/67111528
[pid=4265] ppid=4263 vsize=2760800 CPUtime=3430.19 cores=0,2,4,6
/proc/4265/stat : 4265 (SArTagnan) R 4263 4265 3578 0 -1 4202496 5209315 0 0 0 342098 921 0 0 25 0 4 0 669712247 2827059200 612190 33554432000 4194304 4625164 140736668454448 18446744073709551615 4512156 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/4265/statm: 690200 612190 342 106 0 685703 0
[pid=4265/tid=4267] ppid=4263 vsize=2760800 CPUtime=802.8 cores=0,2,4,6
/proc/4265/task/4267/stat : 4267 (SArTagnan) R 4263 4265 3578 0 -1 4202560 258285 0 0 0 80196 84 0 0 25 0 4 0 669712258 2827059200 612190 33554432000 4194304 4625164 140736668454448 18446744073709551615 4352032 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4265/tid=4268] ppid=4263 vsize=2760800 CPUtime=925.91 cores=0,2,4,6
/proc/4265/task/4268/stat : 4268 (SArTagnan) R 4263 4265 3578 0 -1 4202560 156313 0 0 0 92529 62 0 0 25 0 4 0 669712258 2827059200 612190 33554432000 4194304 4625164 140736668454448 18446744073709551615 4330839 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4265/tid=4269] ppid=4263 vsize=2760800 CPUtime=740.94 cores=0,2,4,6
/proc/4265/task/4269/stat : 4269 (SArTagnan) R 4263 4265 3578 0 -1 4202560 4529151 0 0 0 73387 707 0 0 25 0 4 0 669712258 2827059200 612190 33554432000 4194304 4625164 140736668454448 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3430.19
Current children cumulated vsize (KiB) 2760800

[startup+1062.3 s]
/proc/loadavg: 6.00 6.79 8.39 7/387 4315
/proc/meminfo: memFree=18545908/32951124 swapFree=49826708/67111528
[pid=4265] ppid=4263 vsize=2869140 CPUtime=3669.44 cores=0,2,4,6
/proc/4265/stat : 4265 (SArTagnan) R 4263 4265 3578 0 -1 4202496 5582965 0 0 0 365960 984 0 0 25 0 4 0 669712247 2937999360 634199 33554432000 4194304 4625164 140736668454448 18446744073709551615 4392981 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/4265/statm: 717285 634199 345 106 0 712788 0
[pid=4265/tid=4267] ppid=4263 vsize=2869140 CPUtime=862.79 cores=0,2,4,6
/proc/4265/task/4267/stat : 4267 (SArTagnan) R 4263 4265 3578 0 -1 4202560 265199 0 0 0 86192 87 0 0 25 0 4 0 669712258 2937999360 634199 33554432000 4194304 4625164 140736668454448 18446744073709551615 4339616 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4265/tid=4268] ppid=4263 vsize=2869140 CPUtime=985.91 cores=0,2,4,6
/proc/4265/task/4268/stat : 4268 (SArTagnan) R 4263 4265 3578 0 -1 4202560 156449 0 0 0 98529 62 0 0 25 0 4 0 669712258 2937999360 634199 33554432000 4194304 4625164 140736668454448 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4265/tid=4269] ppid=4263 vsize=2869140 CPUtime=800.93 cores=0,2,4,6
/proc/4265/task/4269/stat : 4269 (SArTagnan) R 4263 4265 3578 0 -1 4202560 4872327 0 0 0 79331 762 0 0 25 0 4 0 669712258 2937999360 634199 33554432000 4194304 4625164 140736668454448 18446744073709551615 4334728 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3669.44
Current children cumulated vsize (KiB) 2869140

[startup+1122.3 s]
/proc/loadavg: 6.00 6.65 8.24 7/387 4316
/proc/meminfo: memFree=18430316/32951124 swapFree=49826708/67111528
[pid=4265] ppid=4263 vsize=2934676 CPUtime=3908.68 cores=0,2,4,6
/proc/4265/stat : 4265 (SArTagnan) R 4263 4265 3578 0 -1 4202496 5915695 0 0 0 389833 1035 0 0 25 0 4 0 669712247 3005108224 661418 33554432000 4194304 4625164 140736668454448 18446744073709551615 4519369 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/4265/statm: 733669 661418 365 106 0 729172 0
[pid=4265/tid=4267] ppid=4263 vsize=2934676 CPUtime=922.8 cores=0,2,4,6
/proc/4265/task/4267/stat : 4267 (SArTagnan) R 4263 4265 3578 0 -1 4202560 272583 0 0 0 92190 90 0 0 25 0 4 0 669712258 3005108224 661418 33554432000 4194304 4625164 140736668454448 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4265/tid=4268] ppid=4263 vsize=2934676 CPUtime=1045.91 cores=0,2,4,6
/proc/4265/task/4268/stat : 4268 (SArTagnan) R 4263 4265 3578 0 -1 4202560 156570 0 0 0 104529 62 0 0 25 0 4 0 669712258 3005108224 661418 33554432000 4194304 4625164 140736668454448 18446744073709551615 4488046 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4265/tid=4269] ppid=4263 vsize=2934676 CPUtime=860.94 cores=0,2,4,6
/proc/4265/task/4269/stat : 4269 (SArTagnan) R 4263 4265 3578 0 -1 4202560 5194925 0 0 0 85284 810 0 0 25 0 4 0 669712258 3005108224 661418 33554432000 4194304 4625164 140736668454448 18446744073709551615 4552369 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3908.68
Current children cumulated vsize (KiB) 2934676

[startup+1182.3 s]
/proc/loadavg: 6.00 6.53 8.09 7/387 4318
/proc/meminfo: memFree=18310132/32951124 swapFree=49826708/67111528
[pid=4265] ppid=4263 vsize=3183596 CPUtime=4147.93 cores=0,2,4,6
/proc/4265/stat : 4265 (SArTagnan) R 4263 4265 3578 0 -1 4202496 6214745 0 0 0 413707 1086 0 0 25 0 4 0 669712247 3260002304 689521 33554432000 4194304 4625164 140736668454448 18446744073709551615 4329151 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/4265/statm: 795899 689521 342 106 0 791402 0
[pid=4265/tid=4267] ppid=4263 vsize=3183596 CPUtime=982.79 cores=0,2,4,6
/proc/4265/task/4267/stat : 4267 (SArTagnan) R 4263 4265 3578 0 -1 4202560 362928 0 0 0 98176 103 0 0 25 0 4 0 669712258 3260002304 689521 33554432000 4194304 4625164 140736668454448 18446744073709551615 4352739 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4265/tid=4268] ppid=4263 vsize=3183596 CPUtime=1105.92 cores=0,2,4,6
/proc/4265/task/4268/stat : 4268 (SArTagnan) R 4263 4265 3578 0 -1 4202560 156768 0 0 0 110529 63 0 0 25 0 4 0 669712258 3260002304 689521 33554432000 4194304 4625164 140736668454448 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4265/tid=4269] ppid=4263 vsize=3183596 CPUtime=920.93 cores=0,2,4,6
/proc/4265/task/4269/stat : 4269 (SArTagnan) R 4263 4265 3578 0 -1 4202560 5398175 0 0 0 91248 845 0 0 25 0 4 0 669712258 3260002304 689521 33554432000 4194304 4625164 140736668454448 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4147.93
Current children cumulated vsize (KiB) 3183596

[startup+1242.3 s]
/proc/loadavg: 6.05 6.44 7.97 7/387 4320
/proc/meminfo: memFree=18215368/32951124 swapFree=49826708/67111528
[pid=4265] ppid=4263 vsize=3250004 CPUtime=4387.16 cores=0,2,4,6
/proc/4265/stat : 4265 (SArTagnan) R 4263 4265 3578 0 -1 4202496 6443981 0 0 0 437585 1131 0 0 25 0 4 0 669712247 3328004096 711111 33554432000 4194304 4625164 140736668454448 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/4265/statm: 812501 711111 342 106 0 808004 0
[pid=4265/tid=4267] ppid=4263 vsize=3250004 CPUtime=1042.79 cores=0,2,4,6
/proc/4265/task/4267/stat : 4267 (SArTagnan) R 4263 4265 3578 0 -1 4202560 368606 0 0 0 104169 110 0 0 25 0 4 0 669712258 3328004096 711111 33554432000 4194304 4625164 140736668454448 18446744073709551615 4352728 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4265/tid=4268] ppid=4263 vsize=3250004 CPUtime=1165.92 cores=0,2,4,6
/proc/4265/task/4268/stat : 4268 (SArTagnan) R 4263 4265 3578 0 -1 4202560 156944 0 0 0 116529 63 0 0 25 0 4 0 669712258 3328004096 711111 33554432000 4194304 4625164 140736668454448 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4265/tid=4269] ppid=4263 vsize=3250004 CPUtime=980.93 cores=0,2,4,6
/proc/4265/task/4269/stat : 4269 (SArTagnan) R 4263 4265 3578 0 -1 4202560 5617252 0 0 0 97213 880 0 0 25 0 4 0 669712258 3328004096 711111 33554432000 4194304 4625164 140736668454448 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4387.16
Current children cumulated vsize (KiB) 3250004



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 6.07 6.38 7.85 7/387 4321
/proc/meminfo: memFree=18117628/32951124 swapFree=49826708/67111528
[pid=4265] ppid=4263 vsize=3380296 CPUtime=4617.25 cores=0,2,4,6
/proc/4265/stat : 4265 (SArTagnan) R 4263 4265 3578 0 -1 4202496 6800163 0 0 0 460532 1193 0 0 25 0 4 0 669712247 3461423104 733689 33554432000 4194304 4625164 140736668454448 18446744073709551615 4519319 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/4265/statm: 845074 733689 343 106 0 840577 0
[pid=4265/tid=4267] ppid=4263 vsize=3380296 CPUtime=1100.51 cores=0,2,4,6
/proc/4265/task/4267/stat : 4267 (SArTagnan) R 4263 4265 3578 0 -1 4202560 373723 0 0 0 109935 116 0 0 25 0 4 0 669712258 3461423104 733693 33554432000 4194304 4625164 140736668454448 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4265/tid=4268] ppid=4263 vsize=3380296 CPUtime=1223.63 cores=0,2,4,6
/proc/4265/task/4268/stat : 4268 (SArTagnan) R 4263 4265 3578 0 -1 4202560 157142 0 0 0 122300 63 0 0 25 0 4 0 669712258 3461423104 733693 33554432000 4194304 4625164 140736668454448 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4265/tid=4269] ppid=4263 vsize=3380296 CPUtime=1038.64 cores=0,2,4,6
/proc/4265/task/4269/stat : 4269 (SArTagnan) R 4263 4265 3578 0 -1 4202560 5930171 0 0 0 102933 931 0 0 25 0 4 0 669712258 3461423104 733693 33554432000 4194304 4625164 140736668454448 18446744073709551615 4548672 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4617.25
Current children cumulated vsize (KiB) 3380296

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

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

[startup+1300.12 s]
/proc/loadavg: 6.07 6.38 7.85 4/385 4322
/proc/meminfo: memFree=20595288/32951124 swapFree=49826708/67111528
[pid=4265] ppid=4263 vsize=0 CPUtime=4617.4 cores=0,2,4,6
/proc/4265/stat : 4265 (SArTagnan) R 4263 4265 3578 0 -1 4203524 6800167 0 0 0 460536 1204 0 0 25 0 1 0 669712247 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4265/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 4617.4
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1300.14
CPU time (s): 4617.42
CPU user time (s): 4605.36
CPU system time (s): 12.0522
CPU usage (%): 355.148
Max. virtual memory (cumulated for all children) (KiB): 3506528

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4605.36
system time used= 12.0522
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6800167
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= 7039
involuntary context switches= 24572

runsolver used 5.04823 second user time and 11.5162 second system time

The end

Launcher Data 

Begin job on node138 at 2011-05-16 23:25:43
IDJOB=3385882
IDBENCH=83159
IDSOLVER=1871
FILE ID=node138/3385882-1305581143
RUNJOBID= node138-1305576905-3600
PBS_JOBID= 13350210
Free space on /tmp= 73436 MiB

SOLVER NAME= SArTagnan 2011-05-15 (fixed)
BENCH NAME= SAT11/crafted/mosoi/289/289-unsat-13x32.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3385882-1305581143/watcher-3385882-1305581143 -o /tmp/evaluation-result-3385882-1305581143/solver-3385882-1305581143 -C 4800 -W 1300 -M 15500  SArTagnan HOME/instance-3385882-1305581143.cnf -threads=4

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

MD5SUM BENCH= 73c8ae5bbdfe41463e8e40ea211c5e14
RANDOM SEED=601471396

node138.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.854
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.70
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.854
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.854
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.82
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.854
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.854
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.80
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.854
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.854
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.854
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      20439640 kB
Buffers:          4032 kB
Cached:          96880 kB
SwapCached:      70804 kB
Active:        2273928 kB
Inactive:     10012160 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      20439640 kB
SwapTotal:    67111528 kB
SwapFree:     49826708 kB
Dirty:            3888 kB
Writeback:           0 kB
AnonPages:    12124352 kB
Mapped:          12592 kB
Slab:            72852 kB
PageTables:      87336 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 96917164 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= 73436 MiB
End job on node138 at 2011-05-16 23:47:25