Trace number 3386215

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) 3876.01 1300.34

General information on the benchmark

NameSAT04/industrial/velev/vliw_unsat_2.0/
9dlx_vliw_at_b_iq6.used-as.sat04-347.cnf
MD5SUM580dc3969c4e46e50013253fd4ac9139
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark333.205
Satisfiable
(Un)Satisfiability was proved
Number of variables209724
Number of clauses3634677
Sum of the clauses size10547961
Maximum clause length169
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 23415202
Number of clauses of size 349840
Number of clauses of size 46998
Number of clauses of size 514973
Number of clauses of size over 5147663

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-3386215-1305582957/watcher-3386215-1305582957 -o /tmp/evaluation-result-3386215-1305582957/solver-3386215-1305582957 -C 4800 -W 1300 -M 15500 SArTagnan HOME/instance-3386215-1305582957.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: 8.97 9.04 8.60 6/438 6147
/proc/meminfo: memFree=17284552/32951132 swapFree=64496000/67111528
[pid=6147] ppid=6145 vsize=35736 CPUtime=0 cores=1,3,5,7
/proc/6147/stat : 6147 (SArTagnan) R 6145 6147 5668 0 -1 4202496 4094 0 0 0 0 0 0 0 23 0 1 0 669895556 36593664 4032 33554432000 4194304 4625164 140734757854464 18446744073709551615 4295708 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/6147/statm: 8934 4043 291 106 0 4437 0

[startup+0.0844589 s]
/proc/loadavg: 8.97 9.04 8.60 6/438 6147
/proc/meminfo: memFree=17284552/32951132 swapFree=64496000/67111528
[pid=6147] ppid=6145 vsize=127328 CPUtime=0.08 cores=1,3,5,7
/proc/6147/stat : 6147 (SArTagnan) R 6145 6147 5668 0 -1 4202496 7249 0 0 0 7 1 0 0 23 0 1 0 669895556 130383872 5582 33554432000 4194304 4625164 140734757854464 18446744073709551615 4339447 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/6147/statm: 31832 5582 298 106 0 27335 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 127328

[startup+0.100442 s]
/proc/loadavg: 8.97 9.04 8.60 6/438 6147
/proc/meminfo: memFree=17284552/32951132 swapFree=64496000/67111528
[pid=6147] ppid=6145 vsize=127328 CPUtime=0.09 cores=1,3,5,7
/proc/6147/stat : 6147 (SArTagnan) R 6145 6147 5668 0 -1 4202496 7440 0 0 0 8 1 0 0 23 0 1 0 669895556 130383872 5772 33554432000 4194304 4625164 140734757854464 18446744073709551615 4339447 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/6147/statm: 31832 5773 297 106 0 27335 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 127328

[startup+0.300412 s]
/proc/loadavg: 8.97 9.04 8.60 6/438 6147
/proc/meminfo: memFree=17284552/32951132 swapFree=64496000/67111528
[pid=6147] ppid=6145 vsize=143292 CPUtime=0.29 cores=1,3,5,7
/proc/6147/stat : 6147 (SArTagnan) R 6145 6147 5668 0 -1 4202496 14610 0 0 0 26 3 0 0 24 0 1 0 669895556 146731008 9591 33554432000 4194304 4625164 140734757854464 18446744073709551615 4339447 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/6147/statm: 35823 9591 303 106 0 31326 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 143292

[startup+0.700341 s]
/proc/loadavg: 8.97 9.04 8.60 6/438 6147
/proc/meminfo: memFree=17284552/32951132 swapFree=64496000/67111528
[pid=6147] ppid=6145 vsize=172624 CPUtime=0.69 cores=1,3,5,7
/proc/6147/stat : 6147 (SArTagnan) R 6145 6147 5668 0 -1 4202496 27511 0 0 0 63 6 0 0 25 0 1 0 669895556 176766976 17193 33554432000 4194304 4625164 140734757854464 18446744073709551615 210647146240 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/6147/statm: 43156 17193 329 106 0 38659 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 172624

[startup+1.50022 s]
/proc/loadavg: 8.97 9.04 8.60 8/439 6148
/proc/meminfo: memFree=17183864/32951132 swapFree=64496000/67111528
[pid=6147] ppid=6145 vsize=238652 CPUtime=1.49 cores=1,3,5,7
/proc/6147/stat : 6147 (SArTagnan) R 6145 6147 5668 0 -1 4202496 54637 0 0 0 138 11 0 0 25 0 1 0 669895556 244379648 32343 33554432000 4194304 4625164 140734757854464 18446744073709551615 210647146240 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/6147/statm: 59663 32343 476 106 0 55166 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 238652

[startup+3.10091 s]
/proc/loadavg: 8.97 9.04 8.60 13/442 6151
/proc/meminfo: memFree=16940336/32951132 swapFree=64496000/67111528
[pid=6147] ppid=6145 vsize=546780 CPUtime=6.06 cores=1,3,5,7
/proc/6147/stat : 6147 (SArTagnan) R 6145 6147 5668 0 -1 4202496 106411 0 0 0 589 17 0 0 25 0 4 0 669895556 559902720 83888 33554432000 4194304 4625164 140734757854464 18446744073709551615 4499327 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/6147/statm: 136695 83888 505 106 0 132198 0
[pid=6147/tid=6149] ppid=6145 vsize=546780 CPUtime=0.74 cores=1,3,5,7
/proc/6147/task/6149/stat : 6149 (SArTagnan) R 6145 6147 5668 0 -1 4202560 2498 0 0 0 74 0 0 0 25 0 4 0 669895717 559902720 83888 33554432000 4194304 4625164 140734757854464 18446744073709551615 4477965 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6147/tid=6150] ppid=6145 vsize=546780 CPUtime=1.48 cores=1,3,5,7
/proc/6147/task/6150/stat : 6150 (SArTagnan) R 6145 6147 5668 0 -1 4202560 4230 0 0 0 148 0 0 0 25 0 4 0 669895717 559902720 83888 33554432000 4194304 4625164 140734757854464 18446744073709551615 4479599 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6147/tid=6151] ppid=6145 vsize=546780 CPUtime=1.46 cores=1,3,5,7
/proc/6147/task/6151/stat : 6151 (SArTagnan) R 6145 6147 5668 0 -1 4202560 4719 0 0 0 146 0 0 0 25 0 4 0 669895717 559902720 83888 33554432000 4194304 4625164 140734757854464 18446744073709551615 4477913 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.06
Current children cumulated vsize (KiB) 546780

[startup+6.30037 s]
/proc/loadavg: 9.37 9.12 8.63 12/442 6151
/proc/meminfo: memFree=16908572/32951132 swapFree=64496000/67111528
[pid=6147] ppid=6145 vsize=585036 CPUtime=13.51 cores=1,3,5,7
/proc/6147/stat : 6147 (SArTagnan) R 6145 6147 5668 0 -1 4202496 115618 0 0 0 1325 26 0 0 25 0 4 0 669895556 599076864 92845 33554432000 4194304 4625164 140734757854464 18446744073709551615 4390688 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/6147/statm: 146259 92845 823 106 0 141762 0
[pid=6147/tid=6149] ppid=6145 vsize=585036 CPUtime=2.34 cores=1,3,5,7
/proc/6147/task/6149/stat : 6149 (SArTagnan) R 6145 6147 5668 0 -1 4202560 2498 0 0 0 234 0 0 0 25 0 4 0 669895717 599076864 92845 33554432000 4194304 4625164 140734757854464 18446744073709551615 4478009 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6147/tid=6150] ppid=6145 vsize=585036 CPUtime=3.51 cores=1,3,5,7
/proc/6147/task/6150/stat : 6150 (SArTagnan) R 6145 6147 5668 0 -1 4202560 4230 0 0 0 344 7 0 0 25 0 4 0 669895717 599076864 92845 33554432000 4194304 4625164 140734757854464 18446744073709551615 4479607 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6147/tid=6151] ppid=6145 vsize=585036 CPUtime=3.69 cores=1,3,5,7
/proc/6147/task/6151/stat : 6151 (SArTagnan) R 6145 6147 5668 0 -1 4202560 4719 0 0 0 369 0 0 0 25 0 4 0 669895717 599076864 92845 33554432000 4194304 4625164 140734757854464 18446744073709551615 4477965 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 13.51
Current children cumulated vsize (KiB) 585036

[startup+12.7003 s]
/proc/loadavg: 9.66 9.19 8.65 12/442 6152
/proc/meminfo: memFree=16897852/32951132 swapFree=64496000/67111528
[pid=6147] ppid=6145 vsize=585036 CPUtime=26.22 cores=1,3,5,7
/proc/6147/stat : 6147 (SArTagnan) R 6145 6147 5668 0 -1 4202496 116481 0 0 0 2595 27 0 0 25 0 4 0 669895556 599076864 93590 33554432000 4194304 4625164 140734757854464 18446744073709551615 4390631 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/6147/statm: 146259 93590 823 106 0 141762 0
[pid=6147/tid=6149] ppid=6145 vsize=585036 CPUtime=5.54 cores=1,3,5,7
/proc/6147/task/6149/stat : 6149 (SArTagnan) R 6145 6147 5668 0 -1 4202560 2506 0 0 0 554 0 0 0 25 0 4 0 669895717 599076864 93590 33554432000 4194304 4625164 140734757854464 18446744073709551615 4477968 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6147/tid=6150] ppid=6145 vsize=585036 CPUtime=6.71 cores=1,3,5,7
/proc/6147/task/6150/stat : 6150 (SArTagnan) R 6145 6147 5668 0 -1 4202560 4238 0 0 0 664 7 0 0 25 0 4 0 669895717 599076864 93590 33554432000 4194304 4625164 140734757854464 18446744073709551615 4477982 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6147/tid=6151] ppid=6145 vsize=585036 CPUtime=6.8 cores=1,3,5,7
/proc/6147/task/6151/stat : 6151 (SArTagnan) R 6145 6147 5668 0 -1 4202560 4719 0 0 0 680 0 0 0 25 0 4 0 669895717 599076864 93590 33554432000 4194304 4625164 140734757854464 18446744073709551615 4478009 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 26.22
Current children cumulated vsize (KiB) 585036

[startup+25.5011 s]
/proc/loadavg: 10.08 9.31 8.70 10/442 6152
/proc/meminfo: memFree=16897348/32951132 swapFree=64496000/67111528
[pid=6147] ppid=6145 vsize=585036 CPUtime=54.03 cores=1,3,5,7
/proc/6147/stat : 6147 (SArTagnan) R 6145 6147 5668 0 -1 4202496 117426 0 0 0 5373 30 0 0 25 0 4 0 669895556 599076864 94393 33554432000 4194304 4625164 140734757854464 18446744073709551615 4390609 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/6147/statm: 146259 94393 823 106 0 141762 0
[pid=6147/tid=6149] ppid=6145 vsize=585036 CPUtime=11.93 cores=1,3,5,7
/proc/6147/task/6149/stat : 6149 (SArTagnan) R 6145 6147 5668 0 -1 4202560 2507 0 0 0 1193 0 0 0 25 0 4 0 669895717 599076864 94393 33554432000 4194304 4625164 140734757854464 18446744073709551615 4477965 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6147/tid=6150] ppid=6145 vsize=585036 CPUtime=14.21 cores=1,3,5,7
/proc/6147/task/6150/stat : 6150 (SArTagnan) R 6145 6147 5668 0 -1 4202560 4314 0 0 0 1413 8 0 0 25 0 4 0 669895717 599076864 94393 33554432000 4194304 4625164 140734757854464 18446744073709551615 4479607 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6147/tid=6151] ppid=6145 vsize=585036 CPUtime=14.32 cores=1,3,5,7
/proc/6147/task/6151/stat : 6151 (SArTagnan) R 6145 6147 5668 0 -1 4202560 4721 0 0 0 1429 3 0 0 25 0 4 0 669895717 599076864 94393 33554432000 4194304 4625164 140734757854464 18446744073709551615 4479607 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 54.03
Current children cumulated vsize (KiB) 585036

[startup+51.1008 s]
/proc/loadavg: 9.93 9.33 8.72 10/442 6153
/proc/meminfo: memFree=16757680/32951132 swapFree=64496000/67111528
[pid=6147] ppid=6145 vsize=715044 CPUtime=130.44 cores=1,3,5,7
/proc/6147/stat : 6147 (SArTagnan) R 6145 6147 5668 0 -1 4202496 248645 0 0 0 12996 48 0 0 25 0 4 0 669895556 732205056 128083 33554432000 4194304 4625164 140734757854464 18446744073709551615 4390706 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/6147/statm: 178761 128083 1115 106 0 174264 0
[pid=6147/tid=6149] ppid=6145 vsize=715044 CPUtime=30.33 cores=1,3,5,7
/proc/6147/task/6149/stat : 6149 (SArTagnan) R 6145 6147 5668 0 -1 4202560 7436 0 0 0 3032 1 0 0 25 0 4 0 669895717 732205056 128083 33554432000 4194304 4625164 140734757854464 18446744073709551615 4352186 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6147/tid=6150] ppid=6145 vsize=715044 CPUtime=33.91 cores=1,3,5,7
/proc/6147/task/6150/stat : 6150 (SArTagnan) R 6145 6147 5668 0 -1 4202560 18191 0 0 0 3381 10 0 0 25 0 4 0 669895717 732205056 128083 33554432000 4194304 4625164 140734757854464 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6147/tid=6151] ppid=6145 vsize=715044 CPUtime=36.31 cores=1,3,5,7
/proc/6147/task/6151/stat : 6151 (SArTagnan) R 6145 6147 5668 0 -1 4202560 79172 0 0 0 3618 13 0 0 25 0 4 0 669895717 732205056 128083 33554432000 4194304 4625164 140734757854464 18446744073709551615 4553318 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 130.44
Current children cumulated vsize (KiB) 715044

[startup+102.317 s]
/proc/loadavg: 9.47 9.29 8.74 10/442 6185
/proc/meminfo: memFree=17886412/32951132 swapFree=64496000/67111528
[pid=6147] ppid=6145 vsize=953428 CPUtime=283.25 cores=1,3,5,7
/proc/6147/stat : 6147 (SArTagnan) R 6145 6147 5668 0 -1 4202496 373661 0 0 0 28252 73 0 0 25 0 4 0 669895556 976310272 172607 33554432000 4194304 4625164 140734757854464 18446744073709551615 4390560 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/6147/statm: 238357 172607 1491 106 0 233860 0
[pid=6147/tid=6149] ppid=6145 vsize=953428 CPUtime=74.56 cores=1,3,5,7
/proc/6147/task/6149/stat : 6149 (SArTagnan) R 6145 6147 5668 0 -1 4202560 13423 0 0 0 7454 2 0 0 25 0 4 0 669895717 976310272 172607 33554432000 4194304 4625164 140734757854464 18446744073709551615 4288672 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6147/tid=6150] ppid=6145 vsize=953428 CPUtime=59.2 cores=1,3,5,7
/proc/6147/task/6150/stat : 6150 (SArTagnan) R 6145 6147 5668 0 -1 4202560 21326 0 0 0 5905 15 0 0 25 0 4 0 669895717 976310272 172607 33554432000 4194304 4625164 140734757854464 18446744073709551615 4486939 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6147/tid=6151] ppid=6145 vsize=953428 CPUtime=85.84 cores=1,3,5,7
/proc/6147/task/6151/stat : 6151 (SArTagnan) R 6145 6147 5668 0 -1 4202560 143961 0 0 0 8560 24 0 0 25 0 4 0 669895717 976310272 172607 33554432000 4194304 4625164 140734757854464 18446744073709551615 4547431 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 283.25
Current children cumulated vsize (KiB) 953428

[startup+162.301 s]
/proc/loadavg: 9.27 9.27 8.76 10/442 6187
/proc/meminfo: memFree=17371176/32951132 swapFree=64496000/67111528
[pid=6147] ppid=6145 vsize=1428984 CPUtime=462.31 cores=1,3,5,7
/proc/6147/stat : 6147 (SArTagnan) R 6145 6147 5668 0 -1 4202496 656889 0 0 0 46120 111 0 0 20 0 4 0 669895556 1463279616 266413 33554432000 4194304 4625164 140734757854464 18446744073709551615 4360299 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/6147/statm: 357246 266413 605 106 0 352749 0
[pid=6147/tid=6149] ppid=6145 vsize=1428984 CPUtime=105.84 cores=1,3,5,7
/proc/6147/task/6149/stat : 6149 (SArTagnan) R 6145 6147 5668 0 -1 4202560 33942 0 0 0 10579 5 0 0 22 0 4 0 669895717 1463279616 266413 33554432000 4194304 4625164 140734757854464 18446744073709551615 4351824 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6147/tid=6150] ppid=6145 vsize=1428984 CPUtime=90.37 cores=1,3,5,7
/proc/6147/task/6150/stat : 6150 (SArTagnan) R 6145 6147 5668 0 -1 4202560 31066 0 0 0 9020 17 0 0 25 0 4 0 669895717 1463279616 266413 33554432000 4194304 4625164 140734757854464 18446744073709551615 4351731 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6147/tid=6151] ppid=6145 vsize=1428984 CPUtime=144.18 cores=1,3,5,7
/proc/6147/task/6151/stat : 6151 (SArTagnan) R 6145 6147 5668 0 -1 4202560 241478 0 0 0 14381 37 0 0 25 0 4 0 669895717 1463279616 266413 33554432000 4194304 4625164 140734757854464 18446744073709551615 4554639 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 1428984

[startup+222.301 s]
/proc/loadavg: 9.23 9.26 8.79 10/442 6188
/proc/meminfo: memFree=16877768/32951132 swapFree=64496000/67111528
[pid=6147] ppid=6145 vsize=1986348 CPUtime=641.34 cores=1,3,5,7
/proc/6147/stat : 6147 (SArTagnan) R 6145 6147 5668 0 -1 4202496 1104566 0 0 0 63943 191 0 0 25 0 4 0 669895556 2034020352 368142 33554432000 4194304 4625164 140734757854464 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/6147/statm: 496587 368142 453 106 0 492090 0
[pid=6147/tid=6149] ppid=6145 vsize=1986348 CPUtime=151.51 cores=1,3,5,7
/proc/6147/task/6149/stat : 6149 (SArTagnan) R 6145 6147 5668 0 -1 4202560 76487 0 0 0 15132 19 0 0 25 0 4 0 669895717 2034020352 368143 33554432000 4194304 4625164 140734757854464 18446744073709551615 4464550 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6147/tid=6150] ppid=6145 vsize=1986348 CPUtime=136.6 cores=1,3,5,7
/proc/6147/task/6150/stat : 6150 (SArTagnan) R 6145 6147 5668 0 -1 4202560 59159 0 0 0 13633 27 0 0 25 0 4 0 669895717 2034020352 368143 33554432000 4194304 4625164 140734757854464 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6147/tid=6151] ppid=6145 vsize=1986348 CPUtime=182.21 cores=1,3,5,7
/proc/6147/task/6151/stat : 6151 (SArTagnan) R 6145 6147 5668 0 -1 4202560 438460 0 0 0 18153 68 0 0 25 0 4 0 669895717 2034020352 368143 33554432000 4194304 4625164 140734757854464 18446744073709551615 4334728 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 641.34
Current children cumulated vsize (KiB) 1986348

[startup+282.301 s]
/proc/loadavg: 9.22 9.25 8.82 10/442 6190
/proc/meminfo: memFree=16518276/32951132 swapFree=64496000/67111528
[pid=6147] ppid=6145 vsize=2370936 CPUtime=820.38 cores=1,3,5,7
/proc/6147/stat : 6147 (SArTagnan) R 6145 6147 5668 0 -1 4202496 1504636 0 0 0 81770 268 0 0 25 0 4 0 669895556 2427838464 448797 33554432000 4194304 4625164 140734757854464 18446744073709551615 4391889 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6147/statm: 592734 448797 345 106 0 588237 0
[pid=6147/tid=6149] ppid=6145 vsize=2370936 CPUtime=192.86 cores=1,3,5,7

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

[pid=6147/tid=6151] ppid=6145 vsize=6000468 CPUtime=518.01 cores=1,3,5,7
/proc/6147/task/6151/stat : 6151 (SArTagnan) R 6145 6147 5668 0 -1 4202560 1431532 0 0 0 51585 216 0 0 25 0 4 0 669895717 6144479232 1198091 33554432000 4194304 4625164 140734757854464 18446744073709551615 210646843719 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2253.17
Current children cumulated vsize (KiB) 6000468

[startup+822.301 s]
/proc/loadavg: 9.27 9.24 8.98 10/442 6216
/proc/meminfo: memFree=12417304/32951132 swapFree=64496000/67111528
[pid=6147] ppid=6145 vsize=6581604 CPUtime=2432.18 cores=1,3,5,7
/proc/6147/stat : 6147 (SArTagnan) R 6145 6147 5668 0 -1 4202496 4821175 0 0 0 242405 813 0 0 25 0 4 0 669895556 6739562496 1381098 33554432000 4194304 4625164 140734757854464 18446744073709551615 4511930 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6147/statm: 1645401 1381098 378 106 0 1640904 0
[pid=6147/tid=6149] ppid=6145 vsize=6581604 CPUtime=657.27 cores=1,3,5,7
/proc/6147/task/6149/stat : 6149 (SArTagnan) R 6145 6147 5668 0 -1 4202560 304209 0 0 0 65637 90 0 0 25 0 4 0 669895717 6739562496 1381098 33554432000 4194304 4625164 140734757854464 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6147/tid=6150] ppid=6145 vsize=6581604 CPUtime=517.95 cores=1,3,5,7
/proc/6147/task/6150/stat : 6150 (SArTagnan) R 6145 6147 5668 0 -1 4202560 309675 0 0 0 51692 103 0 0 25 0 4 0 669895717 6739562496 1381098 33554432000 4194304 4625164 140734757854464 18446744073709551615 4317225 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6147/tid=6151] ppid=6145 vsize=6581604 CPUtime=562.32 cores=1,3,5,7
/proc/6147/task/6151/stat : 6151 (SArTagnan) R 6145 6147 5668 0 -1 4202560 1720896 0 0 0 55975 257 0 0 25 0 4 0 669895717 6739562496 1381098 33554432000 4194304 4625164 140734757854464 18446744073709551615 4334485 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2432.18
Current children cumulated vsize (KiB) 6581604

[startup+882.301 s]
/proc/loadavg: 9.22 9.22 8.99 10/442 6218
/proc/meminfo: memFree=11503540/32951132 swapFree=64496000/67111528
[pid=6147] ppid=6145 vsize=8089368 CPUtime=2611.57 cores=1,3,5,7
/proc/6147/stat : 6147 (SArTagnan) R 6145 6147 5668 0 -1 4202496 5857775 0 0 0 260180 977 0 0 25 0 4 0 669895556 8283512832 1606475 33554432000 4194304 4625164 140734757854464 18446744073709551615 4511906 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6147/statm: 2022342 1606475 348 106 0 2017845 0
[pid=6147/tid=6149] ppid=6145 vsize=8089368 CPUtime=717.27 cores=1,3,5,7
/proc/6147/task/6149/stat : 6149 (SArTagnan) R 6145 6147 5668 0 -1 4202560 304315 0 0 0 71637 90 0 0 25 0 4 0 669895717 8283512832 1606475 33554432000 4194304 4625164 140734757854464 18446744073709551615 4330841 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6147/tid=6150] ppid=6145 vsize=8089368 CPUtime=564.46 cores=1,3,5,7
/proc/6147/task/6150/stat : 6150 (SArTagnan) R 6145 6147 5668 0 -1 4202560 348856 0 0 0 56334 112 0 0 25 0 4 0 669895717 8283512832 1606475 33554432000 4194304 4625164 140734757854464 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6147/tid=6151] ppid=6145 vsize=8089368 CPUtime=595.21 cores=1,3,5,7
/proc/6147/task/6151/stat : 6151 (SArTagnan) R 6145 6147 5668 0 -1 4202560 1928810 0 0 0 59230 291 0 0 25 0 4 0 669895717 8283512832 1606475 33554432000 4194304 4625164 140734757854464 18446744073709551615 4339078 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2611.57
Current children cumulated vsize (KiB) 8089368

[startup+942.301 s]
/proc/loadavg: 9.15 9.21 9.00 10/442 6220
/proc/meminfo: memFree=11103268/32951132 swapFree=64496000/67111528
[pid=6147] ppid=6145 vsize=8249144 CPUtime=2790.7 cores=1,3,5,7
/proc/6147/stat : 6147 (SArTagnan) R 6145 6147 5668 0 -1 4202496 6128399 0 0 0 278044 1026 0 0 25 0 4 0 669895556 8447123456 1700016 33554432000 4194304 4625164 140734757854464 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/6147/statm: 2062286 1700016 347 106 0 2057789 0
[pid=6147/tid=6149] ppid=6145 vsize=8249144 CPUtime=770.16 cores=1,3,5,7
/proc/6147/task/6149/stat : 6149 (SArTagnan) R 6145 6147 5668 0 -1 4202560 304349 0 0 0 76926 90 0 0 25 0 4 0 669895717 8447123456 1700016 33554432000 4194304 4625164 140734757854464 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6147/tid=6150] ppid=6145 vsize=8249144 CPUtime=622.37 cores=1,3,5,7
/proc/6147/task/6150/stat : 6150 (SArTagnan) R 6145 6147 5668 0 -1 4202560 357752 0 0 0 62121 116 0 0 25 0 4 0 669895717 8447123456 1700016 33554432000 4194304 4625164 140734757854464 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6147/tid=6151] ppid=6145 vsize=8249144 CPUtime=626.72 cores=1,3,5,7
/proc/6147/task/6151/stat : 6151 (SArTagnan) R 6145 6147 5668 0 -1 4202560 2102951 0 0 0 62356 316 0 0 25 0 4 0 669895717 8447123456 1700016 33554432000 4194304 4625164 140734757854464 18446744073709551615 4339447 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2790.7
Current children cumulated vsize (KiB) 8249144

[startup+1002.3 s]
/proc/loadavg: 9.19 9.21 9.01 10/442 6221
/proc/meminfo: memFree=10325156/32951132 swapFree=64496000/67111528
[pid=6147] ppid=6145 vsize=8690216 CPUtime=2969.8 cores=1,3,5,7
/proc/6147/stat : 6147 (SArTagnan) R 6145 6147 5668 0 -1 4202496 6440049 0 0 0 295886 1094 0 0 25 0 4 0 669895556 8898781184 1887762 33554432000 4194304 4625164 140734757854464 18446744073709551615 4360205 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/6147/statm: 2172554 1887762 347 106 0 2168057 0
[pid=6147/tid=6149] ppid=6145 vsize=8690216 CPUtime=830.16 cores=1,3,5,7
/proc/6147/task/6149/stat : 6149 (SArTagnan) R 6145 6147 5668 0 -1 4202560 304534 0 0 0 82926 90 0 0 25 0 4 0 669895717 8898781184 1887762 33554432000 4194304 4625164 140734757854464 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6147/tid=6150] ppid=6145 vsize=8690216 CPUtime=660.43 cores=1,3,5,7
/proc/6147/task/6150/stat : 6150 (SArTagnan) R 6145 6147 5668 0 -1 4202560 367154 0 0 0 65922 121 0 0 25 0 4 0 669895717 8898781184 1887762 33554432000 4194304 4625164 140734757854464 18446744073709551615 4278488 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6147/tid=6151] ppid=6145 vsize=8690216 CPUtime=674.48 cores=1,3,5,7
/proc/6147/task/6151/stat : 6151 (SArTagnan) R 6145 6147 5668 0 -1 4202560 2213631 0 0 0 67115 333 0 0 25 0 4 0 669895717 8898781184 1887762 33554432000 4194304 4625164 140734757854464 18446744073709551615 4547280 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2969.8
Current children cumulated vsize (KiB) 8690216

[startup+1062.3 s]
/proc/loadavg: 9.16 9.20 9.02 10/442 6223
/proc/meminfo: memFree=7639844/32951132 swapFree=64496000/67111528
[pid=6147] ppid=6145 vsize=13829220 CPUtime=3148.93 cores=1,3,5,7
/proc/6147/stat : 6147 (SArTagnan) R 6145 6147 5668 0 -1 4202496 7297161 0 0 0 313669 1224 0 0 25 0 4 0 669895556 14161121280 2734629 33554432000 4194304 4625164 140734757854464 18446744073709551615 210646843861 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/6147/statm: 3457305 2734658 56026 106 0 3452808 0
[pid=6147/tid=6149] ppid=6145 vsize=13829220 CPUtime=879.9 cores=1,3,5,7
/proc/6147/task/6149/stat : 6149 (SArTagnan) R 6145 6147 5668 0 -1 4202560 304899 0 0 0 87900 90 0 0 25 0 4 0 669895717 14161121280 2734670 33554432000 4194304 4625164 140734757854464 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6147/tid=6150] ppid=6145 vsize=13829220 CPUtime=700.93 cores=1,3,5,7
/proc/6147/task/6150/stat : 6150 (SArTagnan) R 6145 6147 5668 0 -1 4202560 370633 0 0 0 69969 124 0 0 25 0 4 0 669895717 14161121280 2734686 33554432000 4194304 4625164 140734757854464 18446744073709551615 4331194 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6147/tid=6151] ppid=6145 vsize=13829220 CPUtime=732.65 cores=1,3,5,7
/proc/6147/task/6151/stat : 6151 (SArTagnan) R 6145 6147 5668 0 -1 4202560 2216572 0 0 0 72932 333 0 0 25 0 4 0 669895717 14161121280 2734699 33554432000 4194304 4625164 140734757854464 18446744073709551615 4339591 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3148.93
Current children cumulated vsize (KiB) 13829220

[startup+1122.3 s]
/proc/loadavg: 9.12 9.18 9.02 10/442 6224
/proc/meminfo: memFree=9560400/32951132 swapFree=64496000/67111528
[pid=6147] ppid=6145 vsize=10501752 CPUtime=3328.03 cores=1,3,5,7
/proc/6147/stat : 6147 (SArTagnan) R 6145 6147 5668 0 -1 4202496 7463772 0 0 0 331544 1259 0 0 25 0 4 0 669895556 10753794048 2067312 33554432000 4194304 4625164 140734757854464 18446744073709551615 4511930 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/6147/statm: 2625438 2067312 347 106 0 2620941 0
[pid=6147/tid=6149] ppid=6145 vsize=10501752 CPUtime=939.53 cores=1,3,5,7
/proc/6147/task/6149/stat : 6149 (SArTagnan) R 6145 6147 5668 0 -1 4202560 304959 0 0 0 93863 90 0 0 25 0 4 0 669895717 10753794048 2067312 33554432000 4194304 4625164 140734757854464 18446744073709551615 4330576 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6147/tid=6150] ppid=6145 vsize=10501752 CPUtime=744.06 cores=1,3,5,7
/proc/6147/task/6150/stat : 6150 (SArTagnan) R 6145 6147 5668 0 -1 4202560 370714 0 0 0 74282 124 0 0 25 0 4 0 669895717 10753794048 2067312 33554432000 4194304 4625164 140734757854464 18446744073709551615 4330590 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6147/tid=6151] ppid=6145 vsize=10501752 CPUtime=778.33 cores=1,3,5,7
/proc/6147/task/6151/stat : 6151 (SArTagnan) R 6145 6147 5668 0 -1 4202560 2218889 0 0 0 77499 334 0 0 25 0 4 0 669895717 10753794048 2067312 33554432000 4194304 4625164 140734757854464 18446744073709551615 4334728 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3328.03
Current children cumulated vsize (KiB) 10501752

[startup+1182.3 s]
/proc/loadavg: 9.16 9.17 9.02 10/442 6226
/proc/meminfo: memFree=9433664/32951132 swapFree=64496000/67111528
[pid=6147] ppid=6145 vsize=10576040 CPUtime=3507.15 cores=1,3,5,7
/proc/6147/stat : 6147 (SArTagnan) R 6145 6147 5668 0 -1 4202496 7492090 0 0 0 349448 1267 0 0 25 0 4 0 669895556 10829864960 2094514 33554432000 4194304 4625164 140734757854464 18446744073709551615 4511930 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6147/statm: 2644010 2094514 347 106 0 2639513 0
[pid=6147/tid=6149] ppid=6145 vsize=10576040 CPUtime=999.53 cores=1,3,5,7
/proc/6147/task/6149/stat : 6149 (SArTagnan) R 6145 6147 5668 0 -1 4202560 305121 0 0 0 99863 90 0 0 25 0 4 0 669895717 10829864960 2094514 33554432000 4194304 4625164 140734757854464 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6147/tid=6150] ppid=6145 vsize=10576040 CPUtime=782.66 cores=1,3,5,7
/proc/6147/task/6150/stat : 6150 (SArTagnan) R 6145 6147 5668 0 -1 4202560 370800 0 0 0 78142 124 0 0 25 0 4 0 669895717 10829864960 2094514 33554432000 4194304 4625164 140734757854464 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6147/tid=6151] ppid=6145 vsize=10576040 CPUtime=829.17 cores=1,3,5,7
/proc/6147/task/6151/stat : 6151 (SArTagnan) R 6145 6147 5668 0 -1 4202560 2221866 0 0 0 82583 334 0 0 25 0 4 0 669895717 10829864960 2094514 33554432000 4194304 4625164 140734757854464 18446744073709551615 4579358 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3507.15
Current children cumulated vsize (KiB) 10576040

[startup+1242.3 s]
/proc/loadavg: 9.13 9.16 9.02 10/442 6228
/proc/meminfo: memFree=9266244/32951132 swapFree=64496000/67111528
[pid=6147] ppid=6145 vsize=11039120 CPUtime=3686.26 cores=1,3,5,7
/proc/6147/stat : 6147 (SArTagnan) R 6145 6147 5668 0 -1 4202496 7684062 0 0 0 367331 1295 0 0 25 0 4 0 669895556 11304058880 2130126 33554432000 4194304 4625164 140734757854464 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6147/statm: 2759780 2130126 347 106 0 2755283 0
[pid=6147/tid=6149] ppid=6145 vsize=11039120 CPUtime=1059.53 cores=1,3,5,7
/proc/6147/task/6149/stat : 6149 (SArTagnan) R 6145 6147 5668 0 -1 4202560 305238 0 0 0 105863 90 0 0 25 0 4 0 669895717 11304058880 2130126 33554432000 4194304 4625164 140734757854464 18446744073709551615 4330841 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6147/tid=6150] ppid=6145 vsize=11039120 CPUtime=841.77 cores=1,3,5,7
/proc/6147/task/6150/stat : 6150 (SArTagnan) R 6145 6147 5668 0 -1 4202560 371667 0 0 0 84053 124 0 0 25 0 4 0 669895717 11304058880 2130126 33554432000 4194304 4625164 140734757854464 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6147/tid=6151] ppid=6145 vsize=11039120 CPUtime=859.17 cores=1,3,5,7
/proc/6147/task/6151/stat : 6151 (SArTagnan) R 6145 6147 5668 0 -1 4202560 2222141 0 0 0 85582 335 0 0 25 0 4 0 669895717 11304058880 2130126 33554432000 4194304 4625164 140734757854464 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3686.26
Current children cumulated vsize (KiB) 11039120



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 7.96 8.88 8.93 6/433 6247
/proc/meminfo: memFree=10071376/32951132 swapFree=64496000/67111528
[pid=6147] ppid=6145 vsize=11046004 CPUtime=3875.65 cores=1,3,5,7
/proc/6147/stat : 6147 (SArTagnan) R 6145 6147 5668 0 -1 4202496 7701010 0 0 0 386266 1299 0 0 25 0 4 0 669895556 11311108096 2146238 33554432000 4194304 4625164 140734757854464 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6147/statm: 2761501 2146238 347 106 0 2757004 0
[pid=6147/tid=6149] ppid=6145 vsize=11046004 CPUtime=1117.25 cores=1,3,5,7
/proc/6147/task/6149/stat : 6149 (SArTagnan) R 6145 6147 5668 0 -1 4202560 305357 0 0 0 111635 90 0 0 25 0 4 0 669895717 11311108096 2146238 33554432000 4194304 4625164 140734757854464 18446744073709551615 4330610 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6147/tid=6150] ppid=6145 vsize=11046004 CPUtime=898.63 cores=1,3,5,7
/proc/6147/task/6150/stat : 6150 (SArTagnan) R 6145 6147 5668 0 -1 4202560 371790 0 0 0 89739 124 0 0 25 0 4 0 669895717 11311108096 2146238 33554432000 4194304 4625164 140734757854464 18446744073709551615 4330841 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6147/tid=6151] ppid=6145 vsize=11046004 CPUtime=896.58 cores=1,3,5,7
/proc/6147/task/6151/stat : 6151 (SArTagnan) R 6145 6147 5668 0 -1 4202560 2224143 0 0 0 89323 335 0 0 25 0 4 0 669895717 11311108096 2146238 33554432000 4194304 4625164 140734757854464 18446744073709551615 4334261 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3875.65
Current children cumulated vsize (KiB) 11046004

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: 7.96 8.88 8.93 3/432 6248
/proc/meminfo: memFree=12735400/32951132 swapFree=64496000/67111528
[pid=6147] ppid=6145 vsize=0 CPUtime=3875.88 cores=1,3,5,7
/proc/6147/stat : 6147 (SArTagnan) Z 6145 6147 5668 0 -1 4203548 7701010 0 0 0 386270 1318 0 0 25 0 2 0 669895556 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6147/statm: 0 0 0 0 0 0 0
[pid=6147/tid=6150] ppid=6145 vsize=0 CPUtime=898.84 cores=1,3,5,7
/proc/6147/task/6150/stat : 6150 (SArTagnan) R 6145 6147 5668 0 -1 4203588 371790 0 0 0 89740 144 0 0 25 0 2 0 669895717 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3875.88
Current children cumulated vsize (KiB) 0

[startup+1300.3 s]
/proc/loadavg: 7.96 8.88 8.93 3/432 6248
/proc/meminfo: memFree=12735400/32951132 swapFree=64496000/67111528
[pid=6147] ppid=6145 vsize=0 CPUtime=3875.97 cores=1,3,5,7
/proc/6147/stat : 6147 (SArTagnan) Z 6145 6147 5668 0 -1 4203548 7701010 0 0 0 386270 1327 0 0 25 0 2 0 669895556 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6147/statm: 0 0 0 0 0 0 0
[pid=6147/tid=6150] ppid=6145 vsize=0 CPUtime=898.92 cores=1,3,5,7
/proc/6147/task/6150/stat : 6150 (SArTagnan) R 6145 6147 5668 0 -1 4203588 371790 0 0 0 89740 152 0 0 25 0 2 0 669895717 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3875.97
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1300.34
CPU time (s): 3876.01
CPU user time (s): 3862.71
CPU system time (s): 13.308
CPU usage (%): 298.078
Max. virtual memory (cumulated for all children) (KiB): 13829220

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3862.71
system time used= 13.308
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7701010
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= 44496
involuntary context switches= 34610

runsolver used 5.11922 second user time and 13.9159 second system time

The end

Launcher Data 

Begin job on node129 at 2011-05-16 23:55:59
IDJOB=3386215
IDBENCH=85007
IDSOLVER=1871
FILE ID=node129/3386215-1305582957
RUNJOBID= node129-1305581735-6062
PBS_JOBID= 13350224
Free space on /tmp= 73204 MiB

SOLVER NAME= SArTagnan 2011-05-15 (fixed)
BENCH NAME= SAT04/industrial/velev/vliw_unsat_2.0/9dlx_vliw_at_b_iq6.used-as.sat04-347.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3386215-1305582957/watcher-3386215-1305582957 -o /tmp/evaluation-result-3386215-1305582957/solver-3386215-1305582957 -C 4800 -W 1300 -M 15500  SArTagnan HOME/instance-3386215-1305582957.cnf -threads=4

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

MD5SUM BENCH= 580dc3969c4e46e50013253fd4ac9139
RANDOM SEED=1317540613

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.831
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:     32951132 kB
MemFree:      17284584 kB
Buffers:        292668 kB
Cached:        7102516 kB
SwapCached:      52664 kB
Active:        6415968 kB
Inactive:      8986856 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      17284584 kB
SwapTotal:    67111528 kB
SwapFree:     64496000 kB
Dirty:           77116 kB
Writeback:           0 kB
AnonPages:     7964056 kB
Mapped:          23724 kB
Slab:           143920 kB
PageTables:      52912 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS: 118085532 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73208 MiB
End job on node129 at 2011-05-17 00:17:41