Trace number 3385893

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) 3940.53 1300.09

General information on the benchmark

Namecrafted/skvortsov/automata-synchronization/
crn_40_1521_s.cnf
MD5SUM4e35cb9894b1ca841d462da2d6957cc5
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 variables63882
Number of clauses123981
Sum of the clauses size369562
Maximum clause length3
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 22381
Number of clauses of size 3121600
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

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-3385893-1305581375/watcher-3385893-1305581375 -o /tmp/evaluation-result-3385893-1305581375/solver-3385893-1305581375 -C 4800 -W 1300 -M 15500 SArTagnan HOME/instance-3385893-1305581375.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: 10.16 10.32 10.67 7/393 6753
/proc/meminfo: memFree=17446468/32951124 swapFree=67056796/67111528
[pid=6753] ppid=6751 vsize=27280 CPUtime=0 cores=1,3,5,7
/proc/6753/stat : 6753 (SArTagnan) R 6751 6753 5970 0 -1 4202496 1807 0 0 0 0 0 0 0 25 0 1 0 669735353 27934720 1683 33554432000 4194304 4625164 140736649672656 18446744073709551615 4339447 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/6753/statm: 6820 1683 296 106 0 2323 0

[startup+0.0639701 s]
/proc/loadavg: 10.16 10.32 10.67 7/393 6753
/proc/meminfo: memFree=17446468/32951124 swapFree=67056796/67111528
[pid=6753] ppid=6751 vsize=36692 CPUtime=0.06 cores=1,3,5,7
/proc/6753/stat : 6753 (SArTagnan) R 6751 6753 5970 0 -1 4202496 7433 0 0 0 5 1 0 0 25 0 1 0 669735353 37572608 4151 33554432000 4194304 4625164 140736649672656 18446744073709551615 4339447 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/6753/statm: 9173 4154 296 106 0 4676 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 36692

[startup+0.112545 s]
/proc/loadavg: 10.16 10.32 10.67 7/393 6753
/proc/meminfo: memFree=17446468/32951124 swapFree=67056796/67111528
[pid=6753] ppid=6751 vsize=212020 CPUtime=0.13 cores=1,3,5,7
/proc/6753/stat : 6753 (SArTagnan) R 6751 6753 5970 0 -1 4202496 17138 0 0 0 11 2 0 0 25 0 4 0 669735353 217108480 13203 33554432000 4194304 4625164 140736649672656 18446744073709551615 4339447 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6753/statm: 53005 13203 326 106 0 48508 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 212020

[startup+0.300896 s]
/proc/loadavg: 10.16 10.32 10.67 7/393 6753
/proc/meminfo: memFree=17446468/32951124 swapFree=67056796/67111528
[pid=6753] ppid=6751 vsize=331760 CPUtime=0.69 cores=1,3,5,7
/proc/6753/stat : 6753 (SArTagnan) R 6751 6753 5970 0 -1 4202496 36513 0 0 0 63 6 0 0 25 0 4 0 669735353 339722240 22250 33554432000 4194304 4625164 140736649672656 18446744073709551615 271550235093 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/6753/statm: 82940 22250 340 106 0 78443 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 331760

[startup+0.700823 s]
/proc/loadavg: 10.16 10.32 10.67 7/393 6753
/proc/meminfo: memFree=17446468/32951124 swapFree=67056796/67111528
[pid=6753] ppid=6751 vsize=370080 CPUtime=1.88 cores=1,3,5,7
/proc/6753/stat : 6753 (SArTagnan) R 6751 6753 5970 0 -1 4202496 54151 0 0 0 180 8 0 0 25 0 4 0 669735353 378961920 30414 33554432000 4194304 4625164 140736649672656 18446744073709551615 271550580919 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6753/statm: 92520 30415 340 106 0 88023 0
Current children cumulated CPU time (s) 1.88
Current children cumulated vsize (KiB) 370080

[startup+1.50068 s]
/proc/loadavg: 10.16 10.32 10.67 11/397 6757
/proc/meminfo: memFree=17315408/32951124 swapFree=67056796/67111528
[pid=6753] ppid=6751 vsize=379092 CPUtime=4.26 cores=1,3,5,7
/proc/6753/stat : 6753 (SArTagnan) R 6751 6753 5970 0 -1 4202496 62973 0 0 0 416 10 0 0 25 0 4 0 669735353 388190208 34734 33554432000 4194304 4625164 140736649672656 18446744073709551615 271550580919 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6753/statm: 94773 34734 341 106 0 90276 0
[pid=6753/tid=6755] ppid=6751 vsize=379092 CPUtime=1.37 cores=1,3,5,7
/proc/6753/task/6755/stat : 6755 (SArTagnan) R 6751 6753 5970 0 -1 4202560 9618 0 0 0 136 1 0 0 19 0 4 0 669735362 388190208 34734 33554432000 4194304 4625164 140736649672656 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6753/tid=6756] ppid=6751 vsize=379092 CPUtime=1.3 cores=1,3,5,7
/proc/6753/task/6756/stat : 6756 (SArTagnan) R 6751 6753 5970 0 -1 4202560 9328 0 0 0 129 1 0 0 25 0 4 0 669735362 388190208 34734 33554432000 4194304 4625164 140736649672656 18446744073709551615 4339447 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6753/tid=6757] ppid=6751 vsize=379092 CPUtime=1.2 cores=1,3,5,7
/proc/6753/task/6757/stat : 6757 (SArTagnan) R 6751 6753 5970 0 -1 4202560 11385 0 0 0 119 1 0 0 25 0 4 0 669735362 388190208 34734 33554432000 4194304 4625164 140736649672656 18446744073709551615 4288686 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.26
Current children cumulated vsize (KiB) 379092

[startup+3.10039 s]
/proc/loadavg: 10.16 10.32 10.67 11/397 6757
/proc/meminfo: memFree=17270024/32951124 swapFree=67056796/67111528
[pid=6753] ppid=6751 vsize=448460 CPUtime=9.03 cores=1,3,5,7
/proc/6753/stat : 6753 (SArTagnan) R 6751 6753 5970 0 -1 4202496 109107 0 0 0 887 16 0 0 25 0 4 0 669735353 459223040 53827 33554432000 4194304 4625164 140736649672656 18446744073709551615 271550198469 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6753/statm: 112115 53831 341 106 0 107618 0
[pid=6753/tid=6755] ppid=6751 vsize=448460 CPUtime=2.84 cores=1,3,5,7
/proc/6753/task/6755/stat : 6755 (SArTagnan) R 6751 6753 5970 0 -1 4202560 18030 0 0 0 282 2 0 0 19 0 4 0 669735362 459223040 53833 33554432000 4194304 4625164 140736649672656 18446744073709551615 271550195502 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6753/tid=6756] ppid=6751 vsize=448460 CPUtime=2.78 cores=1,3,5,7
/proc/6753/task/6756/stat : 6756 (SArTagnan) R 6751 6753 5970 0 -1 4202560 17360 0 0 0 276 2 0 0 25 0 4 0 669735362 459223040 53836 33554432000 4194304 4625164 140736649672656 18446744073709551615 271550195441 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6753/tid=6757] ppid=6751 vsize=448460 CPUtime=2.77 cores=1,3,5,7
/proc/6753/task/6757/stat : 6757 (SArTagnan) R 6751 6753 5970 0 -1 4202560 18615 0 0 0 276 1 0 0 25 0 4 0 669735362 459223040 53837 33554432000 4194304 4625164 140736649672656 18446744073709551615 271550192685 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 9.03
Current children cumulated vsize (KiB) 448460

[startup+6.30081 s]
/proc/loadavg: 10.23 10.33 10.67 11/397 6757
/proc/meminfo: memFree=17181540/32951124 swapFree=67056796/67111528
[pid=6753] ppid=6751 vsize=468728 CPUtime=18.58 cores=1,3,5,7
/proc/6753/stat : 6753 (SArTagnan) R 6751 6753 5970 0 -1 4202496 152169 0 0 0 1837 21 0 0 25 0 4 0 669735353 479977472 58782 33554432000 4194304 4625164 140736649672656 18446744073709551615 4512042 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6753/statm: 117182 58782 347 106 0 112685 0
[pid=6753/tid=6755] ppid=6751 vsize=468728 CPUtime=6.05 cores=1,3,5,7
/proc/6753/task/6755/stat : 6755 (SArTagnan) R 6751 6753 5970 0 -1 4202560 24518 0 0 0 602 3 0 0 25 0 4 0 669735362 479977472 58782 33554432000 4194304 4625164 140736649672656 18446744073709551615 4351824 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6753/tid=6756] ppid=6751 vsize=468728 CPUtime=4.29 cores=1,3,5,7
/proc/6753/task/6756/stat : 6756 (SArTagnan) R 6751 6753 5970 0 -1 4202560 18727 0 0 0 427 2 0 0 25 0 4 0 669735362 479977472 58782 33554432000 4194304 4625164 140736649672656 18446744073709551615 4339628 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6753/tid=6757] ppid=6751 vsize=468728 CPUtime=5.93 cores=1,3,5,7
/proc/6753/task/6757/stat : 6757 (SArTagnan) R 6751 6753 5970 0 -1 4202560 46922 0 0 0 588 5 0 0 25 0 4 0 669735362 479977472 58782 33554432000 4194304 4625164 140736649672656 18446744073709551615 4554650 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 18.58
Current children cumulated vsize (KiB) 468728

[startup+12.7007 s]
/proc/loadavg: 10.21 10.33 10.67 11/397 6757
/proc/meminfo: memFree=17137668/32951124 swapFree=67056796/67111528
[pid=6753] ppid=6751 vsize=479080 CPUtime=37.7 cores=1,3,5,7
/proc/6753/stat : 6753 (SArTagnan) R 6751 6753 5970 0 -1 4202496 237215 0 0 0 3736 34 0 0 25 0 4 0 669735353 490577920 63145 33554432000 4194304 4625164 140736649672656 18446744073709551615 4512138 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6753/statm: 119770 63145 347 106 0 115273 0
[pid=6753/tid=6755] ppid=6751 vsize=479080 CPUtime=12.14 cores=1,3,5,7
/proc/6753/task/6755/stat : 6755 (SArTagnan) R 6751 6753 5970 0 -1 4202560 25745 0 0 0 1211 3 0 0 25 0 4 0 669735362 490577920 63145 33554432000 4194304 4625164 140736649672656 18446744073709551615 4352280 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6753/tid=6756] ppid=6751 vsize=479080 CPUtime=7.5 cores=1,3,5,7
/proc/6753/task/6756/stat : 6756 (SArTagnan) R 6751 6753 5970 0 -1 4202560 24365 0 0 0 747 3 0 0 25 0 4 0 669735362 490577920 63145 33554432000 4194304 4625164 140736649672656 18446744073709551615 4352044 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6753/tid=6757] ppid=6751 vsize=479080 CPUtime=12.25 cores=1,3,5,7
/proc/6753/task/6757/stat : 6757 (SArTagnan) R 6751 6753 5970 0 -1 4202560 124409 0 0 0 1209 16 0 0 25 0 4 0 669735362 490577920 63145 33554432000 4194304 4625164 140736649672656 18446744073709551615 4572224 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 37.7
Current children cumulated vsize (KiB) 479080

[startup+25.5003 s]
/proc/loadavg: 10.16 10.31 10.65 11/397 6757
/proc/meminfo: memFree=17020868/32951124 swapFree=67056796/67111528
[pid=6753] ppid=6751 vsize=580904 CPUtime=75.93 cores=1,3,5,7
/proc/6753/stat : 6753 (SArTagnan) R 6751 6753 5970 0 -1 4202496 416467 0 0 0 7531 62 0 0 25 0 4 0 669735353 594845696 73441 33554432000 4194304 4625164 140736649672656 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6753/statm: 145226 73441 347 106 0 140729 0
[pid=6753/tid=6755] ppid=6751 vsize=580904 CPUtime=18.21 cores=1,3,5,7
/proc/6753/task/6755/stat : 6755 (SArTagnan) R 6751 6753 5970 0 -1 4202560 27069 0 0 0 1817 4 0 0 25 0 4 0 669735362 594845696 73441 33554432000 4194304 4625164 140736649672656 18446744073709551615 271550642670 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6753/tid=6756] ppid=6751 vsize=580904 CPUtime=20.29 cores=1,3,5,7
/proc/6753/task/6756/stat : 6756 (SArTagnan) R 6751 6753 5970 0 -1 4202560 36241 0 0 0 2024 5 0 0 25 0 4 0 669735362 594845696 73441 33554432000 4194304 4625164 140736649672656 18446744073709551615 4351866 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6753/tid=6757] ppid=6751 vsize=580904 CPUtime=24.86 cores=1,3,5,7
/proc/6753/task/6757/stat : 6757 (SArTagnan) R 6751 6753 5970 0 -1 4202560 282840 0 0 0 2446 40 0 0 25 0 4 0 669735362 594845696 73441 33554432000 4194304 4625164 140736649672656 18446744073709551615 4334485 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 75.93
Current children cumulated vsize (KiB) 580904

[startup+51.1007 s]
/proc/loadavg: 10.40 10.35 10.66 11/397 6758
/proc/meminfo: memFree=16805300/32951124 swapFree=67056796/67111528
[pid=6753] ppid=6751 vsize=616008 CPUtime=152.41 cores=1,3,5,7
/proc/6753/stat : 6753 (SArTagnan) R 6751 6753 5970 0 -1 4202496 616966 0 0 0 15148 93 0 0 25 0 4 0 669735353 630792192 90388 33554432000 4194304 4625164 140736649672656 18446744073709551615 4511899 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6753/statm: 154002 90388 347 106 0 149505 0
[pid=6753/tid=6755] ppid=6751 vsize=616008 CPUtime=31.02 cores=1,3,5,7
/proc/6753/task/6755/stat : 6755 (SArTagnan) R 6751 6753 5970 0 -1 4202560 37062 0 0 0 3097 5 0 0 25 0 4 0 669735362 630792192 90388 33554432000 4194304 4625164 140736649672656 18446744073709551615 4352044 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6753/tid=6756] ppid=6751 vsize=616008 CPUtime=45.69 cores=1,3,5,7
/proc/6753/task/6756/stat : 6756 (SArTagnan) R 6751 6753 5970 0 -1 4202560 41516 0 0 0 4562 7 0 0 25 0 4 0 669735362 630792192 90388 33554432000 4194304 4625164 140736649672656 18446744073709551615 4464670 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6753/tid=6757] ppid=6751 vsize=616008 CPUtime=44.23 cores=1,3,5,7
/proc/6753/task/6757/stat : 6757 (SArTagnan) R 6751 6753 5970 0 -1 4202560 456438 0 0 0 4358 65 0 0 25 0 4 0 669735362 630792192 90388 33554432000 4194304 4625164 140736649672656 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 152.41
Current children cumulated vsize (KiB) 616008

[startup+102.314 s]
/proc/loadavg: 10.24 10.31 10.62 11/397 6759
/proc/meminfo: memFree=16414568/32951124 swapFree=67056796/67111528
[pid=6753] ppid=6751 vsize=731072 CPUtime=305.39 cores=1,3,5,7
/proc/6753/stat : 6753 (SArTagnan) R 6751 6753 5970 0 -1 4202496 944889 0 0 0 30397 142 0 0 25 0 4 0 669735353 748617728 122599 33554432000 4194304 4625164 140736649672656 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6753/statm: 182768 122599 347 106 0 178271 0
[pid=6753/tid=6755] ppid=6751 vsize=731072 CPUtime=81.58 cores=1,3,5,7
/proc/6753/task/6755/stat : 6755 (SArTagnan) R 6751 6753 5970 0 -1 4202560 55834 0 0 0 8149 9 0 0 25 0 4 0 669735362 748617728 122599 33554432000 4194304 4625164 140736649672656 18446744073709551615 4352044 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6753/tid=6756] ppid=6751 vsize=731072 CPUtime=86.45 cores=1,3,5,7
/proc/6753/task/6756/stat : 6756 (SArTagnan) R 6751 6753 5970 0 -1 4202560 61128 0 0 0 8635 10 0 0 25 0 4 0 669735362 748617728 122599 33554432000 4194304 4625164 140736649672656 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6753/tid=6757] ppid=6751 vsize=731072 CPUtime=69.98 cores=1,3,5,7
/proc/6753/task/6757/stat : 6757 (SArTagnan) R 6751 6753 5970 0 -1 4202560 720050 0 0 0 6895 103 0 0 25 0 4 0 669735362 748617728 122599 33554432000 4194304 4625164 140736649672656 18446744073709551615 4547280 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 305.39
Current children cumulated vsize (KiB) 731072

[startup+162.301 s]
/proc/loadavg: 10.35 10.31 10.60 11/397 6761
/proc/meminfo: memFree=16089792/32951124 swapFree=67056796/67111528
[pid=6753] ppid=6751 vsize=926816 CPUtime=484.59 cores=1,3,5,7
/proc/6753/stat : 6753 (SArTagnan) R 6751 6753 5970 0 -1 4202496 1388806 0 0 0 48255 204 0 0 25 0 4 0 669735353 949059584 152242 33554432000 4194304 4625164 140736649672656 18446744073709551615 4511885 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6753/statm: 231704 152242 347 106 0 227207 0
[pid=6753/tid=6755] ppid=6751 vsize=926816 CPUtime=140.81 cores=1,3,5,7
/proc/6753/task/6755/stat : 6755 (SArTagnan) R 6751 6753 5970 0 -1 4202560 82006 0 0 0 14068 13 0 0 25 0 4 0 669735362 949059584 152242 33554432000 4194304 4625164 140736649672656 18446744073709551615 4351830 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6753/tid=6756] ppid=6751 vsize=926816 CPUtime=128.89 cores=1,3,5,7
/proc/6753/task/6756/stat : 6756 (SArTagnan) R 6751 6753 5970 0 -1 4202560 87488 0 0 0 12875 14 0 0 25 0 4 0 669735362 949059584 152243 33554432000 4194304 4625164 140736649672656 18446744073709551615 4340391 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6753/tid=6757] ppid=6751 vsize=926816 CPUtime=101.68 cores=1,3,5,7
/proc/6753/task/6757/stat : 6757 (SArTagnan) R 6751 6753 5970 0 -1 4202560 1073918 0 0 0 10017 151 0 0 25 0 4 0 669735362 949059584 152243 33554432000 4194304 4625164 140736649672656 18446744073709551615 4547280 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 484.59
Current children cumulated vsize (KiB) 926816

[startup+222.301 s]
/proc/loadavg: 10.26 10.29 10.57 11/397 6763
/proc/meminfo: memFree=15766628/32951124 swapFree=67056796/67111528
[pid=6753] ppid=6751 vsize=949448 CPUtime=663.83 cores=1,3,5,7
/proc/6753/stat : 6753 (SArTagnan) R 6751 6753 5970 0 -1 4202496 1854903 0 0 0 66115 268 0 0 25 0 4 0 669735353 972234752 182585 33554432000 4194304 4625164 140736649672656 18446744073709551615 4512007 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6753/statm: 237362 182585 347 106 0 232865 0
[pid=6753/tid=6755] ppid=6751 vsize=949448 CPUtime=200.04 cores=1,3,5,7
/proc/6753/task/6755/stat : 6755 (SArTagnan) R 6751 6753 5970 0 -1 4202560 88318 0 0 0 19989 15 0 0 25 0 4 0 669735362 972234752 182585 33554432000 4194304 4625164 140736649672656 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6753/tid=6756] ppid=6751 vsize=949448 CPUtime=158.97 cores=1,3,5,7
/proc/6753/task/6756/stat : 6756 (SArTagnan) R 6751 6753 5970 0 -1 4202560 91175 0 0 0 15881 16 0 0 25 0 4 0 669735362 972234752 182585 33554432000 4194304 4625164 140736649672656 18446744073709551615 4351731 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6753/tid=6757] ppid=6751 vsize=949448 CPUtime=159.2 cores=1,3,5,7
/proc/6753/task/6757/stat : 6757 (SArTagnan) R 6751 6753 5970 0 -1 4202560 1526530 0 0 0 15710 210 0 0 25 0 4 0 669735362 972234752 182585 33554432000 4194304 4625164 140736649672656 18446744073709551615 4335407 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 663.83
Current children cumulated vsize (KiB) 949448

[startup+282.301 s]

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

[pid=6753] ppid=6751 vsize=1781456 CPUtime=2105.95 cores=1,3,5,7
/proc/6753/stat : 6753 (SArTagnan) R 6751 6753 5970 0 -1 4202496 5160024 0 0 0 209844 751 0 0 25 0 4 0 669735353 1824210944 367597 33554432000 4194304 4625164 140736649672656 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/6753/statm: 445364 367597 347 106 0 440867 0
[pid=6753/tid=6755] ppid=6751 vsize=1781456 CPUtime=602.79 cores=1,3,5,7
/proc/6753/task/6755/stat : 6755 (SArTagnan) R 6751 6753 5970 0 -1 4202560 146702 0 0 0 60251 28 0 0 25 0 4 0 669735362 1824210944 367597 33554432000 4194304 4625164 140736649672656 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6753/tid=6756] ppid=6751 vsize=1781456 CPUtime=480.46 cores=1,3,5,7
/proc/6753/task/6756/stat : 6756 (SArTagnan) R 6751 6753 5970 0 -1 4202560 149020 0 0 0 48017 29 0 0 25 0 4 0 669735362 1824210944 367597 33554432000 4194304 4625164 140736649672656 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6753/tid=6757] ppid=6751 vsize=1781456 CPUtime=485.72 cores=1,3,5,7
/proc/6753/task/6757/stat : 6757 (SArTagnan) R 6751 6753 5970 0 -1 4202560 4572722 0 0 0 47935 637 0 0 25 0 4 0 669735362 1824210944 367597 33554432000 4194304 4625164 140736649672656 18446744073709551615 4334728 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2105.95
Current children cumulated vsize (KiB) 1781456

[startup+762.315 s]
/proc/loadavg: 10.11 10.17 10.37 11/397 6777
/proc/meminfo: memFree=14151088/32951124 swapFree=67056796/67111528
[pid=6753] ppid=6751 vsize=2008148 CPUtime=2285.22 cores=1,3,5,7
/proc/6753/stat : 6753 (SArTagnan) R 6751 6753 5970 0 -1 4202496 5525169 0 0 0 227721 801 0 0 25 0 4 0 669735353 2056343552 385769 33554432000 4194304 4625164 140736649672656 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/6753/statm: 502037 385769 347 106 0 497540 0
[pid=6753/tid=6755] ppid=6751 vsize=2008148 CPUtime=632.09 cores=1,3,5,7
/proc/6753/task/6755/stat : 6755 (SArTagnan) R 6751 6753 5970 0 -1 4202560 189805 0 0 0 63175 34 0 0 25 0 4 0 669735362 2056343552 385769 33554432000 4194304 4625164 140736649672656 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6753/tid=6756] ppid=6751 vsize=2008148 CPUtime=540.47 cores=1,3,5,7
/proc/6753/task/6756/stat : 6756 (SArTagnan) R 6751 6753 5970 0 -1 4202560 195509 0 0 0 54009 38 0 0 25 0 4 0 669735362 2056343552 385769 33554432000 4194304 4625164 140736649672656 18446744073709551615 4351804 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6753/tid=6757] ppid=6751 vsize=2008148 CPUtime=516.42 cores=1,3,5,7
/proc/6753/task/6757/stat : 6757 (SArTagnan) R 6751 6753 5970 0 -1 4202560 4818586 0 0 0 50974 668 0 0 25 0 4 0 669735362 2056343552 385769 33554432000 4194304 4625164 140736649672656 18446744073709551615 4469343 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2285.22
Current children cumulated vsize (KiB) 2008148

[startup+822.301 s]
/proc/loadavg: 10.11 10.16 10.36 11/397 6779
/proc/meminfo: memFree=14036252/32951124 swapFree=67056796/67111528
[pid=6753] ppid=6751 vsize=2008368 CPUtime=2464.43 cores=1,3,5,7
/proc/6753/stat : 6753 (SArTagnan) R 6751 6753 5970 0 -1 4202496 5839710 0 0 0 245595 848 0 0 25 0 4 0 669735353 2056568832 399547 33554432000 4194304 4625164 140736649672656 18446744073709551615 271550642670 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/6753/statm: 502092 399547 347 106 0 497595 0
[pid=6753/tid=6755] ppid=6751 vsize=2008368 CPUtime=663.8 cores=1,3,5,7
/proc/6753/task/6755/stat : 6755 (SArTagnan) R 6751 6753 5970 0 -1 4202560 192818 0 0 0 66345 35 0 0 25 0 4 0 669735362 2056568832 399547 33554432000 4194304 4625164 140736649672656 18446744073709551615 4375257 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6753/tid=6756] ppid=6751 vsize=2008368 CPUtime=600.45 cores=1,3,5,7
/proc/6753/task/6756/stat : 6756 (SArTagnan) R 6751 6753 5970 0 -1 4202560 198391 0 0 0 60006 39 0 0 25 0 4 0 669735362 2056568832 399547 33554432000 4194304 4625164 140736649672656 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6753/tid=6757] ppid=6751 vsize=2008368 CPUtime=546.95 cores=1,3,5,7
/proc/6753/task/6757/stat : 6757 (SArTagnan) R 6751 6753 5970 0 -1 4202560 5123917 0 0 0 53984 711 0 0 25 0 4 0 669735362 2056568832 399547 33554432000 4194304 4625164 140736649672656 18446744073709551615 4547280 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2464.43
Current children cumulated vsize (KiB) 2008368

[startup+882.3 s]
/proc/loadavg: 10.16 10.16 10.34 11/397 6780
/proc/meminfo: memFree=13963316/32951124 swapFree=67056796/67111528
[pid=6753] ppid=6751 vsize=2008368 CPUtime=2643.66 cores=1,3,5,7
/proc/6753/stat : 6753 (SArTagnan) R 6751 6753 5970 0 -1 4202496 5940114 0 0 0 263503 863 0 0 25 0 4 0 669735353 2056568832 405204 33554432000 4194304 4625164 140736649672656 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6753/statm: 502092 405204 347 106 0 497595 0
[pid=6753/tid=6755] ppid=6751 vsize=2008368 CPUtime=695.39 cores=1,3,5,7
/proc/6753/task/6755/stat : 6755 (SArTagnan) R 6751 6753 5970 0 -1 4202560 195771 0 0 0 69502 37 0 0 25 0 4 0 669735362 2056568832 405204 33554432000 4194304 4625164 140736649672656 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6753/tid=6756] ppid=6751 vsize=2008368 CPUtime=660.46 cores=1,3,5,7
/proc/6753/task/6756/stat : 6756 (SArTagnan) R 6751 6753 5970 0 -1 4202560 200348 0 0 0 66006 40 0 0 25 0 4 0 669735362 2056568832 405204 33554432000 4194304 4625164 140736649672656 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6753/tid=6757] ppid=6751 vsize=2008368 CPUtime=604.48 cores=1,3,5,7
/proc/6753/task/6757/stat : 6757 (SArTagnan) R 6751 6753 5970 0 -1 4202560 5219234 0 0 0 59724 724 0 0 25 0 4 0 669735362 2056568832 405204 33554432000 4194304 4625164 140736649672656 18446744073709551615 4327768 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2643.66
Current children cumulated vsize (KiB) 2008368

[startup+942.3 s]
/proc/loadavg: 10.09 10.14 10.33 11/397 6782
/proc/meminfo: memFree=13883060/32951124 swapFree=67056796/67111528
[pid=6753] ppid=6751 vsize=2013916 CPUtime=2822.91 cores=1,3,5,7
/proc/6753/stat : 6753 (SArTagnan) R 6751 6753 5970 0 -1 4202496 5946870 0 0 0 281425 866 0 0 25 0 4 0 669735353 2062249984 411918 33554432000 4194304 4625164 140736649672656 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6753/statm: 503479 411918 347 106 0 498982 0
[pid=6753/tid=6755] ppid=6751 vsize=2013916 CPUtime=725.32 cores=1,3,5,7
/proc/6753/task/6755/stat : 6755 (SArTagnan) R 6751 6753 5970 0 -1 4202560 197306 0 0 0 72494 38 0 0 25 0 4 0 669735362 2062249984 411918 33554432000 4194304 4625164 140736649672656 18446744073709551615 4351894 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6753/tid=6756] ppid=6751 vsize=2013916 CPUtime=720.46 cores=1,3,5,7
/proc/6753/task/6756/stat : 6756 (SArTagnan) R 6751 6753 5970 0 -1 4202560 203184 0 0 0 72005 41 0 0 25 0 4 0 669735362 2062249984 411918 33554432000 4194304 4625164 140736649672656 18446744073709551615 4352085 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6753/tid=6757] ppid=6751 vsize=2013916 CPUtime=663.73 cores=1,3,5,7
/proc/6753/task/6757/stat : 6757 (SArTagnan) R 6751 6753 5970 0 -1 4202560 5221144 0 0 0 65648 725 0 0 25 0 4 0 669735362 2062249984 411918 33554432000 4194304 4625164 140736649672656 18446744073709551615 4547847 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2822.91
Current children cumulated vsize (KiB) 2013916

[startup+1002.3 s]
/proc/loadavg: 10.30 10.18 10.32 11/397 6783
/proc/meminfo: memFree=13808028/32951124 swapFree=67056796/67111528
[pid=6753] ppid=6751 vsize=2014236 CPUtime=3006.84 cores=1,3,5,7
/proc/6753/stat : 6753 (SArTagnan) R 6751 6753 5970 0 -1 4202496 5951652 0 0 0 299817 867 0 0 25 0 4 0 669735353 2062577664 416666 33554432000 4194304 4625164 140736649672656 18446744073709551615 4392981 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6753/statm: 503559 416666 347 106 0 499062 0
[pid=6753/tid=6755] ppid=6751 vsize=2014236 CPUtime=762.95 cores=1,3,5,7
/proc/6753/task/6755/stat : 6755 (SArTagnan) R 6751 6753 5970 0 -1 4202560 199683 0 0 0 76257 38 0 0 25 0 4 0 669735362 2062577664 416666 33554432000 4194304 4625164 140736649672656 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6753/tid=6756] ppid=6751 vsize=2014236 CPUtime=772.57 cores=1,3,5,7
/proc/6753/task/6756/stat : 6756 (SArTagnan) R 6751 6753 5970 0 -1 4202560 204486 0 0 0 77216 41 0 0 25 0 4 0 669735362 2062577664 416666 33554432000 4194304 4625164 140736649672656 18446744073709551615 4351909 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6753/tid=6757] ppid=6751 vsize=2014236 CPUtime=711.17 cores=1,3,5,7
/proc/6753/task/6757/stat : 6757 (SArTagnan) R 6751 6753 5970 0 -1 4202560 5221940 0 0 0 70392 725 0 0 25 0 4 0 669735362 2062577664 416666 33554432000 4194304 4625164 140736649672656 18446744073709551615 4547768 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3006.84
Current children cumulated vsize (KiB) 2014236

[startup+1062.3 s]
/proc/loadavg: 10.25 10.18 10.31 11/397 6785
/proc/meminfo: memFree=13705832/32951124 swapFree=67056796/67111528
[pid=6753] ppid=6751 vsize=2020428 CPUtime=3186.08 cores=1,3,5,7
/proc/6753/stat : 6753 (SArTagnan) R 6751 6753 5970 0 -1 4202496 5962917 0 0 0 317737 871 0 0 25 0 4 0 669735353 2068918272 427854 33554432000 4194304 4625164 140736649672656 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6753/statm: 505107 427854 347 106 0 500610 0
[pid=6753/tid=6755] ppid=6751 vsize=2020428 CPUtime=822.2 cores=1,3,5,7
/proc/6753/task/6755/stat : 6755 (SArTagnan) R 6751 6753 5970 0 -1 4202560 203433 0 0 0 82180 40 0 0 25 0 4 0 669735362 2068918272 427854 33554432000 4194304 4625164 140736649672656 18446744073709551615 4462326 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6753/tid=6756] ppid=6751 vsize=2020428 CPUtime=802.57 cores=1,3,5,7
/proc/6753/task/6756/stat : 6756 (SArTagnan) R 6751 6753 5970 0 -1 4202560 205515 0 0 0 80215 42 0 0 25 0 4 0 669735362 2068918272 427854 33554432000 4194304 4625164 140736649672656 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6753/tid=6757] ppid=6751 vsize=2020428 CPUtime=741.17 cores=1,3,5,7
/proc/6753/task/6757/stat : 6757 (SArTagnan) R 6751 6753 5970 0 -1 4202560 5224017 0 0 0 73392 725 0 0 25 0 4 0 669735362 2068918272 427854 33554432000 4194304 4625164 140736649672656 18446744073709551615 4552315 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3186.08
Current children cumulated vsize (KiB) 2020428

[startup+1122.3 s]
/proc/loadavg: 10.38 10.21 10.31 11/397 6787
/proc/meminfo: memFree=13597324/32951124 swapFree=67056796/67111528
[pid=6753] ppid=6751 vsize=2032172 CPUtime=3365.32 cores=1,3,5,7
/proc/6753/stat : 6753 (SArTagnan) R 6751 6753 5970 0 -1 4202496 5975062 0 0 0 335656 876 0 0 25 0 4 0 669735353 2080944128 439941 33554432000 4194304 4625164 140736649672656 18446744073709551615 4512854 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6753/statm: 508043 439941 347 106 0 503546 0
[pid=6753/tid=6755] ppid=6751 vsize=2032172 CPUtime=881.43 cores=1,3,5,7
/proc/6753/task/6755/stat : 6755 (SArTagnan) R 6751 6753 5970 0 -1 4202560 208124 0 0 0 88101 42 0 0 25 0 4 0 669735362 2080944128 439941 33554432000 4194304 4625164 140736649672656 18446744073709551615 4351824 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6753/tid=6756] ppid=6751 vsize=2032172 CPUtime=832.58 cores=1,3,5,7
/proc/6753/task/6756/stat : 6756 (SArTagnan) R 6751 6753 5970 0 -1 4202560 205893 0 0 0 83216 42 0 0 25 0 4 0 669735362 2080944128 439941 33554432000 4194304 4625164 140736649672656 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6753/tid=6757] ppid=6751 vsize=2032172 CPUtime=771.18 cores=1,3,5,7
/proc/6753/task/6757/stat : 6757 (SArTagnan) R 6751 6753 5970 0 -1 4202560 5227367 0 0 0 76391 727 0 0 25 0 4 0 669735362 2080944128 439941 33554432000 4194304 4625164 140736649672656 18446744073709551615 4547280 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3365.32
Current children cumulated vsize (KiB) 2032172

[startup+1182.3 s]
/proc/loadavg: 10.20 10.18 10.29 11/397 6788
/proc/meminfo: memFree=13456320/32951124 swapFree=67056796/67111528
[pid=6753] ppid=6751 vsize=2164852 CPUtime=3544.56 cores=1,3,5,7
/proc/6753/stat : 6753 (SArTagnan) R 6751 6753 5970 0 -1 4202496 6089187 0 0 0 353562 894 0 0 25 0 4 0 669735353 2216808448 453220 33554432000 4194304 4625164 140736649672656 18446744073709551615 4511930 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6753/statm: 541213 453220 347 106 0 536716 0
[pid=6753/tid=6755] ppid=6751 vsize=2164852 CPUtime=940.68 cores=1,3,5,7
/proc/6753/task/6755/stat : 6755 (SArTagnan) R 6751 6753 5970 0 -1 4202560 212040 0 0 0 94023 45 0 0 25 0 4 0 669735362 2216808448 453220 33554432000 4194304 4625164 140736649672656 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6753/tid=6756] ppid=6751 vsize=2164852 CPUtime=862.58 cores=1,3,5,7
/proc/6753/task/6756/stat : 6756 (SArTagnan) R 6751 6753 5970 0 -1 4202560 206801 0 0 0 86216 42 0 0 25 0 4 0 669735362 2216808448 453220 33554432000 4194304 4625164 140736649672656 18446744073709551615 4351981 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6753/tid=6757] ppid=6751 vsize=2164852 CPUtime=801.17 cores=1,3,5,7
/proc/6753/task/6757/stat : 6757 (SArTagnan) R 6751 6753 5970 0 -1 4202560 5273741 0 0 0 79383 734 0 0 25 0 4 0 669735362 2216808448 453220 33554432000 4194304 4625164 140736649672656 18446744073709551615 4547280 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3544.56
Current children cumulated vsize (KiB) 2164852

[startup+1242.3 s]
/proc/loadavg: 10.20 10.18 10.28 11/397 6790
/proc/meminfo: memFree=13323376/32951124 swapFree=67056796/67111528
[pid=6753] ppid=6751 vsize=2230388 CPUtime=3723.8 cores=1,3,5,7
/proc/6753/stat : 6753 (SArTagnan) R 6751 6753 5970 0 -1 4202496 6580477 0 0 0 371421 959 0 0 25 0 4 0 669735353 2283917312 462228 33554432000 4194304 4625164 140736649672656 18446744073709551615 4511982 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6753/statm: 557597 462228 347 106 0 553100 0
[pid=6753/tid=6755] ppid=6751 vsize=2230388 CPUtime=971.82 cores=1,3,5,7
/proc/6753/task/6755/stat : 6755 (SArTagnan) R 6751 6753 5970 0 -1 4202560 213322 0 0 0 97137 45 0 0 25 0 4 0 669735362 2283917312 462228 33554432000 4194304 4625164 140736649672656 18446744073709551615 4352280 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6753/tid=6756] ppid=6751 vsize=2230388 CPUtime=901.22 cores=1,3,5,7
/proc/6753/task/6756/stat : 6756 (SArTagnan) R 6751 6753 5970 0 -1 4202560 208686 0 0 0 90079 43 0 0 25 0 4 0 669735362 2283917312 462228 33554432000 4194304 4625164 140736649672656 18446744073709551615 4462619 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6753/tid=6757] ppid=6751 vsize=2230388 CPUtime=859.59 cores=1,3,5,7
/proc/6753/task/6757/stat : 6757 (SArTagnan) R 6751 6753 5970 0 -1 4202560 5760344 0 0 0 85162 797 0 0 25 0 4 0 669735362 2283917312 462228 33554432000 4194304 4625164 140736649672656 18446744073709551615 4547807 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3723.8
Current children cumulated vsize (KiB) 2230388



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 8.29 9.70 10.11 7/388 6809
/proc/meminfo: memFree=16029716/32951124 swapFree=67056796/67111528
[pid=6753] ppid=6751 vsize=2348508 CPUtime=3940.4 cores=1,3,5,7
/proc/6753/stat : 6753 (SArTagnan) R 6751 6753 5970 0 -1 4202496 6728919 0 0 0 393060 980 0 0 25 0 4 0 669735353 2404872192 470361 33554432000 4194304 4625164 140736649672656 18446744073709551615 4511930 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6753/statm: 587127 470361 347 106 0 582630 0
[pid=6753/tid=6755] ppid=6751 vsize=2348508 CPUtime=1023.19 cores=1,3,5,7
/proc/6753/task/6755/stat : 6755 (SArTagnan) R 6751 6753 5970 0 -1 4202560 275057 0 0 0 102267 52 0 0 25 0 4 0 669735362 2404872192 470361 33554432000 4194304 4625164 140736649672656 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6753/tid=6756] ppid=6751 vsize=2348508 CPUtime=956.27 cores=1,3,5,7
/proc/6753/task/6756/stat : 6756 (SArTagnan) R 6751 6753 5970 0 -1 4202560 210532 0 0 0 95583 44 0 0 25 0 4 0 669735362 2404872192 470361 33554432000 4194304 4625164 140736649672656 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6753/tid=6757] ppid=6751 vsize=2348508 CPUtime=917.31 cores=1,3,5,7
/proc/6753/task/6757/stat : 6757 (SArTagnan) R 6751 6753 5970 0 -1 4202560 5842201 0 0 0 90923 808 0 0 25 0 4 0 669735362 2404872192 470362 33554432000 4194304 4625164 140736649672656 18446744073709551615 271550198817 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3940.4
Current children cumulated vsize (KiB) 2348508

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.09
CPU time (s): 3940.53
CPU user time (s): 3930.64
CPU system time (s): 9.8845
CPU usage (%): 303.095
Max. virtual memory (cumulated for all children) (KiB): 2584540

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3930.64
system time used= 9.8845
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6730442
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= 4977
involuntary context switches= 30830

runsolver used 4.31234 second user time and 12.2631 second system time

The end

Launcher Data 

Begin job on node133 at 2011-05-16 23:29:35
IDJOB=3385893
IDBENCH=83191
IDSOLVER=1871
FILE ID=node133/3385893-1305581375
RUNJOBID= node133-1305576779-5989
PBS_JOBID= 13350209
Free space on /tmp= 73392 MiB

SOLVER NAME= SArTagnan 2011-05-15 (fixed)
BENCH NAME= SAT11/crafted/skvortsov/automata-synchronization/crn_40_1521_s.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3385893-1305581375/watcher-3385893-1305581375 -o /tmp/evaluation-result-3385893-1305581375/solver-3385893-1305581375 -C 4800 -W 1300 -M 15500  SArTagnan HOME/instance-3385893-1305581375.cnf -threads=4

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

MD5SUM BENCH= 4e35cb9894b1ca841d462da2d6957cc5
RANDOM SEED=302451659

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      17446500 kB
Buffers:        301400 kB
Cached:        4178656 kB
SwapCached:       7668 kB
Active:       12292088 kB
Inactive:      2905476 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      17446500 kB
SwapTotal:    67111528 kB
SwapFree:     67056796 kB
Dirty:            4964 kB
Writeback:           0 kB
AnonPages:    10715728 kB
Mapped:          32272 kB
Slab:           197380 kB
PageTables:      45544 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 85302544 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73400 MiB
End job on node133 at 2011-05-16 23:51:17