Trace number 3262620

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.39 1201.76

General information on the benchmark

Namecrafted/kullmann/VanDerWaerden/
VanderWaerden3k/VanDerWaerden_2-3-14_186.cnf
MD5SUM642fce7e30a701c3223fa5771c2e57dc
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables186
Number of clauses9795
Sum of the clauses size43014
Maximum clause length14
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 38556
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 51239

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-3262620-1304095688/watcher-3262620-1304095688 -o /tmp/evaluation-result-3262620-1304095688/solver-3262620-1304095688 -C 4800 -W 1300 -M 15500 SArTagnan HOME/instance-3262620-1304095688.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.47 7.97 8.01 6/180 1772
/proc/meminfo: memFree=29403600/32950928 swapFree=67111352/67111528
[pid=1772] ppid=1770 vsize=19076 CPUtime=0 cores=1,3,5,7
/proc/1772/stat : 1772 (SArTagnan) R 1770 1772 1121 0 -1 4202496 530 0 0 0 0 0 0 0 23 0 1 0 599799467 19533824 468 33554432000 4194304 4623224 140734133913536 18446744073709551615 4388779 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1772/statm: 4769 468 296 105 0 273 0

[startup+0.622124 s]
/proc/loadavg: 7.47 7.97 8.01 6/180 1772
/proc/meminfo: memFree=29403600/32950928 swapFree=67111352/67111528
[pid=1772] ppid=1770 vsize=253096 CPUtime=3.29 cores=1,3,5,7
/proc/1772/stat : 1772 (SArTagnan) R 1770 1772 1121 0 -1 4202496 9356 0 0 0 328 1 0 0 19 0 4 0 599799467 259170304 3897 33554432000 4194304 4623224 140734133913536 18446744073709551615 4510086 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1772/statm: 63274 3897 340 105 0 58778 0
Current children cumulated CPU time (s) 3.29
Current children cumulated vsize (KiB) 253096

[startup+0.932214 s]
/proc/loadavg: 7.47 7.97 8.01 6/180 1772
/proc/meminfo: memFree=29403600/32950928 swapFree=67111352/67111528
[pid=1772] ppid=1770 vsize=254056 CPUtime=3.69 cores=1,3,5,7
/proc/1772/stat : 1772 (SArTagnan) R 1770 1772 1121 0 -1 4202496 10575 0 0 0 368 1 0 0 19 0 4 0 599799467 260153344 4136 33554432000 4194304 4623224 140734133913536 18446744073709551615 4510226 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1772/statm: 63514 4136 340 105 0 59018 0
Current children cumulated CPU time (s) 3.69
Current children cumulated vsize (KiB) 254056

[startup+1.0322 s]
/proc/loadavg: 7.47 7.97 8.01 6/180 1772
/proc/meminfo: memFree=29403600/32950928 swapFree=67111352/67111528
[pid=1772] ppid=1770 vsize=254320 CPUtime=4.09 cores=1,3,5,7
/proc/1772/stat : 1772 (SArTagnan) R 1770 1772 1121 0 -1 4202496 11702 0 0 0 408 1 0 0 19 0 4 0 599799467 260423680 4565 33554432000 4194304 4623224 140734133913536 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1772/statm: 63580 4565 340 105 0 59084 0
Current children cumulated CPU time (s) 4.09
Current children cumulated vsize (KiB) 254320

[startup+1.13218 s]
/proc/loadavg: 7.47 7.97 8.01 6/180 1772
/proc/meminfo: memFree=29403600/32950928 swapFree=67111352/67111528
[pid=1772] ppid=1770 vsize=254452 CPUtime=4.49 cores=1,3,5,7
/proc/1772/stat : 1772 (SArTagnan) R 1770 1772 1121 0 -1 4202496 12588 0 0 0 448 1 0 0 19 0 4 0 599799467 260558848 4823 33554432000 4194304 4623224 140734133913536 18446744073709551615 4510177 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1772/statm: 63613 4823 340 105 0 59117 0
Current children cumulated CPU time (s) 4.49
Current children cumulated vsize (KiB) 254452

[startup+1.50011 s]
/proc/loadavg: 7.47 7.97 8.01 6/180 1772
/proc/meminfo: memFree=29403600/32950928 swapFree=67111352/67111528
[pid=1772] ppid=1770 vsize=257464 CPUtime=5.96 cores=1,3,5,7
/proc/1772/stat : 1772 (SArTagnan) R 1770 1772 1121 0 -1 4202496 16153 0 0 0 595 1 0 0 20 0 4 0 599799467 263643136 5685 33554432000 4194304 4623224 140734133913536 18446744073709551615 4384349 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1772/statm: 64366 5686 341 105 0 59870 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 257464

[startup+3.10082 s]
/proc/loadavg: 7.67 8.00 8.02 9/184 1776
/proc/meminfo: memFree=29341000/32950928 swapFree=67111352/67111528
[pid=1772] ppid=1770 vsize=264188 CPUtime=12.35 cores=1,3,5,7
/proc/1772/stat : 1772 (SArTagnan) R 1770 1772 1121 0 -1 4202496 31055 0 0 0 1231 4 0 0 25 0 4 0 599799467 270528512 8735 33554432000 4194304 4623224 140734133913536 18446744073709551615 4510206 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1772/statm: 66047 8735 344 105 0 61551 0
[pid=1772/tid=1774] ppid=1770 vsize=264188 CPUtime=3.08 cores=1,3,5,7
/proc/1772/task/1774/stat : 1774 (SArTagnan) R 1770 1772 1121 0 -1 4202560 5110 0 0 0 307 1 0 0 25 0 4 0 599799468 270528512 8735 33554432000 4194304 4623224 140734133913536 18446744073709551615 4377128 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1772/tid=1775] ppid=1770 vsize=264188 CPUtime=3.07 cores=1,3,5,7
/proc/1772/task/1775/stat : 1775 (SArTagnan) R 1770 1772 1121 0 -1 4202560 3780 0 0 0 307 0 0 0 25 0 4 0 599799468 270528512 8735 33554432000 4194304 4623224 140734133913536 18446744073709551615 4376823 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1772/tid=1776] ppid=1770 vsize=264188 CPUtime=3.08 cores=1,3,5,7
/proc/1772/task/1776/stat : 1776 (SArTagnan) R 1770 1772 1121 0 -1 4202560 19616 0 0 0 306 2 0 0 25 0 4 0 599799468 270528512 8735 33554432000 4194304 4623224 140734133913536 18446744073709551615 4577456 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 264188

[startup+6.30622 s]
/proc/loadavg: 7.70 8.00 8.02 9/184 1776
/proc/meminfo: memFree=29305048/32950928 swapFree=67111352/67111528
[pid=1772] ppid=1770 vsize=273992 CPUtime=25.16 cores=1,3,5,7
/proc/1772/stat : 1772 (SArTagnan) R 1770 1772 1121 0 -1 4202496 55356 0 0 0 2508 8 0 0 25 0 4 0 599799467 280567808 12659 33554432000 4194304 4623224 140734133913536 18446744073709551615 4510475 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1772/statm: 68498 12659 350 105 0 64002 0
[pid=1772/tid=1774] ppid=1770 vsize=273992 CPUtime=6.28 cores=1,3,5,7
/proc/1772/task/1774/stat : 1774 (SArTagnan) R 1770 1772 1121 0 -1 4202560 7507 0 0 0 627 1 0 0 25 0 4 0 599799468 280567808 12659 33554432000 4194304 4623224 140734133913536 18446744073709551615 4376757 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1772/tid=1775] ppid=1770 vsize=273992 CPUtime=6.25 cores=1,3,5,7
/proc/1772/task/1775/stat : 1775 (SArTagnan) R 1770 1772 1121 0 -1 4202560 6021 0 0 0 625 0 0 0 25 0 4 0 599799468 280567808 12659 33554432000 4194304 4623224 140734133913536 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1772/tid=1776] ppid=1770 vsize=273992 CPUtime=6.28 cores=1,3,5,7
/proc/1772/task/1776/stat : 1776 (SArTagnan) R 1770 1772 1121 0 -1 4202560 38628 0 0 0 624 4 0 0 25 0 4 0 599799468 280567808 12659 33554432000 4194304 4623224 140734133913536 18446744073709551615 251367214082 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.16
Current children cumulated vsize (KiB) 273992

[startup+12.701 s]
/proc/loadavg: 7.72 8.00 8.02 9/184 1776
/proc/meminfo: memFree=29258540/32950928 swapFree=67111352/67111528
[pid=1772] ppid=1770 vsize=283156 CPUtime=50.71 cores=1,3,5,7
/proc/1772/stat : 1772 (SArTagnan) R 1770 1772 1121 0 -1 4202496 92409 0 0 0 5056 15 0 0 25 0 4 0 599799467 289951744 19386 33554432000 4194304 4623224 140734133913536 18446744073709551615 4510316 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1772/statm: 70789 19410 341 105 0 66293 0
[pid=1772/tid=1774] ppid=1770 vsize=283156 CPUtime=12.68 cores=1,3,5,7
/proc/1772/task/1774/stat : 1774 (SArTagnan) R 1770 1772 1121 0 -1 4202560 11290 0 0 0 1265 3 0 0 25 0 4 0 599799468 289951744 19422 33554432000 4194304 4623224 140734133913536 18446744073709551615 4376672 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1772/tid=1775] ppid=1770 vsize=283156 CPUtime=12.63 cores=1,3,5,7
/proc/1772/task/1775/stat : 1775 (SArTagnan) R 1770 1772 1121 0 -1 4202560 9977 0 0 0 1261 2 0 0 25 0 4 0 599799468 289951744 19428 33554432000 4194304 4623224 140734133913536 18446744073709551615 4376672 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1772/tid=1776] ppid=1770 vsize=283156 CPUtime=12.68 cores=1,3,5,7
/proc/1772/task/1776/stat : 1776 (SArTagnan) R 1770 1772 1121 0 -1 4202560 66586 0 0 0 1259 9 0 0 25 0 4 0 599799468 289951744 19428 33554432000 4194304 4623224 140734133913536 18446744073709551615 4577678 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 283156

[startup+25.5007 s]
/proc/loadavg: 7.84 8.02 8.02 9/184 1777
/proc/meminfo: memFree=29168900/32950928 swapFree=67111352/67111528
[pid=1772] ppid=1770 vsize=303512 CPUtime=101.83 cores=1,3,5,7
/proc/1772/stat : 1772 (SArTagnan) R 1770 1772 1121 0 -1 4202496 162670 0 0 0 10154 29 0 0 25 0 4 0 599799467 310796288 29753 33554432000 4194304 4623224 140734133913536 18446744073709551615 4517570 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1772/statm: 75878 29753 426 105 0 71382 0
[pid=1772/tid=1774] ppid=1770 vsize=303512 CPUtime=25.48 cores=1,3,5,7
/proc/1772/task/1774/stat : 1774 (SArTagnan) R 1770 1772 1121 0 -1 4202560 17378 0 0 0 2544 4 0 0 25 0 4 0 599799468 310796288 29753 33554432000 4194304 4623224 140734133913536 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1772/tid=1775] ppid=1770 vsize=303512 CPUtime=25.35 cores=1,3,5,7
/proc/1772/task/1775/stat : 1775 (SArTagnan) R 1770 1772 1121 0 -1 4202560 14332 0 0 0 2531 4 0 0 25 0 4 0 599799468 310796288 29753 33554432000 4194304 4623224 140734133913536 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1772/tid=1776] ppid=1770 vsize=303512 CPUtime=25.48 cores=1,3,5,7
/proc/1772/task/1776/stat : 1776 (SArTagnan) R 1770 1772 1121 0 -1 4202560 124553 0 0 0 2529 19 0 0 25 0 4 0 599799468 310796288 29753 33554432000 4194304 4623224 140734133913536 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 303512

[startup+51.1009 s]
/proc/loadavg: 7.89 8.01 8.02 9/184 1777
/proc/meminfo: memFree=29049072/32950928 swapFree=67111352/67111528
[pid=1772] ppid=1770 vsize=313156 CPUtime=204.1 cores=1,3,5,7
/proc/1772/stat : 1772 (SArTagnan) R 1770 1772 1121 0 -1 4202496 228923 0 0 0 20369 41 0 0 25 0 4 0 599799467 320671744 45332 33554432000 4194304 4623224 140734133913536 18446744073709551615 4517494 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1772/statm: 78289 45332 394 105 0 73793 0
[pid=1772/tid=1774] ppid=1770 vsize=313156 CPUtime=51.08 cores=1,3,5,7
/proc/1772/task/1774/stat : 1774 (SArTagnan) R 1770 1772 1121 0 -1 4202560 25889 0 0 0 5103 5 0 0 25 0 4 0 599799468 320671744 45332 33554432000 4194304 4623224 140734133913536 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1772/tid=1775] ppid=1770 vsize=313156 CPUtime=50.81 cores=1,3,5,7
/proc/1772/task/1775/stat : 1775 (SArTagnan) R 1770 1772 1121 0 -1 4202560 21713 0 0 0 5075 6 0 0 25 0 4 0 599799468 320671744 45332 33554432000 4194304 4623224 140734133913536 18446744073709551615 4376672 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1772/tid=1776] ppid=1770 vsize=313156 CPUtime=51.08 cores=1,3,5,7
/proc/1772/task/1776/stat : 1776 (SArTagnan) R 1770 1772 1121 0 -1 4202560 170277 0 0 0 5082 26 0 0 25 0 4 0 599799468 320671744 45332 33554432000 4194304 4623224 140734133913536 18446744073709551615 4376832 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 313156

[startup+102.3 s]
/proc/loadavg: 8.04 8.04 8.03 9/184 1779
/proc/meminfo: memFree=28851244/32950928 swapFree=67111352/67111528
[pid=1772] ppid=1770 vsize=412756 CPUtime=408.62 cores=1,3,5,7
/proc/1772/stat : 1772 (SArTagnan) R 1770 1772 1121 0 -1 4202496 511126 0 0 0 40773 89 0 0 25 0 4 0 599799467 422662144 69245 33554432000 4194304 4623224 140734133913536 18446744073709551615 4517494 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1772/statm: 103189 69245 1145 105 0 98693 0
[pid=1772/tid=1774] ppid=1770 vsize=412756 CPUtime=102.27 cores=1,3,5,7
/proc/1772/task/1774/stat : 1774 (SArTagnan) R 1770 1772 1121 0 -1 4202560 36490 0 0 0 10220 7 0 0 25 0 4 0 599799468 422662144 69245 33554432000 4194304 4623224 140734133913536 18446744073709551615 4376829 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1772/tid=1775] ppid=1770 vsize=412756 CPUtime=101.73 cores=1,3,5,7
/proc/1772/task/1775/stat : 1775 (SArTagnan) R 1770 1772 1121 0 -1 4202560 31428 0 0 0 10163 10 0 0 25 0 4 0 599799468 422662144 69245 33554432000 4194304 4623224 140734133913536 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1772/tid=1776] ppid=1770 vsize=412756 CPUtime=102.29 cores=1,3,5,7
/proc/1772/task/1776/stat : 1776 (SArTagnan) R 1770 1772 1121 0 -1 4202560 420247 0 0 0 10163 66 0 0 25 0 4 0 599799468 422662144 69245 33554432000 4194304 4623224 140734133913536 18446744073709551615 4366446 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.62
Current children cumulated vsize (KiB) 412756

[startup+162.3 s]
/proc/loadavg: 8.17 8.07 8.04 9/184 1780
/proc/meminfo: memFree=28711216/32950928 swapFree=67111352/67111528
[pid=1772] ppid=1770 vsize=472868 CPUtime=648.29 cores=1,3,5,7
/proc/1772/stat : 1772 (SArTagnan) R 1770 1772 1121 0 -1 4202496 656069 0 0 0 64714 115 0 0 25 0 4 0 599799467 484216832 89341 33554432000 4194304 4623224 140734133913536 18446744073709551615 4510316 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1772/statm: 118217 89341 1081 105 0 113721 0
[pid=1772/tid=1774] ppid=1770 vsize=472868 CPUtime=162.28 cores=1,3,5,7
/proc/1772/task/1774/stat : 1774 (SArTagnan) R 1770 1772 1121 0 -1 4202560 41058 0 0 0 16217 11 0 0 25 0 4 0 599799468 484216832 89341 33554432000 4194304 4623224 140734133913536 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1772/tid=1775] ppid=1770 vsize=472868 CPUtime=161.41 cores=1,3,5,7
/proc/1772/task/1775/stat : 1775 (SArTagnan) R 1770 1772 1121 0 -1 4202560 43136 0 0 0 16128 13 0 0 25 0 4 0 599799468 484216832 89341 33554432000 4194304 4623224 140734133913536 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1772/tid=1776] ppid=1770 vsize=472868 CPUtime=162.28 cores=1,3,5,7
/proc/1772/task/1776/stat : 1776 (SArTagnan) R 1770 1772 1121 0 -1 4202560 535406 0 0 0 16145 83 0 0 25 0 4 0 599799468 484216832 89341 33554432000 4194304 4623224 140734133913536 18446744073709551615 4550411 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 648.29
Current children cumulated vsize (KiB) 472868

[startup+222.3 s]
/proc/loadavg: 8.13 8.07 8.04 9/184 1782
/proc/meminfo: memFree=28545760/32950928 swapFree=67111352/67111528
[pid=1772] ppid=1770 vsize=669300 CPUtime=887.97 cores=1,3,5,7
/proc/1772/stat : 1772 (SArTagnan) R 1770 1772 1121 0 -1 4202496 1131705 0 0 0 88602 195 0 0 25 0 4 0 599799467 685363200 110753 33554432000 4194304 4623224 140734133913536 18446744073709551615 4510110 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1772/statm: 167325 110753 1500 105 0 162829 0
[pid=1772/tid=1774] ppid=1770 vsize=669300 CPUtime=222.27 cores=1,3,5,7
/proc/1772/task/1774/stat : 1774 (SArTagnan) R 1770 1772 1121 0 -1 4202560 57973 0 0 0 22214 13 0 0 25 0 4 0 599799468 685363200 110753 33554432000 4194304 4623224 140734133913536 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1772/tid=1775] ppid=1770 vsize=669300 CPUtime=221.08 cores=1,3,5,7
/proc/1772/task/1775/stat : 1775 (SArTagnan) R 1770 1772 1121 0 -1 4202560 44107 0 0 0 22094 14 0 0 25 0 4 0 599799468 685363200 110753 33554432000 4194304 4623224 140734133913536 18446744073709551615 4377576 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1772/tid=1776] ppid=1770 vsize=669300 CPUtime=222.29 cores=1,3,5,7
/proc/1772/task/1776/stat : 1776 (SArTagnan) R 1770 1772 1121 0 -1 4202560 984244 0 0 0 22070 159 0 0 25 0 4 0 599799468 685363200 110753 33554432000 4194304 4623224 140734133913536 18446744073709551615 4577456 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 887.97
Current children cumulated vsize (KiB) 669300

[startup+282.301 s]
/proc/loadavg: 8.11 8.07 8.03 9/184 1783
/proc/meminfo: memFree=28458312/32950928 swapFree=67111352/67111528
[pid=1772] ppid=1770 vsize=694512 CPUtime=1127.67 cores=1,3,5,7
/proc/1772/stat : 1772 (SArTagnan) R 1770 1772 1121 0 -1 4202496 1611065 0 0 0 112485 282 0 0 25 0 4 0 599799467 711180288 121373 33554432000 4194304 4623224 140734133913536 18446744073709551615 4510316 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1772/statm: 173628 121373 1101 105 0 169132 0
[pid=1772/tid=1774] ppid=1770 vsize=694512 CPUtime=282.28 cores=1,3,5,7

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

[pid=1772] ppid=1770 vsize=1023076 CPUtime=2805.4 cores=1,3,5,7
/proc/1772/stat : 1772 (SArTagnan) R 1770 1772 1121 0 -1 4202496 3753736 0 0 0 279896 644 0 0 25 0 4 0 599799467 1047629824 195222 33554432000 4194304 4623224 140734133913536 18446744073709551615 4517506 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1772/statm: 255769 195222 489 105 0 251273 0
[pid=1772/tid=1774] ppid=1770 vsize=1023076 CPUtime=702.28 cores=1,3,5,7
/proc/1772/task/1774/stat : 1774 (SArTagnan) R 1770 1772 1121 0 -1 4202560 123278 0 0 0 70195 33 0 0 25 0 4 0 599799468 1047629824 195222 33554432000 4194304 4623224 140734133913536 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1772/tid=1775] ppid=1770 vsize=1023076 CPUtime=698.48 cores=1,3,5,7
/proc/1772/task/1775/stat : 1775 (SArTagnan) R 1770 1772 1121 0 -1 4202560 94471 0 0 0 69820 28 0 0 25 0 4 0 599799468 1047629824 195222 33554432000 4194304 4623224 140734133913536 18446744073709551615 4376643 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1772/tid=1776] ppid=1770 vsize=1023076 CPUtime=702.29 cores=1,3,5,7
/proc/1772/task/1776/stat : 1776 (SArTagnan) R 1770 1772 1121 0 -1 4202560 3291144 0 0 0 69695 534 0 0 25 0 4 0 599799468 1047629824 195222 33554432000 4194304 4623224 140734133913536 18446744073709551615 4545376 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2805.4
Current children cumulated vsize (KiB) 1023076

[startup+762.3 s]
/proc/loadavg: 8.04 8.07 8.04 9/184 1796
/proc/meminfo: memFree=27807116/32950928 swapFree=67111352/67111528
[pid=1772] ppid=1770 vsize=1029544 CPUtime=3045.08 cores=1,3,5,7
/proc/1772/stat : 1772 (SArTagnan) R 1770 1772 1121 0 -1 4202496 3760801 0 0 0 303861 647 0 0 25 0 4 0 599799467 1054253056 199286 33554432000 4194304 4623224 140734133913536 18446744073709551615 4414904 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1772/statm: 257386 199286 489 105 0 252890 0
[pid=1772/tid=1774] ppid=1770 vsize=1029544 CPUtime=762.28 cores=1,3,5,7
/proc/1772/task/1774/stat : 1774 (SArTagnan) R 1770 1772 1121 0 -1 4202560 126075 0 0 0 76193 35 0 0 25 0 4 0 599799468 1054253056 199286 33554432000 4194304 4623224 140734133913536 18446744073709551615 4366391 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1772/tid=1775] ppid=1770 vsize=1029544 CPUtime=758.15 cores=1,3,5,7
/proc/1772/task/1775/stat : 1775 (SArTagnan) R 1770 1772 1121 0 -1 4202560 94785 0 0 0 75787 28 0 0 25 0 4 0 599799468 1054253056 199286 33554432000 4194304 4623224 140734133913536 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1772/tid=1776] ppid=1770 vsize=1029544 CPUtime=762.3 cores=1,3,5,7
/proc/1772/task/1776/stat : 1776 (SArTagnan) R 1770 1772 1121 0 -1 4202560 3292676 0 0 0 75695 535 0 0 25 0 4 0 599799468 1054253056 199286 33554432000 4194304 4623224 140734133913536 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3045.08
Current children cumulated vsize (KiB) 1029544

[startup+822.3 s]
/proc/loadavg: 8.07 8.07 8.04 9/184 1807
/proc/meminfo: memFree=27766332/32950928 swapFree=67111352/67111528
[pid=1772] ppid=1770 vsize=1035748 CPUtime=3284.74 cores=1,3,5,7
/proc/1772/stat : 1772 (SArTagnan) R 1770 1772 1121 0 -1 4202496 3946832 0 0 0 327791 683 0 0 25 0 4 0 599799467 1060605952 204340 33554432000 4194304 4623224 140734133913536 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1772/statm: 258937 204340 455 105 0 254441 0
[pid=1772/tid=1774] ppid=1770 vsize=1035748 CPUtime=822.27 cores=1,3,5,7
/proc/1772/task/1774/stat : 1774 (SArTagnan) R 1770 1772 1121 0 -1 4202560 127642 0 0 0 82191 36 0 0 25 0 4 0 599799468 1060605952 204340 33554432000 4194304 4623224 140734133913536 18446744073709551615 4376869 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1772/tid=1775] ppid=1770 vsize=1035748 CPUtime=817.82 cores=1,3,5,7
/proc/1772/task/1775/stat : 1775 (SArTagnan) R 1770 1772 1121 0 -1 4202560 96551 0 0 0 81754 28 0 0 25 0 4 0 599799468 1060605952 204340 33554432000 4194304 4623224 140734133913536 18446744073709551615 4376659 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1772/tid=1776] ppid=1770 vsize=1035748 CPUtime=822.3 cores=1,3,5,7
/proc/1772/task/1776/stat : 1776 (SArTagnan) R 1770 1772 1121 0 -1 4202560 3466247 0 0 0 81664 566 0 0 25 0 4 0 599799468 1060605952 204340 33554432000 4194304 4623224 140734133913536 18446744073709551615 4550465 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3284.74
Current children cumulated vsize (KiB) 1035748

[startup+882.3 s]
/proc/loadavg: 8.12 8.08 8.05 9/184 1808
/proc/meminfo: memFree=27723884/32950928 swapFree=67111352/67111528
[pid=1772] ppid=1770 vsize=1041292 CPUtime=3524.4 cores=1,3,5,7
/proc/1772/stat : 1772 (SArTagnan) R 1770 1772 1121 0 -1 4202496 4266704 0 0 0 351698 742 0 0 25 0 4 0 599799467 1066283008 208911 33554432000 4194304 4623224 140734133913536 18446744073709551615 4510226 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1772/statm: 260323 208911 368 105 0 255827 0
[pid=1772/tid=1774] ppid=1770 vsize=1041292 CPUtime=882.27 cores=1,3,5,7
/proc/1772/task/1774/stat : 1774 (SArTagnan) R 1770 1772 1121 0 -1 4202560 129356 0 0 0 88190 37 0 0 25 0 4 0 599799468 1066283008 208911 33554432000 4194304 4623224 140734133913536 18446744073709551615 4376640 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1772/tid=1775] ppid=1770 vsize=1041292 CPUtime=877.5 cores=1,3,5,7
/proc/1772/task/1775/stat : 1775 (SArTagnan) R 1770 1772 1121 0 -1 4202560 97748 0 0 0 87720 30 0 0 25 0 4 0 599799468 1066283008 208911 33554432000 4194304 4623224 140734133913536 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1772/tid=1776] ppid=1770 vsize=1041292 CPUtime=882.29 cores=1,3,5,7
/proc/1772/task/1776/stat : 1776 (SArTagnan) R 1770 1772 1121 0 -1 4202560 3762883 0 0 0 87612 617 0 0 25 0 4 0 599799468 1066283008 208911 33554432000 4194304 4623224 140734133913536 18446744073709551615 4550411 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3524.4
Current children cumulated vsize (KiB) 1041292

[startup+942.3 s]
/proc/loadavg: 8.21 8.11 8.06 9/184 1810
/proc/meminfo: memFree=27668800/32950928 swapFree=67111352/67111528
[pid=1772] ppid=1770 vsize=1056484 CPUtime=3764.1 cores=1,3,5,7
/proc/1772/stat : 1772 (SArTagnan) R 1770 1772 1121 0 -1 4202496 4701643 0 0 0 375595 815 0 0 25 0 4 0 599799467 1081839616 215497 33554432000 4194304 4623224 140734133913536 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1772/statm: 264121 215497 354 105 0 259625 0
[pid=1772/tid=1774] ppid=1770 vsize=1056484 CPUtime=942.28 cores=1,3,5,7
/proc/1772/task/1774/stat : 1774 (SArTagnan) R 1770 1772 1121 0 -1 4202560 131061 0 0 0 94191 37 0 0 25 0 4 0 599799468 1081839616 215497 33554432000 4194304 4623224 140734133913536 18446744073709551615 4376672 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1772/tid=1775] ppid=1770 vsize=1056484 CPUtime=937.18 cores=1,3,5,7
/proc/1772/task/1775/stat : 1775 (SArTagnan) R 1770 1772 1121 0 -1 4202560 99459 0 0 0 93685 33 0 0 25 0 4 0 599799468 1081839616 215497 33554432000 4194304 4623224 140734133913536 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1772/tid=1776] ppid=1770 vsize=1056484 CPUtime=942.31 cores=1,3,5,7
/proc/1772/task/1776/stat : 1776 (SArTagnan) R 1770 1772 1121 0 -1 4202560 4143574 0 0 0 93552 679 0 0 25 0 4 0 599799468 1081839616 215497 33554432000 4194304 4623224 140734133913536 18446744073709551615 4550465 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3764.1
Current children cumulated vsize (KiB) 1056484

[startup+1002.3 s]
/proc/loadavg: 8.20 8.12 8.06 9/184 1812
/proc/meminfo: memFree=27621008/32950928 swapFree=67111352/67111528
[pid=1772] ppid=1770 vsize=1215576 CPUtime=4003.77 cores=1,3,5,7
/proc/1772/stat : 1772 (SArTagnan) R 1770 1772 1121 0 -1 4202496 5195630 0 0 0 399478 899 0 0 25 0 4 0 599799467 1244749824 221968 33554432000 4194304 4623224 140734133913536 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1772/statm: 303894 221968 354 105 0 299398 0
[pid=1772/tid=1774] ppid=1770 vsize=1215576 CPUtime=1002.27 cores=1,3,5,7
/proc/1772/task/1774/stat : 1774 (SArTagnan) R 1770 1772 1121 0 -1 4202560 131824 0 0 0 100190 37 0 0 25 0 4 0 599799468 1244749824 221968 33554432000 4194304 4623224 140734133913536 18446744073709551615 4376666 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1772/tid=1775] ppid=1770 vsize=1215576 CPUtime=996.85 cores=1,3,5,7
/proc/1772/task/1775/stat : 1775 (SArTagnan) R 1770 1772 1121 0 -1 4202560 100994 0 0 0 99650 35 0 0 25 0 4 0 599799468 1244749824 221968 33554432000 4194304 4623224 140734133913536 18446744073709551615 4377018 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1772/tid=1776] ppid=1770 vsize=1215576 CPUtime=1002.3 cores=1,3,5,7
/proc/1772/task/1776/stat : 1776 (SArTagnan) R 1770 1772 1121 0 -1 4202560 4554831 0 0 0 99485 745 0 0 25 0 4 0 599799468 1244749824 221968 33554432000 4194304 4623224 140734133913536 18446744073709551615 4364625 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4003.77
Current children cumulated vsize (KiB) 1215576

[startup+1062.31 s]
/proc/loadavg: 8.18 8.13 8.07 9/184 1813
/proc/meminfo: memFree=27581660/32950928 swapFree=67111352/67111528
[pid=1772] ppid=1770 vsize=1281284 CPUtime=4243.47 cores=1,3,5,7
/proc/1772/stat : 1772 (SArTagnan) R 1770 1772 1121 0 -1 4202496 5621178 0 0 0 423378 969 0 0 25 0 4 0 599799467 1312034816 228796 33554432000 4194304 4623224 140734133913536 18446744073709551615 4414904 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1772/statm: 320321 228796 423 105 0 315825 0
[pid=1772/tid=1774] ppid=1770 vsize=1281284 CPUtime=1062.28 cores=1,3,5,7
/proc/1772/task/1774/stat : 1774 (SArTagnan) R 1770 1772 1121 0 -1 4202560 132317 0 0 0 106191 37 0 0 25 0 4 0 599799468 1312034816 228796 33554432000 4194304 4623224 140734133913536 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1772/tid=1775] ppid=1770 vsize=1281284 CPUtime=1056.53 cores=1,3,5,7
/proc/1772/task/1775/stat : 1775 (SArTagnan) R 1770 1772 1121 0 -1 4202560 102558 0 0 0 105616 37 0 0 25 0 4 0 599799468 1312034816 228796 33554432000 4194304 4623224 140734133913536 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1772/tid=1776] ppid=1770 vsize=1281284 CPUtime=1062.3 cores=1,3,5,7
/proc/1772/task/1776/stat : 1776 (SArTagnan) R 1770 1772 1121 0 -1 4202560 4931506 0 0 0 105427 803 0 0 25 0 4 0 599799468 1312034816 228796 33554432000 4194304 4623224 140734133913536 18446744073709551615 4376823 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4243.47
Current children cumulated vsize (KiB) 1281284

[startup+1122.3 s]
/proc/loadavg: 8.18 8.13 8.07 9/184 1815
/proc/meminfo: memFree=27527560/32950928 swapFree=67111352/67111528
[pid=1772] ppid=1770 vsize=1285672 CPUtime=4483.12 cores=1,3,5,7
/proc/1772/stat : 1772 (SArTagnan) R 1770 1772 1121 0 -1 4202496 6057226 0 0 0 447276 1036 0 0 25 0 4 0 599799467 1316528128 232267 33554432000 4194304 4623224 140734133913536 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1772/statm: 321418 232267 389 105 0 316922 0
[pid=1772/tid=1774] ppid=1770 vsize=1285672 CPUtime=1122.27 cores=1,3,5,7
/proc/1772/task/1774/stat : 1774 (SArTagnan) R 1770 1772 1121 0 -1 4202560 133716 0 0 0 112189 38 0 0 25 0 4 0 599799468 1316528128 232267 33554432000 4194304 4623224 140734133913536 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1772/tid=1775] ppid=1770 vsize=1285672 CPUtime=1116.2 cores=1,3,5,7
/proc/1772/task/1775/stat : 1775 (SArTagnan) R 1770 1772 1121 0 -1 4202560 102949 0 0 0 111582 38 0 0 25 0 4 0 599799468 1316528128 232267 33554432000 4194304 4623224 140734133913536 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1772/tid=1776] ppid=1770 vsize=1285672 CPUtime=1122.3 cores=1,3,5,7
/proc/1772/task/1776/stat : 1776 (SArTagnan) R 1770 1772 1121 0 -1 4202560 5365754 0 0 0 111361 869 0 0 25 0 4 0 599799468 1316528128 232267 33554432000 4194304 4623224 140734133913536 18446744073709551615 4376844 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4483.12
Current children cumulated vsize (KiB) 1285672

[startup+1182.3 s]
/proc/loadavg: 8.17 8.13 8.08 9/184 1816
/proc/meminfo: memFree=27491560/32950928 swapFree=67111352/67111528
[pid=1772] ppid=1770 vsize=1285672 CPUtime=4722.81 cores=1,3,5,7
/proc/1772/stat : 1772 (SArTagnan) R 1770 1772 1121 0 -1 4202496 6525922 0 0 0 471166 1115 0 0 25 0 4 0 599799467 1316528128 236631 33554432000 4194304 4623224 140734133913536 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1772/statm: 321418 236631 391 105 0 316922 0
[pid=1772/tid=1774] ppid=1770 vsize=1285672 CPUtime=1182.28 cores=1,3,5,7
/proc/1772/task/1774/stat : 1774 (SArTagnan) R 1770 1772 1121 0 -1 4202560 135183 0 0 0 118189 39 0 0 25 0 4 0 599799468 1316528128 236631 33554432000 4194304 4623224 140734133913536 18446744073709551615 4376666 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1772/tid=1775] ppid=1770 vsize=1285672 CPUtime=1175.87 cores=1,3,5,7
/proc/1772/task/1775/stat : 1775 (SArTagnan) R 1770 1772 1121 0 -1 4202560 105221 0 0 0 117548 39 0 0 25 0 4 0 599799468 1316528128 236631 33554432000 4194304 4623224 140734133913536 18446744073709551615 4465840 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1772/tid=1776] ppid=1770 vsize=1285672 CPUtime=1182.31 cores=1,3,5,7
/proc/1772/task/1776/stat : 1776 (SArTagnan) R 1770 1772 1121 0 -1 4202560 5830684 0 0 0 117285 946 0 0 25 0 4 0 599799468 1316528128 236631 33554432000 4194304 4623224 140734133913536 18446744073709551615 4550411 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4722.81
Current children cumulated vsize (KiB) 1285672



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.12 8.12 8.07 6/183 1818
/proc/meminfo: memFree=27853244/32950928 swapFree=67111352/67111528
[pid=1772] ppid=1770 vsize=1285672 CPUtime=4800.31 cores=1,3,5,7
/proc/1772/stat : 1772 (SArTagnan) R 1770 1772 1121 0 -1 4202496 6647161 0 0 0 478899 1132 0 0 25 0 4 0 599799467 1316528128 238111 33554432000 4194304 4623224 140734133913536 18446744073709551615 4510316 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1772/statm: 321418 238111 354 105 0 316922 0
[pid=1772/tid=1774] ppid=1770 vsize=1285672 CPUtime=1201.69 cores=1,3,5,7
/proc/1772/task/1774/stat : 1774 (SArTagnan) R 1770 1772 1121 0 -1 4202560 136137 0 0 0 120129 40 0 0 25 0 4 0 599799468 1316528128 238111 33554432000 4194304 4623224 140734133913536 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1772/tid=1775] ppid=1770 vsize=1285672 CPUtime=1195.17 cores=1,3,5,7
/proc/1772/task/1775/stat : 1775 (SArTagnan) R 1770 1772 1121 0 -1 4202560 105720 0 0 0 119478 39 0 0 25 0 4 0 599799468 1316528128 238111 33554432000 4194304 4623224 140734133913536 18446744073709551615 4376625 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1772/tid=1776] ppid=1770 vsize=1285672 CPUtime=1201.71 cores=1,3,5,7
/proc/1772/task/1776/stat : 1776 (SArTagnan) R 1770 1772 1121 0 -1 4202560 5950470 0 0 0 119209 962 0 0 25 0 4 0 599799468 1316528128 238111 33554432000 4194304 4623224 140734133913536 18446744073709551615 4366443 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.31
Current children cumulated vsize (KiB) 1285672

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

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

[startup+1201.7 s]
/proc/loadavg: 8.12 8.12 8.07 6/183 1818
/proc/meminfo: memFree=27853244/32950928 swapFree=67111352/67111528
[pid=1772] ppid=1770 vsize=1285672 CPUtime=4800.31 cores=1,3,5,7
/proc/1772/stat : 1772 (SArTagnan) R 1770 1772 1121 0 -1 4202496 6647161 0 0 0 478899 1132 0 0 25 0 4 0 599799467 1316528128 238111 33554432000 4194304 4623224 140734133913536 18446744073709551615 4510316 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1772/statm: 321418 238111 354 105 0 316922 0
[pid=1772/tid=1774] ppid=1770 vsize=1285672 CPUtime=1201.69 cores=1,3,5,7
/proc/1772/task/1774/stat : 1774 (SArTagnan) R 1770 1772 1121 0 -1 4202560 136137 0 0 0 120129 40 0 0 25 0 4 0 599799468 1316528128 238111 33554432000 4194304 4623224 140734133913536 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1772/tid=1775] ppid=1770 vsize=1285672 CPUtime=1195.17 cores=1,3,5,7
/proc/1772/task/1775/stat : 1775 (SArTagnan) R 1770 1772 1121 0 -1 4202560 105720 0 0 0 119478 39 0 0 25 0 4 0 599799468 1316528128 238111 33554432000 4194304 4623224 140734133913536 18446744073709551615 4376625 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1772/tid=1776] ppid=1770 vsize=1285672 CPUtime=1201.71 cores=1,3,5,7
/proc/1772/task/1776/stat : 1776 (SArTagnan) R 1770 1772 1121 0 -1 4202560 5950470 0 0 0 119209 962 0 0 25 0 4 0 599799468 1316528128 238111 33554432000 4194304 4623224 140734133913536 18446744073709551615 4366443 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.31
Current children cumulated vsize (KiB) 1285672

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.76
CPU time (s): 4800.39
CPU user time (s): 4789.03
CPU system time (s): 11.3673
CPU usage (%): 399.448
Max. virtual memory (cumulated for all children) (KiB): 1285672

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4789.03
system time used= 11.3673
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6647164
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= 659
involuntary context switches= 32620

runsolver used 1.82672 second user time and 4.73028 second system time

The end

Launcher Data 

Begin job on node113 at 2011-04-29 18:48:08
IDJOB=3262620
IDBENCH=83356
IDSOLVER=1656
FILE ID=node113/3262620-1304095688
RUNJOBID= node113-1304095688-1750
PBS_JOBID= 13170572
Free space on /tmp= 71168 MiB

SOLVER NAME= SArTagnan 2011-03-24
BENCH NAME= SAT11/crafted/kullmann/VanDerWaerden/VanderWaerden3k/VanDerWaerden_2-3-14_186.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3262620-1304095688/watcher-3262620-1304095688 -o /tmp/evaluation-result-3262620-1304095688/solver-3262620-1304095688 -C 4800 -W 1300 -M 15500  SArTagnan HOME/instance-3262620-1304095688.cnf -threads=4

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

MD5SUM BENCH= 642fce7e30a701c3223fa5771c2e57dc
RANDOM SEED=1068538830

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
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.83
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.846
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      29403756 kB
Buffers:        706080 kB
Cached:        2253720 kB
SwapCached:         12 kB
Active:         148796 kB
Inactive:      2880296 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      29403756 kB
SwapTotal:    67111528 kB
SwapFree:     67111352 kB
Dirty:            1232 kB
Writeback:           0 kB
AnonPages:       68880 kB
Mapped:          14868 kB
Slab:           453128 kB
PageTables:       4860 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   242304 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= 71164 MiB
End job on node113 at 2011-04-29 19:08:12