Trace number 3281585

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SArTagnan 2011-03-24? (TO) 4800.58 1203.66

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

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3281585-1304040888/watcher-3281585-1304040888 -o /tmp/evaluation-result-3281585-1304040888/solver-3281585-1304040888 -C 4800 -W 1300 -M 15500 SArTagnan HOME/instance-3281585-1304040888.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: 5.83 5.01 5.86 2/174 29068
/proc/meminfo: memFree=24531348/32951124 swapFree=67111348/67111528
[pid=29068] ppid=29066 vsize=20912 CPUtime=0 cores=0,2,4,6
/proc/29068/stat : 29068 (SArTagnan) R 29066 29068 28460 0 -1 4202496 1005 0 0 0 0 0 0 0 22 0 1 0 594319503 21413888 943 33554432000 4194304 4623224 140735908084224 18446744073709551615 4315013 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/29068/statm: 5228 945 290 105 0 732 0

[startup+0.0211749 s]
/proc/loadavg: 5.83 5.01 5.86 2/174 29068
/proc/meminfo: memFree=24531348/32951124 swapFree=67111348/67111528
[pid=29068] ppid=29066 vsize=108292 CPUtime=0.01 cores=0,2,4,6
/proc/29068/stat : 29068 (SArTagnan) R 29066 29068 28460 0 -1 4202496 3723 0 0 0 1 0 0 0 22 0 1 0 594319503 110891008 3439 33554432000 4194304 4623224 140735908084224 18446744073709551615 252458065664 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/29068/statm: 27073 3440 297 105 0 22577 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 108292

[startup+0.101175 s]
/proc/loadavg: 5.83 5.01 5.86 2/174 29068
/proc/meminfo: memFree=24531348/32951124 swapFree=67111348/67111528
[pid=29068] ppid=29066 vsize=115756 CPUtime=0.09 cores=0,2,4,6
/proc/29068/stat : 29068 (SArTagnan) R 29066 29068 28460 0 -1 4202496 8180 0 0 0 9 0 0 0 22 0 1 0 594319503 118534144 4991 33554432000 4194304 4623224 140735908084224 18446744073709551615 252458065664 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/29068/statm: 28939 4991 297 105 0 24443 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 115756

[startup+0.301137 s]
/proc/loadavg: 5.83 5.01 5.86 2/174 29068
/proc/meminfo: memFree=24531348/32951124 swapFree=67111348/67111528
[pid=29068] ppid=29066 vsize=130908 CPUtime=0.29 cores=0,2,4,6
/proc/29068/stat : 29068 (SArTagnan) R 29066 29068 28460 0 -1 4202496 14640 0 0 0 28 1 0 0 23 0 1 0 594319503 134049792 9290 33554432000 4194304 4623224 140735908084224 18446744073709551615 252458065664 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/29068/statm: 32727 9292 311 105 0 28231 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 130908

[startup+0.701065 s]
/proc/loadavg: 5.83 5.01 5.86 2/174 29068
/proc/meminfo: memFree=24531348/32951124 swapFree=67111348/67111528
[pid=29068] ppid=29066 vsize=168716 CPUtime=0.69 cores=0,2,4,6
/proc/29068/stat : 29068 (SArTagnan) R 29066 29068 28460 0 -1 4202496 31592 0 0 0 66 3 0 0 25 0 1 0 594319503 172765184 16865 33554432000 4194304 4623224 140735908084224 18446744073709551615 252458065664 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/29068/statm: 42179 16865 371 105 0 37683 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 168716

[startup+1.50092 s]
/proc/loadavg: 5.83 5.01 5.86 3/175 29069
/proc/meminfo: memFree=24434252/32951124 swapFree=67111348/67111528
[pid=29068] ppid=29066 vsize=253440 CPUtime=1.49 cores=0,2,4,6
/proc/29068/stat : 29068 (SArTagnan) R 29066 29068 28460 0 -1 4202496 76853 0 0 0 139 10 0 0 25 0 1 0 594319503 259522560 43449 33554432000 4194304 4623224 140735908084224 18446744073709551615 252457726661 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/29068/statm: 63360 43449 301 105 0 58864 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 253440

[startup+3.10057 s]
/proc/loadavg: 5.83 5.01 5.86 6/178 29072
/proc/meminfo: memFree=24041892/32951124 swapFree=67111348/67111528
[pid=29068] ppid=29066 vsize=900668 CPUtime=7.51 cores=0,2,4,6
/proc/29068/stat : 29068 (SArTagnan) R 29066 29068 28460 0 -1 4202496 196620 0 0 0 724 27 0 0 25 0 4 0 594319503 922284032 129168 33554432000 4194304 4623224 140735908084224 18446744073709551615 4412527 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29068/statm: 225167 129170 515 105 0 220671 0
[pid=29068/tid=29070] ppid=29066 vsize=900668 CPUtime=1.46 cores=0,2,4,6
/proc/29068/task/29070/stat : 29070 (SArTagnan) R 29066 29068 28460 0 -1 4202560 14116 0 0 0 144 2 0 0 25 0 4 0 594319665 922284032 129171 33554432000 4194304 4623224 140735908084224 18446744073709551615 4376850 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29068/tid=29071] ppid=29066 vsize=900668 CPUtime=1.47 cores=0,2,4,6
/proc/29068/task/29071/stat : 29071 (SArTagnan) R 29066 29068 28460 0 -1 4202560 14685 0 0 0 145 2 0 0 25 0 4 0 594319665 922284032 129171 33554432000 4194304 4623224 140735908084224 18446744073709551615 4366247 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29068/tid=29072] ppid=29066 vsize=900668 CPUtime=1.47 cores=0,2,4,6
/proc/29068/task/29072/stat : 29072 (SArTagnan) R 29066 29068 28460 0 -1 4202560 21224 0 0 0 144 3 0 0 25 0 4 0 594319665 922284032 129172 33554432000 4194304 4623224 140735908084224 18446744073709551615 4366247 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 7.51
Current children cumulated vsize (KiB) 900668

[startup+6.30097 s]
/proc/loadavg: 5.85 5.03 5.86 6/178 29090
/proc/meminfo: memFree=24272492/32951124 swapFree=67111348/67111528
[pid=29068] ppid=29066 vsize=941780 CPUtime=20.28 cores=0,2,4,6
/proc/29068/stat : 29068 (SArTagnan) R 29066 29068 28460 0 -1 4202496 280535 0 0 0 1981 47 0 0 21 0 4 0 594319503 964382720 139768 33554432000 4194304 4623224 140735908084224 18446744073709551615 4412768 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29068/statm: 235445 139768 511 105 0 230949 0
[pid=29068/tid=29070] ppid=29066 vsize=941780 CPUtime=4.64 cores=0,2,4,6
/proc/29068/task/29070/stat : 29070 (SArTagnan) R 29066 29068 28460 0 -1 4202560 27526 0 0 0 459 5 0 0 25 0 4 0 594319665 964382720 139768 33554432000 4194304 4623224 140735908084224 18446744073709551615 4366391 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29068/tid=29071] ppid=29066 vsize=941780 CPUtime=4.66 cores=0,2,4,6
/proc/29068/task/29071/stat : 29071 (SArTagnan) R 29066 29068 28460 0 -1 4202560 17147 0 0 0 464 2 0 0 19 0 4 0 594319665 964382720 139768 33554432000 4194304 4623224 140735908084224 18446744073709551615 252458109287 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29068/tid=29072] ppid=29066 vsize=941780 CPUtime=4.66 cores=0,2,4,6
/proc/29068/task/29072/stat : 29072 (SArTagnan) R 29066 29068 28460 0 -1 4202560 72070 0 0 0 456 10 0 0 21 0 4 0 594319665 964382720 139768 33554432000 4194304 4623224 140735908084224 18446744073709551615 4364625 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 20.28
Current children cumulated vsize (KiB) 941780

[startup+12.7007 s]
/proc/loadavg: 6.10 5.09 5.88 9/184 29099
/proc/meminfo: memFree=23917208/32951124 swapFree=67111348/67111528
[pid=29068] ppid=29066 vsize=992628 CPUtime=45.84 cores=0,2,4,6
/proc/29068/stat : 29068 (SArTagnan) R 29066 29068 28460 0 -1 4202496 390904 0 0 0 4519 65 0 0 25 0 4 0 594319503 1016451072 156170 33554432000 4194304 4623224 140735908084224 18446744073709551615 4412522 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29068/statm: 248157 156170 516 105 0 243661 0
[pid=29068/tid=29070] ppid=29066 vsize=992628 CPUtime=11 cores=0,2,4,6
/proc/29068/task/29070/stat : 29070 (SArTagnan) R 29066 29068 28460 0 -1 4202560 29433 0 0 0 1095 5 0 0 25 0 4 0 594319665 1016451072 156170 33554432000 4194304 4623224 140735908084224 18446744073709551615 4289875 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29068/tid=29071] ppid=29066 vsize=992628 CPUtime=11.06 cores=0,2,4,6
/proc/29068/task/29071/stat : 29071 (SArTagnan) R 29066 29068 28460 0 -1 4202560 33411 0 0 0 1101 5 0 0 25 0 4 0 594319665 1016451072 156170 33554432000 4194304 4623224 140735908084224 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29068/tid=29072] ppid=29066 vsize=992628 CPUtime=11.07 cores=0,2,4,6
/proc/29068/task/29072/stat : 29072 (SArTagnan) R 29066 29068 28460 0 -1 4202560 141149 0 0 0 1086 21 0 0 25 0 4 0 594319665 1016451072 156171 33554432000 4194304 4623224 140735908084224 18446744073709551615 4366247 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 45.84
Current children cumulated vsize (KiB) 992628

[startup+25.5004 s]
/proc/loadavg: 6.52 5.23 5.91 9/184 29099
/proc/meminfo: memFree=23787512/32951124 swapFree=67111348/67111528
[pid=29068] ppid=29066 vsize=1034820 CPUtime=96.96 cores=0,2,4,6
/proc/29068/stat : 29068 (SArTagnan) R 29066 29068 28460 0 -1 4202496 557702 0 0 0 9605 91 0 0 25 0 4 0 594319503 1059655680 176282 33554432000 4194304 4623224 140735908084224 18446744073709551615 4412627 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29068/statm: 258705 176282 509 105 0 254209 0
[pid=29068/tid=29070] ppid=29066 vsize=1034820 CPUtime=23.74 cores=0,2,4,6
/proc/29068/task/29070/stat : 29070 (SArTagnan) R 29066 29068 28460 0 -1 4202560 31677 0 0 0 2368 6 0 0 25 0 4 0 594319665 1059655680 176282 33554432000 4194304 4623224 140735908084224 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29068/tid=29071] ppid=29066 vsize=1034820 CPUtime=23.86 cores=0,2,4,6
/proc/29068/task/29071/stat : 29071 (SArTagnan) R 29066 29068 28460 0 -1 4202560 50112 0 0 0 2379 7 0 0 25 0 4 0 594319665 1059655680 176282 33554432000 4194304 4623224 140735908084224 18446744073709551615 4317135 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29068/tid=29072] ppid=29066 vsize=1034820 CPUtime=23.87 cores=0,2,4,6
/proc/29068/task/29072/stat : 29072 (SArTagnan) R 29066 29068 28460 0 -1 4202560 271776 0 0 0 2345 42 0 0 25 0 4 0 594319665 1059655680 176282 33554432000 4194304 4623224 140735908084224 18446744073709551615 4354651 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 96.96
Current children cumulated vsize (KiB) 1034820

[startup+51.1006 s]
/proc/loadavg: 7.10 5.47 5.97 9/184 29100
/proc/meminfo: memFree=22358572/32951124 swapFree=67111348/67111528
[pid=29068] ppid=29066 vsize=1095840 CPUtime=199.22 cores=0,2,4,6
/proc/29068/stat : 29068 (SArTagnan) R 29066 29068 28460 0 -1 4202496 913403 0 0 0 19776 146 0 0 25 0 4 0 594319503 1122140160 203793 33554432000 4194304 4623224 140735908084224 18446744073709551615 4412519 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29068/statm: 273960 203793 513 105 0 269464 0
[pid=29068/tid=29070] ppid=29066 vsize=1095840 CPUtime=49.2 cores=0,2,4,6
/proc/29068/task/29070/stat : 29070 (SArTagnan) R 29066 29068 28460 0 -1 4202560 35623 0 0 0 4913 7 0 0 25 0 4 0 594319665 1122140160 203793 33554432000 4194304 4623224 140735908084224 18446744073709551615 4468031 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29068/tid=29071] ppid=29066 vsize=1095840 CPUtime=49.46 cores=0,2,4,6
/proc/29068/task/29071/stat : 29071 (SArTagnan) R 29066 29068 28460 0 -1 4202560 68523 0 0 0 4935 11 0 0 25 0 4 0 594319665 1122140160 203793 33554432000 4194304 4623224 140735908084224 18446744073709551615 4288235 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29068/tid=29072] ppid=29066 vsize=1095840 CPUtime=49.47 cores=0,2,4,6
/proc/29068/task/29072/stat : 29072 (SArTagnan) R 29066 29068 28460 0 -1 4202560 568702 0 0 0 4861 86 0 0 25 0 4 0 594319665 1122140160 203793 33554432000 4194304 4623224 140735908084224 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 199.22
Current children cumulated vsize (KiB) 1095840

[startup+102.307 s]
/proc/loadavg: 7.65 5.87 6.08 9/184 29101
/proc/meminfo: memFree=21921384/32951124 swapFree=67111348/67111528
[pid=29068] ppid=29066 vsize=1595072 CPUtime=403.76 cores=0,2,4,6
/proc/29068/stat : 29068 (SArTagnan) R 29066 29068 28460 0 -1 4202496 1828688 0 0 0 40089 287 0 0 25 0 4 0 594319503 1633353728 303479 33554432000 4194304 4623224 140735908084224 18446744073709551615 4412459 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29068/statm: 398768 303479 511 105 0 394272 0
[pid=29068/tid=29070] ppid=29066 vsize=1595072 CPUtime=100.12 cores=0,2,4,6
/proc/29068/task/29070/stat : 29070 (SArTagnan) R 29066 29068 28460 0 -1 4202560 58155 0 0 0 10002 10 0 0 25 0 4 0 594319665 1633353728 303479 33554432000 4194304 4623224 140735908084224 18446744073709551615 4376662 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29068/tid=29071] ppid=29066 vsize=1595072 CPUtime=100.66 cores=0,2,4,6
/proc/29068/task/29071/stat : 29071 (SArTagnan) R 29066 29068 28460 0 -1 4202560 92316 0 0 0 10052 14 0 0 25 0 4 0 594319665 1633353728 303479 33554432000 4194304 4623224 140735908084224 18446744073709551615 4317368 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29068/tid=29072] ppid=29066 vsize=1595072 CPUtime=100.67 cores=0,2,4,6
/proc/29068/task/29072/stat : 29072 (SArTagnan) R 29066 29068 28460 0 -1 4202560 1258723 0 0 0 9880 187 0 0 25 0 4 0 594319665 1633353728 303479 33554432000 4194304 4623224 140735908084224 18446744073709551615 4363989 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 403.76
Current children cumulated vsize (KiB) 1595072

[startup+162.301 s]
/proc/loadavg: 7.91 6.27 6.20 9/184 29103
/proc/meminfo: memFree=21288568/32951124 swapFree=67111348/67111528
[pid=29068] ppid=29066 vsize=2368720 CPUtime=643.39 cores=0,2,4,6
/proc/29068/stat : 29068 (SArTagnan) R 29066 29068 28460 0 -1 4202496 2739927 0 0 0 63910 429 0 0 25 0 4 0 594319503 2425569280 458343 33554432000 4194304 4623224 140735908084224 18446744073709551615 4507447 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29068/statm: 592180 458343 612 105 0 587684 0
[pid=29068/tid=29070] ppid=29066 vsize=2368720 CPUtime=159.8 cores=0,2,4,6
/proc/29068/task/29070/stat : 29070 (SArTagnan) R 29066 29068 28460 0 -1 4202560 99084 0 0 0 15963 17 0 0 25 0 4 0 594319665 2425569280 458343 33554432000 4194304 4623224 140735908084224 18446744073709551615 4377670 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29068/tid=29071] ppid=29066 vsize=2368720 CPUtime=160.63 cores=0,2,4,6
/proc/29068/task/29071/stat : 29071 (SArTagnan) R 29066 29068 28460 0 -1 4202560 111521 0 0 0 16046 17 0 0 25 0 4 0 594319665 2425569280 458343 33554432000 4194304 4623224 140735908084224 18446744073709551615 4377410 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29068/tid=29072] ppid=29066 vsize=2368720 CPUtime=160.67 cores=0,2,4,6
/proc/29068/task/29072/stat : 29072 (SArTagnan) R 29066 29068 28460 0 -1 4202560 1826345 0 0 0 15794 273 0 0 25 0 4 0 594319665 2425569280 458343 33554432000 4194304 4623224 140735908084224 18446744073709551615 4545376 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 643.39
Current children cumulated vsize (KiB) 2368720

[startup+222.301 s]
/proc/loadavg: 8.00 6.60 6.32 9/184 29105
/proc/meminfo: memFree=20953956/32951124 swapFree=67111348/67111528
[pid=29068] ppid=29066 vsize=2842616 CPUtime=883.03 cores=0,2,4,6
/proc/29068/stat : 29068 (SArTagnan) R 29066 29068 28460 0 -1 4202496 3563736 0 0 0 87751 552 0 0 25 0 4 0 594319503 2910838784 540873 33554432000 4194304 4623224 140735908084224 18446744073709551615 4413783 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29068/statm: 710654 540873 420 105 0 706158 0
[pid=29068/tid=29070] ppid=29066 vsize=2842616 CPUtime=219.64 cores=0,2,4,6
/proc/29068/task/29070/stat : 29070 (SArTagnan) R 29066 29068 28460 0 -1 4202560 134553 0 0 0 21940 24 0 0 25 0 4 0 594319665 2910838784 540873 33554432000 4194304 4623224 140735908084224 18446744073709551615 4377031 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29068/tid=29071] ppid=29066 vsize=2842616 CPUtime=220.62 cores=0,2,4,6
/proc/29068/task/29071/stat : 29071 (SArTagnan) R 29066 29068 28460 0 -1 4202560 136554 0 0 0 22039 23 0 0 25 0 4 0 594319665 2910838784 540873 33554432000 4194304 4623224 140735908084224 18446744073709551615 4377056 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29068/tid=29072] ppid=29066 vsize=2842616 CPUtime=220.46 cores=0,2,4,6
/proc/29068/task/29072/stat : 29072 (SArTagnan) R 29066 29068 28460 0 -1 4202560 2427946 0 0 0 21688 358 0 0 25 0 4 0 594319665 2910838784 540873 33554432000 4194304 4623224 140735908084224 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 883.03
Current children cumulated vsize (KiB) 2842616

[startup+282.301 s]
/proc/loadavg: 8.38 6.96 6.46 9/184 29109
/proc/meminfo: memFree=20343748/32951124 swapFree=67111348/67111528
[pid=29068] ppid=29066 vsize=3489940 CPUtime=1121.85 cores=0,2,4,6
/proc/29068/stat : 29068 (SArTagnan) R 29066 29068 28460 0 -1 4202496 4567733 0 0 0 111481 704 0 0 25 0 4 0 594319503 3573698560 686843 33554432000 4194304 4623224 140735908084224 18446744073709551615 4517819 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29068/statm: 872485 686843 363 105 0 867989 0
[pid=29068/tid=29070] ppid=29066 vsize=3489940 CPUtime=279 cores=0,2,4,6

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

[pid=29068/tid=29072] ppid=29066 vsize=7849832 CPUtime=697.74 cores=0,2,4,6
/proc/29068/task/29072/stat : 29072 (SArTagnan) R 29066 29068 28460 0 -1 4202560 4869728 0 0 0 69073 701 0 0 25 0 4 0 594319665 8038227968 1655033 33554432000 4194304 4623224 140735908084224 18446744073709551615 4363752 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2799.39
Current children cumulated vsize (KiB) 7849832

[startup+762.306 s]
/proc/loadavg: 8.05 7.86 7.11 9/184 29182
/proc/meminfo: memFree=15458824/32951124 swapFree=67111348/67111528
[pid=29068] ppid=29066 vsize=9331400 CPUtime=3039.09 cores=0,2,4,6
/proc/29068/stat : 29068 (SArTagnan) R 29066 29068 28460 0 -1 4202496 9952656 0 0 0 302426 1483 0 0 25 0 4 0 594319503 9555353600 1884035 33554432000 4194304 4623224 140735908084224 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29068/statm: 2332850 1884035 348 105 0 2328354 0
[pid=29068/tid=29070] ppid=29066 vsize=9331400 CPUtime=758.85 cores=0,2,4,6
/proc/29068/task/29070/stat : 29070 (SArTagnan) R 29066 29068 28460 0 -1 4202560 551109 0 0 0 75778 107 0 0 25 0 4 0 594319665 9555353600 1884035 33554432000 4194304 4623224 140735908084224 18446744073709551615 4376678 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29068/tid=29071] ppid=29066 vsize=9331400 CPUtime=760.55 cores=0,2,4,6
/proc/29068/task/29071/stat : 29071 (SArTagnan) R 29066 29068 28460 0 -1 4202560 511254 0 0 0 75956 99 0 0 25 0 4 0 594319665 9555353600 1884035 33554432000 4194304 4623224 140735908084224 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29068/tid=29072] ppid=29066 vsize=9331400 CPUtime=757.43 cores=0,2,4,6
/proc/29068/task/29072/stat : 29072 (SArTagnan) R 29066 29068 28460 0 -1 4202560 5236298 0 0 0 74993 750 0 0 25 0 4 0 594319665 9555353600 1884035 33554432000 4194304 4623224 140735908084224 18446744073709551615 4545376 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3039.09
Current children cumulated vsize (KiB) 9331400

[startup+822.3 s]
/proc/loadavg: 8.09 7.91 7.17 9/184 29184
/proc/meminfo: memFree=14310664/32951124 swapFree=67111348/67111528
[pid=29068] ppid=29066 vsize=9793060 CPUtime=3278.72 cores=0,2,4,6
/proc/29068/stat : 29068 (SArTagnan) R 29066 29068 28460 0 -1 4202496 10975272 0 0 0 326254 1618 0 0 25 0 4 0 594319503 10028093440 2024892 33554432000 4194304 4623224 140735908084224 18446744073709551615 252457727009 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29068/statm: 2448265 2024894 353 105 0 2443769 0
[pid=29068/tid=29070] ppid=29066 vsize=9793060 CPUtime=818.84 cores=0,2,4,6
/proc/29068/task/29070/stat : 29070 (SArTagnan) R 29066 29068 28460 0 -1 4202560 556982 0 0 0 81775 109 0 0 25 0 4 0 594319665 10028093440 2024894 33554432000 4194304 4623224 140735908084224 18446744073709551615 4289775 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29068/tid=29071] ppid=29066 vsize=9793060 CPUtime=820.53 cores=0,2,4,6
/proc/29068/task/29071/stat : 29071 (SArTagnan) R 29066 29068 28460 0 -1 4202560 524701 0 0 0 81949 104 0 0 25 0 4 0 594319665 10028093440 2024895 33554432000 4194304 4623224 140735908084224 18446744073709551615 4376880 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29068/tid=29072] ppid=29066 vsize=9793060 CPUtime=817.08 cores=0,2,4,6
/proc/29068/task/29072/stat : 29072 (SArTagnan) R 29066 29068 28460 0 -1 4202560 5986821 0 0 0 80866 842 0 0 25 0 4 0 594319665 10028093440 2024896 33554432000 4194304 4623224 140735908084224 18446744073709551615 4364232 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3278.72
Current children cumulated vsize (KiB) 9793060

[startup+882.301 s]
/proc/loadavg: 8.22 7.99 7.24 9/184 29185
/proc/meminfo: memFree=13218060/32951124 swapFree=67111348/67111528
[pid=29068] ppid=29066 vsize=10179380 CPUtime=3518.36 cores=0,2,4,6
/proc/29068/stat : 29068 (SArTagnan) R 29066 29068 28460 0 -1 4202496 11684084 0 0 0 350104 1732 0 0 25 0 4 0 594319503 10423685120 2187031 33554432000 4194304 4623224 140735908084224 18446744073709551615 4510316 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29068/statm: 2544845 2187031 345 105 0 2540349 0
[pid=29068/tid=29070] ppid=29066 vsize=10179380 CPUtime=878.84 cores=0,2,4,6
/proc/29068/task/29070/stat : 29070 (SArTagnan) R 29066 29068 28460 0 -1 4202560 559945 0 0 0 87774 110 0 0 25 0 4 0 594319665 10423685120 2187031 33554432000 4194304 4623224 140735908084224 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29068/tid=29071] ppid=29066 vsize=10179380 CPUtime=880.52 cores=0,2,4,6
/proc/29068/task/29071/stat : 29071 (SArTagnan) R 29066 29068 28460 0 -1 4202560 529489 0 0 0 87946 106 0 0 25 0 4 0 594319665 10423685120 2187031 33554432000 4194304 4623224 140735908084224 18446744073709551615 4377923 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29068/tid=29072] ppid=29066 vsize=10179380 CPUtime=876.75 cores=0,2,4,6
/proc/29068/task/29072/stat : 29072 (SArTagnan) R 29066 29068 28460 0 -1 4202560 6515165 0 0 0 86759 916 0 0 25 0 4 0 594319665 10423685120 2187031 33554432000 4194304 4623224 140735908084224 18446744073709551615 4545376 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3518.36
Current children cumulated vsize (KiB) 10179380

[startup+942.301 s]
/proc/loadavg: 8.23 8.02 7.30 9/184 29187
/proc/meminfo: memFree=12361316/32951124 swapFree=67111348/67111528
[pid=29068] ppid=29066 vsize=12175880 CPUtime=3757.92 cores=0,2,4,6
/proc/29068/stat : 29068 (SArTagnan) R 29066 29068 28460 0 -1 4202496 13485624 0 0 0 373797 1995 0 0 25 0 4 0 594319503 12468101120 2390148 33554432000 4194304 4623224 140735908084224 18446744073709551615 4510070 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29068/statm: 3043970 2390148 374 105 0 3039474 0
[pid=29068/tid=29070] ppid=29066 vsize=12175880 CPUtime=938.85 cores=0,2,4,6
/proc/29068/task/29070/stat : 29070 (SArTagnan) R 29066 29068 28460 0 -1 4202560 560109 0 0 0 93775 110 0 0 25 0 4 0 594319665 12468101120 2390148 33554432000 4194304 4623224 140735908084224 18446744073709551615 4357641 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29068/tid=29071] ppid=29066 vsize=12175880 CPUtime=940.52 cores=0,2,4,6
/proc/29068/task/29071/stat : 29071 (SArTagnan) R 29066 29068 28460 0 -1 4202560 540242 0 0 0 93943 109 0 0 25 0 4 0 594319665 12468101120 2390148 33554432000 4194304 4623224 140735908084224 18446744073709551615 4376883 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29068/tid=29072] ppid=29066 vsize=12175880 CPUtime=936.3 cores=0,2,4,6
/proc/29068/task/29072/stat : 29072 (SArTagnan) R 29066 29068 28460 0 -1 4202560 7248255 0 0 0 92606 1024 0 0 25 0 4 0 594319665 12468101120 2390148 33554432000 4194304 4623224 140735908084224 18446744073709551615 4364232 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3757.92
Current children cumulated vsize (KiB) 12175880

[startup+1002.3 s]
/proc/loadavg: 8.15 8.03 7.34 9/184 29188
/proc/meminfo: memFree=11955532/32951124 swapFree=67111348/67111528
[pid=29068] ppid=29066 vsize=12230408 CPUtime=3997.59 cores=0,2,4,6
/proc/29068/stat : 29068 (SArTagnan) R 29066 29068 28460 0 -1 4202496 14101679 0 0 0 397675 2084 0 0 25 0 4 0 594319503 12523937792 2457233 33554432000 4194304 4623224 140735908084224 18446744073709551615 4510034 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29068/statm: 3057602 2457233 344 105 0 3053106 0
[pid=29068/tid=29070] ppid=29066 vsize=12230408 CPUtime=998.85 cores=0,2,4,6
/proc/29068/task/29070/stat : 29070 (SArTagnan) R 29066 29068 28460 0 -1 4202560 560557 0 0 0 99775 110 0 0 25 0 4 0 594319665 12523937792 2457233 33554432000 4194304 4623224 140735908084224 18446744073709551615 4357403 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29068/tid=29071] ppid=29066 vsize=12230408 CPUtime=1000.52 cores=0,2,4,6
/proc/29068/task/29071/stat : 29071 (SArTagnan) R 29066 29068 28460 0 -1 4202560 544845 0 0 0 99939 113 0 0 25 0 4 0 594319665 12523937792 2457233 33554432000 4194304 4623224 140735908084224 18446744073709551615 4317194 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29068/tid=29072] ppid=29066 vsize=12230408 CPUtime=995.98 cores=0,2,4,6
/proc/29068/task/29072/stat : 29072 (SArTagnan) R 29066 29068 28460 0 -1 4202560 7796572 0 0 0 98497 1101 0 0 25 0 4 0 594319665 12523937792 2457233 33554432000 4194304 4623224 140735908084224 18446744073709551615 4364215 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3997.59
Current children cumulated vsize (KiB) 12230408

[startup+1062.3 s]
/proc/loadavg: 8.11 8.04 7.39 9/184 29190
/proc/meminfo: memFree=11436428/32951124 swapFree=67111348/67111528
[pid=29068] ppid=29066 vsize=12516344 CPUtime=4237.26 cores=0,2,4,6
/proc/29068/stat : 29068 (SArTagnan) R 29066 29068 28460 0 -1 4202496 14233955 0 0 0 421619 2107 0 0 25 0 4 0 594319503 12816736256 2539026 33554432000 4194304 4623224 140735908084224 18446744073709551615 4510113 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29068/statm: 3129086 2539026 344 105 0 3124590 0
[pid=29068/tid=29070] ppid=29066 vsize=12516344 CPUtime=1058.85 cores=0,2,4,6
/proc/29068/task/29070/stat : 29070 (SArTagnan) R 29066 29068 28460 0 -1 4202560 560796 0 0 0 105775 110 0 0 25 0 4 0 594319665 12816736256 2539026 33554432000 4194304 4623224 140735908084224 18446744073709551615 4486219 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29068/tid=29071] ppid=29066 vsize=12516344 CPUtime=1060.51 cores=0,2,4,6
/proc/29068/task/29071/stat : 29071 (SArTagnan) R 29066 29068 28460 0 -1 4202560 548769 0 0 0 105936 115 0 0 25 0 4 0 594319665 12816736256 2539026 33554432000 4194304 4623224 140735908084224 18446744073709551615 4289723 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29068/tid=29072] ppid=29066 vsize=12516344 CPUtime=1055.65 cores=0,2,4,6
/proc/29068/task/29072/stat : 29072 (SArTagnan) R 29066 29068 28460 0 -1 4202560 7857958 0 0 0 104456 1109 0 0 25 0 4 0 594319665 12816736256 2539026 33554432000 4194304 4623224 140735908084224 18446744073709551615 4545407 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4237.26
Current children cumulated vsize (KiB) 12516344

[startup+1122.3 s]
/proc/loadavg: 8.04 8.03 7.42 9/184 29192
/proc/meminfo: memFree=11114332/32951124 swapFree=67111348/67111528
[pid=29068] ppid=29066 vsize=12600480 CPUtime=4476.94 cores=0,2,4,6
/proc/29068/stat : 29068 (SArTagnan) R 29066 29068 28460 0 -1 4202496 14290982 0 0 0 445574 2120 0 0 25 0 4 0 594319503 12902891520 2589507 33554432000 4194304 4623224 140735908084224 18446744073709551615 4510313 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29068/statm: 3150120 2589507 344 105 0 3145624 0
[pid=29068/tid=29070] ppid=29066 vsize=12600480 CPUtime=1118.85 cores=0,2,4,6
/proc/29068/task/29070/stat : 29070 (SArTagnan) R 29066 29068 28460 0 -1 4202560 560836 0 0 0 111775 110 0 0 25 0 4 0 594319665 12902891520 2589507 33554432000 4194304 4623224 140735908084224 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29068/tid=29071] ppid=29066 vsize=12600480 CPUtime=1120.51 cores=0,2,4,6
/proc/29068/task/29071/stat : 29071 (SArTagnan) R 29066 29068 28460 0 -1 4202560 548866 0 0 0 111936 115 0 0 25 0 4 0 594319665 12902891520 2589507 33554432000 4194304 4623224 140735908084224 18446744073709551615 4317201 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29068/tid=29072] ppid=29066 vsize=12600480 CPUtime=1115.32 cores=0,2,4,6
/proc/29068/task/29072/stat : 29072 (SArTagnan) R 29066 29068 28460 0 -1 4202560 7861883 0 0 0 110422 1110 0 0 25 0 4 0 594319665 12902891520 2589507 33554432000 4194304 4623224 140735908084224 18446744073709551615 4363752 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4476.94
Current children cumulated vsize (KiB) 12600480

[startup+1182.3 s]
/proc/loadavg: 8.01 8.02 7.46 9/184 29193
/proc/meminfo: memFree=10402776/32951124 swapFree=67111348/67111528
[pid=29068] ppid=29066 vsize=12933916 CPUtime=4716.6 cores=0,2,4,6
/proc/29068/stat : 29068 (SArTagnan) R 29066 29068 28460 0 -1 4202496 14486355 0 0 0 469495 2165 0 0 25 0 4 0 594319503 13244329984 2735696 33554432000 4194304 4623224 140735908084224 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29068/statm: 3233479 2735696 344 105 0 3228983 0
[pid=29068/tid=29070] ppid=29066 vsize=12933916 CPUtime=1178.85 cores=0,2,4,6
/proc/29068/task/29070/stat : 29070 (SArTagnan) R 29066 29068 28460 0 -1 4202560 561353 0 0 0 117775 110 0 0 25 0 4 0 594319665 13244329984 2735696 33554432000 4194304 4623224 140735908084224 18446744073709551615 4357403 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29068/tid=29071] ppid=29066 vsize=12933916 CPUtime=1180.49 cores=0,2,4,6
/proc/29068/task/29071/stat : 29071 (SArTagnan) R 29066 29068 28460 0 -1 4202560 587040 0 0 0 117928 121 0 0 25 0 4 0 594319665 13244329984 2735696 33554432000 4194304 4623224 140735908084224 18446744073709551615 4376579 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29068/tid=29072] ppid=29066 vsize=12933916 CPUtime=1175 cores=0,2,4,6
/proc/29068/task/29072/stat : 29072 (SArTagnan) R 29066 29068 28460 0 -1 4202560 7863076 0 0 0 116389 1111 0 0 25 0 4 0 594319665 13244329984 2735696 33554432000 4194304 4623224 140735908084224 18446744073709551615 4545376 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4716.6
Current children cumulated vsize (KiB) 12933916



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.2 s]
/proc/loadavg: 8.01 8.02 7.47 9/184 29194
/proc/meminfo: memFree=10133932/32951124 swapFree=67111348/67111528
[pid=29068] ppid=29066 vsize=12999452 CPUtime=4800.1 cores=0,2,4,6
/proc/29068/stat : 29068 (SArTagnan) R 29066 29068 28460 0 -1 4202496 14545909 0 0 0 477829 2181 0 0 25 0 4 0 594319503 13311438848 2789126 33554432000 4194304 4623224 140735908084224 18446744073709551615 4510090 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29068/statm: 3249863 2789126 344 105 0 3245367 0
[pid=29068/tid=29070] ppid=29066 vsize=12999452 CPUtime=1199.76 cores=0,2,4,6
/proc/29068/task/29070/stat : 29070 (SArTagnan) R 29066 29068 28460 0 -1 4202560 561737 0 0 0 119866 110 0 0 25 0 4 0 594319665 13311438848 2789126 33554432000 4194304 4623224 140735908084224 18446744073709551615 4357403 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29068/tid=29071] ppid=29066 vsize=12999452 CPUtime=1201.4 cores=0,2,4,6
/proc/29068/task/29071/stat : 29071 (SArTagnan) R 29066 29068 28460 0 -1 4202560 590674 0 0 0 120016 124 0 0 25 0 4 0 594319665 13311438848 2789126 33554432000 4194304 4623224 140735908084224 18446744073709551615 4485126 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29068/tid=29072] ppid=29066 vsize=12999452 CPUtime=1195.79 cores=0,2,4,6
/proc/29068/task/29072/stat : 29072 (SArTagnan) R 29066 29068 28460 0 -1 4202560 7863839 0 0 0 118468 1111 0 0 25 0 4 0 594319665 13311438848 2789126 33554432000 4194304 4623224 140735908084224 18446744073709551615 4545415 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.1
Current children cumulated vsize (KiB) 12999452

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

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

[startup+1203.41 s]
/proc/loadavg: 8.01 8.02 7.47 6/183 29195
/proc/meminfo: memFree=12459188/32951124 swapFree=67111348/67111528
[pid=29068] ppid=29066 vsize=0 CPUtime=4800.31 cores=0,2,4,6
/proc/29068/stat : 29068 (SArTagnan) Z 29066 29068 28460 0 -1 4203548 14545909 0 0 0 477831 2200 0 0 25 0 2 0 594319503 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29068/statm: 0 0 0 0 0 0 0
[pid=29068/tid=29072] ppid=29066 vsize=0 CPUtime=1195.99 cores=0,2,4,6
/proc/29068/task/29072/stat : 29072 (SArTagnan) R 29066 29068 28460 0 -1 4203588 7863839 0 0 0 118468 1131 0 0 25 0 2 0 594319665 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.31
Current children cumulated vsize (KiB) 0

[startup+1203.6 s]
/proc/loadavg: 8.01 8.02 7.47 6/183 29195
/proc/meminfo: memFree=12459188/32951124 swapFree=67111348/67111528
[pid=29068] ppid=29066 vsize=0 CPUtime=4800.51 cores=0,2,4,6
/proc/29068/stat : 29068 (SArTagnan) Z 29066 29068 28460 0 -1 4203548 14545909 0 0 0 477831 2220 0 0 25 0 2 0 594319503 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29068/statm: 0 0 0 0 0 0 0
[pid=29068/tid=29072] ppid=29066 vsize=0 CPUtime=1196.18 cores=0,2,4,6
/proc/29068/task/29072/stat : 29072 (SArTagnan) R 29066 29068 28460 0 -1 4203588 7863839 0 0 0 118468 1150 0 0 25 0 2 0 594319665 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.51
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.66
CPU time (s): 4800.58
CPU user time (s): 4778.32
CPU system time (s): 22.2616
CPU usage (%): 398.831
Max. virtual memory (cumulated for all children) (KiB): 15514136

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4778.32
system time used= 22.2616
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14545909
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= 11118
involuntary context switches= 33856

runsolver used 1.93371 second user time and 4.53931 second system time

The end

Launcher Data 

Begin job on node111 at 2011-04-29 03:34:50
IDJOB=3281585
IDBENCH=69571
IDSOLVER=1656
FILE ID=node111/3281585-1304040888
RUNJOBID= node111-1304040775-28979
PBS_JOBID= 13170353
Free space on /tmp= 70524 MiB

SOLVER NAME= SArTagnan 2011-03-24
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-3281585-1304040888/watcher-3281585-1304040888 -o /tmp/evaluation-result-3281585-1304040888/solver-3281585-1304040888 -C 4800 -W 1300 -M 15500  SArTagnan HOME/instance-3281585-1304040888.cnf -threads=4

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

MD5SUM BENCH= 590cca3a58efdeb1c95ef988a53daa1d
RANDOM SEED=1379961927

node111.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      24531504 kB
Buffers:       1266480 kB
Cached:        6579088 kB
SwapCached:        124 kB
Active:        3440240 kB
Inactive:      4488836 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24531504 kB
SwapTotal:    67111528 kB
SwapFree:     67111348 kB
Dirty:           72952 kB
Writeback:           0 kB
AnonPages:       83068 kB
Mapped:          14932 kB
Slab:           426388 kB
PageTables:       4720 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   205420 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= 70820 MiB
End job on node111 at 2011-04-29 03:54:56