Trace number 3439151

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SArTagnan 2011-05-15 (fixed)SAT 6379.25 799.288

General information on the benchmark

Namecrafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-22_443.cnf
MD5SUM91ac0151536835225f21cbe5a3574a2d
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.438932
Satisfiable
(Un)Satisfiability was proved
Number of variables222
Number of clauses26201
Sum of the clauses size115467
Maximum clause length22
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2294
Number of clauses of size 323935
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 51972

Solver Data 

6378.49/799.18	
6378.49/799.18	s SATISFIABLE
6378.49/799.18	
6378.49/799.18	v 1 2 3 -4 5 6 7 8 9 10 11 12 -13 14 15 16 17 18 19 20 -21 22 -23 24 25 26 27 28 29 -30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 -50 51 52 53 54 55 56 57 58 -59 60 61 62 63 64 65 66 -67 68 -69 70 71 72 73 74 75 76 77 78 79 80 81 -82 83 84 85 86 87 88 89 -90 91 -92 93 94 95 96 97 98 99 100 -101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 -118 -119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 -136 137 138 139 140 141 -142 143 144 -145 146 -147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 -168 169 -170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 -187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 -207 208 209 210 -211 212 213 -214 215 -216 217 218 219 220 221 222 0

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3439151-1306960405/watcher-3439151-1306960405 -o /tmp/evaluation-result-3439151-1306960405/solver-3439151-1306960405 -C 40000 -W 5100 -M 31000 SArTagnan HOME/instance-3439151-1306960405.cnf -threads=8 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 40000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 40030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.00 0.00 0.00 1/514 11176
/proc/meminfo: memFree=21942336/32951124 swapFree=58800704/67111528
[pid=11176] ppid=11174 vsize=20784 CPUtime=0 cores=0-7
/proc/11176/stat : 11176 (SArTagnan) R 11174 11176 11150 0 -1 4202496 1209 0 1 0 0 0 0 0 25 0 1 0 788455947 21282816 862 33554432000 4194304 4625164 140734473955392 18446744073709551615 228095111877 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/11176/statm: 5196 864 296 106 0 699 0

[startup+0.0245229 s]
/proc/loadavg: 0.00 0.00 0.00 1/514 11176
/proc/meminfo: memFree=21942336/32951124 swapFree=58800704/67111528
[pid=11176] ppid=11174 vsize=60688 CPUtime=0.01 cores=0-7
/proc/11176/stat : 11176 (SArTagnan) R 11174 11176 11150 0 -1 4202496 3620 0 1 0 1 0 0 0 25 0 3 0 788455947 62144512 2896 33554432000 4194304 4625164 140734473955392 18446744073709551615 228095494327 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11176/statm: 15172 2896 301 106 0 10675 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 60688

[startup+0.260123 s]
/proc/loadavg: 0.00 0.00 0.00 1/514 11176
/proc/meminfo: memFree=21942336/32951124 swapFree=58800704/67111528
[pid=11176] ppid=11174 vsize=381332 CPUtime=7.23 cores=0-7
/proc/11176/stat : 11176 (SArTagnan) R 11174 11176 11150 0 -1 4202496 20128 0 1 0 720 3 0 0 25 0 8 0 788455947 390483968 8948 33554432000 4194304 4625164 140734473955392 18446744073709551615 4512029 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11176/statm: 95333 8948 345 106 0 90836 0
Current children cumulated CPU time (s) 7.23
Current children cumulated vsize (KiB) 381332

[startup+1.03634 s]
/proc/loadavg: 0.00 0.00 0.00 1/514 11176
/proc/meminfo: memFree=21942336/32951124 swapFree=58800704/67111528
[pid=11176] ppid=11174 vsize=381608 CPUtime=8.03 cores=0-7
/proc/11176/stat : 11176 (SArTagnan) R 11174 11176 11150 0 -1 4202496 21021 0 1 0 800 3 0 0 25 0 8 0 788455947 390766592 9517 33554432000 4194304 4625164 140734473955392 18446744073709551615 4512128 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11176/statm: 95402 9517 345 106 0 90905 0
Current children cumulated CPU time (s) 8.03
Current children cumulated vsize (KiB) 381608

[startup+1.13632 s]
/proc/loadavg: 0.00 0.00 0.00 1/514 11176
/proc/meminfo: memFree=21942336/32951124 swapFree=58800704/67111528
[pid=11176] ppid=11174 vsize=380740 CPUtime=8.83 cores=0-7
/proc/11176/stat : 11176 (SArTagnan) R 11174 11176 11150 0 -1 4202496 22175 0 1 0 880 3 0 0 25 0 8 0 788455947 389877760 9981 33554432000 4194304 4625164 140734473955392 18446744073709551615 4512125 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11176/statm: 95185 9981 345 106 0 90688 0
Current children cumulated CPU time (s) 8.83
Current children cumulated vsize (KiB) 380740

[startup+1.50026 s]
/proc/loadavg: 0.00 0.00 0.00 1/514 11176
/proc/meminfo: memFree=21942336/32951124 swapFree=58800704/67111528
[pid=11176] ppid=11174 vsize=383072 CPUtime=11.74 cores=0-7
/proc/11176/stat : 11176 (SArTagnan) R 11174 11176 11150 0 -1 4202496 26659 0 1 0 1170 4 0 0 25 0 8 0 788455947 392265728 11721 33554432000 4194304 4625164 140734473955392 18446744073709551615 4512854 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11176/statm: 95768 11721 348 106 0 91271 0
Current children cumulated CPU time (s) 11.74
Current children cumulated vsize (KiB) 383072

[startup+3.10096 s]
/proc/loadavg: 0.72 0.15 0.05 9/522 11184
/proc/meminfo: memFree=21870632/32951124 swapFree=58800704/67111528
[pid=11176] ppid=11174 vsize=392560 CPUtime=24.51 cores=0-7
/proc/11176/stat : 11176 (SArTagnan) R 11174 11176 11150 0 -1 4202496 45585 0 1 0 2443 8 0 0 25 0 8 0 788455947 401981440 18467 33554432000 4194304 4625164 140734473955392 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11176/statm: 98140 18467 348 106 0 93643 0
[pid=11176/tid=11178] ppid=11174 vsize=392560 CPUtime=3.06 cores=0-7
/proc/11176/task/11178/stat : 11178 (SArTagnan) R 11174 11176 11150 0 -1 4202560 2947 0 0 0 306 0 0 0 25 0 8 0 788455949 401981440 18467 33554432000 4194304 4625164 140734473955392 18446744073709551615 4352739 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11176/tid=11179] ppid=11174 vsize=392560 CPUtime=3.07 cores=0-7
/proc/11176/task/11179/stat : 11179 (SArTagnan) R 11174 11176 11150 0 -1 4202560 2720 0 0 0 307 0 0 0 25 0 8 0 788455949 401981440 18467 33554432000 4194304 4625164 140734473955392 18446744073709551615 4352280 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11176/tid=11180] ppid=11174 vsize=392560 CPUtime=3.04 cores=0-7
/proc/11176/task/11180/stat : 11180 (SArTagnan) R 11174 11176 11150 0 -1 4202560 22398 0 0 0 301 3 0 0 18 0 8 0 788455950 401981440 18467 33554432000 4194304 4625164 140734473955392 18446744073709551615 4562606 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11176/tid=11181] ppid=11174 vsize=392560 CPUtime=3.05 cores=0-7
/proc/11176/task/11181/stat : 11181 (SArTagnan) R 11174 11176 11150 0 -1 4202560 2921 0 0 0 305 0 0 0 25 0 8 0 788455950 401981440 18467 33554432000 4194304 4625164 140734473955392 18446744073709551615 4464349 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11176/tid=11182] ppid=11174 vsize=392560 CPUtime=3.02 cores=0-7
/proc/11176/task/11182/stat : 11182 (SArTagnan) R 11174 11176 11150 0 -1 4202560 2714 0 0 0 302 0 0 0 25 0 8 0 788455950 401981440 18467 33554432000 4194304 4625164 140734473955392 18446744073709551615 4339581 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11176/tid=11183] ppid=11174 vsize=392560 CPUtime=3.05 cores=0-7
/proc/11176/task/11183/stat : 11183 (SArTagnan) R 11174 11176 11150 0 -1 4202560 2741 0 0 0 305 0 0 0 25 0 8 0 788455950 401981440 18467 33554432000 4194304 4625164 140734473955392 18446744073709551615 4352739 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11176/tid=11184] ppid=11174 vsize=392560 CPUtime=3.06 cores=0-7
/proc/11176/task/11184/stat : 11184 (SArTagnan) R 11174 11176 11150 0 -1 4202560 4042 0 0 0 306 0 0 0 25 0 8 0 788455950 401981440 18467 33554432000 4194304 4625164 140734473955392 18446744073709551615 4351777 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 24.51
Current children cumulated vsize (KiB) 392560

[startup+6.31938 s]
/proc/loadavg: 1.30 0.28 0.09 9/522 11184
/proc/meminfo: memFree=21825868/32951124 swapFree=58800704/67111528
[pid=11176] ppid=11174 vsize=419660 CPUtime=50.21 cores=0-7
/proc/11176/stat : 11176 (SArTagnan) R 11174 11176 11150 0 -1 4202496 79229 0 1 0 5007 14 0 0 25 0 8 0 788455947 429731840 29256 33554432000 4194304 4625164 140734473955392 18446744073709551615 4519334 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11176/statm: 104915 29256 348 106 0 100418 0
[pid=11176/tid=11178] ppid=11174 vsize=419660 CPUtime=6.28 cores=0-7
/proc/11176/task/11178/stat : 11178 (SArTagnan) R 11174 11176 11150 0 -1 4202560 6288 0 0 0 627 1 0 0 25 0 8 0 788455949 429731840 29256 33554432000 4194304 4625164 140734473955392 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11176/tid=11179] ppid=11174 vsize=419660 CPUtime=6.28 cores=0-7
/proc/11176/task/11179/stat : 11179 (SArTagnan) R 11174 11176 11150 0 -1 4202560 4255 0 0 0 628 0 0 0 25 0 8 0 788455949 429731840 29256 33554432000 4194304 4625164 140734473955392 18446744073709551615 4351818 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11176/tid=11180] ppid=11174 vsize=419660 CPUtime=6.26 cores=0-7
/proc/11176/task/11180/stat : 11180 (SArTagnan) R 11174 11176 11150 0 -1 4202560 39938 0 0 0 620 6 0 0 25 0 8 0 788455950 429731840 29256 33554432000 4194304 4625164 140734473955392 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11176/tid=11181] ppid=11174 vsize=419660 CPUtime=6.27 cores=0-7
/proc/11176/task/11181/stat : 11181 (SArTagnan) R 11174 11176 11150 0 -1 4202560 6212 0 0 0 627 0 0 0 25 0 8 0 788455950 429731840 29256 33554432000 4194304 4625164 140734473955392 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11176/tid=11182] ppid=11174 vsize=419660 CPUtime=6.18 cores=0-7
/proc/11176/task/11182/stat : 11182 (SArTagnan) R 11174 11176 11150 0 -1 4202560 4284 0 0 0 618 0 0 0 25 0 8 0 788455950 429731840 29256 33554432000 4194304 4625164 140734473955392 18446744073709551615 4339655 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11176/tid=11183] ppid=11174 vsize=419660 CPUtime=6.28 cores=0-7
/proc/11176/task/11183/stat : 11183 (SArTagnan) R 11174 11176 11150 0 -1 4202560 6092 0 0 0 627 1 0 0 25 0 8 0 788455950 429731840 29256 33554432000 4194304 4625164 140734473955392 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11176/tid=11184] ppid=11174 vsize=419660 CPUtime=6.28 cores=0-7
/proc/11176/task/11184/stat : 11184 (SArTagnan) R 11174 11176 11150 0 -1 4202560 6320 0 0 0 628 0 0 0 25 0 8 0 788455950 429731840 29256 33554432000 4194304 4625164 140734473955392 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.21
Current children cumulated vsize (KiB) 419660

[startup+12.7012 s]
/proc/loadavg: 1.84 0.41 0.13 10/522 11184
/proc/meminfo: memFree=21766968/32951124 swapFree=58800704/67111528
[pid=11176] ppid=11174 vsize=450224 CPUtime=101.15 cores=0-7
/proc/11176/stat : 11176 (SArTagnan) R 11174 11176 11150 0 -1 4202496 122839 0 1 0 10094 21 0 0 25 0 8 0 788455947 461029376 45145 33554432000 4194304 4625164 140734473955392 18446744073709551615 4511986 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11176/statm: 112556 45145 348 106 0 108059 0
[pid=11176/tid=11178] ppid=11174 vsize=450224 CPUtime=12.67 cores=0-7
/proc/11176/task/11178/stat : 11178 (SArTagnan) R 11174 11176 11150 0 -1 4202560 9995 0 0 0 1265 2 0 0 25 0 8 0 788455949 461029376 45145 33554432000 4194304 4625164 140734473955392 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11176/tid=11179] ppid=11174 vsize=450224 CPUtime=12.65 cores=0-7
/proc/11176/task/11179/stat : 11179 (SArTagnan) R 11174 11176 11150 0 -1 4202560 6884 0 0 0 1265 0 0 0 25 0 8 0 788455949 461029376 45145 33554432000 4194304 4625164 140734473955392 18446744073709551615 4352739 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11176/tid=11180] ppid=11174 vsize=450224 CPUtime=12.65 cores=0-7
/proc/11176/task/11180/stat : 11180 (SArTagnan) R 11174 11176 11150 0 -1 4202560 62034 0 0 0 1255 10 0 0 19 0 8 0 788455950 461029376 45145 33554432000 4194304 4625164 140734473955392 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11176/tid=11181] ppid=11174 vsize=450224 CPUtime=12.65 cores=0-7
/proc/11176/task/11181/stat : 11181 (SArTagnan) R 11174 11176 11150 0 -1 4202560 9881 0 0 0 1264 1 0 0 25 0 8 0 788455950 461029376 45145 33554432000 4194304 4625164 140734473955392 18446744073709551615 4352728 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11176/tid=11182] ppid=11174 vsize=450224 CPUtime=12.47 cores=0-7
/proc/11176/task/11182/stat : 11182 (SArTagnan) R 11174 11176 11150 0 -1 4202560 6931 0 0 0 1246 1 0 0 25 0 8 0 788455950 461029376 45145 33554432000 4194304 4625164 140734473955392 18446744073709551615 4349768 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11176/tid=11183] ppid=11174 vsize=450224 CPUtime=12.66 cores=0-7
/proc/11176/task/11183/stat : 11183 (SArTagnan) R 11174 11176 11150 0 -1 4202560 9683 0 0 0 1264 2 0 0 25 0 8 0 788455950 461029376 45145 33554432000 4194304 4625164 140734473955392 18446744073709551615 4351811 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11176/tid=11184] ppid=11174 vsize=450224 CPUtime=12.66 cores=0-7
/proc/11176/task/11184/stat : 11184 (SArTagnan) R 11174 11176 11150 0 -1 4202560 10020 0 0 0 1265 1 0 0 25 0 8 0 788455950 461029376 45145 33554432000 4194304 4625164 140734473955392 18446744073709551615 4351814 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 101.15
Current children cumulated vsize (KiB) 450224

[startup+25.5009 s]
/proc/loadavg: 2.86 0.67 0.22 9/522 11185
/proc/meminfo: memFree=21662940/32951124 swapFree=58800704/67111528
[pid=11176] ppid=11174 vsize=492356 CPUtime=203.32 cores=0-7
/proc/11176/stat : 11176 (SArTagnan) R 11174 11176 11150 0 -1 4202496 196386 0 1 0 20299 33 0 0 25 0 8 0 788455947 504172544 70175 33554432000 4194304 4625164 140734473955392 18446744073709551615 4329151 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11176/statm: 123089 70175 406 106 0 118592 0
[pid=11176/tid=11178] ppid=11174 vsize=492356 CPUtime=25.47 cores=0-7
/proc/11176/task/11178/stat : 11178 (SArTagnan) R 11174 11176 11150 0 -1 4202560 16006 0 0 0 2544 3 0 0 25 0 8 0 788455949 504172544 70175 33554432000 4194304 4625164 140734473955392 18446744073709551615 4339643 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11176/tid=11179] ppid=11174 vsize=492356 CPUtime=25.45 cores=0-7
/proc/11176/task/11179/stat : 11179 (SArTagnan) R 11174 11176 11150 0 -1 4202560 10350 0 0 0 2544 1 0 0 25 0 8 0 788455949 504172544 70175 33554432000 4194304 4625164 140734473955392 18446744073709551615 4351975 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11176/tid=11180] ppid=11174 vsize=492356 CPUtime=25.44 cores=0-7
/proc/11176/task/11180/stat : 11180 (SArTagnan) R 11174 11176 11150 0 -1 4202560 102659 0 0 0 2529 15 0 0 25 0 8 0 788455950 504172544 70175 33554432000 4194304 4625164 140734473955392 18446744073709551615 4552315 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11176/tid=11181] ppid=11174 vsize=492356 CPUtime=25.44 cores=0-7
/proc/11176/task/11181/stat : 11181 (SArTagnan) R 11174 11176 11150 0 -1 4202560 15643 0 0 0 2542 2 0 0 25 0 8 0 788455950 504172544 70175 33554432000 4194304 4625164 140734473955392 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11176/tid=11182] ppid=11174 vsize=492356 CPUtime=25.04 cores=0-7
/proc/11176/task/11182/stat : 11182 (SArTagnan) R 11174 11176 11150 0 -1 4202560 10325 0 0 0 2503 1 0 0 25 0 8 0 788455950 504172544 70175 33554432000 4194304 4625164 140734473955392 18446744073709551615 4348924 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11176/tid=11183] ppid=11174 vsize=492356 CPUtime=25.46 cores=0-7
/proc/11176/task/11183/stat : 11183 (SArTagnan) R 11174 11176 11150 0 -1 4202560 15665 0 0 0 2543 3 0 0 25 0 8 0 788455950 504172544 70175 33554432000 4194304 4625164 140734473955392 18446744073709551615 4352021 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11176/tid=11184] ppid=11174 vsize=492356 CPUtime=25.46 cores=0-7
/proc/11176/task/11184/stat : 11184 (SArTagnan) R 11174 11176 11150 0 -1 4202560 16221 0 0 0 2544 2 0 0 25 0 8 0 788455950 504172544 70175 33554432000 4194304 4625164 140734473955392 18446744073709551615 4352021 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 203.32
Current children cumulated vsize (KiB) 492356

[startup+51.1012 s]
/proc/loadavg: 4.61 1.26 0.43 9/522 11185
/proc/meminfo: memFree=21504632/32951124 swapFree=58800704/67111528
[pid=11176] ppid=11174 vsize=770384 CPUtime=407.68 cores=0-7
/proc/11176/stat : 11176 (SArTagnan) R 11174 11176 11150 0 -1 4202496 327985 0 1 0 40711 57 0 0 25 0 8 0 788455947 788873216 111075 33554432000 4194304 4625164 140734473955392 18446744073709551615 4521606 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11176/statm: 192596 111075 769 106 0 188099 0
[pid=11176/tid=11178] ppid=11174 vsize=770384 CPUtime=51.07 cores=0-7
/proc/11176/task/11178/stat : 11178 (SArTagnan) R 11174 11176 11150 0 -1 4202560 24299 0 0 0 5103 4 0 0 25 0 8 0 788455949 788873216 111075 33554432000 4194304 4625164 140734473955392 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11176/tid=11179] ppid=11174 vsize=770384 CPUtime=51.04 cores=0-7
/proc/11176/task/11179/stat : 11179 (SArTagnan) R 11174 11176 11150 0 -1 4202560 15900 0 0 0 5103 1 0 0 25 0 8 0 788455949 788873216 111075 33554432000 4194304 4625164 140734473955392 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11176/tid=11180] ppid=11174 vsize=770384 CPUtime=51.04 cores=0-7
/proc/11176/task/11180/stat : 11180 (SArTagnan) R 11174 11176 11150 0 -1 4202560 188178 0 0 0 5074 30 0 0 25 0 8 0 788455950 788873216 111075 33554432000 4194304 4625164 140734473955392 18446744073709551615 4335407 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11176/tid=11181] ppid=11174 vsize=770384 CPUtime=51.05 cores=0-7
/proc/11176/task/11181/stat : 11181 (SArTagnan) R 11174 11176 11150 0 -1 4202560 24291 0 0 0 5101 4 0 0 25 0 8 0 788455950 788873216 111075 33554432000 4194304 4625164 140734473955392 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11176/tid=11182] ppid=11174 vsize=770384 CPUtime=50.19 cores=0-7
/proc/11176/task/11182/stat : 11182 (SArTagnan) R 11174 11176 11150 0 -1 4202560 16071 0 0 0 5017 2 0 0 25 0 8 0 788455950 788873216 111075 33554432000 4194304 4625164 140734473955392 18446744073709551615 4349019 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11176/tid=11183] ppid=11174 vsize=770384 CPUtime=51.06 cores=0-7
/proc/11176/task/11183/stat : 11183 (SArTagnan) R 11174 11176 11150 0 -1 4202560 23844 0 0 0 5100 6 0 0 25 0 8 0 788455950 788873216 111075 33554432000 4194304 4625164 140734473955392 18446744073709551615 4351804 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11176/tid=11184] ppid=11174 vsize=770384 CPUtime=51.06 cores=0-7
/proc/11176/task/11184/stat : 11184 (SArTagnan) R 11174 11176 11150 0 -1 4202560 24362 0 0 0 5102 4 0 0 25 0 8 0 788455950 788873216 111075 33554432000 4194304 4625164 140734473955392 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 407.68
Current children cumulated vsize (KiB) 770384

[startup+102.301 s]
/proc/loadavg: 6.70 2.41 0.87 9/522 11187
/proc/meminfo: memFree=21286336/32951124 swapFree=58800704/67111528
[pid=11176] ppid=11174 vsize=1021952 CPUtime=816.35 cores=0-7
/proc/11176/stat : 11176 (SArTagnan) R 11174 11176 11150 0 -1 4202496 543207 0 1 0 81538 97 0 0 25 0 8 0 788455947 1046478848 164286 33554432000 4194304 4625164 140734473955392 18446744073709551615 4519319 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11176/statm: 255488 164286 444 106 0 250991 0
[pid=11176/tid=11178] ppid=11174 vsize=1021952 CPUtime=102.27 cores=0-7
/proc/11176/task/11178/stat : 11178 (SArTagnan) R 11174 11176 11150 0 -1 4202560 38632 0 0 0 10220 7 0 0 25 0 8 0 788455949 1046478848 164286 33554432000 4194304 4625164 140734473955392 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11176/tid=11179] ppid=11174 vsize=1021952 CPUtime=102.21 cores=0-7
/proc/11176/task/11179/stat : 11179 (SArTagnan) R 11174 11176 11150 0 -1 4202560 22679 0 0 0 10219 2 0 0 25 0 8 0 788455949 1046478848 164286 33554432000 4194304 4625164 140734473955392 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11176/tid=11180] ppid=11174 vsize=1021952 CPUtime=102.25 cores=0-7
/proc/11176/task/11180/stat : 11180 (SArTagnan) R 11174 11176 11150 0 -1 4202560 320579 0 0 0 10171 54 0 0 25 0 8 0 788455950 1046478848 164286 33554432000 4194304 4625164 140734473955392 18446744073709551615 4335407 0 0 4096 2 0 0 0 -1 5 0 0 0

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

/proc/loadavg: 8.06 7.46 4.56 9/522 11205
/proc/meminfo: memFree=19855572/32951124 swapFree=58800704/67111528
[pid=11176] ppid=11174 vsize=2571000 CPUtime=6238 cores=0-7
/proc/11176/stat : 11176 (SArTagnan) R 11174 11176 11150 0 -1 4202496 3164578 0 1 0 623250 550 0 0 25 0 8 0 788455947 2632704000 520783 33554432000 4194304 4625164 140734473955392 18446744073709551615 4511945 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11176/statm: 642750 520783 431 106 0 638253 0
[pid=11176/tid=11178] ppid=11174 vsize=2571000 CPUtime=781.48 cores=0-7
/proc/11176/task/11178/stat : 11178 (SArTagnan) R 11174 11176 11150 0 -1 4202560 139478 0 0 0 78122 26 0 0 25 0 8 0 788455949 2632704000 520783 33554432000 4194304 4625164 140734473955392 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11176/tid=11179] ppid=11174 vsize=2571000 CPUtime=781.15 cores=0-7
/proc/11176/task/11179/stat : 11179 (SArTagnan) R 11174 11176 11150 0 -1 4202560 78170 0 0 0 78102 13 0 0 25 0 8 0 788455949 2632704000 520783 33554432000 4194304 4625164 140734473955392 18446744073709551615 4351827 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11176/tid=11180] ppid=11174 vsize=2571000 CPUtime=781.44 cores=0-7
/proc/11176/task/11180/stat : 11180 (SArTagnan) R 11174 11176 11150 0 -1 4202560 2231601 0 0 0 77778 366 0 0 25 0 8 0 788455950 2632704000 520783 33554432000 4194304 4625164 140734473955392 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11176/tid=11181] ppid=11174 vsize=2571000 CPUtime=781.47 cores=0-7
/proc/11176/task/11181/stat : 11181 (SArTagnan) R 11174 11176 11150 0 -1 4202560 125633 0 0 0 78123 24 0 0 25 0 8 0 788455950 2632704000 520783 33554432000 4194304 4625164 140734473955392 18446744073709551615 4352739 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11176/tid=11182] ppid=11174 vsize=2571000 CPUtime=767.96 cores=0-7
/proc/11176/task/11182/stat : 11182 (SArTagnan) R 11174 11176 11150 0 -1 4202560 82816 0 0 0 76778 18 0 0 25 0 8 0 788455950 2632704000 520783 33554432000 4194304 4625164 140734473955392 18446744073709551615 4349019 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11176/tid=11183] ppid=11174 vsize=2571000 CPUtime=781.48 cores=0-7
/proc/11176/task/11183/stat : 11183 (SArTagnan) R 11174 11176 11150 0 -1 4202560 167901 0 0 0 78111 37 0 0 25 0 8 0 788455950 2632704000 520783 33554432000 4194304 4625164 140734473955392 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11176/tid=11184] ppid=11174 vsize=2571000 CPUtime=781.47 cores=0-7
/proc/11176/task/11184/stat : 11184 (SArTagnan) R 11174 11176 11150 0 -1 4202560 128508 0 0 0 78125 22 0 0 25 0 8 0 788455950 2632704000 520783 33554432000 4194304 4625164 140734473955392 18446744073709551615 4352044 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 6238
Current children cumulated vsize (KiB) 2571000

[startup+787.901 s]
/proc/loadavg: 8.05 7.48 4.60 9/522 11205
/proc/meminfo: memFree=19856608/32951124 swapFree=58800704/67111528
[pid=11176] ppid=11174 vsize=2571000 CPUtime=6289.08 cores=0-7
/proc/11176/stat : 11176 (SArTagnan) R 11174 11176 11150 0 -1 4202496 3175729 0 1 0 628356 552 0 0 25 0 8 0 788455947 2632704000 520803 33554432000 4194304 4625164 140734473955392 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11176/statm: 642750 520803 429 106 0 638253 0
[pid=11176/tid=11178] ppid=11174 vsize=2571000 CPUtime=787.88 cores=0-7
/proc/11176/task/11178/stat : 11178 (SArTagnan) R 11174 11176 11150 0 -1 4202560 139504 0 0 0 78762 26 0 0 25 0 8 0 788455949 2632704000 520803 33554432000 4194304 4625164 140734473955392 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11176/tid=11179] ppid=11174 vsize=2571000 CPUtime=787.55 cores=0-7
/proc/11176/task/11179/stat : 11179 (SArTagnan) R 11174 11176 11150 0 -1 4202560 78170 0 0 0 78742 13 0 0 25 0 8 0 788455949 2632704000 520803 33554432000 4194304 4625164 140734473955392 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11176/tid=11180] ppid=11174 vsize=2571000 CPUtime=787.84 cores=0-7
/proc/11176/task/11180/stat : 11180 (SArTagnan) R 11174 11176 11150 0 -1 4202560 2242259 0 0 0 78416 368 0 0 25 0 8 0 788455950 2632704000 520803 33554432000 4194304 4625164 140734473955392 18446744073709551615 4351998 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11176/tid=11181] ppid=11174 vsize=2571000 CPUtime=787.87 cores=0-7
/proc/11176/task/11181/stat : 11181 (SArTagnan) R 11174 11176 11150 0 -1 4202560 125851 0 0 0 78763 24 0 0 25 0 8 0 788455950 2632704000 520803 33554432000 4194304 4625164 140734473955392 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11176/tid=11182] ppid=11174 vsize=2571000 CPUtime=774.25 cores=0-7
/proc/11176/task/11182/stat : 11182 (SArTagnan) R 11174 11176 11150 0 -1 4202560 82895 0 0 0 77407 18 0 0 25 0 8 0 788455950 2632704000 520803 33554432000 4194304 4625164 140734473955392 18446744073709551615 4348844 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11176/tid=11183] ppid=11174 vsize=2571000 CPUtime=787.88 cores=0-7
/proc/11176/task/11183/stat : 11183 (SArTagnan) R 11174 11176 11150 0 -1 4202560 167901 0 0 0 78751 37 0 0 25 0 8 0 788455950 2632704000 520803 33554432000 4194304 4625164 140734473955392 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11176/tid=11184] ppid=11174 vsize=2571000 CPUtime=787.87 cores=0-7
/proc/11176/task/11184/stat : 11184 (SArTagnan) R 11174 11176 11150 0 -1 4202560 128549 0 0 0 78765 22 0 0 25 0 8 0 788455950 2632704000 520803 33554432000 4194304 4625164 140734473955392 18446744073709551615 4351824 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 6289.08
Current children cumulated vsize (KiB) 2571000

[startup+794.301 s]
/proc/loadavg: 8.05 7.48 4.61 9/522 11205
/proc/meminfo: memFree=19854128/32951124 swapFree=58800704/67111528
[pid=11176] ppid=11174 vsize=2571000 CPUtime=6340.17 cores=0-7
/proc/11176/stat : 11176 (SArTagnan) R 11174 11176 11150 0 -1 4202496 3191251 0 1 0 633463 554 0 0 25 0 8 0 788455947 2632704000 521497 33554432000 4194304 4625164 140734473955392 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11176/statm: 642750 521497 429 106 0 638253 0
[pid=11176/tid=11178] ppid=11174 vsize=2571000 CPUtime=794.28 cores=0-7
/proc/11176/task/11178/stat : 11178 (SArTagnan) R 11174 11176 11150 0 -1 4202560 139536 0 0 0 79402 26 0 0 25 0 8 0 788455949 2632704000 521497 33554432000 4194304 4625164 140734473955392 18446744073709551615 4352285 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11176/tid=11179] ppid=11174 vsize=2571000 CPUtime=793.95 cores=0-7
/proc/11176/task/11179/stat : 11179 (SArTagnan) R 11174 11176 11150 0 -1 4202560 78170 0 0 0 79382 13 0 0 25 0 8 0 788455949 2632704000 521497 33554432000 4194304 4625164 140734473955392 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11176/tid=11180] ppid=11174 vsize=2571000 CPUtime=794.24 cores=0-7
/proc/11176/task/11180/stat : 11180 (SArTagnan) R 11174 11176 11150 0 -1 4202560 2255430 0 0 0 79054 370 0 0 25 0 8 0 788455950 2632704000 521497 33554432000 4194304 4625164 140734473955392 18446744073709551615 4334728 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11176/tid=11181] ppid=11174 vsize=2571000 CPUtime=794.27 cores=0-7
/proc/11176/task/11181/stat : 11181 (SArTagnan) R 11174 11176 11150 0 -1 4202560 125902 0 0 0 79403 24 0 0 25 0 8 0 788455950 2632704000 521497 33554432000 4194304 4625164 140734473955392 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11176/tid=11182] ppid=11174 vsize=2571000 CPUtime=780.53 cores=0-7
/proc/11176/task/11182/stat : 11182 (SArTagnan) R 11174 11176 11150 0 -1 4202560 82895 0 0 0 78035 18 0 0 25 0 8 0 788455950 2632704000 521497 33554432000 4194304 4625164 140734473955392 18446744073709551615 4348832 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11176/tid=11183] ppid=11174 vsize=2571000 CPUtime=794.28 cores=0-7
/proc/11176/task/11183/stat : 11183 (SArTagnan) R 11174 11176 11150 0 -1 4202560 167901 0 0 0 79391 37 0 0 25 0 8 0 788455950 2632704000 521497 33554432000 4194304 4625164 140734473955392 18446744073709551615 4351824 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11176/tid=11184] ppid=11174 vsize=2571000 CPUtime=794.27 cores=0-7
/proc/11176/task/11184/stat : 11184 (SArTagnan) R 11174 11176 11150 0 -1 4202560 128682 0 0 0 79405 22 0 0 25 0 8 0 788455950 2632704000 521497 33554432000 4194304 4625164 140734473955392 18446744073709551615 4351830 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 6340.17
Current children cumulated vsize (KiB) 2571000

[startup+797.501 s]
/proc/loadavg: 8.04 7.49 4.63 9/522 11205
/proc/meminfo: memFree=19852632/32951124 swapFree=58800704/67111528
[pid=11176] ppid=11174 vsize=2571000 CPUtime=6365.72 cores=0-7
/proc/11176/stat : 11176 (SArTagnan) R 11174 11176 11150 0 -1 4202496 3205886 0 1 0 636015 557 0 0 25 0 8 0 788455947 2632704000 521320 33554432000 4194304 4625164 140734473955392 18446744073709551615 4519328 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11176/statm: 642750 521320 421 106 0 638253 0
[pid=11176/tid=11178] ppid=11174 vsize=2571000 CPUtime=797.48 cores=0-7
/proc/11176/task/11178/stat : 11178 (SArTagnan) R 11174 11176 11150 0 -1 4202560 139554 0 0 0 79722 26 0 0 25 0 8 0 788455949 2632704000 521320 33554432000 4194304 4625164 140734473955392 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11176/tid=11179] ppid=11174 vsize=2571000 CPUtime=797.15 cores=0-7
/proc/11176/task/11179/stat : 11179 (SArTagnan) R 11174 11176 11150 0 -1 4202560 78170 0 0 0 79702 13 0 0 25 0 8 0 788455949 2632704000 521321 33554432000 4194304 4625164 140734473955392 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11176/tid=11180] ppid=11174 vsize=2571000 CPUtime=797.44 cores=0-7
/proc/11176/task/11180/stat : 11180 (SArTagnan) R 11174 11176 11150 0 -1 4202560 2269207 0 0 0 79372 372 0 0 25 0 8 0 788455950 2632704000 521321 33554432000 4194304 4625164 140734473955392 18446744073709551615 4339447 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11176/tid=11181] ppid=11174 vsize=2571000 CPUtime=797.47 cores=0-7
/proc/11176/task/11181/stat : 11181 (SArTagnan) R 11174 11176 11150 0 -1 4202560 125923 0 0 0 79723 24 0 0 25 0 8 0 788455950 2632704000 521321 33554432000 4194304 4625164 140734473955392 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11176/tid=11182] ppid=11174 vsize=2571000 CPUtime=783.68 cores=0-7
/proc/11176/task/11182/stat : 11182 (SArTagnan) R 11174 11176 11150 0 -1 4202560 82906 0 0 0 78350 18 0 0 25 0 8 0 788455950 2632704000 521321 33554432000 4194304 4625164 140734473955392 18446744073709551615 4349019 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11176/tid=11183] ppid=11174 vsize=2571000 CPUtime=797.48 cores=0-7
/proc/11176/task/11183/stat : 11183 (SArTagnan) R 11174 11176 11150 0 -1 4202560 167901 0 0 0 79711 37 0 0 25 0 8 0 788455950 2632704000 521322 33554432000 4194304 4625164 140734473955392 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11176/tid=11184] ppid=11174 vsize=2571000 CPUtime=797.47 cores=0-7
/proc/11176/task/11184/stat : 11184 (SArTagnan) R 11174 11176 11150 0 -1 4202560 128709 0 0 0 79725 22 0 0 25 0 8 0 788455950 2632704000 521322 33554432000 4194304 4625164 140734473955392 18446744073709551615 4351814 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 6365.72
Current children cumulated vsize (KiB) 2571000

[startup+798.32 s]
/proc/loadavg: 8.04 7.49 4.63 9/522 11205
/proc/meminfo: memFree=19853624/32951124 swapFree=58800704/67111528
[pid=11176] ppid=11174 vsize=2571000 CPUtime=6372.25 cores=0-7
/proc/11176/stat : 11176 (SArTagnan) R 11174 11176 11150 0 -1 4202496 3206356 0 1 0 636668 557 0 0 25 0 8 0 788455947 2632704000 521251 33554432000 4194304 4625164 140734473955392 18446744073709551615 4511874 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11176/statm: 642750 521251 421 106 0 638253 0
[pid=11176/tid=11178] ppid=11174 vsize=2571000 CPUtime=798.3 cores=0-7
/proc/11176/task/11178/stat : 11178 (SArTagnan) R 11174 11176 11150 0 -1 4202560 139559 0 0 0 79804 26 0 0 25 0 8 0 788455949 2632704000 521251 33554432000 4194304 4625164 140734473955392 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11176/tid=11179] ppid=11174 vsize=2571000 CPUtime=797.97 cores=0-7
/proc/11176/task/11179/stat : 11179 (SArTagnan) R 11174 11176 11150 0 -1 4202560 78170 0 0 0 79784 13 0 0 25 0 8 0 788455949 2632704000 521251 33554432000 4194304 4625164 140734473955392 18446744073709551615 4351818 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11176/tid=11180] ppid=11174 vsize=2571000 CPUtime=798.26 cores=0-7
/proc/11176/task/11180/stat : 11180 (SArTagnan) R 11174 11176 11150 0 -1 4202560 2269387 0 0 0 79454 372 0 0 25 0 8 0 788455950 2632704000 521251 33554432000 4194304 4625164 140734473955392 18446744073709551615 4552315 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11176/tid=11181] ppid=11174 vsize=2571000 CPUtime=798.29 cores=0-7
/proc/11176/task/11181/stat : 11181 (SArTagnan) R 11174 11176 11150 0 -1 4202560 125928 0 0 0 79805 24 0 0 25 0 8 0 788455950 2632704000 521251 33554432000 4194304 4625164 140734473955392 18446744073709551615 4352005 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11176/tid=11182] ppid=11174 vsize=2571000 CPUtime=784.48 cores=0-7
/proc/11176/task/11182/stat : 11182 (SArTagnan) R 11174 11176 11150 0 -1 4202560 82906 0 0 0 78430 18 0 0 25 0 8 0 788455950 2632704000 521251 33554432000 4194304 4625164 140734473955392 18446744073709551615 4348817 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11176/tid=11183] ppid=11174 vsize=2571000 CPUtime=798.3 cores=0-7
/proc/11176/task/11183/stat : 11183 (SArTagnan) R 11174 11176 11150 0 -1 4202560 167901 0 0 0 79793 37 0 0 25 0 8 0 788455950 2632704000 521251 33554432000 4194304 4625164 140734473955392 18446744073709551615 4352044 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11176/tid=11184] ppid=11174 vsize=2571000 CPUtime=798.29 cores=0-7
/proc/11176/task/11184/stat : 11184 (SArTagnan) R 11174 11176 11150 0 -1 4202560 128725 0 0 0 79807 22 0 0 25 0 8 0 788455950 2632704000 521251 33554432000 4194304 4625164 140734473955392 18446744073709551615 4351827 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 6372.25
Current children cumulated vsize (KiB) 2571000

[startup+798.701 s]
/proc/loadavg: 8.04 7.49 4.63 9/522 11205
/proc/meminfo: memFree=19853624/32951124 swapFree=58800704/67111528
[pid=11176] ppid=11174 vsize=2571000 CPUtime=6375.29 cores=0-7
/proc/11176/stat : 11176 (SArTagnan) R 11174 11176 11150 0 -1 4202496 3206585 0 1 0 636972 557 0 0 25 0 8 0 788455947 2632704000 521264 33554432000 4194304 4625164 140734473955392 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11176/statm: 642750 521264 421 106 0 638253 0
[pid=11176/tid=11178] ppid=11174 vsize=2571000 CPUtime=798.68 cores=0-7
/proc/11176/task/11178/stat : 11178 (SArTagnan) R 11174 11176 11150 0 -1 4202560 139561 0 0 0 79842 26 0 0 25 0 8 0 788455949 2632704000 521264 33554432000 4194304 4625164 140734473955392 18446744073709551615 4351824 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11176/tid=11179] ppid=11174 vsize=2571000 CPUtime=798.35 cores=0-7
/proc/11176/task/11179/stat : 11179 (SArTagnan) R 11174 11176 11150 0 -1 4202560 78170 0 0 0 79822 13 0 0 25 0 8 0 788455949 2632704000 521264 33554432000 4194304 4625164 140734473955392 18446744073709551615 4351830 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11176/tid=11180] ppid=11174 vsize=2571000 CPUtime=798.64 cores=0-7
/proc/11176/task/11180/stat : 11180 (SArTagnan) R 11174 11176 11150 0 -1 4202560 2269387 0 0 0 79492 372 0 0 25 0 8 0 788455950 2632704000 521264 33554432000 4194304 4625164 140734473955392 18446744073709551615 4547280 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11176/tid=11181] ppid=11174 vsize=2571000 CPUtime=798.67 cores=0-7
/proc/11176/task/11181/stat : 11181 (SArTagnan) R 11174 11176 11150 0 -1 4202560 125931 0 0 0 79843 24 0 0 25 0 8 0 788455950 2632704000 521264 33554432000 4194304 4625164 140734473955392 18446744073709551615 4351777 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11176/tid=11182] ppid=11174 vsize=2571000 CPUtime=784.86 cores=0-7
/proc/11176/task/11182/stat : 11182 (SArTagnan) R 11174 11176 11150 0 -1 4202560 82906 0 0 0 78468 18 0 0 25 0 8 0 788455950 2632704000 521264 33554432000 4194304 4625164 140734473955392 18446744073709551615 4349183 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11176/tid=11183] ppid=11174 vsize=2571000 CPUtime=798.68 cores=0-7
/proc/11176/task/11183/stat : 11183 (SArTagnan) R 11174 11176 11150 0 -1 4202560 167901 0 0 0 79831 37 0 0 25 0 8 0 788455950 2632704000 521264 33554432000 4194304 4625164 140734473955392 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11176/tid=11184] ppid=11174 vsize=2571000 CPUtime=798.67 cores=0-7
/proc/11176/task/11184/stat : 11184 (SArTagnan) R 11174 11176 11150 0 -1 4202560 128729 0 0 0 79845 22 0 0 25 0 8 0 788455950 2632704000 521264 33554432000 4194304 4625164 140734473955392 18446744073709551615 4351839 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 6375.29
Current children cumulated vsize (KiB) 2571000

[startup+799.101 s]
/proc/loadavg: 8.04 7.49 4.63 9/522 11205
/proc/meminfo: memFree=19853624/32951124 swapFree=58800704/67111528
[pid=11176] ppid=11174 vsize=2571000 CPUtime=6378.49 cores=0-7
/proc/11176/stat : 11176 (SArTagnan) R 11174 11176 11150 0 -1 4202496 3206626 0 1 0 637292 557 0 0 25 0 8 0 788455947 2632704000 521301 33554432000 4194304 4625164 140734473955392 18446744073709551615 4360194 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11176/statm: 642750 521301 419 106 0 638253 0
[pid=11176/tid=11178] ppid=11174 vsize=2571000 CPUtime=799.08 cores=0-7
/proc/11176/task/11178/stat : 11178 (SArTagnan) R 11174 11176 11150 0 -1 4202560 139563 0 0 0 79882 26 0 0 25 0 8 0 788455949 2632704000 521301 33554432000 4194304 4625164 140734473955392 18446744073709551615 4352280 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11176/tid=11179] ppid=11174 vsize=2571000 CPUtime=798.75 cores=0-7
/proc/11176/task/11179/stat : 11179 (SArTagnan) R 11174 11176 11150 0 -1 4202560 78170 0 0 0 79862 13 0 0 25 0 8 0 788455949 2632704000 521301 33554432000 4194304 4625164 140734473955392 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11176/tid=11180] ppid=11174 vsize=2571000 CPUtime=799.04 cores=0-7
/proc/11176/task/11180/stat : 11180 (SArTagnan) R 11174 11176 11150 0 -1 4202560 2269389 0 0 0 79532 372 0 0 25 0 8 0 788455950 2632704000 521301 33554432000 4194304 4625164 140734473955392 18446744073709551615 4335407 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11176/tid=11181] ppid=11174 vsize=2571000 CPUtime=799.07 cores=0-7
/proc/11176/task/11181/stat : 11181 (SArTagnan) R 11174 11176 11150 0 -1 4202560 125937 0 0 0 79883 24 0 0 25 0 8 0 788455950 2632704000 521301 33554432000 4194304 4625164 140734473955392 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11176/tid=11182] ppid=11174 vsize=2571000 CPUtime=785.26 cores=0-7
/proc/11176/task/11182/stat : 11182 (SArTagnan) R 11174 11176 11150 0 -1 4202560 82911 0 0 0 78508 18 0 0 25 0 8 0 788455950 2632704000 521301 33554432000 4194304 4625164 140734473955392 18446744073709551615 4349019 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11176/tid=11183] ppid=11174 vsize=2571000 CPUtime=799.08 cores=0-7
/proc/11176/task/11183/stat : 11183 (SArTagnan) R 11174 11176 11150 0 -1 4202560 167902 0 0 0 79871 37 0 0 25 0 8 0 788455950 2632704000 521301 33554432000 4194304 4625164 140734473955392 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11176/tid=11184] ppid=11174 vsize=2571000 CPUtime=799.07 cores=0-7
/proc/11176/task/11184/stat : 11184 (SArTagnan) R 11174 11176 11150 0 -1 4202560 128746 0 0 0 79885 22 0 0 25 0 8 0 788455950 2632704000 521301 33554432000 4194304 4625164 140734473955392 18446744073709551615 4351818 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 6378.49
Current children cumulated vsize (KiB) 2571000

[startup+799.201 s]
/proc/loadavg: 8.04 7.49 4.63 9/522 11205
/proc/meminfo: memFree=19853624/32951124 swapFree=58800704/67111528
[pid=11176] ppid=11174 vsize=0 CPUtime=6379.15 cores=0-7
/proc/11176/stat : 11176 (SArTagnan) Z 11174 11176 11150 0 -1 4203548 3206646 0 1 0 637356 559 0 0 25 0 2 0 788455947 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11176/statm: 0 0 0 0 0 0 0
[pid=11176/tid=11178] ppid=11174 vsize=0 CPUtime=799.18 cores=0-7
/proc/11176/task/11178/stat : 11178 (SArTagnan) R 11174 11176 11150 0 -1 4203588 139563 0 0 0 79890 28 0 0 25 0 2 0 788455949 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 6379.15
Current children cumulated vsize (KiB) 0

Child status: 10
Real time (s): 799.288
CPU time (s): 6379.25
CPU user time (s): 6373.56
CPU system time (s): 5.68413
CPU usage (%): 798.117
Max. virtual memory (cumulated for all children) (KiB): 2692240

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6373.57
system time used= 5.68413
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3206646
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3391
involuntary context switches= 26397

runsolver used 3.85141 second user time and 9.96948 second system time

The end

Launcher Data 

Begin job on node142 at 2011-06-01 22:33:25
IDJOB=3439151
IDBENCH=83293
IDSOLVER=1936
FILE ID=node142/3439151-1306960405
RUNJOBID= node142-1306960405-11164
PBS_JOBID= 13497609
Free space on /tmp= 73848 MiB

SOLVER NAME= SArTagnan 2011-05-15 (fixed)
BENCH NAME= SAT11/crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/VanDerWaerden_pd_2-3-22_443.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3439151-1306960405/watcher-3439151-1306960405 -o /tmp/evaluation-result-3439151-1306960405/solver-3439151-1306960405 -C 40000 -W 5100 -M 31000  SArTagnan HOME/instance-3439151-1306960405.cnf -threads=8

TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 91ac0151536835225f21cbe5a3574a2d
RANDOM SEED=2026352994

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
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.67
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.846
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.81
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.846
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.846
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.846
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:      21942740 kB
Buffers:        144184 kB
Cached:         199704 kB
SwapCached:      11420 kB
Active:        9114788 kB
Inactive:      1640468 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      21942740 kB
SwapTotal:    67111528 kB
SwapFree:     58800704 kB
Dirty:             808 kB
Writeback:           0 kB
AnonPages:    10408412 kB
Mapped:          30700 kB
Slab:           106088 kB
PageTables:      75016 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 145377076 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= 73848 MiB
End job on node142 at 2011-06-01 22:46:44