Trace number 3282229

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.39 1201.88

General information on the benchmark

NameAPPLICATIONS/bitverif/
smulo/smulo064.cnf
MD5SUM472e9d10d7fd1a82d06da0809d0002df
Bench CategoryAPPLICATION (applications 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 variables47129
Number of clauses141002
Sum of the clauses size329002
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 294000
Number of clauses of size 347000
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data


Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 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-3282229-1304042710/watcher-3282229-1304042710 -o /tmp/evaluation-result-3282229-1304042710/solver-3282229-1304042710 -C 4800 -W 1300 -M 15500 SArTagnan HOME/instance-3282229-1304042710.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: 6.78 8.05 7.92 6/180 9072
/proc/meminfo: memFree=26879204/32950928 swapFree=67111524/67111528
[pid=9072] ppid=9070 vsize=22376 CPUtime=0 cores=0,2,4,6
/proc/9072/stat : 9072 (SArTagnan) R 9070 9072 7632 0 -1 4202496 1236 0 0 0 0 0 0 0 22 0 1 0 515869690 22913024 1174 33554432000 4194304 4623224 140736755046256 18446744073709551615 4296444 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/9072/statm: 5594 1186 290 105 0 1098 0

[startup+0.0429071 s]
/proc/loadavg: 6.78 8.05 7.92 6/180 9072
/proc/meminfo: memFree=26879204/32950928 swapFree=67111524/67111528
[pid=9072] ppid=9070 vsize=30284 CPUtime=0.03 cores=0,2,4,6
/proc/9072/stat : 9072 (SArTagnan) R 9070 9072 7632 0 -1 4202496 3389 0 0 0 3 0 0 0 22 0 1 0 515869690 31010816 2490 33554432000 4194304 4623224 140736755046256 18446744073709551615 4389076 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/9072/statm: 7571 2491 297 105 0 3075 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 30284

[startup+0.1009 s]
/proc/loadavg: 6.78 8.05 7.92 6/180 9072
/proc/meminfo: memFree=26879204/32950928 swapFree=67111524/67111528
[pid=9072] ppid=9070 vsize=282220 CPUtime=0.17 cores=0,2,4,6
/proc/9072/stat : 9072 (SArTagnan) R 9070 9072 7632 0 -1 4202496 11498 0 0 0 16 1 0 0 23 0 4 0 515869690 288993280 9257 33554432000 4194304 4623224 140736755046256 18446744073709551615 4501521 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/9072/statm: 70555 9257 332 105 0 66059 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 282220

[startup+0.300867 s]
/proc/loadavg: 6.78 8.05 7.92 6/180 9072
/proc/meminfo: memFree=26879204/32950928 swapFree=67111524/67111528
[pid=9072] ppid=9070 vsize=285096 CPUtime=0.98 cores=0,2,4,6
/proc/9072/stat : 9072 (SArTagnan) R 9070 9072 7632 0 -1 4202496 13158 0 0 0 96 2 0 0 25 0 4 0 515869690 291938304 10018 33554432000 4194304 4623224 140736755046256 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/9072/statm: 71274 10018 342 105 0 66778 0
Current children cumulated CPU time (s) 0.98
Current children cumulated vsize (KiB) 285096

[startup+0.700797 s]
/proc/loadavg: 6.78 8.05 7.92 6/180 9072
/proc/meminfo: memFree=26879204/32950928 swapFree=67111524/67111528
[pid=9072] ppid=9070 vsize=388808 CPUtime=2.57 cores=0,2,4,6
/proc/9072/stat : 9072 (SArTagnan) R 9070 9072 7632 0 -1 4202496 67402 0 0 0 247 10 0 0 25 0 4 0 515869690 398139392 36509 33554432000 4194304 4623224 140736755046256 18446744073709551615 251813901345 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/9072/statm: 97202 36515 354 105 0 92706 0
Current children cumulated CPU time (s) 2.57
Current children cumulated vsize (KiB) 388808

[startup+1.50067 s]
/proc/loadavg: 6.78 8.05 7.92 9/184 9076
/proc/meminfo: memFree=26597204/32950928 swapFree=67111524/67111528
[pid=9072] ppid=9070 vsize=619840 CPUtime=5.71 cores=0,2,4,6
/proc/9072/stat : 9072 (SArTagnan) R 9070 9072 7632 0 -1 4202496 197992 0 0 0 542 29 0 0 18 0 4 0 515869690 634716160 96930 33554432000 4194304 4623224 140736755046256 18446744073709551615 4360117 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/9072/statm: 154960 96930 342 105 0 150464 0
[pid=9072/tid=9074] ppid=9070 vsize=619840 CPUtime=1.4 cores=0,2,4,6
/proc/9072/task/9074/stat : 9074 (SArTagnan) S 9070 9072 7632 0 -1 4202560 38434 0 0 0 135 5 0 0 18 0 4 0 515869697 634716160 96930 33554432000 4194304 4623224 140736755046256 18446744073709551615 251814345198 0 0 4096 2 18446604453882026944 0 0 -1 4 0 0 0
[pid=9072/tid=9075] ppid=9070 vsize=619840 CPUtime=1.41 cores=0,2,4,6
/proc/9072/task/9075/stat : 9075 (SArTagnan) R 9070 9072 7632 0 -1 4202560 37803 0 0 0 136 5 0 0 18 0 4 0 515869697 634716160 96930 33554432000 4194304 4623224 140736755046256 18446744073709551615 4364687 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9072/tid=9076] ppid=9070 vsize=619840 CPUtime=1.39 cores=0,2,4,6
/proc/9072/task/9076/stat : 9076 (SArTagnan) R 9070 9072 7632 0 -1 4202560 25873 0 0 0 137 2 0 0 18 0 4 0 515869697 634716160 96930 33554432000 4194304 4623224 140736755046256 18446744073709551615 251813889612 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.71
Current children cumulated vsize (KiB) 619840

[startup+3.1004 s]
/proc/loadavg: 6.78 8.05 7.92 9/184 9076
/proc/meminfo: memFree=26491932/32950928 swapFree=67111524/67111528
[pid=9072] ppid=9070 vsize=621128 CPUtime=12.09 cores=0,2,4,6
/proc/9072/stat : 9072 (SArTagnan) R 9070 9072 7632 0 -1 4202496 200199 0 0 0 1180 29 0 0 21 0 4 0 515869690 636035072 94689 33554432000 4194304 4623224 140736755046256 18446744073709551615 4507151 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/9072/statm: 155282 94689 344 105 0 150786 0
[pid=9072/tid=9074] ppid=9070 vsize=621128 CPUtime=2.99 cores=0,2,4,6
/proc/9072/task/9074/stat : 9074 (SArTagnan) R 9070 9072 7632 0 -1 4202560 39645 0 0 0 294 5 0 0 21 0 4 0 515869697 636035072 94689 33554432000 4194304 4623224 140736755046256 18446744073709551615 4366412 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9072/tid=9075] ppid=9070 vsize=621128 CPUtime=3.01 cores=0,2,4,6
/proc/9072/task/9075/stat : 9075 (SArTagnan) R 9070 9072 7632 0 -1 4202560 37918 0 0 0 296 5 0 0 21 0 4 0 515869697 636035072 94689 33554432000 4194304 4623224 140736755046256 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9072/tid=9076] ppid=9070 vsize=621128 CPUtime=3 cores=0,2,4,6
/proc/9072/task/9076/stat : 9076 (SArTagnan) R 9070 9072 7632 0 -1 4202560 26750 0 0 0 297 3 0 0 21 0 4 0 515869697 636035072 94689 33554432000 4194304 4623224 140736755046256 18446744073709551615 4545376 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.09
Current children cumulated vsize (KiB) 621128

[startup+6.30086 s]
/proc/loadavg: 6.87 8.04 7.92 9/184 9076
/proc/meminfo: memFree=26483756/32950928 swapFree=67111524/67111528
[pid=9072] ppid=9070 vsize=621128 CPUtime=24.87 cores=0,2,4,6
/proc/9072/stat : 9072 (SArTagnan) R 9070 9072 7632 0 -1 4202496 200217 0 0 0 2458 29 0 0 25 0 4 0 515869690 636035072 94707 33554432000 4194304 4623224 140736755046256 18446744073709551615 4510167 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/9072/statm: 155282 94707 344 105 0 150786 0
[pid=9072/tid=9074] ppid=9070 vsize=621128 CPUtime=6.19 cores=0,2,4,6
/proc/9072/task/9074/stat : 9074 (SArTagnan) R 9070 9072 7632 0 -1 4202560 39645 0 0 0 614 5 0 0 25 0 4 0 515869697 636035072 94707 33554432000 4194304 4623224 140736755046256 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9072/tid=9075] ppid=9070 vsize=621128 CPUtime=6.21 cores=0,2,4,6
/proc/9072/task/9075/stat : 9075 (SArTagnan) R 9070 9072 7632 0 -1 4202560 37933 0 0 0 616 5 0 0 25 0 4 0 515869697 636035072 94707 33554432000 4194304 4623224 140736755046256 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9072/tid=9076] ppid=9070 vsize=621128 CPUtime=6.18 cores=0,2,4,6
/proc/9072/task/9076/stat : 9076 (SArTagnan) R 9070 9072 7632 0 -1 4202560 26752 0 0 0 615 3 0 0 25 0 4 0 515869697 636035072 94707 33554432000 4194304 4623224 140736755046256 18446744073709551615 4545376 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 24.87
Current children cumulated vsize (KiB) 621128

[startup+12.7008 s]
/proc/loadavg: 6.96 8.04 7.92 10/184 9076
/proc/meminfo: memFree=26466388/32950928 swapFree=67111524/67111528
[pid=9072] ppid=9070 vsize=621128 CPUtime=50.44 cores=0,2,4,6
/proc/9072/stat : 9072 (SArTagnan) R 9070 9072 7632 0 -1 4202496 200452 0 0 0 5015 29 0 0 25 0 4 0 515869690 636035072 94942 33554432000 4194304 4623224 140736755046256 18446744073709551615 4510592 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/9072/statm: 155282 94942 344 105 0 150786 0
[pid=9072/tid=9074] ppid=9070 vsize=621128 CPUtime=12.59 cores=0,2,4,6
/proc/9072/task/9074/stat : 9074 (SArTagnan) R 9070 9072 7632 0 -1 4202560 39688 0 0 0 1254 5 0 0 25 0 4 0 515869697 636035072 94942 33554432000 4194304 4623224 140736755046256 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9072/tid=9075] ppid=9070 vsize=621128 CPUtime=12.61 cores=0,2,4,6
/proc/9072/task/9075/stat : 9075 (SArTagnan) R 9070 9072 7632 0 -1 4202560 38089 0 0 0 1256 5 0 0 25 0 4 0 515869697 636035072 94942 33554432000 4194304 4623224 140736755046256 18446744073709551615 4289723 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9072/tid=9076] ppid=9070 vsize=621128 CPUtime=12.54 cores=0,2,4,6
/proc/9072/task/9076/stat : 9076 (SArTagnan) R 9070 9072 7632 0 -1 4202560 26762 0 0 0 1251 3 0 0 25 0 4 0 515869697 636035072 94942 33554432000 4194304 4623224 140736755046256 18446744073709551615 251813900827 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.44
Current children cumulated vsize (KiB) 621128

[startup+25.5006 s]
/proc/loadavg: 7.19 8.04 7.92 9/184 9076
/proc/meminfo: memFree=26433788/32950928 swapFree=67111524/67111528
[pid=9072] ppid=9070 vsize=617632 CPUtime=101.57 cores=0,2,4,6
/proc/9072/stat : 9072 (SArTagnan) R 9070 9072 7632 0 -1 4202496 242596 0 0 0 10120 37 0 0 25 0 4 0 515869690 632455168 97211 33554432000 4194304 4623224 140736755046256 18446744073709551615 4517600 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/9072/statm: 154408 97211 344 105 0 149912 0
[pid=9072/tid=9074] ppid=9070 vsize=617632 CPUtime=25.39 cores=0,2,4,6
/proc/9072/task/9074/stat : 9074 (SArTagnan) R 9070 9072 7632 0 -1 4202560 40341 0 0 0 2534 5 0 0 25 0 4 0 515869697 632455168 97211 33554432000 4194304 4623224 140736755046256 18446744073709551615 4289723 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9072/tid=9075] ppid=9070 vsize=617632 CPUtime=25.41 cores=0,2,4,6
/proc/9072/task/9075/stat : 9075 (SArTagnan) R 9070 9072 7632 0 -1 4202560 39260 0 0 0 2535 6 0 0 25 0 4 0 515869697 632455168 97211 33554432000 4194304 4623224 140736755046256 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9072/tid=9076] ppid=9070 vsize=617632 CPUtime=25.26 cores=0,2,4,6
/proc/9072/task/9076/stat : 9076 (SArTagnan) R 9070 9072 7632 0 -1 4202560 66367 0 0 0 2517 9 0 0 25 0 4 0 515869697 632455168 97211 33554432000 4194304 4623224 140736755046256 18446744073709551615 4364669 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.57
Current children cumulated vsize (KiB) 617632

[startup+51.1003 s]
/proc/loadavg: 7.59 8.07 7.93 10/184 9077
/proc/meminfo: memFree=26363264/32950928 swapFree=67111524/67111528
[pid=9072] ppid=9070 vsize=637000 CPUtime=203.82 cores=0,2,4,6
/proc/9072/stat : 9072 (SArTagnan) R 9070 9072 7632 0 -1 4202496 421681 0 0 0 20316 66 0 0 25 0 4 0 515869690 652288000 103033 33554432000 4194304 4623224 140736755046256 18446744073709551615 4510090 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/9072/statm: 159250 103033 344 105 0 154754 0
[pid=9072/tid=9074] ppid=9070 vsize=637000 CPUtime=50.99 cores=0,2,4,6
/proc/9072/task/9074/stat : 9074 (SArTagnan) R 9070 9072 7632 0 -1 4202560 40435 0 0 0 5093 6 0 0 25 0 4 0 515869697 652288000 103033 33554432000 4194304 4623224 140736755046256 18446744073709551615 4461117 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9072/tid=9075] ppid=9070 vsize=637000 CPUtime=51 cores=0,2,4,6
/proc/9072/task/9075/stat : 9075 (SArTagnan) R 9070 9072 7632 0 -1 4202560 40268 0 0 0 5094 6 0 0 25 0 4 0 515869697 652288000 103033 33554432000 4194304 4623224 140736755046256 18446744073709551615 4289785 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9072/tid=9076] ppid=9070 vsize=637000 CPUtime=50.73 cores=0,2,4,6
/proc/9072/task/9076/stat : 9076 (SArTagnan) R 9070 9072 7632 0 -1 4202560 236340 0 0 0 5036 37 0 0 25 0 4 0 515869697 652288000 103033 33554432000 4194304 4623224 140736755046256 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 203.82
Current children cumulated vsize (KiB) 637000

[startup+102.307 s]
/proc/loadavg: 7.96 8.09 7.94 9/184 9078
/proc/meminfo: memFree=26232056/32950928 swapFree=67111524/67111528
[pid=9072] ppid=9070 vsize=706240 CPUtime=408.37 cores=0,2,4,6
/proc/9072/stat : 9072 (SArTagnan) R 9070 9072 7632 0 -1 4202496 736237 0 0 0 40721 116 0 0 25 0 4 0 515869690 723189760 114800 33554432000 4194304 4623224 140736755046256 18446744073709551615 4507376 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/9072/statm: 176560 114800 391 105 0 172064 0
[pid=9072/tid=9074] ppid=9070 vsize=706240 CPUtime=102.2 cores=0,2,4,6
/proc/9072/task/9074/stat : 9074 (SArTagnan) R 9070 9072 7632 0 -1 4202560 41688 0 0 0 10214 6 0 0 25 0 4 0 515869697 723189760 114800 33554432000 4194304 4623224 140736755046256 18446744073709551615 251813907418 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9072/tid=9075] ppid=9070 vsize=706240 CPUtime=102.21 cores=0,2,4,6
/proc/9072/task/9075/stat : 9075 (SArTagnan) R 9070 9072 7632 0 -1 4202560 42402 0 0 0 10213 8 0 0 25 0 4 0 515869697 723189760 114800 33554432000 4194304 4623224 140736755046256 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9072/tid=9076] ppid=9070 vsize=706240 CPUtime=101.64 cores=0,2,4,6
/proc/9072/task/9076/stat : 9076 (SArTagnan) R 9070 9072 7632 0 -1 4202560 546555 0 0 0 10080 84 0 0 25 0 4 0 515869697 723189760 114800 33554432000 4194304 4623224 140736755046256 18446744073709551615 4363989 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.37
Current children cumulated vsize (KiB) 706240

[startup+162.301 s]
/proc/loadavg: 8.11 8.10 7.95 10/184 9080
/proc/meminfo: memFree=26109272/32950928 swapFree=67111524/67111528
[pid=9072] ppid=9070 vsize=736348 CPUtime=648.01 cores=0,2,4,6
/proc/9072/stat : 9072 (SArTagnan) R 9070 9072 7632 0 -1 4202496 1113809 0 0 0 64622 179 0 0 25 0 4 0 515869690 754020352 127574 33554432000 4194304 4623224 140736755046256 18446744073709551615 4510316 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/9072/statm: 184087 127574 346 105 0 179591 0
[pid=9072/tid=9074] ppid=9070 vsize=736348 CPUtime=162.19 cores=0,2,4,6
/proc/9072/task/9074/stat : 9074 (SArTagnan) R 9070 9072 7632 0 -1 4202560 42325 0 0 0 16213 6 0 0 25 0 4 0 515869697 754020352 127574 33554432000 4194304 4623224 140736755046256 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9072/tid=9075] ppid=9070 vsize=736348 CPUtime=162.2 cores=0,2,4,6
/proc/9072/task/9075/stat : 9075 (SArTagnan) R 9070 9072 7632 0 -1 4202560 51932 0 0 0 16209 11 0 0 25 0 4 0 515869697 754020352 127574 33554432000 4194304 4623224 140736755046256 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9072/tid=9076] ppid=9070 vsize=736348 CPUtime=161.31 cores=0,2,4,6
/proc/9072/task/9076/stat : 9076 (SArTagnan) R 9070 9072 7632 0 -1 4202560 912875 0 0 0 15987 144 0 0 25 0 4 0 515869697 754020352 127574 33554432000 4194304 4623224 140736755046256 18446744073709551615 4364232 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 648.01
Current children cumulated vsize (KiB) 736348

[startup+222.301 s]
/proc/loadavg: 8.15 8.11 7.96 9/184 9082
/proc/meminfo: memFree=25988232/32950928 swapFree=67111524/67111528
[pid=9072] ppid=9070 vsize=816028 CPUtime=887.68 cores=0,2,4,6
/proc/9072/stat : 9072 (SArTagnan) R 9070 9072 7632 0 -1 4202496 1583566 0 0 0 88518 250 0 0 25 0 4 0 515869690 835612672 139484 33554432000 4194304 4623224 140736755046256 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/9072/statm: 204007 139484 345 105 0 199511 0
[pid=9072/tid=9074] ppid=9070 vsize=816028 CPUtime=222.19 cores=0,2,4,6
/proc/9072/task/9074/stat : 9074 (SArTagnan) R 9070 9072 7632 0 -1 4202560 43002 0 0 0 22213 6 0 0 25 0 4 0 515869697 835612672 139484 33554432000 4194304 4623224 140736755046256 18446744073709551615 4289723 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9072/tid=9075] ppid=9070 vsize=816028 CPUtime=222.2 cores=0,2,4,6
/proc/9072/task/9075/stat : 9075 (SArTagnan) R 9070 9072 7632 0 -1 4202560 53072 0 0 0 22209 11 0 0 25 0 4 0 515869697 835612672 139484 33554432000 4194304 4623224 140736755046256 18446744073709551615 4465909 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9072/tid=9076] ppid=9070 vsize=816028 CPUtime=220.98 cores=0,2,4,6
/proc/9072/task/9076/stat : 9076 (SArTagnan) R 9070 9072 7632 0 -1 4202560 1378998 0 0 0 21884 214 0 0 25 0 4 0 515869697 835612672 139484 33554432000 4194304 4623224 140736755046256 18446744073709551615 4577696 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 887.68
Current children cumulated vsize (KiB) 816028

[startup+282.301 s]

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

[pid=9072] ppid=9070 vsize=1186352 CPUtime=2565.39 cores=0,2,4,6
/proc/9072/stat : 9072 (SArTagnan) R 9070 9072 7632 0 -1 4202496 3195535 0 0 0 256032 507 0 0 25 0 4 0 515869690 1214824448 228688 33554432000 4194304 4623224 140736755046256 18446744073709551615 251813898377 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/9072/statm: 296588 228688 345 105 0 292092 0
[pid=9072/tid=9074] ppid=9070 vsize=1186352 CPUtime=642.21 cores=0,2,4,6
/proc/9072/task/9074/stat : 9074 (SArTagnan) R 9070 9072 7632 0 -1 4202560 58556 0 0 0 64211 10 0 0 25 0 4 0 515869697 1214824448 228688 33554432000 4194304 4623224 140736755046256 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9072/tid=9075] ppid=9070 vsize=1186352 CPUtime=642.22 cores=0,2,4,6
/proc/9072/task/9075/stat : 9075 (SArTagnan) R 9070 9072 7632 0 -1 4202560 75197 0 0 0 64201 21 0 0 25 0 4 0 515869697 1214824448 228688 33554432000 4194304 4623224 140736755046256 18446744073709551615 4377587 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9072/tid=9076] ppid=9070 vsize=1186352 CPUtime=638.65 cores=0,2,4,6
/proc/9072/task/9076/stat : 9076 (SArTagnan) R 9070 9072 7632 0 -1 4202560 2905947 0 0 0 63415 450 0 0 25 0 4 0 515869697 1214824448 228688 33554432000 4194304 4623224 140736755046256 18446744073709551615 4476608 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2565.39
Current children cumulated vsize (KiB) 1186352

[startup+702.301 s]
/proc/loadavg: 8.01 8.08 8.00 9/184 9094
/proc/meminfo: memFree=25141924/32950928 swapFree=67111524/67111528
[pid=9072] ppid=9070 vsize=1214276 CPUtime=2805.03 cores=0,2,4,6
/proc/9072/stat : 9072 (SArTagnan) R 9070 9072 7632 0 -1 4202496 3207931 0 0 0 279993 510 0 0 25 0 4 0 515869690 1243418624 235569 33554432000 4194304 4623224 140736755046256 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/9072/statm: 303569 235569 345 105 0 299073 0
[pid=9072/tid=9074] ppid=9070 vsize=1214276 CPUtime=702.2 cores=0,2,4,6
/proc/9072/task/9074/stat : 9074 (SArTagnan) R 9070 9072 7632 0 -1 4202560 59104 0 0 0 70210 10 0 0 25 0 4 0 515869697 1243418624 235569 33554432000 4194304 4623224 140736755046256 18446744073709551615 4330746 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9072/tid=9075] ppid=9070 vsize=1214276 CPUtime=702.2 cores=0,2,4,6
/proc/9072/task/9075/stat : 9075 (SArTagnan) R 9070 9072 7632 0 -1 4202560 75442 0 0 0 70199 21 0 0 25 0 4 0 515869697 1243418624 235569 33554432000 4194304 4623224 140736755046256 18446744073709551615 4377034 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9072/tid=9076] ppid=9070 vsize=1214276 CPUtime=698.32 cores=0,2,4,6
/proc/9072/task/9076/stat : 9076 (SArTagnan) R 9070 9072 7632 0 -1 4202560 2917526 0 0 0 69380 452 0 0 25 0 4 0 515869697 1243418624 235569 33554432000 4194304 4623224 140736755046256 18446744073709551615 4550465 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2805.03
Current children cumulated vsize (KiB) 1214276

[startup+762.307 s]
/proc/loadavg: 8.00 8.06 8.00 9/184 9096
/proc/meminfo: memFree=25067004/32950928 swapFree=67111524/67111528
[pid=9072] ppid=9070 vsize=1302760 CPUtime=3044.72 cores=0,2,4,6
/proc/9072/stat : 9072 (SArTagnan) R 9070 9072 7632 0 -1 4202496 3620292 0 0 0 303902 570 0 0 25 0 4 0 515869690 1334026240 241191 33554432000 4194304 4623224 140736755046256 18446744073709551615 4507139 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/9072/statm: 325690 241191 345 105 0 321194 0
[pid=9072/tid=9074] ppid=9070 vsize=1302760 CPUtime=762.2 cores=0,2,4,6
/proc/9072/task/9074/stat : 9074 (SArTagnan) R 9070 9072 7632 0 -1 4202560 59245 0 0 0 76210 10 0 0 25 0 4 0 515869697 1334026240 241191 33554432000 4194304 4623224 140736755046256 18446744073709551615 4366391 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9072/tid=9075] ppid=9070 vsize=1302760 CPUtime=762.21 cores=0,2,4,6
/proc/9072/task/9075/stat : 9075 (SArTagnan) R 9070 9072 7632 0 -1 4202560 75652 0 0 0 76200 21 0 0 25 0 4 0 515869697 1334026240 241191 33554432000 4194304 4623224 140736755046256 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9072/tid=9076] ppid=9070 vsize=1302760 CPUtime=757.99 cores=0,2,4,6
/proc/9072/task/9076/stat : 9076 (SArTagnan) R 9070 9072 7632 0 -1 4202560 3328705 0 0 0 75288 511 0 0 25 0 4 0 515869697 1334026240 241191 33554432000 4194304 4623224 140736755046256 18446744073709551615 4545376 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3044.72
Current children cumulated vsize (KiB) 1302760

[startup+822.301 s]
/proc/loadavg: 8.08 8.06 8.01 9/184 9098
/proc/meminfo: memFree=24963704/32950928 swapFree=67111524/67111528
[pid=9072] ppid=9070 vsize=1371428 CPUtime=3284.36 cores=0,2,4,6
/proc/9072/stat : 9072 (SArTagnan) R 9070 9072 7632 0 -1 4202496 3985231 0 0 0 327808 628 0 0 25 0 4 0 515869690 1404342272 250235 33554432000 4194304 4623224 140736755046256 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/9072/statm: 342857 250235 345 105 0 338361 0
[pid=9072/tid=9074] ppid=9070 vsize=1371428 CPUtime=822.2 cores=0,2,4,6
/proc/9072/task/9074/stat : 9074 (SArTagnan) R 9070 9072 7632 0 -1 4202560 59870 0 0 0 82210 10 0 0 25 0 4 0 515869697 1404342272 250235 33554432000 4194304 4623224 140736755046256 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9072/tid=9075] ppid=9070 vsize=1371428 CPUtime=822.2 cores=0,2,4,6
/proc/9072/task/9075/stat : 9075 (SArTagnan) R 9070 9072 7632 0 -1 4202560 75807 0 0 0 82199 21 0 0 25 0 4 0 515869697 1404342272 250235 33554432000 4194304 4623224 140736755046256 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9072/tid=9076] ppid=9070 vsize=1371428 CPUtime=817.65 cores=0,2,4,6
/proc/9072/task/9076/stat : 9076 (SArTagnan) R 9070 9072 7632 0 -1 4202560 3691858 0 0 0 81196 569 0 0 25 0 4 0 515869697 1404342272 250235 33554432000 4194304 4623224 140736755046256 18446744073709551615 251813937621 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3284.36
Current children cumulated vsize (KiB) 1371428

[startup+882.301 s]
/proc/loadavg: 8.16 8.08 8.01 10/184 9099
/proc/meminfo: memFree=24889884/32950928 swapFree=67111524/67111528
[pid=9072] ppid=9070 vsize=1371428 CPUtime=3524.04 cores=0,2,4,6
/proc/9072/stat : 9072 (SArTagnan) R 9070 9072 7632 0 -1 4202496 4433996 0 0 0 351707 697 0 0 25 0 4 0 515869690 1404342272 260531 33554432000 4194304 4623224 140736755046256 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/9072/statm: 342857 260531 350 105 0 338361 0
[pid=9072/tid=9074] ppid=9070 vsize=1371428 CPUtime=882.19 cores=0,2,4,6
/proc/9072/task/9074/stat : 9074 (SArTagnan) R 9070 9072 7632 0 -1 4202560 60200 0 0 0 88209 10 0 0 25 0 4 0 515869697 1404342272 260531 33554432000 4194304 4623224 140736755046256 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9072/tid=9075] ppid=9070 vsize=1371428 CPUtime=882.2 cores=0,2,4,6
/proc/9072/task/9075/stat : 9075 (SArTagnan) R 9070 9072 7632 0 -1 4202560 75945 0 0 0 88199 21 0 0 25 0 4 0 515869697 1404342272 260531 33554432000 4194304 4623224 140736755046256 18446744073709551615 4376708 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9072/tid=9076] ppid=9070 vsize=1371428 CPUtime=877.32 cores=0,2,4,6
/proc/9072/task/9076/stat : 9076 (SArTagnan) R 9070 9072 7632 0 -1 4202560 4139222 0 0 0 87095 637 0 0 25 0 4 0 515869697 1404342272 260531 33554432000 4194304 4623224 140736755046256 18446744073709551615 4364911 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3524.04
Current children cumulated vsize (KiB) 1371428

[startup+942.301 s]
/proc/loadavg: 8.18 8.10 8.02 9/184 9100
/proc/meminfo: memFree=24787072/32950928 swapFree=67111524/67111528
[pid=9072] ppid=9070 vsize=1371428 CPUtime=3763.71 cores=0,2,4,6
/proc/9072/stat : 9072 (SArTagnan) R 9070 9072 7632 0 -1 4202496 4852077 0 0 0 375609 762 0 0 25 0 4 0 515869690 1404342272 268297 33554432000 4194304 4623224 140736755046256 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/9072/statm: 342857 268297 345 105 0 338361 0
[pid=9072/tid=9074] ppid=9070 vsize=1371428 CPUtime=942.2 cores=0,2,4,6
/proc/9072/task/9074/stat : 9074 (SArTagnan) R 9070 9072 7632 0 -1 4202560 60339 0 0 0 94209 11 0 0 25 0 4 0 515869697 1404342272 268297 33554432000 4194304 4623224 140736755046256 18446744073709551615 4461113 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9072/tid=9075] ppid=9070 vsize=1371428 CPUtime=942.2 cores=0,2,4,6
/proc/9072/task/9075/stat : 9075 (SArTagnan) R 9070 9072 7632 0 -1 4202560 76120 0 0 0 94199 21 0 0 25 0 4 0 515869697 1404342272 268297 33554432000 4194304 4623224 140736755046256 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9072/tid=9076] ppid=9070 vsize=1371428 CPUtime=936.98 cores=0,2,4,6
/proc/9072/task/9076/stat : 9076 (SArTagnan) R 9070 9072 7632 0 -1 4202560 4555910 0 0 0 92997 701 0 0 25 0 4 0 515869697 1404342272 268297 33554432000 4194304 4623224 140736755046256 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3763.71
Current children cumulated vsize (KiB) 1371428

[startup+1002.3 s]
/proc/loadavg: 8.18 8.11 8.02 9/184 9102
/proc/meminfo: memFree=24708672/32950928 swapFree=67111524/67111528
[pid=9072] ppid=9070 vsize=1371428 CPUtime=4003.37 cores=0,2,4,6
/proc/9072/stat : 9072 (SArTagnan) R 9070 9072 7632 0 -1 4202496 5329368 0 0 0 399504 833 0 0 25 0 4 0 515869690 1404342272 278785 33554432000 4194304 4623224 140736755046256 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/9072/statm: 342857 278785 351 105 0 338361 0
[pid=9072/tid=9074] ppid=9070 vsize=1371428 CPUtime=1002.2 cores=0,2,4,6
/proc/9072/task/9074/stat : 9074 (SArTagnan) R 9070 9072 7632 0 -1 4202560 60456 0 0 0 100209 11 0 0 25 0 4 0 515869697 1404342272 278785 33554432000 4194304 4623224 140736755046256 18446744073709551615 4289678 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9072/tid=9075] ppid=9070 vsize=1371428 CPUtime=1002.2 cores=0,2,4,6
/proc/9072/task/9075/stat : 9075 (SArTagnan) R 9070 9072 7632 0 -1 4202560 76404 0 0 0 100199 21 0 0 25 0 4 0 515869697 1404342272 278785 33554432000 4194304 4623224 140736755046256 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9072/tid=9076] ppid=9070 vsize=1371428 CPUtime=996.65 cores=0,2,4,6
/proc/9072/task/9076/stat : 9076 (SArTagnan) R 9070 9072 7632 0 -1 4202560 5031520 0 0 0 98892 773 0 0 25 0 4 0 515869697 1404342272 278785 33554432000 4194304 4623224 140736755046256 18446744073709551615 4364232 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4003.37
Current children cumulated vsize (KiB) 1371428

[startup+1062.3 s]
/proc/loadavg: 8.17 8.12 8.02 9/184 9104
/proc/meminfo: memFree=24598780/32950928 swapFree=67111524/67111528
[pid=9072] ppid=9070 vsize=1445920 CPUtime=4243.05 cores=0,2,4,6
/proc/9072/stat : 9072 (SArTagnan) R 9070 9072 7632 0 -1 4202496 5707157 0 0 0 423413 892 0 0 25 0 4 0 515869690 1480622080 289331 33554432000 4194304 4623224 140736755046256 18446744073709551615 4510034 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/9072/statm: 361480 289331 345 105 0 356984 0
[pid=9072/tid=9074] ppid=9070 vsize=1445920 CPUtime=1062.21 cores=0,2,4,6
/proc/9072/task/9074/stat : 9074 (SArTagnan) R 9070 9072 7632 0 -1 4202560 61250 0 0 0 106209 12 0 0 25 0 4 0 515869697 1480622080 289331 33554432000 4194304 4623224 140736755046256 18446744073709551615 4330719 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9072/tid=9075] ppid=9070 vsize=1445920 CPUtime=1062.21 cores=0,2,4,6
/proc/9072/task/9075/stat : 9075 (SArTagnan) R 9070 9072 7632 0 -1 4202560 76563 0 0 0 106199 22 0 0 25 0 4 0 515869697 1480622080 289331 33554432000 4194304 4623224 140736755046256 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9072/tid=9076] ppid=9070 vsize=1445920 CPUtime=1056.33 cores=0,2,4,6
/proc/9072/task/9076/stat : 9076 (SArTagnan) R 9070 9072 7632 0 -1 4202560 5406852 0 0 0 104802 831 0 0 25 0 4 0 515869697 1480622080 289331 33554432000 4194304 4623224 140736755046256 18446744073709551615 4376832 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4243.05
Current children cumulated vsize (KiB) 1445920

[startup+1122.3 s]
/proc/loadavg: 8.16 8.12 8.03 9/184 9106
/proc/meminfo: memFree=24521996/32950928 swapFree=67111524/67111528
[pid=9072] ppid=9070 vsize=1526004 CPUtime=4482.72 cores=0,2,4,6
/proc/9072/stat : 9072 (SArTagnan) R 9070 9072 7632 0 -1 4202496 5810799 0 0 0 447361 911 0 0 25 0 4 0 515869690 1562628096 299391 33554432000 4194304 4623224 140736755046256 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/9072/statm: 381501 299391 345 105 0 377005 0
[pid=9072/tid=9074] ppid=9070 vsize=1526004 CPUtime=1122.2 cores=0,2,4,6
/proc/9072/task/9074/stat : 9074 (SArTagnan) R 9070 9072 7632 0 -1 4202560 63988 0 0 0 112206 14 0 0 25 0 4 0 515869697 1562628096 299391 33554432000 4194304 4623224 140736755046256 18446744073709551615 4461117 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9072/tid=9075] ppid=9070 vsize=1526004 CPUtime=1122.21 cores=0,2,4,6
/proc/9072/task/9075/stat : 9075 (SArTagnan) R 9070 9072 7632 0 -1 4202560 76748 0 0 0 112199 22 0 0 25 0 4 0 515869697 1562628096 299391 33554432000 4194304 4623224 140736755046256 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9072/tid=9076] ppid=9070 vsize=1526004 CPUtime=1115.99 cores=0,2,4,6
/proc/9072/task/9076/stat : 9076 (SArTagnan) R 9070 9072 7632 0 -1 4202560 5506233 0 0 0 110753 846 0 0 25 0 4 0 515869697 1562628096 299391 33554432000 4194304 4623224 140736755046256 18446744073709551615 4376745 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4482.72
Current children cumulated vsize (KiB) 1526004

[startup+1182.3 s]
/proc/loadavg: 8.10 8.11 8.03 9/184 9107
/proc/meminfo: memFree=24430944/32950928 swapFree=67111524/67111528
[pid=9072] ppid=9070 vsize=1602168 CPUtime=4722.39 cores=0,2,4,6
/proc/9072/stat : 9072 (SArTagnan) R 9070 9072 7632 0 -1 4202496 6297770 0 0 0 471252 987 0 0 25 0 4 0 515869690 1640620032 308542 33554432000 4194304 4623224 140736755046256 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/9072/statm: 400542 308542 345 105 0 396046 0
[pid=9072/tid=9074] ppid=9070 vsize=1602168 CPUtime=1182.21 cores=0,2,4,6
/proc/9072/task/9074/stat : 9074 (SArTagnan) R 9070 9072 7632 0 -1 4202560 64750 0 0 0 118205 16 0 0 25 0 4 0 515869697 1640620032 308542 33554432000 4194304 4623224 140736755046256 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9072/tid=9075] ppid=9070 vsize=1602168 CPUtime=1182.21 cores=0,2,4,6
/proc/9072/task/9075/stat : 9075 (SArTagnan) R 9070 9072 7632 0 -1 4202560 76839 0 0 0 118199 22 0 0 25 0 4 0 515869697 1640620032 308542 33554432000 4194304 4623224 140736755046256 18446744073709551615 4377679 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9072/tid=9076] ppid=9070 vsize=1602168 CPUtime=1175.66 cores=0,2,4,6
/proc/9072/task/9076/stat : 9076 (SArTagnan) R 9070 9072 7632 0 -1 4202560 5951960 0 0 0 116651 915 0 0 25 0 4 0 515869697 1640620032 308542 33554432000 4194304 4623224 140736755046256 18446744073709551615 4366412 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4722.39
Current children cumulated vsize (KiB) 1602168



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.8 s]
/proc/loadavg: 8.07 8.10 8.03 5/179 9109
/proc/meminfo: memFree=25661064/32950928 swapFree=67111524/67111528
[pid=9072] ppid=9070 vsize=1602168 CPUtime=4800.29 cores=0,2,4,6
/proc/9072/stat : 9072 (SArTagnan) R 9070 9072 7632 0 -1 4202496 6461198 0 0 0 479017 1012 0 0 25 0 4 0 515869690 1640620032 310906 33554432000 4194304 4623224 140736755046256 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/9072/statm: 400542 310906 351 105 0 396046 0
[pid=9072/tid=9074] ppid=9070 vsize=1602168 CPUtime=1201.71 cores=0,2,4,6
/proc/9072/task/9074/stat : 9074 (SArTagnan) R 9070 9072 7632 0 -1 4202560 64804 0 0 0 120155 16 0 0 25 0 4 0 515869697 1640620032 310906 33554432000 4194304 4623224 140736755046256 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9072/tid=9075] ppid=9070 vsize=1602168 CPUtime=1201.72 cores=0,2,4,6
/proc/9072/task/9075/stat : 9075 (SArTagnan) R 9070 9072 7632 0 -1 4202560 76902 0 0 0 120150 22 0 0 25 0 4 0 515869697 1640620032 310906 33554432000 4194304 4623224 140736755046256 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9072/tid=9076] ppid=9070 vsize=1602168 CPUtime=1195.05 cores=0,2,4,6
/proc/9072/task/9076/stat : 9076 (SArTagnan) R 9070 9072 7632 0 -1 4202560 6114987 0 0 0 118565 940 0 0 25 0 4 0 515869697 1640620032 310906 33554432000 4194304 4623224 140736755046256 18446744073709551615 4364911 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.29
Current children cumulated vsize (KiB) 1602168

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.88
CPU time (s): 4800.39
CPU user time (s): 4790.2
CPU system time (s): 10.1875
CPU usage (%): 399.408
Max. virtual memory (cumulated for all children) (KiB): 1669512

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4790.2
system time used= 10.1875
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6461198
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= 3040
involuntary context switches= 21813

runsolver used 2.03069 second user time and 4.53331 second system time

The end

Launcher Data 

Begin job on node126 at 2011-04-29 04:05:10
IDJOB=3282229
IDBENCH=70791
IDSOLVER=1656
FILE ID=node126/3282229-1304042710
RUNJOBID= node126-1304042710-9049
PBS_JOBID= 13170358
Free space on /tmp= 71596 MiB

SOLVER NAME= SArTagnan 2011-03-24
BENCH NAME= SAT09/APPLICATIONS/bitverif/smulo/smulo064.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3282229-1304042710/watcher-3282229-1304042710 -o /tmp/evaluation-result-3282229-1304042710/solver-3282229-1304042710 -C 4800 -W 1300 -M 15500  SArTagnan HOME/instance-3282229-1304042710.cnf -threads=4

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

MD5SUM BENCH= 472e9d10d7fd1a82d06da0809d0002df
RANDOM SEED=541592906

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.783
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.783
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.74
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.783
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.80
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.783
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.783
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.783
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:     32950928 kB
MemFree:      26879616 kB
Buffers:       1404404 kB
Cached:        4030744 kB
SwapCached:          4 kB
Active:         207000 kB
Inactive:      5320848 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      26879616 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:            3200 kB
Writeback:           0 kB
AnonPages:       92408 kB
Mapped:          15276 kB
Slab:           480196 kB
PageTables:       5080 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   275264 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= 71596 MiB
End job on node126 at 2011-04-29 04:25:14