Trace number 3251574

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.38 1201.96

General information on the benchmark

Namecrafted/anton/SRHD-SGI/
srhd-sgi-m52-q1041.25-n50-p15-s99099953.cnf
MD5SUMdda220d08783aabf4e7a9e99eeeccae6
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 variables2444
Number of clauses498568
Sum of the clauses size999480
Maximum clause length52
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2498518
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 550

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-3251574-1304123904/watcher-3251574-1304123904 -o /tmp/evaluation-result-3251574-1304123904/solver-3251574-1304123904 -C 4800 -W 1300 -M 15500 SArTagnan HOME/instance-3251574-1304123904.cnf -threads=4 

running on 4 cores: 0,2,4,6

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: 3.73 6.33 7.31 5/180 20486
/proc/meminfo: memFree=27881708/32950928 swapFree=67111356/67111528
[pid=20486] ppid=20484 vsize=30688 CPUtime=0 cores=0,2,4,6
/proc/20486/stat : 20486 (SArTagnan) R 20484 20486 20055 0 -1 4202496 598 0 0 0 0 0 0 0 21 0 1 0 523990118 31424512 501 33554432000 4194304 4623224 140735994950480 18446744073709551615 208080232192 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/20486/statm: 7672 502 297 105 0 3176 0

[startup+0.0471879 s]
/proc/loadavg: 3.73 6.33 7.31 5/180 20486
/proc/meminfo: memFree=27881708/32950928 swapFree=67111356/67111528
[pid=20486] ppid=20484 vsize=33932 CPUtime=0.04 cores=0,2,4,6
/proc/20486/stat : 20486 (SArTagnan) R 20484 20486 20055 0 -1 4202496 2791 0 0 0 4 0 0 0 21 0 1 0 523990118 34746368 1070 33554432000 4194304 4623224 140735994950480 18446744073709551615 4366247 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/20486/statm: 8483 1070 297 105 0 3987 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 33932

[startup+0.10018 s]
/proc/loadavg: 3.73 6.33 7.31 5/180 20486
/proc/meminfo: memFree=27881708/32950928 swapFree=67111356/67111528
[pid=20486] ppid=20484 vsize=38244 CPUtime=0.09 cores=0,2,4,6
/proc/20486/stat : 20486 (SArTagnan) R 20484 20486 20055 0 -1 4202496 5631 0 0 0 8 1 0 0 21 0 1 0 523990118 39161856 1755 33554432000 4194304 4623224 140735994950480 18446744073709551615 4367376 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/20486/statm: 9561 1755 297 105 0 5065 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 38244

[startup+0.300142 s]
/proc/loadavg: 3.73 6.33 7.31 5/180 20486
/proc/meminfo: memFree=27881708/32950928 swapFree=67111356/67111528
[pid=20486] ppid=20484 vsize=312212 CPUtime=0.8 cores=0,2,4,6
/proc/20486/stat : 20486 (SArTagnan) R 20484 20486 20055 0 -1 4202496 25826 0 0 0 77 3 0 0 23 0 4 0 523990118 319705088 15562 33554432000 4194304 4623224 140735994950480 18446744073709551615 4413922 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20486/statm: 78053 15563 335 105 0 73557 0
Current children cumulated CPU time (s) 0.8
Current children cumulated vsize (KiB) 312212

[startup+0.701067 s]
/proc/loadavg: 3.73 6.33 7.31 5/180 20486
/proc/meminfo: memFree=27881708/32950928 swapFree=67111356/67111528
[pid=20486] ppid=20484 vsize=314604 CPUtime=2.41 cores=0,2,4,6
/proc/20486/stat : 20486 (SArTagnan) R 20484 20486 20055 0 -1 4202496 29220 0 0 0 237 4 0 0 25 0 4 0 523990118 322154496 18758 33554432000 4194304 4623224 140735994950480 18446744073709551615 4510214 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20486/statm: 78651 18758 349 105 0 74155 0
Current children cumulated CPU time (s) 2.41
Current children cumulated vsize (KiB) 314604

[startup+1.50092 s]
/proc/loadavg: 3.73 6.33 7.31 9/184 20490
/proc/meminfo: memFree=27771444/32950928 swapFree=67111356/67111528
[pid=20486] ppid=20484 vsize=322168 CPUtime=5.6 cores=0,2,4,6
/proc/20486/stat : 20486 (SArTagnan) R 20484 20486 20055 0 -1 4202496 34661 0 0 0 555 5 0 0 25 0 4 0 523990118 329900032 23899 33554432000 4194304 4623224 140735994950480 18446744073709551615 4510192 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20486/statm: 80542 23899 359 105 0 76046 0
[pid=20486/tid=20488] ppid=20484 vsize=322168 CPUtime=1.36 cores=0,2,4,6
/proc/20486/task/20488/stat : 20488 (SArTagnan) R 20484 20486 20055 0 -1 4202560 3253 0 0 0 136 0 0 0 25 0 4 0 523990130 329900032 23899 33554432000 4194304 4623224 140735994950480 18446744073709551615 4376625 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20486/tid=20489] ppid=20484 vsize=322168 CPUtime=1.37 cores=0,2,4,6
/proc/20486/task/20489/stat : 20489 (SArTagnan) R 20484 20486 20055 0 -1 4202560 5133 0 0 0 136 1 0 0 19 0 4 0 523990130 329900032 23899 33554432000 4194304 4623224 140735994950480 18446744073709551615 4378161 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20486/tid=20490] ppid=20484 vsize=322168 CPUtime=1.36 cores=0,2,4,6
/proc/20486/task/20490/stat : 20490 (SArTagnan) R 20484 20486 20055 0 -1 4202560 792 0 0 0 136 0 0 0 25 0 4 0 523990130 329900032 23899 33554432000 4194304 4623224 140735994950480 18446744073709551615 4363853 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.6
Current children cumulated vsize (KiB) 322168

[startup+3.10061 s]
/proc/loadavg: 3.73 6.33 7.31 9/184 20490
/proc/meminfo: memFree=27733496/32950928 swapFree=67111356/67111528
[pid=20486] ppid=20484 vsize=328752 CPUtime=11.99 cores=0,2,4,6
/proc/20486/stat : 20486 (SArTagnan) R 20484 20486 20055 0 -1 4202496 44838 0 0 0 1192 7 0 0 25 0 4 0 523990118 336642048 31880 33554432000 4194304 4623224 140735994950480 18446744073709551615 4510142 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20486/statm: 82188 31880 366 105 0 77692 0
[pid=20486/tid=20488] ppid=20484 vsize=328752 CPUtime=2.96 cores=0,2,4,6
/proc/20486/task/20488/stat : 20488 (SArTagnan) R 20484 20486 20055 0 -1 4202560 5040 0 0 0 296 0 0 0 25 0 4 0 523990130 336642048 31880 33554432000 4194304 4623224 140735994950480 18446744073709551615 4462478 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20486/tid=20489] ppid=20484 vsize=328752 CPUtime=2.97 cores=0,2,4,6
/proc/20486/task/20489/stat : 20489 (SArTagnan) R 20484 20486 20055 0 -1 4202560 9470 0 0 0 295 2 0 0 25 0 4 0 523990130 336642048 31880 33554432000 4194304 4623224 140735994950480 18446744073709551615 208079893537 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20486/tid=20490] ppid=20484 vsize=328752 CPUtime=2.95 cores=0,2,4,6
/proc/20486/task/20490/stat : 20490 (SArTagnan) R 20484 20486 20055 0 -1 4202560 3798 0 0 0 295 0 0 0 25 0 4 0 523990130 336642048 31880 33554432000 4194304 4623224 140735994950480 18446744073709551615 4289757 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 11.99
Current children cumulated vsize (KiB) 328752

[startup+6.301 s]
/proc/loadavg: 4.07 6.35 7.31 9/184 20490
/proc/meminfo: memFree=27625156/32950928 swapFree=67111356/67111528
[pid=20486] ppid=20484 vsize=361740 CPUtime=24.78 cores=0,2,4,6
/proc/20486/stat : 20486 (SArTagnan) R 20484 20486 20055 0 -1 4202496 67715 0 0 0 2466 12 0 0 25 0 4 0 523990118 370421760 50449 33554432000 4194304 4623224 140735994950480 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20486/statm: 90435 50449 398 105 0 85939 0
[pid=20486/tid=20488] ppid=20484 vsize=361740 CPUtime=6.16 cores=0,2,4,6
/proc/20486/task/20488/stat : 20488 (SArTagnan) R 20484 20486 20055 0 -1 4202560 10483 0 0 0 615 1 0 0 25 0 4 0 523990130 370421760 50449 33554432000 4194304 4623224 140735994950480 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20486/tid=20489] ppid=20484 vsize=361740 CPUtime=6.16 cores=0,2,4,6
/proc/20486/task/20489/stat : 20489 (SArTagnan) R 20484 20486 20055 0 -1 4202560 17552 0 0 0 612 4 0 0 25 0 4 0 523990130 370421760 50449 33554432000 4194304 4623224 140735994950480 18446744073709551615 4366412 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20486/tid=20490] ppid=20484 vsize=361740 CPUtime=6.14 cores=0,2,4,6
/proc/20486/task/20490/stat : 20490 (SArTagnan) R 20484 20486 20055 0 -1 4202560 5914 0 0 0 613 1 0 0 25 0 4 0 523990130 370421760 50449 33554432000 4194304 4623224 140735994950480 18446744073709551615 4545312 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 24.78
Current children cumulated vsize (KiB) 361740

[startup+12.7008 s]
/proc/loadavg: 4.38 6.38 7.32 9/184 20491
/proc/meminfo: memFree=27482096/32950928 swapFree=67111356/67111528
[pid=20486] ppid=20484 vsize=479236 CPUtime=50.35 cores=0,2,4,6
/proc/20486/stat : 20486 (SArTagnan) R 20484 20486 20055 0 -1 4202496 95743 0 0 0 5016 19 0 0 25 0 4 0 523990118 490737664 71486 33554432000 4194304 4623224 140735994950480 18446744073709551615 4510604 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20486/statm: 119809 71486 446 105 0 115313 0
[pid=20486/tid=20488] ppid=20484 vsize=479236 CPUtime=12.56 cores=0,2,4,6
/proc/20486/task/20488/stat : 20488 (SArTagnan) R 20484 20486 20055 0 -1 4202560 16950 0 0 0 1253 3 0 0 25 0 4 0 523990130 490737664 71486 33554432000 4194304 4623224 140735994950480 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20486/tid=20489] ppid=20484 vsize=479236 CPUtime=12.57 cores=0,2,4,6
/proc/20486/task/20489/stat : 20489 (SArTagnan) R 20484 20486 20055 0 -1 4202560 26143 0 0 0 1250 7 0 0 25 0 4 0 523990130 490737664 71486 33554432000 4194304 4623224 140735994950480 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20486/tid=20490] ppid=20484 vsize=479236 CPUtime=12.5 cores=0,2,4,6
/proc/20486/task/20490/stat : 20490 (SArTagnan) R 20484 20486 20055 0 -1 4202560 8064 0 0 0 1249 1 0 0 25 0 4 0 523990130 490737664 71486 33554432000 4194304 4623224 140735994950480 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.35
Current children cumulated vsize (KiB) 479236

[startup+25.5003 s]
/proc/loadavg: 5.18 6.46 7.33 10/184 20491
/proc/meminfo: memFree=27255664/32950928 swapFree=67111356/67111528
[pid=20486] ppid=20484 vsize=590148 CPUtime=101.47 cores=0,2,4,6
/proc/20486/stat : 20486 (SArTagnan) R 20484 20486 20055 0 -1 4202496 193974 0 0 0 10110 37 0 0 25 0 4 0 523990118 604311552 111633 33554432000 4194304 4623224 140735994950480 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20486/statm: 147537 111633 430 105 0 143041 0
[pid=20486/tid=20488] ppid=20484 vsize=590148 CPUtime=25.36 cores=0,2,4,6
/proc/20486/task/20488/stat : 20488 (SArTagnan) R 20484 20486 20055 0 -1 4202560 25984 0 0 0 2530 6 0 0 25 0 4 0 523990130 604311552 111633 33554432000 4194304 4623224 140735994950480 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20486/tid=20489] ppid=20484 vsize=590148 CPUtime=25.36 cores=0,2,4,6
/proc/20486/task/20489/stat : 20489 (SArTagnan) R 20484 20486 20055 0 -1 4202560 42036 0 0 0 2523 13 0 0 25 0 4 0 523990130 604311552 111633 33554432000 4194304 4623224 140735994950480 18446744073709551615 4376666 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20486/tid=20490] ppid=20484 vsize=590148 CPUtime=25.23 cores=0,2,4,6
/proc/20486/task/20490/stat : 20490 (SArTagnan) R 20484 20486 20055 0 -1 4202560 16154 0 0 0 2521 2 0 0 25 0 4 0 523990130 604311552 111633 33554432000 4194304 4623224 140735994950480 18446744073709551615 4289875 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.47
Current children cumulated vsize (KiB) 590148

[startup+51.1005 s]
/proc/loadavg: 6.22 6.60 7.35 10/184 20492
/proc/meminfo: memFree=26884828/32950928 swapFree=67111356/67111528
[pid=20486] ppid=20484 vsize=1019108 CPUtime=203.71 cores=0,2,4,6
/proc/20486/stat : 20486 (SArTagnan) R 20484 20486 20055 0 -1 4202496 472866 0 0 0 20287 84 0 0 25 0 4 0 523990118 1043566592 180620 33554432000 4194304 4623224 140735994950480 18446744073709551615 4511659 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20486/statm: 254777 180620 442 105 0 250281 0
[pid=20486/tid=20488] ppid=20484 vsize=1019108 CPUtime=50.95 cores=0,2,4,6
/proc/20486/task/20488/stat : 20488 (SArTagnan) R 20484 20486 20055 0 -1 4202560 39341 0 0 0 5084 11 0 0 25 0 4 0 523990130 1043566592 180620 33554432000 4194304 4623224 140735994950480 18446744073709551615 4377128 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20486/tid=20489] ppid=20484 vsize=1019108 CPUtime=50.95 cores=0,2,4,6
/proc/20486/task/20489/stat : 20489 (SArTagnan) R 20484 20486 20055 0 -1 4202560 63255 0 0 0 5073 22 0 0 25 0 4 0 523990130 1043566592 180620 33554432000 4194304 4623224 140735994950480 18446744073709551615 4376858 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20486/tid=20490] ppid=20484 vsize=1019108 CPUtime=50.69 cores=0,2,4,6
/proc/20486/task/20490/stat : 20490 (SArTagnan) R 20484 20486 20055 0 -1 4202560 146174 0 0 0 5047 22 0 0 25 0 4 0 523990130 1043566592 180620 33554432000 4194304 4623224 140735994950480 18446744073709551615 4376678 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 203.71
Current children cumulated vsize (KiB) 1019108

[startup+102.307 s]
/proc/loadavg: 7.23 6.81 7.38 10/184 20493
/proc/meminfo: memFree=26346412/32950928 swapFree=67111356/67111528
[pid=20486] ppid=20484 vsize=1337860 CPUtime=408.24 cores=0,2,4,6
/proc/20486/stat : 20486 (SArTagnan) R 20484 20486 20055 0 -1 4202496 907959 0 0 0 40668 156 0 0 25 0 4 0 523990118 1369968640 269566 33554432000 4194304 4623224 140735994950480 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20486/statm: 334465 269566 635 105 0 329969 0
[pid=20486/tid=20488] ppid=20484 vsize=1337860 CPUtime=102.16 cores=0,2,4,6
/proc/20486/task/20488/stat : 20488 (SArTagnan) R 20484 20486 20055 0 -1 4202560 60900 0 0 0 10197 19 0 0 25 0 4 0 523990130 1369968640 269566 33554432000 4194304 4623224 140735994950480 18446744073709551615 4376835 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20486/tid=20489] ppid=20484 vsize=1337860 CPUtime=102.15 cores=0,2,4,6
/proc/20486/task/20489/stat : 20489 (SArTagnan) R 20484 20486 20055 0 -1 4202560 96500 0 0 0 10180 35 0 0 25 0 4 0 523990130 1369968640 269566 33554432000 4194304 4623224 140735994950480 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20486/tid=20490] ppid=20484 vsize=1337860 CPUtime=101.61 cores=0,2,4,6
/proc/20486/task/20490/stat : 20490 (SArTagnan) R 20484 20486 20055 0 -1 4202560 401860 0 0 0 10104 57 0 0 25 0 4 0 523990130 1369968640 269566 33554432000 4194304 4623224 140735994950480 18446744073709551615 4376869 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.24
Current children cumulated vsize (KiB) 1337860

[startup+162.3 s]
/proc/loadavg: 7.83 7.06 7.43 10/184 20495
/proc/meminfo: memFree=25912136/32950928 swapFree=67111356/67111528
[pid=20486] ppid=20484 vsize=1739024 CPUtime=647.89 cores=0,2,4,6
/proc/20486/stat : 20486 (SArTagnan) R 20484 20486 20055 0 -1 4202496 1447709 0 0 0 64542 247 0 0 25 0 4 0 523990118 1780760576 323464 33554432000 4194304 4623224 140735994950480 18446744073709551615 4415005 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20486/statm: 434756 323464 481 105 0 430260 0
[pid=20486/tid=20488] ppid=20484 vsize=1739024 CPUtime=162.14 cores=0,2,4,6
/proc/20486/task/20488/stat : 20488 (SArTagnan) R 20484 20486 20055 0 -1 4202560 66228 0 0 0 16192 22 0 0 25 0 4 0 523990130 1780760576 323464 33554432000 4194304 4623224 140735994950480 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20486/tid=20489] ppid=20484 vsize=1739024 CPUtime=162.15 cores=0,2,4,6
/proc/20486/task/20489/stat : 20489 (SArTagnan) R 20484 20486 20055 0 -1 4202560 105282 0 0 0 16174 41 0 0 25 0 4 0 523990130 1780760576 323464 33554432000 4194304 4623224 140735994950480 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20486/tid=20490] ppid=20484 vsize=1739024 CPUtime=161.28 cores=0,2,4,6
/proc/20486/task/20490/stat : 20490 (SArTagnan) R 20484 20486 20055 0 -1 4202560 761087 0 0 0 16015 113 0 0 25 0 4 0 523990130 1780760576 323464 33554432000 4194304 4623224 140735994950480 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 647.89
Current children cumulated vsize (KiB) 1739024

[startup+222.301 s]
/proc/loadavg: 7.93 7.23 7.46 9/184 20496
/proc/meminfo: memFree=25383004/32950928 swapFree=67111356/67111528
[pid=20486] ppid=20484 vsize=2165176 CPUtime=887.54 cores=0,2,4,6
/proc/20486/stat : 20486 (SArTagnan) R 20484 20486 20055 0 -1 4202496 2184204 0 0 0 88382 372 0 0 25 0 4 0 523990118 2217140224 409918 33554432000 4194304 4623224 140735994950480 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20486/statm: 541294 409918 456 105 0 536798 0
[pid=20486/tid=20488] ppid=20484 vsize=2165176 CPUtime=222.14 cores=0,2,4,6
/proc/20486/task/20488/stat : 20488 (SArTagnan) R 20484 20486 20055 0 -1 4202560 67212 0 0 0 22191 23 0 0 25 0 4 0 523990130 2217140224 409918 33554432000 4194304 4623224 140735994950480 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20486/tid=20489] ppid=20484 vsize=2165176 CPUtime=222.15 cores=0,2,4,6
/proc/20486/task/20489/stat : 20489 (SArTagnan) R 20484 20486 20055 0 -1 4202560 105764 0 0 0 22174 41 0 0 25 0 4 0 523990130 2217140224 409918 33554432000 4194304 4623224 140735994950480 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20486/tid=20490] ppid=20484 vsize=2165176 CPUtime=220.92 cores=0,2,4,6
/proc/20486/task/20490/stat : 20490 (SArTagnan) R 20484 20486 20055 0 -1 4202560 1211871 0 0 0 21903 189 0 0 25 0 4 0 523990130 2217140224 409918 33554432000 4194304 4623224 140735994950480 18446744073709551615 4364232 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 887.54
Current children cumulated vsize (KiB) 2165176

[startup+282.3 s]

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


[startup+702.3 s]
/proc/loadavg: 8.07 7.91 7.69 10/184 20509
/proc/meminfo: memFree=23999340/32950928 swapFree=67111356/67111528
[pid=20486] ppid=20484 vsize=3090436 CPUtime=2804.94 cores=0,2,4,6
/proc/20486/stat : 20486 (SArTagnan) R 20484 20486 20055 0 -1 4202496 6531234 0 0 0 279390 1104 0 0 25 0 4 0 523990118 3164606464 593036 33554432000 4194304 4623224 140735994950480 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20486/statm: 772609 593036 429 105 0 768113 0
[pid=20486/tid=20488] ppid=20484 vsize=3090436 CPUtime=702.11 cores=0,2,4,6
/proc/20486/task/20488/stat : 20488 (SArTagnan) R 20484 20486 20055 0 -1 4202560 86410 0 0 0 70184 27 0 0 25 0 4 0 523990130 3164606464 593036 33554432000 4194304 4623224 140735994950480 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20486/tid=20489] ppid=20484 vsize=3090436 CPUtime=702.17 cores=0,2,4,6
/proc/20486/task/20489/stat : 20489 (SArTagnan) R 20484 20486 20055 0 -1 4202560 122926 0 0 0 70173 44 0 0 25 0 4 0 523990130 3164606464 593036 33554432000 4194304 4623224 140735994950480 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20486/tid=20490] ppid=20484 vsize=3090436 CPUtime=698.32 cores=0,2,4,6
/proc/20486/task/20490/stat : 20490 (SArTagnan) R 20484 20486 20055 0 -1 4202560 4845461 0 0 0 69032 800 0 0 25 0 4 0 523990130 3164606464 593036 33554432000 4194304 4623224 140735994950480 18446744073709551615 4364911 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2804.94
Current children cumulated vsize (KiB) 3090436

[startup+762.307 s]
/proc/loadavg: 8.07 7.94 7.72 10/184 20511
/proc/meminfo: memFree=23763700/32950928 swapFree=67111356/67111528
[pid=20486] ppid=20484 vsize=3090436 CPUtime=3044.64 cores=0,2,4,6
/proc/20486/stat : 20486 (SArTagnan) R 20484 20486 20055 0 -1 4202496 6992038 0 0 0 303278 1186 0 0 25 0 4 0 523990118 3164606464 602650 33554432000 4194304 4623224 140735994950480 18446744073709551615 4414978 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20486/statm: 772609 602650 429 105 0 768113 0
[pid=20486/tid=20488] ppid=20484 vsize=3090436 CPUtime=762.11 cores=0,2,4,6
/proc/20486/task/20488/stat : 20488 (SArTagnan) R 20484 20486 20055 0 -1 4202560 86649 0 0 0 76184 27 0 0 25 0 4 0 523990130 3164606464 602650 33554432000 4194304 4623224 140735994950480 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20486/tid=20489] ppid=20484 vsize=3090436 CPUtime=762.18 cores=0,2,4,6
/proc/20486/task/20489/stat : 20489 (SArTagnan) R 20484 20486 20055 0 -1 4202560 123017 0 0 0 76174 44 0 0 25 0 4 0 523990130 3164606464 602650 33554432000 4194304 4623224 140735994950480 18446744073709551615 4357641 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20486/tid=20490] ppid=20484 vsize=3090436 CPUtime=758.01 cores=0,2,4,6
/proc/20486/task/20490/stat : 20490 (SArTagnan) R 20484 20486 20055 0 -1 4202560 5238050 0 0 0 74930 871 0 0 25 0 4 0 523990130 3164606464 602650 33554432000 4194304 4623224 140735994950480 18446744073709551615 4545353 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3044.64
Current children cumulated vsize (KiB) 3090436

[startup+822.301 s]
/proc/loadavg: 8.10 7.97 7.74 10/184 20512
/proc/meminfo: memFree=23693132/32950928 swapFree=67111356/67111528
[pid=20486] ppid=20484 vsize=3090436 CPUtime=3284.29 cores=0,2,4,6
/proc/20486/stat : 20486 (SArTagnan) R 20484 20486 20055 0 -1 4202496 7497110 0 0 0 327162 1267 0 0 25 0 4 0 523990118 3164606464 612861 33554432000 4194304 4623224 140735994950480 18446744073709551615 4415005 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20486/statm: 772609 612861 429 105 0 768113 0
[pid=20486/tid=20488] ppid=20484 vsize=3090436 CPUtime=822.11 cores=0,2,4,6
/proc/20486/task/20488/stat : 20488 (SArTagnan) R 20484 20486 20055 0 -1 4202560 86816 0 0 0 82184 27 0 0 25 0 4 0 523990130 3164606464 612861 33554432000 4194304 4623224 140735994950480 18446744073709551615 4357576 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20486/tid=20489] ppid=20484 vsize=3090436 CPUtime=822.17 cores=0,2,4,6
/proc/20486/task/20489/stat : 20489 (SArTagnan) R 20484 20486 20055 0 -1 4202560 123194 0 0 0 82172 45 0 0 25 0 4 0 523990130 3164606464 612861 33554432000 4194304 4623224 140735994950480 18446744073709551615 4357641 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20486/tid=20490] ppid=20484 vsize=3090436 CPUtime=817.68 cores=0,2,4,6
/proc/20486/task/20490/stat : 20490 (SArTagnan) R 20484 20486 20055 0 -1 4202560 5676921 0 0 0 80828 940 0 0 25 0 4 0 523990130 3164606464 612861 33554432000 4194304 4623224 140735994950480 18446744073709551615 4376880 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3284.29
Current children cumulated vsize (KiB) 3090436

[startup+882.301 s]
/proc/loadavg: 8.08 7.99 7.76 10/184 20514
/proc/meminfo: memFree=23513556/32950928 swapFree=67111356/67111528
[pid=20486] ppid=20484 vsize=3155972 CPUtime=3523.97 cores=0,2,4,6
/proc/20486/stat : 20486 (SArTagnan) R 20484 20486 20055 0 -1 4202496 8009298 0 0 0 351045 1352 0 0 25 0 4 0 523990118 3231715328 637814 33554432000 4194304 4623224 140735994950480 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20486/statm: 788993 637814 429 105 0 784497 0
[pid=20486/tid=20488] ppid=20484 vsize=3155972 CPUtime=882.1 cores=0,2,4,6
/proc/20486/task/20488/stat : 20488 (SArTagnan) R 20484 20486 20055 0 -1 4202560 86959 0 0 0 88183 27 0 0 25 0 4 0 523990130 3231715328 637814 33554432000 4194304 4623224 140735994950480 18446744073709551615 4357576 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20486/tid=20489] ppid=20484 vsize=3155972 CPUtime=882.17 cores=0,2,4,6
/proc/20486/task/20489/stat : 20489 (SArTagnan) R 20484 20486 20055 0 -1 4202560 123344 0 0 0 88172 45 0 0 25 0 4 0 523990130 3231715328 637814 33554432000 4194304 4623224 140735994950480 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20486/tid=20490] ppid=20484 vsize=3155972 CPUtime=877.35 cores=0,2,4,6
/proc/20486/task/20490/stat : 20490 (SArTagnan) R 20484 20486 20055 0 -1 4202560 6147026 0 0 0 86719 1016 0 0 25 0 4 0 523990130 3231715328 637814 33554432000 4194304 4623224 140735994950480 18446744073709551615 4545376 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3523.97
Current children cumulated vsize (KiB) 3155972

[startup+942.301 s]
/proc/loadavg: 8.06 8.00 7.78 9/184 20515
/proc/meminfo: memFree=23368196/32950928 swapFree=67111356/67111528
[pid=20486] ppid=20484 vsize=3277484 CPUtime=3763.63 cores=0,2,4,6
/proc/20486/stat : 20486 (SArTagnan) R 20484 20486 20055 0 -1 4202496 8374319 0 0 0 374950 1413 0 0 25 0 4 0 523990118 3356143616 658805 33554432000 4194304 4623224 140735994950480 18446744073709551615 4415014 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20486/statm: 819371 658805 342 105 0 814875 0
[pid=20486/tid=20488] ppid=20484 vsize=3277484 CPUtime=942.09 cores=0,2,4,6
/proc/20486/task/20488/stat : 20488 (SArTagnan) R 20484 20486 20055 0 -1 4202560 87344 0 0 0 94182 27 0 0 25 0 4 0 523990130 3356143616 658805 33554432000 4194304 4623224 140735994950480 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20486/tid=20489] ppid=20484 vsize=3277484 CPUtime=942.16 cores=0,2,4,6
/proc/20486/task/20489/stat : 20489 (SArTagnan) R 20484 20486 20055 0 -1 4202560 124880 0 0 0 94171 45 0 0 25 0 4 0 523990130 3356143616 658805 33554432000 4194304 4623224 140735994950480 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20486/tid=20490] ppid=20484 vsize=3277484 CPUtime=937.03 cores=0,2,4,6
/proc/20486/task/20490/stat : 20490 (SArTagnan) R 20484 20486 20055 0 -1 4202560 6473464 0 0 0 92633 1070 0 0 25 0 4 0 523990130 3356143616 658805 33554432000 4194304 4623224 140735994950480 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3763.63
Current children cumulated vsize (KiB) 3277484

[startup+1002.3 s]
/proc/loadavg: 8.06 8.01 7.79 9/184 20517
/proc/meminfo: memFree=23102056/32950928 swapFree=67111356/67111528
[pid=20486] ppid=20484 vsize=3499464 CPUtime=4003.3 cores=0,2,4,6
/proc/20486/stat : 20486 (SArTagnan) R 20484 20486 20055 0 -1 4202496 8496621 0 0 0 398881 1449 0 0 25 0 4 0 523990118 3583451136 710521 33554432000 4194304 4623224 140735994950480 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20486/statm: 874866 710521 342 105 0 870370 0
[pid=20486/tid=20488] ppid=20484 vsize=3499464 CPUtime=1002.1 cores=0,2,4,6
/proc/20486/task/20488/stat : 20488 (SArTagnan) R 20484 20486 20055 0 -1 4202560 88475 0 0 0 100182 28 0 0 25 0 4 0 523990130 3583451136 710521 33554432000 4194304 4623224 140735994950480 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20486/tid=20489] ppid=20484 vsize=3499464 CPUtime=1002.17 cores=0,2,4,6
/proc/20486/task/20489/stat : 20489 (SArTagnan) R 20484 20486 20055 0 -1 4202560 148997 0 0 0 100155 62 0 0 25 0 4 0 523990130 3583451136 710521 33554432000 4194304 4623224 140735994950480 18446744073709551615 4376754 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20486/tid=20490] ppid=20484 vsize=3499464 CPUtime=996.7 cores=0,2,4,6
/proc/20486/task/20490/stat : 20490 (SArTagnan) R 20484 20486 20055 0 -1 4202560 6494008 0 0 0 98597 1073 0 0 25 0 4 0 523990130 3583451136 710521 33554432000 4194304 4623224 140735994950480 18446744073709551615 4364232 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4003.3
Current children cumulated vsize (KiB) 3499464

[startup+1062.3 s]
/proc/loadavg: 8.02 8.01 7.80 9/184 20519
/proc/meminfo: memFree=22961536/32950928 swapFree=67111356/67111528
[pid=20486] ppid=20484 vsize=3508476 CPUtime=4242.95 cores=0,2,4,6
/proc/20486/stat : 20486 (SArTagnan) R 20484 20486 20055 0 -1 4202496 8686781 0 0 0 422809 1486 0 0 25 0 4 0 523990118 3592679424 737929 33554432000 4194304 4623224 140735994950480 18446744073709551615 4416548 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20486/statm: 877119 737929 342 105 0 872623 0
[pid=20486/tid=20488] ppid=20484 vsize=3508476 CPUtime=1062.09 cores=0,2,4,6
/proc/20486/task/20488/stat : 20488 (SArTagnan) R 20484 20486 20055 0 -1 4202560 89559 0 0 0 106181 28 0 0 25 0 4 0 523990130 3592679424 737929 33554432000 4194304 4623224 140735994950480 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20486/tid=20489] ppid=20484 vsize=3508476 CPUtime=1062.16 cores=0,2,4,6
/proc/20486/task/20489/stat : 20489 (SArTagnan) R 20484 20486 20055 0 -1 4202560 160947 0 0 0 106146 70 0 0 25 0 4 0 523990130 3592679424 737929 33554432000 4194304 4623224 140735994950480 18446744073709551615 4376850 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20486/tid=20490] ppid=20484 vsize=3508476 CPUtime=1056.38 cores=0,2,4,6
/proc/20486/task/20490/stat : 20490 (SArTagnan) R 20484 20486 20055 0 -1 4202560 6634761 0 0 0 104544 1094 0 0 25 0 4 0 523990130 3592679424 737929 33554432000 4194304 4623224 140735994950480 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4242.95
Current children cumulated vsize (KiB) 3508476

[startup+1122.3 s]
/proc/loadavg: 8.04 8.02 7.82 10/184 20520
/proc/meminfo: memFree=22906080/32950928 swapFree=67111356/67111528
[pid=20486] ppid=20484 vsize=3508476 CPUtime=4482.61 cores=0,2,4,6
/proc/20486/stat : 20486 (SArTagnan) R 20484 20486 20055 0 -1 4202496 8695907 0 0 0 446770 1491 0 0 25 0 4 0 523990118 3592679424 746924 33554432000 4194304 4623224 140735994950480 18446744073709551615 4360087 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20486/statm: 877119 746924 342 105 0 872623 0
[pid=20486/tid=20488] ppid=20484 vsize=3508476 CPUtime=1122.09 cores=0,2,4,6
/proc/20486/task/20488/stat : 20488 (SArTagnan) R 20484 20486 20055 0 -1 4202560 90364 0 0 0 112180 29 0 0 25 0 4 0 523990130 3592679424 746924 33554432000 4194304 4623224 140735994950480 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20486/tid=20489] ppid=20484 vsize=3508476 CPUtime=1122.17 cores=0,2,4,6
/proc/20486/task/20489/stat : 20489 (SArTagnan) R 20484 20486 20055 0 -1 4202560 167232 0 0 0 112142 75 0 0 25 0 4 0 523990130 3592679424 746924 33554432000 4194304 4623224 140735994950480 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20486/tid=20490] ppid=20484 vsize=3508476 CPUtime=1116.05 cores=0,2,4,6
/proc/20486/task/20490/stat : 20490 (SArTagnan) R 20484 20486 20055 0 -1 4202560 6635454 0 0 0 110510 1095 0 0 25 0 4 0 523990130 3592679424 746924 33554432000 4194304 4623224 140735994950480 18446744073709551615 4545376 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4482.61
Current children cumulated vsize (KiB) 3508476

[startup+1182.3 s]
/proc/loadavg: 8.12 8.04 7.84 10/184 20522
/proc/meminfo: memFree=22794080/32950928 swapFree=67111356/67111528
[pid=20486] ppid=20484 vsize=3628524 CPUtime=4722.3 cores=0,2,4,6
/proc/20486/stat : 20486 (SArTagnan) R 20484 20486 20055 0 -1 4202496 8740162 0 0 0 470721 1509 0 0 25 0 4 0 523990118 3715608576 768649 33554432000 4194304 4623224 140735994950480 18446744073709551615 4360117 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20486/statm: 907131 768649 342 105 0 902635 0
[pid=20486/tid=20488] ppid=20484 vsize=3628524 CPUtime=1182.08 cores=0,2,4,6
/proc/20486/task/20488/stat : 20488 (SArTagnan) R 20484 20486 20055 0 -1 4202560 92210 0 0 0 118179 29 0 0 25 0 4 0 523990130 3715608576 768649 33554432000 4194304 4623224 140735994950480 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20486/tid=20489] ppid=20484 vsize=3628524 CPUtime=1182.17 cores=0,2,4,6
/proc/20486/task/20489/stat : 20489 (SArTagnan) R 20484 20486 20055 0 -1 4202560 202485 0 0 0 118127 90 0 0 25 0 4 0 523990130 3715608576 768649 33554432000 4194304 4623224 140735994950480 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20486/tid=20490] ppid=20484 vsize=3628524 CPUtime=1175.72 cores=0,2,4,6
/proc/20486/task/20490/stat : 20490 (SArTagnan) R 20484 20486 20055 0 -1 4202560 6638483 0 0 0 116476 1096 0 0 25 0 4 0 523990130 3715608576 768649 33554432000 4194304 4623224 140735994950480 18446744073709551615 4545383 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4722.3
Current children cumulated vsize (KiB) 3628524



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.8 s]
/proc/loadavg: 8.09 8.04 7.84 5/179 20523
/proc/meminfo: memFree=24765588/32950928 swapFree=67111356/67111528
[pid=20486] ppid=20484 vsize=3699388 CPUtime=4800.21 cores=0,2,4,6
/proc/20486/stat : 20486 (SArTagnan) R 20484 20486 20055 0 -1 4202496 8751933 0 0 0 478503 1518 0 0 25 0 4 0 523990118 3788173312 780142 33554432000 4194304 4623224 140735994950480 18446744073709551615 4360087 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20486/statm: 924847 780142 342 105 0 920351 0
[pid=20486/tid=20488] ppid=20484 vsize=3699388 CPUtime=1201.58 cores=0,2,4,6
/proc/20486/task/20488/stat : 20488 (SArTagnan) R 20484 20486 20055 0 -1 4202560 92696 0 0 0 120129 29 0 0 25 0 4 0 523990130 3788173312 780142 33554432000 4194304 4623224 140735994950480 18446744073709551615 4486238 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20486/tid=20489] ppid=20484 vsize=3699388 CPUtime=1201.68 cores=0,2,4,6
/proc/20486/task/20489/stat : 20489 (SArTagnan) R 20484 20486 20055 0 -1 4202560 210837 0 0 0 120070 98 0 0 25 0 4 0 523990130 3788173312 780142 33554432000 4194304 4623224 140735994950480 18446744073709551615 4376835 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20486/tid=20490] ppid=20484 vsize=3699388 CPUtime=1195.12 cores=0,2,4,6
/proc/20486/task/20490/stat : 20490 (SArTagnan) R 20484 20486 20055 0 -1 4202560 6640148 0 0 0 118415 1097 0 0 25 0 4 0 523990130 3788173312 780142 33554432000 4194304 4623224 140735994950480 18446744073709551615 4545376 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.21
Current children cumulated vsize (KiB) 3699388

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

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

[startup+1201.91 s]
/proc/loadavg: 8.09 8.04 7.84 5/179 20523
/proc/meminfo: memFree=24765588/32950928 swapFree=67111356/67111528
[pid=20486] ppid=20484 vsize=0 CPUtime=4800.33 cores=0,2,4,6
/proc/20486/stat : 20486 (SArTagnan) Z 20484 20486 20055 0 -1 4203548 8751935 0 0 0 478505 1528 0 0 25 0 2 0 523990118 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20486/statm: 0 0 0 0 0 0 0
[pid=20486/tid=20490] ppid=20484 vsize=0 CPUtime=1195.23 cores=0,2,4,6
/proc/20486/task/20490/stat : 20490 (SArTagnan) R 20484 20486 20055 0 -1 4203588 6640148 0 0 0 118416 1107 0 0 25 0 2 0 523990130 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.33
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.96
CPU time (s): 4800.38
CPU user time (s): 4785.05
CPU system time (s): 15.3307
CPU usage (%): 399.38
Max. virtual memory (cumulated for all children) (KiB): 3996656

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4785.05
system time used= 15.3307
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8751935
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= 3347
involuntary context switches= 20607

runsolver used 1.88571 second user time and 4.67129 second system time

The end

Launcher Data 

Begin job on node127 at 2011-04-30 02:38:25
IDJOB=3251574
IDBENCH=88226
IDSOLVER=1656
FILE ID=node127/3251574-1304123904
RUNJOBID= node127-1304123904-20463
PBS_JOBID= 13170732
Free space on /tmp= 71812 MiB

SOLVER NAME= SArTagnan 2011-03-24
BENCH NAME= SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m52-q1041.25-n50-p15-s99099953.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3251574-1304123904/watcher-3251574-1304123904 -o /tmp/evaluation-result-3251574-1304123904/solver-3251574-1304123904 -C 4800 -W 1300 -M 15500  SArTagnan HOME/instance-3251574-1304123904.cnf -threads=4

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

MD5SUM BENCH= dda220d08783aabf4e7a9e99eeeccae6
RANDOM SEED=1141645201

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      27881988 kB
Buffers:       1285492 kB
Cached:        3255344 kB
SwapCached:          8 kB
Active:         185568 kB
Inactive:      4431960 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      27881988 kB
SwapTotal:    67111528 kB
SwapFree:     67111356 kB
Dirty:            7936 kB
Writeback:           0 kB
AnonPages:       76052 kB
Mapped:          15188 kB
Slab:           388264 kB
PageTables:       4584 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   248720 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= 71812 MiB
End job on node127 at 2011-04-30 02:58:28