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 in four parts:
  1. 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 provide some useful information on the computer.
  2. 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 !
  3. 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 1200 seconds. 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 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
    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.
  4. 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.

General information on the benchmark

Namesubmitted/manquinho/primes-dimacs-cnf/normalized-ii32b3.opb
MD5SUM2998f4c8b2aa0ba71848641193ef2744
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 331
Optimality of the best value was proved YES
Number of terms in the objective function 696
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 696
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 696
Number of bits of the biggest sum of numbers10
Best result obtained on this benchmarkOPTIMUM FOUND
Best CPU time to get the best result obtained on this benchmark86.9458
Number of variables696
Total number of constraints6082
Number of constraints which are clauses6082
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint32

Trace number 158

Launcher Data

LAUNCH ON wulflinc21 THE 2005-09-18 08:26:04 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=142 boxname=wulflinc21 idbench=142 idsolver=1 numberseed=0
MD5SUM SOLVER: 38f99674050b34630888bf623b924b59  /oldhome/oroussel/solvers/bsolo
MD5SUM BENCH:  2998f4c8b2aa0ba71848641193ef2744  /oldhome/oroussel/tmp/wulflinc21/normalized-ii32b3.opb
REAL COMMAND:  bsolo /oldhome/oroussel/tmp/wulflinc21/normalized-ii32b3.opb
IDLAUNCH: 142
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.161
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.161
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        938036 kB
Buffers:         33388 kB
Cached:          36016 kB
SwapCached:        908 kB
Active:          65808 kB
Inactive:         6336 kB
HighTotal:      131008 kB
HighFree:        92456 kB
LowTotal:       903652 kB
LowFree:        845580 kB
SwapTotal:     2097892 kB
SwapFree:      2096472 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5804 kB
Slab:            18984 kB
Committed_AS:    64368 kB
PageTables:        340 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-18 08:36:54 (client local time) WITH STATUS 30 IN 647.331 SECONDS
stats: 142 0 647.331 30

Solver Data

c INFO: OSL Context initialized.
c Initial problem consists of 696 variables and 6082 constraints.
c No problem reductions applied in OPT. instance.
c	preprocess terminated. Elapsed time: 2.402
c After prepocess the problem consists of 696 variables and 6082 constraints.
c Initial Lower Bound: 0
c Restart #1 #Var: 696 #Dec: 839 LB: 0 @ 7.278
c NEW SOLUTION FOUND: 348 @ 7.325 @ #Dec. 862
c NEW SOLUTION FOUND: 347 @ 7.329 @ #Dec. 864
c NEW SOLUTION FOUND: 346 @ 7.347 @ #Dec. 875
c NEW SOLUTION FOUND: 345 @ 7.388 @ #Dec. 900
c NEW SOLUTION FOUND: 344 @ 7.476 @ #Dec. 953
c NEW SOLUTION FOUND: 343 @ 7.54 @ #Dec. 1007
c NEW SOLUTION FOUND: 342 @ 7.576 @ #Dec. 1076
c NEW SOLUTION FOUND: 341 @ 7.602 @ #Dec. 1103
c NEW SOLUTION FOUND: 340 @ 7.609 @ #Dec. 1113
c NEW SOLUTION FOUND: 339 @ 7.616 @ #Dec. 1127
c NEW SOLUTION FOUND: 338 @ 7.624 @ #Dec. 1143
c NEW SOLUTION FOUND: 337 @ 7.633 @ #Dec. 1161
c NEW SOLUTION FOUND: 336 @ 7.64 @ #Dec. 1181
c NEW SOLUTION FOUND: 335 @ 7.647 @ #Dec. 1203
c NEW SOLUTION FOUND: 334 @ 7.655 @ #Dec. 1227
c NEW SOLUTION FOUND: 333 @ 7.702 @ #Dec. 1336
c NEW SOLUTION FOUND: 332 @ 7.762 @ #Dec. 1454
c NEW SOLUTION FOUND: 331 @ 8.021 @ #Dec. 1743
c Restart #2 #Var: 696 #Dec: 2533 LB: 0 @ 8.831
c Restart #3 #Var: 696 #Dec: 3626 LB: 0 @ 12.867
c Restart #4 #Var: 696 #Dec: 4704 LB: 0 @ 27.489
c Restart #5 #Var: 694 #Dec: 8261 LB: 1 @ 56.864
c CHANGE to MIS mode... 	UB: 331	MIS: 204	LPR: 250 (5.2336)	Diff: 0.816
c Restart #0 #Var: 694 #Dec: 10217 LB: 1 @ 112.71
c Restart #1 #Var: 694 #Dec: 10452 LB: 205 @ 120.61
c Restart #2 #Var: 694 #Dec: 11795 LB: 204 @ 139.29
c Restart #3 #Var: 694 #Dec: 12740 LB: 225 @ 158.45
c Restart #4 #Var: 694 #Dec: 13797 LB: 210 @ 186.79
c Restart #5 #Var: 694 #Dec: 14898 LB: 199 @ 203.42
c Restart #6 #Var: 691 #Dec: 16853 LB: 217 @ 242.44
c Restart #7 #Var: 685 #Dec: 18561 LB: 206 @ 293.58
c Restart #8 #Var: 681 #Dec: 20526 LB: 211 @ 334.06
c Restart #9 #Var: 671 #Dec: 24491 LB: 219 @ 371.02
c Restart #10 #Var: 663 #Dec: 27834 LB: 218 @ 387.04
c Restart #11 #Var: 658 #Dec: 31973 LB: 229 @ 450.94
c Restart #12 #Var: 655 #Dec: 35339 LB: 217 @ 488.81
c Restart #13 #Var: 647 #Dec: 39439 LB: 220 @ 549.55
c Restart #14 #Var: 554 #Dec: 42480 LB: 246 @ 640.3
s OPTIMUM FOUND
v x1 -x2 x3 -x4 -x5 x6 x7 -x8 x9 -x10 x11 -x12 x13 -x14 x15 -x16 x17 -x18 -x19 x20 x21 -x22 x23 -x24 x25 -x26 x27 -x28 x29 -x30 x31 -x32 x33 -x34 x35 -x36 x37 -x38 x39 -x40 x41 -x42 x43 -x44 x45 -x46 x47 -x48 x49 -x50 x51 -x52 x53 -x54 x55 -x56 x57 -x58 x59 -x60 x61 -x62 x63 -x64 x65 -x66 x67 -x68 x69 -x70 x71 -x72 x73 -x74 x75 -x76 x77 -x78 -x79 x80 x81 -x82 x83 -x84 x85 -x86 x87 -x88 x89 -x90 x91 -x92 x93 -x94 x95 -x96 x97 -x98 x99 -x100 x101 -x102 x103 -x104 x105 -x106 x107 -x108 x109 -x110 x111 -x112 x113 -x114 x115 -x116 x117 -x118 x119 -x120 x121 -x122 x123 -x124 -x125 x126 x127 -x128 x129 -x130 x131 -x132 x133 -x134 x135 -x136 x137 -x138 x139 -x140 x141 -x142 x143 -x144 x145 -x146 x147 -x148 x149 -x150 x151 -x152 x153 -x154 x155 -x156 x157 -x158 x159 -x160 x161 -x162 x163 -x164 x165 -x166 x167 -x168 x169 -x170 x171 -x172 x173 -x174 x175 -x176 x177 -x178 x179 -x180 x181 -x182 x183 -x184 x185 -x186 x187 -x188 x189 -x190 x191 -x192 x193 -x194 x195 -x196 x197 -x198 x199 -x200 -x201 x202 x203 -x204 x205 -x206 x207 -x208 x209 -x210 x211 -x212 x213 -x214 x215 -x216 x217 -x218 -x219 x220 x221 -x222 x223 -x224 x225 -x226 x227 -x228 -x229 x230 x231 -x232 x233 -x234 x235 -x236 x237 -x238 x239 -x240 x241 -x242 x243 -x244 x245 -x246 x247 -x248 x249 -x250 x251 -x252 x253 -x254 x255 -x256 -x257 -x258 x259 -x260 -x261 x262 x263 -x264 -x265 -x266 x267 -x268 x269 -x270 x271 -x272 x273 -x274 x275 -x276 -x277 -x278 x279 -x280 x281 -x282 x283 -x284 x285 -x286 -x287 x288 x289 -x290 -x291 x292 x293 -x294 -x295 -x296 x297 -x298 -x299 x300 x301 -x302 -x303 -x304 -x305 -x306 x307 -x308 x309 -x310 -x311 x312 -x313 -x314 x315 -x316 x317 -x318 -x319 -x320 -x321 -x322 x323 -x324 x325 -x326 x327 -x328 x329 -x330 -x331 -x332 -x333 -x334 x335 -x336 x337 -x338 -x339 -x340 -x341 -x342 x343 -x344 x345 -x346 x347 -x348 x349 -x350 x351 -x352 x353 -x354 -x355 -x356 x357 -x358 x359 -x360 x361 -x362 x363 -x364 x365 -x366 x367 -x368 x369 -x370 x371 -x372 x373 -x374 x375 -x376 -x377 -x378 x379 -x380 x381 -x382 x383 -x384 x385 -x386 -x387 x388 -x389 x390 -x391 x392 x393 -x394 -x395 x396 -x397 x398 x399 -x400 -x401 x402 -x403 x404 x405 -x406 -x407 x408 -x409 x410 x411 -x412 -x413 x414 -x415 x416 -x417 x418 x419 -x420 -x421 x422 x423 -x424 -x425 x426 -x427 x428 x429 -x430 -x431 x432 -x433 x434 x435 -x436 -x437 x438 x439 -x440 -x441 x442 -x443 x444 x445 -x446 -x447 x448 -x449 x450 -x451 x452 x453 -x454 -x455 x456 -x457 -x458 x459 -x460 -x461 x462 -x463 x464 x465 -x466 -x467 x468 -x469 x470 x471 -x472 -x473 x474 -x475 x476 x477 -x478 -x479 x480 -x481 x482 x483 -x484 -x485 x486 -x487 x488 x489 -x490 -x491 x492 x493 -x494 -x495 x496 -x497 x498 x499 -x500 -x501 x502 -x503 x504 -x505 x506 x507 -x508 -x509 x510 x511 -x512 -x513 x514 -x515 x516 -x517 x518 -x519 x520 x521 -x522 -x523 x524 x525 -x526 -x527 x528 x529 -x530 -x531 x532 -x533 x534 x535 -x536 -x537 x538 -x539 x540 -x541 x542 x543 -x544 -x545 x546 x547 -x548 -x549 x550 -x551 x552 -x553 x554 x555 -x556 -x557 x558 -x559 x560 x561 -x562 -x563 x564 x565 -x566 -x567 x568 -x569 x570 x571 -x572 -x573 x574 -x575 x576 x577 -x578 -x579 x580 -x581 x582 -x583 x584 x585 -x586 -x587 x588 -x589 x590 x591 -x592 -x593 x594 -x595 x596 x597 -x598 -x599 x600 -x601 x602 x603 -x604 -x605 x606 x607 -x608 -x609 x610 -x611 x612 x613 -x614 -x615 x616 -x617 x618 -x619 x620 x621 -x622 -x623 x624 -x625 x626 x627 -x628 -x629 x630 -x631 -x632 x633 -x634 -x635 x636 -x637 x638 x639 -x640 -x641 x642 x643 -x644 -x645 x646 -x647 x648 x649 -x650 -x651 x652 -x653 x654 x655 -x656 -x657 x658 -x659 x660 -x661 x662 x663 -x664 -x665 x666 x667 -x668 -x669 x670 -x671 x672 -x673 x674 x675 -x676 -x677 x678 -x679 x680 x681 -x682 -x683 x684 x685 -x686 -x687 x688 -x689 x690 -x691 x692 x693 -x694 -x695 x696 
c Cost: 331
c Exit Code: 30
c Total time: 647.3 s

Watcher Data

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb
Enforcing VSIZE limit: 994918400 bytes
Current StackSize limit: 67108864 bytes
Raw data (/proc/21134/stat): 21134 (bsolo) R 21133 21134 20602 0 -1 0 25 0 0 0 0 0 0 0 23 0 1 0 1717071562 438272 9 4294967295 134512640 134736556 3221224576 3221223936 1073813229 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21134/statm): 107 9 90 68 0 39 0
[pid=21134] vsize: 428
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libosl.so
open syscall for file tls/i686/libosl.so
open syscall for file tls/mmx/libosl.so
open syscall for file tls/libosl.so
open syscall for file i686/mmx/libosl.so
open syscall for file i686/libosl.so
open syscall for file mmx/libosl.so
open syscall for file libosl.so
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libosl.so
open syscall for file /oldhome/oroussel/lib/tls/i686/libosl.so
open syscall for file /oldhome/oroussel/lib/tls/mmx/libosl.so
open syscall for file /oldhome/oroussel/lib/tls/libosl.so
open syscall for file /oldhome/oroussel/lib/i686/mmx/libosl.so
open syscall for file /oldhome/oroussel/lib/i686/libosl.so
open syscall for file /oldhome/oroussel/lib/mmx/libosl.so
open syscall for file /oldhome/oroussel/lib/libosl.so
open syscall for file tls/i686/mmx/libstdc++-libc6.2-2.so.3
open syscall for file tls/i686/libstdc++-libc6.2-2.so.3
open syscall for file tls/mmx/libstdc++-libc6.2-2.so.3
open syscall for file tls/libstdc++-libc6.2-2.so.3
open syscall for file i686/mmx/libstdc++-libc6.2-2.so.3
open syscall for file i686/libstdc++-libc6.2-2.so.3
open syscall for file mmx/libstdc++-libc6.2-2.so.3
open syscall for file libstdc++-libc6.2-2.so.3
open syscall for file /oldhome/oroussel/lib/libstdc++-libc6.2-2.so.3
open syscall for file /etc/ld.so.cache
open syscall for file /usr/lib/libstdc++-libc6.2-2.so.3
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/libpthread.so.0
open syscall for file tls/i686/libpthread.so.0
open syscall for file tls/mmx/libpthread.so.0
open syscall for file tls/libpthread.so.0
open syscall for file i686/mmx/libpthread.so.0
open syscall for file i686/libpthread.so.0
open syscall for file mmx/libpthread.so.0
open syscall for file libpthread.so.0
open syscall for file /oldhome/oroussel/lib/libpthread.so.0
open syscall for file /lib/tls/libpthread.so.0
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file tls/i686/mmx/libgcc_s.so.1
open syscall for file tls/i686/libgcc_s.so.1
open syscall for file tls/mmx/libgcc_s.so.1
open syscall for file tls/libgcc_s.so.1
open syscall for file i686/mmx/libgcc_s.so.1
open syscall for file i686/libgcc_s.so.1
open syscall for file mmx/libgcc_s.so.1
open syscall for file libgcc_s.so.1
open syscall for file /oldhome/oroussel/lib/libgcc_s.so.1
open syscall for file /lib/libgcc_s.so.1
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /etc/localtime
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/tmp/wulflinc21/normalized-ii32b3.opb

[startup+10.0032 s]
Raw data (loadavg): 0.93 0.95 0.90 2/57 21134
Raw data (/proc/21134/stat): 21134 (bsolo) R 21133 21134 20602 0 -1 0 1925 0 0 0 973 10 0 0 25 0 1 0 1717071562 10928128 1836 4294967295 134512640 134736556 3221224576 3221223200 134537358 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/21134/statm): 2668 1836 1116 68 0 2600 0
[pid=21134] vsize: 10672
Current children cumulated CPU time (s) 9.83
Current children cumulated vsize (Kb) 10672

[startup+20.0039 s]
Raw data (loadavg): 0.94 0.96 0.91 2/57 21134
Raw data (/proc/21134/stat): 21134 (bsolo) R 21133 21134 20602 0 -1 0 2090 0 0 0 1963 13 0 0 25 0 1 0 1717071562 11694080 2000 4294967295 134512640 134736556 3221224576 3221223168 134543782 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/21134/statm): 2855 2000 1116 68 0 2787 0
[pid=21134] vsize: 11420
Current children cumulated CPU time (s) 19.76
Current children cumulated vsize (Kb) 11420

[startup+30.0036 s]
Raw data (loadavg): 0.95 0.96 0.91 2/57 21134
Raw data (/proc/21134/stat): 21134 (bsolo) R 21133 21134 20602 0 -1 0 2347 0 0 0 2954 17 0 0 25 0 1 0 1717071562 12640256 2257 4294967295 134512640 134736556 3221224576 3221223120 134543676 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/21134/statm): 3086 2257 1116 68 0 3018 0
[pid=21134] vsize: 12344
Current children cumulated CPU time (s) 29.71
Current children cumulated vsize (Kb) 12344

[startup+40.0042 s]
Raw data (loadavg): 0.95 0.96 0.91 2/57 21134
Raw data (/proc/21134/stat): 21134 (bsolo) R 21133 21134 20602 0 -1 0 2485 0 0 0 3945 20 0 0 25 0 1 0 1717071562 13180928 2395 4294967295 134512640 134736556 3221224576 3221223136 134544667 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/21134/statm): 3218 2395 1116 68 0 3150 0
[pid=21134] vsize: 12872
Current children cumulated CPU time (s) 39.65
Current children cumulated vsize (Kb) 12872

[startup+50.0039 s]
Raw data (loadavg): 0.96 0.96 0.91 2/57 21134
Raw data (/proc/21134/stat): 21134 (bsolo) R 21133 21134 20602 0 -1 0 2610 0 0 0 4941 22 0 0 25 0 1 0 1717071562 13721600 2520 4294967295 134512640 134736556 3221224576 3221223220 134544543 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/21134/statm): 3350 2520 1116 68 0 3282 0
[pid=21134] vsize: 13400
Current children cumulated CPU time (s) 49.63
Current children cumulated vsize (Kb) 13400

[startup+60.0046 s]
Raw data (loadavg): 0.97 0.96 0.91 2/57 21134
Raw data (/proc/21134/stat): 21134 (bsolo) R 21133 21134 20602 0 -1 0 2724 0 0 0 5936 24 0 0 25 0 1 0 1717071562 14262272 2634 4294967295 134512640 134736556 3221224576 3221223168 134540337 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/21134/statm): 3482 2634 1116 68 0 3414 0
[pid=21134] vsize: 13928
Current children cumulated CPU time (s) 59.6
Current children cumulated vsize (Kb) 13928

[startup+70.0053 s]
Raw data (loadavg): 0.97 0.96 0.91 2/57 21134
Raw data (/proc/21134/stat): 21134 (bsolo) R 21133 21134 20602 0 -1 0 2937 0 0 0 6928 27 0 0 25 0 1 0 1717071562 15073280 2847 4294967295 134512640 134736556 3221224576 3221223108 134716275 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/21134/statm): 3680 2847 1116 68 0 3612 0
[pid=21134] vsize: 14720
Current children cumulated CPU time (s) 69.55
Current children cumulated vsize (Kb) 14720

[startup+80.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/57 21134
Raw data (/proc/21134/stat): 21134 (bsolo) R 21133 21134 20602 0 -1 0 5713 0 0 0 7883 45 0 0 25 0 1 0 1717071562 18259968 3753 4294967295 134512640 134736556 3221224576 3221222224 1074918559 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/21134/statm): 4458 3753 1116 68 0 4390 0
[pid=21134] vsize: 17832
Current children cumulated CPU time (s) 79.28
Current children cumulated vsize (Kb) 17832

[startup+90.0047 s]
Raw data (loadavg): 0.98 0.96 0.91 2/57 21134
Raw data (/proc/21134/stat): 21134 (bsolo) R 21133 21134 20602 0 -1 0 11726 0 0 0 8857 63 0 0 25 0 1 0 1717071562 21434368 4320 4294967295 134512640 134736556 3221224576 3221220108 1074788959 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/21134/statm): 5233 4320 1116 68 0 5165 0
[pid=21134] vsize: 20932
Current children cumulated CPU time (s) 89.2
Current children cumulated vsize (Kb) 20932

[startup+100.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/57 21134
Raw data (/proc/21134/stat): 21134 (bsolo) R 21133 21134 20602 0 -1 0 13830 0 0 0 9841 71 0 0 25 0 1 0 1717071562 21815296 4365 4294967295 134512640 134736556 3221224576 3221221288 1075007302 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/21134/statm): 5326 4365 1116 68 0 5258 0
[pid=21134] vsize: 21304
Current children cumulated CPU time (s) 99.12
Current children cumulated vsize (Kb) 21304

[startup+110.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/57 21134
Raw data (/proc/21134/stat): 21134 (bsolo) R 21133 21134 20602 0 -1 0 17967 0 0 0 10807 90 0 0 25 0 1 0 1717071562 18591744 3767 4294967295 134512640 134736556 3221224576 3221221568 1074839039 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/21134/statm): 4539 3767 1116 68 0 4471 0
[pid=21134] vsize: 18156
Current children cumulated CPU time (s) 108.97
Current children cumulated vsize (Kb) 18156

[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 21134
Raw data (/proc/21134/stat): 21134 (bsolo) R 21133 21134 20602 0 -1 0 18971 0 0 0 11794 96 0 0 25 0 1 0 1717071562 19390464 3985 4294967295 134512640 134736556 3221224576 3221223236 134630068 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/21134/statm): 4734 3985 1116 68 0 4666 0
[pid=21134] vsize: 18936
Current children cumulated CPU time (s) 118.9
Current children cumulated vsize (Kb) 18936

[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 21134
Raw data (/proc/21134/stat): 21134 (bsolo) R 21133 21134 20602 0 -1 0 18971 0 0 0 12789 98 0 0 25 0 1 0 1717071562 19390464 3985 4294967295 134512640 134736556 3221224576 3221223224 134543310 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/21134/statm): 4734 3985 1116 68 0 4666 0
[pid=21134] vsize: 18936
Current children cumulated CPU time (s) 128.87
Current children cumulated vsize (Kb) 18936

[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 21134
Raw data (/proc/21134/stat): 21134 (bsolo) R 21133 21134 20602 0 -1 0 18971 0 0 0 13786 100 0 0 25 0 1 0 1717071562 19390464 3985 4294967295 134512640 134736556 3221224576 3221223268 134524331 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/21134/statm): 4734 3985 1116 68 0 4666 0
[pid=21134] vsize: 18936
Current children cumulated CPU time (s) 138.86
Current children cumulated vsize (Kb) 18936

[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 21134
Raw data (/proc/21134/stat): 21134 (bsolo) R 21133 21134 20602 0 -1 0 18989 0 0 0 14782 101 0 0 25 0 1 0 1717071562 19390464 4003 4294967295 134512640 134736556 3221224576 3221223188 134537369 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/21134/statm): 4734 4003 1116 68 0 4666 0
[pid=21134] vsize: 18936
Current children cumulated CPU time (s) 148.83
Current children cumulated vsize (Kb) 18936

[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 21134
Raw data (/proc/21134/stat): 21134 (bsolo) R 21133 21134 20602 0 -1 0 19106 0 0 0 15777 103 0 0 25 0 1 0 1717071562 19795968 4120 4294967295 134512640 134736556 3221224576 3221223152 134543184 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/21134/statm): 4833 4120 1116 68 0 4765 0
[pid=21134] vsize: 19332
Current children cumulated CPU time (s) 158.8
Current children cumulated vsize (Kb) 19332

[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 21134
Raw data (/proc/21134/stat): 21134 (bsolo) R 21133 21134 20602 0 -1 0 19221 0 0 0 16774 105 0 0 25 0 1 0 1717071562 20336640 4235 4294967295 134512640 134736556 3221224576 3221223088 134543071 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/21134/statm): 4965 4235 1116 68 0 4897 0
[pid=21134] vsize: 19860
Current children cumulated CPU time (s) 168.79
Current children cumulated vsize (Kb) 19860

[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 21134
Raw data (/proc/21134/stat): 21134 (bsolo) R 21133 21134 20602 0 -1 0 19327 0 0 0 17770 107 0 0 25 0 1 0 1717071562 20742144 4341 4294967295 134512640 134736556 3221224576 3221223248 134528714 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/21134/statm): 5064 4341 1116 68 0 4996 0
[pid=21134] vsize: 20256
Current children cumulated CPU time (s) 178.77
Current children cumulated vsize (Kb) 20256

[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 21134
Raw data (/proc/21134/stat): 21134 (bsolo) R 21133 21134 20602 0 -1 0 19468 0 0 0 18765 110 0 0 25 0 1 0 1717071562 21282816 4482 4294967295 134512640 134736556 3221224576 3221223088 134543143 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/21134/statm): 5196 4482 1116 68 0 5128 0
[pid=21134] vsize: 20784
Current children cumulated CPU time (s) 188.75
Current children cumulated vsize (Kb) 20784

[startup+200.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 21134
Raw data (/proc/21134/stat): 21134 (bsolo) R 21133 21134 20602 0 -1 0 19799 0 0 0 19757 113 0 0 25 0 1 0 1717071562 22597632 4811 4294967295 134512640 134736556 3221224576 3221223188 134537369 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/21134/statm): 5517 4811 1116 68 0 5449 0
[pid=21134] vsize: 22068
Current children cumulated CPU time (s) 198.7
Current children cumulated vsize (Kb) 22068

[startup+210.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 21134
Raw data (/proc/21134/stat): 21134 (bsolo) R 21133 21134 20602 0 -1 0 19799 0 0 0 20755 114 0 0 25 0 1 0 1717071562 22597632 4811 4294967295 134512640 134736556 3221224576 3221223168 134540186 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/21134/statm): 5517 4811 1116 68 0 5449 0
[pid=21134] vsize: 22068
Current children cumulated CPU time (s) 208.69
Current children cumulated vsize (Kb) 22068

[startup+220.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 21134
Raw data (/proc/21134/stat): 21134 (bsolo) R 21133 21134 20602 0 -1 0 19855 0 0 0 21751 115 0 0 25 0 1 0 1717071562 22867968 4867 4294967295 134512640 134736556 3221224576 3221223140 134544525 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/21134/statm): 5583 4867 1116 68 0 5515 0
[pid=21134] vsize: 22332
Current children cumulated CPU time (s) 218.66
Current children cumulated vsize (Kb) 22332

[startup+230.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 21134
Raw data (/proc/21134/stat): 21134 (bsolo) R 21133 21134 20602 0 -1 0 19926 0 0 0 22744 118 0 0 25 0 1 0 1717071562 23101440 4938 4294967295 134512640 134736556 3221224576 3221223248 134630055 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/21134/statm): 5640 4938 1116 68 0 5572 0
[pid=21134] vsize: 22560
Current children cumulated CPU time (s) 228.62
Current children cumulated vsize (Kb) 22560

[startup+240.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 21134
Raw data (/proc/21134/stat): 21134 (bsolo) R 21133 21134 20602 0 -1 0 20013 0 0 0 23740 120 0 0 25 0 1 0 1717071562 23506944 5025 4294967295 134512640 134736556 3221224576 3221223248 134630513 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/21134/statm): 5739 5025 1116 68 0 5671 0
[pid=21134] vsize: 22956
Current children cumulated CPU time (s) 238.6
Current children cumulated vsize (Kb) 22956

[startup+250.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 21134
Raw data (/proc/21134/stat): 21134 (bsolo) R 21133 21134 20602 0 -1 0 20108 0 0 0 24736 122 0 0 25 0 1 0 1717071562 23912448 5120 4294967295 134512640 134736556 3221224576 3221223224 134544456 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/21134/statm): 5838 5120 1116 68 0 5770 0
[pid=21134] vsize: 23352
Current children cumulated CPU time (s) 248.58
Current children cumulated vsize (Kb) 23352

[startup+260.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 21134
Raw data (/proc/21134/stat): 21134 (bsolo) R 21133 21134 20602 0 -1 0 20245 0 0 0 25733 122 0 0 25 0 1 0 1717071562 24453120 5257 4294967295 134512640 134736556 3221224576 3221223120 134551043 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/21134/statm): 5970 5257 1116 68 0 5902 0
[pid=21134] vsize: 23880
Current children cumulated CPU time (s) 258.55
Current children cumulated vsize (Kb) 23880

[startup+270.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 21134
Raw data (/proc/21134/stat): 21134 (bsolo) R 21133 21134 20602 0 -1 0 20406 0 0 0 26730 125 0 0 25 0 1 0 1717071562 25190400 5418 4294967295 134512640 134736556 3221224576 3221223236 134630068 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/21134/statm): 6150 5418 1116 68 0 6082 0
[pid=21134] vsize: 24600
Current children cumulated CPU time (s) 268.55
Current children cumulated vsize (Kb) 24600

[startup+280.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 21134
Raw data (/proc/21134/stat): 21134 (bsolo) R 21133 21134 20602 0 -1 0 20532 0 0 0 27727 126 0 0 25 0 1 0 1717071562 25595904 5544 4294967295 134512640 134736556 3221224576 3221223224 134544048 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/21134/statm): 6249 5544 1116 68 0 6181 0
[pid=21134] vsize: 24996
Current children cumulated CPU time (s) 278.53
Current children cumulated vsize (Kb) 24996

[startup+290.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 21134
Raw data (/proc/21134/stat): 21134 (bsolo) R 21133 21134 20602 0 -1 0 20665 0 0 0 28724 127 0 0 25 0 1 0 1717071562 26136576 5677 4294967295 134512640 134736556 3221224576 3221223136 134551165 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/21134/statm): 6381 5677 1116 68 0 6313 0
[pid=21134] vsize: 25524
Current children cumulated CPU time (s) 288.51
Current children cumulated vsize (Kb) 25524

[startup+300.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 21134
Raw data (/proc/21134/stat): 21134 (bsolo) R 21133 21134 20602 0 -1 0 20805 0 0 0 29721 129 0 0 25 0 1 0 1717071562 26812416 5817 4294967295 134512640 134736556 3221224576 3221223224 134544056 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/21134/statm): 6546 5817 1116 68 0 6478 0
[pid=21134] vsize: 26184
Current children cumulated CPU time (s) 298.5
Current children cumulated vsize (Kb) 26184

[startup+310.007 s]
Raw data (loadavg): 0.99 0.97 0.91 1/57 21134
Raw data (/proc/21134/stat): 21134 (bsolo) T 21133 21134 20602 0 -1 0 20916 0 0 0 30717 131 0 0 25 0 1 0 1717071562 27217920 5928 4294967295 134512640 134736556 3221224576 3221223468 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/21134/statm): 6645 5928 1116 68 0 6577 0
[pid=21134] vsize: 26580
Current children cumulated CPU time (s) 308.48
Current children cumulated vsize (Kb) 26580

[startup+320.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 21134
Raw data (/proc/21134/stat): 21134 (bsolo) R 21133 21134 20602 0 -1 0 21010 0 0 0 31714 132 0 0 25 0 1 0 1717071562 27623424 6022 4294967295 134512640 134736556 3221224576 3221223264 134536470 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/21134/statm): 6744 6022 1116 68 0 6676 0
[pid=21134] vsize: 26976
Current children cumulated CPU time (s) 318.46
Current children cumulated vsize (Kb) 26976

[startup+330.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 21134
Raw data (/proc/21134/stat): 21134 (bsolo) R 21133 21134 20602 0 -1 0 21104 0 0 0 32711 134 0 0 25 0 1 0 1717071562 28028928 6116 4294967295 134512640 134736556 3221224576 3221223168 134540198 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/21134/statm): 6843 6116 1116 68 0 6775 0
[pid=21134] vsize: 27372
Current children cumulated CPU time (s) 328.45
Current children cumulated vsize (Kb) 27372

[startup+340.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 21134
Raw data (/proc/21134/stat): 21134 (bsolo) R 21133 21134 20602 0 -1 0 21302 0 0 0 33703 137 0 0 25 0 1 0 1717071562 28839936 6314 4294967295 134512640 134736556 3221224576 3221223200 134524547 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/21134/statm): 7041 6314 1116 68 0 6973 0
[pid=21134] vsize: 28164
Current children cumulated CPU time (s) 338.4
Current children cumulated vsize (Kb) 28164

[startup+350.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 21134
Raw data (/proc/21134/stat): 21134 (bsolo) R 21133 21134 20602 0 -1 0 21302 0 0 0 34701 138 0 0 25 0 1 0 1717071562 28839936 6314 4294967295 134512640 134736556 3221224576 3221223152 134543071 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/21134/statm): 7041 6314 1116 68 0 6973 0
[pid=21134] vsize: 28164
Current children cumulated CPU time (s) 348.39
Current children cumulated vsize (Kb) 28164

[startup+360.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 21134
Raw data (/proc/21134/stat): 21134 (bsolo) R 21133 21134 20602 0 -1 0 21389 0 0 0 35699 140 0 0 25 0 1 0 1717071562 29110272 6401 4294967295 134512640 134736556 3221224576 3221223124 134544519 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/21134/statm): 7107 6401 1116 68 0 7039 0
[pid=21134] vsize: 28428
Current children cumulated CPU time (s) 358.39
Current children cumulated vsize (Kb) 28428

[startup+370.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 21134
Raw data (/proc/21134/stat): 21134 (bsolo) R 21133 21134 20602 0 -1 0 21623 0 0 0 36684 145 0 0 25 0 1 0 1717071562 29814784 6577 4294967295 134512640 134736556 3221224576 3221223296 134529206 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/21134/statm): 7279 6577 1116 68 0 7211 0
[pid=21134] vsize: 29116
Current children cumulated CPU time (s) 368.29
Current children cumulated vsize (Kb) 29116

[startup+380.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 21134
Raw data (/proc/21134/stat): 21134 (bsolo) R 21133 21134 20602 0 -1 0 21808 0 0 0 37676 148 0 0 25 0 1 0 1717071562 30576640 6762 4294967295 134512640 134736556 3221224576 3221223284 134544519 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/21134/statm): 7465 6762 1116 68 0 7397 0
[pid=21134] vsize: 29860
Current children cumulated CPU time (s) 378.24
Current children cumulated vsize (Kb) 29860

[startup+390.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 21134
Raw data (/proc/21134/stat): 21134 (bsolo) R 21133 21134 20602 0 -1 0 21936 0 0 0 38659 155 0 0 25 0 1 0 1717071562 31088640 6873 4294967295 134512640 134736556 3221224576 3221223104 134716576 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/21134/statm): 7590 6873 1116 68 0 7522 0
[pid=21134] vsize: 30360
Current children cumulated CPU time (s) 388.14
Current children cumulated vsize (Kb) 30360

[startup+400.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 21134
Raw data (/proc/21134/stat): 21134 (bsolo) R 21133 21134 20602 0 -1 0 21936 0 0 0 39657 156 0 0 25 0 1 0 1717071562 31088640 6873 4294967295 134512640 134736556 3221224576 3221223168 134551108 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/21134/statm): 7590 6873 1116 68 0 7522 0
[pid=21134] vsize: 30360
Current children cumulated CPU time (s) 398.13
Current children cumulated vsize (Kb) 30360

[startup+410.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 21134
Raw data (/proc/21134/stat): 21134 (bsolo) R 21133 21134 20602 0 -1 0 21999 0 0 0 40655 157 0 0 25 0 1 0 1717071562 31358976 6936 4294967295 134512640 134736556 3221224576 3221223184 134544716 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/21134/statm): 7656 6936 1116 68 0 7588 0
[pid=21134] vsize: 30624
Current children cumulated CPU time (s) 408.12
Current children cumulated vsize (Kb) 30624

[startup+420.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 21134
Raw data (/proc/21134/stat): 21134 (bsolo) R 21133 21134 20602 0 -1 0 22206 0 0 0 41642 163 0 0 25 0 1 0 1717071562 32141312 7143 4294967295 134512640 134736556 3221224576 3221223200 134537350 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/21134/statm): 7847 7143 1116 68 0 7779 0
[pid=21134] vsize: 31388
Current children cumulated CPU time (s) 418.05
Current children cumulated vsize (Kb) 31388

[startup+430.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 21134
Raw data (/proc/21134/stat): 21134 (bsolo) R 21133 21134 20602 0 -1 0 22326 0 0 0 42639 164 0 0 25 0 1 0 1717071562 32681984 7263 4294967295 134512640 134736556 3221224576 3221223224 134544625 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/21134/statm): 7979 7263 1116 68 0 7911 0
[pid=21134] vsize: 31916
Current children cumulated CPU time (s) 428.03
Current children cumulated vsize (Kb) 31916

[startup+440.01 s]
Raw data (loadavg): 0.99 0.97 0.91 1/57 21134
Raw data (/proc/21134/stat): 21134 (bsolo) T 21133 21134 20602 0 -1 0 22502 0 0 0 43636 166 0 0 25 0 1 0 1717071562 33464320 7439 4294967295 134512640 134736556 3221224576 3221223468 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/21134/statm): 8170 7439 1116 68 0 8102 0
[pid=21134] vsize: 32680
Current children cumulated CPU time (s) 438.02
Current children cumulated vsize (Kb) 32680

[startup+450.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 21134
Raw data (/proc/21134/stat): 21134 (bsolo) R 21133 21134 20602 0 -1 0 22585 0 0 0 44634 167 0 0 25 0 1 0 1717071562 33525760 7476 4294967295 134512640 134736556 3221224576 3221223248 134528766 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/21134/statm): 8185 7476 1116 68 0 8117 0
[pid=21134] vsize: 32740
Current children cumulated CPU time (s) 448.01
Current children cumulated vsize (Kb) 32740

[startup+460.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 21134
Raw data (/proc/21134/stat): 21134 (bsolo) R 21133 21134 20602 0 -1 0 22688 0 0 0 45631 168 0 0 25 0 1 0 1717071562 33927168 7579 4294967295 134512640 134736556 3221224576 3221223088 134543184 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/21134/statm): 8283 7579 1116 68 0 8215 0
[pid=21134] vsize: 33132
Current children cumulated CPU time (s) 457.99
Current children cumulated vsize (Kb) 33132

[startup+470.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 21134
Raw data (/proc/21134/stat): 21134 (bsolo) R 21133 21134 20602 0 -1 0 22914 0 0 0 46626 170 0 0 25 0 1 0 1717071562 34955264 7805 4294967295 134512640 134736556 3221224576 3221223136 134543128 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/21134/statm): 8534 7805 1116 68 0 8466 0
[pid=21134] vsize: 34136
Current children cumulated CPU time (s) 467.96
Current children cumulated vsize (Kb) 34136

[startup+480.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 21134
Raw data (/proc/21134/stat): 21134 (bsolo) R 21133 21134 20602 0 -1 0 23026 0 0 0 47623 171 0 0 25 0 1 0 1717071562 35360768 7917 4294967295 134512640 134736556 3221224576 3221223248 134528681 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/21134/statm): 8633 7917 1116 68 0 8565 0
[pid=21134] vsize: 34532
Current children cumulated CPU time (s) 477.94
Current children cumulated vsize (Kb) 34532

[startup+490.01 s]
Raw data (loadavg): 0.99 0.97 0.91 1/57 21134
Raw data (/proc/21134/stat): 21134 (bsolo) T 21133 21134 20602 0 -1 0 23223 0 0 0 48609 176 0 0 25 0 1 0 1717071562 36184064 8106 4294967295 134512640 134736556 3221224576 3221223468 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/21134/statm): 8834 8106 1116 68 0 8766 0
[pid=21134] vsize: 35336
Current children cumulated CPU time (s) 487.85
Current children cumulated vsize (Kb) 35336

[startup+500.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 21134
Raw data (/proc/21134/stat): 21134 (bsolo) R 21133 21134 20602 0 -1 0 23411 0 0 0 49596 181 0 0 25 0 1 0 1717071562 36753408 8244 4294967295 134512640 134736556 3221224576 3221223120 134540200 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/21134/statm): 8973 8244 1116 68 0 8905 0
[pid=21134] vsize: 35892
Current children cumulated CPU time (s) 497.77
Current children cumulated vsize (Kb) 35892

[startup+510.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 21134
Raw data (/proc/21134/stat): 21134 (bsolo) R 21133 21134 20602 0 -1 0 23411 0 0 0 50591 183 0 0 25 0 1 0 1717071562 36745216 8244 4294967295 134512640 134736556 3221224576 3221223248 134528723 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/21134/statm): 8971 8244 1116 68 0 8903 0
[pid=21134] vsize: 35884
Current children cumulated CPU time (s) 507.74
Current children cumulated vsize (Kb) 35884

[startup+520.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 21134
Raw data (/proc/21134/stat): 21134 (bsolo) R 21133 21134 20602 0 -1 0 23458 0 0 0 51589 184 0 0 25 0 1 0 1717071562 36880384 8291 4294967295 134512640 134736556 3221224576 3221223168 134544578 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/21134/statm): 9004 8291 1116 68 0 8936 0
[pid=21134] vsize: 36016
Current children cumulated CPU time (s) 517.73
Current children cumulated vsize (Kb) 36016

[startup+530.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 21134
Raw data (/proc/21134/stat): 21134 (bsolo) T 21133 21134 20602 0 -1 0 23678 0 0 0 52586 186 0 0 25 0 1 0 1717071562 37699584 8477 4294967295 134512640 134736556 3221224576 3221223468 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/21134/statm): 9204 8477 1116 68 0 9136 0
[pid=21134] vsize: 36816
Current children cumulated CPU time (s) 527.72
Current children cumulated vsize (Kb) 36816

[startup+540.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 21134
Raw data (/proc/21134/stat): 21134 (bsolo) R 21133 21134 20602 0 -1 0 23790 0 0 0 53584 186 0 0 25 0 1 0 1717071562 38105088 8589 4294967295 134512640 134736556 3221224576 3221223204 134553382 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/21134/statm): 9303 8589 1116 68 0 9235 0
[pid=21134] vsize: 37212
Current children cumulated CPU time (s) 537.7
Current children cumulated vsize (Kb) 37212

[startup+550.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 21134
Raw data (/proc/21134/stat): 21134 (bsolo) R 21133 21134 20602 0 -1 0 23922 0 0 0 54582 187 0 0 25 0 1 0 1717071562 38645760 8721 4294967295 134512640 134736556 3221224576 3221223188 134537369 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/21134/statm): 9435 8721 1116 68 0 9367 0
[pid=21134] vsize: 37740
Current children cumulated CPU time (s) 547.69
Current children cumulated vsize (Kb) 37740

[startup+560.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 21134
Raw data (/proc/21134/stat): 21134 (bsolo) R 21133 21134 20602 0 -1 0 24151 0 0 0 55577 190 0 0 25 0 1 0 1717071562 39587840 8950 4294967295 134512640 134736556 3221224576 3221223236 134630178 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/21134/statm): 9665 8950 1116 68 0 9597 0
[pid=21134] vsize: 38660
Current children cumulated CPU time (s) 557.67
Current children cumulated vsize (Kb) 38660

[startup+570.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 21134
Raw data (/proc/21134/stat): 21134 (bsolo) R 21133 21134 20602 0 -1 0 24186 0 0 0 56574 191 0 0 25 0 1 0 1717071562 39723008 8985 4294967295 134512640 134736556 3221224576 3221223136 134544667 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/21134/statm): 9698 8985 1116 68 0 9630 0
[pid=21134] vsize: 38792
Current children cumulated CPU time (s) 567.65
Current children cumulated vsize (Kb) 38792

[startup+580.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 21134
Raw data (/proc/21134/stat): 21134 (bsolo) R 21133 21134 20602 0 -1 0 24354 0 0 0 57572 193 0 0 25 0 1 0 1717071562 40398848 9153 4294967295 134512640 134736556 3221224576 3221223140 134544527 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/21134/statm): 9863 9153 1116 68 0 9795 0
[pid=21134] vsize: 39452
Current children cumulated CPU time (s) 577.65
Current children cumulated vsize (Kb) 39452

[startup+590.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 21134
Raw data (/proc/21134/stat): 21134 (bsolo) R 21133 21134 20602 0 -1 0 24594 0 0 0 58565 196 0 0 25 0 1 0 1717071562 41426944 9393 4294967295 134512640 134736556 3221224576 3221223152 134543187 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/21134/statm): 10114 9393 1116 68 0 10046 0
[pid=21134] vsize: 40456
Current children cumulated CPU time (s) 587.61
Current children cumulated vsize (Kb) 40456

[startup+600.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 21134
Raw data (/proc/21134/stat): 21134 (bsolo) R 21133 21134 20602 0 -1 0 24594 0 0 0 59563 197 0 0 25 0 1 0 1717071562 41426944 9393 4294967295 134512640 134736556 3221224576 3221223240 134554101 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/21134/statm): 10114 9393 1116 68 0 10046 0
[pid=21134] vsize: 40456
Current children cumulated CPU time (s) 597.6
Current children cumulated vsize (Kb) 40456

[startup+610.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 21134
Raw data (/proc/21134/stat): 21134 (bsolo) R 21133 21134 20602 0 -1 0 24689 0 0 0 60561 198 0 0 25 0 1 0 1717071562 41832448 9488 4294967295 134512640 134736556 3221224576 3221223152 134543977 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/21134/statm): 10213 9488 1116 68 0 10145 0
[pid=21134] vsize: 40852
Current children cumulated CPU time (s) 607.59
Current children cumulated vsize (Kb) 40852

[startup+620.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 21134
Raw data (/proc/21134/stat): 21134 (bsolo) R 21133 21134 20602 0 -1 0 24827 0 0 0 61558 200 0 0 25 0 1 0 1717071562 42373120 9626 4294967295 134512640 134736556 3221224576 3221223100 134540061 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/21134/statm): 10345 9626 1116 68 0 10277 0
[pid=21134] vsize: 41380
Current children cumulated CPU time (s) 617.58
Current children cumulated vsize (Kb) 41380

[startup+630.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 21134
Raw data (/proc/21134/stat): 21134 (bsolo) R 21133 21134 20602 0 -1 0 24965 0 0 0 62555 201 0 0 25 0 1 0 1717071562 42913792 9764 4294967295 134512640 134736556 3221224576 3221223272 134537629 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/21134/statm): 10477 9764 1116 68 0 10409 0
[pid=21134] vsize: 41908
Current children cumulated CPU time (s) 627.56
Current children cumulated vsize (Kb) 41908

[startup+640.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 21134
Raw data (/proc/21134/stat): 21134 (bsolo) R 21133 21134 20602 0 -1 0 25113 0 0 0 63552 203 0 0 25 0 1 0 1717071562 43589632 9912 4294967295 134512640 134736556 3221224576 3221223224 134560217 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/21134/statm): 10642 9912 1116 68 0 10574 0
[pid=21134] vsize: 42568
Current children cumulated CPU time (s) 637.55
Current children cumulated vsize (Kb) 42568
One traced child (pid=21134) exited with status: 30
All traced children have exited ! Game is over.

Child status: 30
Real time (s): 649.794
CPU time (s): 647.331
CPU user time (s): 645.264
CPU system time (s): 2.06669
CPU usage (%): 99.6209
Max. virtual memory (cumulated for all children) (Kb): 42568

Verifier Data

Verifier:	OK	331