Trace number 3258660

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.55 1201.92

General information on the benchmark

NameCRAFTED/rbsat/random/
forced/rbsat-v2640c305320gyes5.cnf
MD5SUMf892a2bda6fe6aec6f2fcb4e1c541df8
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 variables2640
Number of clauses305320
Sum of the clauses size613120
Maximum clause length33
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2305240
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 580

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

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 7.53 8.07 8.02 5/184 19176
/proc/meminfo: memFree=25399292/32951124 swapFree=67111524/67111528
[pid=19176] ppid=19174 vsize=26132 CPUtime=0 cores=1,3,5,7
/proc/19176/stat : 19176 (SArTagnan) R 19174 19176 19041 0 -1 4202496 627 0 0 0 0 0 0 0 25 0 1 0 517109184 26759168 503 33554432000 4194304 4623224 140736808747040 18446744073709551615 4366247 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/19176/statm: 6533 503 297 105 0 2037 0

[startup+0.0585251 s]
/proc/loadavg: 7.53 8.07 8.02 5/184 19176
/proc/meminfo: memFree=25399292/32951124 swapFree=67111524/67111528
[pid=19176] ppid=19174 vsize=28976 CPUtime=0.05 cores=1,3,5,7
/proc/19176/stat : 19176 (SArTagnan) R 19174 19176 19041 0 -1 4202496 2728 0 0 0 5 0 0 0 25 0 1 0 517109184 29671424 1180 33554432000 4194304 4623224 140736808747040 18446744073709551615 4366247 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/19176/statm: 7244 1180 297 105 0 2748 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 28976

[startup+0.100937 s]
/proc/loadavg: 7.53 8.07 8.02 5/184 19176
/proc/meminfo: memFree=25399292/32951124 swapFree=67111524/67111528
[pid=19176] ppid=19174 vsize=207736 CPUtime=0.14 cores=1,3,5,7
/proc/19176/stat : 19176 (SArTagnan) R 19174 19176 19041 0 -1 4202496 7188 0 0 0 14 0 0 0 25 0 4 0 517109184 212721664 4768 33554432000 4194304 4623224 140736808747040 18446744073709551615 232335918186 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/19176/statm: 51934 4768 332 105 0 47438 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 207736

[startup+0.300438 s]
/proc/loadavg: 7.53 8.07 8.02 5/184 19176
/proc/meminfo: memFree=25399292/32951124 swapFree=67111524/67111528
[pid=19176] ppid=19174 vsize=275840 CPUtime=0.94 cores=1,3,5,7
/proc/19176/stat : 19176 (SArTagnan) R 19174 19176 19041 0 -1 4202496 9808 0 0 0 94 0 0 0 25 0 4 0 517109184 282460160 7285 33554432000 4194304 4623224 140736808747040 18446744073709551615 4366247 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/19176/statm: 68960 7285 344 105 0 64464 0
Current children cumulated CPU time (s) 0.94
Current children cumulated vsize (KiB) 275840

[startup+0.700366 s]
/proc/loadavg: 7.53 8.07 8.02 5/184 19176
/proc/meminfo: memFree=25399292/32951124 swapFree=67111524/67111528
[pid=19176] ppid=19174 vsize=283328 CPUtime=2.54 cores=1,3,5,7
/proc/19176/stat : 19176 (SArTagnan) R 19174 19176 19041 0 -1 4202496 13640 0 0 0 253 1 0 0 25 0 4 0 517109184 290127872 11098 33554432000 4194304 4623224 140736808747040 18446744073709551615 4414859 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/19176/statm: 70832 11098 344 105 0 66336 0
Current children cumulated CPU time (s) 2.54
Current children cumulated vsize (KiB) 283328

[startup+1.50023 s]
/proc/loadavg: 7.53 8.07 8.02 9/188 19180
/proc/meminfo: memFree=25326608/32951124 swapFree=67111524/67111528
[pid=19176] ppid=19174 vsize=288028 CPUtime=5.74 cores=1,3,5,7
/proc/19176/stat : 19176 (SArTagnan) R 19174 19176 19041 0 -1 4202496 18291 0 0 0 572 2 0 0 25 0 4 0 517109184 294940672 14891 33554432000 4194304 4623224 140736808747040 18446744073709551615 4513876 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/19176/statm: 72007 14891 344 105 0 67511 0
[pid=19176/tid=19178] ppid=19174 vsize=288028 CPUtime=1.41 cores=1,3,5,7
/proc/19176/task/19178/stat : 19178 (SArTagnan) R 19174 19176 19041 0 -1 4202560 2693 0 0 0 141 0 0 0 25 0 4 0 517109192 294940672 14891 33554432000 4194304 4623224 140736808747040 18446744073709551615 4376643 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19176/tid=19179] ppid=19174 vsize=288028 CPUtime=1.41 cores=1,3,5,7
/proc/19176/task/19179/stat : 19179 (SArTagnan) R 19174 19176 19041 0 -1 4202560 2412 0 0 0 141 0 0 0 25 0 4 0 517109192 294940672 14891 33554432000 4194304 4623224 140736808747040 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19176/tid=19180] ppid=19174 vsize=288028 CPUtime=1.41 cores=1,3,5,7
/proc/19176/task/19180/stat : 19180 (SArTagnan) R 19174 19176 19041 0 -1 4202560 1686 0 0 0 141 0 0 0 20 0 4 0 517109192 294940672 14891 33554432000 4194304 4623224 140736808747040 18446744073709551615 4363742 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.74
Current children cumulated vsize (KiB) 288028

[startup+3.10094 s]
/proc/loadavg: 7.53 8.07 8.02 9/188 19180
/proc/meminfo: memFree=25292384/32951124 swapFree=67111524/67111528
[pid=19176] ppid=19174 vsize=305080 CPUtime=12.13 cores=1,3,5,7
/proc/19176/stat : 19176 (SArTagnan) R 19174 19176 19041 0 -1 4202496 27191 0 0 0 1210 3 0 0 25 0 4 0 517109184 312401920 21023 33554432000 4194304 4623224 140736808747040 18446744073709551615 4511610 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/19176/statm: 76270 21023 344 105 0 71774 0
[pid=19176/tid=19178] ppid=19174 vsize=305080 CPUtime=3.01 cores=1,3,5,7
/proc/19176/task/19178/stat : 19178 (SArTagnan) R 19174 19176 19041 0 -1 4202560 4734 0 0 0 301 0 0 0 25 0 4 0 517109192 312401920 21023 33554432000 4194304 4623224 140736808747040 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19176/tid=19179] ppid=19174 vsize=305080 CPUtime=3.01 cores=1,3,5,7
/proc/19176/task/19179/stat : 19179 (SArTagnan) R 19174 19176 19041 0 -1 4202560 5198 0 0 0 300 1 0 0 25 0 4 0 517109192 312401920 21023 33554432000 4194304 4623224 140736808747040 18446744073709551615 232335553221 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19176/tid=19180] ppid=19174 vsize=305080 CPUtime=3.01 cores=1,3,5,7
/proc/19176/task/19180/stat : 19180 (SArTagnan) R 19174 19176 19041 0 -1 4202560 3241 0 0 0 301 0 0 0 25 0 4 0 517109192 312401920 21023 33554432000 4194304 4623224 140736808747040 18446744073709551615 4363989 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.13
Current children cumulated vsize (KiB) 305080

[startup+6.30037 s]
/proc/loadavg: 7.65 8.08 8.03 10/188 19180
/proc/meminfo: memFree=25240700/32951124 swapFree=67111524/67111528
[pid=19176] ppid=19174 vsize=320096 CPUtime=24.92 cores=1,3,5,7
/proc/19176/stat : 19176 (SArTagnan) R 19174 19176 19041 0 -1 4202496 43244 0 0 0 2485 7 0 0 25 0 4 0 517109184 327778304 27318 33554432000 4194304 4623224 140736808747040 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/19176/statm: 80024 27318 344 105 0 75528 0
[pid=19176/tid=19178] ppid=19174 vsize=320096 CPUtime=6.21 cores=1,3,5,7
/proc/19176/task/19178/stat : 19178 (SArTagnan) R 19174 19176 19041 0 -1 4202560 6248 0 0 0 620 1 0 0 25 0 4 0 517109192 327778304 27318 33554432000 4194304 4623224 140736808747040 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19176/tid=19179] ppid=19174 vsize=320096 CPUtime=6.21 cores=1,3,5,7
/proc/19176/task/19179/stat : 19179 (SArTagnan) R 19174 19176 19041 0 -1 4202560 7447 0 0 0 619 2 0 0 25 0 4 0 517109192 327778304 27318 33554432000 4194304 4623224 140736808747040 18446744073709551615 4376846 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19176/tid=19180] ppid=19174 vsize=320096 CPUtime=6.21 cores=1,3,5,7
/proc/19176/task/19180/stat : 19180 (SArTagnan) R 19174 19176 19041 0 -1 4202560 10627 0 0 0 620 1 0 0 25 0 4 0 517109192 327778304 27318 33554432000 4194304 4623224 140736808747040 18446744073709551615 4376666 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 24.92
Current children cumulated vsize (KiB) 320096

[startup+12.7002 s]
/proc/loadavg: 7.67 8.08 8.03 9/188 19181
/proc/meminfo: memFree=25162072/32951124 swapFree=67111524/67111528
[pid=19176] ppid=19174 vsize=340656 CPUtime=50.48 cores=1,3,5,7
/proc/19176/stat : 19176 (SArTagnan) R 19174 19176 19041 0 -1 4202496 96650 0 0 0 5030 18 0 0 25 0 4 0 517109184 348831744 36794 33554432000 4194304 4623224 140736808747040 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/19176/statm: 85164 36794 344 105 0 80668 0
[pid=19176/tid=19178] ppid=19174 vsize=340656 CPUtime=12.6 cores=1,3,5,7
/proc/19176/task/19178/stat : 19178 (SArTagnan) R 19174 19176 19041 0 -1 4202560 11696 0 0 0 1258 2 0 0 25 0 4 0 517109192 348831744 36794 33554432000 4194304 4623224 140736808747040 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19176/tid=19179] ppid=19174 vsize=340656 CPUtime=12.6 cores=1,3,5,7
/proc/19176/task/19179/stat : 19179 (SArTagnan) R 19174 19176 19041 0 -1 4202560 10756 0 0 0 1258 2 0 0 25 0 4 0 517109192 348831744 36794 33554432000 4194304 4623224 140736808747040 18446744073709551615 4460968 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19176/tid=19180] ppid=19174 vsize=340656 CPUtime=12.61 cores=1,3,5,7
/proc/19176/task/19180/stat : 19180 (SArTagnan) R 19174 19176 19041 0 -1 4202560 50656 0 0 0 1253 8 0 0 25 0 4 0 517109192 348831744 36794 33554432000 4194304 4623224 140736808747040 18446744073709551615 4376880 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.48
Current children cumulated vsize (KiB) 340656

[startup+25.501 s]
/proc/loadavg: 7.81 8.09 8.03 10/188 19181
/proc/meminfo: memFree=25011532/32951124 swapFree=67111524/67111528
[pid=19176] ppid=19174 vsize=393900 CPUtime=101.6 cores=1,3,5,7
/proc/19176/stat : 19176 (SArTagnan) R 19174 19176 19041 0 -1 4202496 205276 0 0 0 10120 40 0 0 25 0 4 0 517109184 403353600 61416 33554432000 4194304 4623224 140736808747040 18446744073709551615 4511029 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/19176/statm: 98475 61416 344 105 0 93979 0
[pid=19176/tid=19178] ppid=19174 vsize=393900 CPUtime=25.41 cores=1,3,5,7
/proc/19176/task/19178/stat : 19178 (SArTagnan) R 19174 19176 19041 0 -1 4202560 15531 0 0 0 2535 6 0 0 25 0 4 0 517109192 403353600 61416 33554432000 4194304 4623224 140736808747040 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19176/tid=19179] ppid=19174 vsize=393900 CPUtime=25.41 cores=1,3,5,7
/proc/19176/task/19179/stat : 19179 (SArTagnan) R 19174 19176 19041 0 -1 4202560 18434 0 0 0 2535 6 0 0 25 0 4 0 517109192 403353600 61416 33554432000 4194304 4623224 140736808747040 18446744073709551615 4463392 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19176/tid=19180] ppid=19174 vsize=393900 CPUtime=25.41 cores=1,3,5,7
/proc/19176/task/19180/stat : 19180 (SArTagnan) R 19174 19176 19041 0 -1 4202560 115482 0 0 0 2523 18 0 0 25 0 4 0 517109192 403353600 61416 33554432000 4194304 4623224 140736808747040 18446744073709551615 4376869 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 101.6
Current children cumulated vsize (KiB) 393900

[startup+51.1004 s]
/proc/loadavg: 8.07 8.13 8.04 9/188 19181
/proc/meminfo: memFree=24772800/32951124 swapFree=67111524/67111528
[pid=19176] ppid=19174 vsize=602352 CPUtime=203.86 cores=1,3,5,7
/proc/19176/stat : 19176 (SArTagnan) R 19174 19176 19041 0 -1 4202496 425547 0 0 0 20308 78 0 0 25 0 4 0 517109184 616808448 97484 33554432000 4194304 4623224 140736808747040 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/19176/statm: 150588 97484 376 105 0 146092 0
[pid=19176/tid=19178] ppid=19174 vsize=602352 CPUtime=51.01 cores=1,3,5,7
/proc/19176/task/19178/stat : 19178 (SArTagnan) R 19174 19176 19041 0 -1 4202560 22112 0 0 0 5092 9 0 0 25 0 4 0 517109192 616808448 97484 33554432000 4194304 4623224 140736808747040 18446744073709551615 4376862 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19176/tid=19179] ppid=19174 vsize=602352 CPUtime=51.01 cores=1,3,5,7
/proc/19176/task/19179/stat : 19179 (SArTagnan) R 19174 19176 19041 0 -1 4202560 25974 0 0 0 5090 11 0 0 25 0 4 0 517109192 616808448 97484 33554432000 4194304 4623224 140736808747040 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19176/tid=19180] ppid=19174 vsize=602352 CPUtime=51 cores=1,3,5,7
/proc/19176/task/19180/stat : 19180 (SArTagnan) R 19174 19176 19041 0 -1 4202560 266742 0 0 0 5061 39 0 0 25 0 4 0 517109192 616808448 97484 33554432000 4194304 4623224 140736808747040 18446744073709551615 4376692 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 203.86
Current children cumulated vsize (KiB) 602352

[startup+102.306 s]
/proc/loadavg: 8.18 8.14 8.05 10/188 19183
/proc/meminfo: memFree=24425696/32951124 swapFree=67111524/67111528
[pid=19176] ppid=19174 vsize=807012 CPUtime=408.4 cores=1,3,5,7
/proc/19176/stat : 19176 (SArTagnan) R 19174 19176 19041 0 -1 4202496 511571 0 0 0 40740 100 0 0 25 0 4 0 517109184 826380288 146964 33554432000 4194304 4623224 140736808747040 18446744073709551615 4414978 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/19176/statm: 201753 146964 572 105 0 197257 0
[pid=19176/tid=19178] ppid=19174 vsize=807012 CPUtime=102.21 cores=1,3,5,7
/proc/19176/task/19178/stat : 19178 (SArTagnan) R 19174 19176 19041 0 -1 4202560 32215 0 0 0 10208 13 0 0 25 0 4 0 517109192 826380288 146964 33554432000 4194304 4623224 140736808747040 18446744073709551615 4462858 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19176/tid=19179] ppid=19174 vsize=807012 CPUtime=102.22 cores=1,3,5,7
/proc/19176/task/19179/stat : 19179 (SArTagnan) R 19174 19176 19041 0 -1 4202560 35244 0 0 0 10204 18 0 0 25 0 4 0 517109192 826380288 146964 33554432000 4194304 4623224 140736808747040 18446744073709551615 4376869 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19176/tid=19180] ppid=19174 vsize=807012 CPUtime=102.21 cores=1,3,5,7
/proc/19176/task/19180/stat : 19180 (SArTagnan) R 19174 19176 19041 0 -1 4202560 271283 0 0 0 10181 40 0 0 25 0 4 0 517109192 826380288 146964 33554432000 4194304 4623224 140736808747040 18446744073709551615 4545340 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 408.4
Current children cumulated vsize (KiB) 807012

[startup+162.301 s]
/proc/loadavg: 8.27 8.16 8.06 9/188 19185
/proc/meminfo: memFree=24152760/32951124 swapFree=67111524/67111528
[pid=19176] ppid=19174 vsize=1023268 CPUtime=648.06 cores=1,3,5,7
/proc/19176/stat : 19176 (SArTagnan) R 19174 19176 19041 0 -1 4202496 871693 0 0 0 64642 164 0 0 25 0 4 0 517109184 1047826432 191949 33554432000 4194304 4623224 140736808747040 18446744073709551615 4414885 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/19176/statm: 255817 191949 451 105 0 251321 0
[pid=19176/tid=19178] ppid=19174 vsize=1023268 CPUtime=162.21 cores=1,3,5,7
/proc/19176/task/19178/stat : 19178 (SArTagnan) R 19174 19176 19041 0 -1 4202560 42428 0 0 0 16206 15 0 0 25 0 4 0 517109192 1047826432 191949 33554432000 4194304 4623224 140736808747040 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19176/tid=19179] ppid=19174 vsize=1023268 CPUtime=162.2 cores=1,3,5,7
/proc/19176/task/19179/stat : 19179 (SArTagnan) R 19174 19176 19041 0 -1 4202560 50782 0 0 0 16190 30 0 0 25 0 4 0 517109192 1047826432 191949 33554432000 4194304 4623224 140736808747040 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19176/tid=19180] ppid=19174 vsize=1023268 CPUtime=162.21 cores=1,3,5,7
/proc/19176/task/19180/stat : 19180 (SArTagnan) R 19174 19176 19041 0 -1 4202560 525850 0 0 0 16141 80 0 0 25 0 4 0 517109192 1047826432 191949 33554432000 4194304 4623224 140736808747040 18446744073709551615 4363755 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 648.06
Current children cumulated vsize (KiB) 1023268

[startup+222.301 s]
/proc/loadavg: 8.26 8.16 8.06 9/188 19186
/proc/meminfo: memFree=23816704/32951124 swapFree=67111524/67111528
[pid=19176] ppid=19174 vsize=1165624 CPUtime=887.72 cores=1,3,5,7
/proc/19176/stat : 19176 (SArTagnan) R 19174 19176 19041 0 -1 4202496 1397594 0 0 0 88524 248 0 0 25 0 4 0 517109184 1193598976 228224 33554432000 4194304 4623224 140736808747040 18446744073709551615 4415014 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/19176/statm: 291406 228225 360 105 0 286910 0
[pid=19176/tid=19178] ppid=19174 vsize=1165624 CPUtime=222.21 cores=1,3,5,7
/proc/19176/task/19178/stat : 19178 (SArTagnan) R 19174 19176 19041 0 -1 4202560 46235 0 0 0 22202 19 0 0 25 0 4 0 517109192 1193598976 228225 33554432000 4194304 4623224 140736808747040 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19176/tid=19179] ppid=19174 vsize=1165624 CPUtime=222.2 cores=1,3,5,7
/proc/19176/task/19179/stat : 19179 (SArTagnan) R 19174 19176 19041 0 -1 4202560 55097 0 0 0 22185 35 0 0 25 0 4 0 517109192 1193598976 228226 33554432000 4194304 4623224 140736808747040 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19176/tid=19180] ppid=19174 vsize=1165624 CPUtime=222.19 cores=1,3,5,7
/proc/19176/task/19180/stat : 19180 (SArTagnan) R 19174 19176 19041 0 -1 4202560 949509 0 0 0 22076 143 0 0 25 0 4 0 517109192 1193598976 228226 33554432000 4194304 4623224 140736808747040 18446744073709551615 4366247 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 887.72
Current children cumulated vsize (KiB) 1165624

[startup+282.3 s]

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


[startup+702.301 s]
/proc/loadavg: 8.38 8.21 8.11 9/188 19199
/proc/meminfo: memFree=22236664/32951124 swapFree=67111524/67111528
[pid=19176] ppid=19174 vsize=2300176 CPUtime=2805.09 cores=1,3,5,7
/proc/19176/stat : 19176 (SArTagnan) R 19174 19176 19041 0 -1 4202496 3639382 0 0 0 279862 647 0 0 25 0 4 0 517109184 2355380224 450734 33554432000 4194304 4623224 140736808747040 18446744073709551615 4510090 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19176/statm: 575044 450734 344 105 0 570548 0
[pid=19176/tid=19178] ppid=19174 vsize=2300176 CPUtime=702.22 cores=1,3,5,7
/proc/19176/task/19178/stat : 19178 (SArTagnan) R 19174 19176 19041 0 -1 4202560 66815 0 0 0 70200 22 0 0 25 0 4 0 517109192 2355380224 450734 33554432000 4194304 4623224 140736808747040 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19176/tid=19179] ppid=19174 vsize=2300176 CPUtime=702.19 cores=1,3,5,7
/proc/19176/task/19179/stat : 19179 (SArTagnan) R 19174 19176 19041 0 -1 4202560 106568 0 0 0 70130 89 0 0 25 0 4 0 517109192 2355380224 450734 33554432000 4194304 4623224 140736808747040 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19176/tid=19180] ppid=19174 vsize=2300176 CPUtime=699.92 cores=1,3,5,7
/proc/19176/task/19180/stat : 19180 (SArTagnan) R 19174 19176 19041 0 -1 4202560 2680064 0 0 0 69569 423 0 0 25 0 4 0 517109192 2355380224 450734 33554432000 4194304 4623224 140736808747040 18446744073709551615 4377660 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2805.09
Current children cumulated vsize (KiB) 2300176

[startup+762.307 s]
/proc/loadavg: 8.25 8.20 8.11 10/188 19201
/proc/meminfo: memFree=22058828/32951124 swapFree=67111524/67111528
[pid=19176] ppid=19174 vsize=2344000 CPUtime=3044.79 cores=1,3,5,7
/proc/19176/stat : 19176 (SArTagnan) R 19174 19176 19041 0 -1 4202496 4053673 0 0 0 303764 715 0 0 25 0 4 0 517109184 2400256000 472397 33554432000 4194304 4623224 140736808747040 18446744073709551615 4510189 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19176/statm: 586000 472397 344 105 0 581504 0
[pid=19176/tid=19178] ppid=19174 vsize=2344000 CPUtime=762.23 cores=1,3,5,7
/proc/19176/task/19178/stat : 19178 (SArTagnan) R 19174 19176 19041 0 -1 4202560 67251 0 0 0 76201 22 0 0 25 0 4 0 517109192 2400256000 472397 33554432000 4194304 4623224 140736808747040 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19176/tid=19179] ppid=19174 vsize=2344000 CPUtime=762.19 cores=1,3,5,7
/proc/19176/task/19179/stat : 19179 (SArTagnan) R 19174 19176 19041 0 -1 4202560 108341 0 0 0 76128 91 0 0 25 0 4 0 517109192 2400256000 472397 33554432000 4194304 4623224 140736808747040 18446744073709551615 4376981 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19176/tid=19180] ppid=19174 vsize=2344000 CPUtime=759.6 cores=1,3,5,7
/proc/19176/task/19180/stat : 19180 (SArTagnan) R 19174 19176 19041 0 -1 4202560 3077338 0 0 0 75474 486 0 0 25 0 4 0 517109192 2400256000 472397 33554432000 4194304 4623224 140736808747040 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3044.79
Current children cumulated vsize (KiB) 2344000

[startup+822.301 s]
/proc/loadavg: 8.20 8.19 8.10 10/188 19202
/proc/meminfo: memFree=21928116/32951124 swapFree=67111524/67111528
[pid=19176] ppid=19174 vsize=2355364 CPUtime=3284.44 cores=1,3,5,7
/proc/19176/stat : 19176 (SArTagnan) R 19174 19176 19041 0 -1 4202496 4479968 0 0 0 327660 784 0 0 25 0 4 0 517109184 2411892736 494507 33554432000 4194304 4623224 140736808747040 18446744073709551615 4414965 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19176/statm: 588841 494507 344 105 0 584345 0
[pid=19176/tid=19178] ppid=19174 vsize=2355364 CPUtime=822.23 cores=1,3,5,7
/proc/19176/task/19178/stat : 19178 (SArTagnan) R 19174 19176 19041 0 -1 4202560 67769 0 0 0 82201 22 0 0 25 0 4 0 517109192 2411892736 494507 33554432000 4194304 4623224 140736808747040 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19176/tid=19179] ppid=19174 vsize=2355364 CPUtime=822.19 cores=1,3,5,7
/proc/19176/task/19179/stat : 19179 (SArTagnan) R 19174 19176 19041 0 -1 4202560 110185 0 0 0 82126 93 0 0 25 0 4 0 517109192 2411892736 494507 33554432000 4194304 4623224 140736808747040 18446744073709551615 4462864 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19176/tid=19180] ppid=19174 vsize=2355364 CPUtime=819.27 cores=1,3,5,7
/proc/19176/task/19180/stat : 19180 (SArTagnan) R 19174 19176 19041 0 -1 4202560 3484851 0 0 0 81377 550 0 0 25 0 4 0 517109192 2411892736 494507 33554432000 4194304 4623224 140736808747040 18446744073709551615 4364911 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3284.44
Current children cumulated vsize (KiB) 2355364

[startup+882.301 s]
/proc/loadavg: 8.23 8.18 8.10 9/188 19204
/proc/meminfo: memFree=21795796/32951124 swapFree=67111524/67111528
[pid=19176] ppid=19174 vsize=2446576 CPUtime=3524.12 cores=1,3,5,7
/proc/19176/stat : 19176 (SArTagnan) R 19174 19176 19041 0 -1 4202496 4930165 0 0 0 351550 862 0 0 25 0 4 0 517109184 2505293824 511851 33554432000 4194304 4623224 140736808747040 18446744073709551615 4415028 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19176/statm: 611644 511851 344 105 0 607148 0
[pid=19176/tid=19178] ppid=19174 vsize=2446576 CPUtime=882.22 cores=1,3,5,7
/proc/19176/task/19178/stat : 19178 (SArTagnan) R 19174 19176 19041 0 -1 4202560 68224 0 0 0 88200 22 0 0 25 0 4 0 517109192 2505293824 511851 33554432000 4194304 4623224 140736808747040 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19176/tid=19179] ppid=19174 vsize=2446576 CPUtime=882.19 cores=1,3,5,7
/proc/19176/task/19179/stat : 19179 (SArTagnan) R 19174 19176 19041 0 -1 4202560 123041 0 0 0 88121 98 0 0 25 0 4 0 517109192 2505293824 511851 33554432000 4194304 4623224 140736808747040 18446744073709551615 4376946 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19176/tid=19180] ppid=19174 vsize=2446576 CPUtime=878.94 cores=1,3,5,7
/proc/19176/task/19180/stat : 19180 (SArTagnan) R 19174 19176 19041 0 -1 4202560 3912405 0 0 0 87274 620 0 0 25 0 4 0 517109192 2505293824 511851 33554432000 4194304 4623224 140736808747040 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3524.12
Current children cumulated vsize (KiB) 2446576

[startup+942.3 s]
/proc/loadavg: 8.51 8.26 8.13 9/188 19205
/proc/meminfo: memFree=21690748/32951124 swapFree=67111524/67111528
[pid=19176] ppid=19174 vsize=2446576 CPUtime=3763.79 cores=1,3,5,7
/proc/19176/stat : 19176 (SArTagnan) R 19174 19176 19041 0 -1 4202496 5329304 0 0 0 375452 927 0 0 25 0 4 0 517109184 2505293824 528112 33554432000 4194304 4623224 140736808747040 18446744073709551615 4414984 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19176/statm: 611644 528112 344 105 0 607148 0
[pid=19176/tid=19178] ppid=19174 vsize=2446576 CPUtime=942.23 cores=1,3,5,7
/proc/19176/task/19178/stat : 19178 (SArTagnan) R 19174 19176 19041 0 -1 4202560 68666 0 0 0 94200 23 0 0 25 0 4 0 517109192 2505293824 528112 33554432000 4194304 4623224 140736808747040 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19176/tid=19179] ppid=19174 vsize=2446576 CPUtime=942.18 cores=1,3,5,7
/proc/19176/task/19179/stat : 19179 (SArTagnan) R 19174 19176 19041 0 -1 4202560 125923 0 0 0 94117 101 0 0 25 0 4 0 517109192 2505293824 528112 33554432000 4194304 4623224 140736808747040 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19176/tid=19180] ppid=19174 vsize=2446576 CPUtime=938.62 cores=1,3,5,7
/proc/19176/task/19180/stat : 19180 (SArTagnan) R 19174 19176 19041 0 -1 4202560 4299067 0 0 0 93182 680 0 0 25 0 4 0 517109192 2505293824 528112 33554432000 4194304 4623224 140736808747040 18446744073709551615 4364232 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3763.79
Current children cumulated vsize (KiB) 2446576

[startup+1002.3 s]
/proc/loadavg: 8.33 8.24 8.13 9/188 19207
/proc/meminfo: memFree=21406156/32951124 swapFree=67111524/67111528
[pid=19176] ppid=19174 vsize=2979336 CPUtime=4003.47 cores=1,3,5,7
/proc/19176/stat : 19176 (SArTagnan) R 19174 19176 19041 0 -1 4202496 5635313 0 0 0 399376 971 0 0 25 0 4 0 517109184 3050840064 579402 33554432000 4194304 4623224 140736808747040 18446744073709551615 4414993 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19176/statm: 744834 579402 358 105 0 740338 0
[pid=19176/tid=19178] ppid=19174 vsize=2979336 CPUtime=1002.23 cores=1,3,5,7
/proc/19176/task/19178/stat : 19178 (SArTagnan) R 19174 19176 19041 0 -1 4202560 69156 0 0 0 100200 23 0 0 25 0 4 0 517109192 3050840064 579402 33554432000 4194304 4623224 140736808747040 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19176/tid=19179] ppid=19174 vsize=2979336 CPUtime=1002.18 cores=1,3,5,7
/proc/19176/task/19179/stat : 19179 (SArTagnan) R 19174 19176 19041 0 -1 4202560 127554 0 0 0 100114 104 0 0 25 0 4 0 517109192 3050840064 579402 33554432000 4194304 4623224 140736808747040 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19176/tid=19180] ppid=19174 vsize=2979336 CPUtime=998.29 cores=1,3,5,7
/proc/19176/task/19180/stat : 19180 (SArTagnan) R 19174 19176 19041 0 -1 4202560 4319458 0 0 0 99145 684 0 0 25 0 4 0 517109192 3050840064 579402 33554432000 4194304 4623224 140736808747040 18446744073709551615 4377133 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4003.47
Current children cumulated vsize (KiB) 2979336

[startup+1062.3 s]
/proc/loadavg: 8.46 8.27 8.14 9/188 19209
/proc/meminfo: memFree=21176608/32951124 swapFree=67111524/67111528
[pid=19176] ppid=19174 vsize=3132528 CPUtime=4243.15 cores=1,3,5,7
/proc/19176/stat : 19176 (SArTagnan) R 19174 19176 19041 0 -1 4202496 5968252 0 0 0 423283 1032 0 0 25 0 4 0 517109184 3207708672 596701 33554432000 4194304 4623224 140736808747040 18446744073709551615 4510244 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19176/statm: 783132 596701 344 105 0 778636 0
[pid=19176/tid=19178] ppid=19174 vsize=3132528 CPUtime=1062.23 cores=1,3,5,7
/proc/19176/task/19178/stat : 19178 (SArTagnan) R 19174 19176 19041 0 -1 4202560 86766 0 0 0 106198 25 0 0 25 0 4 0 517109192 3207708672 596701 33554432000 4194304 4623224 140736808747040 18446744073709551615 4357641 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19176/tid=19179] ppid=19174 vsize=3132528 CPUtime=1062.18 cores=1,3,5,7
/proc/19176/task/19179/stat : 19179 (SArTagnan) R 19174 19176 19041 0 -1 4202560 130536 0 0 0 106109 109 0 0 25 0 4 0 517109192 3207708672 596701 33554432000 4194304 4623224 140736808747040 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19176/tid=19180] ppid=19174 vsize=3132528 CPUtime=1057.96 cores=1,3,5,7
/proc/19176/task/19180/stat : 19180 (SArTagnan) R 19174 19176 19041 0 -1 4202560 4597833 0 0 0 105063 733 0 0 25 0 4 0 517109192 3207708672 596701 33554432000 4194304 4623224 140736808747040 18446744073709551615 4364232 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4243.15
Current children cumulated vsize (KiB) 3132528

[startup+1122.3 s]
/proc/loadavg: 8.22 8.24 8.14 10/188 19210
/proc/meminfo: memFree=21062876/32951124 swapFree=67111524/67111528
[pid=19176] ppid=19174 vsize=3184176 CPUtime=4482.82 cores=1,3,5,7
/proc/19176/stat : 19176 (SArTagnan) R 19174 19176 19041 0 -1 4202496 6022897 0 0 0 447239 1043 0 0 25 0 4 0 517109184 3260596224 611784 33554432000 4194304 4623224 140736808747040 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19176/statm: 796044 611784 344 105 0 791548 0
[pid=19176/tid=19178] ppid=19174 vsize=3184176 CPUtime=1122.24 cores=1,3,5,7
/proc/19176/task/19178/stat : 19178 (SArTagnan) R 19174 19176 19041 0 -1 4202560 93265 0 0 0 112197 27 0 0 25 0 4 0 517109192 3260596224 611784 33554432000 4194304 4623224 140736808747040 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19176/tid=19179] ppid=19174 vsize=3184176 CPUtime=1122.18 cores=1,3,5,7
/proc/19176/task/19179/stat : 19179 (SArTagnan) R 19174 19176 19041 0 -1 4202560 132465 0 0 0 112107 111 0 0 25 0 4 0 517109192 3260596224 611784 33554432000 4194304 4623224 140736808747040 18446744073709551615 4376697 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19176/tid=19180] ppid=19174 vsize=3184176 CPUtime=1117.63 cores=1,3,5,7
/proc/19176/task/19180/stat : 19180 (SArTagnan) R 19174 19176 19041 0 -1 4202560 4636385 0 0 0 111024 739 0 0 25 0 4 0 517109192 3260596224 611784 33554432000 4194304 4623224 140736808747040 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4482.82
Current children cumulated vsize (KiB) 3184176

[startup+1182.3 s]
/proc/loadavg: 8.40 8.27 8.15 10/188 19212
/proc/meminfo: memFree=20954476/32951124 swapFree=67111524/67111528
[pid=19176] ppid=19174 vsize=3187628 CPUtime=4722.51 cores=1,3,5,7
/proc/19176/stat : 19176 (SArTagnan) R 19174 19176 19041 0 -1 4202496 6337836 0 0 0 471155 1096 0 0 25 0 4 0 517109184 3264131072 623269 33554432000 4194304 4623224 140736808747040 18446744073709551615 4415014 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19176/statm: 796907 623269 344 105 0 792411 0
[pid=19176/tid=19178] ppid=19174 vsize=3187628 CPUtime=1182.24 cores=1,3,5,7
/proc/19176/task/19178/stat : 19178 (SArTagnan) R 19174 19176 19041 0 -1 4202560 93759 0 0 0 118197 27 0 0 25 0 4 0 517109192 3264131072 623269 33554432000 4194304 4623224 140736808747040 18446744073709551615 4486238 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19176/tid=19179] ppid=19174 vsize=3187628 CPUtime=1182.18 cores=1,3,5,7
/proc/19176/task/19179/stat : 19179 (SArTagnan) R 19174 19176 19041 0 -1 4202560 134163 0 0 0 118104 114 0 0 25 0 4 0 517109192 3264131072 623269 33554432000 4194304 4623224 140736808747040 18446744073709551615 4366391 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19176/tid=19180] ppid=19174 vsize=3187628 CPUtime=1177.31 cores=1,3,5,7
/proc/19176/task/19180/stat : 19180 (SArTagnan) R 19174 19176 19041 0 -1 4202560 4942004 0 0 0 116944 787 0 0 25 0 4 0 517109192 3264131072 623269 33554432000 4194304 4623224 140736808747040 18446744073709551615 4545383 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4722.51
Current children cumulated vsize (KiB) 3187628



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.8 s]
/proc/loadavg: 8.29 8.25 8.15 5/183 19213
/proc/meminfo: memFree=22887672/32951124 swapFree=67111524/67111528
[pid=19176] ppid=19174 vsize=3188288 CPUtime=4800.42 cores=1,3,5,7
/proc/19176/stat : 19176 (SArTagnan) R 19174 19176 19041 0 -1 4202496 6466961 0 0 0 478922 1120 0 0 25 0 4 0 517109184 3264806912 629025 33554432000 4194304 4623224 140736808747040 18446744073709551615 4510090 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19176/statm: 797072 629025 344 105 0 792576 0
[pid=19176/tid=19178] ppid=19174 vsize=3188288 CPUtime=1201.75 cores=1,3,5,7
/proc/19176/task/19178/stat : 19178 (SArTagnan) R 19174 19176 19041 0 -1 4202560 93833 0 0 0 120148 27 0 0 25 0 4 0 517109192 3264806912 629025 33554432000 4194304 4623224 140736808747040 18446744073709551615 4486212 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19176/tid=19179] ppid=19174 vsize=3188288 CPUtime=1201.69 cores=1,3,5,7
/proc/19176/task/19179/stat : 19179 (SArTagnan) R 19174 19176 19041 0 -1 4202560 135784 0 0 0 120053 116 0 0 25 0 4 0 517109192 3264806912 629025 33554432000 4194304 4623224 140736808747040 18446744073709551615 4376678 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19176/tid=19180] ppid=19174 vsize=3188288 CPUtime=1196.7 cores=1,3,5,7
/proc/19176/task/19180/stat : 19180 (SArTagnan) R 19174 19176 19041 0 -1 4202560 5067460 0 0 0 118862 808 0 0 25 0 4 0 517109192 3264806912 629025 33554432000 4194304 4623224 140736808747040 18446744073709551615 4364232 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.42
Current children cumulated vsize (KiB) 3188288

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.29 8.25 8.15 5/183 19213
/proc/meminfo: memFree=22887672/32951124 swapFree=67111524/67111528
[pid=19176] ppid=19174 vsize=0 CPUtime=4800.54 cores=1,3,5,7
/proc/19176/stat : 19176 (SArTagnan) Z 19174 19176 19041 0 -1 4203548 6466961 0 0 0 478924 1130 0 0 25 0 2 0 517109184 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19176/statm: 0 0 0 0 0 0 0
[pid=19176/tid=19180] ppid=19174 vsize=0 CPUtime=1196.81 cores=1,3,5,7
/proc/19176/task/19180/stat : 19180 (SArTagnan) R 19174 19176 19041 0 -1 4203588 5067460 0 0 0 118863 818 0 0 25 0 2 0 517109192 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.54
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.92
CPU time (s): 4800.55
CPU user time (s): 4789.24
CPU system time (s): 11.3053
CPU usage (%): 399.408
Max. virtual memory (cumulated for all children) (KiB): 3929788

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4789.24
system time used= 11.3053
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6466961
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= 2062
involuntary context switches= 21711

runsolver used 1.77873 second user time and 4.78427 second system time

The end

Launcher Data 

Begin job on node132 at 2011-04-29 07:31:50
IDJOB=3258660
IDBENCH=71408
IDSOLVER=1656
FILE ID=node132/3258660-1304055110
RUNJOBID= node132-1304053906-19060
PBS_JOBID= 13170426
Free space on /tmp= 71868 MiB

SOLVER NAME= SArTagnan 2011-03-24
BENCH NAME= SAT09/CRAFTED/rbsat/random/forced/rbsat-v2640c305320gyes5.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3258660-1304055110/watcher-3258660-1304055110 -o /tmp/evaluation-result-3258660-1304055110/solver-3258660-1304055110 -C 4800 -W 1300 -M 15500  SArTagnan HOME/instance-3258660-1304055110.cnf -threads=4

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

MD5SUM BENCH= f892a2bda6fe6aec6f2fcb4e1c541df8
RANDOM SEED=103819095

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
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:      25399448 kB
Buffers:        761716 kB
Cached:        6216872 kB
SwapCached:          4 kB
Active:        1879704 kB
Inactive:      5175216 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25399448 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:            6252 kB
Writeback:           0 kB
AnonPages:       75784 kB
Mapped:          15096 kB
Slab:           434844 kB
PageTables:       4392 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   253872 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= 71868 MiB
End job on node132 at 2011-04-29 07:51:54