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-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-bell3a.opb
MD5SUM	d95da3ca5417070201766bede2d4ef9c
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	2147483647
Optimality of the best value was proved	NO
Number of terms in the objective function	1256
Biggest coefficient in the objective function	393216000000000
Number of bits for the biggest coefficient in the objective function	49
Sum of the numbers in the objective function	14511389815457650
Number of bits of the sum of numbers in the objective function	54
Biggest number in a constraint	393216000000000
Number of bits of the biggest number in a constraint	49
Biggest sum of numbers in a constraint	14511389815457650
Number of bits of the biggest sum of numbers	54
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	7.69383
Number of variables	1599
Total number of constraints	194
Number of constraints which are clauses	22
Number of constraints which are cardinality constraints (but not clauses)	39
Number of constraints which are nor clauses,nor cardinality constraints	133
Minimum length of a constraint	1
Maximum length of a constraint	131
Trace number 40268

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-08 05:26:20 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28328 boxname=wulflinc3 idbench=1284 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  d95da3ca5417070201766bede2d4ef9c  /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-bell3a.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-bell3a.opb
IDLAUNCH: 28328
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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	: 2
cpu MHz		: 451.190
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:        911656 kB
Buffers:          8892 kB
Cached:          92160 kB
SwapCached:        676 kB
Active:          26944 kB
Inactive:        76108 kB
HighTotal:      131008 kB
HighFree:        57092 kB
LowTotal:       903652 kB
LowFree:        854564 kB
SwapTotal:     2097136 kB
SwapFree:      2095436 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5032 kB
Slab:            14144 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 05:45:55 (client local time) WITH STATUS 0 IN 1175.03 SECONDS
stats: 28328 7 1175.03 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 1599 variables and 147 constraints.
c After prepocess the problem consists of 1468 variables and 267 constraints.
c preprocess terminated 7.369 s
c Initial Lower Bound: 30207396
c Lower Bound Elapsed time: 0.05975
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.01 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
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.84 0.94 0.90 2/54 22034
Raw data (stat): 22034 (runsolver) R 22033 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 899093926 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0006 s]
Raw data (loadavg): 0.87 0.94 0.90 2/54 22034
Raw data (stat): 22034 (bsolo_lpr-v2) R 22033 20224 20223 0 -1 0 4767 0 0 0 985 11 0 0 25 0 1 0 899093926 13406208 2573 4294967295 134512640 134716908 3221224576 3221222304 1075828629 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3273 2573 1111 63 0 3210 0
vsize: 13092
[startup+20.0018 s]
Raw data (loadavg): 0.89 0.94 0.90 2/54 22034
Raw data (stat): 22034 (bsolo_lpr-v2) R 22033 20224 20223 0 -1 0 8547 0 0 0 1971 25 0 0 25 0 1 0 899093926 13422592 2582 4294967295 134512640 134716908 3221224576 3221223320 134536866 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3277 2582 1111 63 0 3214 0
vsize: 13108
[startup+30.0029 s]
Raw data (loadavg): 0.90 0.94 0.90 2/54 22034
Raw data (stat): 22034 (bsolo_lpr-v2) R 22033 20224 20223 0 -1 0 17672 0 0 0 2944 52 0 0 25 0 1 0 899093926 13520896 2606 4294967295 134512640 134716908 3221224576 3221221856 1074140001 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3301 2606 1111 63 0 3238 0
vsize: 13204
[startup+40.0028 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 22034
Raw data (stat): 22034 (bsolo_lpr-v2) R 22033 20224 20223 0 -1 0 27183 0 0 0 3918 79 0 0 25 0 1 0 899093926 13729792 2657 4294967295 134512640 134716908 3221224576 3221222576 1074056591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3352 2657 1111 63 0 3289 0
vsize: 13408
[startup+50.0033 s]
Raw data (loadavg): 0.93 0.94 0.90 2/54 22034
Raw data (stat): 22034 (bsolo_lpr-v2) R 22033 20224 20223 0 -1 0 35380 0 0 0 4891 105 0 0 25 0 1 0 899093926 13729792 2657 4294967295 134512640 134716908 3221224576 3221222888 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3352 2657 1111 63 0 3289 0
vsize: 13408
[startup+60.0038 s]
Raw data (loadavg): 0.94 0.95 0.90 2/54 22034
Raw data (stat): 22034 (bsolo_lpr-v2) R 22033 20224 20223 0 -1 0 44352 0 0 0 5865 132 0 0 25 0 1 0 899093926 13799424 2671 4294967295 134512640 134716908 3221224576 3221221680 1074138887 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3454 2674 1111 63 0 3391 0
vsize: 13476
[startup+70.0053 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 22034
Raw data (stat): 22034 (bsolo_lpr-v2) R 22033 20224 20223 0 -1 0 48852 0 0 0 6848 149 0 0 25 0 1 0 899093926 13852672 2687 4294967295 134512640 134716908 3221224576 3221222976 1074118827 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3382 2687 1111 63 0 3319 0
vsize: 13528
[startup+80.0058 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 22034
Raw data (stat): 22034 (bsolo_lpr-v2) R 22033 20224 20223 0 -1 0 53529 0 0 0 7832 165 0 0 25 0 1 0 899093926 14217216 2723 4294967295 134512640 134716908 3221224576 3221221616 1075860558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3471 2723 1111 63 0 3408 0
vsize: 13884
[startup+90.006 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 22034
Raw data (stat): 22034 (bsolo_lpr-v2) R 22033 20224 20223 0 -1 0 56695 0 0 0 8822 176 0 0 25 0 1 0 899093926 13975552 2717 4294967295 134512640 134716908 3221224576 3221222248 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3412 2717 1111 63 0 3349 0
vsize: 13648
[startup+100.007 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 22034
Raw data (stat): 22034 (bsolo_lpr-v2) R 22033 20224 20223 0 -1 0 65094 0 0 0 9797 201 0 0 25 0 1 0 899093926 14245888 2736 4294967295 134512640 134716908 3221224576 3221221560 1074831570 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3478 2736 1111 63 0 3415 0
vsize: 13912
[startup+110.007 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 22034
Raw data (stat): 22034 (bsolo_lpr-v2) R 22033 20224 20223 0 -1 0 73712 0 0 0 10772 226 0 0 25 0 1 0 899093926 14372864 2741 4294967295 134512640 134716908 3221224576 3221221608 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3509 2741 1111 63 0 3446 0
vsize: 14036
[startup+120.009 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 22034
Raw data (stat): 22034 (bsolo_lpr-v2) R 22033 20224 20223 0 -1 0 80335 0 0 0 11752 246 0 0 25 0 1 0 899093926 14106624 2749 4294967295 134512640 134716908 3221224576 3221222536 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3444 2749 1111 63 0 3381 0
vsize: 13776
[startup+130.009 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 22034
Raw data (stat): 22034 (bsolo_lpr-v2) R 22033 20224 20223 0 -1 0 89264 0 0 0 12728 270 0 0 25 0 1 0 899093926 14163968 2753 4294967295 134512640 134716908 3221224576 3221222896 1074138471 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3458 2753 1111 63 0 3395 0
vsize: 13832
[startup+140.009 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 22034
Raw data (stat): 22034 (bsolo_lpr-v2) R 22033 20224 20223 0 -1 0 97583 0 0 0 13706 293 0 0 25 0 1 0 899093926 14499840 2769 4294967295 134512640 134716908 3221224576 3221220752 1075561503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3540 2769 1111 63 0 3477 0
vsize: 14160
[startup+150.009 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 22034
Raw data (stat): 22034 (bsolo_lpr-v2) R 22033 20224 20223 0 -1 0 105620 0 0 0 14686 313 0 0 25 0 1 0 899093926 14266368 2785 4294967295 134512640 134716908 3221224576 3221221680 1074139093 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3527 2788 1111 63 0 3464 0
vsize: 13932
[startup+160.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 22034
Raw data (stat): 22034 (bsolo_lpr-v2) R 22033 20224 20223 0 -1 0 111341 0 0 0 15668 331 0 0 25 0 1 0 899093926 14274560 2788 4294967295 134512640 134716908 3221224576 3221221696 1074865202 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3485 2788 1111 63 0 3422 0
vsize: 13940
[startup+170.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 22034
Raw data (stat): 22034 (bsolo_lpr-v2) R 22033 20224 20223 0 -1 0 118222 0 0 0 16648 351 0 0 25 0 1 0 899093926 14311424 2796 4294967295 134512640 134716908 3221224576 3221223288 134558629 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3494 2796 1111 63 0 3431 0
vsize: 13976
[startup+180.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 22034
Raw data (stat): 22034 (bsolo_lpr-v2) R 22033 20224 20223 0 -1 0 124901 0 0 0 17630 369 0 0 25 0 1 0 899093926 14295040 2795 4294967295 134512640 134716908 3221224576 3221222976 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3490 2795 1111 63 0 3427 0
vsize: 13960
[startup+190.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 22034
Raw data (stat): 22034 (bsolo_lpr-v2) R 22033 20224 20223 0 -1 0 134570 0 0 0 18604 395 0 0 25 0 1 0 899093926 14520320 2818 4294967295 134512640 134716908 3221224576 3221223036 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3545 2818 1111 63 0 3482 0
vsize: 14180
[startup+200.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 22034
Raw data (stat): 22034 (bsolo_lpr-v2) R 22033 20224 20223 0 -1 0 140783 0 0 0 19583 417 0 0 25 0 1 0 899093926 14467072 2837 4294967295 134512640 134716908 3221224576 3221222976 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3532 2837 1111 63 0 3469 0
vsize: 14128
[startup+210.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 22034
Raw data (stat): 22034 (bsolo_lpr-v2) R 22033 20224 20223 0 -1 0 145249 0 0 0 20568 432 0 0 25 0 1 0 899093926 14516224 2846 4294967295 134512640 134716908 3221224576 3221223340 134613516 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3544 2846 1111 63 0 3481 0
vsize: 14176
[startup+220.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 22034
Raw data (stat): 22034 (bsolo_lpr-v2) R 22033 20224 20223 0 -1 0 147123 0 0 0 21559 441 0 0 25 0 1 0 899093926 14516224 2849 4294967295 134512640 134716908 3221224576 3221222496 1075799725 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3544 2849 1111 63 0 3481 0
vsize: 14176
[startup+230.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 22034
Raw data (stat): 22034 (bsolo_lpr-v2) R 22033 20224 20223 0 -1 0 148561 0 0 0 22551 449 0 0 25 0 1 0 899093926 14516224 2849 4294967295 134512640 134716908 3221224576 3221222320 1074146354 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3544 2849 1111 63 0 3481 0
vsize: 14176
[startup+240.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 22034
Raw data (stat): 22034 (bsolo_lpr-v2) R 22033 20224 20223 0 -1 0 150958 0 0 0 23541 460 0 0 25 0 1 0 899093926 14700544 2864 4294967295 134512640 134716908 3221224576 3221221616 1075971422 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3589 2864 1111 63 0 3526 0
vsize: 14356
[startup+250.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 22034
Raw data (stat): 22034 (bsolo_lpr-v2) R 22033 20224 20223 0 -1 0 153563 0 0 0 24532 469 0 0 25 0 1 0 899093926 14516224 2850 4294967295 134512640 134716908 3221224576 3221222688 1074867340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3544 2850 1111 63 0 3481 0
vsize: 14176
[startup+260.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22034
Raw data (stat): 22034 (bsolo_lpr-v2) R 22033 20224 20223 0 -1 0 156432 0 0 0 25519 482 0 0 25 0 1 0 899093926 14532608 2853 4294967295 134512640 134716908 3221224576 3221223204 134699062 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3548 2853 1111 63 0 3485 0
vsize: 14192
[startup+270.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22034
Raw data (stat): 22034 (bsolo_lpr-v2) R 22033 20224 20223 0 -1 0 161773 0 0 0 26503 498 0 0 25 0 1 0 899093926 14921728 2877 4294967295 134512640 134716908 3221224576 3221220736 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3643 2877 1111 63 0 3580 0
vsize: 14572
[startup+280.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22034
Raw data (stat): 22034 (bsolo_lpr-v2) R 22033 20224 20223 0 -1 0 166516 0 0 0 27488 513 0 0 25 0 1 0 899093926 14553088 2859 4294967295 134512640 134716908 3221224576 3221222624 1074153736 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3553 2859 1111 63 0 3490 0
vsize: 14212
[startup+290.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22034
Raw data (stat): 22034 (bsolo_lpr-v2) R 22033 20224 20223 0 -1 0 171528 0 0 0 28471 530 0 0 25 0 1 0 899093926 14934016 2869 4294967295 134512640 134716908 3221224576 3221221560 1074831572 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3646 2869 1111 63 0 3583 0
vsize: 14584
[startup+300.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22034
Raw data (stat): 22034 (bsolo_lpr-v2) R 22033 20224 20223 0 -1 0 177715 0 0 0 29450 552 0 0 25 0 1 0 899093926 14647296 2866 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3557 2861 1111 63 0 3494 0
vsize: 14304
[startup+310.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22034
Raw data (stat): 22034 (bsolo_lpr-v2) R 22033 20224 20223 0 -1 0 184137 0 0 0 30430 572 0 0 25 0 1 0 899093926 14708736 2860 4294967295 134512640 134716908 3221224576 3221222400 1075823521 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3591 2860 1111 63 0 3528 0
vsize: 14364
[startup+320.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22034
Raw data (stat): 22034 (bsolo_lpr-v2) R 22033 20224 20223 0 -1 0 189196 0 0 0 31412 590 0 0 25 0 1 0 899093926 14618624 2875 4294967295 134512640 134716908 3221224576 3221222640 1075961606 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3569 2875 1111 63 0 3506 0
vsize: 14276
[startup+330.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22034
Raw data (stat): 22034 (bsolo_lpr-v2) R 22033 20224 20223 0 -1 0 196006 0 0 0 32391 612 0 0 25 0 1 0 899093926 14848000 2931 4294967295 134512640 134716908 3221224576 3221222672 1074153673 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3625 2931 1111 63 0 3562 0
vsize: 14500
[startup+340.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22034
Raw data (stat): 22034 (bsolo_lpr-v2) R 22033 20224 20223 0 -1 0 203639 0 0 0 33365 638 0 0 25 0 1 0 899093926 14974976 2949 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3656 2953 1111 63 0 3593 0
vsize: 14624
[startup+350.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22034
Raw data (stat): 22034 (bsolo_lpr-v2) R 22033 20224 20223 0 -1 0 210873 0 0 0 34341 661 0 0 25 0 1 0 899093926 15011840 2971 4294967295 134512640 134716908 3221224576 3221222304 1074153673 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3665 2971 1111 63 0 3602 0
vsize: 14660
[startup+360.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22034
Raw data (stat): 22034 (bsolo_lpr-v2) R 22033 20224 20223 0 -1 0 216207 0 0 0 35320 683 0 0 25 0 1 0 899093926 15011840 2971 4294967295 134512640 134716908 3221224576 3221222296 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3665 2971 1111 63 0 3602 0
vsize: 14660
[startup+370.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22034
Raw data (stat): 22034 (bsolo_lpr-v2) R 22033 20224 20223 0 -1 0 222412 0 0 0 36293 710 0 0 25 0 1 0 899093926 15069184 2979 4294967295 134512640 134716908 3221224576 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3679 2979 1111 63 0 3616 0
vsize: 14716
[startup+380.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22034
Raw data (stat): 22034 (bsolo_lpr-v2) R 22033 20224 20223 0 -1 0 228279 0 0 0 37274 730 0 0 25 0 1 0 899093926 15372288 2982 4294967295 134512640 134716908 3221224576 3221220736 1075091317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3753 2982 1111 63 0 3690 0
vsize: 15012
[startup+390.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22034
Raw data (stat): 22034 (bsolo_lpr-v2) R 22033 20224 20223 0 -1 0 234903 0 0 0 38251 753 0 0 25 0 1 0 899093926 15011840 2971 4294967295 134512640 134716908 3221224576 3221223324 134543569 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3665 2971 1111 63 0 3602 0
vsize: 14660
[startup+400.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22034
Raw data (stat): 22034 (bsolo_lpr-v2) R 22033 20224 20223 0 -1 0 240646 0 0 0 39228 776 0 0 25 0 1 0 899093926 15011840 2971 4294967295 134512640 134716908 3221224576 3221222368 1074050884 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3665 2971 1111 63 0 3602 0
vsize: 14660
[startup+410.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22034
Raw data (stat): 22034 (bsolo_lpr-v2) R 22033 20224 20223 0 -1 0 244915 0 0 0 40212 792 0 0 25 0 1 0 899093926 15011840 2971 4294967295 134512640 134716908 3221224576 3221223352 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3665 2971 1111 63 0 3602 0
vsize: 14660
[startup+420.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22034
Raw data (stat): 22034 (bsolo_lpr-v2) R 22033 20224 20223 0 -1 0 256047 0 0 0 41179 825 0 0 25 0 1 0 899093926 15503360 3089 4294967295 134512640 134716908 3221224576 3221222956 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3785 3089 1111 63 0 3722 0
vsize: 15140
[startup+430.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22034
Raw data (stat): 22034 (bsolo_lpr-v2) R 22033 20224 20223 0 -1 0 264874 0 0 0 42153 852 0 0 25 0 1 0 899093926 17539072 3589 4294967295 134512640 134716908 3221224576 3221222304 1075635916 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4282 3589 1111 63 0 4219 0
vsize: 17128
[startup+440.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22034
Raw data (stat): 22034 (bsolo_lpr-v2) R 22033 20224 20223 0 -1 0 268428 0 0 0 43138 866 0 0 25 0 1 0 899093926 18264064 3765 4294967295 134512640 134716908 3221224576 3221222320 1075640468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4459 3765 1111 63 0 4396 0
vsize: 17836
[startup+450.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22034
Raw data (stat): 22034 (bsolo_lpr-v2) R 22033 20224 20223 0 -1 0 270782 0 0 0 44128 877 0 0 25 0 1 0 899093926 18403328 3800 4294967295 134512640 134716908 3221224576 3221222536 1074138306 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4493 3800 1111 63 0 4430 0
vsize: 17972
[startup+460.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22034
Raw data (stat): 22034 (bsolo_lpr-v2) R 22033 20224 20223 0 -1 0 274583 0 0 0 45115 890 0 0 25 0 1 0 899093926 18944000 3932 4294967295 134512640 134716908 3221224576 3221223036 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4625 3932 1111 63 0 4562 0
vsize: 18500
[startup+470.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22034
Raw data (stat): 22034 (bsolo_lpr-v2) R 22033 20224 20223 0 -1 0 278003 0 0 0 46101 904 0 0 25 0 1 0 899093926 18931712 3925 4294967295 134512640 134716908 3221224576 3221222464 1074051046 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4622 3925 1111 63 0 4559 0
vsize: 18488
[startup+480.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22034
Raw data (stat): 22034 (bsolo_lpr-v2) R 22033 20224 20223 0 -1 0 281885 0 0 0 47087 918 0 0 25 0 1 0 899093926 19058688 3960 4294967295 134512640 134716908 3221224576 3221223196 134558493 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4653 3960 1111 63 0 4590 0
vsize: 18612
[startup+490.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22034
Raw data (stat): 22034 (bsolo_lpr-v2) R 22033 20224 20223 0 -1 0 283894 0 0 0 48076 929 0 0 25 0 1 0 899093926 19034112 3954 4294967295 134512640 134716908 3221224576 3221222320 1075646924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4647 3954 1111 63 0 4584 0
vsize: 18588
[startup+500.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22034
Raw data (stat): 22034 (bsolo_lpr-v2) R 22033 20224 20223 0 -1 0 286377 0 0 0 49065 941 0 0 25 0 1 0 899093926 19034112 3954 4294967295 134512640 134716908 3221224576 3221222992 1074116576 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4647 3954 1111 63 0 4584 0
vsize: 18588
[startup+510.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22034
Raw data (stat): 22034 (bsolo_lpr-v2) R 22033 20224 20223 0 -1 0 289987 0 0 0 50048 958 0 0 25 0 1 0 899093926 19034112 3954 4294967295 134512640 134716908 3221224576 3221223036 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4647 3954 1111 63 0 4584 0
vsize: 18588
[startup+520.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22034
Raw data (stat): 22034 (bsolo_lpr-v2) R 22033 20224 20223 0 -1 0 293661 0 0 0 51033 974 0 0 25 0 1 0 899093926 19075072 3964 4294967295 134512640 134716908 3221224576 3221223036 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4657 3964 1111 63 0 4594 0
vsize: 18628
[startup+530.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22034
Raw data (stat): 22034 (bsolo_lpr-v2) R 22033 20224 20223 0 -1 0 298578 0 0 0 52014 992 0 0 25 0 1 0 899093926 19034112 3954 4294967295 134512640 134716908 3221224576 3221222976 1074118790 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4647 3954 1111 63 0 4584 0
vsize: 18588
[startup+540.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22034
Raw data (stat): 22034 (bsolo_lpr-v2) R 22033 20224 20223 0 -1 0 302107 0 0 0 53002 1004 0 0 25 0 1 0 899093926 19775488 4077 4294967295 134512640 134716908 3221224576 3221221676 1073966872 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4768 4075 1111 63 0 4705 0
vsize: 19312
[startup+550.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22034
Raw data (stat): 22034 (bsolo_lpr-v2) R 22033 20224 20223 0 -1 0 306913 0 0 0 53982 1024 0 0 25 0 1 0 899093926 19554304 4081 4294967295 134512640 134716908 3221224576 3221222828 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4774 4081 1111 63 0 4711 0
vsize: 19096
[startup+560.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22034
Raw data (stat): 22034 (bsolo_lpr-v2) R 22033 20224 20223 0 -1 0 312009 0 0 0 54962 1045 0 0 25 0 1 0 899093926 19570688 4085 4294967295 134512640 134716908 3221224576 3221222992 1074117102 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4778 4085 1111 63 0 4715 0
vsize: 19112
[startup+570.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22034
Raw data (stat): 22034 (bsolo_lpr-v2) R 22033 20224 20223 0 -1 0 312604 0 0 0 55957 1050 0 0 25 0 1 0 899093926 19570688 4085 4294967295 134512640 134716908 3221224576 3221222356 1077378648 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4778 4085 1111 63 0 4715 0
vsize: 19112
[startup+580.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22034
Raw data (stat): 22034 (bsolo_lpr-v2) R 22033 20224 20223 0 -1 0 314119 0 0 0 56948 1060 0 0 25 0 1 0 899093926 19570688 4085 4294967295 134512640 134716908 3221224576 3221222304 1075829534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4778 4085 1111 63 0 4715 0
vsize: 19112
[startup+590.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22034
Raw data (stat): 22034 (bsolo_lpr-v2) R 22033 20224 20223 0 -1 0 315935 0 0 0 57936 1072 0 0 25 0 1 0 899093926 19570688 4085 4294967295 134512640 134716908 3221224576 3221222976 1074118790 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4778 4085 1111 63 0 4715 0
vsize: 19112
[startup+600.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22034
Raw data (stat): 22034 (bsolo_lpr-v2) R 22033 20224 20223 0 -1 0 317241 0 0 0 58929 1079 0 0 25 0 1 0 899093926 19570688 4085 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4778 4085 1111 63 0 4715 0
vsize: 19112
[startup+610.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22034
Raw data (stat): 22034 (bsolo_lpr-v2) R 22033 20224 20223 0 -1 0 317985 0 0 0 59922 1086 0 0 25 0 1 0 899093926 19570688 4085 4294967295 134512640 134716908 3221224576 3221222496 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4778 4085 1111 63 0 4715 0
vsize: 19112
[startup+620.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22034
Raw data (stat): 22034 (bsolo_lpr-v2) R 22033 20224 20223 0 -1 0 318757 0 0 0 60914 1095 0 0 25 0 1 0 899093926 19570688 4085 4294967295 134512640 134716908 3221224576 3221221576 1077404829 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4778 4085 1111 63 0 4715 0
vsize: 19112
[startup+630.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22034
Raw data (stat): 22034 (bsolo_lpr-v2) R 22033 20224 20223 0 -1 0 319669 0 0 0 61904 1104 0 0 25 0 1 0 899093926 19570688 4085 4294967295 134512640 134716908 3221224576 3221222956 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4778 4085 1111 63 0 4715 0
vsize: 19112
[startup+640.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22034
Raw data (stat): 22034 (bsolo_lpr-v2) R 22033 20224 20223 0 -1 0 320106 0 0 0 62900 1108 0 0 25 0 1 0 899093926 19722240 4082 4294967295 134512640 134716908 3221224576 3221221504 1075960512 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4774 4081 1111 63 0 4711 0
vsize: 19260
[startup+650.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22034
Raw data (stat): 22034 (bsolo_lpr-v2) R 22033 20224 20223 0 -1 0 321121 0 0 0 63893 1116 0 0 25 0 1 0 899093926 19554304 4081 4294967295 134512640 134716908 3221224576 3221222304 1074057988 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4774 4081 1111 63 0 4711 0
vsize: 19096
[startup+660.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22034
Raw data (stat): 22034 (bsolo_lpr-v2) R 22033 20224 20223 0 -1 0 322514 0 0 0 64884 1125 0 0 25 0 1 0 899093926 19554304 4081 4294967295 134512640 134716908 3221224576 3221222840 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4774 4081 1111 63 0 4711 0
vsize: 19096
[startup+670.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22034
Raw data (stat): 22034 (bsolo_lpr-v2) R 22033 20224 20223 0 -1 0 323966 0 0 0 65872 1137 0 0 25 0 1 0 899093926 19554304 4081 4294967295 134512640 134716908 3221224576 3221222840 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4774 4081 1111 63 0 4711 0
vsize: 19096
[startup+680.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22034
Raw data (stat): 22034 (bsolo_lpr-v2) R 22033 20224 20223 0 -1 0 325662 0 0 0 66861 1148 0 0 25 0 1 0 899093926 19554304 4081 4294967295 134512640 134716908 3221224576 3221222400 1075823337 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4774 4081 1111 63 0 4711 0
vsize: 19096
[startup+690.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22034
Raw data (stat): 22034 (bsolo_lpr-v2) R 22033 20224 20223 0 -1 0 326604 0 0 0 67856 1154 0 0 25 0 1 0 899093926 19554304 4081 4294967295 134512640 134716908 3221224576 3221222400 1075823363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4774 4081 1111 63 0 4711 0
vsize: 19096
[startup+700.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22034
Raw data (stat): 22034 (bsolo_lpr-v2) R 22033 20224 20223 0 -1 0 328406 0 0 0 68846 1164 0 0 25 0 1 0 899093926 19554304 4081 4294967295 134512640 134716908 3221224576 3221222828 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4774 4081 1111 63 0 4711 0
vsize: 19096
[startup+710.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22034
Raw data (stat): 22034 (bsolo_lpr-v2) R 22033 20224 20223 0 -1 0 330727 0 0 0 69834 1176 0 0 25 0 1 0 899093926 19554304 4081 4294967295 134512640 134716908 3221224576 3221223276 134535506 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4774 4081 1111 63 0 4711 0
vsize: 19096
[startup+720.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22034
Raw data (stat): 22034 (bsolo_lpr-v2) R 22033 20224 20223 0 -1 0 333185 0 0 0 70822 1188 0 0 25 0 1 0 899093926 19554304 4081 4294967295 134512640 134716908 3221224576 3221222304 1075635463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4774 4081 1111 63 0 4711 0
vsize: 19096
[startup+730.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22034
Raw data (stat): 22034 (bsolo_lpr-v2) R 22033 20224 20223 0 -1 0 336105 0 0 0 71807 1204 0 0 25 0 1 0 899093926 19554304 4081 4294967295 134512640 134716908 3221224576 3221222552 1074138155 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4774 4081 1111 63 0 4711 0
vsize: 19096
[startup+740.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22034
Raw data (stat): 22034 (bsolo_lpr-v2) R 22033 20224 20223 0 -1 0 340085 0 0 0 72791 1220 0 0 25 0 1 0 899093926 19730432 4124 4294967295 134512640 134716908 3221224576 3221222504 1077377989 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4817 4124 1111 63 0 4754 0
vsize: 19268
[startup+750.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22034
Raw data (stat): 22034 (bsolo_lpr-v2) R 22033 20224 20223 0 -1 0 346907 0 0 0 73765 1246 0 0 25 0 1 0 899093926 19783680 4137 4294967295 134512640 134716908 3221224576 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4830 4137 1111 63 0 4767 0
vsize: 19320
[startup+760.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22034
Raw data (stat): 22034 (bsolo_lpr-v2) R 22033 20224 20223 0 -1 0 352802 0 0 0 74743 1268 0 0 25 0 1 0 899093926 19881984 4157 4294967295 134512640 134716908 3221224576 3221223036 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4854 4157 1111 63 0 4791 0
vsize: 19416
[startup+770.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22034
Raw data (stat): 22034 (bsolo_lpr-v2) R 22033 20224 20223 0 -1 0 353266 0 0 0 75738 1273 0 0 25 0 1 0 899093926 19881984 4161 4294967295 134512640 134716908 3221224576 3221223296 134558521 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4854 4161 1111 63 0 4791 0
vsize: 19416
[startup+780.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22034
Raw data (stat): 22034 (bsolo_lpr-v2) R 22033 20224 20223 0 -1 0 354125 0 0 0 76730 1282 0 0 25 0 1 0 899093926 19881984 4161 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4854 4161 1111 63 0 4791 0
vsize: 19416
[startup+790.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22034
Raw data (stat): 22034 (bsolo_lpr-v2) R 22033 20224 20223 0 -1 0 355099 0 0 0 77724 1288 0 0 25 0 1 0 899093926 19881984 4161 4294967295 134512640 134716908 3221224576 3221223036 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4854 4161 1111 63 0 4791 0
vsize: 19416
[startup+800.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22034
Raw data (stat): 22034 (bsolo_lpr-v2) R 22033 20224 20223 0 -1 0 356067 0 0 0 78715 1297 0 0 25 0 1 0 899093926 19881984 4161 4294967295 134512640 134716908 3221224576 3221222576 1074056648 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4854 4161 1111 63 0 4791 0
vsize: 19416
[startup+810.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22034
Raw data (stat): 22034 (bsolo_lpr-v2) R 22033 20224 20223 0 -1 0 357411 0 0 0 79704 1308 0 0 25 0 1 0 899093926 19836928 4150 4294967295 134512640 134716908 3221224576 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4843 4150 1111 63 0 4780 0
vsize: 19372
[startup+820.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22034
Raw data (stat): 22034 (bsolo_lpr-v2) R 22033 20224 20223 0 -1 0 358285 0 0 0 80696 1316 0 0 25 0 1 0 899093926 19972096 4152 4294967295 134512640 134716908 3221224576 3221221496 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4876 4152 1111 63 0 4813 0
vsize: 19504
[startup+830.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22034
Raw data (stat): 22034 (bsolo_lpr-v2) R 22033 20224 20223 0 -1 0 360113 0 0 0 81686 1327 0 0 25 0 1 0 899093926 19836928 4150 4294967295 134512640 134716908 3221224576 3221222832 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4843 4150 1111 63 0 4780 0
vsize: 19372
[startup+840.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22034
Raw data (stat): 22034 (bsolo_lpr-v2) R 22033 20224 20223 0 -1 0 362001 0 0 0 82674 1338 0 0 25 0 1 0 899093926 20062208 4151 4294967295 134512640 134716908 3221224576 3221221128 1075088529 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4898 4151 1111 63 0 4835 0
vsize: 19592
[startup+850.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22034
Raw data (stat): 22034 (bsolo_lpr-v2) R 22033 20224 20223 0 -1 0 363322 0 0 0 83666 1347 0 0 25 0 1 0 899093926 19836928 4150 4294967295 134512640 134716908 3221224576 3221223192 134523391 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4843 4150 1111 63 0 4780 0
vsize: 19372
[startup+860.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22034
Raw data (stat): 22034 (bsolo_lpr-v2) R 22033 20224 20223 0 -1 0 365203 0 0 0 84653 1360 0 0 25 0 1 0 899093926 19836928 4150 4294967295 134512640 134716908 3221224576 3221222928 1074142734 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4843 4150 1111 63 0 4780 0
vsize: 19372
[startup+870.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22034
Raw data (stat): 22034 (bsolo_lpr-v2) R 22033 20224 20223 0 -1 0 366953 0 0 0 85640 1373 0 0 25 0 1 0 899093926 19836928 4150 4294967295 134512640 134716908 3221224576 3221222364 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4843 4150 1111 63 0 4780 0
vsize: 19372
[startup+880.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22034
Raw data (stat): 22034 (bsolo_lpr-v2) R 22033 20224 20223 0 -1 0 369345 0 0 0 86628 1386 0 0 25 0 1 0 899093926 19836928 4150 4294967295 134512640 134716908 3221224576 3221221696 1074865106 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4843 4150 1111 63 0 4780 0
vsize: 19372
[startup+890.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22034
Raw data (stat): 22034 (bsolo_lpr-v2) R 22033 20224 20223 0 -1 0 370544 0 0 0 87618 1396 0 0 25 0 1 0 899093926 19836928 4150 4294967295 134512640 134716908 3221224576 3221222912 134652402 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4843 4150 1111 63 0 4780 0
vsize: 19372
[startup+900.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22034
Raw data (stat): 22034 (bsolo_lpr-v2) R 22033 20224 20223 0 -1 0 372023 0 0 0 88610 1405 0 0 25 0 1 0 899093926 19836928 4150 4294967295 134512640 134716908 3221224576 3221222272 1074050966 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4843 4150 1111 63 0 4780 0
vsize: 19372
[startup+910.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22034
Raw data (stat): 22034 (bsolo_lpr-v2) R 22033 20224 20223 0 -1 0 374002 0 0 0 89597 1417 0 0 25 0 1 0 899093926 19836928 4150 4294967295 134512640 134716908 3221224576 3221222496 1075799776 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4843 4150 1111 63 0 4780 0
vsize: 19372
[startup+920.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22034
Raw data (stat): 22034 (bsolo_lpr-v2) R 22033 20224 20223 0 -1 0 375029 0 0 0 90590 1425 0 0 25 0 1 0 899093926 19836928 4150 4294967295 134512640 134716908 3221224576 3221222400 1075824347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4843 4150 1111 63 0 4780 0
vsize: 19372
[startup+930.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22034
Raw data (stat): 22034 (bsolo_lpr-v2) R 22033 20224 20223 0 -1 0 376394 0 0 0 91579 1436 0 0 25 0 1 0 899093926 19836928 4150 4294967295 134512640 134716908 3221224576 3221222672 1074153815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4843 4150 1111 63 0 4780 0
vsize: 19372
[startup+940.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22034
Raw data (stat): 22034 (bsolo_lpr-v2) R 22033 20224 20223 0 -1 0 377874 0 0 0 92568 1447 0 0 25 0 1 0 899093926 19836928 4150 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4843 4150 1111 63 0 4780 0
vsize: 19372
[startup+950.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22034
Raw data (stat): 22034 (bsolo_lpr-v2) R 22033 20224 20223 0 -1 0 379840 0 0 0 93557 1459 0 0 25 0 1 0 899093926 19836928 4150 4294967295 134512640 134716908 3221224576 3221222400 1075824351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4843 4150 1111 63 0 4780 0
vsize: 19372
[startup+960.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22034
Raw data (stat): 22034 (bsolo_lpr-v2) R 22033 20224 20223 0 -1 0 381854 0 0 0 94545 1471 0 0 25 0 1 0 899093926 19836928 4150 4294967295 134512640 134716908 3221224576 3221222576 1074056637 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4843 4150 1111 63 0 4780 0
vsize: 19372
[startup+970.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22034
Raw data (stat): 22034 (bsolo_lpr-v2) R 22033 20224 20223 0 -1 0 383978 0 0 0 95532 1484 0 0 25 0 1 0 899093926 19836928 4150 4294967295 134512640 134716908 3221224576 3221222592 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4843 4150 1111 63 0 4780 0
vsize: 19372
[startup+980.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22034
Raw data (stat): 22034 (bsolo_lpr-v2) R 22033 20224 20223 0 -1 0 386702 0 0 0 96517 1499 0 0 25 0 1 0 899093926 19836928 4150 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4843 4150 1111 63 0 4780 0
vsize: 19372
[startup+990.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22034
Raw data (stat): 22034 (bsolo_lpr-v2) R 22033 20224 20223 0 -1 0 388248 0 0 0 97505 1510 0 0 25 0 1 0 899093926 19836928 4150 4294967295 134512640 134716908 3221224576 3221222672 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4843 4150 1111 63 0 4780 0
vsize: 19372
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22034
Raw data (stat): 22034 (bsolo_lpr-v2) R 22033 20224 20223 0 -1 0 390249 0 0 0 98495 1522 0 0 25 0 1 0 899093926 19836928 4150 4294967295 134512640 134716908 3221224576 3221222304 1075829562 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4843 4150 1111 63 0 4780 0
vsize: 19372
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22034
Raw data (stat): 22034 (bsolo_lpr-v2) R 22033 20224 20223 0 -1 0 392435 0 0 0 99483 1533 0 0 25 0 1 0 899093926 19836928 4150 4294967295 134512640 134716908 3221224576 3221222688 1074867283 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4843 4150 1111 63 0 4780 0
vsize: 19372
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22034
Raw data (stat): 22034 (bsolo_lpr-v2) R 22033 20224 20223 0 -1 0 395201 0 0 0 100470 1547 0 0 25 0 1 0 899093926 19836928 4150 4294967295 134512640 134716908 3221224576 3221222736 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4843 4150 1111 63 0 4780 0
vsize: 19372
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22034
Raw data (stat): 22034 (bsolo_lpr-v2) R 22033 20224 20223 0 -1 0 397173 0 0 0 101461 1556 0 0 25 0 1 0 899093926 19836928 4150 4294967295 134512640 134716908 3221224576 3221222976 1074118815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4843 4150 1111 63 0 4780 0
vsize: 19372
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22034
Raw data (stat): 22034 (bsolo_lpr-v2) R 22033 20224 20223 0 -1 0 397345 0 0 0 102458 1559 0 0 25 0 1 0 899093926 19836928 4150 4294967295 134512640 134716908 3221224576 3221223136 134540034 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4843 4150 1111 63 0 4780 0
vsize: 19372
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22034
Raw data (stat): 22034 (bsolo_lpr-v2) R 22033 20224 20223 0 -1 0 397681 0 0 0 103454 1563 0 0 25 0 1 0 899093926 19836928 4150 4294967295 134512640 134716908 3221224576 3221222720 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4843 4150 1111 63 0 4780 0
vsize: 19372
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22034
Raw data (stat): 22034 (bsolo_lpr-v2) R 22033 20224 20223 0 -1 0 398072 0 0 0 104449 1568 0 0 25 0 1 0 899093926 19836928 4150 4294967295 134512640 134716908 3221224576 3221222304 1075829526 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4843 4150 1111 63 0 4780 0
vsize: 19372
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22034
Raw data (stat): 22034 (bsolo_lpr-v2) R 22033 20224 20223 0 -1 0 398553 0 0 0 105445 1572 0 0 25 0 1 0 899093926 19836928 4150 4294967295 134512640 134716908 3221224576 3221222648 1074138153 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4843 4150 1111 63 0 4780 0
vsize: 19372
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22034
Raw data (stat): 22034 (bsolo_lpr-v2) R 22033 20224 20223 0 -1 0 399039 0 0 0 106439 1579 0 0 25 0 1 0 899093926 19836928 4150 4294967295 134512640 134716908 3221224576 3221222688 1074143837 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4843 4150 1111 63 0 4780 0
vsize: 19372
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22034
Raw data (stat): 22034 (bsolo_lpr-v2) R 22033 20224 20223 0 -1 0 399474 0 0 0 107433 1584 0 0 25 0 1 0 899093926 19836928 4150 4294967295 134512640 134716908 3221224576 3221222544 1075809086 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4843 4150 1111 63 0 4780 0
vsize: 19372
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22034
Raw data (stat): 22034 (bsolo_lpr-v2) R 22033 20224 20223 0 -1 0 400025 0 0 0 108427 1591 0 0 25 0 1 0 899093926 19836928 4150 4294967295 134512640 134716908 3221224576 3221222992 1074116190 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4843 4150 1111 63 0 4780 0
vsize: 19372
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22034
Raw data (stat): 22034 (bsolo_lpr-v2) R 22033 20224 20223 0 -1 0 400604 0 0 0 109421 1597 0 0 25 0 1 0 899093926 19836928 4150 4294967295 134512640 134716908 3221224576 3221222424 1075007305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4843 4150 1111 63 0 4780 0
vsize: 19372
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22034
Raw data (stat): 22034 (bsolo_lpr-v2) R 22033 20224 20223 0 -1 0 401227 0 0 0 110415 1604 0 0 25 0 1 0 899093926 19836928 4150 4294967295 134512640 134716908 3221224576 3221222828 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4843 4150 1111 63 0 4780 0
vsize: 19372
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22034
Raw data (stat): 22034 (bsolo_lpr-v2) R 22033 20224 20223 0 -1 0 401370 0 0 0 111413 1605 0 0 25 0 1 0 899093926 19836928 4150 4294967295 134512640 134716908 3221224576 3221222976 1074118815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4843 4150 1111 63 0 4780 0
vsize: 19372
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22034
Raw data (stat): 22034 (bsolo_lpr-v2) R 22033 20224 20223 0 -1 0 401370 0 0 0 112412 1607 0 0 25 0 1 0 899093926 19836928 4150 4294967295 134512640 134716908 3221224576 3221222576 1074916681 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4843 4150 1111 63 0 4780 0
vsize: 19372
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22034
Raw data (stat): 22034 (bsolo_lpr-v2) R 22033 20224 20223 0 -1 0 401370 0 0 0 113411 1608 0 0 25 0 1 0 899093926 19836928 4150 4294967295 134512640 134716908 3221224576 3221222956 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4843 4150 1111 63 0 4780 0
vsize: 19372
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22034
Raw data (stat): 22034 (bsolo_lpr-v2) R 22033 20224 20223 0 -1 0 401370 0 0 0 114410 1609 0 0 25 0 1 0 899093926 19836928 4150 4294967295 134512640 134716908 3221224576 3221223008 1073990032 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4843 4150 1111 63 0 4780 0
vsize: 19372
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22034
Raw data (stat): 22034 (bsolo_lpr-v2) R 22033 20224 20223 0 -1 0 401370 0 0 0 115408 1611 0 0 25 0 1 0 899093926 19836928 4150 4294967295 134512640 134716908 3221224576 3221222928 1074115304 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4843 4150 1111 63 0 4780 0
vsize: 19372
[startup+1174.88 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 22034
Raw data (stat): 22034 (bsolo_lpr-v2) R 22033 20224 20223 0 -1 0 401370 0 0 0 115408 1611 0 0 25 0 1 0 899093926 19836928 4150 4294967295 134512640 134716908 3221224576 3221222928 1074115304 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4843 4150 1111 63 0 4780 0
vsize: 0

Child status: 0
Real time (s): 1174.88
CPU time (s): 1175.03
CPU user time (s): 1158.9
CPU system time (s): 16.1315
CPU usage (%): 100.013
Max. virtual memory (Kb): 19592
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####