Trace number 3385983

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) 4800.35 1204.14

General information on the benchmark

NameSAT03/handmade/anton/UNSAT/
SGI_30_50_30_20_3-log.shuffled-as.sat03-109.cnf
MD5SUMf19999592ac4a0c798533d80c1c7f2d7
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark4244.96
Satisfiable
(Un)Satisfiability was proved
Number of variables150
Number of clauses58358
Sum of the clauses size583280
Maximum clause length10
Minimum clause length5
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 560
Number of clauses of size over 558298

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-3385983-1305582430/watcher-3385983-1305582430 -o /tmp/evaluation-result-3385983-1305582430/solver-3385983-1305582430 -C 4800 -W 1300 -M 15500 SArTagnan HOME/instance-3385983-1305582430.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: 7.85 7.98 7.33 2/371 5903
/proc/meminfo: memFree=27852400/32951124 swapFree=37160408/67111528
[pid=5903] ppid=5901 vsize=21040 CPUtime=0 cores=1,3,5,7
/proc/5903/stat : 5903 (SArTagnan) R 5901 5903 5006 0 -1 4202496 914 0 0 0 0 0 0 0 25 0 1 0 669843440 21544960 690 33554432000 4194304 4625164 140734326000576 18446744073709551615 230809165568 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/5903/statm: 5260 691 296 106 0 763 0

[startup+0.072786 s]
/proc/loadavg: 7.85 7.98 7.33 2/371 5903
/proc/meminfo: memFree=27852400/32951124 swapFree=37160408/67111528
[pid=5903] ppid=5901 vsize=38364 CPUtime=0.07 cores=1,3,5,7
/proc/5903/stat : 5903 (SArTagnan) R 5901 5903 5006 0 -1 4202496 7417 0 0 0 6 1 0 0 25 0 1 0 669843440 39284736 4728 33554432000 4194304 4625164 140734326000576 18446744073709551615 230808863088 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/5903/statm: 9819 4753 343 106 0 5322 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 38364

[startup+0.112878 s]
/proc/loadavg: 7.85 7.98 7.33 2/371 5903
/proc/meminfo: memFree=27852400/32951124 swapFree=37160408/67111528
[pid=5903] ppid=5901 vsize=212324 CPUtime=0.21 cores=1,3,5,7
/proc/5903/stat : 5903 (SArTagnan) R 5901 5903 5006 0 -1 4202496 11914 0 0 0 20 1 0 0 25 0 4 0 669843440 217419776 8794 33554432000 4194304 4625164 140734326000576 18446744073709551615 4511967 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5903/statm: 53081 8823 364 106 0 48584 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 212324

[startup+0.300711 s]
/proc/loadavg: 7.85 7.98 7.33 2/371 5903
/proc/meminfo: memFree=27852400/32951124 swapFree=37160408/67111528
[pid=5903] ppid=5901 vsize=218288 CPUtime=0.97 cores=1,3,5,7
/proc/5903/stat : 5903 (SArTagnan) R 5901 5903 5006 0 -1 4202496 16980 0 0 0 95 2 0 0 25 0 4 0 669843440 223526912 10917 33554432000 4194304 4625164 140734326000576 18446744073709551615 4512794 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5903/statm: 54572 10917 386 106 0 50075 0
Current children cumulated CPU time (s) 0.97
Current children cumulated vsize (KiB) 218288

[startup+0.700637 s]
/proc/loadavg: 7.85 7.98 7.33 2/371 5903
/proc/meminfo: memFree=27852400/32951124 swapFree=37160408/67111528
[pid=5903] ppid=5901 vsize=228288 CPUtime=2.57 cores=1,3,5,7
/proc/5903/stat : 5903 (SArTagnan) R 5901 5903 5006 0 -1 4202496 23578 0 0 0 254 3 0 0 25 0 4 0 669843440 233766912 12666 33554432000 4194304 4625164 140734326000576 18446744073709551615 4392976 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5903/statm: 57072 12666 386 106 0 52575 0
Current children cumulated CPU time (s) 2.57
Current children cumulated vsize (KiB) 228288

[startup+1.50049 s]
/proc/loadavg: 7.85 7.98 7.33 10/380 5937
/proc/meminfo: memFree=27796956/32951124 swapFree=37160408/67111528
[pid=5903] ppid=5901 vsize=231304 CPUtime=5.75 cores=1,3,5,7
/proc/5903/stat : 5903 (SArTagnan) R 5901 5903 5006 0 -1 4202496 31301 0 0 0 571 4 0 0 25 0 4 0 669843440 236855296 13880 33554432000 4194304 4625164 140734326000576 18446744073709551615 4512156 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5903/statm: 57826 13880 371 106 0 53329 0
[pid=5903/tid=5905] ppid=5901 vsize=231304 CPUtime=1.41 cores=1,3,5,7
/proc/5903/task/5905/stat : 5905 (SArTagnan) R 5901 5903 5006 0 -1 4202560 3217 0 0 0 141 0 0 0 25 0 4 0 669843448 236855296 13880 33554432000 4194304 4625164 140734326000576 18446744073709551615 4352032 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5903/tid=5906] ppid=5901 vsize=231304 CPUtime=1.4 cores=1,3,5,7
/proc/5903/task/5906/stat : 5906 (SArTagnan) R 5901 5903 5006 0 -1 4202560 4469 0 0 0 140 0 0 0 25 0 4 0 669843448 236855296 13880 33554432000 4194304 4625164 140734326000576 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5903/tid=5907] ppid=5901 vsize=231304 CPUtime=1.42 cores=1,3,5,7
/proc/5903/task/5907/stat : 5907 (SArTagnan) R 5901 5903 5006 0 -1 4202560 12060 0 0 0 141 1 0 0 25 0 4 0 669843448 236855296 13880 33554432000 4194304 4625164 140734326000576 18446744073709551615 4552369 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.75
Current children cumulated vsize (KiB) 231304

[startup+3.1002 s]
/proc/loadavg: 7.85 7.98 7.33 9/380 5937
/proc/meminfo: memFree=27762112/32951124 swapFree=37160408/67111528
[pid=5903] ppid=5901 vsize=302860 CPUtime=12.14 cores=1,3,5,7
/proc/5903/stat : 5903 (SArTagnan) R 5901 5903 5006 0 -1 4202496 50517 0 0 0 1207 7 0 0 25 0 4 0 669843440 310128640 15722 33554432000 4194304 4625164 140734326000576 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5903/statm: 75715 15723 369 106 0 71218 0
[pid=5903/tid=5905] ppid=5901 vsize=302860 CPUtime=3.02 cores=1,3,5,7
/proc/5903/task/5905/stat : 5905 (SArTagnan) R 5901 5903 5006 0 -1 4202560 5110 0 0 0 301 1 0 0 25 0 4 0 669843448 310128640 15724 33554432000 4194304 4625164 140734326000576 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5903/tid=5906] ppid=5901 vsize=302860 CPUtime=2.99 cores=1,3,5,7
/proc/5903/task/5906/stat : 5906 (SArTagnan) R 5901 5903 5006 0 -1 4202560 4976 0 0 0 298 1 0 0 25 0 4 0 669843448 310128640 15725 33554432000 4194304 4625164 140734326000576 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5903/tid=5907] ppid=5901 vsize=302860 CPUtime=3.02 cores=1,3,5,7
/proc/5903/task/5907/stat : 5907 (SArTagnan) R 5901 5903 5006 0 -1 4202560 26947 0 0 0 299 3 0 0 25 0 4 0 669843448 310128640 15725 33554432000 4194304 4625164 140734326000576 18446744073709551615 4339447 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.14
Current children cumulated vsize (KiB) 302860

[startup+6.30061 s]
/proc/loadavg: 7.87 7.98 7.34 9/380 5937
/proc/meminfo: memFree=27713100/32951124 swapFree=37160408/67111528
[pid=5903] ppid=5901 vsize=313168 CPUtime=24.9 cores=1,3,5,7
/proc/5903/stat : 5903 (SArTagnan) R 5901 5903 5006 0 -1 4202496 78443 0 0 0 2477 13 0 0 25 0 4 0 669843440 320684032 18608 33554432000 4194304 4625164 140734326000576 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5903/statm: 78292 18608 369 106 0 73795 0
[pid=5903/tid=5905] ppid=5901 vsize=313168 CPUtime=6.21 cores=1,3,5,7
/proc/5903/task/5905/stat : 5905 (SArTagnan) R 5901 5903 5006 0 -1 4202560 5851 0 0 0 620 1 0 0 25 0 4 0 669843448 320684032 18608 33554432000 4194304 4625164 140734326000576 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5903/tid=5906] ppid=5901 vsize=313168 CPUtime=6.15 cores=1,3,5,7
/proc/5903/task/5906/stat : 5906 (SArTagnan) R 5901 5903 5006 0 -1 4202560 8612 0 0 0 613 2 0 0 25 0 4 0 669843448 320684032 18608 33554432000 4194304 4625164 140734326000576 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5903/tid=5907] ppid=5901 vsize=313168 CPUtime=6.22 cores=1,3,5,7
/proc/5903/task/5907/stat : 5907 (SArTagnan) R 5901 5903 5006 0 -1 4202560 48641 0 0 0 615 7 0 0 25 0 4 0 669843448 320684032 18608 33554432000 4194304 4625164 140734326000576 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 24.9
Current children cumulated vsize (KiB) 313168

[startup+12.7004 s]
/proc/loadavg: 7.88 7.98 7.34 9/380 5937
/proc/meminfo: memFree=27631288/32951124 swapFree=37160408/67111528
[pid=5903] ppid=5901 vsize=317684 CPUtime=50.41 cores=1,3,5,7
/proc/5903/stat : 5903 (SArTagnan) R 5901 5903 5006 0 -1 4202496 169928 0 0 0 5014 27 0 0 25 0 4 0 669843440 325308416 21212 33554432000 4194304 4625164 140734326000576 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5903/statm: 79421 21212 370 106 0 74924 0
[pid=5903/tid=5905] ppid=5901 vsize=317684 CPUtime=12.61 cores=1,3,5,7
/proc/5903/task/5905/stat : 5905 (SArTagnan) R 5901 5903 5006 0 -1 4202560 9309 0 0 0 1260 1 0 0 25 0 4 0 669843448 325308416 21212 33554432000 4194304 4625164 140734326000576 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5903/tid=5906] ppid=5901 vsize=317684 CPUtime=12.47 cores=1,3,5,7
/proc/5903/task/5906/stat : 5906 (SArTagnan) R 5901 5903 5006 0 -1 4202560 8911 0 0 0 1244 3 0 0 25 0 4 0 669843448 325308416 21212 33554432000 4194304 4625164 140734326000576 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5903/tid=5907] ppid=5901 vsize=317684 CPUtime=12.62 cores=1,3,5,7
/proc/5903/task/5907/stat : 5907 (SArTagnan) R 5901 5903 5006 0 -1 4202560 136038 0 0 0 1242 20 0 0 25 0 4 0 669843448 325308416 21212 33554432000 4194304 4625164 140734326000576 18446744073709551615 4334728 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.41
Current children cumulated vsize (KiB) 317684

[startup+25.5011 s]
/proc/loadavg: 8.04 8.02 7.36 9/380 5938
/proc/meminfo: memFree=27529104/32951124 swapFree=37160408/67111528
[pid=5903] ppid=5901 vsize=333708 CPUtime=101.46 cores=1,3,5,7
/proc/5903/stat : 5903 (SArTagnan) R 5901 5903 5006 0 -1 4202496 329631 0 0 0 10094 52 0 0 25 0 4 0 669843440 341716992 25475 33554432000 4194304 4625164 140734326000576 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5903/statm: 83427 25475 376 106 0 78930 0
[pid=5903/tid=5905] ppid=5901 vsize=333708 CPUtime=25.41 cores=1,3,5,7
/proc/5903/task/5905/stat : 5905 (SArTagnan) R 5901 5903 5006 0 -1 4202560 10339 0 0 0 2539 2 0 0 25 0 4 0 669843448 341716992 25475 33554432000 4194304 4625164 140734326000576 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5903/tid=5906] ppid=5901 vsize=333708 CPUtime=25.11 cores=1,3,5,7
/proc/5903/task/5906/stat : 5906 (SArTagnan) R 5901 5903 5006 0 -1 4202560 13925 0 0 0 2507 4 0 0 25 0 4 0 669843448 341716992 25475 33554432000 4194304 4625164 140734326000576 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5903/tid=5907] ppid=5901 vsize=333708 CPUtime=25.41 cores=1,3,5,7
/proc/5903/task/5907/stat : 5907 (SArTagnan) R 5901 5903 5006 0 -1 4202560 287203 0 0 0 2499 42 0 0 25 0 4 0 669843448 341716992 25475 33554432000 4194304 4625164 140734326000576 18446744073709551615 4552315 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.46
Current children cumulated vsize (KiB) 333708

[startup+51.1004 s]
/proc/loadavg: 8.03 8.01 7.38 9/380 5938
/proc/meminfo: memFree=27364908/32951124 swapFree=37160408/67111528
[pid=5903] ppid=5901 vsize=340884 CPUtime=203.54 cores=1,3,5,7
/proc/5903/stat : 5903 (SArTagnan) R 5901 5903 5006 0 -1 4202496 621451 0 0 0 20258 96 0 0 25 0 4 0 669843440 349065216 30562 33554432000 4194304 4625164 140734326000576 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5903/statm: 85221 30562 379 106 0 80724 0
[pid=5903/tid=5905] ppid=5901 vsize=340884 CPUtime=51.02 cores=1,3,5,7
/proc/5903/task/5905/stat : 5905 (SArTagnan) R 5901 5903 5006 0 -1 4202560 14602 0 0 0 5099 3 0 0 25 0 4 0 669843448 349065216 30562 33554432000 4194304 4625164 140734326000576 18446744073709551615 4352192 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5903/tid=5906] ppid=5901 vsize=340884 CPUtime=50.39 cores=1,3,5,7
/proc/5903/task/5906/stat : 5906 (SArTagnan) R 5901 5903 5006 0 -1 4202560 15690 0 0 0 5034 5 0 0 25 0 4 0 669843448 349065216 30562 33554432000 4194304 4625164 140734326000576 18446744073709551615 4352183 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5903/tid=5907] ppid=5901 vsize=340884 CPUtime=51.02 cores=1,3,5,7
/proc/5903/task/5907/stat : 5907 (SArTagnan) R 5901 5903 5006 0 -1 4202560 572953 0 0 0 5017 85 0 0 25 0 4 0 669843448 349065216 30562 33554432000 4194304 4625164 140734326000576 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 203.54
Current children cumulated vsize (KiB) 340884

[startup+102.314 s]
/proc/loadavg: 8.06 8.02 7.41 9/380 5940
/proc/meminfo: memFree=27063820/32951124 swapFree=37160408/67111528
[pid=5903] ppid=5901 vsize=358232 CPUtime=407.74 cores=1,3,5,7
/proc/5903/stat : 5903 (SArTagnan) R 5901 5903 5006 0 -1 4202496 1115786 0 0 0 40602 172 0 0 25 0 4 0 669843440 366829568 36560 33554432000 4194304 4625164 140734326000576 18446744073709551615 4338085 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5903/statm: 89558 36560 365 106 0 85061 0
[pid=5903/tid=5905] ppid=5901 vsize=358232 CPUtime=102.23 cores=1,3,5,7
/proc/5903/task/5905/stat : 5905 (SArTagnan) R 5901 5903 5006 0 -1 4202560 15941 0 0 0 10220 3 0 0 25 0 4 0 669843448 366829568 36560 33554432000 4194304 4625164 140734326000576 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5903/tid=5906] ppid=5901 vsize=358232 CPUtime=100.94 cores=1,3,5,7
/proc/5903/task/5906/stat : 5906 (SArTagnan) R 5901 5903 5006 0 -1 4202560 23922 0 0 0 10088 6 0 0 25 0 4 0 669843448 366829568 36560 33554432000 4194304 4625164 140734326000576 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5903/tid=5907] ppid=5901 vsize=358232 CPUtime=102.23 cores=1,3,5,7
/proc/5903/task/5907/stat : 5907 (SArTagnan) R 5901 5903 5006 0 -1 4202560 1057676 0 0 0 10064 159 0 0 25 0 4 0 669843448 366829568 36562 33554432000 4194304 4625164 140734326000576 18446744073709551615 4579598 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 407.74
Current children cumulated vsize (KiB) 358232

[startup+162.301 s]
/proc/loadavg: 8.02 8.02 7.45 9/380 5941
/proc/meminfo: memFree=26835024/32951124 swapFree=37160408/67111528
[pid=5903] ppid=5901 vsize=362484 CPUtime=646.94 cores=1,3,5,7
/proc/5903/stat : 5903 (SArTagnan) R 5901 5903 5006 0 -1 4202496 1597713 0 0 0 64448 246 0 0 25 0 4 0 669843440 371183616 43713 33554432000 4194304 4625164 140734326000576 18446744073709551615 4511860 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5903/statm: 90621 43713 340 106 0 86124 0
[pid=5903/tid=5905] ppid=5901 vsize=362484 CPUtime=162.22 cores=1,3,5,7
/proc/5903/task/5905/stat : 5905 (SArTagnan) R 5901 5903 5006 0 -1 4202560 23238 0 0 0 16217 5 0 0 25 0 4 0 669843448 371183616 43713 33554432000 4194304 4625164 140734326000576 18446744073709551615 4352280 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5903/tid=5906] ppid=5901 vsize=362484 CPUtime=160.19 cores=1,3,5,7
/proc/5903/task/5906/stat : 5906 (SArTagnan) R 5901 5903 5006 0 -1 4202560 25742 0 0 0 16012 7 0 0 25 0 4 0 669843448 371183616 43713 33554432000 4194304 4625164 140734326000576 18446744073709551615 4352021 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5903/tid=5907] ppid=5901 vsize=362484 CPUtime=162.22 cores=1,3,5,7
/proc/5903/task/5907/stat : 5907 (SArTagnan) R 5901 5903 5006 0 -1 4202560 1526489 0 0 0 15992 230 0 0 25 0 4 0 669843448 371183616 43713 33554432000 4194304 4625164 140734326000576 18446744073709551615 4579312 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 646.94
Current children cumulated vsize (KiB) 362484

[startup+222.301 s]
/proc/loadavg: 8.01 8.01 7.48 9/380 5943
/proc/meminfo: memFree=26514348/32951124 swapFree=37160408/67111528
[pid=5903] ppid=5901 vsize=379328 CPUtime=886.19 cores=1,3,5,7
/proc/5903/stat : 5903 (SArTagnan) R 5901 5903 5006 0 -1 4202496 1915876 0 0 0 88322 297 0 0 25 0 4 0 669843440 388431872 53305 33554432000 4194304 4625164 140734326000576 18446744073709551615 4511930 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5903/statm: 94832 53305 681 106 0 90335 0
[pid=5903/tid=5905] ppid=5901 vsize=379328 CPUtime=222.21 cores=1,3,5,7
/proc/5903/task/5905/stat : 5905 (SArTagnan) R 5901 5903 5006 0 -1 4202560 24355 0 0 0 22216 5 0 0 25 0 4 0 669843448 388431872 53305 33554432000 4194304 4625164 140734326000576 18446744073709551615 4339660 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5903/tid=5906] ppid=5901 vsize=379328 CPUtime=219.43 cores=1,3,5,7
/proc/5903/task/5906/stat : 5906 (SArTagnan) R 5901 5903 5006 0 -1 4202560 35779 0 0 0 21935 8 0 0 25 0 4 0 669843448 388431872 53305 33554432000 4194304 4625164 140734326000576 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5903/tid=5907] ppid=5901 vsize=379328 CPUtime=222.22 cores=1,3,5,7
/proc/5903/task/5907/stat : 5907 (SArTagnan) R 5901 5903 5006 0 -1 4202560 1825173 0 0 0 21944 278 0 0 25 0 4 0 669843448 388431872 53305 33554432000 4194304 4625164 140734326000576 18446744073709551615 4334728 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 886.19
Current children cumulated vsize (KiB) 379328

[startup+282.301 s]

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

[pid=5903] ppid=5901 vsize=607808 CPUtime=2800.22 cores=1,3,5,7
/proc/5903/stat : 5903 (SArTagnan) R 5901 5903 5006 0 -1 4202496 4452893 0 0 0 279300 722 0 0 25 0 4 0 669843440 622395392 109961 33554432000 4194304 4625164 140734326000576 18446744073709551615 4329151 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5903/statm: 151952 109961 714 106 0 147455 0
[pid=5903/tid=5905] ppid=5901 vsize=607808 CPUtime=702.23 cores=1,3,5,7
/proc/5903/task/5905/stat : 5905 (SArTagnan) R 5901 5903 5006 0 -1 4202560 27658 0 0 0 70217 6 0 0 25 0 4 0 669843448 622395392 109961 33554432000 4194304 4625164 140734326000576 18446744073709551615 4352021 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5903/tid=5906] ppid=5901 vsize=607808 CPUtime=693.42 cores=1,3,5,7
/proc/5903/task/5906/stat : 5906 (SArTagnan) R 5901 5903 5006 0 -1 4202560 55174 0 0 0 69329 13 0 0 25 0 4 0 669843448 622395392 109961 33554432000 4194304 4625164 140734326000576 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5903/tid=5907] ppid=5901 vsize=607808 CPUtime=702.24 cores=1,3,5,7
/proc/5903/task/5907/stat : 5907 (SArTagnan) R 5901 5903 5006 0 -1 4202560 3967458 0 0 0 69597 627 0 0 25 0 4 0 669843448 622395392 109961 33554432000 4194304 4625164 140734326000576 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2800.22
Current children cumulated vsize (KiB) 607808

[startup+762.314 s]
/proc/loadavg: 8.02 8.08 7.74 9/380 5957
/proc/meminfo: memFree=24166076/32951124 swapFree=37160408/67111528
[pid=5903] ppid=5901 vsize=607808 CPUtime=3039.52 cores=1,3,5,7
/proc/5903/stat : 5903 (SArTagnan) R 5901 5903 5006 0 -1 4202496 4619174 0 0 0 303195 757 0 0 25 0 4 0 669843440 622395392 113483 33554432000 4194304 4625164 140734326000576 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5903/statm: 151952 113483 403 106 0 147455 0
[pid=5903/tid=5905] ppid=5901 vsize=607808 CPUtime=762.24 cores=1,3,5,7
/proc/5903/task/5905/stat : 5905 (SArTagnan) R 5901 5903 5006 0 -1 4202560 27658 0 0 0 76218 6 0 0 25 0 4 0 669843448 622395392 113483 33554432000 4194304 4625164 140734326000576 18446744073709551615 4352208 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5903/tid=5906] ppid=5901 vsize=607808 CPUtime=752.67 cores=1,3,5,7
/proc/5903/task/5906/stat : 5906 (SArTagnan) R 5901 5903 5006 0 -1 4202560 56192 0 0 0 75254 13 0 0 25 0 4 0 669843448 622395392 113483 33554432000 4194304 4625164 140734326000576 18446744073709551615 4339643 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5903/tid=5907] ppid=5901 vsize=607808 CPUtime=762.25 cores=1,3,5,7
/proc/5903/task/5907/stat : 5907 (SArTagnan) R 5901 5903 5006 0 -1 4202560 3967771 0 0 0 75598 627 0 0 25 0 4 0 669843448 622395392 113483 33554432000 4194304 4625164 140734326000576 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3039.52
Current children cumulated vsize (KiB) 607808

[startup+822.3 s]
/proc/loadavg: 8.07 8.08 7.76 9/380 5959
/proc/meminfo: memFree=23883588/32951124 swapFree=37160408/67111528
[pid=5903] ppid=5901 vsize=650120 CPUtime=3278.71 cores=1,3,5,7
/proc/5903/stat : 5903 (SArTagnan) R 5901 5903 5006 0 -1 4202496 4810225 0 0 0 327079 792 0 0 25 0 4 0 669843440 665722880 119156 33554432000 4194304 4625164 140734326000576 18446744073709551615 4512794 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5903/statm: 162530 119156 340 106 0 158033 0
[pid=5903/tid=5905] ppid=5901 vsize=650120 CPUtime=822.23 cores=1,3,5,7
/proc/5903/task/5905/stat : 5905 (SArTagnan) R 5901 5903 5006 0 -1 4202560 27670 0 0 0 82217 6 0 0 25 0 4 0 669843448 665722880 119156 33554432000 4194304 4625164 140734326000576 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5903/tid=5906] ppid=5901 vsize=650120 CPUtime=811.9 cores=1,3,5,7
/proc/5903/task/5906/stat : 5906 (SArTagnan) R 5901 5903 5006 0 -1 4202560 56938 0 0 0 81176 14 0 0 25 0 4 0 669843448 665722880 119156 33554432000 4194304 4625164 140734326000576 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5903/tid=5907] ppid=5901 vsize=650120 CPUtime=822.24 cores=1,3,5,7
/proc/5903/task/5907/stat : 5907 (SArTagnan) R 5901 5903 5006 0 -1 4202560 3969611 0 0 0 81596 628 0 0 25 0 4 0 669843448 665722880 119156 33554432000 4194304 4625164 140734326000576 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3278.71
Current children cumulated vsize (KiB) 650120

[startup+882.3 s]
/proc/loadavg: 8.09 8.08 7.78 9/380 5970
/proc/meminfo: memFree=23806712/32951124 swapFree=37160408/67111528
[pid=5903] ppid=5901 vsize=656732 CPUtime=3517.95 cores=1,3,5,7
/proc/5903/stat : 5903 (SArTagnan) R 5901 5903 5006 0 -1 4202496 4987830 0 0 0 350970 825 0 0 25 0 4 0 669843440 672493568 123445 33554432000 4194304 4625164 140734326000576 18446744073709551615 4511930 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5903/statm: 164183 123445 340 106 0 159686 0
[pid=5903/tid=5905] ppid=5901 vsize=656732 CPUtime=882.23 cores=1,3,5,7
/proc/5903/task/5905/stat : 5905 (SArTagnan) R 5901 5903 5006 0 -1 4202560 27670 0 0 0 88217 6 0 0 25 0 4 0 669843448 672493568 123445 33554432000 4194304 4625164 140734326000576 18446744073709551615 4352098 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5903/tid=5906] ppid=5901 vsize=656732 CPUtime=871.14 cores=1,3,5,7
/proc/5903/task/5906/stat : 5906 (SArTagnan) R 5901 5903 5006 0 -1 4202560 57860 0 0 0 87099 15 0 0 25 0 4 0 669843448 672493568 123445 33554432000 4194304 4625164 140734326000576 18446744073709551615 4351844 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5903/tid=5907] ppid=5901 vsize=656732 CPUtime=882.24 cores=1,3,5,7
/proc/5903/task/5907/stat : 5907 (SArTagnan) R 5901 5903 5006 0 -1 4202560 3971270 0 0 0 87595 629 0 0 25 0 4 0 669843448 672493568 123445 33554432000 4194304 4625164 140734326000576 18446744073709551615 4547221 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3517.95
Current children cumulated vsize (KiB) 656732

[startup+942.3 s]
/proc/loadavg: 8.14 8.10 7.80 9/380 5971
/proc/meminfo: memFree=23575428/32951124 swapFree=37160408/67111528
[pid=5903] ppid=5901 vsize=663744 CPUtime=3757.2 cores=1,3,5,7
/proc/5903/stat : 5903 (SArTagnan) R 5901 5903 5006 0 -1 4202496 5232927 0 0 0 374853 867 0 0 25 0 4 0 669843440 679673856 129133 33554432000 4194304 4625164 140734326000576 18446744073709551615 4512315 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5903/statm: 165936 129133 340 106 0 161439 0
[pid=5903/tid=5905] ppid=5901 vsize=663744 CPUtime=942.23 cores=1,3,5,7
/proc/5903/task/5905/stat : 5905 (SArTagnan) R 5901 5903 5006 0 -1 4202560 27670 0 0 0 94217 6 0 0 25 0 4 0 669843448 679673856 129133 33554432000 4194304 4625164 140734326000576 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5903/tid=5906] ppid=5901 vsize=663744 CPUtime=930.38 cores=1,3,5,7
/proc/5903/task/5906/stat : 5906 (SArTagnan) R 5901 5903 5006 0 -1 4202560 58286 0 0 0 93023 15 0 0 25 0 4 0 669843448 679673856 129133 33554432000 4194304 4625164 140734326000576 18446744073709551615 4288690 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5903/tid=5907] ppid=5901 vsize=663744 CPUtime=942.24 cores=1,3,5,7
/proc/5903/task/5907/stat : 5907 (SArTagnan) R 5901 5903 5006 0 -1 4202560 4040801 0 0 0 93585 639 0 0 25 0 4 0 669843448 679673856 129133 33554432000 4194304 4625164 140734326000576 18446744073709551615 4352021 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3757.2
Current children cumulated vsize (KiB) 663744

[startup+1002.3 s]
/proc/loadavg: 8.15 8.11 7.82 9/380 5975
/proc/meminfo: memFree=23323076/32951124 swapFree=37160408/67111528
[pid=5903] ppid=5901 vsize=762364 CPUtime=3996.44 cores=1,3,5,7
/proc/5903/stat : 5903 (SArTagnan) R 5901 5903 5006 0 -1 4202496 5621340 0 0 0 398709 935 0 0 25 0 4 0 669843440 780660736 137049 33554432000 4194304 4625164 140734326000576 18446744073709551615 4512156 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5903/statm: 190591 137049 356 106 0 186094 0
[pid=5903/tid=5905] ppid=5901 vsize=762364 CPUtime=1002.24 cores=1,3,5,7
/proc/5903/task/5905/stat : 5905 (SArTagnan) R 5901 5903 5006 0 -1 4202560 27670 0 0 0 100218 6 0 0 25 0 4 0 669843448 780660736 137049 33554432000 4194304 4625164 140734326000576 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5903/tid=5906] ppid=5901 vsize=762364 CPUtime=989.62 cores=1,3,5,7
/proc/5903/task/5906/stat : 5906 (SArTagnan) R 5901 5903 5006 0 -1 4202560 59136 0 0 0 98946 16 0 0 25 0 4 0 669843448 780660736 137049 33554432000 4194304 4625164 140734326000576 18446744073709551615 4295440 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5903/tid=5907] ppid=5901 vsize=762364 CPUtime=1002.24 cores=1,3,5,7
/proc/5903/task/5907/stat : 5907 (SArTagnan) R 5901 5903 5006 0 -1 4202560 4375579 0 0 0 99527 697 0 0 25 0 4 0 669843448 780660736 137049 33554432000 4194304 4625164 140734326000576 18446744073709551615 4334728 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3996.44
Current children cumulated vsize (KiB) 762364

[startup+1062.3 s]
/proc/loadavg: 8.36 8.19 7.86 9/380 5977
/proc/meminfo: memFree=23246176/32951124 swapFree=37160408/67111528
[pid=5903] ppid=5901 vsize=765408 CPUtime=4234.86 cores=1,3,5,7
/proc/5903/stat : 5903 (SArTagnan) R 5901 5903 5006 0 -1 4202496 5848896 0 0 0 422506 980 0 0 25 0 4 0 669843440 783777792 140935 33554432000 4194304 4625164 140734326000576 18446744073709551615 4512156 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5903/statm: 191352 140935 340 106 0 186855 0
[pid=5903/tid=5905] ppid=5901 vsize=765408 CPUtime=1061.4 cores=1,3,5,7
/proc/5903/task/5905/stat : 5905 (SArTagnan) R 5901 5903 5006 0 -1 4202560 27977 0 0 0 106134 6 0 0 25 0 4 0 669843448 783777792 140935 33554432000 4194304 4625164 140734326000576 18446744073709551615 4351839 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5903/tid=5906] ppid=5901 vsize=765408 CPUtime=1048.86 cores=1,3,5,7
/proc/5903/task/5906/stat : 5906 (SArTagnan) R 5901 5903 5006 0 -1 4202560 59834 0 0 0 104870 16 0 0 25 0 4 0 669843448 783777792 140935 33554432000 4194304 4625164 140734326000576 18446744073709551615 4351901 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5903/tid=5907] ppid=5901 vsize=765408 CPUtime=1062.24 cores=1,3,5,7
/proc/5903/task/5907/stat : 5907 (SArTagnan) R 5901 5903 5006 0 -1 4202560 4493707 0 0 0 105506 718 0 0 25 0 4 0 669843448 783777792 140935 33554432000 4194304 4625164 140734326000576 18446744073709551615 4552369 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4234.86
Current children cumulated vsize (KiB) 765408

[startup+1122.3 s]
/proc/loadavg: 8.26 8.19 7.89 9/380 5979
/proc/meminfo: memFree=23166180/32951124 swapFree=37160408/67111528
[pid=5903] ppid=5901 vsize=775896 CPUtime=4474.08 cores=1,3,5,7
/proc/5903/stat : 5903 (SArTagnan) R 5901 5903 5006 0 -1 4202496 6105808 0 0 0 446388 1020 0 0 25 0 4 0 669843440 794517504 145938 33554432000 4194304 4625164 140734326000576 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/5903/statm: 193974 145938 342 106 0 189477 0
[pid=5903/tid=5905] ppid=5901 vsize=775896 CPUtime=1121.4 cores=1,3,5,7
/proc/5903/task/5905/stat : 5905 (SArTagnan) R 5901 5903 5006 0 -1 4202560 28291 0 0 0 112134 6 0 0 25 0 4 0 669843448 794517504 145938 33554432000 4194304 4625164 140734326000576 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5903/tid=5906] ppid=5901 vsize=775896 CPUtime=1108.19 cores=1,3,5,7
/proc/5903/task/5906/stat : 5906 (SArTagnan) R 5901 5903 5006 0 -1 4202560 60259 0 0 0 110802 17 0 0 25 0 4 0 669843448 794517504 145938 33554432000 4194304 4625164 140734326000576 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5903/tid=5907] ppid=5901 vsize=775896 CPUtime=1122.24 cores=1,3,5,7
/proc/5903/task/5907/stat : 5907 (SArTagnan) R 5901 5903 5006 0 -1 4202560 4748135 0 0 0 111466 758 0 0 25 0 4 0 669843448 794517504 145938 33554432000 4194304 4625164 140734326000576 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4474.08
Current children cumulated vsize (KiB) 775896

[startup+1182.3 s]
/proc/loadavg: 8.17 8.18 7.90 9/380 5981
/proc/meminfo: memFree=23085068/32951124 swapFree=37160408/67111528
[pid=5903] ppid=5901 vsize=778272 CPUtime=4713.34 cores=1,3,5,7
/proc/5903/stat : 5903 (SArTagnan) R 5901 5903 5006 0 -1 4202496 6110789 0 0 0 470313 1021 0 0 25 0 4 0 669843440 796950528 147355 33554432000 4194304 4625164 140734326000576 18446744073709551615 4329151 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/5903/statm: 194568 147355 342 106 0 190071 0
[pid=5903/tid=5905] ppid=5901 vsize=778272 CPUtime=1181.4 cores=1,3,5,7
/proc/5903/task/5905/stat : 5905 (SArTagnan) R 5901 5903 5006 0 -1 4202560 28291 0 0 0 118134 6 0 0 25 0 4 0 669843448 796950528 147355 33554432000 4194304 4625164 140734326000576 18446744073709551615 4339536 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5903/tid=5906] ppid=5901 vsize=778272 CPUtime=1168.2 cores=1,3,5,7
/proc/5903/task/5906/stat : 5906 (SArTagnan) R 5901 5903 5006 0 -1 4202560 60486 0 0 0 116803 17 0 0 25 0 4 0 669843448 796950528 147355 33554432000 4194304 4625164 140734326000576 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5903/tid=5907] ppid=5901 vsize=778272 CPUtime=1182.24 cores=1,3,5,7
/proc/5903/task/5907/stat : 5907 (SArTagnan) R 5901 5903 5006 0 -1 4202560 4749686 0 0 0 117466 758 0 0 25 0 4 0 669843448 796950528 147355 33554432000 4194304 4625164 140734326000576 18446744073709551615 4552369 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4713.34
Current children cumulated vsize (KiB) 778272



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1204.1 s]
/proc/loadavg: 8.11 8.17 7.90 9/380 5981
/proc/meminfo: memFree=23048716/32951124 swapFree=37160408/67111528
[pid=5903] ppid=5901 vsize=778272 CPUtime=4800.3 cores=1,3,5,7
/proc/5903/stat : 5903 (SArTagnan) R 5901 5903 5006 0 -1 4202496 6112042 0 0 0 479008 1022 0 0 25 0 4 0 669843440 796950528 147429 33554432000 4194304 4625164 140734326000576 18446744073709551615 4511930 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/5903/statm: 194568 147429 342 106 0 190071 0
[pid=5903/tid=5905] ppid=5901 vsize=778272 CPUtime=1203.22 cores=1,3,5,7
/proc/5903/task/5905/stat : 5905 (SArTagnan) R 5901 5903 5006 0 -1 4202560 28291 0 0 0 120316 6 0 0 25 0 4 0 669843448 796950528 147429 33554432000 4194304 4625164 140734326000576 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5903/tid=5906] ppid=5901 vsize=778272 CPUtime=1190.01 cores=1,3,5,7
/proc/5903/task/5906/stat : 5906 (SArTagnan) R 5901 5903 5006 0 -1 4202560 60519 0 0 0 118984 17 0 0 25 0 4 0 669843448 796950528 147429 33554432000 4194304 4625164 140734326000576 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5903/tid=5907] ppid=5901 vsize=778272 CPUtime=1204.06 cores=1,3,5,7
/proc/5903/task/5907/stat : 5907 (SArTagnan) R 5901 5903 5006 0 -1 4202560 4749719 0 0 0 119648 758 0 0 25 0 4 0 669843448 796950528 147429 33554432000 4194304 4625164 140734326000576 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.3
Current children cumulated vsize (KiB) 778272

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

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

[startup+1204.1 s]
/proc/loadavg: 8.11 8.17 7.90 9/380 5981
/proc/meminfo: memFree=23048716/32951124 swapFree=37160408/67111528
[pid=5903] ppid=5901 vsize=778272 CPUtime=4800.3 cores=1,3,5,7
/proc/5903/stat : 5903 (SArTagnan) R 5901 5903 5006 0 -1 4202496 6112042 0 0 0 479008 1022 0 0 25 0 4 0 669843440 796950528 147429 33554432000 4194304 4625164 140734326000576 18446744073709551615 4511930 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/5903/statm: 194568 147429 342 106 0 190071 0
[pid=5903/tid=5905] ppid=5901 vsize=778272 CPUtime=1203.22 cores=1,3,5,7
/proc/5903/task/5905/stat : 5905 (SArTagnan) R 5901 5903 5006 0 -1 4202560 28291 0 0 0 120316 6 0 0 25 0 4 0 669843448 796950528 147429 33554432000 4194304 4625164 140734326000576 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5903/tid=5906] ppid=5901 vsize=778272 CPUtime=1190.01 cores=1,3,5,7
/proc/5903/task/5906/stat : 5906 (SArTagnan) R 5901 5903 5006 0 -1 4202560 60519 0 0 0 118984 17 0 0 25 0 4 0 669843448 796950528 147429 33554432000 4194304 4625164 140734326000576 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5903/tid=5907] ppid=5901 vsize=778272 CPUtime=1204.06 cores=1,3,5,7
/proc/5903/task/5907/stat : 5907 (SArTagnan) R 5901 5903 5006 0 -1 4202560 4749719 0 0 0 119648 758 0 0 25 0 4 0 669843448 796950528 147429 33554432000 4194304 4625164 140734326000576 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.3
Current children cumulated vsize (KiB) 778272

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1204.14
CPU time (s): 4800.35
CPU user time (s): 4790.11
CPU system time (s): 10.2434
CPU usage (%): 398.653
Max. virtual memory (cumulated for all children) (KiB): 833860

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4790.11
system time used= 10.2434
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6112042
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= 1074
involuntary context switches= 31228

runsolver used 4.13837 second user time and 11.0363 second system time

The end

Launcher Data 

Begin job on node104 at 2011-05-16 23:47:10
IDJOB=3385983
IDBENCH=84004
IDSOLVER=1871
FILE ID=node104/3385983-1305582430
RUNJOBID= node104-1305581224-5817
PBS_JOBID= 13350212
Free space on /tmp= 73252 MiB

SOLVER NAME= SArTagnan 2011-05-15 (fixed)
BENCH NAME= SAT03/handmade/anton/UNSAT/SGI_30_50_30_20_3-log.shuffled-as.sat03-109.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3385983-1305582430/watcher-3385983-1305582430 -o /tmp/evaluation-result-3385983-1305582430/solver-3385983-1305582430 -C 4800 -W 1300 -M 15500  SArTagnan HOME/instance-3385983-1305582430.cnf -threads=4

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

MD5SUM BENCH= f19999592ac4a0c798533d80c1c7f2d7
RANDOM SEED=60827067

node104.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.855
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.71
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.855
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.855
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.67
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.855
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.80
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.855
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	: 5293.18
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.855
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.855
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.855
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.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      27852688 kB
Buffers:        302236 kB
Cached:        2738128 kB
SwapCached:     152312 kB
Active:        1277844 kB
Inactive:      3539240 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      27852688 kB
SwapTotal:    67111528 kB
SwapFree:     37160408 kB
Dirty:            2720 kB
Writeback:          16 kB
AnonPages:     1637500 kB
Mapped:          11020 kB
Slab:           127760 kB
PageTables:      88780 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 87732648 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= 73268 MiB
End job on node104 at 2011-05-17 00:07:16