PB'05 competition: run trace

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:
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.
SOLVER DATA
This is the output of the solver (stdout and stderr).
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.
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

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-aflow40b.opb
MD5SUM	64cd8dd71c00255f05a721f3d3f16ae5
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	1364
Biggest coefficient in the objective function	500
Number of bits for the biggest coefficient in the objective function	9
Sum of the numbers in the objective function	230637
Number of bits of the sum of numbers in the objective function	18
Biggest number in a constraint	102400
Number of bits of the biggest number in a constraint	17
Biggest sum of numbers in a constraint	7037881
Number of bits of the biggest sum of numbers	23
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	23384
Total number of constraints	4170
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	1403
Number of constraints which are nor clauses,nor cardinality constraints	2767
Minimum length of a constraint	1
Maximum length of a constraint	1202
Trace number 28543

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc19 THE 2005-05-25 02:54:00 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=12416 boxname=wulflinc19 idbench=956 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  64cd8dd71c00255f05a721f3d3f16ae5  /oldhome/oroussel/tmp/wulflinc19/normalized-mps-v2-20-10-aflow40b.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc19/normalized-mps-v2-20-10-aflow40b.opb
IDLAUNCH: 12416
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
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.037
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:        631020 kB
Buffers:         34368 kB
Cached:         342104 kB
SwapCached:        520 kB
Active:          47228 kB
Inactive:       331596 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        630768 kB
SwapTotal:     2097892 kB
SwapFree:      2096796 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5672 kB
Slab:            19044 kB
Committed_AS:    63632 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 03:13:36 (client local time) WITH STATUS 0 IN 1175.35 SECONDS
stats: 12416 7 1175.35 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 23384 variables and 2884 constraints.
c After prepocess the problem consists of 23338 variables and 2860 constraints.
c preprocess terminated 566.924 s
c Initial Lower Bound: 1006
c Lower Bound Elapsed time: 21.4348
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.04 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.92 0.95 0.90 2/54 19284
Raw data (stat): 19284 (runsolver) R 19283 10795 10794 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 835426136 1052672 99 4294967295 134512640 135381576 3221224480 3221219696 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0005 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 19284
Raw data (stat): 19284 (bsolo_lpr) R 19283 10795 10794 0 -1 0 29324 0 0 0 928 69 0 0 25 0 1 0 835426136 133353472 29248 4294967295 134512640 134714508 3221224592 3221222916 1077314242 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32557 29248 1111 63 0 32494 0
vsize: 130228
[startup+20.0003 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 19284
Raw data (stat): 19284 (bsolo_lpr) R 19283 10795 10794 0 -1 0 39562 0 0 0 1904 92 0 0 25 0 1 0 835426136 165412864 39406 4294967295 134512640 134714508 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40384 39406 1111 63 0 40321 0
vsize: 161536
[startup+30.0013 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 19284
Raw data (stat): 19284 (bsolo_lpr) R 19283 10795 10794 0 -1 0 110941 0 0 0 2729 268 0 0 25 0 1 0 835426136 170090496 40516 4294967295 134512640 134714508 3221224592 3221223088 134543740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41526 40516 1111 63 0 41463 0
vsize: 166104
[startup+40.0009 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 19284
Raw data (stat): 19284 (bsolo_lpr) R 19283 10795 10794 0 -1 0 196868 0 0 0 3517 480 0 0 25 0 1 0 835426136 177299456 42308 4294967295 134512640 134714508 3221224592 3221223232 134606488 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43286 42308 1111 63 0 43223 0
vsize: 173144
[startup+50.0016 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 19284
Raw data (stat): 19284 (bsolo_lpr) R 19283 10795 10794 0 -1 0 232518 0 0 0 4429 569 0 0 25 0 1 0 835426136 184037376 43919 4294967295 134512640 134714508 3221224592 3221223232 134606488 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44931 43921 1111 63 0 44868 0
vsize: 179724
[startup+60.0017 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 19284
Raw data (stat): 19284 (bsolo_lpr) R 19283 10795 10794 0 -1 0 305442 0 0 0 5247 751 0 0 25 0 1 0 835426136 188346368 45005 4294967295 134512640 134714508 3221224592 3221223232 134606456 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45983 45005 1111 63 0 45920 0
vsize: 183932
[startup+70.0012 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 19284
Raw data (stat): 19284 (bsolo_lpr) R 19283 10795 10794 0 -1 0 393641 0 0 0 6028 970 0 0 25 0 1 0 835426136 194428928 46490 4294967295 134512640 134714508 3221224592 3221223008 134543684 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47468 46490 1111 63 0 47405 0
vsize: 189872
[startup+80.0021 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 19284
Raw data (stat): 19284 (bsolo_lpr) R 19283 10795 10794 0 -1 0 455829 0 0 0 6875 1123 0 0 25 0 1 0 835426136 198926336 47588 4294967295 134512640 134714508 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48566 47588 1111 63 0 48503 0
vsize: 194264
[startup+90.0021 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 19284
Raw data (stat): 19284 (bsolo_lpr) R 19283 10795 10794 0 -1 0 501419 0 0 0 7760 1239 0 0 25 0 1 0 835426136 209125376 50069 4294967295 134512640 134714508 3221224592 3221223084 134542288 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51056 50069 1111 63 0 50993 0
vsize: 204224
[startup+100.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 19284
Raw data (stat): 19284 (bsolo_lpr) R 19283 10795 10794 0 -1 0 528059 0 0 0 8697 1301 0 0 25 0 1 0 835426136 215678976 51641 4294967295 134512640 134714508 3221224592 3221223232 134606468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52656 51646 1111 63 0 52593 0
vsize: 210624
[startup+110.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 19284
Raw data (stat): 19284 (bsolo_lpr) R 19283 10795 10794 0 -1 0 576479 0 0 0 9578 1420 0 0 25 0 1 0 835426136 219140096 52523 4294967295 134512640 134714508 3221224592 3221223232 134606488 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53501 52523 1111 63 0 53438 0
vsize: 214004
[startup+120.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19284
Raw data (stat): 19284 (bsolo_lpr) R 19283 10795 10794 0 -1 0 582830 0 0 0 10563 1435 0 0 25 0 1 0 835426136 226983936 54436 4294967295 134512640 134714508 3221224592 3221223000 134543647 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55416 54436 1111 63 0 55353 0
vsize: 221664
[startup+130.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19284
Raw data (stat): 19284 (bsolo_lpr) R 19283 10795 10794 0 -1 0 589985 0 0 0 11549 1449 0 0 25 0 1 0 835426136 254640128 61158 4294967295 134512640 134714508 3221224592 3221223208 134543796 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62168 61158 1111 63 0 62105 0
vsize: 248672
[startup+140.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19284
Raw data (stat): 19284 (bsolo_lpr) R 19283 10795 10794 0 -1 0 595361 0 0 0 12539 1460 0 0 25 0 1 0 835426136 273289216 65743 4294967295 134512640 134714508 3221224592 3221223008 134542731 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66721 65743 1111 63 0 66658 0
vsize: 266884
[startup+150.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19284
Raw data (stat): 19284 (bsolo_lpr) R 19283 10795 10794 0 -1 0 600533 0 0 0 13527 1473 0 0 25 0 1 0 835426136 292716544 70477 4294967295 134512640 134714508 3221224592 3221223152 134535757 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71464 70477 1111 63 0 71401 0
vsize: 285856
[startup+160.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19284
Raw data (stat): 19284 (bsolo_lpr) R 19283 10795 10794 0 -1 0 607345 0 0 0 14513 1486 0 0 25 0 1 0 835426136 319074304 76912 4294967295 134512640 134714508 3221224592 3221223072 134539462 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 77899 76912 1111 63 0 77836 0
vsize: 311596
[startup+170.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19284
Raw data (stat): 19284 (bsolo_lpr) R 19283 10795 10794 0 -1 0 613164 0 0 0 15502 1498 0 0 25 0 1 0 835426136 341004288 82266 4294967295 134512640 134714508 3221224592 3221222976 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83253 82266 1111 63 0 83190 0
vsize: 333012
[startup+180.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19284
Raw data (stat): 19284 (bsolo_lpr) R 19283 10795 10794 0 -1 0 621427 0 0 0 16484 1516 0 0 25 0 1 0 835426136 357670912 86314 4294967295 134512640 134714508 3221224592 3221223168 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87322 86314 1111 63 0 87259 0
vsize: 349288
[startup+190.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19284
Raw data (stat): 19284 (bsolo_lpr) R 19283 10795 10794 0 -1 0 626695 0 0 0 17472 1528 0 0 25 0 1 0 835426136 375623680 90718 4294967295 134512640 134714508 3221224592 3221223200 134664892 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 91705 90718 1111 63 0 91642 0
vsize: 366820
[startup+200.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19284
Raw data (stat): 19284 (bsolo_lpr) R 19283 10795 10794 0 -1 0 633295 0 0 0 18459 1541 0 0 25 0 1 0 835426136 398462976 96294 4294967295 134512640 134714508 3221224592 3221222976 134542701 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 97281 96294 1111 63 0 97218 0
vsize: 389124
[startup+210.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19284
Raw data (stat): 19284 (bsolo_lpr) R 19283 10795 10794 0 -1 0 638830 0 0 0 19449 1551 0 0 25 0 1 0 835426136 419221504 101362 4294967295 134512640 134714508 3221224592 3221223104 134542865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 102349 101362 1111 63 0 102286 0
vsize: 409396
[startup+220.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19284
Raw data (stat): 19284 (bsolo_lpr) R 19283 10795 10794 0 -1 0 643641 0 0 0 20440 1560 0 0 25 0 1 0 835426136 435212288 105243 4294967295 134512640 134714508 3221224592 3221223136 134535812 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106253 105243 1111 63 0 106190 0
vsize: 425012
[startup+230.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19284
Raw data (stat): 19284 (bsolo_lpr) R 19283 10795 10794 0 -1 0 648588 0 0 0 21430 1571 0 0 25 0 1 0 835426136 452661248 109510 4294967295 134512640 134714508 3221224592 3221223232 134584901 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 110513 109510 1111 63 0 110450 0
vsize: 442052
[startup+240.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19284
Raw data (stat): 19284 (bsolo_lpr) R 19283 10795 10794 0 -1 0 653572 0 0 0 22421 1580 0 0 25 0 1 0 835426136 468844544 113475 4294967295 134512640 134714508 3221224592 3221223104 134543681 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 114464 113475 1111 63 0 114401 0
vsize: 457856
[startup+250.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19284
Raw data (stat): 19284 (bsolo_lpr) R 19283 10795 10794 0 -1 0 658682 0 0 0 23411 1590 0 0 25 0 1 0 835426136 488419328 118239 4294967295 134512640 134714508 3221224592 3221223072 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 119243 118239 1111 63 0 119180 0
vsize: 476972
[startup+260.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19284
Raw data (stat): 19284 (bsolo_lpr) R 19283 10795 10794 0 -1 0 663475 0 0 0 24401 1600 0 0 25 0 1 0 835426136 504885248 122285 4294967295 134512640 134714508 3221224592 3221223216 134594957 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 123263 122285 1111 63 0 123200 0
vsize: 493052
[startup+270.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19284
Raw data (stat): 19284 (bsolo_lpr) R 19283 10795 10794 0 -1 0 668662 0 0 0 25392 1610 0 0 25 0 1 0 835426136 520896512 126194 4294967295 134512640 134714508 3221224592 3221223072 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 127172 126194 1111 63 0 127109 0
vsize: 508688
[startup+280.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19284
Raw data (stat): 19284 (bsolo_lpr) R 19283 10795 10794 0 -1 0 672956 0 0 0 26384 1617 0 0 25 0 1 0 835426136 537026560 130123 4294967295 134512640 134714508 3221224592 3221223056 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131110 130123 1111 63 0 131047 0
vsize: 524440
[startup+290.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19284
Raw data (stat): 19284 (bsolo_lpr) R 19283 10795 10794 0 -1 0 677604 0 0 0 27374 1628 0 0 25 0 1 0 835426136 550899712 133519 4294967295 134512640 134714508 3221224592 3221222984 134542370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134497 133519 1111 63 0 134434 0
vsize: 537988
[startup+300.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19284
Raw data (stat): 19284 (bsolo_lpr) R 19283 10795 10794 0 -1 0 682529 0 0 0 28362 1640 0 0 25 0 1 0 835426136 565817344 137161 4294967295 134512640 134714508 3221224592 3221223212 134543835 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 138139 137161 1111 63 0 138076 0
vsize: 552556
[startup+310.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19284
Raw data (stat): 19284 (bsolo_lpr) R 19283 10795 10794 0 -1 0 686440 0 0 0 29354 1648 0 0 25 0 1 0 835426136 579993600 140622 4294967295 134512640 134714508 3221224592 3221223072 134539385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 141600 140622 1111 63 0 141537 0
vsize: 566400
[startup+320.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19284
Raw data (stat): 19284 (bsolo_lpr) R 19283 10795 10794 0 -1 0 690681 0 0 0 30345 1657 0 0 25 0 1 0 835426136 592945152 143784 4294967295 134512640 134714508 3221224592 3221223164 134543124 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 144762 143784 1111 63 0 144699 0
vsize: 579048
[startup+330.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19284
Raw data (stat): 19284 (bsolo_lpr) R 19283 10795 10794 0 -1 0 694354 0 0 0 31338 1664 0 0 25 0 1 0 835426136 605188096 146741 4294967295 134512640 134714508 3221224592 3221222976 134542303 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 147751 146741 1111 63 0 147688 0
vsize: 591004
[startup+340.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19284
Raw data (stat): 19284 (bsolo_lpr) R 19283 10795 10794 0 -1 0 698541 0 0 0 32331 1672 0 0 25 0 1 0 835426136 617984000 149887 4294967295 134512640 134714508 3221224592 3221223208 134536879 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 150875 149887 1111 63 0 150812 0
vsize: 603500
[startup+350.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19284
Raw data (stat): 19284 (bsolo_lpr) R 19283 10795 10794 0 -1 0 702107 0 0 0 33324 1679 0 0 25 0 1 0 835426136 629714944 152761 4294967295 134512640 134714508 3221224592 3221223208 134536866 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 153739 152761 1111 63 0 153676 0
vsize: 614956
[startup+360.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19284
Raw data (stat): 19284 (bsolo_lpr) R 19283 10795 10794 0 -1 0 705213 0 0 0 34317 1686 0 0 25 0 1 0 835426136 638734336 154954 4294967295 134512640 134714508 3221224592 3221223000 134543652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 155941 154954 1111 63 0 155878 0
vsize: 623764
[startup+370.006 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 19337
Raw data (stat): 19284 (bsolo_lpr) R 19283 10795 10794 0 -1 0 708702 0 0 0 35309 1694 0 0 25 0 1 0 835426136 649592832 157614 4294967295 134512640 134714508 3221224592 3221223072 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 158592 157614 1111 63 0 158529 0
vsize: 634368
[startup+380.006 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 19337
Raw data (stat): 19284 (bsolo_lpr) R 19283 10795 10794 0 -1 0 712035 0 0 0 36300 1702 0 0 25 0 1 0 835426136 658169856 159708 4294967295 134512640 134714508 3221224592 3221223152 134535795 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 160686 159708 1111 63 0 160623 0
vsize: 642744
[startup+390.006 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 19337
Raw data (stat): 19284 (bsolo_lpr) R 19283 10795 10794 0 -1 0 715049 0 0 0 37294 1709 0 0 25 0 1 0 835426136 665325568 161455 4294967295 134512640 134714508 3221224592 3221223024 134543700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 162433 161455 1111 63 0 162370 0
vsize: 649732
[startup+400.007 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 19337
Raw data (stat): 19284 (bsolo_lpr) R 19283 10795 10794 0 -1 0 717621 0 0 0 38289 1714 0 0 25 0 1 0 835426136 671952896 163041 4294967295 134512640 134714508 3221224592 3221223056 134542359 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 164051 163041 1111 63 0 163988 0
vsize: 656204
[startup+410.008 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 19337
Raw data (stat): 19284 (bsolo_lpr) R 19283 10795 10794 0 -1 0 719506 0 0 0 39285 1718 0 0 25 0 1 0 835426136 675454976 163928 4294967295 134512640 134714508 3221224592 3221223072 134539411 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 164906 163928 1111 63 0 164843 0
vsize: 659624
[startup+420.008 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 19337
Raw data (stat): 19284 (bsolo_lpr) R 19283 10795 10794 0 -1 0 720197 0 0 0 40283 1720 0 0 25 0 1 0 835426136 676163584 164088 4294967295 134512640 134714508 3221224592 3221223252 134627197 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 165079 164088 1111 63 0 165016 0
vsize: 660316
[startup+430.008 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 19337
Raw data (stat): 19284 (bsolo_lpr) R 19283 10795 10794 0 -1 0 720198 0 0 0 41284 1720 0 0 25 0 1 0 835426136 676163584 164089 4294967295 134512640 134714508 3221224592 3221223264 134627187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 165079 164089 1111 63 0 165016 0
vsize: 660316
[startup+440.008 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 19337
Raw data (stat): 19284 (bsolo_lpr) R 19283 10795 10794 0 -1 0 720198 0 0 0 42284 1720 0 0 25 0 1 0 835426136 676163584 164089 4294967295 134512640 134714508 3221224592 3221223256 134627195 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 165079 164089 1111 63 0 165016 0
vsize: 660316
[startup+450.009 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 19339
Raw data (stat): 19284 (bsolo_lpr) R 19283 10795 10794 0 -1 0 720198 0 0 0 43284 1720 0 0 25 0 1 0 835426136 676163584 164089 4294967295 134512640 134714508 3221224592 3221223264 134627187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 165079 164089 1111 63 0 165016 0
vsize: 660316
[startup+460.009 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 19339
Raw data (stat): 19284 (bsolo_lpr) R 19283 10795 10794 0 -1 0 720199 0 0 0 44284 1720 0 0 25 0 1 0 835426136 676163584 164090 4294967295 134512640 134714508 3221224592 3221223264 134627187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 165079 164090 1111 63 0 165016 0
vsize: 660316
[startup+470.009 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 19339
Raw data (stat): 19284 (bsolo_lpr) R 19283 10795 10794 0 -1 0 720199 0 0 0 45284 1720 0 0 25 0 1 0 835426136 676163584 164090 4294967295 134512640 134714508 3221224592 3221223264 134627187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 165079 164090 1111 63 0 165016 0
vsize: 660316
[startup+480.009 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 19339
Raw data (stat): 19284 (bsolo_lpr) R 19283 10795 10794 0 -1 0 720199 0 0 0 46284 1720 0 0 25 0 1 0 835426136 676163584 164090 4294967295 134512640 134714508 3221224592 3221223252 134627197 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 165079 164090 1111 63 0 165016 0
vsize: 660316
[startup+490.013 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 19339
Raw data (stat): 19284 (bsolo_lpr) R 19283 10795 10794 0 -1 0 720200 0 0 0 47285 1720 0 0 25 0 1 0 835426136 676163584 164091 4294967295 134512640 134714508 3221224592 3221223252 134627197 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 165079 164091 1111 63 0 165016 0
vsize: 660316
[startup+500.014 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 19339
Raw data (stat): 19284 (bsolo_lpr) R 19283 10795 10794 0 -1 0 720201 0 0 0 48285 1721 0 0 25 0 1 0 835426136 676163584 164092 4294967295 134512640 134714508 3221224592 3221223264 134627241 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 165079 164092 1111 63 0 165016 0
vsize: 660316
[startup+510.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19339
Raw data (stat): 19284 (bsolo_lpr) R 19283 10795 10794 0 -1 0 720201 0 0 0 49285 1721 0 0 25 0 1 0 835426136 676163584 164092 4294967295 134512640 134714508 3221224592 3221223264 134627187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 165079 164092 1111 63 0 165016 0
vsize: 660316
[startup+520.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19339
Raw data (stat): 19284 (bsolo_lpr) R 19283 10795 10794 0 -1 0 720202 0 0 0 50286 1721 0 0 25 0 1 0 835426136 676163584 164093 4294967295 134512640 134714508 3221224592 3221223264 134627250 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 165079 164093 1111 63 0 165016 0
vsize: 660316
[startup+530.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19339
Raw data (stat): 19284 (bsolo_lpr) R 19283 10795 10794 0 -1 0 720202 0 0 0 51286 1721 0 0 25 0 1 0 835426136 676163584 164093 4294967295 134512640 134714508 3221224592 3221223264 134627250 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 165079 164093 1111 63 0 165016 0
vsize: 660316
[startup+540.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19339
Raw data (stat): 19284 (bsolo_lpr) R 19283 10795 10794 0 -1 0 720203 0 0 0 52286 1721 0 0 25 0 1 0 835426136 676163584 164094 4294967295 134512640 134714508 3221224592 3221223256 134627195 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 165079 164094 1111 63 0 165016 0
vsize: 660316
[startup+550.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19339
Raw data (stat): 19284 (bsolo_lpr) R 19283 10795 10794 0 -1 0 720203 0 0 0 53287 1721 0 0 25 0 1 0 835426136 676163584 164094 4294967295 134512640 134714508 3221224592 3221223252 134627197 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 165079 164094 1111 63 0 165016 0
vsize: 660316
[startup+560.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19339
Raw data (stat): 19284 (bsolo_lpr) R 19283 10795 10794 0 -1 0 720203 0 0 0 54288 1721 0 0 25 0 1 0 835426136 676163584 164094 4294967295 134512640 134714508 3221224592 3221223264 134627250 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 165079 164094 1111 63 0 165016 0
vsize: 660316
[startup+570.035 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19339
Raw data (stat): 19284 (bsolo_lpr) R 19283 10795 10794 0 -1 0 723151 0 0 0 55280 1728 0 0 25 0 1 0 835426136 687919104 166944 4294967295 134512640 134714508 3221224592 3221222720 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 167949 166944 1111 63 0 167886 0
vsize: 671796
[startup+580.036 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19339
Raw data (stat): 19284 (bsolo_lpr) R 19283 10795 10794 0 -1 0 723522 0 0 0 56278 1730 0 0 25 0 1 0 835426136 688369664 167055 4294967295 134512640 134714508 3221224592 3221222752 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 168059 167055 1111 63 0 167996 0
vsize: 672236
[startup+590.036 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19339
Raw data (stat): 19284 (bsolo_lpr) R 19283 10795 10794 0 -1 0 723714 0 0 0 57276 1732 0 0 25 0 1 0 835426136 688775168 167155 4294967295 134512640 134714508 3221224592 3221222320 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 168158 167155 1111 63 0 168095 0
vsize: 672632
[startup+600.037 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19339
Raw data (stat): 19284 (bsolo_lpr) R 19283 10795 10794 0 -1 0 727921 0 0 0 58268 1741 0 0 25 0 1 0 835426136 698843136 169479 4294967295 134512640 134714508 3221224592 3221220752 1075088563 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 170616 169479 1111 63 0 170553 0
vsize: 682464
[startup+610.043 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19339
Raw data (stat): 19284 (bsolo_lpr) R 19283 10795 10794 0 -1 0 735051 0 0 0 59252 1757 0 0 25 0 1 0 835426136 694386688 168616 4294967295 134512640 134714508 3221224592 3221222896 134539146 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 169528 168616 1111 63 0 169465 0
vsize: 678112
[startup+620.048 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19339
Raw data (stat): 19284 (bsolo_lpr) R 19283 10795 10794 0 -1 0 747267 0 0 0 60225 1785 0 0 25 0 1 0 835426136 696098816 169050 4294967295 134512640 134714508 3221224592 3221223040 134648572 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 169946 169050 1111 63 0 169883 0
vsize: 679784
[startup+630.053 s]
Raw data (loadavg): 1.00 0.99 0.91 3/54 19339
Raw data (stat): 19284 (bsolo_lpr) R 19283 10795 10794 0 -1 0 757843 0 0 0 61203 1807 0 0 25 0 1 0 835426136 698019840 169542 4294967295 134512640 134714508 3221224592 3221223040 134648533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 170415 169542 1111 63 0 170352 0
vsize: 681660
[startup+640.065 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19339
Raw data (stat): 19284 (bsolo_lpr) R 19283 10795 10794 0 -1 0 762892 0 0 0 62193 1819 0 0 25 0 1 0 835426136 706007040 171274 4294967295 134512640 134714508 3221224592 3221220476 1074860626 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 172365 171274 1111 63 0 172302 0
vsize: 689460
[startup+650.067 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19339
Raw data (stat): 19284 (bsolo_lpr) R 19283 10795 10794 0 -1 0 762896 0 0 0 63194 1819 0 0 25 0 1 0 835426136 706007040 171278 4294967295 134512640 134714508 3221224592 3221220476 1074860620 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 172365 171278 1111 63 0 172302 0
vsize: 689460
[startup+660.068 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19339
Raw data (stat): 19284 (bsolo_lpr) R 19283 10795 10794 0 -1 0 766606 0 0 0 64185 1827 0 0 25 0 1 0 835426136 695508992 168935 4294967295 134512640 134714508 3221224592 3221223364 134597630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 169802 168935 1111 63 0 169739 0
vsize: 679208
[startup+670.068 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19339
Raw data (stat): 19284 (bsolo_lpr) R 19283 10795 10794 0 -1 0 766606 0 0 0 65185 1827 0 0 25 0 1 0 835426136 695508992 168935 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 169802 168935 1111 63 0 169739 0
vsize: 679208
[startup+680.071 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19339
Raw data (stat): 19284 (bsolo_lpr) R 19283 10795 10794 0 -1 0 766608 0 0 0 66186 1827 0 0 25 0 1 0 835426136 695508992 168937 4294967295 134512640 134714508 3221224592 3221223392 134597735 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 169802 168937 1111 63 0 169739 0
vsize: 679208
[startup+690.071 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19339
Raw data (stat): 19284 (bsolo_lpr) R 19283 10795 10794 0 -1 0 766608 0 0 0 67186 1827 0 0 25 0 1 0 835426136 695508992 168937 4294967295 134512640 134714508 3221224592 3221223376 134597675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 169802 168937 1111 63 0 169739 0
vsize: 679208
[startup+700.072 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19341
Raw data (stat): 19284 (bsolo_lpr) R 19283 10795 10794 0 -1 0 766610 0 0 0 68186 1827 0 0 25 0 1 0 835426136 695508992 168939 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 169802 168939 1111 63 0 169739 0
vsize: 679208
[startup+710.073 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19341
Raw data (stat): 19284 (bsolo_lpr) R 19283 10795 10794 0 -1 0 766610 0 0 0 69186 1827 0 0 25 0 1 0 835426136 695508992 168939 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 169802 168939 1111 63 0 169739 0
vsize: 679208
[startup+720.075 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19341
Raw data (stat): 19284 (bsolo_lpr) R 19283 10795 10794 0 -1 0 766610 0 0 0 70186 1827 0 0 25 0 1 0 835426136 695508992 168939 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 169802 168939 1111 63 0 169739 0
vsize: 679208
[startup+730.079 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19341
Raw data (stat): 19284 (bsolo_lpr) R 19283 10795 10794 0 -1 0 766612 0 0 0 71187 1827 0 0 25 0 1 0 835426136 695508992 168941 4294967295 134512640 134714508 3221224592 3221223368 134613535 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 169802 168941 1111 63 0 169739 0
vsize: 679208
[startup+740.079 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19341
Raw data (stat): 19284 (bsolo_lpr) R 19283 10795 10794 0 -1 0 766612 0 0 0 72187 1828 0 0 25 0 1 0 835426136 695508992 168941 4294967295 134512640 134714508 3221224592 3221223392 134597690 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 169802 168941 1111 63 0 169739 0
vsize: 679208
[startup+750.08 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19341
Raw data (stat): 19284 (bsolo_lpr) R 19283 10795 10794 0 -1 0 766614 0 0 0 73187 1828 0 0 25 0 1 0 835426136 695508992 168943 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 169802 168943 1111 63 0 169739 0
vsize: 679208
[startup+760.08 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19341
Raw data (stat): 19284 (bsolo_lpr) R 19283 10795 10794 0 -1 0 766614 0 0 0 74187 1828 0 0 25 0 1 0 835426136 695508992 168943 4294967295 134512640 134714508 3221224592 3221223352 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 169802 168943 1111 63 0 169739 0
vsize: 679208
[startup+770.079 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19341
Raw data (stat): 19284 (bsolo_lpr) R 19283 10795 10794 0 -1 0 766616 0 0 0 75187 1828 0 0 25 0 1 0 835426136 695508992 168945 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 169802 168945 1111 63 0 169739 0
vsize: 679208
[startup+780.08 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19341
Raw data (stat): 19284 (bsolo_lpr) R 19283 10795 10794 0 -1 0 766618 0 0 0 76187 1828 0 0 25 0 1 0 835426136 695508992 168947 4294967295 134512640 134714508 3221224592 3221223376 134597675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 169802 168947 1111 63 0 169739 0
vsize: 679208
[startup+790.08 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19341
Raw data (stat): 19284 (bsolo_lpr) R 19283 10795 10794 0 -1 0 766618 0 0 0 77186 1829 0 0 25 0 1 0 835426136 695508992 168947 4294967295 134512640 134714508 3221224592 3221223392 134597769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 169802 168947 1111 63 0 169739 0
vsize: 679208
[startup+800.088 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19341
Raw data (stat): 19284 (bsolo_lpr) R 19283 10795 10794 0 -1 0 766620 0 0 0 78187 1829 0 0 25 0 1 0 835426136 695508992 168949 4294967295 134512640 134714508 3221224592 3221223372 134600365 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 169802 168949 1111 63 0 169739 0
vsize: 679208
[startup+810.089 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19341
Raw data (stat): 19284 (bsolo_lpr) R 19283 10795 10794 0 -1 0 766620 0 0 0 79187 1829 0 0 25 0 1 0 835426136 695508992 168949 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 169802 168949 1111 63 0 169739 0
vsize: 679208
[startup+820.088 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19341
Raw data (stat): 19284 (bsolo_lpr) R 19283 10795 10794 0 -1 0 766622 0 0 0 80188 1829 0 0 25 0 1 0 835426136 695508992 168951 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 169802 168951 1111 63 0 169739 0
vsize: 679208
[startup+830.089 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19341
Raw data (stat): 19284 (bsolo_lpr) R 19283 10795 10794 0 -1 0 766624 0 0 0 81188 1829 0 0 25 0 1 0 835426136 695508992 168953 4294967295 134512640 134714508 3221224592 3221223368 134613535 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 169802 168953 1111 63 0 169739 0
vsize: 679208
[startup+840.09 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19341
Raw data (stat): 19284 (bsolo_lpr) R 19283 10795 10794 0 -1 0 766624 0 0 0 82188 1829 0 0 25 0 1 0 835426136 695508992 168953 4294967295 134512640 134714508 3221224592 3221223376 134597619 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 169802 168953 1111 63 0 169739 0
vsize: 679208
[startup+850.09 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19341
Raw data (stat): 19284 (bsolo_lpr) R 19283 10795 10794 0 -1 0 766626 0 0 0 83188 1830 0 0 25 0 1 0 835426136 695508992 168955 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 169802 168955 1111 63 0 169739 0
vsize: 679208
[startup+860.091 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19341
Raw data (stat): 19284 (bsolo_lpr) R 19283 10795 10794 0 -1 0 766628 0 0 0 84188 1830 0 0 25 0 1 0 835426136 695508992 168957 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 169802 168957 1111 63 0 169739 0
vsize: 679208
[startup+870.09 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19341
Raw data (stat): 19284 (bsolo_lpr) R 19283 10795 10794 0 -1 0 766630 0 0 0 85187 1830 0 0 25 0 1 0 835426136 695508992 168959 4294967295 134512640 134714508 3221224592 3221223392 134597735 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 169802 168959 1111 63 0 169739 0
vsize: 679208
[startup+880.091 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19341
Raw data (stat): 19284 (bsolo_lpr) R 19283 10795 10794 0 -1 0 766632 0 0 0 86187 1830 0 0 25 0 1 0 835426136 695508992 168961 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 169802 168961 1111 63 0 169739 0
vsize: 679208
[startup+890.091 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19341
Raw data (stat): 19284 (bsolo_lpr) R 19283 10795 10794 0 -1 0 766634 0 0 0 87188 1831 0 0 25 0 1 0 835426136 695508992 168963 4294967295 134512640 134714508 3221224592 3221223372 134600365 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 169802 168963 1111 63 0 169739 0
vsize: 679208
[startup+900.092 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19341
Raw data (stat): 19284 (bsolo_lpr) R 19283 10795 10794 0 -1 0 766636 0 0 0 88187 1831 0 0 25 0 1 0 835426136 695508992 168965 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 169802 168965 1111 63 0 169739 0
vsize: 679208
[startup+910.092 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19341
Raw data (stat): 19284 (bsolo_lpr) R 19283 10795 10794 0 -1 0 766638 0 0 0 89187 1831 0 0 25 0 1 0 835426136 695508992 168967 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 169802 168967 1111 63 0 169739 0
vsize: 679208
[startup+920.092 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19341
Raw data (stat): 19284 (bsolo_lpr) R 19283 10795 10794 0 -1 0 766644 0 0 0 90187 1832 0 0 25 0 1 0 835426136 695508992 168973 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 169802 168973 1111 63 0 169739 0
vsize: 679208
[startup+930.093 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19341
Raw data (stat): 19284 (bsolo_lpr) R 19283 10795 10794 0 -1 0 766647 0 0 0 91186 1833 0 0 25 0 1 0 835426136 695508992 168976 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 169802 168976 1111 63 0 169739 0
vsize: 679208
[startup+940.094 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19341
Raw data (stat): 19284 (bsolo_lpr) R 19283 10795 10794 0 -1 0 766647 0 0 0 92186 1834 0 0 25 0 1 0 835426136 695508992 168976 4294967295 134512640 134714508 3221224592 3221223200 134549296 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 169802 168976 1111 63 0 169739 0
vsize: 679208
[startup+950.095 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19341
Raw data (stat): 19284 (bsolo_lpr) R 19283 10795 10794 0 -1 0 766647 0 0 0 93185 1834 0 0 25 0 1 0 835426136 695508992 168976 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 169802 168976 1111 63 0 169739 0
vsize: 679208
[startup+960.095 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19341
Raw data (stat): 19284 (bsolo_lpr) R 19283 10795 10794 0 -1 0 766647 0 0 0 94185 1834 0 0 25 0 1 0 835426136 695508992 168976 4294967295 134512640 134714508 3221224592 3221223352 134588015 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 169802 168976 1111 63 0 169739 0
vsize: 679208
[startup+970.094 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19341
Raw data (stat): 19284 (bsolo_lpr) R 19283 10795 10794 0 -1 0 766647 0 0 0 95185 1835 0 0 25 0 1 0 835426136 695508992 168976 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 169802 168976 1111 63 0 169739 0
vsize: 679208
[startup+980.094 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19341
Raw data (stat): 19284 (bsolo_lpr) R 19283 10795 10794 0 -1 0 766647 0 0 0 96184 1836 0 0 25 0 1 0 835426136 695508992 168976 4294967295 134512640 134714508 3221224592 3221223352 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 169802 168976 1111 63 0 169739 0
vsize: 679208
[startup+990.094 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19341
Raw data (stat): 19284 (bsolo_lpr) R 19283 10795 10794 0 -1 0 766647 0 0 0 97184 1836 0 0 25 0 1 0 835426136 695508992 168976 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 169802 168976 1111 63 0 169739 0
vsize: 679208
[startup+1000.09 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19341
Raw data (stat): 19284 (bsolo_lpr) R 19283 10795 10794 0 -1 0 766647 0 0 0 98184 1836 0 0 25 0 1 0 835426136 695508992 168976 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 169802 168976 1111 63 0 169739 0
vsize: 679208
[startup+1010.1 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19341
Raw data (stat): 19284 (bsolo_lpr) R 19283 10795 10794 0 -1 0 766647 0 0 0 99183 1837 0 0 25 0 1 0 835426136 695508992 168976 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 169802 168976 1111 63 0 169739 0
vsize: 679208
[startup+1020.09 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19341
Raw data (stat): 19284 (bsolo_lpr) R 19283 10795 10794 0 -1 0 766647 0 0 0 100183 1838 0 0 25 0 1 0 835426136 695508992 168976 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 169802 168976 1111 63 0 169739 0
vsize: 679208
[startup+1030.09 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19341
Raw data (stat): 19284 (bsolo_lpr) R 19283 10795 10794 0 -1 0 766647 0 0 0 101183 1838 0 0 25 0 1 0 835426136 695508992 168976 4294967295 134512640 134714508 3221224592 3221223200 134549313 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 169802 168976 1111 63 0 169739 0
vsize: 679208
[startup+1040.09 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19341
Raw data (stat): 19284 (bsolo_lpr) R 19283 10795 10794 0 -1 0 766647 0 0 0 102182 1839 0 0 25 0 1 0 835426136 695508992 168976 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 169802 168976 1111 63 0 169739 0
vsize: 679208
[startup+1050.1 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19341
Raw data (stat): 19284 (bsolo_lpr) R 19283 10795 10794 0 -1 0 766647 0 0 0 103181 1840 0 0 25 0 1 0 835426136 695508992 168976 4294967295 134512640 134714508 3221224592 3221223184 134543686 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 169802 168976 1111 63 0 169739 0
vsize: 679208
[startup+1060.1 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19341
Raw data (stat): 19284 (bsolo_lpr) R 19283 10795 10794 0 -1 0 766647 0 0 0 104181 1841 0 0 25 0 1 0 835426136 695508992 168976 4294967295 134512640 134714508 3221224592 3221223200 134549480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 169802 168976 1111 63 0 169739 0
vsize: 679208
[startup+1070.1 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19341
Raw data (stat): 19284 (bsolo_lpr) R 19283 10795 10794 0 -1 0 766647 0 0 0 105180 1841 0 0 25 0 1 0 835426136 695508992 168976 4294967295 134512640 134714508 3221224592 3221223200 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 169802 168976 1111 63 0 169739 0
vsize: 679208
[startup+1080.1 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19341
Raw data (stat): 19284 (bsolo_lpr) R 19283 10795 10794 0 -1 0 766647 0 0 0 106180 1842 0 0 25 0 1 0 835426136 695508992 168976 4294967295 134512640 134714508 3221224592 3221223344 134592421 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 169802 168976 1111 63 0 169739 0
vsize: 679208
[startup+1090.1 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19341
Raw data (stat): 19284 (bsolo_lpr) R 19283 10795 10794 0 -1 0 766647 0 0 0 107179 1843 0 0 25 0 1 0 835426136 695508992 168976 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 169802 168976 1111 63 0 169739 0
vsize: 679208
[startup+1100.1 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19341
Raw data (stat): 19284 (bsolo_lpr) R 19283 10795 10794 0 -1 0 766647 0 0 0 108179 1843 0 0 25 0 1 0 835426136 695508992 168976 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 169802 168976 1111 63 0 169739 0
vsize: 679208
[startup+1110.1 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19341
Raw data (stat): 19284 (bsolo_lpr) R 19283 10795 10794 0 -1 0 766647 0 0 0 109179 1844 0 0 25 0 1 0 835426136 695508992 168976 4294967295 134512640 134714508 3221224592 3221223360 134592104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 169802 168976 1111 63 0 169739 0
vsize: 679208
[startup+1120.1 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19341
Raw data (stat): 19284 (bsolo_lpr) R 19283 10795 10794 0 -1 0 766647 0 0 0 110178 1844 0 0 25 0 1 0 835426136 695508992 168976 4294967295 134512640 134714508 3221224592 3221223368 134600364 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 169802 168976 1111 63 0 169739 0
vsize: 679208
[startup+1130.1 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19341
Raw data (stat): 19284 (bsolo_lpr) R 19283 10795 10794 0 -1 0 766647 0 0 0 111178 1845 0 0 25 0 1 0 835426136 695508992 168976 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 169802 168976 1111 63 0 169739 0
vsize: 679208
[startup+1140.1 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19341
Raw data (stat): 19284 (bsolo_lpr) R 19283 10795 10794 0 -1 0 766647 0 0 0 112177 1846 0 0 25 0 1 0 835426136 695508992 168976 4294967295 134512640 134714508 3221224592 3221223132 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 169802 168976 1111 63 0 169739 0
vsize: 679208
[startup+1150.1 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19341
Raw data (stat): 19284 (bsolo_lpr) R 19283 10795 10794 0 -1 0 766647 0 0 0 113177 1846 0 0 25 0 1 0 835426136 695508992 168976 4294967295 134512640 134714508 3221224592 3221223352 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 169802 168976 1111 63 0 169739 0
vsize: 679208
[startup+1160.1 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19341
Raw data (stat): 19284 (bsolo_lpr) R 19283 10795 10794 0 -1 0 766647 0 0 0 114177 1847 0 0 25 0 1 0 835426136 695508992 168976 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 169802 168976 1111 63 0 169739 0
vsize: 679208
[startup+1170.1 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19341
Raw data (stat): 19284 (bsolo_lpr) R 19283 10795 10794 0 -1 0 766647 0 0 0 115176 1847 0 0 25 0 1 0 835426136 695508992 168976 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 169802 168976 1111 63 0 169739 0
vsize: 679208
[startup+1175.21 s]
Raw data (loadavg): 1.00 0.99 0.91 1/53 19341
Raw data (stat): 19284 (bsolo_lpr) R 19283 10795 10794 0 -1 0 766647 0 0 0 115176 1847 0 0 25 0 1 0 835426136 695508992 168976 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 169802 168976 1111 63 0 169739 0
vsize: 0

Child status: 0
Real time (s): 1175.2
CPU time (s): 1175.35
CPU user time (s): 1156.57
CPU system time (s): 18.7841
CPU usage (%): 100.012
Max. virtual memory (Kb): 689460
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####