0.00/0.00
0.00/0.00 c Computed by /tmp/evaluation/297995-1171848806/kcnfs-smp V. 1.2
0.00/0.00 c reading file ... done
0.00/0.00 c Input file : '/tmp/evaluation/297995-1171848806/instance-297995-1171848806.cnf'
0.00/0.00 c [#vars: 450, #clauses: 1912 -> 1991 clauses (pre-processing), tautology: 0, 3-CNF]
0.00/0.01 c unit clauses propagate before processing (#clause: 1991)
0.00/0.01 c estimated distribution: 8 tasks
0.00/0.02 c <29174> [PID]: 29176 29177 29178 29179 29180 29181 29182
0.02/0.35 c <29174> [PID]: 29183
0.02/0.35 c real distribution: 8 tasks
406.63/203.87 c <29174> [29182: SAT]
406.63/203.87 c <29174> [END]: 29176 29177 29178 29179 29180 29181 29183
406.63/203.87 s SATISFIABLE
406.63/203.87 v -1 2 3 -4 -5 -6 7
406.63/203.87 v 8 9 10 11 -12 -13 -14
406.63/203.87 v 15 16 17 18 19 -20 -21
406.63/203.87 v 22 23 -24 -25 26 -27 -28
406.63/203.87 v 29 -30 31 -32 33 -34 35
406.63/203.87 v -36 37 -38 39 -40 41 42
406.63/203.87 v -43 -44 -45 -46 47 48 -49
406.63/203.87 v -50 51 52 -53 -54 55 -56
406.63/203.87 v 57 -58 -59 -60 -61 62 63
406.63/203.87 v -64 -65 -66 67 -68 -69 70
406.63/203.87 v 71 72 -73 -74 75 -76 77
406.63/203.87 v 78 -79 80 -81 -82 -83 -84
406.63/203.87 v 85 86 87 -88 -89 -90 91
406.63/203.87 v 92 -93 -94 95 -96 -97 -98
406.63/203.87 v 99 -100 -101 -102 -103 -104 -105
406.63/203.87 v 106 -107 -108 109 -110 -111 -112
406.63/203.87 v -113 -114 115 -116 -117 118 119
406.63/203.87 v -120 121 -122 -123 -124 -125 -126
406.63/203.87 v 127 128 129 130 131 132 -133
406.63/203.87 v -134 135 136 137 138 139 140
406.63/203.87 v 141 -142 -143 -144 -145 146 -147
406.63/203.87 v -148 149 150 151 152 153 154
406.63/203.87 v -155 156 -157 -158 159 -160 161
406.63/203.87 v 162 163 -164 165 166 -167 -168
406.63/203.87 v -169 -170 -171 -172 173 174 175
406.63/203.87 v 176 -177 -178 179 -180 -181 -182
406.63/203.87 v -183 -184 -185 186 187 -188 189
406.63/203.87 v 190 191 -192 -193 -194 195 196
406.63/203.87 v -197 -198 -199 200 201 -202 -203
406.63/203.87 v 204 -205 -206 207 208 -209 210
406.63/203.87 v 211 212 -213 -214 215 -216 217
406.63/203.87 v 218 -219 220 -221 222 223 224
406.63/203.87 v -225 -226 227 -228 -229 -230 -231
406.63/203.87 v 232 233 -234 235 -236 -237 -238
406.63/203.87 v -239 240 241 242 -243 -244 245
406.63/203.87 v 246 -247 248 -249 -250 -251 -252
406.63/203.87 v 253 254 255 256 257 -258 -259
406.63/203.87 v -260 261 262 263 264 -265 -266
406.63/203.87 v -267 -268 269 270 271 -272 273
406.63/203.87 v 274 -275 -276 277 278 279 280
406.63/203.87 v -281 -282 283 284 -285 286 287
406.63/203.87 v -288 -289 290 -291 -292 -293 -294
406.63/203.87 v -295 296 -297 -298 -299 300 -301
406.63/203.87 v -302 -303 -304 -305 -306 -307 -308
406.63/203.87 v 309 -310 311 -312 -313 -314 -315
406.63/203.87 v 316 -317 318 319 -320 321 -322
406.63/203.87 v -323 -324 325 326 -327 -328 329
406.63/203.87 v 330 -331 -332 333 -334 -335 -336
406.63/203.87 v -337 338 -339 340 -341 -342 343
406.63/203.87 v -344 -345 346 -347 -348 -349 -350
406.63/203.87 v -351 352 353 -354 -355 356 -357
406.63/203.87 v 358 359 -360 361 362 363 364
406.63/203.87 v -365 -366 367 368 -369 -370 371
406.63/203.87 v 372 -373 374 375 -376 377 -378
406.63/203.87 v 379 -380 381 382 -383 384 385
406.63/203.87 v 386 -387 388 -389 -390 -391 392
406.63/203.87 v 393 -394 -395 396 397 -398 -399
406.63/203.87 v -400 -401 -402 403 -404 405 406
406.63/203.87 v 407 408 -409 410 -411 -412 -413
406.63/203.87 v 414 415 -416 417 -418 419 -420
406.63/203.87 v 421 422 -423 -424 -425 -426 -427
406.63/203.87 v 428 429 -430 431 432 433 -434
406.63/203.87 v -435 436 -437 438 439 440 -441
406.63/203.87 v 442 443 -444 -445 -446 447 -448
406.63/203.87 v -449 -450 0
406.63/203.87 c CPU time : 50.490 seconds
406.63/203.87 c Elapsed Time : 203.867 seconds
406.63/203.87 c Size of search tree : 91700 nodes
406.63/203.87 c average speed : 1816.201 nodes/sec.
406.63/203.87
runsolver version 3.2.0 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node3/watcher-297995-1171848806 -o ROOT/results/node3/solver-297995-1171848806 -C 1200 -M 1800 --output-limit 1,15 /tmp/evaluation/297995-1171848806/kcnfs-smp /tmp/evaluation/297995-1171848806/instance-297995-1171848806.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 29174
/proc/meminfo: memFree=779360/2055920 swapFree=4192812/4192956
[pid=29174] ppid=29172 vsize=181980 CPUtime=0
/proc/29174/stat : 29174 (kcnfs-smp) R 29172 29174 28079 0 -1 4194304 147 0 0 0 0 0 0 0 18 0 1 0 204835462 186347520 131 18446744073709551615 134512640 135172044 4294956624 18446744073709551615 134722722 0 0 4096 0 0 0 0 17 1 0 0
/proc/29174/statm: 45495 131 51 160 0 45333 0
[startup+0.107104 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 29174
/proc/meminfo: memFree=779360/2055920 swapFree=4192812/4192956
[pid=29174] ppid=29172 vsize=182448 CPUtime=0.02
/proc/29174/stat : 29174 (kcnfs-smp) R 29172 29174 28079 0 -1 4194304 356 0 0 0 2 0 0 0 22 0 1 0 204835462 186826752 241 18446744073709551615 134512640 135172044 4294956624 18446744073709551615 134649563 0 0 4096 0 0 0 0 17 0 0 0
/proc/29174/statm: 45612 241 72 160 0 45450 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 182448
[startup+0.515137 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 29174
/proc/meminfo: memFree=779360/2055920 swapFree=4192812/4192956
[pid=29174] ppid=29172 vsize=182448 CPUtime=0.02
/proc/29174/stat : 29174 (kcnfs-smp) S 29172 29174 28079 0 -1 4194304 435 0 0 0 2 0 0 0 22 0 1 0 204835462 186826752 241 18446744073709551615 134512640 135172044 4294956624 18446744073709551615 134836797 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/29174/statm: 45612 241 72 160 0 45450 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 182448
[startup+1.33721 s]
/proc/loadavg: 0.92 0.98 0.99 9/86 29183
/proc/meminfo: memFree=776408/2055920 swapFree=4192812/4192956
[pid=29174] ppid=29172 vsize=182448 CPUtime=0.02
/proc/29174/stat : 29174 (kcnfs-smp) S 29172 29174 28079 0 -1 4194304 435 0 0 0 2 0 0 0 22 0 1 0 204835462 186826752 241 18446744073709551615 134512640 135172044 4294956624 18446744073709551615 134836797 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/29174/statm: 45612 241 72 160 0 45450 0
[pid=29176] ppid=29174 vsize=182448 CPUtime=0.54
/proc/29176/stat : 29176 (kcnfs-smp) R 29174 29174 28079 0 -1 4194368 45 0 0 0 54 0 0 0 24 0 1 0 204835464 186826752 255 18446744073709551615 134512640 135172044 4294956624 18446744073709551615 134595645 0 0 4096 2 0 0 0 17 1 0 0
/proc/29176/statm: 45612 255 78 160 0 45450 0
[pid=29177] ppid=29174 vsize=182448 CPUtime=0.39
/proc/29177/stat : 29177 (kcnfs-smp) R 29174 29174 28079 0 -1 4194368 45 0 0 0 39 0 0 0 24 0 1 0 204835464 186826752 255 18446744073709551615 134512640 135172044 4294956624 18446744073709551615 134674482 0 0 4096 0 0 0 0 17 1 0 0
/proc/29177/statm: 45612 255 78 160 0 45450 0
[pid=29178] ppid=29174 vsize=182448 CPUtime=0.4
/proc/29178/stat : 29178 (kcnfs-smp) R 29174 29174 28079 0 -1 4194368 45 0 0 0 40 0 0 0 25 0 1 0 204835467 186826752 255 18446744073709551615 134512640 135172044 4294956624 18446744073709551615 134572748 0 0 4096 2 0 0 0 17 1 0 0
/proc/29178/statm: 45612 255 78 160 0 45450 0
[pid=29179] ppid=29174 vsize=182448 CPUtime=0.37
/proc/29179/stat : 29179 (kcnfs-smp) R 29174 29174 28079 0 -1 4194368 45 0 0 0 37 0 0 0 25 0 1 0 204835468 186826752 255 18446744073709551615 134512640 135172044 4294956624 18446744073709551615 134603848 0 0 4096 0 0 0 0 17 0 0 0
/proc/29179/statm: 45612 255 78 160 0 45450 0
[pid=29180] ppid=29174 vsize=182448 CPUtime=0.24
/proc/29180/stat : 29180 (kcnfs-smp) R 29174 29174 28079 0 -1 4194368 45 0 0 0 24 0 0 0 25 0 1 0 204835489 186826752 255 18446744073709551615 134512640 135172044 4294956624 18446744073709551615 134596599 0 0 4096 2 0 0 0 17 0 0 0
/proc/29180/statm: 45612 255 78 160 0 45450 0
[pid=29181] ppid=29174 vsize=182448 CPUtime=0.22
/proc/29181/stat : 29181 (kcnfs-smp) R 29174 29174 28079 0 -1 4194368 45 0 0 0 22 0 0 0 25 0 1 0 204835494 186826752 255 18446744073709551615 134512640 135172044 4294956624 18446744073709551615 134589836 0 0 4096 0 0 0 0 17 1 0 0
/proc/29181/statm: 45612 255 78 160 0 45450 0
[pid=29182] ppid=29174 vsize=182448 CPUtime=0.21
/proc/29182/stat : 29182 (kcnfs-smp) R 29174 29174 28079 0 -1 4194368 45 0 0 0 21 0 0 0 25 0 1 0 204835496 186826752 255 18446744073709551615 134512640 135172044 4294956624 18446744073709551615 134577632 0 0 4096 2 0 0 0 17 0 0 0
/proc/29182/statm: 45612 255 78 160 0 45450 0
[pid=29183] ppid=29174 vsize=182448 CPUtime=0.2
/proc/29183/stat : 29183 (kcnfs-smp) R 29174 29174 28079 0 -1 4194368 45 0 0 0 20 0 0 0 25 0 1 0 204835497 186826752 255 18446744073709551615 134512640 135172044 4294956624 18446744073709551615 134683578 0 0 4096 0 0 0 0 17 0 0 0
/proc/29183/statm: 45612 255 78 160 0 45450 0
Current children cumulated CPU time (s) 2.59
Current children cumulated vsize (KiB) 1642032
[startup+2.98934 s]
/proc/loadavg: 0.92 0.98 0.99 9/86 29183
/proc/meminfo: memFree=776280/2055920 swapFree=4192812/4192956
[pid=29174] ppid=29172 vsize=182448 CPUtime=0.02
/proc/29174/stat : 29174 (kcnfs-smp) S 29172 29174 28079 0 -1 4194304 435 0 0 0 2 0 0 0 22 0 1 0 204835462 186826752 241 18446744073709551615 134512640 135172044 4294956624 18446744073709551615 134836797 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/29174/statm: 45612 241 72 160 0 45450 0
[pid=29176] ppid=29174 vsize=182448 CPUtime=0.94
/proc/29176/stat : 29176 (kcnfs-smp) R 29174 29174 28079 0 -1 4194368 45 0 0 0 94 0 0 0 25 0 1 0 204835464 186826752 255 18446744073709551615 134512640 135172044 4294956624 18446744073709551615 134603257 0 0 4096 2 0 0 0 17 1 0 0
/proc/29176/statm: 45612 255 78 160 0 45450 0
[pid=29177] ppid=29174 vsize=182448 CPUtime=0.82
/proc/29177/stat : 29177 (kcnfs-smp) R 29174 29174 28079 0 -1 4194368 45 0 0 0 82 0 0 0 25 0 1 0 204835464 186826752 255 18446744073709551615 134512640 135172044 4294956624 18446744073709551615 134580041 0 0 4096 0 0 0 0 17 1 0 0
/proc/29177/statm: 45612 255 78 160 0 45450 0
[pid=29178] ppid=29174 vsize=182448 CPUtime=0.83
/proc/29178/stat : 29178 (kcnfs-smp) R 29174 29174 28079 0 -1 4194368 45 0 0 0 83 0 0 0 25 0 1 0 204835467 186826752 255 18446744073709551615 134512640 135172044 4294956624 18446744073709551615 134580127 0 0 4096 2 0 0 0 17 1 0 0
/proc/29178/statm: 45612 255 78 160 0 45450 0
[pid=29179] ppid=29174 vsize=182448 CPUtime=0.8
/proc/29179/stat : 29179 (kcnfs-smp) R 29174 29174 28079 0 -1 4194368 45 0 0 0 80 0 0 0 25 0 1 0 204835468 186826752 255 18446744073709551615 134512640 135172044 4294956624 18446744073709551615 134577530 0 0 4096 0 0 0 0 17 0 0 0
/proc/29179/statm: 45612 255 78 160 0 45450 0
[pid=29180] ppid=29174 vsize=182448 CPUtime=0.67
/proc/29180/stat : 29180 (kcnfs-smp) R 29174 29174 28079 0 -1 4194368 45 0 0 0 67 0 0 0 25 0 1 0 204835489 186826752 255 18446744073709551615 134512640 135172044 4294956624 18446744073709551615 134572315 0 0 4096 2 0 0 0 17 0 0 0
/proc/29180/statm: 45612 255 78 160 0 45450 0
[pid=29181] ppid=29174 vsize=182448 CPUtime=0.62
/proc/29181/stat : 29181 (kcnfs-smp) R 29174 29174 28079 0 -1 4194368 45 0 0 0 62 0 0 0 25 0 1 0 204835494 186826752 255 18446744073709551615 134512640 135172044 4294956624 18446744073709551615 134607979 0 0 4096 0 0 0 0 17 1 0 0
/proc/29181/statm: 45612 255 78 160 0 45450 0
[pid=29182] ppid=29174 vsize=182448 CPUtime=0.61
/proc/29182/stat : 29182 (kcnfs-smp) R 29174 29174 28079 0 -1 4194368 45 0 0 0 61 0 0 0 25 0 1 0 204835496 186826752 255 18446744073709551615 134512640 135172044 4294956624 18446744073709551615 134567444 0 0 4096 2 0 0 0 17 0 0 0
/proc/29182/statm: 45612 255 78 160 0 45450 0
[pid=29183] ppid=29174 vsize=182448 CPUtime=0.6
/proc/29183/stat : 29183 (kcnfs-smp) R 29174 29174 28079 0 -1 4194368 45 0 0 0 60 0 0 0 25 0 1 0 204835497 186826752 255 18446744073709551615 134512640 135172044 4294956624 18446744073709551615 134572317 0 0 4096 0 0 0 0 17 0 0 0
/proc/29183/statm: 45612 255 78 160 0 45450 0
Current children cumulated CPU time (s) 5.91
Current children cumulated vsize (KiB) 1642032
[startup+6.27961 s]
/proc/loadavg: 1.49 1.10 1.03 9/86 29183
/proc/meminfo: memFree=775960/2055920 swapFree=4192812/4192956
[pid=29174] ppid=29172 vsize=182448 CPUtime=0.02
/proc/29174/stat : 29174 (kcnfs-smp) S 29172 29174 28079 0 -1 4194304 435 0 0 0 2 0 0 0 22 0 1 0 204835462 186826752 241 18446744073709551615 134512640 135172044 4294956624 18446744073709551615 134836797 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/29174/statm: 45612 241 72 160 0 45450 0
[pid=29176] ppid=29174 vsize=182448 CPUtime=1.74
/proc/29176/stat : 29176 (kcnfs-smp) R 29174 29174 28079 0 -1 4194368 45 0 0 0 174 0 0 0 25 0 1 0 204835464 186826752 255 18446744073709551615 134512640 135172044 4294956624 18446744073709551615 134567392 0 0 4096 2 0 0 0 17 1 0 0
/proc/29176/statm: 45612 255 78 160 0 45450 0
[pid=29177] ppid=29174 vsize=182448 CPUtime=1.62
/proc/29177/stat : 29177 (kcnfs-smp) R 29174 29174 28079 0 -1 4194368 45 0 0 0 162 0 0 0 25 0 1 0 204835464 186826752 255 18446744073709551615 134512640 135172044 4294956624 18446744073709551615 134580320 0 0 4096 0 0 0 0 17 1 0 0
/proc/29177/statm: 45612 255 78 160 0 45450 0
[pid=29178] ppid=29174 vsize=182448 CPUtime=1.7
/proc/29178/stat : 29178 (kcnfs-smp) R 29174 29174 28079 0 -1 4194368 45 0 0 0 170 0 0 0 25 0 1 0 204835467 186826752 255 18446744073709551615 134512640 135172044 4294956624 18446744073709551615 134580258 0 0 4096 2 0 0 0 17 1 0 0
/proc/29178/statm: 45612 255 78 160 0 45450 0
[pid=29179] ppid=29174 vsize=182448 CPUtime=1.6
/proc/29179/stat : 29179 (kcnfs-smp) R 29174 29174 28079 0 -1 4194368 45 0 0 0 160 0 0 0 25 0 1 0 204835468 186826752 255 18446744073709551615 134512640 135172044 4294956624 18446744073709551615 134595628 0 0 4096 0 0 0 0 17 0 0 0
/proc/29179/statm: 45612 255 78 160 0 45450 0
[pid=29180] ppid=29174 vsize=182448 CPUtime=1.54
/proc/29180/stat : 29180 (kcnfs-smp) R 29174 29174 28079 0 -1 4194368 45 0 0 0 154 0 0 0 25 0 1 0 204835489 186826752 255 18446744073709551615 134512640 135172044 4294956624 18446744073709551615 134580154 0 0 4096 2 0 0 0 17 0 0 0
/proc/29180/statm: 45612 255 78 160 0 45450 0
[pid=29181] ppid=29174 vsize=182448 CPUtime=1.44
/proc/29181/stat : 29181 (kcnfs-smp) R 29174 29174 28079 0 -1 4194368 45 0 0 0 144 0 0 0 25 0 1 0 204835494 186826752 255 18446744073709551615 134512640 135172044 4294956624 18446744073709551615 134579685 0 0 4096 0 0 0 0 17 1 0 0
/proc/29181/statm: 45612 255 78 160 0 45450 0
[pid=29182] ppid=29174 vsize=182448 CPUtime=1.41
/proc/29182/stat : 29182 (kcnfs-smp) R 29174 29174 28079 0 -1 4194368 46 0 0 0 141 0 0 0 25 0 1 0 204835496 186826752 256 18446744073709551615 134512640 135172044 4294956624 18446744073709551615 134567426 0 0 4096 2 0 0 0 17 0 0 0
/proc/29182/statm: 45612 256 78 160 0 45450 0
[pid=29183] ppid=29174 vsize=182448 CPUtime=1.4
/proc/29183/stat : 29183 (kcnfs-smp) R 29174 29174 28079 0 -1 4194368 45 0 0 0 140 0 0 0 25 0 1 0 204835497 186826752 255 18446744073709551615 134512640 135172044 4294956624 18446744073709551615 134580041 0 0 4096 0 0 0 0 17 0 0 0
/proc/29183/statm: 45612 255 78 160 0 45450 0
Current children cumulated CPU time (s) 12.47
Current children cumulated vsize (KiB) 1642032
[startup+12.7791 s]
/proc/loadavg: 2.01 1.21 1.07 9/86 29183
/proc/meminfo: memFree=775960/2055920 swapFree=4192812/4192956
[pid=29174] ppid=29172 vsize=182448 CPUtime=0.02
/proc/29174/stat : 29174 (kcnfs-smp) S 29172 29174 28079 0 -1 4194304 435 0 0 0 2 0 0 0 22 0 1 0 204835462 186826752 241 18446744073709551615 134512640 135172044 4294956624 18446744073709551615 134836797 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/29174/statm: 45612 241 72 160 0 45450 0
[pid=29176] ppid=29174 vsize=182448 CPUtime=3.35
/proc/29176/stat : 29176 (kcnfs-smp) R 29174 29174 28079 0 -1 4194368 45 0 0 0 335 0 0 0 25 0 1 0 204835464 186826752 255 18446744073709551615 134512640 135172044 4294956624 18446744073709551615 134576910 0 0 4096 2 0 0 0 17 1 0 0
/proc/29176/statm: 45612 255 78 160 0 45450 0
[pid=29177] ppid=29174 vsize=182448 CPUtime=3.22
/proc/29177/stat : 29177 (kcnfs-smp) R 29174 29174 28079 0 -1 4194368 45 0 0 0 322 0 0 0 25 0 1 0 204835464 186826752 255 18446744073709551615 134512640 135172044 4294956624 18446744073709551615 134598937 0 0 4096 0 0 0 0 17 1 0 0
/proc/29177/statm: 45612 255 78 160 0 45450 0
[pid=29178] ppid=29174 vsize=182448 CPUtime=3.3
/proc/29178/stat : 29178 (kcnfs-smp) R 29174 29174 28079 0 -1 4194368 45 0 0 0 330 0 0 0 25 0 1 0 204835467 186826752 255 18446744073709551615 134512640 135172044 4294956624 18446744073709551615 134567534 0 0 4096 2 0 0 0 17 1 0 0
/proc/29178/statm: 45612 255 78 160 0 45450 0
[pid=29179] ppid=29174 vsize=182448 CPUtime=3.2
/proc/29179/stat : 29179 (kcnfs-smp) R 29174 29174 28079 0 -1 4194368 45 0 0 0 320 0 0 0 25 0 1 0 204835468 186826752 255 18446744073709551615 134512640 135172044 4294956624 18446744073709551615 134579676 0 0 4096 0 0 0 0 17 0 0 0
/proc/29179/statm: 45612 255 78 160 0 45450 0
[pid=29180] ppid=29174 vsize=182448 CPUtime=3.14
/proc/29180/stat : 29180 (kcnfs-smp) R 29174 29174 28079 0 -1 4194368 45 0 0 0 314 0 0 0 25 0 1 0 204835489 186826752 255 18446744073709551615 134512640 135172044 4294956624 18446744073709551615 134587106 0 0 4096 2 0 0 0 17 0 0 0
/proc/29180/statm: 45612 255 78 160 0 45450 0
[pid=29181] ppid=29174 vsize=182448 CPUtime=3.12
/proc/29181/stat : 29181 (kcnfs-smp) R 29174 29174 28079 0 -1 4194368 45 0 0 0 312 0 0 0 25 0 1 0 204835494 186826752 255 18446744073709551615 134512640 135172044 4294956624 18446744073709551615 134683111 0 0 4096 0 0 0 0 17 1 0 0
/proc/29181/statm: 45612 255 78 160 0 45450 0
[pid=29182] ppid=29174 vsize=182448 CPUtime=3.07
/proc/29182/stat : 29182 (kcnfs-smp) R 29174 29174 28079 0 -1 4194368 46 0 0 0 307 0 0 0 25 0 1 0 204835496 186826752 256 18446744073709551615 134512640 135172044 4294956624 18446744073709551615 134579714 0 0 4096 2 0 0 0 17 0 0 0
/proc/29182/statm: 45612 256 78 160 0 45450 0
[pid=29183] ppid=29174 vsize=182448 CPUtime=3
/proc/29183/stat : 29183 (kcnfs-smp) R 29174 29174 28079 0 -1 4194368 45 0 0 0 300 0 0 0 25 0 1 0 204835497 186826752 255 18446744073709551615 134512640 135172044 4294956624 18446744073709551615 134580277 0 0 4096 0 0 0 0 17 0 0 0
/proc/29183/statm: 45612 255 78 160 0 45450 0
Current children cumulated CPU time (s) 25.42
Current children cumulated vsize (KiB) 1642032
[startup+25.6372 s]
/proc/loadavg: 3.33 1.55 1.18 9/86 29183
/proc/meminfo: memFree=775960/2055920 swapFree=4192812/4192956
[pid=29174] ppid=29172 vsize=182448 CPUtime=0.02
/proc/29174/stat : 29174 (kcnfs-smp) S 29172 29174 28079 0 -1 4194304 435 0 0 0 2 0 0 0 22 0 1 0 204835462 186826752 241 18446744073709551615 134512640 135172044 4294956624 18446744073709551615 134836797 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/29174/statm: 45612 241 72 160 0 45450 0
[pid=29176] ppid=29174 vsize=182448 CPUtime=6.61
/proc/29176/stat : 29176 (kcnfs-smp) R 29174 29174 28079 0 -1 4194368 45 0 0 0 661 0 0 0 25 0 1 0 204835464 186826752 255 18446744073709551615 134512640 135172044 4294956624 18446744073709551615 134669218 0 0 4096 2 0 0 0 17 1 0 0
/proc/29176/statm: 45612 255 78 160 0 45450 0
[pid=29177] ppid=29174 vsize=182448 CPUtime=6.42
/proc/29177/stat : 29177 (kcnfs-smp) R 29174 29174 28079 0 -1 4194368 46 0 0 0 642 0 0 0 25 0 1 0 204835464 186826752 256 18446744073709551615 134512640 135172044 4294956624 18446744073709551615 134577653 0 0 4096 0 0 0 0 17 1 0 0
/proc/29177/statm: 45612 256 78 160 0 45450 0
[pid=29178] ppid=29174 vsize=182448 CPUtime=6.5
/proc/29178/stat : 29178 (kcnfs-smp) R 29174 29174 28079 0 -1 4194368 45 0 0 0 650 0 0 0 25 0 1 0 204835467 186826752 255 18446744073709551615 134512640 135172044 4294956624 18446744073709551615 134569450 0 0 4096 2 0 0 0 17 1 0 0
/proc/29178/statm: 45612 255 78 160 0 45450 0
[pid=29179] ppid=29174 vsize=182448 CPUtime=6.4
/proc/29179/stat : 29179 (kcnfs-smp) R 29174 29174 28079 0 -1 4194368 45 0 0 0 640 0 0 0 25 0 1 0 204835468 186826752 255 18446744073709551615 134512640 135172044 4294956624 18446744073709551615 134577632 0 0 4096 0 0 0 0 17 0 0 0
/proc/29179/statm: 45612 255 78 160 0 45450 0
[pid=29180] ppid=29174 vsize=182448 CPUtime=6.34
/proc/29180/stat : 29180 (kcnfs-smp) R 29174 29174 28079 0 -1 4194368 46 0 0 0 634 0 0 0 25 0 1 0 204835489 186826752 256 18446744073709551615 134512640 135172044 4294956624 18446744073709551615 134578981 0 0 4096 2 0 0 0 17 0 0 0
/proc/29180/statm: 45612 256 78 160 0 45450 0
[pid=29181] ppid=29174 vsize=182448 CPUtime=6.32
/proc/29181/stat : 29181 (kcnfs-smp) R 29174 29174 28079 0 -1 4194368 45 0 0 0 632 0 0 0 25 0 1 0 204835494 186826752 255 18446744073709551615 134512640 135172044 4294956624 18446744073709551615 134683111 0 0 4096 0 0 0 0 17 1 0 0
/proc/29181/statm: 45612 255 78 160 0 45450 0
[pid=29182] ppid=29174 vsize=182448 CPUtime=6.28
/proc/29182/stat : 29182 (kcnfs-smp) R 29174 29174 28079 0 -1 4194368 46 0 0 0 628 0 0 0 25 0 1 0 204835496 186826752 256 18446744073709551615 134512640 135172044 4294956624 18446744073709551615 134594408 0 0 4096 2 0 0 0 17 0 0 0
/proc/29182/statm: 45612 256 78 160 0 45450 0
[pid=29183] ppid=29174 vsize=182448 CPUtime=6.2
/proc/29183/stat : 29183 (kcnfs-smp) R 29174 29174 28079 0 -1 4194368 45 0 0 0 620 0 0 0 25 0 1 0 204835497 186826752 255 18446744073709551615 134512640 135172044 4294956624 18446744073709551615 134580041 0 0 4096 0 0 0 0 17 0 0 0
/proc/29183/statm: 45612 255 78 160 0 45450 0
Current children cumulated CPU time (s) 51.09
################
# More data... #
################
[pid=29174] ppid=29172 vsize=182448 CPUtime=0.02
/proc/29174/stat : 29174 (kcnfs-smp) S 29172 29174 28079 0 -1 4194304 435 0 0 0 2 0 0 0 22 0 1 0 204835462 186826752 241 18446744073709551615 134512640 135172044 4294956624 18446744073709551615 134836797 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/29174/statm: 45612 241 72 160 0 45450 0
[pid=29176] ppid=29174 vsize=182448 CPUtime=50.43
/proc/29176/stat : 29176 (kcnfs-smp) R 29174 29174 28079 0 -1 4194368 45 0 0 0 5043 0 0 0 25 0 1 0 204835464 186826752 255 18446744073709551615 134512640 135172044 4294956624 18446744073709551615 134572099 0 0 4096 2 0 0 0 17 1 0 0
/proc/29176/statm: 45612 255 78 160 0 45450 0
[pid=29177] ppid=29174 vsize=182448 CPUtime=50.31
/proc/29177/stat : 29177 (kcnfs-smp) R 29174 29174 28079 0 -1 4194368 46 0 0 0 5031 0 0 0 25 0 1 0 204835464 186826752 256 18446744073709551615 134512640 135172044 4294956624 18446744073709551615 134604569 0 0 4096 0 0 0 0 17 1 0 0
/proc/29177/statm: 45612 256 78 160 0 45450 0
[pid=29178] ppid=29174 vsize=182448 CPUtime=50.37
/proc/29178/stat : 29178 (kcnfs-smp) R 29174 29174 28079 0 -1 4194368 46 0 0 0 5037 0 0 0 25 0 1 0 204835467 186826752 256 18446744073709551615 134512640 135172044 4294956624 18446744073709551615 134675339 0 0 4096 2 0 0 0 17 1 0 0
/proc/29178/statm: 45612 256 78 160 0 45450 0
[pid=29179] ppid=29174 vsize=182448 CPUtime=50.09
/proc/29179/stat : 29179 (kcnfs-smp) R 29174 29174 28079 0 -1 4194368 46 0 0 0 5009 0 0 0 25 0 1 0 204835468 186826752 256 18446744073709551615 134512640 135172044 4294956624 18446744073709551615 134579742 0 0 4096 0 0 0 0 17 0 0 0
/proc/29179/statm: 45612 256 78 160 0 45450 0
[pid=29180] ppid=29174 vsize=182448 CPUtime=49.99
/proc/29180/stat : 29180 (kcnfs-smp) R 29174 29174 28079 0 -1 4194368 46 0 0 0 4999 0 0 0 25 0 1 0 204835489 186826752 256 18446744073709551615 134512640 135172044 4294956624 18446744073709551615 134578346 0 0 4096 2 0 0 0 17 0 0 0
/proc/29180/statm: 45612 256 78 160 0 45450 0
[pid=29181] ppid=29174 vsize=182448 CPUtime=50.11
/proc/29181/stat : 29181 (kcnfs-smp) R 29174 29174 28079 0 -1 4194368 46 0 0 0 5011 0 0 0 25 0 1 0 204835494 186826752 256 18446744073709551615 134512640 135172044 4294956624 18446744073709551615 134579429 0 0 4096 0 0 0 0 17 1 0 0
/proc/29181/statm: 45612 256 78 160 0 45450 0
[pid=29182] ppid=29174 vsize=182448 CPUtime=49.9
/proc/29182/stat : 29182 (kcnfs-smp) R 29174 29174 28079 0 -1 4194368 46 0 0 0 4990 0 0 0 25 0 1 0 204835496 186826752 256 18446744073709551615 134512640 135172044 4294956624 18446744073709551615 134580088 0 0 4096 2 0 0 0 17 0 0 0
/proc/29182/statm: 45612 256 78 160 0 45450 0
[pid=29183] ppid=29174 vsize=182448 CPUtime=49.89
/proc/29183/stat : 29183 (kcnfs-smp) R 29174 29174 28079 0 -1 4194368 46 0 0 0 4989 0 0 0 25 0 1 0 204835497 186826752 256 18446744073709551615 134512640 135172044 4294956624 18446744073709551615 134579723 0 0 4096 0 0 0 0 17 0 0 0
/proc/29183/statm: 45612 256 78 160 0 45450 0
Current children cumulated CPU time (s) 401.11
Current children cumulated vsize (KiB) 1642032
[startup+202.694 s]
/proc/loadavg: 7.75 4.40 2.34 9/86 29183
/proc/meminfo: memFree=775832/2055920 swapFree=4192812/4192956
[pid=29174] ppid=29172 vsize=182448 CPUtime=0.02
/proc/29174/stat : 29174 (kcnfs-smp) S 29172 29174 28079 0 -1 4194304 435 0 0 0 2 0 0 0 22 0 1 0 204835462 186826752 241 18446744073709551615 134512640 135172044 4294956624 18446744073709551615 134836797 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/29174/statm: 45612 241 72 160 0 45450 0
[pid=29176] ppid=29174 vsize=182448 CPUtime=50.83
/proc/29176/stat : 29176 (kcnfs-smp) R 29174 29174 28079 0 -1 4194368 45 0 0 0 5083 0 0 0 25 0 1 0 204835464 186826752 255 18446744073709551615 134512640 135172044 4294956624 18446744073709551615 134567648 0 0 4096 2 0 0 0 17 1 0 0
/proc/29176/statm: 45612 255 78 160 0 45450 0
[pid=29177] ppid=29174 vsize=182448 CPUtime=50.71
/proc/29177/stat : 29177 (kcnfs-smp) R 29174 29174 28079 0 -1 4194368 46 0 0 0 5071 0 0 0 25 0 1 0 204835464 186826752 256 18446744073709551615 134512640 135172044 4294956624 18446744073709551615 134683578 0 0 4096 0 0 0 0 17 1 0 0
/proc/29177/statm: 45612 256 78 160 0 45450 0
[pid=29178] ppid=29174 vsize=182448 CPUtime=50.8
/proc/29178/stat : 29178 (kcnfs-smp) R 29174 29174 28079 0 -1 4194368 46 0 0 0 5080 0 0 0 25 0 1 0 204835467 186826752 256 18446744073709551615 134512640 135172044 4294956624 18446744073709551615 134567234 0 0 4096 2 0 0 0 17 1 0 0
/proc/29178/statm: 45612 256 78 160 0 45450 0
[pid=29179] ppid=29174 vsize=182448 CPUtime=50.49
/proc/29179/stat : 29179 (kcnfs-smp) R 29174 29174 28079 0 -1 4194368 46 0 0 0 5049 0 0 0 25 0 1 0 204835468 186826752 256 18446744073709551615 134512640 135172044 4294956624 18446744073709551615 134577556 0 0 4096 0 0 0 0 17 0 0 0
/proc/29179/statm: 45612 256 78 160 0 45450 0
[pid=29180] ppid=29174 vsize=182448 CPUtime=50.43
/proc/29180/stat : 29180 (kcnfs-smp) R 29174 29174 28079 0 -1 4194368 46 0 0 0 5043 0 0 0 25 0 1 0 204835489 186826752 256 18446744073709551615 134512640 135172044 4294956624 18446744073709551615 134683095 0 0 4096 2 0 0 0 17 0 0 0
/proc/29180/statm: 45612 256 78 160 0 45450 0
[pid=29181] ppid=29174 vsize=182448 CPUtime=50.52
/proc/29181/stat : 29181 (kcnfs-smp) R 29174 29174 28079 0 -1 4194368 46 0 0 0 5052 0 0 0 25 0 1 0 204835494 186826752 256 18446744073709551615 134512640 135172044 4294956624 18446744073709551615 134633493 0 0 4096 0 0 0 0 17 1 0 0
/proc/29181/statm: 45612 256 78 160 0 45450 0
[pid=29182] ppid=29174 vsize=182448 CPUtime=50.3
/proc/29182/stat : 29182 (kcnfs-smp) R 29174 29174 28079 0 -1 4194368 46 0 0 0 5030 0 0 0 25 0 1 0 204835496 186826752 256 18446744073709551615 134512640 135172044 4294956624 18446744073709551615 134675468 0 0 4096 2 0 0 0 17 0 0 0
/proc/29182/statm: 45612 256 78 160 0 45450 0
[pid=29183] ppid=29174 vsize=182448 CPUtime=50.29
/proc/29183/stat : 29183 (kcnfs-smp) R 29174 29174 28079 0 -1 4194368 46 0 0 0 5029 0 0 0 25 0 1 0 204835497 186826752 256 18446744073709551615 134512640 135172044 4294956624 18446744073709551615 134683352 0 0 4096 0 0 0 0 17 0 0 0
/proc/29183/statm: 45612 256 78 160 0 45450 0
Current children cumulated CPU time (s) 404.39
Current children cumulated vsize (KiB) 1642032
[startup+203.514 s]
/proc/loadavg: 7.75 4.40 2.34 9/86 29183
/proc/meminfo: memFree=775832/2055920 swapFree=4192812/4192956
[pid=29174] ppid=29172 vsize=182448 CPUtime=0.02
/proc/29174/stat : 29174 (kcnfs-smp) S 29172 29174 28079 0 -1 4194304 435 0 0 0 2 0 0 0 22 0 1 0 204835462 186826752 241 18446744073709551615 134512640 135172044 4294956624 18446744073709551615 134836797 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/29174/statm: 45612 241 72 160 0 45450 0
[pid=29176] ppid=29174 vsize=182448 CPUtime=51.03
/proc/29176/stat : 29176 (kcnfs-smp) R 29174 29174 28079 0 -1 4194368 45 0 0 0 5103 0 0 0 25 0 1 0 204835464 186826752 255 18446744073709551615 134512640 135172044 4294956624 18446744073709551615 134580258 0 0 4096 2 0 0 0 17 1 0 0
/proc/29176/statm: 45612 255 78 160 0 45450 0
[pid=29177] ppid=29174 vsize=182448 CPUtime=50.91
/proc/29177/stat : 29177 (kcnfs-smp) R 29174 29174 28079 0 -1 4194368 46 0 0 0 5091 0 0 0 25 0 1 0 204835464 186826752 256 18446744073709551615 134512640 135172044 4294956624 18446744073709551615 134579723 0 0 4096 0 0 0 0 17 1 0 0
/proc/29177/statm: 45612 256 78 160 0 45450 0
[pid=29178] ppid=29174 vsize=182448 CPUtime=51
/proc/29178/stat : 29178 (kcnfs-smp) R 29174 29174 28079 0 -1 4194368 46 0 0 0 5100 0 0 0 25 0 1 0 204835467 186826752 256 18446744073709551615 134512640 135172044 4294956624 18446744073709551615 134577761 0 0 4096 2 0 0 0 17 1 0 0
/proc/29178/statm: 45612 256 78 160 0 45450 0
[pid=29179] ppid=29174 vsize=182448 CPUtime=50.69
/proc/29179/stat : 29179 (kcnfs-smp) R 29174 29174 28079 0 -1 4194368 46 0 0 0 5069 0 0 0 25 0 1 0 204835468 186826752 256 18446744073709551615 134512640 135172044 4294956624 18446744073709551615 134604645 0 0 4096 0 0 0 0 17 0 0 0
/proc/29179/statm: 45612 256 78 160 0 45450 0
[pid=29180] ppid=29174 vsize=182448 CPUtime=50.63
/proc/29180/stat : 29180 (kcnfs-smp) R 29174 29174 28079 0 -1 4194368 46 0 0 0 5063 0 0 0 25 0 1 0 204835489 186826752 256 18446744073709551615 134512640 135172044 4294956624 18446744073709551615 134577715 0 0 4096 2 0 0 0 17 0 0 0
/proc/29180/statm: 45612 256 78 160 0 45450 0
[pid=29181] ppid=29174 vsize=182448 CPUtime=50.74
/proc/29181/stat : 29181 (kcnfs-smp) R 29174 29174 28079 0 -1 4194368 46 0 0 0 5074 0 0 0 25 0 1 0 204835494 186826752 256 18446744073709551615 134512640 135172044 4294956624 18446744073709551615 134577464 0 0 4096 0 0 0 0 17 1 0 0
/proc/29181/statm: 45612 256 78 160 0 45450 0
[pid=29182] ppid=29174 vsize=0 CPUtime=50.47
/proc/29182/stat : 29182 (kcnfs-smp) R 29174 29174 28079 0 -1 4194372 59 0 0 0 5047 0 0 0 25 0 1 0 204835496 0 0 18446744073709551615 0 0 0 0 0 0 2147483391 4096 2 0 0 0 17 0 0 0
/proc/29182/statm: 0 0 0 0 0 0 0
[pid=29183] ppid=29174 vsize=182448 CPUtime=50.53
/proc/29183/stat : 29183 (kcnfs-smp) R 29174 29174 28079 0 -1 4194368 46 0 0 0 5053 0 0 0 25 0 1 0 204835497 186826752 256 18446744073709551615 134512640 135172044 4294956624 18446744073709551615 134603240 0 0 4096 0 0 0 0 17 0 0 0
/proc/29183/statm: 45612 256 78 160 0 45450 0
Current children cumulated CPU time (s) 406.02
Current children cumulated vsize (KiB) 1459584
[startup+203.718 s]
/proc/loadavg: 7.75 4.40 2.34 9/86 29183
/proc/meminfo: memFree=775832/2055920 swapFree=4192812/4192956
[pid=29174] ppid=29172 vsize=182448 CPUtime=0.02
/proc/29174/stat : 29174 (kcnfs-smp) S 29172 29174 28079 0 -1 4194304 435 0 0 0 2 0 0 0 22 0 1 0 204835462 186826752 241 18446744073709551615 134512640 135172044 4294956624 18446744073709551615 134836797 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/29174/statm: 45612 241 72 160 0 45450 0
[pid=29176] ppid=29174 vsize=182448 CPUtime=51.13
/proc/29176/stat : 29176 (kcnfs-smp) R 29174 29174 28079 0 -1 4194368 45 0 0 0 5113 0 0 0 25 0 1 0 204835464 186826752 255 18446744073709551615 134512640 135172044 4294956624 18446744073709551615 134603452 0 0 4096 2 0 0 0 17 1 0 0
/proc/29176/statm: 45612 255 78 160 0 45450 0
[pid=29177] ppid=29174 vsize=182448 CPUtime=50.94
/proc/29177/stat : 29177 (kcnfs-smp) R 29174 29174 28079 0 -1 4194368 46 0 0 0 5094 0 0 0 25 0 1 0 204835464 186826752 256 18446744073709551615 134512640 135172044 4294956624 18446744073709551615 134572221 0 0 4096 0 0 0 0 17 1 0 0
/proc/29177/statm: 45612 256 78 160 0 45450 0
[pid=29178] ppid=29174 vsize=182448 CPUtime=51
/proc/29178/stat : 29178 (kcnfs-smp) R 29174 29174 28079 0 -1 4194368 46 0 0 0 5100 0 0 0 25 0 1 0 204835467 186826752 256 18446744073709551615 134512640 135172044 4294956624 18446744073709551615 134577761 0 0 4096 2 0 0 0 17 1 0 0
/proc/29178/statm: 45612 256 78 160 0 45450 0
[pid=29179] ppid=29174 vsize=182448 CPUtime=50.79
/proc/29179/stat : 29179 (kcnfs-smp) R 29174 29174 28079 0 -1 4194368 46 0 0 0 5079 0 0 0 25 0 1 0 204835468 186826752 256 18446744073709551615 134512640 135172044 4294956624 18446744073709551615 134572261 0 0 4096 0 0 0 0 17 0 0 0
/proc/29179/statm: 45612 256 78 160 0 45450 0
[pid=29180] ppid=29174 vsize=182448 CPUtime=50.68
/proc/29180/stat : 29180 (kcnfs-smp) R 29174 29174 28079 0 -1 4194368 46 0 0 0 5068 0 0 0 25 0 1 0 204835489 186826752 256 18446744073709551615 134512640 135172044 4294956624 18446744073709551615 134683214 0 0 4096 2 0 0 0 17 0 0 0
/proc/29180/statm: 45612 256 78 160 0 45450 0
[pid=29181] ppid=29174 vsize=182448 CPUtime=50.81
/proc/29181/stat : 29181 (kcnfs-smp) R 29174 29174 28079 0 -1 4194368 46 0 0 0 5081 0 0 0 25 0 1 0 204835494 186826752 256 18446744073709551615 134512640 135172044 4294956624 18446744073709551615 134567521 0 0 4096 0 0 0 0 17 1 0 0
/proc/29181/statm: 45612 256 78 160 0 45450 0
[pid=29182] ppid=29174 vsize=0 CPUtime=50.47
/proc/29182/stat : 29182 (kcnfs-smp) R 29174 29174 28079 0 -1 4194372 59 0 0 0 5047 0 0 0 25 0 1 0 204835496 0 0 18446744073709551615 0 0 0 0 0 0 2147483391 4096 2 0 0 0 17 0 0 0
/proc/29182/statm: 0 0 0 0 0 0 0
[pid=29183] ppid=29174 vsize=182448 CPUtime=50.59
/proc/29183/stat : 29183 (kcnfs-smp) R 29174 29174 28079 0 -1 4194368 46 0 0 0 5059 0 0 0 25 0 1 0 204835497 186826752 256 18446744073709551615 134512640 135172044 4294956624 18446744073709551615 134683214 0 0 4096 0 0 0 0 17 0 0 0
/proc/29183/statm: 45612 256 78 160 0 45450 0
Current children cumulated CPU time (s) 406.43
Current children cumulated vsize (KiB) 1459584
[startup+203.82 s]
/proc/loadavg: 7.75 4.40 2.34 9/86 29183
/proc/meminfo: memFree=775832/2055920 swapFree=4192812/4192956
[pid=29174] ppid=29172 vsize=182448 CPUtime=0.02
/proc/29174/stat : 29174 (kcnfs-smp) S 29172 29174 28079 0 -1 4194304 435 0 0 0 2 0 0 0 22 0 1 0 204835462 186826752 241 18446744073709551615 134512640 135172044 4294956624 18446744073709551615 134836797 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/29174/statm: 45612 241 72 160 0 45450 0
[pid=29176] ppid=29174 vsize=182448 CPUtime=51.13
/proc/29176/stat : 29176 (kcnfs-smp) R 29174 29174 28079 0 -1 4194368 45 0 0 0 5113 0 0 0 25 0 1 0 204835464 186826752 255 18446744073709551615 134512640 135172044 4294956624 18446744073709551615 134603452 0 0 4096 2 0 0 0 17 1 0 0
/proc/29176/statm: 45612 255 78 160 0 45450 0
[pid=29177] ppid=29174 vsize=182448 CPUtime=51.01
/proc/29177/stat : 29177 (kcnfs-smp) R 29174 29174 28079 0 -1 4194368 46 0 0 0 5101 0 0 0 25 0 1 0 204835464 186826752 256 18446744073709551615 134512640 135172044 4294956624 18446744073709551615 134567268 0 0 4096 0 0 0 0 17 1 0 0
/proc/29177/statm: 45612 256 78 160 0 45450 0
[pid=29178] ppid=29174 vsize=182448 CPUtime=51.03
/proc/29178/stat : 29178 (kcnfs-smp) R 29174 29174 28079 0 -1 4194368 46 0 0 0 5103 0 0 0 25 0 1 0 204835467 186826752 256 18446744073709551615 134512640 135172044 4294956624 18446744073709551615 134683204 0 0 4096 2 0 0 0 17 1 0 0
/proc/29178/statm: 45612 256 78 160 0 45450 0
[pid=29179] ppid=29174 vsize=182448 CPUtime=50.79
/proc/29179/stat : 29179 (kcnfs-smp) R 29174 29174 28079 0 -1 4194368 46 0 0 0 5079 0 0 0 25 0 1 0 204835468 186826752 256 18446744073709551615 134512640 135172044 4294956624 18446744073709551615 134572261 0 0 4096 0 0 0 0 17 0 0 0
/proc/29179/statm: 45612 256 78 160 0 45450 0
[pid=29180] ppid=29174 vsize=182448 CPUtime=50.73
/proc/29180/stat : 29180 (kcnfs-smp) R 29174 29174 28079 0 -1 4194368 46 0 0 0 5073 0 0 0 25 0 1 0 204835489 186826752 256 18446744073709551615 134512640 135172044 4294956624 18446744073709551615 134579732 0 0 4096 2 0 0 0 17 0 0 0
/proc/29180/statm: 45612 256 78 160 0 45450 0
[pid=29181] ppid=29174 vsize=182448 CPUtime=50.81
/proc/29181/stat : 29181 (kcnfs-smp) R 29174 29174 28079 0 -1 4194368 46 0 0 0 5081 0 0 0 25 0 1 0 204835494 186826752 256 18446744073709551615 134512640 135172044 4294956624 18446744073709551615 134567521 0 0 4096 0 0 0 0 17 1 0 0
/proc/29181/statm: 45612 256 78 160 0 45450 0
[pid=29182] ppid=29174 vsize=0 CPUtime=50.47
/proc/29182/stat : 29182 (kcnfs-smp) R 29174 29174 28079 0 -1 4194372 59 0 0 0 5047 0 0 0 25 0 1 0 204835496 0 0 18446744073709551615 0 0 0 0 0 0 2147483391 4096 2 0 0 0 17 0 0 0
/proc/29182/statm: 0 0 0 0 0 0 0
[pid=29183] ppid=29174 vsize=182448 CPUtime=50.64
/proc/29183/stat : 29183 (kcnfs-smp) R 29174 29174 28079 0 -1 4194368 46 0 0 0 5064 0 0 0 25 0 1 0 204835497 186826752 256 18446744073709551615 134512640 135172044 4294956624 18446744073709551615 134572912 0 0 4096 0 0 0 0 17 0 0 0
/proc/29183/statm: 45612 256 78 160 0 45450 0
Current children cumulated CPU time (s) 406.63
Current children cumulated vsize (KiB) 1459584
Child status: 10
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 29174 and gives childrusage.ru_utime.tv_sec=50 childrusage.ru_utime.tv_usec=494323 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=3999
CPU time returned by wait4() is 50.4983
while last known CPU time is 406.63
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 203.876
CPU time (s): 406.63
CPU user time (s): 406.63
CPU system time (s): 0
CPU usage (%): 199.45
Max. virtual memory (cumulated for all children) (KiB): 1642032
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 50.4943
system time used= 0.003999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 520
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= 22
involuntary context switches= 1360
runsolver used 0.180972 second user time and 0.552915 second system time
The end
Begin job on node3 on Mon Feb 19 01:33:26 UTC 2007
IDJOB= 297995
IDBENCH= 19975
IDSOLVER= 112
FILE ID= node3/297995-1171848806
PBS_JOBID= 3839382
Free space on /tmp= 66549 MiB
SOLVER NAME= KCNFS SMP
BENCH NAME= HOME/pub/bench/SAT07/random/OnTreshold/3SAT/v450/unif-k3-r4.25-v450-c1912-S1950672055-10.SAT.shuffled.cnf
COMMAND LINE= /tmp/evaluation/297995-1171848806/kcnfs-smp /tmp/evaluation/297995-1171848806/instance-297995-1171848806.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node3/watcher-297995-1171848806 -o ROOT/results/node3/solver-297995-1171848806 -C 1200 -M 1800 --output-limit 1,15 /tmp/evaluation/297995-1171848806/kcnfs-smp /tmp/evaluation/297995-1171848806/instance-297995-1171848806.cnf
META MD5SUM SOLVER= 23f87ccf1c743ff5b6146b444e216cd3
MD5SUM BENCH= 147d23e113da0ae41cf7bb7585265fd5
RANDOM SEED= 511766508
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
Linux node3.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.241
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.241
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 779768 kB
Buffers: 59684 kB
Cached: 1083260 kB
SwapCached: 0 kB
Active: 542724 kB
Inactive: 654996 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 779768 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 3192 kB
Writeback: 0 kB
Mapped: 73616 kB
Slab: 64056 kB
Committed_AS: 979140 kB
PageTables: 1656 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66549 MiB
End job on node3 on Mon Feb 19 01:36:50 UTC 2007