Trace number 3385862

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SArTagnan 2011-05-15 (fixed)? (TO) 3876.65 1300.08

General information on the benchmark

Namecrafted/kullmann/GreenTao/
GreenTaok1k2/GreenTao_2-3-6_2071.cnf
MD5SUM337bdbc5d8bf0013ca73aeffa06cffe8
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark95.7414
Satisfiable
(Un)Satisfiability was proved
Number of variables2070
Number of clauses158884
Sum of the clauses size478584
Maximum clause length6
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 3158240
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 5644

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-3385862-1305581710/watcher-3385862-1305581710 -o /tmp/evaluation-result-3385862-1305581710/solver-3385862-1305581710 -C 4800 -W 1300 -M 15500 SArTagnan HOME/instance-3385862-1305581710.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: 9.40 9.99 10.05 7/515 10534
/proc/meminfo: memFree=13581712/32951124 swapFree=67111348/67111528
[pid=10534] ppid=10532 vsize=23612 CPUtime=0 cores=1,3,5,7
/proc/10534/stat : 10534 (SArTagnan) R 10532 10534 10092 0 -1 4202496 1130 0 0 0 0 0 0 0 25 0 1 0 669768725 24178688 803 33554432000 4194304 4625164 140736389531136 18446744073709551615 212687336133 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/10534/statm: 5903 803 296 106 0 1406 0

[startup+0.0536781 s]
/proc/loadavg: 9.40 9.99 10.05 7/515 10534
/proc/meminfo: memFree=13581712/32951124 swapFree=67111348/67111528
[pid=10534] ppid=10532 vsize=31916 CPUtime=0.04 cores=1,3,5,7
/proc/10534/stat : 10534 (SArTagnan) R 10532 10534 10092 0 -1 4202496 5849 0 0 0 4 0 0 0 25 0 1 0 669768725 32681984 2931 33554432000 4194304 4625164 140736389531136 18446744073709551615 4339447 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/10534/statm: 7979 2935 296 106 0 3482 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 31916

[startup+0.101003 s]
/proc/loadavg: 9.40 9.99 10.05 7/515 10534
/proc/meminfo: memFree=13581712/32951124 swapFree=67111348/67111528
[pid=10534] ppid=10532 vsize=157356 CPUtime=0.09 cores=1,3,5,7
/proc/10534/stat : 10534 (SArTagnan) R 10532 10534 10092 0 -1 4202496 13685 0 0 0 8 1 0 0 25 0 4 0 669768725 161132544 9272 33554432000 4194304 4625164 140736389531136 18446744073709551615 4518211 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10534/statm: 39339 9272 330 106 0 34842 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 157356

[startup+0.300598 s]
/proc/loadavg: 9.40 9.99 10.05 7/515 10534
/proc/meminfo: memFree=13581712/32951124 swapFree=67111348/67111528
[pid=10534] ppid=10532 vsize=299604 CPUtime=0.67 cores=1,3,5,7
/proc/10534/stat : 10534 (SArTagnan) R 10532 10534 10092 0 -1 4202496 18410 0 0 0 65 2 0 0 25 0 4 0 669768725 306794496 13060 33554432000 4194304 4625164 140736389531136 18446744073709551615 4329151 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10534/statm: 74901 13060 336 106 0 70404 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 299604

[startup+0.700525 s]
/proc/loadavg: 9.40 9.99 10.05 7/515 10534
/proc/meminfo: memFree=13581712/32951124 swapFree=67111348/67111528
[pid=10534] ppid=10532 vsize=304572 CPUtime=1.88 cores=1,3,5,7
/proc/10534/stat : 10534 (SArTagnan) R 10532 10534 10092 0 -1 4202496 22662 0 0 0 185 3 0 0 25 0 4 0 669768725 311881728 14757 33554432000 4194304 4625164 140736389531136 18446744073709551615 4329142 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10534/statm: 76143 14757 336 106 0 71646 0
Current children cumulated CPU time (s) 1.88
Current children cumulated vsize (KiB) 304572

[startup+1.50038 s]
/proc/loadavg: 9.61 10.02 10.06 12/519 10538
/proc/meminfo: memFree=13510752/32951124 swapFree=67111348/67111528
[pid=10534] ppid=10532 vsize=307244 CPUtime=4.26 cores=1,3,5,7
/proc/10534/stat : 10534 (SArTagnan) R 10532 10534 10092 0 -1 4202496 35646 0 0 0 421 5 0 0 25 0 4 0 669768725 314617856 15159 33554432000 4194304 4625164 140736389531136 18446744073709551615 4512156 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10534/statm: 76811 15159 336 106 0 72314 0
[pid=10534/tid=10536] ppid=10532 vsize=307244 CPUtime=1.37 cores=1,3,5,7
/proc/10534/task/10536/stat : 10536 (SArTagnan) R 10532 10534 10092 0 -1 4202560 1084 0 0 0 137 0 0 0 25 0 4 0 669768734 314617856 15159 33554432000 4194304 4625164 140736389531136 18446744073709551615 4464239 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10534/tid=10537] ppid=10532 vsize=307244 CPUtime=0.68 cores=1,3,5,7
/proc/10534/task/10537/stat : 10537 (SArTagnan) R 10532 10534 10092 0 -1 4202560 1293 0 0 0 68 0 0 0 25 0 4 0 669768734 314617856 15159 33554432000 4194304 4625164 140736389531136 18446744073709551615 4352021 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10534/tid=10538] ppid=10532 vsize=307244 CPUtime=0.7 cores=1,3,5,7
/proc/10534/task/10538/stat : 10538 (SArTagnan) R 10532 10534 10092 0 -1 4202560 16939 0 0 0 68 2 0 0 25 0 4 0 669768734 314617856 15159 33554432000 4194304 4625164 140736389531136 18446744073709551615 212687372488 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.26
Current children cumulated vsize (KiB) 307244

[startup+3.10109 s]
/proc/loadavg: 9.61 10.02 10.06 11/519 10538
/proc/meminfo: memFree=13498972/32951124 swapFree=67111348/67111528
[pid=10534] ppid=10532 vsize=309924 CPUtime=9.03 cores=1,3,5,7
/proc/10534/stat : 10534 (SArTagnan) R 10532 10534 10092 0 -1 4202496 58126 0 0 0 895 8 0 0 25 0 4 0 669768725 317362176 15863 33554432000 4194304 4625164 140736389531136 18446744073709551615 4512057 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10534/statm: 77481 15864 337 106 0 72984 0
[pid=10534/tid=10536] ppid=10532 vsize=309924 CPUtime=2.95 cores=1,3,5,7
/proc/10534/task/10536/stat : 10536 (SArTagnan) R 10532 10534 10092 0 -1 4202560 2667 0 0 0 295 0 0 0 25 0 4 0 669768734 317362176 15864 33554432000 4194304 4625164 140736389531136 18446744073709551615 4339554 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10534/tid=10537] ppid=10532 vsize=309924 CPUtime=1.5 cores=1,3,5,7
/proc/10534/task/10537/stat : 10537 (SArTagnan) R 10532 10534 10092 0 -1 4202560 1846 0 0 0 149 1 0 0 25 0 4 0 669768734 317362176 15864 33554432000 4194304 4625164 140736389531136 18446744073709551615 4351736 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10534/tid=10538] ppid=10532 vsize=309924 CPUtime=1.49 cores=1,3,5,7
/proc/10534/task/10538/stat : 10538 (SArTagnan) R 10532 10534 10092 0 -1 4202560 37146 0 0 0 144 5 0 0 25 0 4 0 669768734 317362176 15864 33554432000 4194304 4625164 140736389531136 18446744073709551615 4339447 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 9.03
Current children cumulated vsize (KiB) 309924

[startup+6.30051 s]
/proc/loadavg: 9.64 10.02 10.06 11/519 10538
/proc/meminfo: memFree=13474356/32951124 swapFree=67111348/67111528
[pid=10534] ppid=10532 vsize=315368 CPUtime=18.58 cores=1,3,5,7
/proc/10534/stat : 10534 (SArTagnan) R 10532 10534 10092 0 -1 4202496 100395 0 0 0 1842 16 0 0 25 0 4 0 669768725 322936832 19012 33554432000 4194304 4625164 140736389531136 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10534/statm: 78842 19012 341 106 0 74345 0
[pid=10534/tid=10536] ppid=10532 vsize=315368 CPUtime=6.09 cores=1,3,5,7
/proc/10534/task/10536/stat : 10536 (SArTagnan) R 10532 10534 10092 0 -1 4202560 3839 0 0 0 609 0 0 0 25 0 4 0 669768734 322936832 19012 33554432000 4194304 4625164 140736389531136 18446744073709551615 4462944 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10534/tid=10537] ppid=10532 vsize=315368 CPUtime=3.09 cores=1,3,5,7
/proc/10534/task/10537/stat : 10537 (SArTagnan) R 10532 10534 10092 0 -1 4202560 4107 0 0 0 308 1 0 0 25 0 4 0 669768734 322936832 19012 33554432000 4194304 4625164 140736389531136 18446744073709551615 4462600 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10534/tid=10538] ppid=10532 vsize=315368 CPUtime=3.08 cores=1,3,5,7
/proc/10534/task/10538/stat : 10538 (SArTagnan) R 10532 10534 10092 0 -1 4202560 75708 0 0 0 298 10 0 0 25 0 4 0 669768734 322936832 19012 33554432000 4194304 4625164 140736389531136 18446744073709551615 4335407 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 18.58
Current children cumulated vsize (KiB) 315368

[startup+12.7003 s]
/proc/loadavg: 9.67 10.02 10.06 11/519 10538
/proc/meminfo: memFree=13433100/32951124 swapFree=67111348/67111528
[pid=10534] ppid=10532 vsize=322920 CPUtime=37.65 cores=1,3,5,7
/proc/10534/stat : 10534 (SArTagnan) R 10532 10534 10092 0 -1 4202496 140711 0 0 0 3742 23 0 0 25 0 4 0 669768725 330670080 25005 33554432000 4194304 4625164 140736389531136 18446744073709551615 4509373 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10534/statm: 80730 25005 341 106 0 76233 0
[pid=10534/tid=10536] ppid=10532 vsize=322920 CPUtime=12.26 cores=1,3,5,7
/proc/10534/task/10536/stat : 10536 (SArTagnan) R 10532 10534 10092 0 -1 4202560 8563 0 0 0 1225 1 0 0 25 0 4 0 669768734 330670080 25005 33554432000 4194304 4625164 140736389531136 18446744073709551615 4339564 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10534/tid=10537] ppid=10532 vsize=322920 CPUtime=7 cores=1,3,5,7
/proc/10534/task/10537/stat : 10537 (SArTagnan) R 10532 10534 10092 0 -1 4202560 8072 0 0 0 696 4 0 0 25 0 4 0 669768734 330670080 25005 33554432000 4194304 4625164 140736389531136 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10534/tid=10538] ppid=10532 vsize=322920 CPUtime=5.68 cores=1,3,5,7
/proc/10534/task/10538/stat : 10538 (SArTagnan) R 10532 10534 10092 0 -1 4202560 105831 0 0 0 554 14 0 0 25 0 4 0 669768734 330670080 25005 33554432000 4194304 4625164 140736389531136 18446744073709551615 4579380 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 37.65
Current children cumulated vsize (KiB) 322920

[startup+25.501 s]
/proc/loadavg: 9.74 10.02 10.06 11/519 10539
/proc/meminfo: memFree=13382764/32951124 swapFree=67111348/67111528
[pid=10534] ppid=10532 vsize=343876 CPUtime=75.82 cores=1,3,5,7
/proc/10534/stat : 10534 (SArTagnan) R 10532 10534 10092 0 -1 4202496 301286 0 0 0 7536 46 0 0 25 0 4 0 669768725 352129024 32528 33554432000 4194304 4625164 140736389531136 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10534/statm: 85969 32529 342 106 0 81472 0
[pid=10534/tid=10536] ppid=10532 vsize=343876 CPUtime=19.39 cores=1,3,5,7
/proc/10534/task/10536/stat : 10536 (SArTagnan) R 10532 10534 10092 0 -1 4202560 14135 0 0 0 1936 3 0 0 25 0 4 0 669768734 352129024 32529 33554432000 4194304 4625164 140736389531136 18446744073709551615 4351777 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10534/tid=10537] ppid=10532 vsize=343876 CPUtime=13.29 cores=1,3,5,7
/proc/10534/task/10537/stat : 10537 (SArTagnan) R 10532 10534 10092 0 -1 4202560 9204 0 0 0 1325 4 0 0 25 0 4 0 669768734 352129024 32529 33554432000 4194304 4625164 140736389531136 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10534/tid=10538] ppid=10532 vsize=343876 CPUtime=17.63 cores=1,3,5,7
/proc/10534/task/10538/stat : 10538 (SArTagnan) R 10532 10534 10092 0 -1 4202560 257402 0 0 0 1728 35 0 0 25 0 4 0 669768734 352129024 32529 33554432000 4194304 4625164 140736389531136 18446744073709551615 4339447 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 75.82
Current children cumulated vsize (KiB) 343876

[startup+51.1004 s]
/proc/loadavg: 9.90 10.03 10.06 12/519 10539
/proc/meminfo: memFree=13292444/32951124 swapFree=67111348/67111528
[pid=10534] ppid=10532 vsize=360952 CPUtime=152.12 cores=1,3,5,7
/proc/10534/stat : 10534 (SArTagnan) R 10532 10534 10092 0 -1 4202496 495789 0 0 0 15130 82 0 0 25 0 4 0 669768725 369614848 45921 33554432000 4194304 4625164 140736389531136 18446744073709551615 4512092 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/10534/statm: 90238 45921 341 106 0 85741 0
[pid=10534/tid=10536] ppid=10532 vsize=360952 CPUtime=42.02 cores=1,3,5,7
/proc/10534/task/10536/stat : 10536 (SArTagnan) R 10532 10534 10092 0 -1 4202560 23611 0 0 0 4195 7 0 0 25 0 4 0 669768734 369614848 45921 33554432000 4194304 4625164 140736389531136 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10534/tid=10537] ppid=10532 vsize=360952 CPUtime=27.49 cores=1,3,5,7
/proc/10534/task/10537/stat : 10537 (SArTagnan) R 10532 10534 10092 0 -1 4202560 16241 0 0 0 2742 7 0 0 25 0 4 0 669768734 369614848 45921 33554432000 4194304 4625164 140736389531136 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10534/tid=10538] ppid=10532 vsize=360952 CPUtime=31.51 cores=1,3,5,7
/proc/10534/task/10538/stat : 10538 (SArTagnan) R 10532 10534 10092 0 -1 4202560 429338 0 0 0 3089 62 0 0 25 0 4 0 669768734 369614848 45921 33554432000 4194304 4625164 140736389531136 18446744073709551615 4335183 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 152.12
Current children cumulated vsize (KiB) 360952

[startup+102.32 s]
/proc/loadavg: 10.04 10.04 10.06 11/519 10571
/proc/meminfo: memFree=13228468/32951124 swapFree=67111348/67111528
[pid=10534] ppid=10532 vsize=456692 CPUtime=304.87 cores=1,3,5,7
/proc/10534/stat : 10534 (SArTagnan) R 10532 10534 10092 0 -1 4202496 756810 0 0 0 30362 125 0 0 25 0 4 0 669768725 467652608 70659 33554432000 4194304 4625164 140736389531136 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/10534/statm: 114173 70659 374 106 0 109676 0
[pid=10534/tid=10536] ppid=10532 vsize=456692 CPUtime=78.98 cores=1,3,5,7
/proc/10534/task/10536/stat : 10536 (SArTagnan) R 10532 10534 10092 0 -1 4202560 29134 0 0 0 7887 11 0 0 25 0 4 0 669768734 467652608 70659 33554432000 4194304 4625164 140736389531136 18446744073709551615 4465186 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10534/tid=10537] ppid=10532 vsize=456692 CPUtime=68.49 cores=1,3,5,7
/proc/10534/task/10537/stat : 10537 (SArTagnan) R 10532 10534 10092 0 -1 4202560 25376 0 0 0 6840 9 0 0 25 0 4 0 669768734 467652608 70659 33554432000 4194304 4625164 140736389531136 18446744073709551615 4352728 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10534/tid=10538] ppid=10532 vsize=456692 CPUtime=57.36 cores=1,3,5,7
/proc/10534/task/10538/stat : 10538 (SArTagnan) R 10532 10534 10092 0 -1 4202560 665588 0 0 0 5639 97 0 0 25 0 4 0 669768734 467652608 70659 33554432000 4194304 4625164 140736389531136 18446744073709551615 4335282 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 304.87
Current children cumulated vsize (KiB) 456692

[startup+162.301 s]
/proc/loadavg: 10.05 10.05 10.06 11/519 10572
/proc/meminfo: memFree=13030772/32951124 swapFree=67111348/67111528
[pid=10534] ppid=10532 vsize=566380 CPUtime=483.79 cores=1,3,5,7
/proc/10534/stat : 10534 (SArTagnan) R 10532 10534 10092 0 -1 4202496 819244 0 0 0 48242 137 0 0 25 0 4 0 669768725 579973120 92030 33554432000 4194304 4625164 140736389531136 18446744073709551615 4512092 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/10534/statm: 141595 92030 357 106 0 137098 0
[pid=10534/tid=10536] ppid=10532 vsize=566380 CPUtime=108.98 cores=1,3,5,7
/proc/10534/task/10536/stat : 10536 (SArTagnan) R 10532 10534 10092 0 -1 4202560 37893 0 0 0 10884 14 0 0 25 0 4 0 669768734 579973120 92030 33554432000 4194304 4625164 140736389531136 18446744073709551615 4352035 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10534/tid=10537] ppid=10532 vsize=566380 CPUtime=98.49 cores=1,3,5,7
/proc/10534/task/10537/stat : 10537 (SArTagnan) R 10532 10534 10092 0 -1 4202560 37231 0 0 0 9838 11 0 0 25 0 4 0 669768734 579973120 92030 33554432000 4194304 4625164 140736389531136 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10534/tid=10538] ppid=10532 vsize=566380 CPUtime=116.32 cores=1,3,5,7
/proc/10534/task/10538/stat : 10538 (SArTagnan) R 10532 10534 10092 0 -1 4202560 685721 0 0 0 11531 101 0 0 25 0 4 0 669768734 579973120 92031 33554432000 4194304 4625164 140736389531136 18446744073709551615 4335165 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 483.79
Current children cumulated vsize (KiB) 566380

[startup+222.301 s]
/proc/loadavg: 10.16 10.07 10.07 11/519 10574
/proc/meminfo: memFree=12858892/32951124 swapFree=67111348/67111528
[pid=10534] ppid=10532 vsize=668264 CPUtime=662.74 cores=1,3,5,7
/proc/10534/stat : 10534 (SArTagnan) R 10532 10534 10092 0 -1 4202496 946571 0 0 0 66114 160 0 0 25 0 4 0 669768725 684302336 114550 33554432000 4194304 4625164 140736389531136 18446744073709551615 4512102 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/10534/statm: 167066 114550 443 106 0 162569 0
[pid=10534/tid=10536] ppid=10532 vsize=668264 CPUtime=140.65 cores=1,3,5,7
/proc/10534/task/10536/stat : 10536 (SArTagnan) R 10532 10534 10092 0 -1 4202560 42889 0 0 0 14049 16 0 0 25 0 4 0 669768734 684302336 114550 33554432000 4194304 4625164 140736389531136 18446744073709551615 4351818 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10534/tid=10537] ppid=10532 vsize=668264 CPUtime=128.67 cores=1,3,5,7
/proc/10534/task/10537/stat : 10537 (SArTagnan) R 10532 10534 10092 0 -1 4202560 41734 0 0 0 12854 13 0 0 25 0 4 0 669768734 684302336 114550 33554432000 4194304 4625164 140736389531136 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10534/tid=10538] ppid=10532 vsize=668264 CPUtime=173.51 cores=1,3,5,7
/proc/10534/task/10538/stat : 10538 (SArTagnan) R 10532 10534 10092 0 -1 4202560 793882 0 0 0 17233 118 0 0 25 0 4 0 669768734 684302336 114550 33554432000 4194304 4625164 140736389531136 18446744073709551615 4547280 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 662.74
Current children cumulated vsize (KiB) 668264

[startup+282.3 s]

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

[pid=10534] ppid=10532 vsize=1120772 CPUtime=2094.49 cores=1,3,5,7
/proc/10534/stat : 10534 (SArTagnan) R 10532 10534 10092 0 -1 4202496 3411989 0 0 0 208897 552 0 0 25 0 4 0 669768725 1147670528 202147 33554432000 4194304 4625164 140736389531136 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/10534/statm: 280193 202147 342 106 0 275696 0
[pid=10534/tid=10536] ppid=10532 vsize=1120772 CPUtime=422.73 cores=1,3,5,7
/proc/10534/task/10536/stat : 10536 (SArTagnan) R 10532 10534 10092 0 -1 4202560 91984 0 0 0 42235 38 0 0 25 0 4 0 669768734 1147670528 202147 33554432000 4194304 4625164 140736389531136 18446744073709551615 4351975 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10534/tid=10537] ppid=10532 vsize=1120772 CPUtime=551 cores=1,3,5,7
/proc/10534/task/10537/stat : 10537 (SArTagnan) R 10532 10534 10092 0 -1 4202560 106171 0 0 0 55066 34 0 0 25 0 4 0 669768734 1147670528 202147 33554432000 4194304 4625164 140736389531136 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10534/tid=10538] ppid=10532 vsize=1120772 CPUtime=425.34 cores=1,3,5,7
/proc/10534/task/10538/stat : 10538 (SArTagnan) R 10532 10534 10092 0 -1 4202560 3110227 0 0 0 42072 462 0 0 25 0 4 0 669768734 1147670528 202147 33554432000 4194304 4625164 140736389531136 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2094.49
Current children cumulated vsize (KiB) 1120772

[startup+762.32 s]
/proc/loadavg: 10.05 10.13 10.09 11/519 10588
/proc/meminfo: memFree=12093308/32951124 swapFree=67111348/67111528
[pid=10534] ppid=10532 vsize=1071140 CPUtime=2273.5 cores=1,3,5,7
/proc/10534/stat : 10534 (SArTagnan) R 10532 10534 10092 0 -1 4202496 3624259 0 0 0 226760 590 0 0 25 0 4 0 669768725 1096847360 210347 33554432000 4194304 4625164 140736389531136 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10534/statm: 267785 210347 341 106 0 263288 0
[pid=10534/tid=10536] ppid=10532 vsize=1071140 CPUtime=452.73 cores=1,3,5,7
/proc/10534/task/10536/stat : 10536 (SArTagnan) R 10532 10534 10092 0 -1 4202560 93736 0 0 0 45232 41 0 0 25 0 4 0 669768734 1096847360 210347 33554432000 4194304 4625164 140736389531136 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10534/tid=10537] ppid=10532 vsize=1071140 CPUtime=609.99 cores=1,3,5,7
/proc/10534/task/10537/stat : 10537 (SArTagnan) R 10532 10534 10092 0 -1 4202560 109298 0 0 0 60962 37 0 0 25 0 4 0 669768734 1096847360 210347 33554432000 4194304 4625164 140736389531136 18446744073709551615 4351804 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10534/tid=10538] ppid=10532 vsize=1071140 CPUtime=455.36 cores=1,3,5,7
/proc/10534/task/10538/stat : 10538 (SArTagnan) R 10532 10534 10092 0 -1 4202560 3316275 0 0 0 45042 494 0 0 25 0 4 0 669768734 1096847360 210347 33554432000 4194304 4625164 140736389531136 18446744073709551615 4335407 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2273.5
Current children cumulated vsize (KiB) 1071140

[startup+822.301 s]
/proc/loadavg: 10.16 10.14 10.09 11/519 10590
/proc/meminfo: memFree=12044188/32951124 swapFree=67111348/67111528
[pid=10534] ppid=10532 vsize=1071140 CPUtime=2452.42 cores=1,3,5,7
/proc/10534/stat : 10534 (SArTagnan) R 10532 10534 10092 0 -1 4202496 3847705 0 0 0 244616 626 0 0 25 0 4 0 669768725 1096847360 217702 33554432000 4194304 4625164 140736389531136 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10534/statm: 267785 217702 341 106 0 263288 0
[pid=10534/tid=10536] ppid=10532 vsize=1071140 CPUtime=482.65 cores=1,3,5,7
/proc/10534/task/10536/stat : 10536 (SArTagnan) R 10532 10534 10092 0 -1 4202560 94637 0 0 0 48224 41 0 0 25 0 4 0 669768734 1096847360 217702 33554432000 4194304 4625164 140736389531136 18446744073709551615 4339646 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10534/tid=10537] ppid=10532 vsize=1071140 CPUtime=668.94 cores=1,3,5,7
/proc/10534/task/10537/stat : 10537 (SArTagnan) R 10532 10534 10092 0 -1 4202560 112455 0 0 0 66855 39 0 0 25 0 4 0 669768734 1096847360 217702 33554432000 4194304 4625164 140736389531136 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10534/tid=10538] ppid=10532 vsize=1071140 CPUtime=485.42 cores=1,3,5,7
/proc/10534/task/10538/stat : 10538 (SArTagnan) R 10532 10534 10092 0 -1 4202560 3535129 0 0 0 48015 527 0 0 25 0 4 0 669768734 1096847360 217702 33554432000 4194304 4625164 140736389531136 18446744073709551615 4547416 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2452.42
Current children cumulated vsize (KiB) 1071140

[startup+882.301 s]
/proc/loadavg: 10.21 10.16 10.10 11/519 10622
/proc/meminfo: memFree=12483272/32951124 swapFree=67111348/67111528
[pid=10534] ppid=10532 vsize=1188308 CPUtime=2631.39 cores=1,3,5,7
/proc/10534/stat : 10534 (SArTagnan) R 10532 10534 10092 0 -1 4202496 4167029 0 0 0 262459 680 0 0 25 0 4 0 669768725 1216827392 228324 33554432000 4194304 4625164 140736389531136 18446744073709551615 4329151 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10534/statm: 297077 228324 341 106 0 292580 0
[pid=10534/tid=10536] ppid=10532 vsize=1188308 CPUtime=532.64 cores=1,3,5,7
/proc/10534/task/10536/stat : 10536 (SArTagnan) R 10532 10534 10092 0 -1 4202560 97820 0 0 0 53222 42 0 0 25 0 4 0 669768734 1216827392 228324 33554432000 4194304 4625164 140736389531136 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10534/tid=10537] ppid=10532 vsize=1188308 CPUtime=708.41 cores=1,3,5,7
/proc/10534/task/10537/stat : 10537 (SArTagnan) R 10532 10534 10092 0 -1 4202560 114452 0 0 0 70800 41 0 0 25 0 4 0 669768734 1216827392 228324 33554432000 4194304 4625164 140736389531136 18446744073709551615 4351830 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10534/tid=10538] ppid=10532 vsize=1188308 CPUtime=514.91 cores=1,3,5,7
/proc/10534/task/10538/stat : 10538 (SArTagnan) R 10532 10534 10092 0 -1 4202560 3830301 0 0 0 50917 574 0 0 25 0 4 0 669768734 1216827392 228324 33554432000 4194304 4625164 140736389531136 18446744073709551615 4352728 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2631.39
Current children cumulated vsize (KiB) 1188308

[startup+942.301 s]
/proc/loadavg: 10.22 10.17 10.10 11/519 10623
/proc/meminfo: memFree=12253848/32951124 swapFree=67111348/67111528
[pid=10534] ppid=10532 vsize=1258704 CPUtime=2810.36 cores=1,3,5,7
/proc/10534/stat : 10534 (SArTagnan) R 10532 10534 10092 0 -1 4202496 4640405 0 0 0 280285 751 0 0 25 0 4 0 669768725 1288912896 239313 33554432000 4194304 4625164 140736389531136 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10534/statm: 314676 239313 343 106 0 310179 0
[pid=10534/tid=10536] ppid=10532 vsize=1258704 CPUtime=569.71 cores=1,3,5,7
/proc/10534/task/10536/stat : 10536 (SArTagnan) R 10532 10534 10092 0 -1 4202560 105009 0 0 0 56927 44 0 0 25 0 4 0 669768734 1288912896 239313 33554432000 4194304 4625164 140736389531136 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10534/tid=10537] ppid=10532 vsize=1258704 CPUtime=738.32 cores=1,3,5,7
/proc/10534/task/10537/stat : 10537 (SArTagnan) R 10532 10534 10092 0 -1 4202560 114927 0 0 0 73790 42 0 0 25 0 4 0 669768734 1288912896 239313 33554432000 4194304 4625164 140736389531136 18446744073709551615 4351792 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10534/tid=10538] ppid=10532 vsize=1258704 CPUtime=566.92 cores=1,3,5,7
/proc/10534/task/10538/stat : 10538 (SArTagnan) R 10532 10534 10092 0 -1 4202560 4279436 0 0 0 56051 641 0 0 25 0 4 0 669768734 1288912896 239313 33554432000 4194304 4625164 140736389531136 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2810.36
Current children cumulated vsize (KiB) 1258704

[startup+1002.3 s]
/proc/loadavg: 10.20 10.17 10.10 11/519 10625
/proc/meminfo: memFree=12000128/32951124 swapFree=67111348/67111528
[pid=10534] ppid=10532 vsize=1258704 CPUtime=2989.32 cores=1,3,5,7
/proc/10534/stat : 10534 (SArTagnan) R 10532 10534 10092 0 -1 4202496 5096184 0 0 0 298110 822 0 0 25 0 4 0 669768725 1288912896 245366 33554432000 4194304 4625164 140736389531136 18446744073709551615 4511930 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10534/statm: 314676 245366 348 106 0 310179 0
[pid=10534/tid=10536] ppid=10532 vsize=1258704 CPUtime=599.61 cores=1,3,5,7
/proc/10534/task/10536/stat : 10536 (SArTagnan) R 10532 10534 10092 0 -1 4202560 106729 0 0 0 59915 46 0 0 25 0 4 0 669768734 1288912896 245366 33554432000 4194304 4625164 140736389531136 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10534/tid=10537] ppid=10532 vsize=1258704 CPUtime=775.35 cores=1,3,5,7
/proc/10534/task/10537/stat : 10537 (SArTagnan) R 10532 10534 10092 0 -1 4202560 115282 0 0 0 77493 42 0 0 25 0 4 0 669768734 1288912896 245366 33554432000 4194304 4625164 140736389531136 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10534/tid=10538] ppid=10532 vsize=1258704 CPUtime=618.95 cores=1,3,5,7
/proc/10534/task/10538/stat : 10538 (SArTagnan) R 10532 10534 10092 0 -1 4202560 4731560 0 0 0 61185 710 0 0 25 0 4 0 669768734 1288912896 245366 33554432000 4194304 4625164 140736389531136 18446744073709551615 4335165 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2989.32
Current children cumulated vsize (KiB) 1258704

[startup+1062.3 s]
/proc/loadavg: 10.31 10.20 10.11 11/519 10626
/proc/meminfo: memFree=11705608/32951124 swapFree=67111348/67111528
[pid=10534] ppid=10532 vsize=1307456 CPUtime=3168.29 cores=1,3,5,7
/proc/10534/stat : 10534 (SArTagnan) R 10532 10534 10092 0 -1 4202496 5386835 0 0 0 315960 869 0 0 25 0 4 0 669768725 1338834944 256595 33554432000 4194304 4625164 140736389531136 18446744073709551615 4511930 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10534/statm: 326864 256595 344 106 0 322367 0
[pid=10534/tid=10536] ppid=10532 vsize=1307456 CPUtime=630.82 cores=1,3,5,7
/proc/10534/task/10536/stat : 10536 (SArTagnan) R 10532 10534 10092 0 -1 4202560 109974 0 0 0 63034 48 0 0 25 0 4 0 669768734 1338834944 256595 33554432000 4194304 4625164 140736389531136 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10534/tid=10537] ppid=10532 vsize=1307456 CPUtime=831.15 cores=1,3,5,7
/proc/10534/task/10537/stat : 10537 (SArTagnan) R 10532 10534 10092 0 -1 4202560 144325 0 0 0 83069 46 0 0 25 0 4 0 669768734 1338834944 256595 33554432000 4194304 4625164 140736389531136 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10534/tid=10538] ppid=10532 vsize=1307456 CPUtime=650.89 cores=1,3,5,7
/proc/10534/task/10538/stat : 10538 (SArTagnan) R 10532 10534 10092 0 -1 4202560 4988857 0 0 0 64338 751 0 0 25 0 4 0 669768734 1338834944 256595 33554432000 4194304 4625164 140736389531136 18446744073709551615 4335407 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3168.29
Current children cumulated vsize (KiB) 1307456

[startup+1122.3 s]
/proc/loadavg: 10.19 10.18 10.11 11/519 10628
/proc/meminfo: memFree=11488100/32951124 swapFree=67111348/67111528
[pid=10534] ppid=10532 vsize=1372992 CPUtime=3347.1 cores=1,3,5,7
/proc/10534/stat : 10534 (SArTagnan) R 10532 10534 10092 0 -1 4202496 5620801 0 0 0 333801 909 0 0 25 0 4 0 669768725 1405943808 262966 33554432000 4194304 4625164 140736389531136 18446744073709551615 4511874 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10534/statm: 343248 262966 351 106 0 338751 0
[pid=10534/tid=10536] ppid=10532 vsize=1372992 CPUtime=670.48 cores=1,3,5,7
/proc/10534/task/10536/stat : 10536 (SArTagnan) R 10532 10534 10092 0 -1 4202560 111825 0 0 0 66998 50 0 0 25 0 4 0 669768734 1405943808 262966 33554432000 4194304 4625164 140736389531136 18446744073709551615 4339591 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10534/tid=10537] ppid=10532 vsize=1372992 CPUtime=881.5 cores=1,3,5,7
/proc/10534/task/10537/stat : 10537 (SArTagnan) R 10532 10534 10092 0 -1 4202560 147563 0 0 0 88102 48 0 0 25 0 4 0 669768734 1405943808 262966 33554432000 4194304 4625164 140736389531136 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10534/tid=10538] ppid=10532 vsize=1372992 CPUtime=679.69 cores=1,3,5,7
/proc/10534/task/10538/stat : 10538 (SArTagnan) R 10532 10534 10092 0 -1 4202560 5217659 0 0 0 67183 786 0 0 25 0 4 0 669768734 1405943808 262966 33554432000 4194304 4625164 140736389531136 18446744073709551615 4335165 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3347.1
Current children cumulated vsize (KiB) 1372992

[startup+1182.3 s]
/proc/loadavg: 10.20 10.18 10.10 11/519 10630
/proc/meminfo: memFree=11377604/32951124 swapFree=67111348/67111528
[pid=10534] ppid=10532 vsize=1486780 CPUtime=3525.75 cores=1,3,5,7
/proc/10534/stat : 10534 (SArTagnan) R 10532 10534 10092 0 -1 4202496 5933569 0 0 0 351608 967 0 0 25 0 4 0 669768725 1522462720 272817 33554432000 4194304 4625164 140736389531136 18446744073709551615 4512763 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10534/statm: 371695 272817 344 106 0 367198 0
[pid=10534/tid=10536] ppid=10532 vsize=1486780 CPUtime=717.48 cores=1,3,5,7
/proc/10534/task/10536/stat : 10536 (SArTagnan) R 10532 10534 10092 0 -1 4202560 142185 0 0 0 71692 56 0 0 25 0 4 0 669768734 1522462720 272817 33554432000 4194304 4625164 140736389531136 18446744073709551615 4351804 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10534/tid=10537] ppid=10532 vsize=1486780 CPUtime=918.05 cores=1,3,5,7
/proc/10534/task/10537/stat : 10537 (SArTagnan) R 10532 10534 10092 0 -1 4202560 149692 0 0 0 91753 52 0 0 25 0 4 0 669768734 1522462720 272817 33554432000 4194304 4625164 140736389531136 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10534/tid=10538] ppid=10532 vsize=1486780 CPUtime=714.79 cores=1,3,5,7
/proc/10534/task/10538/stat : 10538 (SArTagnan) R 10532 10534 10092 0 -1 4202560 5497303 0 0 0 70645 834 0 0 25 0 4 0 669768734 1522462720 272817 33554432000 4194304 4625164 140736389531136 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3525.75
Current children cumulated vsize (KiB) 1486780

[startup+1242.3 s]
/proc/loadavg: 10.14 10.16 10.10 11/519 10631
/proc/meminfo: memFree=11288312/32951124 swapFree=67111348/67111528
[pid=10534] ppid=10532 vsize=1425456 CPUtime=3704.54 cores=1,3,5,7
/proc/10534/stat : 10534 (SArTagnan) R 10532 10534 10092 0 -1 4202496 6179384 0 0 0 369445 1009 0 0 25 0 4 0 669768725 1459666944 280784 33554432000 4194304 4625164 140736389531136 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10534/statm: 356364 280784 341 106 0 351867 0
[pid=10534/tid=10536] ppid=10532 vsize=1425456 CPUtime=757.48 cores=1,3,5,7
/proc/10534/task/10536/stat : 10536 (SArTagnan) R 10532 10534 10092 0 -1 4202560 145922 0 0 0 75688 60 0 0 25 0 4 0 669768734 1459666944 280784 33554432000 4194304 4625164 140736389531136 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10534/tid=10537] ppid=10532 vsize=1425456 CPUtime=963.92 cores=1,3,5,7
/proc/10534/task/10537/stat : 10537 (SArTagnan) R 10532 10534 10092 0 -1 4202560 152627 0 0 0 96336 56 0 0 25 0 4 0 669768734 1459666944 280784 33554432000 4194304 4625164 140736389531136 18446744073709551615 4351777 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10534/tid=10538] ppid=10532 vsize=1425456 CPUtime=747.72 cores=1,3,5,7
/proc/10534/task/10538/stat : 10538 (SArTagnan) R 10532 10534 10092 0 -1 4202560 5735814 0 0 0 73903 869 0 0 25 0 4 0 669768734 1459666944 280784 33554432000 4194304 4625164 140736389531136 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3704.54
Current children cumulated vsize (KiB) 1425456



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 10.16 10.16 10.10 11/519 10633
/proc/meminfo: memFree=11221096/32951124 swapFree=67111348/67111528
[pid=10534] ppid=10532 vsize=1431388 CPUtime=3876.55 cores=1,3,5,7
/proc/10534/stat : 10534 (SArTagnan) R 10532 10534 10092 0 -1 4202496 6321918 0 0 0 386616 1039 0 0 25 0 4 0 669768725 1465741312 288475 33554432000 4194304 4625164 140736389531136 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10534/statm: 357847 288475 341 106 0 353350 0
[pid=10534/tid=10536] ppid=10532 vsize=1431388 CPUtime=803.28 cores=1,3,5,7
/proc/10534/task/10536/stat : 10536 (SArTagnan) R 10532 10534 10092 0 -1 4202560 148232 0 0 0 80265 63 0 0 25 0 4 0 669768734 1465741312 288475 33554432000 4194304 4625164 140736389531136 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10534/tid=10537] ppid=10532 vsize=1431388 CPUtime=1003.89 cores=1,3,5,7
/proc/10534/task/10537/stat : 10537 (SArTagnan) R 10532 10534 10092 0 -1 4202560 154565 0 0 0 100331 58 0 0 25 0 4 0 669768734 1465741312 288475 33554432000 4194304 4625164 140736389531136 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10534/tid=10538] ppid=10532 vsize=1431388 CPUtime=779.49 cores=1,3,5,7
/proc/10534/task/10538/stat : 10538 (SArTagnan) R 10532 10534 10092 0 -1 4202560 5872765 0 0 0 77057 892 0 0 25 0 4 0 669768734 1465741312 288475 33554432000 4194304 4625164 140736389531136 18446744073709551615 4547221 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3876.55
Current children cumulated vsize (KiB) 1431388

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1300.08
CPU time (s): 3876.65
CPU user time (s): 3866.2
CPU system time (s): 10.4484
CPU usage (%): 298.186
Max. virtual memory (cumulated for all children) (KiB): 1552316

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3866.2
system time used= 10.4484
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6321918
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= 3675
involuntary context switches= 44345

runsolver used 6.12807 second user time and 16.3655 second system time

The end

Launcher Data 

Begin job on node139 at 2011-05-16 23:35:10
IDJOB=3385862
IDBENCH=83253
IDSOLVER=1871
FILE ID=node139/3385862-1305581710
RUNJOBID= node139-1305581710-10512
PBS_JOBID= 13350204
Free space on /tmp= 73272 MiB

SOLVER NAME= SArTagnan 2011-05-15 (fixed)
BENCH NAME= SAT11/crafted/kullmann/GreenTao/GreenTaok1k2/GreenTao_2-3-6_2071.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3385862-1305581710/watcher-3385862-1305581710 -o /tmp/evaluation-result-3385862-1305581710/solver-3385862-1305581710 -C 4800 -W 1300 -M 15500  SArTagnan HOME/instance-3385862-1305581710.cnf -threads=4

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

MD5SUM BENCH= 337bdbc5d8bf0013ca73aeffa06cffe8
RANDOM SEED=273703746

node139.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.852
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.70
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.852
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.75
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.852
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.852
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.852
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	: 5321.49
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.852
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.852
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.82
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.852
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:     32951124 kB
MemFree:      13581744 kB
Buffers:        342332 kB
Cached:        3340840 kB
SwapCached:          0 kB
Active:       16827540 kB
Inactive:      2193840 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      13581744 kB
SwapTotal:    67111528 kB
SwapFree:     67111348 kB
Dirty:            3244 kB
Writeback:           0 kB
AnonPages:    15337852 kB
Mapped:          38932 kB
Slab:           209172 kB
PageTables:      69968 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 140762236 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 node139 at 2011-05-16 23:56:52