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/miplib2003/normalized-mps-v2-13-7-aflow40b.opb
MD5SUM	7872170cf5be0e3f0e6be125266c16ee
Bench Category	optimization, small integers (OPTSMALLINT)
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	12800
Number of bits of the biggest number in a constraint	14
Biggest sum of numbers in a constraint	879673
Number of bits of the biggest sum of numbers	20
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	19292
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	980
Trace number 25809

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-22 17:27:24 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=17408 boxname=wulflinc31 idbench=1340 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  7872170cf5be0e3f0e6be125266c16ee  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-aflow40b.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-aflow40b.opb
IDLAUNCH: 17408
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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	: 3
cpu MHz		: 451.153
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        890380 kB
Buffers:         10976 kB
Cached:         113392 kB
SwapCached:       1024 kB
Active:          69140 kB
Inactive:        57368 kB
HighTotal:      131008 kB
HighFree:        18564 kB
LowTotal:       903652 kB
LowFree:        871816 kB
SwapTotal:     2097892 kB
SwapFree:      2095884 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5096 kB
Slab:            12080 kB
Committed_AS:    63856 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-22 17:46:59 (client local time) WITH STATUS 0 IN 1175.26 SECONDS
stats: 17408 7 1175.26 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 19292 variables and 2884 constraints.
c After prepocess the problem consists of 19252 variables and 2858 constraints.
c preprocess terminated 408.447 s
c Initial Lower Bound: 1006
c Lower Bound Elapsed time: 21.9378
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175 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/55 27025
Raw data (stat): 27025 (runsolver) R 27024 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 814731804 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0007 s]
Raw data (loadavg): 0.93 0.96 0.91 2/55 27025
Raw data (stat): 27025 (bsolo_lpr) R 27024 7876 7672 0 -1 0 30432 0 0 0 924 71 0 0 25 0 1 0 814731804 128344064 30349 4294967295 134512640 134714508 3221221776 3221220304 134554846 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31334 30355 1111 63 0 31271 0
vsize: 125336
[startup+20.0021 s]
Raw data (loadavg): 0.94 0.96 0.91 2/55 27025
Raw data (stat): 27025 (bsolo_lpr) R 27024 7876 7672 0 -1 0 51979 0 0 0 1869 127 0 0 25 0 1 0 814731804 156135424 37091 4294967295 134512640 134714508 3221221776 3221220416 134606468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38119 37098 1111 63 0 38056 0
vsize: 152476
[startup+30.0027 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 27025
Raw data (stat): 27025 (bsolo_lpr) R 27024 7876 7672 0 -1 0 200098 0 0 0 2503 493 0 0 25 0 1 0 814731804 161243136 38402 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39366 38402 1111 63 0 39303 0
vsize: 157464
[startup+40.0024 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 27025
Raw data (stat): 27025 (bsolo_lpr) R 27024 7876 7672 0 -1 0 262170 0 0 0 3347 649 0 0 25 0 1 0 814731804 169050112 40247 4294967295 134512640 134714508 3221221776 3221220416 134606468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41272 40253 1111 63 0 41209 0
vsize: 165088
[startup+50.0039 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 27025
Raw data (stat): 27025 (bsolo_lpr) R 27024 7876 7672 0 -1 0 296834 0 0 0 4263 733 0 0 25 0 1 0 814731804 175001600 41761 4294967295 134512640 134714508 3221221776 3221220188 134542372 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42725 41761 1111 63 0 42662 0
vsize: 170900
[startup+60.0036 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 27025
Raw data (stat): 27025 (bsolo_lpr) R 27024 7876 7672 0 -1 0 320882 0 0 0 5204 793 0 0 25 0 1 0 814731804 182104064 43495 4294967295 134512640 134714508 3221221776 3221220416 134606468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44459 43495 1111 63 0 44396 0
vsize: 177836
[startup+70.0043 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 27025
Raw data (stat): 27025 (bsolo_lpr) R 27024 7876 7672 0 -1 0 381591 0 0 0 6047 949 0 0 25 0 1 0 814731804 188432384 45012 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 46004 45018 1111 63 0 45941 0
vsize: 184016
[startup+80.0057 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 27025
Raw data (stat): 27025 (bsolo_lpr) R 27024 7876 7672 0 -1 0 423761 0 0 0 6942 1055 0 0 25 0 1 0 814731804 193527808 46284 4294967295 134512640 134714508 3221221776 3221220416 134606468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47248 46284 1111 63 0 47185 0
vsize: 188992
[startup+90.0056 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 27025
Raw data (stat): 27025 (bsolo_lpr) R 27024 7876 7672 0 -1 0 463952 0 0 0 7842 1155 0 0 25 0 1 0 814731804 198160384 47415 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48379 47415 1111 63 0 48316 0
vsize: 193516
[startup+100.006 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 27025
Raw data (stat): 27025 (bsolo_lpr) R 27024 7876 7672 0 -1 0 476862 0 0 0 8811 1187 0 0 25 0 1 0 814731804 207921152 49776 4294967295 134512640 134714508 3221221776 3221220256 134536609 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50762 49776 1111 63 0 50699 0
vsize: 203048
[startup+110.006 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 27025
Raw data (stat): 27025 (bsolo_lpr) R 27024 7876 7672 0 -1 0 482533 0 0 0 9798 1199 0 0 25 0 1 0 814731804 226803712 54398 4294967295 134512640 134714508 3221221776 3221220232 134543665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55372 54398 1111 63 0 55309 0
vsize: 221488
[startup+120.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27025
Raw data (stat): 27025 (bsolo_lpr) R 27024 7876 7672 0 -1 0 488276 0 0 0 10787 1211 0 0 25 0 1 0 814731804 247242752 59366 4294967295 134512640 134714508 3221221776 3221220492 134558476 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 60362 59366 1111 63 0 60299 0
vsize: 241448
[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27025
Raw data (stat): 27025 (bsolo_lpr) R 27024 7876 7672 0 -1 0 494429 0 0 0 11774 1224 0 0 25 0 1 0 814731804 268763136 64652 4294967295 134512640 134714508 3221221776 3221220280 134543606 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65616 64652 1111 63 0 65553 0
vsize: 262464
[startup+140.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27025
Raw data (stat): 27025 (bsolo_lpr) R 27024 7876 7672 0 -1 0 501365 0 0 0 12758 1240 0 0 25 0 1 0 814731804 287064064 69105 4294967295 134512640 134714508 3221221776 3221220192 134542677 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 70084 69105 1111 63 0 70021 0
vsize: 280336
[startup+150.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27025
Raw data (stat): 27025 (bsolo_lpr) R 27024 7876 7672 0 -1 0 507177 0 0 0 13745 1253 0 0 25 0 1 0 814731804 306159616 73769 4294967295 134512640 134714508 3221221776 3221220156 134539262 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 74746 73769 1111 63 0 74683 0
vsize: 298984
[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27025
Raw data (stat): 27025 (bsolo_lpr) R 27024 7876 7672 0 -1 0 513273 0 0 0 14731 1267 0 0 25 0 1 0 814731804 325296128 78422 4294967295 134512640 134714508 3221221776 3221220140 134539237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 79418 78422 1111 63 0 79355 0
vsize: 317672
[startup+170.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27025
Raw data (stat): 27025 (bsolo_lpr) R 27024 7876 7672 0 -1 0 518518 0 0 0 15720 1279 0 0 25 0 1 0 814731804 342118400 82529 4294967295 134512640 134714508 3221221776 3221220528 134630792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 83525 82529 1111 63 0 83462 0
vsize: 334100
[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27025
Raw data (stat): 27025 (bsolo_lpr) R 27024 7876 7672 0 -1 0 524123 0 0 0 16710 1288 0 0 25 0 1 0 814731804 360038400 86931 4294967295 134512640 134714508 3221221776 3221220244 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 87900 86931 1111 63 0 87837 0
vsize: 351600
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27025
Raw data (stat): 27025 (bsolo_lpr) R 27024 7876 7672 0 -1 0 528654 0 0 0 17700 1298 0 0 25 0 1 0 814731804 376610816 90969 4294967295 134512640 134714508 3221221776 3221220160 134542368 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 91946 90969 1111 63 0 91883 0
vsize: 367784
[startup+200.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27025
Raw data (stat): 27025 (bsolo_lpr) R 27024 7876 7672 0 -1 0 533479 0 0 0 18692 1307 0 0 25 0 1 0 814731804 390778880 94409 4294967295 134512640 134714508 3221221776 3221220392 134536900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95405 94409 1111 63 0 95342 0
vsize: 381620
[startup+210.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27025
Raw data (stat): 27025 (bsolo_lpr) R 27024 7876 7672 0 -1 0 538107 0 0 0 19683 1316 0 0 25 0 1 0 814731804 404815872 97843 4294967295 134512640 134714508 3221221776 3221220184 134543652 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 98832 97843 1111 63 0 98769 0
vsize: 395328
[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27025
Raw data (stat): 27025 (bsolo_lpr) R 27024 7876 7672 0 -1 0 542663 0 0 0 20675 1324 0 0 25 0 1 0 814731804 419688448 101468 4294967295 134512640 134714508 3221221776 3221220280 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 102463 101469 1111 63 0 102400 0
vsize: 409852
[startup+230.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27025
Raw data (stat): 27025 (bsolo_lpr) R 27024 7876 7672 0 -1 0 546922 0 0 0 21666 1333 0 0 25 0 1 0 814731804 432349184 104590 4294967295 134512640 134714508 3221221776 3221220280 134543614 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 105554 104590 1111 63 0 105491 0
vsize: 422216
[startup+240.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27025
Raw data (stat): 27025 (bsolo_lpr) R 27024 7876 7672 0 -1 0 551649 0 0 0 22655 1344 0 0 25 0 1 0 814731804 447102976 108179 4294967295 134512640 134714508 3221221776 3221220160 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 109156 108179 1111 63 0 109093 0
vsize: 436624
[startup+250.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27025
Raw data (stat): 27025 (bsolo_lpr) R 27024 7876 7672 0 -1 0 555523 0 0 0 23647 1352 0 0 25 0 1 0 814731804 458096640 110851 4294967295 134512640 134714508 3221221776 3221220224 134536680 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 111840 110851 1111 63 0 111777 0
vsize: 447360
[startup+260.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27025
Raw data (stat): 27025 (bsolo_lpr) R 27024 7876 7672 0 -1 0 559315 0 0 0 24639 1361 0 0 25 0 1 0 814731804 470085632 113771 4294967295 134512640 134714508 3221221776 3221220288 134543712 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 114767 113771 1111 63 0 114704 0
vsize: 459068
[startup+270.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27025
Raw data (stat): 27025 (bsolo_lpr) R 27024 7876 7672 0 -1 0 562884 0 0 0 25632 1368 0 0 25 0 1 0 814731804 478863360 115946 4294967295 134512640 134714508 3221221776 3221220160 134542300 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 116910 115946 1111 63 0 116847 0
vsize: 467640
[startup+280.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27025
Raw data (stat): 27025 (bsolo_lpr) R 27024 7876 7672 0 -1 0 566525 0 0 0 26625 1375 0 0 25 0 1 0 814731804 488349696 118262 4294967295 134512640 134714508 3221221776 3221220288 134543674 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 119226 118262 1111 63 0 119163 0
vsize: 476904
[startup+290.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27025
Raw data (stat): 27025 (bsolo_lpr) R 27024 7876 7672 0 -1 0 569492 0 0 0 27620 1381 0 0 25 0 1 0 814731804 496238592 120188 4294967295 134512640 134714508 3221221776 3221220256 134539408 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 121152 120188 1111 63 0 121089 0
vsize: 484608
[startup+300.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27025
Raw data (stat): 27025 (bsolo_lpr) R 27024 7876 7672 0 -1 0 572183 0 0 0 28614 1386 0 0 25 0 1 0 814731804 502657024 121723 4294967295 134512640 134714508 3221221776 3221220528 134630792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 122719 121723 1111 63 0 122656 0
vsize: 490876
[startup+310.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27025
Raw data (stat): 27025 (bsolo_lpr) R 27024 7876 7672 0 -1 0 573819 0 0 0 29612 1389 0 0 25 0 1 0 814731804 505225216 122365 4294967295 134512640 134714508 3221221776 3221220448 134627250 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 123346 122365 1111 63 0 123283 0
vsize: 493384
[startup+320.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27025
Raw data (stat): 27025 (bsolo_lpr) R 27024 7876 7672 0 -1 0 573819 0 0 0 30612 1389 0 0 25 0 1 0 814731804 505225216 122365 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 123346 122365 1111 63 0 123283 0
vsize: 493384
[startup+330.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27025
Raw data (stat): 27025 (bsolo_lpr) R 27024 7876 7672 0 -1 0 573821 0 0 0 31612 1389 0 0 25 0 1 0 814731804 505225216 122367 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 123346 122367 1111 63 0 123283 0
vsize: 493384
[startup+340.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27025
Raw data (stat): 27025 (bsolo_lpr) R 27024 7876 7672 0 -1 0 573821 0 0 0 32612 1389 0 0 25 0 1 0 814731804 505225216 122367 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 123346 122367 1111 63 0 123283 0
vsize: 493384
[startup+350.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27025
Raw data (stat): 27025 (bsolo_lpr) R 27024 7876 7672 0 -1 0 573821 0 0 0 33612 1389 0 0 25 0 1 0 814731804 505225216 122367 4294967295 134512640 134714508 3221221776 3221220440 134627195 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 123346 122367 1111 63 0 123283 0
vsize: 493384
[startup+360.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27025
Raw data (stat): 27025 (bsolo_lpr) R 27024 7876 7672 0 -1 0 573822 0 0 0 34612 1390 0 0 25 0 1 0 814731804 505225216 122368 4294967295 134512640 134714508 3221221776 3221220436 134627197 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 123346 122368 1111 63 0 123283 0
vsize: 493384
[startup+370.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27025
Raw data (stat): 27025 (bsolo_lpr) R 27024 7876 7672 0 -1 0 573822 0 0 0 35612 1390 0 0 25 0 1 0 814731804 505225216 122368 4294967295 134512640 134714508 3221221776 3221220436 134627197 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 123346 122368 1111 63 0 123283 0
vsize: 493384
[startup+380.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27025
Raw data (stat): 27025 (bsolo_lpr) R 27024 7876 7672 0 -1 0 573823 0 0 0 36612 1390 0 0 25 0 1 0 814731804 505225216 122369 4294967295 134512640 134714508 3221221776 3221220436 134627197 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 123346 122369 1111 63 0 123283 0
vsize: 493384
[startup+390.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27025
Raw data (stat): 27025 (bsolo_lpr) R 27024 7876 7672 0 -1 0 573823 0 0 0 37612 1390 0 0 25 0 1 0 814731804 505225216 122369 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 123346 122369 1111 63 0 123283 0
vsize: 493384
[startup+400.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27025
Raw data (stat): 27025 (bsolo_lpr) R 27024 7876 7672 0 -1 0 573823 0 0 0 38613 1390 0 0 25 0 1 0 814731804 505225216 122369 4294967295 134512640 134714508 3221221776 3221220448 134627244 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 123346 122369 1111 63 0 123283 0
vsize: 493384
[startup+410.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27025
Raw data (stat): 27025 (bsolo_lpr) R 27024 7876 7672 0 -1 0 576004 0 0 0 39607 1395 0 0 25 0 1 0 814731804 514035712 124504 4294967295 134512640 134714508 3221221776 3221219100 1077411564 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 125497 124504 1111 63 0 125434 0
vsize: 501988
[startup+420.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27025
Raw data (stat): 27025 (bsolo_lpr) R 27024 7876 7672 0 -1 0 576264 0 0 0 40605 1397 0 0 25 0 1 0 814731804 514363392 124595 4294967295 134512640 134714508 3221221776 3221219544 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 125577 124595 1111 63 0 125514 0
vsize: 502308
[startup+430.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27025
Raw data (stat): 27025 (bsolo_lpr) R 27024 7876 7672 0 -1 0 576515 0 0 0 41604 1399 0 0 25 0 1 0 814731804 514793472 124701 4294967295 134512640 134714508 3221221776 3221219568 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 125682 124701 1111 63 0 125619 0
vsize: 502728
[startup+440.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27025
Raw data (stat): 27025 (bsolo_lpr) R 27024 7876 7672 0 -1 0 580230 0 0 0 42597 1406 0 0 25 0 1 0 814731804 523841536 126797 4294967295 134512640 134714508 3221221776 3221217660 1074860595 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 127891 126797 1111 63 0 127828 0
vsize: 511564
[startup+450.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27025
Raw data (stat): 27025 (bsolo_lpr) R 27024 7876 7672 0 -1 0 586765 0 0 0 43583 1420 0 0 25 0 1 0 814731804 524918784 127128 4294967295 134512640 134714508 3221221776 3221219976 1074138315 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 128154 127130 1111 63 0 128091 0
vsize: 512616
[startup+460.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27025
Raw data (stat): 27025 (bsolo_lpr) R 27024 7876 7672 0 -1 0 593739 0 0 0 44568 1435 0 0 25 0 1 0 814731804 522878976 126748 4294967295 134512640 134714508 3221221776 3221219848 1074950114 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 127656 126748 1111 63 0 127593 0
vsize: 510624
[startup+470.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27025
Raw data (stat): 27025 (bsolo_lpr) R 27024 7876 7672 0 -1 0 602576 0 0 0 45548 1456 0 0 25 0 1 0 814731804 523849728 126997 4294967295 134512640 134714508 3221221776 3221220224 134648531 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 127893 126997 1111 63 0 127830 0
vsize: 511572
[startup+480.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27025
Raw data (stat): 27025 (bsolo_lpr) R 27024 7876 7672 0 -1 0 608564 0 0 0 46536 1467 0 0 25 0 1 0 814731804 534327296 129375 4294967295 134512640 134714508 3221221776 3221218508 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 130451 129375 1111 63 0 130388 0
vsize: 521804
[startup+490.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27025
Raw data (stat): 27025 (bsolo_lpr) R 27024 7876 7672 0 -1 0 608564 0 0 0 47536 1467 0 0 25 0 1 0 814731804 534327296 129375 4294967295 134512640 134714508 3221221776 3221217564 1074787800 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 130451 129375 1111 63 0 130388 0
vsize: 521804
[startup+500.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27025
Raw data (stat): 27025 (bsolo_lpr) R 27024 7876 7672 0 -1 0 612278 0 0 0 48528 1476 0 0 25 0 1 0 814731804 523907072 127013 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 127907 127013 1111 63 0 127844 0
vsize: 511628
[startup+510.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27025
Raw data (stat): 27025 (bsolo_lpr) R 27024 7876 7672 0 -1 0 612278 0 0 0 49527 1476 0 0 25 0 1 0 814731804 523907072 127013 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 127907 127013 1111 63 0 127844 0
vsize: 511628
[startup+520.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27025
Raw data (stat): 27025 (bsolo_lpr) R 27024 7876 7672 0 -1 0 612280 0 0 0 50527 1477 0 0 25 0 1 0 814731804 523907072 127015 4294967295 134512640 134714508 3221221776 3221220552 134613509 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 127907 127015 1111 63 0 127844 0
vsize: 511628
[startup+530.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27025
Raw data (stat): 27025 (bsolo_lpr) R 27024 7876 7672 0 -1 0 612280 0 0 0 51527 1477 0 0 25 0 1 0 814731804 523907072 127015 4294967295 134512640 134714508 3221221776 3221220552 134613539 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 127907 127015 1111 63 0 127844 0
vsize: 511628
[startup+540.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27025
Raw data (stat): 27025 (bsolo_lpr) R 27024 7876 7672 0 -1 0 612282 0 0 0 52527 1477 0 0 25 0 1 0 814731804 523907072 127017 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 127907 127017 1111 63 0 127844 0
vsize: 511628
[startup+550.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27025
Raw data (stat): 27025 (bsolo_lpr) R 27024 7876 7672 0 -1 0 612282 0 0 0 53527 1477 0 0 25 0 1 0 814731804 523907072 127017 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 127907 127017 1111 63 0 127844 0
vsize: 511628
[startup+560.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27025
Raw data (stat): 27025 (bsolo_lpr) R 27024 7876 7672 0 -1 0 612284 0 0 0 54527 1477 0 0 25 0 1 0 814731804 523907072 127019 4294967295 134512640 134714508 3221221776 3221220572 134597666 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 127907 127019 1111 63 0 127844 0
vsize: 511628
[startup+570.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27025
Raw data (stat): 27025 (bsolo_lpr) R 27024 7876 7672 0 -1 0 612286 0 0 0 55527 1477 0 0 25 0 1 0 814731804 523907072 127021 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 127907 127021 1111 63 0 127844 0
vsize: 511628
[startup+580.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27025
Raw data (stat): 27025 (bsolo_lpr) R 27024 7876 7672 0 -1 0 612286 0 0 0 56527 1478 0 0 25 0 1 0 814731804 523907072 127021 4294967295 134512640 134714508 3221221776 3221220552 134600364 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 127907 127021 1111 63 0 127844 0
vsize: 511628
[startup+590.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27025
Raw data (stat): 27025 (bsolo_lpr) R 27024 7876 7672 0 -1 0 612288 0 0 0 57527 1478 0 0 25 0 1 0 814731804 523907072 127023 4294967295 134512640 134714508 3221221776 3221220552 134600364 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 127907 127023 1111 63 0 127844 0
vsize: 511628
[startup+600.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27025
Raw data (stat): 27025 (bsolo_lpr) R 27024 7876 7672 0 -1 0 612288 0 0 0 58527 1478 0 0 25 0 1 0 814731804 523907072 127023 4294967295 134512640 134714508 3221221776 3221220552 134613528 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 127907 127023 1111 63 0 127844 0
vsize: 511628
[startup+610.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27025
Raw data (stat): 27025 (bsolo_lpr) R 27024 7876 7672 0 -1 0 612290 0 0 0 59527 1478 0 0 25 0 1 0 814731804 523907072 127025 4294967295 134512640 134714508 3221221776 3221220576 134597777 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 127907 127025 1111 63 0 127844 0
vsize: 511628
[startup+620.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27025
Raw data (stat): 27025 (bsolo_lpr) R 27024 7876 7672 0 -1 0 612292 0 0 0 60527 1479 0 0 25 0 1 0 814731804 523907072 127027 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 127907 127027 1111 63 0 127844 0
vsize: 511628
[startup+630.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27025
Raw data (stat): 27025 (bsolo_lpr) R 27024 7876 7672 0 -1 0 612294 0 0 0 61527 1479 0 0 25 0 1 0 814731804 523907072 127029 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 127907 127029 1111 63 0 127844 0
vsize: 511628
[startup+640.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27025
Raw data (stat): 27025 (bsolo_lpr) R 27024 7876 7672 0 -1 0 612296 0 0 0 62526 1479 0 0 25 0 1 0 814731804 523907072 127031 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 127907 127031 1111 63 0 127844 0
vsize: 511628
[startup+650.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27025
Raw data (stat): 27025 (bsolo_lpr) R 27024 7876 7672 0 -1 0 612298 0 0 0 63526 1479 0 0 25 0 1 0 814731804 523907072 127033 4294967295 134512640 134714508 3221221776 3221220576 134597775 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 127907 127033 1111 63 0 127844 0
vsize: 511628
[startup+660.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27025
Raw data (stat): 27025 (bsolo_lpr) R 27024 7876 7672 0 -1 0 612300 0 0 0 64526 1480 0 0 25 0 1 0 814731804 523907072 127035 4294967295 134512640 134714508 3221221776 3221220576 134597777 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 127907 127035 1111 63 0 127844 0
vsize: 511628
[startup+670.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27025
Raw data (stat): 27025 (bsolo_lpr) R 27024 7876 7672 0 -1 0 612302 0 0 0 65526 1480 0 0 25 0 1 0 814731804 523907072 127037 4294967295 134512640 134714508 3221221776 3221220552 134613539 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 127907 127037 1111 63 0 127844 0
vsize: 511628
[startup+680.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27025
Raw data (stat): 27025 (bsolo_lpr) R 27024 7876 7672 0 -1 0 612306 0 0 0 66526 1481 0 0 25 0 1 0 814731804 523907072 127041 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 127907 127041 1111 63 0 127844 0
vsize: 511628
[startup+690.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27025
Raw data (stat): 27025 (bsolo_lpr) R 27024 7876 7672 0 -1 0 612311 0 0 0 67525 1481 0 0 25 0 1 0 814731804 523907072 127046 4294967295 134512640 134714508 3221221776 3221220384 134549480 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 127907 127046 1111 63 0 127844 0
vsize: 511628
[startup+700.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27025
Raw data (stat): 27025 (bsolo_lpr) R 27024 7876 7672 0 -1 0 612311 0 0 0 68525 1482 0 0 25 0 1 0 814731804 523907072 127046 4294967295 134512640 134714508 3221221776 3221220316 134539298 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 127907 127046 1111 63 0 127844 0
vsize: 511628
[startup+710.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27025
Raw data (stat): 27025 (bsolo_lpr) R 27024 7876 7672 0 -1 0 612311 0 0 0 69525 1482 0 0 25 0 1 0 814731804 523907072 127046 4294967295 134512640 134714508 3221221776 3221220404 1077374207 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 127907 127046 1111 63 0 127844 0
vsize: 511628
[startup+720.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27025
Raw data (stat): 27025 (bsolo_lpr) R 27024 7876 7672 0 -1 0 612311 0 0 0 70524 1483 0 0 25 0 1 0 814731804 523907072 127046 4294967295 134512640 134714508 3221221776 3221220556 134613500 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 127907 127046 1111 63 0 127844 0
vsize: 511628
[startup+730.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27025
Raw data (stat): 27025 (bsolo_lpr) R 27024 7876 7672 0 -1 0 612311 0 0 0 71523 1484 0 0 25 0 1 0 814731804 523907072 127046 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 127907 127046 1111 63 0 127844 0
vsize: 511628
[startup+740.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27025
Raw data (stat): 27025 (bsolo_lpr) R 27024 7876 7672 0 -1 0 612311 0 0 0 72523 1485 0 0 25 0 1 0 814731804 523907072 127046 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 127907 127046 1111 63 0 127844 0
vsize: 511628
[startup+750.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27025
Raw data (stat): 27025 (bsolo_lpr) R 27024 7876 7672 0 -1 0 612311 0 0 0 73522 1486 0 0 25 0 1 0 814731804 523907072 127046 4294967295 134512640 134714508 3221221776 3221220552 134613539 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 127907 127046 1111 63 0 127844 0
vsize: 511628
[startup+760.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27025
Raw data (stat): 27025 (bsolo_lpr) R 27024 7876 7672 0 -1 0 612311 0 0 0 74520 1487 0 0 25 0 1 0 814731804 523907072 127046 4294967295 134512640 134714508 3221221776 3221220556 134600365 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 127907 127046 1111 63 0 127844 0
vsize: 511628
[startup+770.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27025
Raw data (stat): 27025 (bsolo_lpr) R 27024 7876 7672 0 -1 0 612311 0 0 0 75520 1488 0 0 25 0 1 0 814731804 523907072 127046 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 127907 127046 1111 63 0 127844 0
vsize: 511628
[startup+780.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27025
Raw data (stat): 27025 (bsolo_lpr) R 27024 7876 7672 0 -1 0 612311 0 0 0 76519 1489 0 0 25 0 1 0 814731804 523907072 127046 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 127907 127046 1111 63 0 127844 0
vsize: 511628
[startup+790.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27025
Raw data (stat): 27025 (bsolo_lpr) R 27024 7876 7672 0 -1 0 612311 0 0 0 77518 1490 0 0 25 0 1 0 814731804 523907072 127046 4294967295 134512640 134714508 3221221776 3221220576 134597777 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 127907 127046 1111 63 0 127844 0
vsize: 511628
[startup+800.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27025
Raw data (stat): 27025 (bsolo_lpr) R 27024 7876 7672 0 -1 0 612311 0 0 0 78516 1492 0 0 25 0 1 0 814731804 523907072 127046 4294967295 134512640 134714508 3221221776 3221220384 134549305 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 127907 127046 1111 63 0 127844 0
vsize: 511628
[startup+810.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27025
Raw data (stat): 27025 (bsolo_lpr) R 27024 7876 7672 0 -1 0 612311 0 0 0 79515 1493 0 0 25 0 1 0 814731804 523907072 127046 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 127907 127046 1111 63 0 127844 0
vsize: 511628
[startup+820.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27025
Raw data (stat): 27025 (bsolo_lpr) R 27024 7876 7672 0 -1 0 612311 0 0 0 80514 1494 0 0 25 0 1 0 814731804 523907072 127046 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 127907 127046 1111 63 0 127844 0
vsize: 511628
[startup+830.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27025
Raw data (stat): 27025 (bsolo_lpr) R 27024 7876 7672 0 -1 0 612311 0 0 0 81514 1495 0 0 25 0 1 0 814731804 523907072 127046 4294967295 134512640 134714508 3221221776 3221220576 134597777 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 127907 127046 1111 63 0 127844 0
vsize: 511628
[startup+840.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27025
Raw data (stat): 27025 (bsolo_lpr) R 27024 7876 7672 0 -1 0 612311 0 0 0 82513 1496 0 0 25 0 1 0 814731804 523907072 127046 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 127907 127046 1111 63 0 127844 0
vsize: 511628
[startup+850.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27025
Raw data (stat): 27025 (bsolo_lpr) R 27024 7876 7672 0 -1 0 612311 0 0 0 83513 1497 0 0 25 0 1 0 814731804 523907072 127046 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 127907 127046 1111 63 0 127844 0
vsize: 511628
[startup+860.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27025
Raw data (stat): 27025 (bsolo_lpr) R 27024 7876 7672 0 -1 0 612311 0 0 0 84511 1498 0 0 25 0 1 0 814731804 523907072 127046 4294967295 134512640 134714508 3221221776 3221220568 134597668 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 127907 127046 1111 63 0 127844 0
vsize: 511628
[startup+870.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27025
Raw data (stat): 27025 (bsolo_lpr) R 27024 7876 7672 0 -1 0 612311 0 0 0 85511 1499 0 0 25 0 1 0 814731804 523907072 127046 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 127907 127046 1111 63 0 127844 0
vsize: 511628
[startup+880.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27025
Raw data (stat): 27025 (bsolo_lpr) R 27024 7876 7672 0 -1 0 612311 0 0 0 86509 1501 0 0 25 0 1 0 814731804 523907072 127046 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 127907 127046 1111 63 0 127844 0
vsize: 511628
[startup+890.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27025
Raw data (stat): 27025 (bsolo_lpr) R 27024 7876 7672 0 -1 0 612311 0 0 0 87508 1502 0 0 25 0 1 0 814731804 523907072 127046 4294967295 134512640 134714508 3221221776 3221220576 134597705 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 127907 127046 1111 63 0 127844 0
vsize: 511628
[startup+900.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27025
Raw data (stat): 27025 (bsolo_lpr) R 27024 7876 7672 0 -1 0 612311 0 0 0 88507 1504 0 0 25 0 1 0 814731804 523907072 127046 4294967295 134512640 134714508 3221221776 3221220552 134613539 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 127907 127046 1111 63 0 127844 0
vsize: 511628
[startup+910.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27025
Raw data (stat): 27025 (bsolo_lpr) R 27024 7876 7672 0 -1 0 612311 0 0 0 89505 1505 0 0 25 0 1 0 814731804 523907072 127046 4294967295 134512640 134714508 3221221776 3221220536 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 127907 127046 1111 63 0 127844 0
vsize: 511628
[startup+920.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27025
Raw data (stat): 27025 (bsolo_lpr) R 27024 7876 7672 0 -1 0 612311 0 0 0 90504 1506 0 0 25 0 1 0 814731804 523907072 127046 4294967295 134512640 134714508 3221221776 3221220552 134613539 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 127907 127046 1111 63 0 127844 0
vsize: 511628
[startup+930.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27025
Raw data (stat): 27025 (bsolo_lpr) R 27024 7876 7672 0 -1 0 612311 0 0 0 91504 1507 0 0 25 0 1 0 814731804 523907072 127046 4294967295 134512640 134714508 3221221776 3221220480 134528552 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 127907 127046 1111 63 0 127844 0
vsize: 511628
[startup+940.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27025
Raw data (stat): 27025 (bsolo_lpr) R 27024 7876 7672 0 -1 0 612311 0 0 0 92503 1508 0 0 25 0 1 0 814731804 523907072 127046 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 127907 127046 1111 63 0 127844 0
vsize: 511628
[startup+950.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27025
Raw data (stat): 27025 (bsolo_lpr) R 27024 7876 7672 0 -1 0 612311 0 0 0 93502 1509 0 0 25 0 1 0 814731804 523907072 127046 4294967295 134512640 134714508 3221221776 3221220552 134613517 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 127907 127046 1111 63 0 127844 0
vsize: 511628
[startup+960.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27025
Raw data (stat): 27025 (bsolo_lpr) R 27024 7876 7672 0 -1 0 612311 0 0 0 94501 1510 0 0 25 0 1 0 814731804 523907072 127046 4294967295 134512640 134714508 3221221776 3221220384 134549305 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 127907 127046 1111 63 0 127844 0
vsize: 511628
[startup+970.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27025
Raw data (stat): 27025 (bsolo_lpr) R 27024 7876 7672 0 -1 0 612311 0 0 0 95501 1511 0 0 25 0 1 0 814731804 523907072 127046 4294967295 134512640 134714508 3221221776 3221220384 134549470 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 127907 127046 1111 63 0 127844 0
vsize: 511628
[startup+980.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27025
Raw data (stat): 27025 (bsolo_lpr) R 27024 7876 7672 0 -1 0 612311 0 0 0 96500 1512 0 0 25 0 1 0 814731804 523907072 127046 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 127907 127046 1111 63 0 127844 0
vsize: 511628
[startup+990.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27025
Raw data (stat): 27025 (bsolo_lpr) R 27024 7876 7672 0 -1 0 612311 0 0 0 97499 1513 0 0 25 0 1 0 814731804 523907072 127046 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 127907 127046 1111 63 0 127844 0
vsize: 511628
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27025
Raw data (stat): 27025 (bsolo_lpr) R 27024 7876 7672 0 -1 0 612311 0 0 0 98499 1514 0 0 25 0 1 0 814731804 523907072 127046 4294967295 134512640 134714508 3221221776 3221220552 134600364 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 127907 127046 1111 63 0 127844 0
vsize: 511628
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27025
Raw data (stat): 27025 (bsolo_lpr) R 27024 7876 7672 0 -1 0 612311 0 0 0 99498 1515 0 0 25 0 1 0 814731804 523907072 127046 4294967295 134512640 134714508 3221221776 3221220384 134549480 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 127907 127046 1111 63 0 127844 0
vsize: 511628
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27025
Raw data (stat): 27025 (bsolo_lpr) R 27024 7876 7672 0 -1 0 612311 0 0 0 100496 1516 0 0 25 0 1 0 814731804 523907072 127046 4294967295 134512640 134714508 3221221776 3221220384 134549313 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 127907 127046 1111 63 0 127844 0
vsize: 511628
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27025
Raw data (stat): 27025 (bsolo_lpr) R 27024 7876 7672 0 -1 0 612311 0 0 0 101496 1517 0 0 25 0 1 0 814731804 523907072 127046 4294967295 134512640 134714508 3221221776 3221220576 134597777 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 127907 127046 1111 63 0 127844 0
vsize: 511628
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27025
Raw data (stat): 27025 (bsolo_lpr) R 27024 7876 7672 0 -1 0 612311 0 0 0 102496 1517 0 0 25 0 1 0 814731804 523907072 127046 4294967295 134512640 134714508 3221221776 3221220384 134549305 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 127907 127046 1111 63 0 127844 0
vsize: 511628
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27025
Raw data (stat): 27025 (bsolo_lpr) R 27024 7876 7672 0 -1 0 612319 0 0 0 103495 1518 0 0 25 0 1 0 814731804 523907072 127054 4294967295 134512640 134714508 3221221776 3221220384 134549327 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 127907 127054 1111 63 0 127844 0
vsize: 511628
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27025
Raw data (stat): 27025 (bsolo_lpr) R 27024 7876 7672 0 -1 0 612658 0 0 0 104494 1519 0 0 25 0 1 0 814731804 524873728 127324 4294967295 134512640 134714508 3221221776 3221220552 134613539 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 128143 127324 1111 63 0 128080 0
vsize: 512572
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27025
Raw data (stat): 27025 (bsolo_lpr) R 27024 7876 7672 0 -1 0 612658 0 0 0 105492 1521 0 0 25 0 1 0 814731804 524873728 127324 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 128143 127324 1111 63 0 128080 0
vsize: 512572
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27025
Raw data (stat): 27025 (bsolo_lpr) R 27024 7876 7672 0 -1 0 612658 0 0 0 106492 1522 0 0 25 0 1 0 814731804 524873728 127324 4294967295 134512640 134714508 3221221776 3221220172 1077379908 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 128143 127324 1111 63 0 128080 0
vsize: 512572
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27025
Raw data (stat): 27025 (bsolo_lpr) R 27024 7876 7672 0 -1 0 612659 0 0 0 107491 1523 0 0 25 0 1 0 814731804 524980224 127325 4294967295 134512640 134714508 3221221776 3221220576 134597775 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 128169 127325 1111 63 0 128106 0
vsize: 512676
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27025
Raw data (stat): 27025 (bsolo_lpr) R 27024 7876 7672 0 -1 0 612659 0 0 0 108490 1524 0 0 25 0 1 0 814731804 524873728 127324 4294967295 134512640 134714508 3221221776 3221220576 134597777 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 128143 127324 1111 63 0 128080 0
vsize: 512572
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27025
Raw data (stat): 27025 (bsolo_lpr) R 27024 7876 7672 0 -1 0 612659 0 0 0 109488 1526 0 0 25 0 1 0 814731804 524873728 127324 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 128143 127324 1111 63 0 128080 0
vsize: 512572
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27025
Raw data (stat): 27025 (bsolo_lpr) R 27024 7876 7672 0 -1 0 612679 0 0 0 110487 1528 0 0 25 0 1 0 814731804 524873728 127324 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 128143 127324 1111 63 0 128080 0
vsize: 512572
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27025
Raw data (stat): 27025 (bsolo_lpr) R 27024 7876 7672 0 -1 0 612703 0 0 0 111485 1529 0 0 25 0 1 0 814731804 524980224 127348 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 128169 127348 1111 63 0 128106 0
vsize: 512676
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27025
Raw data (stat): 27025 (bsolo_lpr) R 27024 7876 7672 0 -1 0 612715 0 0 0 112483 1531 0 0 25 0 1 0 814731804 525115392 127360 4294967295 134512640 134714508 3221221776 3221220556 134600365 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 128202 127360 1111 63 0 128139 0
vsize: 512808
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27025
Raw data (stat): 27025 (bsolo_lpr) R 27024 7876 7672 0 -1 0 612726 0 0 0 113482 1533 0 0 25 0 1 0 814731804 525070336 127371 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 128191 127371 1111 63 0 128128 0
vsize: 512764
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27025
Raw data (stat): 27025 (bsolo_lpr) R 27024 7876 7672 0 -1 0 612726 0 0 0 114480 1535 0 0 25 0 1 0 814731804 524967936 127347 4294967295 134512640 134714508 3221221776 3221220576 134597688 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 128166 127347 1111 63 0 128103 0
vsize: 512664
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27025
Raw data (stat): 27025 (bsolo_lpr) R 27024 7876 7672 0 -1 0 612726 0 0 0 115479 1536 0 0 25 0 1 0 814731804 524967936 127347 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 128166 127347 1111 63 0 128103 0
vsize: 512664
[startup+1175.14 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 27025
Raw data (stat): 27025 (bsolo_lpr) R 27024 7876 7672 0 -1 0 612726 0 0 0 115479 1536 0 0 25 0 1 0 814731804 524967936 127347 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 128166 127347 1111 63 0 128103 0
vsize: 0

Child status: 0
Real time (s): 1175.14
CPU time (s): 1175.26
CPU user time (s): 1159.65
CPU system time (s): 15.6136
CPU usage (%): 100.011
Max. virtual memory (Kb): 521804
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####