Trace number 3386230

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) 3150.63 1300.3

General information on the benchmark

Namevelev-vliw-uns-4.0-9-i1.cnf
MD5SUM590cca3a58efdeb1c95ef988a53daa1d
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark420.299
Satisfiable
(Un)Satisfiability was proved
Number of variables154309
Number of clauses3230738
Sum of the clauses size9429252
Maximum clause length3625
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 22024994
Number of clauses of size 31081436
Number of clauses of size 48866
Number of clauses of size 58692
Number of clauses of size over 5106749

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-3386230-1305577116/watcher-3386230-1305577116 -o /tmp/evaluation-result-3386230-1305577116/solver-3386230-1305577116 -C 4800 -W 1300 -M 15500 SArTagnan HOME/instance-3386230-1305577116.cnf -threads=4 

running on 4 cores: 1,3,5,7

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.82 11.16 11.11 9/413 27287
/proc/meminfo: memFree=7045996/32950928 swapFree=64721856/67111528
[pid=27287] ppid=27285 vsize=107604 CPUtime=0.01 cores=1,3,5,7
/proc/27287/stat : 27287 (SArTagnan) R 27285 27287 27246 0 -1 4202496 3346 0 0 0 1 0 0 0 23 0 1 0 669311636 110186496 3284 33554432000 4194304 4625164 140733377399216 18446744073709551615 4339447 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27287/statm: 26951 3286 296 106 0 22454 0

[startup+0.0299141 s]
/proc/loadavg: 10.82 11.16 11.11 9/413 27287
/proc/meminfo: memFree=7045996/32950928 swapFree=64721856/67111528
[pid=27287] ppid=27285 vsize=109064 CPUtime=0.02 cores=1,3,5,7
/proc/27287/stat : 27287 (SArTagnan) R 27285 27287 27246 0 -1 4202496 4186 0 0 0 2 0 0 0 23 0 1 0 669311636 111681536 3591 33554432000 4194304 4625164 140733377399216 18446744073709551615 4339447 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27287/statm: 27266 3593 296 106 0 22769 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 109064

[startup+0.100906 s]
/proc/loadavg: 10.82 11.16 11.11 9/413 27287
/proc/meminfo: memFree=7045996/32950928 swapFree=64721856/67111528
[pid=27287] ppid=27285 vsize=117292 CPUtime=0.09 cores=1,3,5,7
/proc/27287/stat : 27287 (SArTagnan) R 27285 27287 27246 0 -1 4202496 7483 0 0 0 9 0 0 0 23 0 1 0 669311636 120107008 5249 33554432000 4194304 4625164 140733377399216 18446744073709551615 248089395669 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27287/statm: 29323 5270 296 106 0 24826 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 117292

[startup+0.30087 s]
/proc/loadavg: 10.82 11.16 11.11 9/413 27287
/proc/meminfo: memFree=7045996/32950928 swapFree=64721856/67111528
[pid=27287] ppid=27285 vsize=130912 CPUtime=0.29 cores=1,3,5,7
/proc/27287/stat : 27287 (SArTagnan) R 27285 27287 27246 0 -1 4202496 14558 0 0 0 28 1 0 0 25 0 1 0 669311636 134053888 9208 33554432000 4194304 4625164 140733377399216 18446744073709551615 248089698048 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27287/statm: 32728 9208 310 106 0 28231 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 130912

[startup+0.700799 s]
/proc/loadavg: 10.82 11.16 11.11 9/413 27287
/proc/meminfo: memFree=7045996/32950928 swapFree=64721856/67111528
[pid=27287] ppid=27285 vsize=168720 CPUtime=0.69 cores=1,3,5,7
/proc/27287/stat : 27287 (SArTagnan) R 27285 27287 27246 0 -1 4202496 31421 0 0 0 65 4 0 0 25 0 1 0 669311636 172769280 16695 33554432000 4194304 4625164 140733377399216 18446744073709551615 248089698048 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27287/statm: 42180 16695 370 106 0 37683 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 168720

[startup+1.50066 s]
/proc/loadavg: 10.60 11.10 11.10 9/414 27288
/proc/meminfo: memFree=6956716/32950928 swapFree=64721856/67111528
[pid=27287] ppid=27285 vsize=253312 CPUtime=1.49 cores=1,3,5,7
/proc/27287/stat : 27287 (SArTagnan) R 27285 27287 27246 0 -1 4202496 75674 0 0 0 138 11 0 0 25 0 1 0 669311636 259391488 42270 33554432000 4194304 4625164 140733377399216 18446744073709551615 248089698048 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27287/statm: 63328 42270 299 106 0 58831 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 253312

[startup+3.10038 s]
/proc/loadavg: 10.60 11.10 11.10 11/417 27291
/proc/meminfo: memFree=6538000/32950928 swapFree=64721856/67111528
[pid=27287] ppid=27285 vsize=787316 CPUtime=4.95 cores=1,3,5,7
/proc/27287/stat : 27287 (SArTagnan) R 27285 27287 27246 0 -1 4202496 186595 0 0 0 473 22 0 0 25 0 4 0 669311636 806211584 125153 33554432000 4194304 4625164 140733377399216 18446744073709551615 4390542 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27287/statm: 196829 125153 514 106 0 192332 0
[pid=27287/tid=27289] ppid=27285 vsize=787316 CPUtime=0.61 cores=1,3,5,7
/proc/27287/task/27289/stat : 27289 (SArTagnan) R 27285 27287 27246 0 -1 4202560 12265 0 0 0 60 1 0 0 25 0 4 0 669311802 806211584 125153 33554432000 4194304 4625164 140733377399216 18446744073709551615 4479607 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27287/tid=27290] ppid=27285 vsize=787316 CPUtime=0.6 cores=1,3,5,7
/proc/27287/task/27290/stat : 27290 (SArTagnan) R 27285 27287 27246 0 -1 4202560 12910 0 0 0 59 1 0 0 25 0 4 0 669311802 806211584 125153 33554432000 4194304 4625164 140733377399216 18446744073709551615 4478002 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27287/tid=27291] ppid=27285 vsize=787316 CPUtime=0.79 cores=1,3,5,7
/proc/27287/task/27291/stat : 27291 (SArTagnan) R 27285 27287 27246 0 -1 4202560 17185 0 0 0 78 1 0 0 25 0 4 0 669311802 806211584 125153 33554432000 4194304 4625164 140733377399216 18446744073709551615 4479607 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.95
Current children cumulated vsize (KiB) 787316

[startup+6.30081 s]
/proc/loadavg: 10.60 11.10 11.10 12/417 27291
/proc/meminfo: memFree=6537048/32950928 swapFree=64721856/67111528
[pid=27287] ppid=27285 vsize=787316 CPUtime=12.91 cores=1,3,5,7
/proc/27287/stat : 27287 (SArTagnan) R 27285 27287 27246 0 -1 4202496 187576 0 0 0 1269 22 0 0 25 0 4 0 669311636 806211584 126091 33554432000 4194304 4625164 140733377399216 18446744073709551615 4390542 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27287/statm: 196829 126091 514 106 0 192332 0
[pid=27287/tid=27289] ppid=27285 vsize=787316 CPUtime=2.21 cores=1,3,5,7
/proc/27287/task/27289/stat : 27289 (SArTagnan) R 27285 27287 27246 0 -1 4202560 12265 0 0 0 220 1 0 0 25 0 4 0 669311802 806211584 126091 33554432000 4194304 4625164 140733377399216 18446744073709551615 4478002 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27287/tid=27290] ppid=27285 vsize=787316 CPUtime=2.2 cores=1,3,5,7
/proc/27287/task/27290/stat : 27290 (SArTagnan) R 27285 27287 27246 0 -1 4202560 12910 0 0 0 219 1 0 0 25 0 4 0 669311802 806211584 126091 33554432000 4194304 4625164 140733377399216 18446744073709551615 4479599 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27287/tid=27291] ppid=27285 vsize=787316 CPUtime=2.34 cores=1,3,5,7
/proc/27287/task/27291/stat : 27291 (SArTagnan) R 27285 27287 27246 0 -1 4202560 17185 0 0 0 233 1 0 0 25 0 4 0 669311802 806211584 126091 33554432000 4194304 4625164 140733377399216 18446744073709551615 4477965 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.91
Current children cumulated vsize (KiB) 787316

[startup+12.7007 s]
/proc/loadavg: 10.73 11.12 11.10 12/417 27291
/proc/meminfo: memFree=6493492/32950928 swapFree=64721856/67111528
[pid=27287] ppid=27285 vsize=918388 CPUtime=27.56 cores=1,3,5,7
/proc/27287/stat : 27287 (SArTagnan) R 27285 27287 27246 0 -1 4202496 210425 0 0 0 2730 26 0 0 25 0 4 0 669311636 940429312 133492 33554432000 4194304 4625164 140733377399216 18446744073709551615 4390589 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27287/statm: 229597 133492 516 106 0 225100 0
[pid=27287/tid=27289] ppid=27285 vsize=918388 CPUtime=5.7 cores=1,3,5,7
/proc/27287/task/27289/stat : 27289 (SArTagnan) R 27285 27287 27246 0 -1 4202560 14775 0 0 0 569 1 0 0 25 0 4 0 669311802 940429312 133492 33554432000 4194304 4625164 140733377399216 18446744073709551615 4288861 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27287/tid=27290] ppid=27285 vsize=918388 CPUtime=5.4 cores=1,3,5,7
/proc/27287/task/27290/stat : 27290 (SArTagnan) R 27285 27287 27246 0 -1 4202560 14975 0 0 0 539 1 0 0 25 0 4 0 669311802 940429312 133492 33554432000 4194304 4625164 140733377399216 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27287/tid=27291] ppid=27285 vsize=918388 CPUtime=5.37 cores=1,3,5,7
/proc/27287/task/27291/stat : 27291 (SArTagnan) R 27285 27287 27246 0 -1 4202560 34614 0 0 0 534 3 0 0 25 0 4 0 669311802 940429312 133492 33554432000 4194304 4625164 140733377399216 18446744073709551615 4339447 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 27.56
Current children cumulated vsize (KiB) 918388

[startup+25.5004 s]
/proc/loadavg: 10.85 11.13 11.10 12/417 27291
/proc/meminfo: memFree=6424216/32950928 swapFree=64721856/67111528
[pid=27287] ppid=27285 vsize=938152 CPUtime=56 cores=1,3,5,7
/proc/27287/stat : 27287 (SArTagnan) R 27285 27287 27246 0 -1 4202496 305758 0 0 0 5561 39 0 0 25 0 4 0 669311636 960667648 148123 33554432000 4194304 4625164 140733377399216 18446744073709551615 4390618 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27287/statm: 234538 148123 510 106 0 230041 0
[pid=27287/tid=27289] ppid=27285 vsize=938152 CPUtime=15.1 cores=1,3,5,7
/proc/27287/task/27289/stat : 27289 (SArTagnan) R 27285 27287 27246 0 -1 4202560 15877 0 0 0 1508 2 0 0 25 0 4 0 669311802 960667648 148123 33554432000 4194304 4625164 140733377399216 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27287/tid=27290] ppid=27285 vsize=938152 CPUtime=12.3 cores=1,3,5,7
/proc/27287/task/27290/stat : 27290 (SArTagnan) R 27285 27287 27246 0 -1 4202560 22986 0 0 0 1228 2 0 0 25 0 4 0 669311802 960667648 148123 33554432000 4194304 4625164 140733377399216 18446744073709551615 4317274 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27287/tid=27291] ppid=27285 vsize=938152 CPUtime=11.19 cores=1,3,5,7
/proc/27287/task/27291/stat : 27291 (SArTagnan) R 27285 27287 27246 0 -1 4202560 106430 0 0 0 1107 12 0 0 25 0 4 0 669311802 960667648 148123 33554432000 4194304 4625164 140733377399216 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 56
Current children cumulated vsize (KiB) 938152

[startup+51.1009 s]
/proc/loadavg: 10.95 11.13 11.10 12/417 27292
/proc/meminfo: memFree=6324272/32950928 swapFree=64721856/67111528
[pid=27287] ppid=27285 vsize=1030868 CPUtime=126.21 cores=1,3,5,7
/proc/27287/stat : 27287 (SArTagnan) R 27285 27287 27246 0 -1 4202496 556748 0 0 0 12545 76 0 0 25 0 4 0 669311636 1055608832 165056 33554432000 4194304 4625164 140733377399216 18446744073709551615 4390609 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27287/statm: 257717 165056 506 106 0 253220 0
[pid=27287/tid=27289] ppid=27285 vsize=1030868 CPUtime=35.93 cores=1,3,5,7
/proc/27287/task/27289/stat : 27289 (SArTagnan) R 27285 27287 27246 0 -1 4202560 30215 0 0 0 3589 4 0 0 25 0 4 0 669311802 1055608832 165056 33554432000 4194304 4625164 140733377399216 18446744073709551615 4375513 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27287/tid=27290] ppid=27285 vsize=1030868 CPUtime=34.15 cores=1,3,5,7
/proc/27287/task/27290/stat : 27290 (SArTagnan) R 27285 27287 27246 0 -1 4202560 39507 0 0 0 3411 4 0 0 25 0 4 0 669311802 1055608832 165056 33554432000 4194304 4625164 140733377399216 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27287/tid=27291] ppid=27285 vsize=1030868 CPUtime=24.65 cores=1,3,5,7
/proc/27287/task/27291/stat : 27291 (SArTagnan) R 27285 27287 27246 0 -1 4202560 300678 0 0 0 2425 40 0 0 25 0 4 0 669311802 1055608832 165056 33554432000 4194304 4625164 140733377399216 18446744073709551615 248089395639 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 126.21
Current children cumulated vsize (KiB) 1030868

[startup+102.316 s]
/proc/loadavg: 11.07 11.14 11.10 12/417 27323
/proc/meminfo: memFree=5603416/32950928 swapFree=64721856/67111528
[pid=27287] ppid=27285 vsize=1919488 CPUtime=266.38 cores=1,3,5,7
/proc/27287/stat : 27287 (SArTagnan) R 27285 27287 27246 0 -1 4202496 1349910 0 0 0 26452 186 0 0 25 0 4 0 669311636 1965555712 371023 33554432000 4194304 4625164 140733377399216 18446744073709551615 4381962 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27287/statm: 479872 371023 500 106 0 475375 0
[pid=27287/tid=27289] ppid=27285 vsize=1919488 CPUtime=74.83 cores=1,3,5,7
/proc/27287/task/27289/stat : 27289 (SArTagnan) R 27285 27287 27246 0 -1 4202560 54856 0 0 0 7473 10 0 0 25 0 4 0 669311802 1965555712 371023 33554432000 4194304 4625164 140733377399216 18446744073709551615 4464452 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27287/tid=27290] ppid=27285 vsize=1919488 CPUtime=71.84 cores=1,3,5,7
/proc/27287/task/27290/stat : 27290 (SArTagnan) R 27285 27287 27246 0 -1 4202560 53131 0 0 0 7176 8 0 0 25 0 4 0 669311802 1965555712 371023 33554432000 4194304 4625164 140733377399216 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27287/tid=27291] ppid=27285 vsize=1919488 CPUtime=59.43 cores=1,3,5,7
/proc/27287/task/27291/stat : 27291 (SArTagnan) R 27285 27287 27246 0 -1 4202560 531026 0 0 0 5873 70 0 0 25 0 4 0 669311802 1965555712 371023 33554432000 4194304 4625164 140733377399216 18446744073709551615 248089395296 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 266.38
Current children cumulated vsize (KiB) 1919488

[startup+162.3 s]
/proc/loadavg: 11.25 11.18 11.12 12/417 27325
/proc/meminfo: memFree=3709328/32950928 swapFree=64721856/67111528
[pid=27287] ppid=27285 vsize=3804568 CPUtime=395.83 cores=1,3,5,7
/proc/27287/stat : 27287 (SArTagnan) R 27285 27287 27246 0 -1 4202496 2638612 0 0 0 39229 354 0 0 18 0 4 0 669311636 3895877632 826191 33554432000 4194304 4625164 140733377399216 18446744073709551615 4390606 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27287/statm: 951142 826191 507 106 0 946645 0
[pid=27287/tid=27289] ppid=27285 vsize=3804568 CPUtime=113.46 cores=1,3,5,7
/proc/27287/task/27289/stat : 27289 (SArTagnan) R 27285 27287 27246 0 -1 4202560 62892 0 0 0 11334 12 0 0 25 0 4 0 669311802 3895877632 826191 33554432000 4194304 4625164 140733377399216 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27287/tid=27290] ppid=27285 vsize=3804568 CPUtime=110.26 cores=1,3,5,7
/proc/27287/task/27290/stat : 27290 (SArTagnan) R 27285 27287 27246 0 -1 4202560 80965 0 0 0 11013 13 0 0 25 0 4 0 669311802 3895877632 826191 33554432000 4194304 4625164 140733377399216 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27287/tid=27291] ppid=27285 vsize=3804568 CPUtime=86.78 cores=1,3,5,7
/proc/27287/task/27291/stat : 27291 (SArTagnan) R 27285 27287 27246 0 -1 4202560 878266 0 0 0 8564 114 0 0 25 0 4 0 669311802 3895877632 826191 33554432000 4194304 4625164 140733377399216 18446744073709551615 4547262 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 395.83
Current children cumulated vsize (KiB) 3804568

[startup+222.301 s]
/proc/loadavg: 11.17 11.18 11.12 12/417 27327
/proc/meminfo: memFree=3351600/32950928 swapFree=64721856/67111528
[pid=27287] ppid=27285 vsize=4106844 CPUtime=538.72 cores=1,3,5,7
/proc/27287/stat : 27287 (SArTagnan) R 27285 27287 27246 0 -1 4202496 3038692 0 0 0 53455 417 0 0 25 0 4 0 669311636 4205408256 891332 33554432000 4194304 4625164 140733377399216 18446744073709551615 4390864 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/27287/statm: 1026711 891332 337 106 0 1022214 0
[pid=27287/tid=27289] ppid=27285 vsize=4106844 CPUtime=156.89 cores=1,3,5,7
/proc/27287/task/27289/stat : 27289 (SArTagnan) R 27285 27287 27246 0 -1 4202560 102713 0 0 0 15671 18 0 0 25 0 4 0 669311802 4205408256 891332 33554432000 4194304 4625164 140733377399216 18446744073709551615 4288783 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27287/tid=27290] ppid=27285 vsize=4106844 CPUtime=151.68 cores=1,3,5,7
/proc/27287/task/27290/stat : 27290 (SArTagnan) R 27285 27287 27246 0 -1 4202560 137615 0 0 0 15146 22 0 0 25 0 4 0 669311802 4205408256 891332 33554432000 4194304 4625164 140733377399216 18446744073709551615 4351795 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27287/tid=27291] ppid=27285 vsize=4106844 CPUtime=112.82 cores=1,3,5,7
/proc/27287/task/27291/stat : 27291 (SArTagnan) R 27285 27287 27246 0 -1 4202560 1125558 0 0 0 11135 147 0 0 25 0 4 0 669311802 4205408256 891332 33554432000 4194304 4625164 140733377399216 18446744073709551615 4339157 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 538.72
Current children cumulated vsize (KiB) 4106844

[startup+282.301 s]
/proc/loadavg: 11.14 11.16 11.11 12/417 27328
/proc/meminfo: memFree=2934908/32950928 swapFree=64721856/67111528
[pid=27287] ppid=27285 vsize=4492488 CPUtime=674.53 cores=1,3,5,7
/proc/27287/stat : 27287 (SArTagnan) R 27285 27287 27246 0 -1 4202496 3314254 0 0 0 66988 465 0 0 25 0 4 0 669311636 4600307712 980647 33554432000 4194304 4625164 140733377399216 18446744073709551615 4390688 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27287/statm: 1123122 980647 337 106 0 1118625 0
[pid=27287/tid=27289] ppid=27285 vsize=4492488 CPUtime=189.89 cores=1,3,5,7

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

[pid=27287/tid=27291] ppid=27285 vsize=6679604 CPUtime=373.84 cores=1,3,5,7
/proc/27287/task/27291/stat : 27291 (SArTagnan) R 27285 27287 27246 0 -1 4202560 4275944 0 0 0 36812 572 0 0 25 0 4 0 669311802 6839914496 1361900 33554432000 4194304 4625164 140733377399216 18446744073709551615 4334485 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1670.19
Current children cumulated vsize (KiB) 6679604

[startup+822.301 s]
/proc/loadavg: 11.08 11.17 11.12 12/417 27343
/proc/meminfo: memFree=886336/32950928 swapFree=64721856/67111528
[pid=27287] ppid=27285 vsize=6679604 CPUtime=1817.83 cores=1,3,5,7
/proc/27287/stat : 27287 (SArTagnan) R 27285 27287 27246 0 -1 4202496 7579169 0 0 0 180712 1071 0 0 25 0 4 0 669311636 6839914496 1388359 33554432000 4194304 4625164 140733377399216 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27287/statm: 1669901 1388359 344 106 0 1665404 0
[pid=27287/tid=27289] ppid=27285 vsize=6679604 CPUtime=522.71 cores=1,3,5,7
/proc/27287/task/27289/stat : 27289 (SArTagnan) R 27285 27287 27246 0 -1 4202560 247626 0 0 0 52229 42 0 0 25 0 4 0 669311802 6839914496 1388359 33554432000 4194304 4625164 140733377399216 18446744073709551615 4330822 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27287/tid=27290] ppid=27285 vsize=6679604 CPUtime=471.53 cores=1,3,5,7
/proc/27287/task/27290/stat : 27290 (SArTagnan) R 27285 27287 27246 0 -1 4202560 275662 0 0 0 47088 65 0 0 25 0 4 0 669311802 6839914496 1388359 33554432000 4194304 4625164 140733377399216 18446744073709551615 4486792 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27287/tid=27291] ppid=27285 vsize=6679604 CPUtime=403.67 cores=1,3,5,7
/proc/27287/task/27291/stat : 27291 (SArTagnan) R 27285 27287 27246 0 -1 4202560 4518189 0 0 0 39758 609 0 0 25 0 4 0 669311802 6839914496 1388359 33554432000 4194304 4625164 140733377399216 18446744073709551615 4481840 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1817.83
Current children cumulated vsize (KiB) 6679604

[startup+882.3 s]
/proc/loadavg: 11.03 11.14 11.11 12/417 27344
/proc/meminfo: memFree=695824/32950928 swapFree=64721856/67111528
[pid=27287] ppid=27285 vsize=7219300 CPUtime=1945.53 cores=1,3,5,7
/proc/27287/stat : 27287 (SArTagnan) R 27285 27287 27246 0 -1 4202496 8137946 0 0 0 193404 1149 0 0 25 0 4 0 669311636 7392563200 1433318 33554432000 4194304 4625164 140733377399216 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27287/statm: 1804825 1433318 351 106 0 1800328 0
[pid=27287/tid=27289] ppid=27285 vsize=7219300 CPUtime=554.93 cores=1,3,5,7
/proc/27287/task/27289/stat : 27289 (SArTagnan) R 27285 27287 27246 0 -1 4202560 287425 0 0 0 55445 48 0 0 25 0 4 0 669311802 7392563200 1433318 33554432000 4194304 4625164 140733377399216 18446744073709551615 4330841 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27287/tid=27290] ppid=27285 vsize=7219300 CPUtime=501.57 cores=1,3,5,7
/proc/27287/task/27290/stat : 27290 (SArTagnan) R 27285 27287 27246 0 -1 4202560 340189 0 0 0 50084 73 0 0 25 0 4 0 669311802 7392563200 1433318 33554432000 4194304 4625164 140733377399216 18446744073709551615 4288786 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27287/tid=27291] ppid=27285 vsize=7219300 CPUtime=433.64 cores=1,3,5,7
/proc/27287/task/27291/stat : 27291 (SArTagnan) R 27285 27287 27246 0 -1 4202560 4843621 0 0 0 42707 657 0 0 25 0 4 0 669311802 7392563200 1433318 33554432000 4194304 4625164 140733377399216 18446744073709551615 4334238 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1945.53
Current children cumulated vsize (KiB) 7219300

[startup+942.301 s]
/proc/loadavg: 11.05 11.12 11.11 12/417 27346
/proc/meminfo: memFree=530384/32950928 swapFree=64721856/67111528
[pid=27287] ppid=27285 vsize=7153764 CPUtime=2090.06 cores=1,3,5,7
/proc/27287/stat : 27287 (SArTagnan) R 27285 27287 27246 0 -1 4202496 8402491 0 0 0 207810 1196 0 0 25 0 4 0 669311636 7325454336 1467149 33554432000 4194304 4625164 140733377399216 18446744073709551615 4512029 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27287/statm: 1788441 1467149 344 106 0 1783944 0
[pid=27287/tid=27289] ppid=27285 vsize=7153764 CPUtime=607.52 cores=1,3,5,7
/proc/27287/task/27289/stat : 27289 (SArTagnan) R 27285 27287 27246 0 -1 4202560 293275 0 0 0 60703 49 0 0 25 0 4 0 669311802 7325454336 1467149 33554432000 4194304 4625164 140733377399216 18446744073709551615 4331219 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27287/tid=27290] ppid=27285 vsize=7153764 CPUtime=531.47 cores=1,3,5,7
/proc/27287/task/27290/stat : 27290 (SArTagnan) R 27285 27287 27246 0 -1 4202560 348315 0 0 0 53070 77 0 0 25 0 4 0 669311802 7325454336 1467149 33554432000 4194304 4625164 140733377399216 18446744073709551615 4288731 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27287/tid=27291] ppid=27285 vsize=7153764 CPUtime=465.76 cores=1,3,5,7
/proc/27287/task/27291/stat : 27291 (SArTagnan) R 27285 27287 27246 0 -1 4202560 5075211 0 0 0 45881 695 0 0 25 0 4 0 669311802 7325454336 1467149 33554432000 4194304 4625164 140733377399216 18446744073709551615 4547280 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2090.06
Current children cumulated vsize (KiB) 7153764

[startup+1002.3 s]
/proc/loadavg: 11.14 11.14 11.11 12/417 27347
/proc/meminfo: memFree=310532/32950928 swapFree=64721856/67111528
[pid=27287] ppid=27285 vsize=7262360 CPUtime=2269.23 cores=1,3,5,7
/proc/27287/stat : 27287 (SArTagnan) R 27285 27287 27246 0 -1 4202496 8661799 0 0 0 225679 1244 0 0 25 0 4 0 669311636 7436656640 1510929 33554432000 4194304 4625164 140733377399216 18446744073709551615 4511930 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27287/statm: 1815590 1510929 352 106 0 1811093 0
[pid=27287/tid=27289] ppid=27285 vsize=7262360 CPUtime=667.52 cores=1,3,5,7
/proc/27287/task/27289/stat : 27289 (SArTagnan) R 27285 27287 27246 0 -1 4202560 297119 0 0 0 66702 50 0 0 25 0 4 0 669311802 7436656640 1510929 33554432000 4194304 4625164 140733377399216 18446744073709551615 4330958 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27287/tid=27290] ppid=27285 vsize=7262360 CPUtime=561.43 cores=1,3,5,7
/proc/27287/task/27290/stat : 27290 (SArTagnan) R 27285 27287 27246 0 -1 4202560 366992 0 0 0 56055 88 0 0 25 0 4 0 669311802 7436656640 1510929 33554432000 4194304 4625164 140733377399216 18446744073709551615 4278665 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27287/tid=27291] ppid=27285 vsize=7262360 CPUtime=500.62 cores=1,3,5,7
/proc/27287/task/27291/stat : 27291 (SArTagnan) R 27285 27287 27246 0 -1 4202560 5301626 0 0 0 49334 728 0 0 25 0 4 0 669311802 7436656640 1510929 33554432000 4194304 4625164 140733377399216 18446744073709551615 4547280 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2269.23
Current children cumulated vsize (KiB) 7262360

[startup+1062.3 s]
/proc/loadavg: 11.24 11.17 11.12 12/417 27349
/proc/meminfo: memFree=280680/32950928 swapFree=64721856/67111528
[pid=27287] ppid=27285 vsize=7492888 CPUtime=2448.43 cores=1,3,5,7
/proc/27287/stat : 27287 (SArTagnan) R 27285 27287 27246 0 -1 4202496 8998997 0 0 0 243552 1291 0 0 25 0 4 0 669311636 7672717312 1545870 33554432000 4194304 4625164 140733377399216 18446744073709551615 4512046 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27287/statm: 1873222 1545870 362 106 0 1868725 0
[pid=27287/tid=27289] ppid=27285 vsize=7492888 CPUtime=727.52 cores=1,3,5,7
/proc/27287/task/27289/stat : 27289 (SArTagnan) R 27285 27287 27246 0 -1 4202560 300595 0 0 0 72702 50 0 0 25 0 4 0 669311802 7672717312 1545870 33554432000 4194304 4625164 140733377399216 18446744073709551615 4330814 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27287/tid=27290] ppid=27285 vsize=7492888 CPUtime=597.22 cores=1,3,5,7
/proc/27287/task/27290/stat : 27290 (SArTagnan) R 27285 27287 27246 0 -1 4202560 370316 0 0 0 59633 89 0 0 25 0 4 0 669311802 7672717312 1545870 33554432000 4194304 4625164 140733377399216 18446744073709551615 4317256 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27287/tid=27291] ppid=27285 vsize=7492888 CPUtime=530.21 cores=1,3,5,7
/proc/27287/task/27291/stat : 27291 (SArTagnan) R 27285 27287 27246 0 -1 4202560 5563635 0 0 0 52258 763 0 0 25 0 4 0 669311802 7672717312 1545870 33554432000 4194304 4625164 140733377399216 18446744073709551615 4334728 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2448.43
Current children cumulated vsize (KiB) 7492888

[startup+1122.3 s]
/proc/loadavg: 11.24 11.18 11.12 12/417 27351
/proc/meminfo: memFree=126584/32950928 swapFree=64721856/67111528
[pid=27287] ppid=27285 vsize=7791864 CPUtime=2627.59 cores=1,3,5,7
/proc/27287/stat : 27287 (SArTagnan) R 27285 27287 27246 0 -1 4202496 9400564 0 0 0 261400 1359 0 0 25 0 4 0 669311636 7978868736 1600588 33554432000 4194304 4625164 140733377399216 18446744073709551615 4509196 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/27287/statm: 1947966 1600588 345 106 0 1943469 0
[pid=27287/tid=27289] ppid=27285 vsize=7791864 CPUtime=771.9 cores=1,3,5,7
/proc/27287/task/27289/stat : 27289 (SArTagnan) R 27285 27287 27246 0 -1 4202560 363366 0 0 0 77130 60 0 0 25 0 4 0 669311802 7978868736 1600588 33554432000 4194304 4625164 140733377399216 18446744073709551615 4330822 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27287/tid=27290] ppid=27285 vsize=7791864 CPUtime=645.9 cores=1,3,5,7
/proc/27287/task/27290/stat : 27290 (SArTagnan) R 27285 27287 27246 0 -1 4202560 435485 0 0 0 64488 102 0 0 25 0 4 0 669311802 7978868736 1600588 33554432000 4194304 4625164 140733377399216 18446744073709551615 4481855 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27287/tid=27291] ppid=27285 vsize=7791864 CPUtime=582 cores=1,3,5,7
/proc/27287/task/27291/stat : 27291 (SArTagnan) R 27285 27287 27246 0 -1 4202560 5820919 0 0 0 57395 805 0 0 25 0 4 0 669311802 7978868736 1600588 33554432000 4194304 4625164 140733377399216 18446744073709551615 4334238 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2627.59
Current children cumulated vsize (KiB) 7791864

[startup+1182.3 s]
/proc/loadavg: 11.23 11.19 11.13 12/417 27352
/proc/meminfo: memFree=742136/32950928 swapFree=64721856/67111528
[pid=27287] ppid=27285 vsize=8488332 CPUtime=2780.37 cores=1,3,5,7
/proc/27287/stat : 27287 (SArTagnan) R 27285 27287 27246 0 -1 4202496 9817944 0 0 0 276611 1426 0 0 25 0 4 0 669311636 8692051968 1714567 33554432000 4194304 4625164 140733377399216 18446744073709551615 4511930 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27287/statm: 2122083 1714567 345 106 0 2117586 0
[pid=27287/tid=27289] ppid=27285 vsize=8488332 CPUtime=805.69 cores=1,3,5,7
/proc/27287/task/27289/stat : 27289 (SArTagnan) R 27285 27287 27246 0 -1 4202560 459313 0 0 0 80495 74 0 0 25 0 4 0 669311802 8692051968 1714567 33554432000 4194304 4625164 140733377399216 18446744073709551615 4330841 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27287/tid=27290] ppid=27285 vsize=8488332 CPUtime=682.03 cores=1,3,5,7
/proc/27287/task/27290/stat : 27290 (SArTagnan) R 27285 27287 27246 0 -1 4202560 530553 0 0 0 68085 118 0 0 25 0 4 0 669311802 8692051968 1714567 33554432000 4194304 4625164 140733377399216 18446744073709551615 4317274 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27287/tid=27291] ppid=27285 vsize=8488332 CPUtime=628.6 cores=1,3,5,7
/proc/27287/task/27291/stat : 27291 (SArTagnan) R 27285 27287 27246 0 -1 4202560 5922450 0 0 0 62039 821 0 0 25 0 4 0 669311802 8692051968 1714567 33554432000 4194304 4625164 140733377399216 18446744073709551615 4334238 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2780.37
Current children cumulated vsize (KiB) 8488332

[startup+1242.3 s]
/proc/loadavg: 11.29 11.20 11.13 12/417 27354
/proc/meminfo: memFree=620796/32950928 swapFree=64721856/67111528
[pid=27287] ppid=27285 vsize=8488332 CPUtime=2949.13 cores=1,3,5,7
/proc/27287/stat : 27287 (SArTagnan) R 27285 27287 27246 0 -1 4202496 9842110 0 0 0 293480 1433 0 0 25 0 4 0 669311636 8692051968 1738225 33554432000 4194304 4625164 140733377399216 18446744073709551615 4500353 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27287/statm: 2122083 1738225 345 106 0 2117586 0
[pid=27287/tid=27289] ppid=27285 vsize=8488332 CPUtime=843.58 cores=1,3,5,7
/proc/27287/task/27289/stat : 27289 (SArTagnan) R 27285 27287 27246 0 -1 4202560 460612 0 0 0 84284 74 0 0 25 0 4 0 669311802 8692051968 1738225 33554432000 4194304 4625164 140733377399216 18446744073709551615 4330822 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27287/tid=27290] ppid=27285 vsize=8488332 CPUtime=723.67 cores=1,3,5,7
/proc/27287/task/27290/stat : 27290 (SArTagnan) R 27285 27287 27246 0 -1 4202560 538217 0 0 0 72245 122 0 0 25 0 4 0 669311802 8692051968 1738225 33554432000 4194304 4625164 140733377399216 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27287/tid=27291] ppid=27285 vsize=8488332 CPUtime=679.82 cores=1,3,5,7
/proc/27287/task/27291/stat : 27291 (SArTagnan) R 27285 27287 27246 0 -1 4202560 5924543 0 0 0 67161 821 0 0 25 0 4 0 669311802 8692051968 1738225 33554432000 4194304 4625164 140733377399216 18446744073709551615 4334273 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2949.13
Current children cumulated vsize (KiB) 8488332



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 11.26 11.20 11.13 12/417 27355
/proc/meminfo: memFree=393268/32950928 swapFree=64721856/67111528
[pid=27287] ppid=27285 vsize=8586640 CPUtime=3150.33 cores=1,3,5,7
/proc/27287/stat : 27287 (SArTagnan) R 27285 27287 27246 0 -1 4202496 9896520 0 0 0 313590 1443 0 0 25 0 4 0 669311636 8792719360 1786673 33554432000 4194304 4625164 140733377399216 18446744073709551615 4511930 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27287/statm: 2146660 1786673 348 106 0 2142163 0
[pid=27287/tid=27289] ppid=27285 vsize=8586640 CPUtime=878.23 cores=1,3,5,7
/proc/27287/task/27289/stat : 27289 (SArTagnan) R 27285 27287 27246 0 -1 4202560 460690 0 0 0 87749 74 0 0 25 0 4 0 669311802 8792719360 1786673 33554432000 4194304 4625164 140733377399216 18446744073709551615 4278669 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27287/tid=27290] ppid=27285 vsize=8586640 CPUtime=775.59 cores=1,3,5,7
/proc/27287/task/27290/stat : 27290 (SArTagnan) R 27285 27287 27246 0 -1 4202560 538338 0 0 0 77437 122 0 0 25 0 4 0 669311802 8792719360 1786673 33554432000 4194304 4625164 140733377399216 18446744073709551615 4482053 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27287/tid=27291] ppid=27285 vsize=8586640 CPUtime=736.74 cores=1,3,5,7
/proc/27287/task/27291/stat : 27291 (SArTagnan) R 27285 27287 27246 0 -1 4202560 5924557 0 0 0 72853 821 0 0 25 0 4 0 669311802 8792719360 1786673 33554432000 4194304 4625164 140733377399216 18446744073709551615 4477984 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3150.33
Current children cumulated vsize (KiB) 8586640

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

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

[startup+1300.22 s]
/proc/loadavg: 11.26 11.20 11.13 9/416 27356
/proc/meminfo: memFree=2836944/32950928 swapFree=64721856/67111528
[pid=27287] ppid=27285 vsize=0 CPUtime=3150.53 cores=1,3,5,7
/proc/27287/stat : 27287 (SArTagnan) Z 27285 27287 27246 0 -1 4203548 9896520 0 0 0 313591 1462 0 0 25 0 2 0 669311636 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27287/statm: 0 0 0 0 0 0 0
[pid=27287/tid=27290] ppid=27285 vsize=0 CPUtime=775.78 cores=1,3,5,7
/proc/27287/task/27290/stat : 27290 (SArTagnan) R 27285 27287 27246 0 -1 4203588 538338 0 0 0 77437 141 0 0 25 0 2 0 669311802 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3150.53
Current children cumulated vsize (KiB) 0

[startup+1300.3 s]
/proc/loadavg: 11.26 11.20 11.13 9/416 27356
/proc/meminfo: memFree=2836944/32950928 swapFree=64721856/67111528
[pid=27287] ppid=27285 vsize=0 CPUtime=3150.62 cores=1,3,5,7
/proc/27287/stat : 27287 (SArTagnan) Z 27285 27287 27246 0 -1 4203548 9896520 0 0 0 313591 1471 0 0 25 0 2 0 669311636 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27287/statm: 0 0 0 0 0 0 0
[pid=27287/tid=27290] ppid=27285 vsize=0 CPUtime=775.87 cores=1,3,5,7
/proc/27287/task/27290/stat : 27290 (SArTagnan) R 27285 27287 27246 0 -1 4203588 538338 0 0 0 77437 150 0 0 25 0 2 0 669311802 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3150.62
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1300.3
CPU time (s): 3150.63
CPU user time (s): 3135.92
CPU system time (s): 14.7108
CPU usage (%): 242.3
Max. virtual memory (cumulated for all children) (KiB): 9319344

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3135.92
system time used= 14.7108
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9896520
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= 45179
involuntary context switches= 39407

runsolver used 5.09023 second user time and 12.6531 second system time

The end

Launcher Data 

Begin job on node123 at 2011-05-16 22:18:38
IDJOB=3386230
IDBENCH=69571
IDSOLVER=1871
FILE ID=node123/3386230-1305577116
RUNJOBID= node123-1305577116-27265
PBS_JOBID= 13350215
Free space on /tmp= 73176 MiB

SOLVER NAME= SArTagnan 2011-05-15 (fixed)
BENCH NAME= SAT_RACE08/cnf/velev-vliw-uns-4.0-9-i1.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3386230-1305577116/watcher-3386230-1305577116 -o /tmp/evaluation-result-3386230-1305577116/solver-3386230-1305577116 -C 4800 -W 1300 -M 15500  SArTagnan HOME/instance-3386230-1305577116.cnf -threads=4

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

MD5SUM BENCH= 590cca3a58efdeb1c95ef988a53daa1d
RANDOM SEED=509580632

node123.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.838
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.67
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.838
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.15
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.838
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.838
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.82
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.838
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.74
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.838
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.80
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.838
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.838
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:       7046400 kB
Buffers:        344164 kB
Cached:        4930988 kB
SwapCached:      10520 kB
Active:       22170152 kB
Inactive:      3410776 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:       7046400 kB
SwapTotal:    67111528 kB
SwapFree:     64721856 kB
Dirty:           80396 kB
Writeback:           0 kB
AnonPages:    20303688 kB
Mapped:          30392 kB
Slab:           185488 kB
PageTables:      71540 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 107140452 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= 73188 MiB
End job on node123 at 2011-05-16 22:40:20