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/miplib3/normalized-mps-v2-13-7-bell3a.opb
MD5SUM	47799b7114cd9484def56bec40d7bc3d
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.58885
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 27163

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-05-24 19:39:33 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=18201 boxname=wulflinc1 idbench=1401 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  47799b7114cd9484def56bec40d7bc3d  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-bell3a.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-bell3a.opb
IDLAUNCH: 18201
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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:        648284 kB
Buffers:         38924 kB
Cached:         319844 kB
SwapCached:          0 kB
Active:          85144 kB
Inactive:       276732 kB
HighTotal:      131008 kB
HighFree:        17024 kB
LowTotal:       903652 kB
LowFree:        631260 kB
SwapTotal:     2097136 kB
SwapFree:      2096968 kB
Dirty:              32 kB
Writeback:           0 kB
Mapped:           7144 kB
Slab:            18680 kB
Committed_AS:    92716 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 19:59:09 (client local time) WITH STATUS 0 IN 1175.13 SECONDS
stats: 18201 7 1175.13 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.137 s
c Initial Lower Bound: 30207396
c Lower Bound Elapsed time: 0.135333
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.11 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.58 0.88 0.92 2/55 11372
Raw data (stat): 11372 (runsolver) R 11371 8378 8377 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 717748638 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 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.0007 s]
Raw data (loadavg): 0.64 0.88 0.92 2/55 11372
Raw data (stat): 11372 (bsolo_lpr) R 11371 8378 8377 0 -1 0 5925 0 0 0 984 13 0 0 25 0 1 0 717748638 13987840 2661 4294967295 134512640 134714508 3221224592 3221221576 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3415 2661 1111 63 0 3352 0
vsize: 13660
[startup+20.0014 s]
Raw data (loadavg): 0.70 0.88 0.92 2/55 11372
Raw data (stat): 11372 (bsolo_lpr) R 11371 8378 8377 0 -1 0 13825 0 0 0 1960 38 0 0 25 0 1 0 717748638 13959168 2676 4294967295 134512640 134714508 3221224592 3221222320 1075829526 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3408 2676 1111 63 0 3345 0
vsize: 13632
[startup+30.0012 s]
Raw data (loadavg): 0.74 0.89 0.92 2/55 11372
Raw data (stat): 11372 (bsolo_lpr) R 11371 8378 8377 0 -1 0 19080 0 0 0 2943 55 0 0 25 0 1 0 717748638 14659584 2797 4294967295 134512640 134714508 3221224592 3221221632 1075859982 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3579 2797 1111 63 0 3516 0
vsize: 14316
[startup+40.001 s]
Raw data (loadavg): 0.78 0.89 0.92 2/55 11372
Raw data (stat): 11372 (bsolo_lpr) R 11371 8378 8377 0 -1 0 26019 0 0 0 3924 74 0 0 25 0 1 0 717748638 14499840 2850 4294967295 134512640 134714508 3221224592 3221221872 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3540 2850 1111 63 0 3477 0
vsize: 14160
[startup+50.0018 s]
Raw data (loadavg): 0.81 0.89 0.92 2/55 11372
Raw data (stat): 11372 (bsolo_lpr) R 11371 8378 8377 0 -1 0 33322 0 0 0 4901 97 0 0 25 0 1 0 717748638 14536704 2859 4294967295 134512640 134714508 3221224592 3221222512 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3549 2859 1111 63 0 3486 0
vsize: 14196
[startup+60.0025 s]
Raw data (loadavg): 0.84 0.89 0.92 2/55 11372
Raw data (stat): 11372 (bsolo_lpr) R 11371 8378 8377 0 -1 0 44166 0 0 0 5872 126 0 0 25 0 1 0 717748638 14782464 2917 4294967295 134512640 134714508 3221224592 3221222944 1074115334 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3609 2917 1111 63 0 3546 0
vsize: 14436
[startup+70.0033 s]
Raw data (loadavg): 0.87 0.90 0.92 2/55 11372
Raw data (stat): 11372 (bsolo_lpr) R 11371 8378 8377 0 -1 0 47280 0 0 0 6862 137 0 0 25 0 1 0 717748638 15020032 2975 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3667 2975 1111 63 0 3604 0
vsize: 14668
[startup+80.0031 s]
Raw data (loadavg): 0.89 0.90 0.92 2/55 11372
Raw data (stat): 11372 (bsolo_lpr) R 11371 8378 8377 0 -1 0 49754 0 0 0 7853 146 0 0 25 0 1 0 717748638 15253504 3004 4294967295 134512640 134714508 3221224592 3221221656 1075007305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3724 3004 1111 63 0 3661 0
vsize: 14896
[startup+90.0029 s]
Raw data (loadavg): 0.90 0.90 0.92 2/55 11372
Raw data (stat): 11372 (bsolo_lpr) R 11371 8378 8377 0 -1 0 52758 0 0 0 8842 157 0 0 25 0 1 0 717748638 15454208 3032 4294967295 134512640 134714508 3221224592 3221221616 1074810521 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3773 3032 1111 63 0 3710 0
vsize: 15092
[startup+100.003 s]
Raw data (loadavg): 0.92 0.91 0.92 2/55 11372
Raw data (stat): 11372 (bsolo_lpr) R 11371 8378 8377 0 -1 0 56100 0 0 0 9830 169 0 0 25 0 1 0 717748638 15355904 3062 4294967295 134512640 134714508 3221224592 3221222592 1074052248 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3749 3062 1111 63 0 3686 0
vsize: 14996
[startup+110.003 s]
Raw data (loadavg): 0.93 0.91 0.92 2/55 11372
Raw data (stat): 11372 (bsolo_lpr) R 11371 8378 8377 0 -1 0 58491 0 0 0 10819 180 0 0 25 0 1 0 717748638 15683584 3087 4294967295 134512640 134714508 3221224592 3221220556 1074860664 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3829 3087 1111 63 0 3766 0
vsize: 15316
[startup+120.004 s]
Raw data (loadavg): 0.94 0.91 0.92 2/55 11372
Raw data (stat): 11372 (bsolo_lpr) R 11371 8378 8377 0 -1 0 64058 0 0 0 11800 199 0 0 25 0 1 0 717748638 15581184 3117 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3804 3117 1111 63 0 3741 0
vsize: 15216
[startup+130.004 s]
Raw data (loadavg): 0.95 0.91 0.92 2/55 11372
Raw data (stat): 11372 (bsolo_lpr) R 11371 8378 8377 0 -1 0 68196 0 0 0 12788 212 0 0 25 0 1 0 717748638 15581184 3117 4294967295 134512640 134714508 3221224592 3221222864 1074056231 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3804 3117 1111 63 0 3741 0
vsize: 15216
[startup+140.004 s]
Raw data (loadavg): 0.96 0.92 0.92 2/55 11372
Raw data (stat): 11372 (bsolo_lpr) R 11371 8378 8377 0 -1 0 72295 0 0 0 13774 226 0 0 25 0 1 0 717748638 16191488 3183 4294967295 134512640 134714508 3221224592 3221221744 1075969937 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3953 3183 1111 63 0 3890 0
vsize: 15812
[startup+150.005 s]
Raw data (loadavg): 0.96 0.92 0.92 2/55 11372
Raw data (stat): 11372 (bsolo_lpr) R 11371 8378 8377 0 -1 0 76078 0 0 0 14761 239 0 0 25 0 1 0 717748638 16191488 3191 4294967295 134512640 134714508 3221224592 3221221536 1074620392 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3953 3191 1111 63 0 3890 0
vsize: 15812
[startup+160.005 s]
Raw data (loadavg): 0.97 0.92 0.92 2/55 11372
Raw data (stat): 11372 (bsolo_lpr) R 11371 8378 8377 0 -1 0 78890 0 0 0 15753 247 0 0 25 0 1 0 717748638 16240640 3238 4294967295 134512640 134714508 3221224592 3221220556 1074860608 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3965 3238 1111 63 0 3902 0
vsize: 15860
[startup+170.005 s]
Raw data (loadavg): 0.97 0.92 0.92 2/55 11372
Raw data (stat): 11372 (bsolo_lpr) R 11371 8378 8377 0 -1 0 81267 0 0 0 16745 255 0 0 25 0 1 0 717748638 16080896 3241 4294967295 134512640 134714508 3221224592 3221223132 134539237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3926 3241 1111 63 0 3863 0
vsize: 15704
[startup+180.005 s]
Raw data (loadavg): 0.98 0.92 0.92 2/55 11372
Raw data (stat): 11372 (bsolo_lpr) R 11371 8378 8377 0 -1 0 85474 0 0 0 17736 265 0 0 25 0 1 0 717748638 16355328 3308 4294967295 134512640 134714508 3221224592 3221222896 1074153794 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3993 3308 1111 63 0 3930 0
vsize: 15972
[startup+190.006 s]
Raw data (loadavg): 0.98 0.93 0.92 2/55 11372
Raw data (stat): 11372 (bsolo_lpr) R 11371 8378 8377 0 -1 0 89017 0 0 0 18725 275 0 0 25 0 1 0 717748638 16928768 3379 4294967295 134512640 134714508 3221224592 3221220832 1075115730 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4133 3379 1111 63 0 4070 0
vsize: 16532
[startup+200.006 s]
Raw data (loadavg): 0.98 0.93 0.92 2/55 11372
Raw data (stat): 11372 (bsolo_lpr) R 11371 8378 8377 0 -1 0 93172 0 0 0 19714 287 0 0 25 0 1 0 717748638 16748544 3404 4294967295 134512640 134714508 3221224592 3221222976 1074153812 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4089 3404 1111 63 0 4026 0
vsize: 16356
[startup+210.006 s]
Raw data (loadavg): 0.98 0.93 0.92 2/55 11372
Raw data (stat): 11372 (bsolo_lpr) R 11371 8378 8377 0 -1 0 96472 0 0 0 20703 298 0 0 25 0 1 0 717748638 16998400 3465 4294967295 134512640 134714508 3221224592 3221222848 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4150 3465 1111 63 0 4087 0
vsize: 16600
[startup+220.007 s]
Raw data (loadavg): 0.99 0.93 0.92 2/55 11372
Raw data (stat): 11372 (bsolo_lpr) R 11371 8378 8377 0 -1 0 100977 0 0 0 21689 312 0 0 25 0 1 0 717748638 17035264 3474 4294967295 134512640 134714508 3221224592 3221222504 1077380592 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4159 3474 1111 63 0 4096 0
vsize: 16636
[startup+230.007 s]
Raw data (loadavg): 0.99 0.93 0.92 2/55 11372
Raw data (stat): 11372 (bsolo_lpr) R 11371 8378 8377 0 -1 0 106646 0 0 0 22670 332 0 0 25 0 1 0 717748638 17190912 3512 4294967295 134512640 134714508 3221224592 3221222992 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4197 3512 1111 63 0 4134 0
vsize: 16788
[startup+240.007 s]
Raw data (loadavg): 0.99 0.94 0.92 2/55 11372
Raw data (stat): 11372 (bsolo_lpr) R 11371 8378 8377 0 -1 0 111844 0 0 0 23653 348 0 0 25 0 1 0 717748638 17297408 3538 4294967295 134512640 134714508 3221224592 3221223360 134592125 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4223 3538 1111 63 0 4160 0
vsize: 16892
[startup+250.007 s]
Raw data (loadavg): 0.99 0.94 0.92 2/55 11372
Raw data (stat): 11372 (bsolo_lpr) R 11371 8378 8377 0 -1 0 117054 0 0 0 24637 365 0 0 25 0 1 0 717748638 17387520 3560 4294967295 134512640 134714508 3221224592 3221222944 1074115298 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4245 3560 1111 63 0 4182 0
vsize: 16980
[startup+260.008 s]
Raw data (loadavg): 0.99 0.94 0.92 2/55 11372
Raw data (stat): 11372 (bsolo_lpr) R 11371 8378 8377 0 -1 0 122443 0 0 0 25621 381 0 0 25 0 1 0 717748638 17506304 3589 4294967295 134512640 134714508 3221224592 3221222504 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4274 3589 1111 63 0 4211 0
vsize: 17096
[startup+270.008 s]
Raw data (loadavg): 0.99 0.94 0.92 2/55 11372
Raw data (stat): 11372 (bsolo_lpr) R 11371 8378 8377 0 -1 0 127641 0 0 0 26606 397 0 0 25 0 1 0 717748638 17543168 3598 4294967295 134512640 134714508 3221224592 3221222220 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4283 3598 1111 63 0 4220 0
vsize: 17132
[startup+280.008 s]
Raw data (loadavg): 0.99 0.94 0.92 2/55 11372
Raw data (stat): 11372 (bsolo_lpr) R 11371 8378 8377 0 -1 0 132801 0 0 0 27588 415 0 0 25 0 1 0 717748638 17575936 3606 4294967295 134512640 134714508 3221224592 3221222928 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4291 3606 1111 63 0 4228 0
vsize: 17164
[startup+290.009 s]
Raw data (loadavg): 0.99 0.94 0.92 2/55 11372
Raw data (stat): 11372 (bsolo_lpr) R 11371 8378 8377 0 -1 0 138109 0 0 0 28573 429 0 0 25 0 1 0 717748638 17739776 3646 4294967295 134512640 134714508 3221224592 3221222992 1074153815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4331 3646 1111 63 0 4268 0
vsize: 17324
[startup+300.008 s]
Raw data (loadavg): 0.99 0.94 0.92 2/55 11372
Raw data (stat): 11372 (bsolo_lpr) R 11371 8378 8377 0 -1 0 143167 0 0 0 29557 446 0 0 25 0 1 0 717748638 17973248 3667 4294967295 134512640 134714508 3221224592 3221222552 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4388 3667 1111 63 0 4325 0
vsize: 17552
[startup+310.009 s]
Raw data (loadavg): 0.99 0.95 0.92 2/55 11372
Raw data (stat): 11372 (bsolo_lpr) R 11371 8378 8377 0 -1 0 148102 0 0 0 30544 459 0 0 25 0 1 0 717748638 17870848 3678 4294967295 134512640 134714508 3221224592 3221222944 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4363 3678 1111 63 0 4300 0
vsize: 17452
[startup+320.009 s]
Raw data (loadavg): 0.99 0.95 0.92 2/55 11372
Raw data (stat): 11372 (bsolo_lpr) R 11371 8378 8377 0 -1 0 151643 0 0 0 31533 470 0 0 25 0 1 0 717748638 18227200 3765 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4450 3765 1111 63 0 4387 0
vsize: 17800
[startup+330.009 s]
Raw data (loadavg): 0.99 0.95 0.92 2/55 11372
Raw data (stat): 11372 (bsolo_lpr) R 11371 8378 8377 0 -1 0 154514 0 0 0 32525 478 0 0 25 0 1 0 717748638 18198528 3758 4294967295 134512640 134714508 3221224592 3221222336 1075645319 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4443 3758 1111 63 0 4380 0
vsize: 17772
[startup+340.008 s]
Raw data (loadavg): 0.99 0.95 0.92 2/55 11372
Raw data (stat): 11372 (bsolo_lpr) R 11371 8378 8377 0 -1 0 158042 0 0 0 33511 492 0 0 25 0 1 0 717748638 18489344 3774 4294967295 134512640 134714508 3221224592 3221220704 1075091317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4514 3774 1111 63 0 4451 0
vsize: 18056
[startup+350.008 s]
Raw data (loadavg): 0.99 0.95 0.92 2/55 11372
Raw data (stat): 11372 (bsolo_lpr) R 11371 8378 8377 0 -1 0 164810 0 0 0 34489 515 0 0 25 0 1 0 717748638 18460672 3822 4294967295 134512640 134714508 3221224592 3221222504 1074138155 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4507 3822 1111 63 0 4444 0
vsize: 18028
[startup+360.009 s]
Raw data (loadavg): 0.99 0.95 0.92 2/55 11372
Raw data (stat): 11372 (bsolo_lpr) R 11371 8378 8377 0 -1 0 169937 0 0 0 35475 528 0 0 25 0 1 0 717748638 18780160 3900 4294967295 134512640 134714508 3221224592 3221222208 1074051602 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4585 3900 1111 63 0 4522 0
vsize: 18340
[startup+370.009 s]
Raw data (loadavg): 0.99 0.95 0.92 2/55 11372
Raw data (stat): 11372 (bsolo_lpr) R 11371 8378 8377 0 -1 0 174243 0 0 0 36461 543 0 0 25 0 1 0 717748638 19439616 3987 4294967295 134512640 134714508 3221224592 3221221536 1074620304 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4746 3987 1111 63 0 4683 0
vsize: 18984
[startup+380.008 s]
Raw data (loadavg): 0.99 0.95 0.92 2/55 11372
Raw data (stat): 11372 (bsolo_lpr) R 11371 8378 8377 0 -1 0 178326 0 0 0 37447 557 0 0 25 0 1 0 717748638 19505152 4011 4294967295 134512640 134714508 3221224592 3221220912 1075894538 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4762 4011 1111 63 0 4699 0
vsize: 19048
[startup+390.008 s]
Raw data (loadavg): 0.99 0.95 0.92 2/55 11372
Raw data (stat): 11372 (bsolo_lpr) R 11371 8378 8377 0 -1 0 182720 0 0 0 38433 571 0 0 25 0 1 0 717748638 19750912 4073 4294967295 134512640 134714508 3221224592 3221221008 1074257432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4822 4073 1111 63 0 4759 0
vsize: 19288
[startup+400.008 s]
Raw data (loadavg): 0.99 0.95 0.92 2/55 11372
Raw data (stat): 11372 (bsolo_lpr) R 11371 8378 8377 0 -1 0 186432 0 0 0 39421 583 0 0 25 0 1 0 717748638 19476480 4070 4294967295 134512640 134714508 3221224592 3221222592 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4755 4070 1111 63 0 4692 0
vsize: 19020
[startup+410.008 s]
Raw data (loadavg): 0.99 0.96 0.92 2/55 11372
Raw data (stat): 11372 (bsolo_lpr) R 11371 8378 8377 0 -1 0 190876 0 0 0 40407 598 0 0 25 0 1 0 717748638 19738624 4134 4294967295 134512640 134714508 3221224592 3221222608 1074143746 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4819 4134 1111 63 0 4756 0
vsize: 19276
[startup+420.008 s]
Raw data (loadavg): 0.99 0.96 0.92 2/55 11372
Raw data (stat): 11372 (bsolo_lpr) R 11371 8378 8377 0 -1 0 194666 0 0 0 41395 610 0 0 25 0 1 0 717748638 20226048 4168 4294967295 134512640 134714508 3221224592 3221220752 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4938 4178 1111 63 0 4875 0
vsize: 19752
[startup+430.008 s]
Raw data (loadavg): 0.99 0.96 0.92 2/55 11372
Raw data (stat): 11372 (bsolo_lpr) R 11371 8378 8377 0 -1 0 198328 0 0 0 42382 623 0 0 25 0 1 0 717748638 19980288 4193 4294967295 134512640 134714508 3221224592 3221222560 1075961292 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4878 4193 1111 63 0 4815 0
vsize: 19512
[startup+440.008 s]
Raw data (loadavg): 0.99 0.96 0.92 2/55 11372
Raw data (stat): 11372 (bsolo_lpr) R 11371 8378 8377 0 -1 0 202118 0 0 0 43371 634 0 0 25 0 1 0 717748638 19996672 4197 4294967295 134512640 134714508 3221224592 3221223368 134600364 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4882 4197 1111 63 0 4819 0
vsize: 19528
[startup+450.008 s]
Raw data (loadavg): 0.99 0.96 0.92 2/55 11372
Raw data (stat): 11372 (bsolo_lpr) R 11371 8378 8377 0 -1 0 205949 0 0 0 44357 648 0 0 25 0 1 0 717748638 20107264 4224 4294967295 134512640 134714508 3221224592 3221222992 1074153648 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4909 4224 1111 63 0 4846 0
vsize: 19636
[startup+460.008 s]
Raw data (loadavg): 0.99 0.96 0.92 2/55 11372
Raw data (stat): 11372 (bsolo_lpr) R 11371 8378 8377 0 -1 0 209840 0 0 0 45344 661 0 0 25 0 1 0 717748638 20635648 4295 4294967295 134512640 134714508 3221224592 3221221664 1074867325 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5038 4295 1111 63 0 4975 0
vsize: 20152
[startup+470.009 s]
Raw data (loadavg): 0.99 0.96 0.92 2/55 11372
Raw data (stat): 11372 (bsolo_lpr) R 11371 8378 8377 0 -1 0 212917 0 0 0 46335 670 0 0 25 0 1 0 717748638 20447232 4307 4294967295 134512640 134714508 3221224592 3221222944 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4992 4307 1111 63 0 4929 0
vsize: 19968
[startup+480.008 s]
Raw data (loadavg): 0.99 0.96 0.92 2/55 11372
Raw data (stat): 11372 (bsolo_lpr) R 11371 8378 8377 0 -1 0 215803 0 0 0 47327 679 0 0 25 0 1 0 717748638 20500480 4320 4294967295 134512640 134714508 3221224592 3221222944 1074115335 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5005 4320 1111 63 0 4942 0
vsize: 20020
[startup+490.008 s]
Raw data (loadavg): 0.99 0.96 0.92 2/55 11372
Raw data (stat): 11372 (bsolo_lpr) R 11371 8378 8377 0 -1 0 219551 0 0 0 48315 690 0 0 25 0 1 0 717748638 21118976 4391 4294967295 134512640 134714508 3221224592 3221221576 1074831583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5156 4391 1111 63 0 5093 0
vsize: 20624
[startup+500.009 s]
Raw data (loadavg): 0.99 0.96 0.92 2/55 11372
Raw data (stat): 11372 (bsolo_lpr) R 11371 8378 8377 0 -1 0 220535 0 0 0 49311 695 0 0 25 0 1 0 717748638 20918272 4380 4294967295 134512640 134714508 3221224592 3221220820 1075114918 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5107 4380 1111 63 0 5044 0
vsize: 20428
[startup+510.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 11372
Raw data (stat): 11372 (bsolo_lpr) R 11371 8378 8377 0 -1 0 221473 0 0 0 50306 700 0 0 25 0 1 0 717748638 20918272 4380 4294967295 134512640 134714508 3221224592 3221220796 1075562989 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5107 4380 1111 63 0 5044 0
vsize: 20428
[startup+520.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 11372
Raw data (stat): 11372 (bsolo_lpr) R 11371 8378 8377 0 -1 0 222426 0 0 0 51302 704 0 0 25 0 1 0 717748638 20918272 4381 4294967295 134512640 134714508 3221224592 3221221656 1075007305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5107 4381 1111 63 0 5044 0
vsize: 20428
[startup+530.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 11372
Raw data (stat): 11372 (bsolo_lpr) R 11371 8378 8377 0 -1 0 223211 0 0 0 52298 709 0 0 25 0 1 0 717748638 20738048 4378 4294967295 134512640 134714508 3221224592 3221222592 1074918660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5063 4378 1111 63 0 5000 0
vsize: 20252
[startup+540.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 11372
Raw data (stat): 11372 (bsolo_lpr) R 11371 8378 8377 0 -1 0 225196 0 0 0 53289 718 0 0 25 0 1 0 717748638 20754432 4381 4294967295 134512640 134714508 3221224592 3221222132 1077378674 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5067 4381 1111 63 0 5004 0
vsize: 20268
[startup+550.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 11372
Raw data (stat): 11372 (bsolo_lpr) R 11371 8378 8377 0 -1 0 229559 0 0 0 54275 732 0 0 25 0 1 0 717748638 20754432 4381 4294967295 134512640 134714508 3221224592 3221223056 1074121018 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5067 4381 1111 63 0 5004 0
vsize: 20268
[startup+560.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 11372
Raw data (stat): 11372 (bsolo_lpr) R 11371 8378 8377 0 -1 0 235655 0 0 0 55258 749 0 0 25 0 1 0 717748638 20963328 4405 4294967295 134512640 134714508 3221224592 3221222336 134650508 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5118 4405 1111 63 0 5055 0
vsize: 20472
[startup+570.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 11372
Raw data (stat): 11372 (bsolo_lpr) R 11371 8378 8377 0 -1 0 243571 0 0 0 56236 772 0 0 25 0 1 0 717748638 20824064 4397 4294967295 134512640 134714508 3221224592 3221221988 1077782939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5084 4397 1111 63 0 5021 0
vsize: 20336
[startup+580.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 11372
Raw data (stat): 11372 (bsolo_lpr) R 11371 8378 8377 0 -1 0 254197 0 0 0 57207 800 0 0 25 0 1 0 717748638 20938752 4421 4294967295 134512640 134714508 3221224592 3221222336 1075639284 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5112 4421 1111 63 0 5049 0
vsize: 20448
[startup+590.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 11372
Raw data (stat): 11372 (bsolo_lpr) R 11371 8378 8377 0 -1 0 262695 0 0 0 58181 826 0 0 25 0 1 0 717748638 20967424 4434 4294967295 134512640 134714508 3221224592 3221222640 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5119 4434 1111 63 0 5056 0
vsize: 20476
[startup+600.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 11372
Raw data (stat): 11372 (bsolo_lpr) R 11371 8378 8377 0 -1 0 270496 0 0 0 59157 851 0 0 25 0 1 0 717748638 21078016 4461 4294967295 134512640 134714508 3221224592 3221222800 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5146 4461 1111 63 0 5083 0
vsize: 20584
[startup+610.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 11372
Raw data (stat): 11372 (bsolo_lpr) R 11371 8378 8377 0 -1 0 275337 0 0 0 60143 866 0 0 25 0 1 0 717748638 21647360 4526 4294967295 134512640 134714508 3221224592 3221221092 1074846167 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5285 4526 1111 63 0 5222 0
vsize: 21140
[startup+620.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 11372
Raw data (stat): 11372 (bsolo_lpr) R 11371 8378 8377 0 -1 0 280170 0 0 0 61129 879 0 0 25 0 1 0 717748638 21397504 4522 4294967295 134512640 134714508 3221224592 3221221696 1074138813 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5224 4522 1111 63 0 5161 0
vsize: 20896
[startup+630.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 11372
Raw data (stat): 11372 (bsolo_lpr) R 11371 8378 8377 0 -1 0 284746 0 0 0 62114 894 0 0 25 0 1 0 717748638 21536768 4573 4294967295 134512640 134714508 3221224592 3221222656 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5258 4573 1111 63 0 5195 0
vsize: 21032
[startup+640.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 11372
Raw data (stat): 11372 (bsolo_lpr) R 11371 8378 8377 0 -1 0 288593 0 0 0 63101 908 0 0 25 0 1 0 717748638 21536768 4573 4294967295 134512640 134714508 3221224592 3221222664 1074205872 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5258 4573 1111 63 0 5195 0
vsize: 21032
[startup+650.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 11372
Raw data (stat): 11372 (bsolo_lpr) R 11371 8378 8377 0 -1 0 292553 0 0 0 64091 918 0 0 25 0 1 0 717748638 22097920 4639 4294967295 134512640 134714508 3221224592 3221220636 1074873456 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5395 4639 1111 63 0 5332 0
vsize: 21580
[startup+660.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 11372
Raw data (stat): 11372 (bsolo_lpr) R 11371 8378 8377 0 -1 0 296386 0 0 0 65080 929 0 0 25 0 1 0 717748638 22290432 4683 4294967295 134512640 134714508 3221224592 3221220960 1075894503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5442 4683 1111 63 0 5379 0
vsize: 21768
[startup+670.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 11372
Raw data (stat): 11372 (bsolo_lpr) R 11371 8378 8377 0 -1 0 300586 0 0 0 66067 942 0 0 25 0 1 0 717748638 22396928 4714 4294967295 134512640 134714508 3221224592 3221220812 1074878531 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5468 4714 1111 63 0 5405 0
vsize: 21872
[startup+680.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 11372
Raw data (stat): 11372 (bsolo_lpr) R 11371 8378 8377 0 -1 0 305180 0 0 0 67054 955 0 0 25 0 1 0 717748638 22073344 4700 4294967295 134512640 134714508 3221224592 3221223320 134556743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5389 4700 1111 63 0 5326 0
vsize: 21556
[startup+690.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 11372
Raw data (stat): 11372 (bsolo_lpr) R 11371 8378 8377 0 -1 0 309084 0 0 0 68043 967 0 0 25 0 1 0 717748638 22142976 4721 4294967295 134512640 134714508 3221224592 3221222064 1074153767 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5406 4721 1111 63 0 5343 0
vsize: 21624
[startup+700.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 11372
Raw data (stat): 11372 (bsolo_lpr) R 11371 8378 8377 0 -1 0 312788 0 0 0 69032 978 0 0 25 0 1 0 717748638 22163456 4726 4294967295 134512640 134714508 3221224592 3221223392 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5411 4726 1111 63 0 5348 0
vsize: 21644
[startup+710.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 11372
Raw data (stat): 11372 (bsolo_lpr) R 11371 8378 8377 0 -1 0 316726 0 0 0 70019 991 0 0 25 0 1 0 717748638 22376448 4778 4294967295 134512640 134714508 3221224592 3221222844 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5463 4778 1111 63 0 5400 0
vsize: 21852
[startup+720.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 11372
Raw data (stat): 11372 (bsolo_lpr) R 11371 8378 8377 0 -1 0 320650 0 0 0 71007 1004 0 0 25 0 1 0 717748638 22360064 4774 4294967295 134512640 134714508 3221224592 3221222208 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5459 4774 1111 63 0 5396 0
vsize: 21836
[startup+730.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 11372
Raw data (stat): 11372 (bsolo_lpr) R 11371 8378 8377 0 -1 0 324823 0 0 0 71994 1016 0 0 25 0 1 0 717748638 22360064 4774 4294967295 134512640 134714508 3221224592 3221222976 1074153648 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5459 4774 1111 63 0 5396 0
vsize: 21836
[startup+740.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 11372
Raw data (stat): 11372 (bsolo_lpr) R 11371 8378 8377 0 -1 0 329919 0 0 0 72980 1031 0 0 25 0 1 0 717748638 22429696 4791 4294967295 134512640 134714508 3221224592 3221222556 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5476 4791 1111 63 0 5413 0
vsize: 21904
[startup+750.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 11372
Raw data (stat): 11372 (bsolo_lpr) R 11371 8378 8377 0 -1 0 336989 0 0 0 73961 1049 0 0 25 0 1 0 717748638 22642688 4806 4294967295 134512640 134714508 3221224592 3221222704 1074867337 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5528 4806 1111 63 0 5465 0
vsize: 22112
[startup+760.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 11372
Raw data (stat): 11372 (bsolo_lpr) R 11371 8378 8377 0 -1 0 345612 0 0 0 74939 1072 0 0 25 0 1 0 717748638 22581248 4828 4294967295 134512640 134714508 3221224592 3221223208 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5513 4828 1111 63 0 5450 0
vsize: 22052
[startup+770.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 11372
Raw data (stat): 11372 (bsolo_lpr) R 11371 8378 8377 0 -1 0 352384 0 0 0 75919 1092 0 0 25 0 1 0 717748638 22867968 4898 4294967295 134512640 134714508 3221224592 3221222640 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5583 4898 1111 63 0 5520 0
vsize: 22332
[startup+780.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 11372
Raw data (stat): 11372 (bsolo_lpr) R 11371 8378 8377 0 -1 0 356455 0 0 0 76907 1105 0 0 25 0 1 0 717748638 23085056 4948 4294967295 134512640 134714508 3221224592 3221223312 134556642 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5636 4948 1111 63 0 5573 0
vsize: 22544
[startup+790.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 11372
Raw data (stat): 11372 (bsolo_lpr) R 11371 8378 8377 0 -1 0 360123 0 0 0 77895 1117 0 0 25 0 1 0 717748638 23506944 4982 4294967295 134512640 134714508 3221224592 3221220736 1074968915 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5739 4982 1111 63 0 5676 0
vsize: 22956
[startup+800.122 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 11372
Raw data (stat): 11372 (bsolo_lpr) R 11371 8378 8377 0 -1 0 363821 0 0 0 78896 1127 0 0 25 0 1 0 717748638 23175168 4973 4294967295 134512640 134714508 3221224592 3221222472 1074138265 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5658 4973 1111 63 0 5595 0
vsize: 22632
[startup+810.123 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 11372
Raw data (stat): 11372 (bsolo_lpr) R 11371 8378 8377 0 -1 0 368529 0 0 0 79882 1141 0 0 25 0 1 0 717748638 23392256 5026 4294967295 134512640 134714508 3221224592 3221222992 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5711 5026 1111 63 0 5648 0
vsize: 22844
[startup+820.123 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 11372
Raw data (stat): 11372 (bsolo_lpr) R 11371 8378 8377 0 -1 0 372857 0 0 0 80869 1154 0 0 25 0 1 0 717748638 23392256 5026 4294967295 134512640 134714508 3221224592 3221222704 1074867296 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5711 5026 1111 63 0 5648 0
vsize: 22844
[startup+830.123 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 11372
Raw data (stat): 11372 (bsolo_lpr) R 11371 8378 8377 0 -1 0 377455 0 0 0 81854 1169 0 0 25 0 1 0 717748638 23625728 5083 4294967295 134512640 134714508 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5768 5083 1111 63 0 5705 0
vsize: 23072
[startup+840.123 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 11372
Raw data (stat): 11372 (bsolo_lpr) R 11371 8378 8377 0 -1 0 380970 0 0 0 82844 1180 0 0 25 0 1 0 717748638 23756800 5110 4294967295 134512640 134714508 3221224592 3221222320 1075635945 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5800 5110 1111 63 0 5737 0
vsize: 23200
[startup+850.123 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 11372
Raw data (stat): 11372 (bsolo_lpr) R 11371 8378 8377 0 -1 0 385038 0 0 0 83832 1191 0 0 25 0 1 0 717748638 23842816 5136 4294967295 134512640 134714508 3221224592 3221223008 1073991056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5821 5136 1111 63 0 5758 0
vsize: 23284
[startup+860.123 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 11372
Raw data (stat): 11372 (bsolo_lpr) R 11371 8378 8377 0 -1 0 388894 0 0 0 84820 1204 0 0 25 0 1 0 717748638 24018944 5179 4294967295 134512640 134714508 3221224592 3221222424 1077378730 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5864 5179 1111 63 0 5801 0
vsize: 23456
[startup+870.123 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 11372
Raw data (stat): 11372 (bsolo_lpr) R 11371 8378 8377 0 -1 0 392175 0 0 0 85809 1215 0 0 25 0 1 0 717748638 24018944 5179 4294967295 134512640 134714508 3221224592 3221222928 1074153812 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5864 5179 1111 63 0 5801 0
vsize: 23456
[startup+880.123 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 11372
Raw data (stat): 11372 (bsolo_lpr) R 11371 8378 8377 0 -1 0 395654 0 0 0 86798 1226 0 0 25 0 1 0 717748638 24092672 5197 4294967295 134512640 134714508 3221224592 3221222864 1074056162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5882 5197 1111 63 0 5819 0
vsize: 23528
[startup+890.124 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 11372
Raw data (stat): 11372 (bsolo_lpr) R 11371 8378 8377 0 -1 0 398704 0 0 0 87789 1235 0 0 25 0 1 0 717748638 24207360 5225 4294967295 134512640 134714508 3221224592 3221222464 1073973712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5910 5225 1111 63 0 5847 0
vsize: 23640
[startup+900.123 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 11372
Raw data (stat): 11372 (bsolo_lpr) R 11371 8378 8377 0 -1 0 402384 0 0 0 88779 1245 0 0 25 0 1 0 717748638 24317952 5239 4294967295 134512640 134714508 3221224592 3221222992 1074118794 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5937 5239 1111 63 0 5874 0
vsize: 23748
[startup+910.124 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 11372
Raw data (stat): 11372 (bsolo_lpr) R 11371 8378 8377 0 -1 0 406348 0 0 0 89768 1257 0 0 25 0 1 0 717748638 24494080 5295 4294967295 134512640 134714508 3221224592 3221222608 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5980 5295 1111 63 0 5917 0
vsize: 23920
[startup+920.124 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 11372
Raw data (stat): 11372 (bsolo_lpr) R 11371 8378 8377 0 -1 0 410379 0 0 0 90755 1270 0 0 25 0 1 0 717748638 24846336 5314 4294967295 134512640 134714508 3221224592 3221220540 1074788239 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6066 5314 1111 63 0 6003 0
vsize: 24264
[startup+930.124 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 11372
Raw data (stat): 11372 (bsolo_lpr) R 11371 8378 8377 0 -1 0 415021 0 0 0 91740 1284 0 0 25 0 1 0 717748638 24940544 5325 4294967295 134512640 134714508 3221224592 3221221248 1075966546 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6089 5325 1111 63 0 6026 0
vsize: 24356
[startup+940.124 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 11372
Raw data (stat): 11372 (bsolo_lpr) R 11371 8378 8377 0 -1 0 419487 0 0 0 92728 1298 0 0 25 0 1 0 717748638 24633344 5329 4294967295 134512640 134714508 3221224592 3221222876 1077374432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6014 5329 1111 63 0 5951 0
vsize: 24056
[startup+950.123 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 11372
Raw data (stat): 11372 (bsolo_lpr) R 11371 8378 8377 0 -1 0 424063 0 0 0 93713 1313 0 0 25 0 1 0 717748638 24743936 5354 4294967295 134512640 134714508 3221224592 3221223440 134623464 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6041 5354 1111 63 0 5978 0
vsize: 24164
[startup+960.124 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 11372
Raw data (stat): 11372 (bsolo_lpr) R 11371 8378 8377 0 -1 0 428460 0 0 0 94701 1324 0 0 25 0 1 0 717748638 25124864 5381 4294967295 134512640 134714508 3221224592 3221220556 1074860757 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6134 5381 1111 63 0 6071 0
vsize: 24536
[startup+970.125 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 11372
Raw data (stat): 11372 (bsolo_lpr) R 11371 8378 8377 0 -1 0 432188 0 0 0 95692 1334 0 0 25 0 1 0 717748638 25280512 5402 4294967295 134512640 134714508 3221224592 3221221612 1076121268 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6172 5402 1111 63 0 6109 0
vsize: 24688
[startup+980.125 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 11372
Raw data (stat): 11372 (bsolo_lpr) R 11371 8378 8377 0 -1 0 435394 0 0 0 96682 1344 0 0 25 0 1 0 717748638 25313280 5423 4294967295 134512640 134714508 3221224592 3221221360 1076083464 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6180 5423 1111 63 0 6117 0
vsize: 24720
[startup+990.124 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 11372
Raw data (stat): 11372 (bsolo_lpr) R 11371 8378 8377 0 -1 0 439089 0 0 0 97670 1356 0 0 25 0 1 0 717748638 25006080 5417 4294967295 134512640 134714508 3221224592 3221223232 134649077 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6105 5417 1111 63 0 6042 0
vsize: 24420
[startup+1000.13 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 11372
Raw data (stat): 11372 (bsolo_lpr) R 11371 8378 8377 0 -1 0 442913 0 0 0 98659 1367 0 0 25 0 1 0 717748638 25116672 5447 4294967295 134512640 134714508 3221224592 3221221592 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6132 5447 1111 63 0 6069 0
vsize: 24528
[startup+1010.13 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 11372
Raw data (stat): 11372 (bsolo_lpr) R 11371 8378 8377 0 -1 0 447287 0 0 0 99648 1378 0 0 25 0 1 0 717748638 25063424 5434 4294967295 134512640 134714508 3221224592 3221222368 134650104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6119 5434 1111 63 0 6056 0
vsize: 24476
[startup+1020.13 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 11372
Raw data (stat): 11372 (bsolo_lpr) R 11371 8378 8377 0 -1 0 450919 0 0 0 100641 1386 0 0 25 0 1 0 717748638 25530368 5475 4294967295 134512640 134714508 3221224592 3221221592 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6233 5475 1111 63 0 6170 0
vsize: 24932
[startup+1030.13 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 11372
Raw data (stat): 11372 (bsolo_lpr) R 11371 8378 8377 0 -1 0 454803 0 0 0 101629 1397 0 0 25 0 1 0 717748638 25546752 5479 4294967295 134512640 134714508 3221224592 3221220856 1074950114 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6237 5479 1111 63 0 6174 0
vsize: 24948
[startup+1040.13 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 11372
Raw data (stat): 11372 (bsolo_lpr) R 11371 8378 8377 0 -1 0 458609 0 0 0 102618 1409 0 0 25 0 1 0 717748638 25239552 5477 4294967295 134512640 134714508 3221224592 3221223232 134649075 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6162 5477 1111 63 0 6099 0
vsize: 24648
[startup+1050.13 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 11372
Raw data (stat): 11372 (bsolo_lpr) R 11371 8378 8377 0 -1 0 463021 0 0 0 103606 1422 0 0 25 0 1 0 717748638 25710592 5522 4294967295 134512640 134714508 3221224592 3221220864 1074960912 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6277 5522 1111 63 0 6214 0
vsize: 25108
[startup+1060.13 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 11372
Raw data (stat): 11372 (bsolo_lpr) R 11371 8378 8377 0 -1 0 466933 0 0 0 104594 1433 0 0 25 0 1 0 717748638 25382912 5512 4294967295 134512640 134714508 3221224592 3221222472 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6197 5512 1111 63 0 6134 0
vsize: 24788
[startup+1070.24 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 11372
Raw data (stat): 11372 (bsolo_lpr) R 11371 8378 8377 0 -1 0 471187 0 0 0 105593 1446 0 0 25 0 1 0 717748638 25452544 5529 4294967295 134512640 134714508 3221224592 3221222040 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6214 5529 1111 63 0 6151 0
vsize: 24856
[startup+1080.24 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 11372
Raw data (stat): 11372 (bsolo_lpr) R 11371 8378 8377 0 -1 0 474665 0 0 0 106585 1454 0 0 25 0 1 0 717748638 25616384 5569 4294967295 134512640 134714508 3221224592 3221222560 1074153815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6254 5569 1111 63 0 6191 0
vsize: 25016
[startup+1090.24 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 11372
Raw data (stat): 11372 (bsolo_lpr) R 11371 8378 8377 0 -1 0 478342 0 0 0 107575 1465 0 0 25 0 1 0 717748638 25616384 5569 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6254 5569 1111 63 0 6191 0
vsize: 25016
[startup+1100.24 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 11372
Raw data (stat): 11372 (bsolo_lpr) R 11371 8378 8377 0 -1 0 482043 0 0 0 108563 1476 0 0 25 0 1 0 717748638 26066944 5605 4294967295 134512640 134714508 3221224592 3221221512 1074950131 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6364 5605 1111 63 0 6301 0
vsize: 25456
[startup+1110.25 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 11372
Raw data (stat): 11372 (bsolo_lpr) R 11371 8378 8377 0 -1 0 485924 0 0 0 109554 1486 0 0 25 0 1 0 717748638 26120192 5613 4294967295 134512640 134714508 3221224592 3221220500 1074786582 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6377 5613 1111 63 0 6314 0
vsize: 25508
[startup+1120.25 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 11372
Raw data (stat): 11372 (bsolo_lpr) R 11371 8378 8377 0 -1 0 490357 0 0 0 110544 1497 0 0 25 0 1 0 717748638 25812992 5617 4294967295 134512640 134714508 3221224592 3221222920 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6302 5617 1111 63 0 6239 0
vsize: 25208
[startup+1130.25 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 11372
Raw data (stat): 11372 (bsolo_lpr) R 11371 8378 8377 0 -1 0 493659 0 0 0 111533 1508 0 0 25 0 1 0 717748638 26259456 5653 4294967295 134512640 134714508 3221224592 3221220556 1074860657 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6411 5653 1111 63 0 6348 0
vsize: 25644
[startup+1140.25 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 11372
Raw data (stat): 11372 (bsolo_lpr) R 11371 8378 8377 0 -1 0 497015 0 0 0 112524 1517 0 0 25 0 1 0 717748638 26058752 5677 4294967295 134512640 134714508 3221224592 3221222592 1074918319 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6362 5677 1111 63 0 6299 0
vsize: 25448
[startup+1150.25 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 11372
Raw data (stat): 11372 (bsolo_lpr) R 11371 8378 8377 0 -1 0 500698 0 0 0 113513 1528 0 0 25 0 1 0 717748638 26370048 5665 4294967295 134512640 134714508 3221224592 3221221184 1074885676 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6438 5665 1111 63 0 6375 0
vsize: 25752
[startup+1160.25 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 11372
Raw data (stat): 11372 (bsolo_lpr) R 11371 8378 8377 0 -1 0 504724 0 0 0 114500 1541 0 0 25 0 1 0 717748638 26177536 5706 4294967295 134512640 134714508 3221224592 3221222976 1074153736 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6391 5706 1111 63 0 6328 0
vsize: 25564
[startup+1170.25 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 11372
Raw data (stat): 11372 (bsolo_lpr) R 11371 8378 8377 0 -1 0 507108 0 0 0 115493 1549 0 0 25 0 1 0 717748638 26578944 5754 4294967295 134512640 134714508 3221224592 3221220700 1074797321 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6489 5754 1111 63 0 6426 0
vsize: 25956
[startup+1175.1 s]
Raw data (loadavg): 0.99 0.97 0.92 1/54 11372
Raw data (stat): 11372 (bsolo_lpr) R 11371 8378 8377 0 -1 0 507108 0 0 0 115493 1549 0 0 25 0 1 0 717748638 26578944 5754 4294967295 134512640 134714508 3221224592 3221220700 1074797321 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6489 5754 1111 63 0 6426 0
vsize: 0

Child status: 0
Real time (s): 1175.1
CPU time (s): 1175.13
CPU user time (s): 1159.58
CPU system time (s): 15.5486
CPU usage (%): 100.002
Max. virtual memory (Kb): 25956
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####