Trace number 3266976

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SArTagnan 2011-03-24? (TO) 4800.31 1201.83

General information on the benchmark

Namecrafted/anton/SRHD-SGI/
srhd-sgi-m32-q326.25-n30-p15-s44266159.cnf
MD5SUM0906ad3a7678a4284d484fb4b8c72f61
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.414936
Satisfiable
(Un)Satisfiability was proved
Number of variables792
Number of clauses67279
Sum of the clauses size135290
Maximum clause length31
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 267249
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 530

Solver Data


Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3266976-1304123705/watcher-3266976-1304123705 -o /tmp/evaluation-result-3266976-1304123705/solver-3266976-1304123705 -C 4800 -W 1300 -M 15500 SArTagnan HOME/instance-3266976-1304123705.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: 6.87 7.82 7.96 2/174 17057
/proc/meminfo: memFree=25293196/32951124 swapFree=67111448/67111528
[pid=17057] ppid=17055 vsize=20332 CPUtime=0 cores=1,3,5,7
/proc/17057/stat : 17057 (SArTagnan) R 17055 17057 16699 0 -1 4202496 553 0 0 0 0 0 0 0 21 0 1 0 504786592 20819968 449 33554432000 4194304 4623224 140735113195920 18446744073709551615 4366247 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/17057/statm: 5083 449 297 105 0 587 0

[startup+0.0871799 s]
/proc/loadavg: 6.87 7.82 7.96 2/174 17057
/proc/meminfo: memFree=25293196/32951124 swapFree=67111448/67111528
[pid=17057] ppid=17055 vsize=253576 CPUtime=0.28 cores=1,3,5,7
/proc/17057/stat : 17057 (SArTagnan) R 17055 17057 16699 0 -1 4202496 3248 0 0 0 28 0 0 0 22 0 4 0 504786592 259661824 2594 33554432000 4194304 4623224 140735113195920 18446744073709551615 4366247 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17057/statm: 63394 2594 344 105 0 58898 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 253576

[startup+0.100172 s]
/proc/loadavg: 6.87 7.82 7.96 2/174 17057
/proc/meminfo: memFree=25293196/32951124 swapFree=67111448/67111528
[pid=17057] ppid=17055 vsize=254088 CPUtime=0.33 cores=1,3,5,7
/proc/17057/stat : 17057 (SArTagnan) R 17055 17057 16699 0 -1 4202496 3440 0 0 0 33 0 0 0 22 0 4 0 504786592 260186112 2786 33554432000 4194304 4623224 140735113195920 18446744073709551615 4510164 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17057/statm: 63522 2786 344 105 0 59026 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 254088

[startup+0.30014 s]
/proc/loadavg: 6.87 7.82 7.96 2/174 17057
/proc/meminfo: memFree=25293196/32951124 swapFree=67111448/67111528
[pid=17057] ppid=17055 vsize=258988 CPUtime=1.13 cores=1,3,5,7
/proc/17057/stat : 17057 (SArTagnan) R 17055 17057 16699 0 -1 4202496 5479 0 0 0 113 0 0 0 22 0 4 0 504786592 265203712 4575 33554432000 4194304 4623224 140735113195920 18446744073709551615 4509453 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17057/statm: 64747 4575 347 105 0 60251 0
Current children cumulated CPU time (s) 1.13
Current children cumulated vsize (KiB) 258988

[startup+0.701072 s]
/proc/loadavg: 6.87 7.82 7.96 2/174 17057
/proc/meminfo: memFree=25293196/32951124 swapFree=67111448/67111528
[pid=17057] ppid=17055 vsize=262724 CPUtime=2.73 cores=1,3,5,7
/proc/17057/stat : 17057 (SArTagnan) R 17055 17057 16699 0 -1 4202496 8612 0 0 0 272 1 0 0 25 0 4 0 504786592 269029376 6772 33554432000 4194304 4623224 140735113195920 18446744073709551615 4360115 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17057/statm: 65681 6772 345 105 0 61185 0
Current children cumulated CPU time (s) 2.73
Current children cumulated vsize (KiB) 262724

[startup+1.50093 s]
/proc/loadavg: 6.87 7.82 7.96 9/184 17070
/proc/meminfo: memFree=25216988/32951124 swapFree=67111448/67111528
[pid=17057] ppid=17055 vsize=269772 CPUtime=5.93 cores=1,3,5,7
/proc/17057/stat : 17057 (SArTagnan) R 17055 17057 16699 0 -1 4202496 13783 0 0 0 591 2 0 0 25 0 4 0 504786592 276246528 9756 33554432000 4194304 4623224 140735113195920 18446744073709551615 4510949 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17057/statm: 67443 9756 345 105 0 62947 0
[pid=17057/tid=17059] ppid=17055 vsize=269772 CPUtime=1.47 cores=1,3,5,7
/proc/17057/task/17059/stat : 17059 (SArTagnan) R 17055 17057 16699 0 -1 4202560 3294 0 0 0 147 0 0 0 25 0 4 0 504786594 276246528 9756 33554432000 4194304 4623224 140735113195920 18446744073709551615 4376612 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17057/tid=17060] ppid=17055 vsize=269772 CPUtime=1.47 cores=1,3,5,7
/proc/17057/task/17060/stat : 17060 (SArTagnan) R 17055 17057 16699 0 -1 4202560 3780 0 0 0 146 1 0 0 25 0 4 0 504786594 276246528 9756 33554432000 4194304 4623224 140735113195920 18446744073709551615 4376875 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17057/tid=17061] ppid=17055 vsize=269772 CPUtime=1.47 cores=1,3,5,7
/proc/17057/task/17061/stat : 17061 (SArTagnan) R 17055 17057 16699 0 -1 4202560 1614 0 0 0 147 0 0 0 25 0 4 0 504786594 276246528 9756 33554432000 4194304 4623224 140735113195920 18446744073709551615 4376790 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.93
Current children cumulated vsize (KiB) 269772

[startup+3.10065 s]
/proc/loadavg: 6.87 7.82 7.96 9/184 17070
/proc/meminfo: memFree=25183508/32951124 swapFree=67111448/67111528
[pid=17057] ppid=17055 vsize=280928 CPUtime=12.32 cores=1,3,5,7
/proc/17057/stat : 17057 (SArTagnan) R 17055 17057 16699 0 -1 4202496 27488 0 0 0 1227 5 0 0 25 0 4 0 504786592 287670272 14423 33554432000 4194304 4623224 140735113195920 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17057/statm: 70232 14423 344 105 0 65736 0
[pid=17057/tid=17059] ppid=17055 vsize=280928 CPUtime=3.06 cores=1,3,5,7
/proc/17057/task/17059/stat : 17059 (SArTagnan) R 17055 17057 16699 0 -1 4202560 6610 0 0 0 305 1 0 0 25 0 4 0 504786594 287670272 14423 33554432000 4194304 4623224 140735113195920 18446744073709551615 4377576 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17057/tid=17060] ppid=17055 vsize=280928 CPUtime=3.07 cores=1,3,5,7
/proc/17057/task/17060/stat : 17060 (SArTagnan) R 17055 17057 16699 0 -1 4202560 5969 0 0 0 306 1 0 0 25 0 4 0 504786594 287670272 14423 33554432000 4194304 4623224 140735113195920 18446744073709551615 4376892 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17057/tid=17061] ppid=17055 vsize=280928 CPUtime=3.07 cores=1,3,5,7
/proc/17057/task/17061/stat : 17061 (SArTagnan) R 17055 17057 16699 0 -1 4202560 8320 0 0 0 306 1 0 0 25 0 4 0 504786594 287670272 14423 33554432000 4194304 4623224 140735113195920 18446744073709551615 4376869 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.32
Current children cumulated vsize (KiB) 280928

[startup+6.30109 s]
/proc/loadavg: 7.04 7.84 7.97 9/184 17070
/proc/meminfo: memFree=25111240/32951124 swapFree=67111448/67111528
[pid=17057] ppid=17055 vsize=296768 CPUtime=25.1 cores=1,3,5,7
/proc/17057/stat : 17057 (SArTagnan) R 17055 17057 16699 0 -1 4202496 41296 0 0 0 2503 7 0 0 25 0 4 0 504786592 303890432 20709 33554432000 4194304 4623224 140735113195920 18446744073709551615 4511029 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17057/statm: 74192 20732 346 105 0 69696 0
[pid=17057/tid=17059] ppid=17055 vsize=296768 CPUtime=6.24 cores=1,3,5,7
/proc/17057/task/17059/stat : 17059 (SArTagnan) R 17055 17057 16699 0 -1 4202560 9198 0 0 0 623 1 0 0 25 0 4 0 504786594 303890432 20732 33554432000 4194304 4623224 140735113195920 18446744073709551615 4376612 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17057/tid=17060] ppid=17055 vsize=296768 CPUtime=6.27 cores=1,3,5,7
/proc/17057/task/17060/stat : 17060 (SArTagnan) R 17055 17057 16699 0 -1 4202560 9333 0 0 0 625 2 0 0 25 0 4 0 504786594 303890432 20732 33554432000 4194304 4623224 140735113195920 18446744073709551615 4478518 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17057/tid=17061] ppid=17055 vsize=296768 CPUtime=6.27 cores=1,3,5,7
/proc/17057/task/17061/stat : 17061 (SArTagnan) R 17055 17057 16699 0 -1 4202560 13804 0 0 0 625 2 0 0 25 0 4 0 504786594 303890432 20732 33554432000 4194304 4623224 140735113195920 18446744073709551615 4366247 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 296768

[startup+12.701 s]
/proc/loadavg: 7.12 7.84 7.97 9/184 17071
/proc/meminfo: memFree=25032184/32951124 swapFree=67111448/67111528
[pid=17057] ppid=17055 vsize=310744 CPUtime=50.66 cores=1,3,5,7
/proc/17057/stat : 17057 (SArTagnan) R 17055 17057 16699 0 -1 4202496 81215 0 0 0 5052 14 0 0 25 0 4 0 504786592 318201856 29080 33554432000 4194304 4623224 140735113195920 18446744073709551615 4507307 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17057/statm: 77686 29080 375 105 0 73190 0
[pid=17057/tid=17059] ppid=17055 vsize=310744 CPUtime=12.6 cores=1,3,5,7
/proc/17057/task/17059/stat : 17059 (SArTagnan) R 17055 17057 16699 0 -1 4202560 13533 0 0 0 1258 2 0 0 25 0 4 0 504786594 318201856 29080 33554432000 4194304 4623224 140735113195920 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17057/tid=17060] ppid=17055 vsize=310744 CPUtime=12.67 cores=1,3,5,7
/proc/17057/task/17060/stat : 17060 (SArTagnan) R 17055 17057 16699 0 -1 4202560 13830 0 0 0 1264 3 0 0 25 0 4 0 504786594 318201856 29080 33554432000 4194304 4623224 140735113195920 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17057/tid=17061] ppid=17055 vsize=310744 CPUtime=12.67 cores=1,3,5,7
/proc/17057/task/17061/stat : 17061 (SArTagnan) R 17055 17057 16699 0 -1 4202560 44269 0 0 0 1260 7 0 0 25 0 4 0 504786594 318201856 29080 33554432000 4194304 4623224 140735113195920 18446744073709551615 255106812263 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 310744

[startup+25.5007 s]
/proc/loadavg: 7.31 7.85 7.97 9/184 17071
/proc/meminfo: memFree=24909672/32951124 swapFree=67111448/67111528
[pid=17057] ppid=17055 vsize=337700 CPUtime=101.8 cores=1,3,5,7
/proc/17057/stat : 17057 (SArTagnan) R 17055 17057 16699 0 -1 4202496 205434 0 0 0 10142 38 0 0 25 0 4 0 504786592 345804800 39661 33554432000 4194304 4623224 140735113195920 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17057/statm: 84425 39661 350 105 0 79929 0
[pid=17057/tid=17059] ppid=17055 vsize=337700 CPUtime=25.33 cores=1,3,5,7
/proc/17057/task/17059/stat : 17059 (SArTagnan) R 17055 17057 16699 0 -1 4202560 20749 0 0 0 2528 5 0 0 25 0 4 0 504786594 345804800 39661 33554432000 4194304 4623224 140735113195920 18446744073709551615 4289726 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17057/tid=17060] ppid=17055 vsize=337700 CPUtime=25.47 cores=1,3,5,7
/proc/17057/task/17060/stat : 17060 (SArTagnan) R 17055 17057 16699 0 -1 4202560 20656 0 0 0 2543 4 0 0 25 0 4 0 504786594 345804800 39661 33554432000 4194304 4623224 140735113195920 18446744073709551615 4376880 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17057/tid=17061] ppid=17055 vsize=337700 CPUtime=25.47 cores=1,3,5,7
/proc/17057/task/17061/stat : 17061 (SArTagnan) R 17055 17057 16699 0 -1 4202560 151810 0 0 0 2522 25 0 0 25 0 4 0 504786594 345804800 39661 33554432000 4194304 4623224 140735113195920 18446744073709551615 4364911 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.8
Current children cumulated vsize (KiB) 337700

[startup+51.1012 s]
/proc/loadavg: 7.55 7.86 7.97 9/184 17072
/proc/meminfo: memFree=24672700/32951124 swapFree=67111448/67111528
[pid=17057] ppid=17055 vsize=478380 CPUtime=204.06 cores=1,3,5,7
/proc/17057/stat : 17057 (SArTagnan) R 17055 17057 16699 0 -1 4202496 362242 0 0 0 20341 65 0 0 25 0 4 0 504786592 489861120 66185 33554432000 4194304 4623224 140735113195920 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17057/statm: 119595 66185 592 105 0 115099 0
[pid=17057/tid=17059] ppid=17055 vsize=478380 CPUtime=50.79 cores=1,3,5,7
/proc/17057/task/17059/stat : 17059 (SArTagnan) R 17055 17057 16699 0 -1 4202560 39754 0 0 0 5069 10 0 0 25 0 4 0 504786594 489861120 66185 33554432000 4194304 4623224 140735113195920 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17057/tid=17060] ppid=17055 vsize=478380 CPUtime=51.07 cores=1,3,5,7
/proc/17057/task/17060/stat : 17060 (SArTagnan) R 17055 17057 16699 0 -1 4202560 40047 0 0 0 5099 8 0 0 25 0 4 0 504786594 489861120 66185 33554432000 4194304 4623224 140735113195920 18446744073709551615 4289775 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17057/tid=17061] ppid=17055 vsize=478380 CPUtime=51.07 cores=1,3,5,7
/proc/17057/task/17061/stat : 17061 (SArTagnan) R 17055 17057 16699 0 -1 4202560 257956 0 0 0 5066 41 0 0 25 0 4 0 504786594 489861120 66185 33554432000 4194304 4623224 140735113195920 18446744073709551615 4364232 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 204.06
Current children cumulated vsize (KiB) 478380

[startup+102.306 s]
/proc/loadavg: 7.89 7.91 7.98 9/184 17073
/proc/meminfo: memFree=24294248/32951124 swapFree=67111448/67111528
[pid=17057] ppid=17055 vsize=548324 CPUtime=408.59 cores=1,3,5,7
/proc/17057/stat : 17057 (SArTagnan) R 17055 17057 16699 0 -1 4202496 527152 0 0 0 40759 100 0 0 25 0 4 0 504786592 561483776 94699 33554432000 4194304 4623224 140735113195920 18446744073709551615 4510090 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17057/statm: 137081 94699 394 105 0 132585 0
[pid=17057/tid=17059] ppid=17055 vsize=548324 CPUtime=101.71 cores=1,3,5,7
/proc/17057/task/17059/stat : 17059 (SArTagnan) R 17055 17057 16699 0 -1 4202560 45007 0 0 0 10158 13 0 0 25 0 4 0 504786594 561483776 94699 33554432000 4194304 4623224 140735113195920 18446744073709551615 4376643 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17057/tid=17060] ppid=17055 vsize=548324 CPUtime=102.28 cores=1,3,5,7
/proc/17057/task/17060/stat : 17060 (SArTagnan) R 17055 17057 16699 0 -1 4202560 58642 0 0 0 10212 16 0 0 25 0 4 0 504786594 561483776 94699 33554432000 4194304 4623224 140735113195920 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17057/tid=17061] ppid=17055 vsize=548324 CPUtime=102.27 cores=1,3,5,7
/proc/17057/task/17061/stat : 17061 (SArTagnan) R 17055 17057 16699 0 -1 4202560 369032 0 0 0 10167 60 0 0 25 0 4 0 504786594 561483776 94699 33554432000 4194304 4623224 140735113195920 18446744073709551615 4364911 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.59
Current children cumulated vsize (KiB) 548324

[startup+162.301 s]
/proc/loadavg: 7.99 7.94 7.98 9/184 17075
/proc/meminfo: memFree=23877456/32951124 swapFree=67111448/67111528
[pid=17057] ppid=17055 vsize=713816 CPUtime=648.25 cores=1,3,5,7
/proc/17057/stat : 17057 (SArTagnan) R 17055 17057 16699 0 -1 4202496 929801 0 0 0 64649 176 0 0 25 0 4 0 504786592 730947584 131466 33554432000 4194304 4623224 140735113195920 18446744073709551615 4510090 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17057/statm: 178454 131466 423 105 0 173958 0
[pid=17057/tid=17059] ppid=17055 vsize=713816 CPUtime=161.39 cores=1,3,5,7
/proc/17057/task/17059/stat : 17059 (SArTagnan) R 17055 17057 16699 0 -1 4202560 65412 0 0 0 16118 21 0 0 25 0 4 0 504786594 730947584 131466 33554432000 4194304 4623224 140735113195920 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17057/tid=17060] ppid=17055 vsize=713816 CPUtime=162.28 cores=1,3,5,7
/proc/17057/task/17060/stat : 17060 (SArTagnan) R 17055 17057 16699 0 -1 4202560 67125 0 0 0 16207 21 0 0 25 0 4 0 504786594 730947584 131466 33554432000 4194304 4623224 140735113195920 18446744073709551615 4376880 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17057/tid=17061] ppid=17055 vsize=713816 CPUtime=162.26 cores=1,3,5,7
/proc/17057/task/17061/stat : 17061 (SArTagnan) R 17055 17057 16699 0 -1 4202560 711070 0 0 0 16109 117 0 0 25 0 4 0 504786594 730947584 131466 33554432000 4194304 4623224 140735113195920 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 648.25
Current children cumulated vsize (KiB) 713816

[startup+222.301 s]
/proc/loadavg: 8.03 7.96 7.99 9/184 17076
/proc/meminfo: memFree=23523052/32951124 swapFree=67111448/67111528
[pid=17057] ppid=17055 vsize=977468 CPUtime=887.91 cores=1,3,5,7
/proc/17057/stat : 17057 (SArTagnan) R 17055 17057 16699 0 -1 4202496 1587419 0 0 0 88513 278 0 0 25 0 4 0 504786592 1000927232 171453 33554432000 4194304 4623224 140735113195920 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17057/statm: 244367 171453 1020 105 0 239871 0
[pid=17057/tid=17059] ppid=17055 vsize=977468 CPUtime=221.06 cores=1,3,5,7
/proc/17057/task/17059/stat : 17059 (SArTagnan) R 17055 17057 16699 0 -1 4202560 86975 0 0 0 22082 24 0 0 25 0 4 0 504786594 1000927232 171453 33554432000 4194304 4623224 140735113195920 18446744073709551615 47739192197082 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17057/tid=17060] ppid=17055 vsize=977468 CPUtime=222.27 cores=1,3,5,7
/proc/17057/task/17060/stat : 17060 (SArTagnan) R 17055 17057 16699 0 -1 4202560 89066 0 0 0 22201 26 0 0 25 0 4 0 504786594 1000927232 171453 33554432000 4194304 4623224 140735113195920 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17057/tid=17061] ppid=17055 vsize=977468 CPUtime=222.26 cores=1,3,5,7
/proc/17057/task/17061/stat : 17061 (SArTagnan) R 17055 17057 16699 0 -1 4202560 1279913 0 0 0 22021 205 0 0 25 0 4 0 504786594 1000927232 171453 33554432000 4194304 4623224 140735113195920 18446744073709551615 4545376 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 887.91
Current children cumulated vsize (KiB) 977468

[startup+282.301 s]

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


[startup+702.301 s]
/proc/loadavg: 8.06 8.03 8.00 9/184 17089
/proc/meminfo: memFree=22237124/32951124 swapFree=67111448/67111528
[pid=17057] ppid=17055 vsize=1874232 CPUtime=2805.31 cores=1,3,5,7
/proc/17057/stat : 17057 (SArTagnan) R 17055 17057 16699 0 -1 4202496 4610297 0 0 0 279734 797 0 0 25 0 4 0 504786592 1919213568 346504 33554432000 4194304 4623224 140735113195920 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17057/statm: 468558 346505 344 105 0 464062 0
[pid=17057/tid=17059] ppid=17055 vsize=1874232 CPUtime=698.45 cores=1,3,5,7
/proc/17057/task/17059/stat : 17059 (SArTagnan) R 17055 17057 16699 0 -1 4202560 189088 0 0 0 69794 51 0 0 25 0 4 0 504786594 1919213568 346505 33554432000 4194304 4623224 140735113195920 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17057/tid=17060] ppid=17055 vsize=1874232 CPUtime=702.27 cores=1,3,5,7
/proc/17057/task/17060/stat : 17060 (SArTagnan) R 17055 17057 16699 0 -1 4202560 193552 0 0 0 70161 66 0 0 25 0 4 0 504786594 1919213568 346505 33554432000 4194304 4623224 140735113195920 18446744073709551615 4376946 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17057/tid=17061] ppid=17055 vsize=1874232 CPUtime=702.25 cores=1,3,5,7
/proc/17057/task/17061/stat : 17061 (SArTagnan) R 17055 17057 16699 0 -1 4202560 3743917 0 0 0 69628 597 0 0 25 0 4 0 504786594 1919213568 346505 33554432000 4194304 4623224 140735113195920 18446744073709551615 4366247 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2805.31
Current children cumulated vsize (KiB) 1874232

[startup+762.307 s]
/proc/loadavg: 8.08 8.04 8.00 9/184 17091
/proc/meminfo: memFree=22100576/32951124 swapFree=67111448/67111528
[pid=17057] ppid=17055 vsize=1946236 CPUtime=3045.02 cores=1,3,5,7
/proc/17057/stat : 17057 (SArTagnan) R 17055 17057 16699 0 -1 4202496 5083793 0 0 0 303623 879 0 0 25 0 4 0 504786592 1992945664 375616 33554432000 4194304 4623224 140735113195920 18446744073709551615 4414880 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17057/statm: 486559 375616 346 105 0 482063 0
[pid=17057/tid=17059] ppid=17055 vsize=1946236 CPUtime=758.13 cores=1,3,5,7
/proc/17057/task/17059/stat : 17059 (SArTagnan) R 17055 17057 16699 0 -1 4202560 192328 0 0 0 75760 53 0 0 25 0 4 0 504786594 1992945664 375616 33554432000 4194304 4623224 140735113195920 18446744073709551615 4376678 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17057/tid=17060] ppid=17055 vsize=1946236 CPUtime=762.28 cores=1,3,5,7
/proc/17057/task/17060/stat : 17060 (SArTagnan) R 17055 17057 16699 0 -1 4202560 196951 0 0 0 76160 68 0 0 25 0 4 0 504786594 1992945664 375616 33554432000 4194304 4623224 140735113195920 18446744073709551615 4376672 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17057/tid=17061] ppid=17055 vsize=1946236 CPUtime=762.25 cores=1,3,5,7
/proc/17057/task/17061/stat : 17061 (SArTagnan) R 17055 17057 16699 0 -1 4202560 4188410 0 0 0 75555 670 0 0 25 0 4 0 504786594 1992945664 375616 33554432000 4194304 4623224 140735113195920 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3045.02
Current children cumulated vsize (KiB) 1946236

[startup+822.301 s]
/proc/loadavg: 8.12 8.06 8.01 9/184 17092
/proc/meminfo: memFree=21922744/32951124 swapFree=67111448/67111528
[pid=17057] ppid=17055 vsize=2022216 CPUtime=3284.66 cores=1,3,5,7
/proc/17057/stat : 17057 (SArTagnan) R 17055 17057 16699 0 -1 4202496 5668921 0 0 0 327493 973 0 0 25 0 4 0 504786592 2070749184 413415 33554432000 4194304 4623224 140735113195920 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17057/statm: 505554 413415 349 105 0 501058 0
[pid=17057/tid=17059] ppid=17055 vsize=2022216 CPUtime=817.8 cores=1,3,5,7
/proc/17057/task/17059/stat : 17059 (SArTagnan) R 17055 17057 16699 0 -1 4202560 196020 0 0 0 81726 54 0 0 25 0 4 0 504786594 2070749184 413415 33554432000 4194304 4623224 140735113195920 18446744073709551615 4376757 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17057/tid=17060] ppid=17055 vsize=2022216 CPUtime=822.28 cores=1,3,5,7
/proc/17057/task/17060/stat : 17060 (SArTagnan) R 17055 17057 16699 0 -1 4202560 199658 0 0 0 82159 69 0 0 25 0 4 0 504786594 2070749184 413415 33554432000 4194304 4623224 140735113195920 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17057/tid=17061] ppid=17055 vsize=2022216 CPUtime=822.25 cores=1,3,5,7
/proc/17057/task/17061/stat : 17061 (SArTagnan) R 17055 17057 16699 0 -1 4202560 4687348 0 0 0 81477 748 0 0 25 0 4 0 504786594 2070749184 413415 33554432000 4194304 4623224 140735113195920 18446744073709551615 4364232 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3284.66
Current children cumulated vsize (KiB) 2022216

[startup+882.301 s]
/proc/loadavg: 8.04 8.04 8.00 9/184 17094
/proc/meminfo: memFree=21777884/32951124 swapFree=67111448/67111528
[pid=17057] ppid=17055 vsize=2261840 CPUtime=3524.32 cores=1,3,5,7
/proc/17057/stat : 17057 (SArTagnan) R 17055 17057 16699 0 -1 4202496 6259247 0 0 0 351366 1066 0 0 25 0 4 0 504786592 2316124160 444809 33554432000 4194304 4623224 140735113195920 18446744073709551615 4415028 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17057/statm: 565460 444809 346 105 0 560964 0
[pid=17057/tid=17059] ppid=17055 vsize=2261840 CPUtime=877.46 cores=1,3,5,7
/proc/17057/task/17059/stat : 17059 (SArTagnan) R 17055 17057 16699 0 -1 4202560 199681 0 0 0 87690 56 0 0 25 0 4 0 504786594 2316124160 444809 33554432000 4194304 4623224 140735113195920 18446744073709551615 4376869 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17057/tid=17060] ppid=17055 vsize=2261840 CPUtime=882.28 cores=1,3,5,7
/proc/17057/task/17060/stat : 17060 (SArTagnan) R 17055 17057 16699 0 -1 4202560 202027 0 0 0 88158 70 0 0 25 0 4 0 504786594 2316124160 444809 33554432000 4194304 4623224 140735113195920 18446744073709551615 4376652 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17057/tid=17061] ppid=17055 vsize=2261840 CPUtime=882.25 cores=1,3,5,7
/proc/17057/task/17061/stat : 17061 (SArTagnan) R 17055 17057 16699 0 -1 4202560 5106514 0 0 0 87410 815 0 0 25 0 4 0 504786594 2316124160 444809 33554432000 4194304 4623224 140735113195920 18446744073709551615 4363742 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3524.32
Current children cumulated vsize (KiB) 2261840

[startup+942.3 s]
/proc/loadavg: 8.05 8.05 8.00 9/184 17096
/proc/meminfo: memFree=21714496/32951124 swapFree=67111448/67111528
[pid=17057] ppid=17055 vsize=2327376 CPUtime=3764 cores=1,3,5,7
/proc/17057/stat : 17057 (SArTagnan) R 17055 17057 16699 0 -1 4202496 6751610 0 0 0 375250 1150 0 0 25 0 4 0 504786592 2383233024 455078 33554432000 4194304 4623224 140735113195920 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17057/statm: 581844 455078 344 105 0 577348 0
[pid=17057/tid=17059] ppid=17055 vsize=2327376 CPUtime=937.13 cores=1,3,5,7
/proc/17057/task/17059/stat : 17059 (SArTagnan) R 17055 17057 16699 0 -1 4202560 202542 0 0 0 93654 59 0 0 25 0 4 0 504786594 2383233024 455078 33554432000 4194304 4623224 140735113195920 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17057/tid=17060] ppid=17055 vsize=2327376 CPUtime=942.28 cores=1,3,5,7
/proc/17057/task/17060/stat : 17060 (SArTagnan) R 17055 17057 16699 0 -1 4202560 204387 0 0 0 94156 72 0 0 25 0 4 0 504786594 2383233024 455078 33554432000 4194304 4623224 140735113195920 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17057/tid=17061] ppid=17055 vsize=2327376 CPUtime=942.25 cores=1,3,5,7
/proc/17057/task/17061/stat : 17061 (SArTagnan) R 17055 17057 16699 0 -1 4202560 5590101 0 0 0 93332 893 0 0 25 0 4 0 504786594 2383233024 455078 33554432000 4194304 4623224 140735113195920 18446744073709551615 4331128 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3764
Current children cumulated vsize (KiB) 2327376

[startup+1002.3 s]
/proc/loadavg: 8.05 8.05 8.00 9/184 17097
/proc/meminfo: memFree=21566416/32951124 swapFree=67111448/67111528
[pid=17057] ppid=17055 vsize=2375416 CPUtime=4003.67 cores=1,3,5,7
/proc/17057/stat : 17057 (SArTagnan) R 17055 17057 16699 0 -1 4202496 7259471 0 0 0 399128 1239 0 0 25 0 4 0 504786592 2432425984 487216 33554432000 4194304 4623224 140735113195920 18446744073709551615 4510353 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17057/statm: 593854 487216 344 105 0 589358 0
[pid=17057/tid=17059] ppid=17055 vsize=2375416 CPUtime=996.81 cores=1,3,5,7
/proc/17057/task/17059/stat : 17059 (SArTagnan) R 17055 17057 16699 0 -1 4202560 206015 0 0 0 99616 65 0 0 25 0 4 0 504786594 2432425984 487216 33554432000 4194304 4623224 140735113195920 18446744073709551615 4376869 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17057/tid=17060] ppid=17055 vsize=2375416 CPUtime=1002.28 cores=1,3,5,7
/proc/17057/task/17060/stat : 17060 (SArTagnan) R 17055 17057 16699 0 -1 4202560 207379 0 0 0 100153 75 0 0 25 0 4 0 504786594 2432425984 487216 33554432000 4194304 4623224 140735113195920 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17057/tid=17061] ppid=17055 vsize=2375416 CPUtime=1002.25 cores=1,3,5,7
/proc/17057/task/17061/stat : 17061 (SArTagnan) R 17055 17057 16699 0 -1 4202560 6069935 0 0 0 99256 969 0 0 25 0 4 0 504786594 2432425984 487216 33554432000 4194304 4623224 140735113195920 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4003.67
Current children cumulated vsize (KiB) 2375416

[startup+1062.3 s]
/proc/loadavg: 8.06 8.05 8.00 9/184 17099
/proc/meminfo: memFree=21230104/32951124 swapFree=67111448/67111528
[pid=17057] ppid=17055 vsize=2903704 CPUtime=4243.31 cores=1,3,5,7
/proc/17057/stat : 17057 (SArTagnan) R 17055 17057 16699 0 -1 4202496 7562814 0 0 0 423042 1289 0 0 25 0 4 0 504786592 2973392896 566484 33554432000 4194304 4623224 140735113195920 18446744073709551615 4510090 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17057/statm: 725926 566484 344 105 0 721430 0
[pid=17057/tid=17059] ppid=17055 vsize=2903704 CPUtime=1056.46 cores=1,3,5,7
/proc/17057/task/17059/stat : 17059 (SArTagnan) R 17055 17057 16699 0 -1 4202560 211314 0 0 0 105578 68 0 0 25 0 4 0 504786594 2973392896 566484 33554432000 4194304 4623224 140735113195920 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17057/tid=17060] ppid=17055 vsize=2903704 CPUtime=1062.28 cores=1,3,5,7
/proc/17057/task/17060/stat : 17060 (SArTagnan) R 17055 17057 16699 0 -1 4202560 210568 0 0 0 106149 79 0 0 25 0 4 0 504786594 2973392896 566484 33554432000 4194304 4623224 140735113195920 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17057/tid=17061] ppid=17055 vsize=2903704 CPUtime=1062.25 cores=1,3,5,7
/proc/17057/task/17061/stat : 17061 (SArTagnan) R 17055 17057 16699 0 -1 4202560 6120733 0 0 0 105247 978 0 0 25 0 4 0 504786594 2973392896 566484 33554432000 4194304 4623224 140735113195920 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4243.31
Current children cumulated vsize (KiB) 2903704

[startup+1122.3 s]
/proc/loadavg: 8.05 8.06 8.00 9/184 17100
/proc/meminfo: memFree=20974144/32951124 swapFree=67111448/67111528
[pid=17057] ppid=17055 vsize=3147300 CPUtime=4482.98 cores=1,3,5,7
/proc/17057/stat : 17057 (SArTagnan) R 17055 17057 16699 0 -1 4202496 7720928 0 0 0 446976 1322 0 0 25 0 4 0 504786592 3222835200 624266 33554432000 4194304 4623224 140735113195920 18446744073709551615 4511014 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17057/statm: 786825 624266 344 105 0 782329 0
[pid=17057/tid=17059] ppid=17055 vsize=3147300 CPUtime=1116.13 cores=1,3,5,7
/proc/17057/task/17059/stat : 17059 (SArTagnan) R 17055 17057 16699 0 -1 4202560 277708 0 0 0 111535 78 0 0 25 0 4 0 504786594 3222835200 624266 33554432000 4194304 4623224 140735113195920 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17057/tid=17060] ppid=17055 vsize=3147300 CPUtime=1122.27 cores=1,3,5,7
/proc/17057/task/17060/stat : 17060 (SArTagnan) R 17055 17057 16699 0 -1 4202560 213718 0 0 0 112143 84 0 0 25 0 4 0 504786594 3222835200 624266 33554432000 4194304 4623224 140735113195920 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17057/tid=17061] ppid=17055 vsize=3147300 CPUtime=1122.24 cores=1,3,5,7
/proc/17057/task/17061/stat : 17061 (SArTagnan) R 17055 17057 16699 0 -1 4202560 6122619 0 0 0 111246 978 0 0 25 0 4 0 504786594 3222835200 624266 33554432000 4194304 4623224 140735113195920 18446744073709551615 4545376 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4482.98
Current children cumulated vsize (KiB) 3147300

[startup+1182.3 s]
/proc/loadavg: 8.02 8.04 8.00 9/184 17102
/proc/meminfo: memFree=20860044/32951124 swapFree=67111448/67111528
[pid=17057] ppid=17055 vsize=3153076 CPUtime=4722.65 cores=1,3,5,7
/proc/17057/stat : 17057 (SArTagnan) R 17055 17057 16699 0 -1 4202496 7750876 0 0 0 470930 1335 0 0 25 0 4 0 504786592 3228749824 646742 33554432000 4194304 4623224 140735113195920 18446744073709551615 4510090 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17057/statm: 788269 646742 344 105 0 783773 0
[pid=17057/tid=17059] ppid=17055 vsize=3153076 CPUtime=1175.81 cores=1,3,5,7
/proc/17057/task/17059/stat : 17059 (SArTagnan) R 17055 17057 16699 0 -1 4202560 279469 0 0 0 117500 81 0 0 25 0 4 0 504786594 3228749824 646742 33554432000 4194304 4623224 140735113195920 18446744073709551615 4357641 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17057/tid=17060] ppid=17055 vsize=3153076 CPUtime=1182.27 cores=1,3,5,7
/proc/17057/task/17060/stat : 17060 (SArTagnan) R 17055 17057 16699 0 -1 4202560 217107 0 0 0 118139 88 0 0 25 0 4 0 504786594 3228749824 646742 33554432000 4194304 4623224 140735113195920 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17057/tid=17061] ppid=17055 vsize=3153076 CPUtime=1182.24 cores=1,3,5,7
/proc/17057/task/17061/stat : 17061 (SArTagnan) R 17055 17057 16699 0 -1 4202560 6124594 0 0 0 117245 979 0 0 25 0 4 0 504786594 3228749824 646742 33554432000 4194304 4623224 140735113195920 18446744073709551615 4545376 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4722.65
Current children cumulated vsize (KiB) 3153076



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.01 8.04 8.00 9/184 17102
/proc/meminfo: memFree=20743732/32951124 swapFree=67111448/67111528
[pid=17057] ppid=17055 vsize=3290136 CPUtime=4800.16 cores=1,3,5,7
/proc/17057/stat : 17057 (SArTagnan) R 17055 17057 16699 0 -1 4202496 7791864 0 0 0 478674 1342 0 0 25 0 4 0 504786592 3369099264 672775 33554432000 4194304 4623224 140735113195920 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17057/statm: 822534 672775 344 105 0 818038 0
[pid=17057/tid=17059] ppid=17055 vsize=3290136 CPUtime=1195.1 cores=1,3,5,7
/proc/17057/task/17059/stat : 17059 (SArTagnan) R 17055 17057 16699 0 -1 4202560 279477 0 0 0 119429 81 0 0 25 0 4 0 504786594 3369099264 672775 33554432000 4194304 4623224 140735113195920 18446744073709551615 4486238 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17057/tid=17060] ppid=17055 vsize=3290136 CPUtime=1201.68 cores=1,3,5,7
/proc/17057/task/17060/stat : 17060 (SArTagnan) R 17055 17057 16699 0 -1 4202560 217666 0 0 0 120079 89 0 0 25 0 4 0 504786594 3369099264 672775 33554432000 4194304 4623224 140735113195920 18446744073709551615 4377144 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17057/tid=17061] ppid=17055 vsize=3290136 CPUtime=1201.64 cores=1,3,5,7
/proc/17057/task/17061/stat : 17061 (SArTagnan) R 17055 17057 16699 0 -1 4202560 6125813 0 0 0 119185 979 0 0 25 0 4 0 504786594 3369099264 672775 33554432000 4194304 4623224 140735113195920 18446744073709551615 4364232 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.16
Current children cumulated vsize (KiB) 3290136

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

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

[startup+1201.81 s]
/proc/loadavg: 8.01 8.04 8.00 9/184 17102
/proc/meminfo: memFree=20743732/32951124 swapFree=67111448/67111528
[pid=17057] ppid=17055 vsize=0 CPUtime=4800.28 cores=1,3,5,7
/proc/17057/stat : 17057 (SArTagnan) Z 17055 17057 16699 0 -1 4203548 7791864 0 0 0 478676 1352 0 0 25 0 2 0 504786592 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17057/statm: 0 0 0 0 0 0 0
[pid=17057/tid=17059] ppid=17055 vsize=0 CPUtime=1195.2 cores=1,3,5,7
/proc/17057/task/17059/stat : 17059 (SArTagnan) R 17055 17057 16699 0 -1 4203588 279477 0 0 0 119429 91 0 0 25 0 2 0 504786594 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.28
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.83
CPU time (s): 4800.31
CPU user time (s): 4786.77
CPU system time (s): 13.5459
CPU usage (%): 399.417
Max. virtual memory (cumulated for all children) (KiB): 3522476

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4786.77
system time used= 13.5459
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7791864
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= 1422
involuntary context switches= 19027

runsolver used 1.62075 second user time and 4.94425 second system time

The end

Launcher Data 

Begin job on node144 at 2011-04-30 02:35:05
IDJOB=3266976
IDBENCH=88224
IDSOLVER=1656
FILE ID=node144/3266976-1304123705
RUNJOBID= node144-1304123705-17044
PBS_JOBID= 13170730
Free space on /tmp= 72408 MiB

SOLVER NAME= SArTagnan 2011-03-24
BENCH NAME= SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m32-q326.25-n30-p15-s44266159.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3266976-1304123705/watcher-3266976-1304123705 -o /tmp/evaluation-result-3266976-1304123705/solver-3266976-1304123705 -C 4800 -W 1300 -M 15500  SArTagnan HOME/instance-3266976-1304123705.cnf -threads=4

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

MD5SUM BENCH= 0906ad3a7678a4284d484fb4b8c72f61
RANDOM SEED=1545282364

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      25293228 kB
Buffers:       2109844 kB
Cached:        4936904 kB
SwapCached:         80 kB
Active:         166332 kB
Inactive:      6947676 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25293228 kB
SwapTotal:    67111528 kB
SwapFree:     67111448 kB
Dirty:            2020 kB
Writeback:           0 kB
AnonPages:       66628 kB
Mapped:          14476 kB
Slab:           480368 kB
PageTables:       4724 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   189804 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= 72404 MiB
End job on node144 at 2011-04-30 02:55:08