PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-sp97ar.opb
MD5SUM	978e3479aff123296d0a3461e698e01d
Bench Category	optimization, medium integers (OPTMEDINT)
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	14101
Biggest coefficient in the objective function	292878668
Number of bits for the biggest coefficient in the objective function	29
Sum of the numbers in the objective function	975388850291
Number of bits of the sum of numbers in the objective function	40
Biggest number in a constraint	292878668
Number of bits of the biggest number in a constraint	29
Biggest sum of numbers in a constraint	975388850291
Number of bits of the biggest sum of numbers	40
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	10.9513
Number of variables	14101
Total number of constraints	15862
Number of constraints which are clauses	181
Number of constraints which are cardinality constraints (but not clauses)	15263
Number of constraints which are nor clauses,nor cardinality constraints	418
Minimum length of a constraint	1
Maximum length of a constraint	2463
Trace number 40160

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-08 03:32:43 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28216 boxname=wulflinc5 idbench=1172 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  978e3479aff123296d0a3461e698e01d  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-sp97ar.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-sp97ar.opb
IDLAUNCH: 28216
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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.007
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:        764728 kB
Buffers:         17960 kB
Cached:         229256 kB
SwapCached:        712 kB
Active:          26868 kB
Inactive:       222464 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        764476 kB
SwapTotal:     2097136 kB
SwapFree:      2095492 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5152 kB
Slab:            14976 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 03:52:45 (client local time) WITH STATUS 0 IN 1200.44 SECONDS
stats: 28216 7 1200.44 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 14101 variables and 1739 constraints.
c After prepocess the problem consists of 14099 variables and 1639 constraints.
c preprocess terminated 289.298 s
c Initial Lower Bound: 2039251223
c Lower Bound Elapsed time: 15.2565
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 405265508 @ 379.58
c NEW SOLUTION FOUND: -2133666157 @ 379.804
#### 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.97 0.97 0.91 1/54 12944
Raw data (stat): 12944 (runsolver) R 12943 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 898420619 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.0001 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 12944
Raw data (stat): 12944 (bsolo_lpr-v2) R 12943 7266 7265 0 -1 0 22522 0 0 0 955 43 0 0 25 0 1 0 898420619 105074688 22442 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25653 22442 1111 63 0 25590 0
vsize: 102612
[startup+20.0008 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 12944
Raw data (stat): 12944 (bsolo_lpr-v2) R 12943 7266 7265 0 -1 0 43432 0 0 0 1915 82 0 0 25 0 1 0 898420619 190750720 43352 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46570 43352 1111 63 0 46507 0
vsize: 186280
[startup+30.0005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 12944
Raw data (stat): 12944 (bsolo_lpr-v2) R 12943 7266 7265 0 -1 0 63933 0 0 0 2878 119 0 0 25 0 1 0 898420619 274804736 63853 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67091 63853 1111 63 0 67028 0
vsize: 268364
[startup+40.0016 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 12944
Raw data (stat): 12944 (bsolo_lpr-v2) R 12943 7266 7265 0 -1 0 83932 0 0 0 3843 155 0 0 25 0 1 0 898420619 356622336 83852 4294967295 134512640 134716908 3221224576 3221223232 134527928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87066 83852 1111 63 0 87003 0
vsize: 348264
[startup+50.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12944
Raw data (stat): 12944 (bsolo_lpr-v2) R 12943 7266 7265 0 -1 0 87187 0 0 0 4834 163 0 0 25 0 1 0 898420619 369958912 87107 4294967295 134512640 134716908 3221224576 3221222484 1076880017 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90322 87107 1111 63 0 90259 0
vsize: 361288
[startup+60.0018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12944
Raw data (stat): 12944 (bsolo_lpr-v2) R 12943 7266 7265 0 -1 0 88182 0 0 0 5832 165 0 0 25 0 1 0 898420619 374022144 88102 4294967295 134512640 134716908 3221224576 3221222864 134566780 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91314 88102 1111 63 0 91251 0
vsize: 365256
[startup+70.0016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12944
Raw data (stat): 12944 (bsolo_lpr-v2) R 12943 7266 7265 0 -1 0 89196 0 0 0 6828 168 0 0 25 0 1 0 898420619 378245120 89116 4294967295 134512640 134716908 3221224576 3221222860 1077399562 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 92345 89116 1111 63 0 92282 0
vsize: 369380
[startup+80.0022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12944
Raw data (stat): 12944 (bsolo_lpr-v2) R 12943 7266 7265 0 -1 0 90295 0 0 0 7826 170 0 0 25 0 1 0 898420619 382709760 90215 4294967295 134512640 134716908 3221224576 3221223224 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 93435 90215 1111 63 0 93372 0
vsize: 373740
[startup+90.0031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12944
Raw data (stat): 12944 (bsolo_lpr-v2) R 12943 7266 7265 0 -1 0 91454 0 0 0 8822 173 0 0 25 0 1 0 898420619 387579904 91374 4294967295 134512640 134716908 3221224576 3221222860 1077399562 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94624 91374 1111 63 0 94561 0
vsize: 378496
[startup+100.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12944
Raw data (stat): 12944 (bsolo_lpr-v2) R 12943 7266 7265 0 -1 0 93007 0 0 0 9818 176 0 0 25 0 1 0 898420619 384245760 92852 4294967295 134512640 134716908 3221224576 3221223328 134630808 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 93810 92852 1111 63 0 93747 0
vsize: 375240
[startup+110.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12944
Raw data (stat): 12944 (bsolo_lpr-v2) R 12943 7266 7265 0 -1 0 93141 0 0 0 10817 177 0 0 25 0 1 0 898420619 384786432 92986 4294967295 134512640 134716908 3221224576 3221223020 134535900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 93942 92986 1111 63 0 93879 0
vsize: 375768
[startup+120.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12944
Raw data (stat): 12944 (bsolo_lpr-v2) R 12943 7266 7265 0 -1 0 93250 0 0 0 11817 178 0 0 25 0 1 0 898420619 385191936 93095 4294967295 134512640 134716908 3221224576 3221223020 134535981 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 94041 93095 1111 63 0 93978 0
vsize: 376164
[startup+130.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12944
Raw data (stat): 12944 (bsolo_lpr-v2) R 12943 7266 7265 0 -1 0 93363 0 0 0 12816 178 0 0 25 0 1 0 898420619 385597440 93208 4294967295 134512640 134716908 3221224576 3221223020 134535967 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 94140 93208 1111 63 0 94077 0
vsize: 376560
[startup+140.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12944
Raw data (stat): 12944 (bsolo_lpr-v2) R 12943 7266 7265 0 -1 0 93517 0 0 0 13816 179 0 0 25 0 1 0 898420619 386273280 93362 4294967295 134512640 134716908 3221224576 3221223020 134535912 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 94305 93362 1111 63 0 94242 0
vsize: 377220
[startup+150.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12944
Raw data (stat): 12944 (bsolo_lpr-v2) R 12943 7266 7265 0 -1 0 93625 0 0 0 14816 179 0 0 25 0 1 0 898420619 386678784 93470 4294967295 134512640 134716908 3221224576 3221223040 134543097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 94404 93470 1111 63 0 94341 0
vsize: 377616
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12944
Raw data (stat): 12944 (bsolo_lpr-v2) R 12943 7266 7265 0 -1 0 93778 0 0 0 15816 180 0 0 25 0 1 0 898420619 387358720 93623 4294967295 134512640 134716908 3221224576 3221223020 134535956 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 94570 93623 1111 63 0 94507 0
vsize: 378280
[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12944
Raw data (stat): 12944 (bsolo_lpr-v2) R 12943 7266 7265 0 -1 0 93893 0 0 0 16816 180 0 0 25 0 1 0 898420619 387764224 93738 4294967295 134512640 134716908 3221224576 3221223020 134535928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 94669 93738 1111 63 0 94606 0
vsize: 378676
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12944
Raw data (stat): 12944 (bsolo_lpr-v2) R 12943 7266 7265 0 -1 0 94030 0 0 0 17815 181 0 0 25 0 1 0 898420619 388440064 93875 4294967295 134512640 134716908 3221224576 3221223040 134543030 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 94834 93875 1111 63 0 94771 0
vsize: 379336
[startup+190.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12944
Raw data (stat): 12944 (bsolo_lpr-v2) R 12943 7266 7265 0 -1 0 94142 0 0 0 18815 181 0 0 25 0 1 0 898420619 388845568 93987 4294967295 134512640 134716908 3221224576 3221223040 134543097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 94933 93987 1111 63 0 94870 0
vsize: 379732
[startup+200.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12944
Raw data (stat): 12944 (bsolo_lpr-v2) R 12943 7266 7265 0 -1 0 94213 0 0 0 19815 181 0 0 25 0 1 0 898420619 389115904 94058 4294967295 134512640 134716908 3221224576 3221223040 134543030 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 94999 94058 1111 63 0 94936 0
vsize: 379996
[startup+210.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12944
Raw data (stat): 12944 (bsolo_lpr-v2) R 12943 7266 7265 0 -1 0 94334 0 0 0 20815 181 0 0 25 0 1 0 898420619 389656576 94179 4294967295 134512640 134716908 3221224576 3221223048 134543090 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95131 94179 1111 63 0 95068 0
vsize: 380524
[startup+220.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12944
Raw data (stat): 12944 (bsolo_lpr-v2) R 12943 7266 7265 0 -1 0 94460 0 0 0 21815 182 0 0 25 0 1 0 898420619 390197248 94305 4294967295 134512640 134716908 3221224576 3221223040 134543097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95263 94305 1111 63 0 95200 0
vsize: 381052
[startup+230.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12944
Raw data (stat): 12944 (bsolo_lpr-v2) R 12943 7266 7265 0 -1 0 94656 0 0 0 22814 182 0 0 25 0 1 0 898420619 391008256 94501 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95461 94501 1111 63 0 95398 0
vsize: 381844
[startup+240.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12944
Raw data (stat): 12944 (bsolo_lpr-v2) R 12943 7266 7265 0 -1 0 94661 0 0 0 23814 183 0 0 25 0 1 0 898420619 391008256 94506 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95461 94506 1111 63 0 95398 0
vsize: 381844
[startup+250.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12944
Raw data (stat): 12944 (bsolo_lpr-v2) R 12943 7266 7265 0 -1 0 94665 0 0 0 24814 183 0 0 25 0 1 0 898420619 391008256 94510 4294967295 134512640 134716908 3221224576 3221223236 134627213 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95461 94510 1111 63 0 95398 0
vsize: 381844
[startup+260.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12944
Raw data (stat): 12944 (bsolo_lpr-v2) R 12943 7266 7265 0 -1 0 94669 0 0 0 25815 183 0 0 25 0 1 0 898420619 391008256 94514 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95461 94514 1111 63 0 95398 0
vsize: 381844
[startup+270.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12944
Raw data (stat): 12944 (bsolo_lpr-v2) R 12943 7266 7265 0 -1 0 94674 0 0 0 26815 183 0 0 25 0 1 0 898420619 391008256 94519 4294967295 134512640 134716908 3221224576 3221223248 134627257 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95461 94519 1111 63 0 95398 0
vsize: 381844
[startup+280.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12944
Raw data (stat): 12944 (bsolo_lpr-v2) R 12943 7266 7265 0 -1 0 94677 0 0 0 27815 183 0 0 25 0 1 0 898420619 391008256 94522 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95461 94522 1111 63 0 95398 0
vsize: 381844
[startup+290.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12944
Raw data (stat): 12944 (bsolo_lpr-v2) R 12943 7266 7265 0 -1 0 95756 0 0 0 28812 185 0 0 25 0 1 0 898420619 395169792 95541 4294967295 134512640 134716908 3221224576 3221203008 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96477 95541 1111 63 0 96414 0
vsize: 385908
[startup+300.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12944
Raw data (stat): 12944 (bsolo_lpr-v2) R 12943 7266 7265 0 -1 0 96314 0 0 0 29810 187 0 0 25 0 1 0 898420619 397119488 96017 4294967295 134512640 134716908 3221224576 3221222768 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96953 96017 1111 63 0 96890 0
vsize: 387812
[startup+310.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12944
Raw data (stat): 12944 (bsolo_lpr-v2) R 12943 7266 7265 0 -1 0 96336 0 0 0 30809 188 0 0 25 0 1 0 898420619 397205504 96039 4294967295 134512640 134716908 3221224576 3221222672 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96974 96039 1111 63 0 96911 0
vsize: 387896
[startup+320.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12944
Raw data (stat): 12944 (bsolo_lpr-v2) R 12943 7266 7265 0 -1 0 100969 0 0 0 31799 199 0 0 25 0 1 0 898420619 405798912 98047 4294967295 134512640 134716908 3221224576 3221220552 1074950198 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 99072 98047 1111 63 0 99009 0
vsize: 396288
[startup+330.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12944
Raw data (stat): 12944 (bsolo_lpr-v2) R 12943 7266 7265 0 -1 0 101003 0 0 0 32799 199 0 0 25 0 1 0 898420619 405798912 98081 4294967295 134512640 134716908 3221224576 3221220444 1074860626 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 99072 98081 1111 63 0 99009 0
vsize: 396288
[startup+340.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12944
Raw data (stat): 12944 (bsolo_lpr-v2) R 12943 7266 7265 0 -1 0 101004 0 0 0 33799 199 0 0 25 0 1 0 898420619 405798912 98082 4294967295 134512640 134716908 3221224576 3221220640 1074794542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 99072 98082 1111 63 0 99009 0
vsize: 396288
[startup+350.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12944
Raw data (stat): 12944 (bsolo_lpr-v2) R 12943 7266 7265 0 -1 0 126157 0 0 0 34745 253 0 0 25 0 1 0 898420619 397938688 96267 4294967295 134512640 134716908 3221224576 3221221600 1074865148 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 97153 96267 1111 63 0 97090 0
vsize: 388612
[startup+360.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12944
Raw data (stat): 12944 (bsolo_lpr-v2) R 12943 7266 7265 0 -1 0 128065 0 0 0 35741 257 0 0 25 0 1 0 898420619 397635584 96264 4294967295 134512640 134716908 3221224576 3221223352 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 97079 96264 1111 63 0 97016 0
vsize: 388316
[startup+370.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12944
Raw data (stat): 12944 (bsolo_lpr-v2) R 12943 7266 7265 0 -1 0 128525 0 0 0 36734 264 0 0 25 0 1 0 898420619 398671872 96515 4294967295 134512640 134716908 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 97332 96515 1111 63 0 97269 0
vsize: 389328
[startup+380.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12944
Raw data (stat): 12944 (bsolo_lpr-v2) R 12943 7266 7265 0 -1 0 129575 0 0 0 37721 278 0 0 25 0 1 0 898420619 395747328 95808 4294967295 134512640 134716908 3221224576 3221222320 1075646682 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96618 95808 1111 63 0 96555 0
vsize: 386472
[startup+390.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12944
Raw data (stat): 12944 (bsolo_lpr-v2) R 12943 7266 7265 0 -1 0 146676 0 0 0 38683 315 0 0 25 0 1 0 898420619 395694080 95795 4294967295 134512640 134716908 3221224576 3221222960 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96605 95795 1111 63 0 96542 0
vsize: 386420
[startup+400.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12944
Raw data (stat): 12944 (bsolo_lpr-v2) R 12943 7266 7265 0 -1 0 159107 0 0 0 39653 346 0 0 25 0 1 0 898420619 395694080 95795 4294967295 134512640 134716908 3221224576 3221222816 1074153669 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96605 95795 1111 63 0 96542 0
vsize: 386420
[startup+410.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12944
Raw data (stat): 12944 (bsolo_lpr-v2) R 12943 7266 7265 0 -1 0 169851 0 0 0 40625 374 0 0 25 0 1 0 898420619 395694080 95795 4294967295 134512640 134716908 3221224576 3221222960 1074153660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96605 95795 1111 63 0 96542 0
vsize: 386420
[startup+420.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12944
Raw data (stat): 12944 (bsolo_lpr-v2) R 12943 7266 7265 0 -1 0 179508 0 0 0 41602 397 0 0 25 0 1 0 898420619 395694080 95795 4294967295 134512640 134716908 3221224576 3221222320 1075646848 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96605 95795 1111 63 0 96542 0
vsize: 386420
[startup+430.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12944
Raw data (stat): 12944 (bsolo_lpr-v2) R 12943 7266 7265 0 -1 0 188318 0 0 0 42581 418 0 0 25 0 1 0 898420619 395694080 95795 4294967295 134512640 134716908 3221224576 3221222864 1074153815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96605 95795 1111 63 0 96542 0
vsize: 386420
[startup+440.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12944
Raw data (stat): 12944 (bsolo_lpr-v2) R 12943 7266 7265 0 -1 0 196041 0 0 0 43563 436 0 0 25 0 1 0 898420619 395694080 95795 4294967295 134512640 134716908 3221224576 3221222416 1074050818 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96605 95795 1111 63 0 96542 0
vsize: 386420
[startup+450.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12944
Raw data (stat): 12944 (bsolo_lpr-v2) R 12943 7266 7265 0 -1 0 203119 0 0 0 44548 452 0 0 25 0 1 0 898420619 396394496 95799 4294967295 134512640 134716908 3221224576 3221222304 1075828571 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96776 95799 1111 63 0 96713 0
vsize: 387104
[startup+460.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12944
Raw data (stat): 12944 (bsolo_lpr-v2) R 12943 7266 7265 0 -1 0 210396 0 0 0 45531 469 0 0 25 0 1 0 898420619 395694080 95795 4294967295 134512640 134716908 3221224576 3221222864 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96605 95795 1111 63 0 96542 0
vsize: 386420
[startup+470.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12944
Raw data (stat): 12944 (bsolo_lpr-v2) R 12943 7266 7265 0 -1 0 216565 0 0 0 46517 483 0 0 25 0 1 0 898420619 395694080 95795 4294967295 134512640 134716908 3221224576 3221222816 1074208601 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96605 95795 1111 63 0 96542 0
vsize: 386420
[startup+480.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12944
Raw data (stat): 12944 (bsolo_lpr-v2) R 12943 7266 7265 0 -1 0 223008 0 0 0 47502 499 0 0 25 0 1 0 898420619 395694080 95795 4294967295 134512640 134716908 3221224576 3221222728 1074138158 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96605 95795 1111 63 0 96542 0
vsize: 386420
[startup+490.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12944
Raw data (stat): 12944 (bsolo_lpr-v2) R 12943 7266 7265 0 -1 0 229796 0 0 0 48488 513 0 0 25 0 1 0 898420619 395694080 95795 4294967295 134512640 134716908 3221224576 3221222728 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96605 95795 1111 63 0 96542 0
vsize: 386420
[startup+500.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12944
Raw data (stat): 12944 (bsolo_lpr-v2) R 12943 7266 7265 0 -1 0 236224 0 0 0 49473 528 0 0 25 0 1 0 898420619 395694080 95795 4294967295 134512640 134716908 3221224576 3221222784 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96605 95795 1111 63 0 96542 0
vsize: 386420
[startup+510.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12944
Raw data (stat): 12944 (bsolo_lpr-v2) R 12943 7266 7265 0 -1 0 242420 0 0 0 50458 543 0 0 25 0 1 0 898420619 395694080 95795 4294967295 134512640 134716908 3221224576 3221222872 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96605 95795 1111 63 0 96542 0
vsize: 386420
[startup+520.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12944
Raw data (stat): 12944 (bsolo_lpr-v2) R 12943 7266 7265 0 -1 0 248881 0 0 0 51444 557 0 0 25 0 1 0 898420619 395694080 95795 4294967295 134512640 134716908 3221224576 3221222864 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96605 95795 1111 63 0 96542 0
vsize: 386420
[startup+530.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12944
Raw data (stat): 12944 (bsolo_lpr-v2) R 12943 7266 7265 0 -1 0 255187 0 0 0 52429 573 0 0 25 0 1 0 898420619 395694080 95795 4294967295 134512640 134716908 3221224576 3221222680 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96605 95795 1111 63 0 96542 0
vsize: 386420
[startup+540.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12944
Raw data (stat): 12944 (bsolo_lpr-v2) R 12943 7266 7265 0 -1 0 261320 0 0 0 53415 587 0 0 25 0 1 0 898420619 395440128 95733 4294967295 134512640 134716908 3221224576 3221222320 1077814665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96407 95597 1111 63 0 96344 0
vsize: 386172
[startup+550.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12944
Raw data (stat): 12944 (bsolo_lpr-v2) R 12943 7266 7265 0 -1 0 267533 0 0 0 54402 601 0 0 25 0 1 0 898420619 395694080 95795 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96605 95795 1111 63 0 96542 0
vsize: 386420
[startup+560.122 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12944
Raw data (stat): 12944 (bsolo_lpr-v2) R 12943 7266 7265 0 -1 0 273542 0 0 0 55398 615 0 0 25 0 1 0 898420619 395694080 95795 4294967295 134512640 134716908 3221224576 3221222928 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96605 95795 1111 63 0 96542 0
vsize: 386420
[startup+570.123 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12944
Raw data (stat): 12944 (bsolo_lpr-v2) R 12943 7266 7265 0 -1 0 279139 0 0 0 56386 627 0 0 25 0 1 0 898420619 395718656 95801 4294967295 134512640 134716908 3221224576 3221222960 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96611 95801 1111 63 0 96548 0
vsize: 386444
[startup+580.123 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12944
Raw data (stat): 12944 (bsolo_lpr-v2) R 12943 7266 7265 0 -1 0 284812 0 0 0 57373 640 0 0 25 0 1 0 898420619 396664832 95863 4294967295 134512640 134716908 3221224576 3221222688 1074867274 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96842 95863 1111 63 0 96779 0
vsize: 387368
[startup+590.123 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12944
Raw data (stat): 12944 (bsolo_lpr-v2) R 12943 7266 7265 0 -1 0 290345 0 0 0 58361 653 0 0 25 0 1 0 898420619 395718656 95801 4294967295 134512640 134716908 3221224576 3221222728 1074138153 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96611 95801 1111 63 0 96548 0
vsize: 386444
[startup+600.123 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12944
Raw data (stat): 12944 (bsolo_lpr-v2) R 12943 7266 7265 0 -1 0 295929 0 0 0 59348 665 0 0 25 0 1 0 898420619 395694080 95795 4294967295 134512640 134716908 3221224576 3221222744 1074138158 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96605 95795 1111 63 0 96542 0
vsize: 386420
[startup+610.123 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12944
Raw data (stat): 12944 (bsolo_lpr-v2) R 12943 7266 7265 0 -1 0 301080 0 0 0 60336 678 0 0 25 0 1 0 898420619 395694080 95795 4294967295 134512640 134716908 3221224576 3221222768 1074153648 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96605 95795 1111 63 0 96542 0
vsize: 386420
[startup+620.123 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12944
Raw data (stat): 12944 (bsolo_lpr-v2) R 12943 7266 7265 0 -1 0 306066 0 0 0 61325 689 0 0 25 0 1 0 898420619 395718656 95801 4294967295 134512640 134716908 3221224576 3221222808 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96611 95801 1111 63 0 96548 0
vsize: 386444
[startup+630.122 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12944
Raw data (stat): 12944 (bsolo_lpr-v2) R 12943 7266 7265 0 -1 0 311084 0 0 0 62314 700 0 0 25 0 1 0 898420619 395694080 95795 4294967295 134512640 134716908 3221224576 3221222960 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96605 95795 1111 63 0 96542 0
vsize: 386420
[startup+640.123 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12944
Raw data (stat): 12944 (bsolo_lpr-v2) R 12943 7266 7265 0 -1 0 315685 0 0 0 63302 712 0 0 25 0 1 0 898420619 396664832 95807 4294967295 134512640 134716908 3221224576 3221222544 1075809065 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96842 95807 1111 63 0 96779 0
vsize: 387368
[startup+650.124 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12944
Raw data (stat): 12944 (bsolo_lpr-v2) R 12943 7266 7265 0 -1 0 320590 0 0 0 64292 722 0 0 25 0 1 0 898420619 395718656 95801 4294967295 134512640 134716908 3221224576 3221222320 1075640247 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96611 95801 1111 63 0 96548 0
vsize: 386444
[startup+660.123 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12944
Raw data (stat): 12944 (bsolo_lpr-v2) R 12943 7266 7265 0 -1 0 325068 0 0 0 65283 732 0 0 25 0 1 0 898420619 395718656 95801 4294967295 134512640 134716908 3221224576 3221222576 1074916929 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96611 95801 1111 63 0 96548 0
vsize: 386444
[startup+670.123 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12944
Raw data (stat): 12944 (bsolo_lpr-v2) R 12943 7266 7265 0 -1 0 329986 0 0 0 66273 742 0 0 25 0 1 0 898420619 395718656 95801 4294967295 134512640 134716908 3221224576 3221222936 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96611 95801 1111 63 0 96548 0
vsize: 386444
[startup+680.123 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12944
Raw data (stat): 12944 (bsolo_lpr-v2) R 12943 7266 7265 0 -1 0 334971 0 0 0 67260 755 0 0 25 0 1 0 898420619 395694080 95795 4294967295 134512640 134716908 3221224576 3221222816 1074153815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96605 95795 1111 63 0 96542 0
vsize: 386420
[startup+690.124 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12944
Raw data (stat): 12944 (bsolo_lpr-v2) R 12943 7266 7265 0 -1 0 339530 0 0 0 68249 766 0 0 25 0 1 0 898420619 395694080 95795 4294967295 134512640 134716908 3221224576 3221222784 1074153812 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96605 95795 1111 63 0 96542 0
vsize: 386420
[startup+700.124 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12944
Raw data (stat): 12944 (bsolo_lpr-v2) R 12943 7266 7265 0 -1 0 344050 0 0 0 69239 777 0 0 25 0 1 0 898420619 395694080 95795 4294967295 134512640 134716908 3221224576 3221222864 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96605 95795 1111 63 0 96542 0
vsize: 386420
[startup+710.123 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12944
Raw data (stat): 12944 (bsolo_lpr-v2) R 12943 7266 7265 0 -1 0 348558 0 0 0 70228 787 0 0 25 0 1 0 898420619 395694080 95795 4294967295 134512640 134716908 3221224576 3221222904 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96605 95795 1111 63 0 96542 0
vsize: 386420
[startup+720.124 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12944
Raw data (stat): 12944 (bsolo_lpr-v2) R 12943 7266 7265 0 -1 0 352692 0 0 0 71219 797 0 0 25 0 1 0 898420619 395886592 95802 4294967295 134512640 134716908 3221224576 3221222928 1074115298 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96652 95805 1111 63 0 96589 0
vsize: 386608
[startup+730.124 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12944
Raw data (stat): 12944 (bsolo_lpr-v2) R 12943 7266 7265 0 -1 0 357123 0 0 0 72209 807 0 0 25 0 1 0 898420619 395694080 95795 4294967295 134512640 134716908 3221224576 3221222840 1074138144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96605 95795 1111 63 0 96542 0
vsize: 386420
[startup+740.125 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12944
Raw data (stat): 12944 (bsolo_lpr-v2) R 12943 7266 7265 0 -1 0 361184 0 0 0 73200 816 0 0 25 0 1 0 898420619 395718656 95801 4294967295 134512640 134716908 3221224576 3221222840 1074138144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96611 95801 1111 63 0 96548 0
vsize: 386444
[startup+750.125 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12944
Raw data (stat): 12944 (bsolo_lpr-v2) R 12943 7266 7265 0 -1 0 365706 0 0 0 74189 828 0 0 25 0 1 0 898420619 395694080 95795 4294967295 134512640 134716908 3221224576 3221222728 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96605 95795 1111 63 0 96542 0
vsize: 386420
[startup+760.125 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12944
Raw data (stat): 12944 (bsolo_lpr-v2) R 12943 7266 7265 0 -1 0 369687 0 0 0 75180 837 0 0 25 0 1 0 898420619 395694080 95795 4294967295 134512640 134716908 3221224576 3221222816 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96605 95795 1111 63 0 96542 0
vsize: 386420
[startup+770.126 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12944
Raw data (stat): 12944 (bsolo_lpr-v2) R 12943 7266 7265 0 -1 0 373603 0 0 0 76171 846 0 0 25 0 1 0 898420619 395694080 95795 4294967295 134512640 134716908 3221224576 3221222816 1074153800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96605 95795 1111 63 0 96542 0
vsize: 386420
[startup+780.126 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12944
Raw data (stat): 12944 (bsolo_lpr-v2) R 12943 7266 7265 0 -1 0 377556 0 0 0 77163 855 0 0 25 0 1 0 898420619 395694080 95795 4294967295 134512640 134716908 3221224576 3221222816 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96605 95795 1111 63 0 96542 0
vsize: 386420
[startup+790.127 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12944
Raw data (stat): 12944 (bsolo_lpr-v2) R 12943 7266 7265 0 -1 0 381452 0 0 0 78154 864 0 0 25 0 1 0 898420619 395862016 95803 4294967295 134512640 134716908 3221224576 3221221696 1074865092 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96646 95803 1111 63 0 96583 0
vsize: 386584
[startup+800.127 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12944
Raw data (stat): 12944 (bsolo_lpr-v2) R 12943 7266 7265 0 -1 0 385441 0 0 0 79144 873 0 0 25 0 1 0 898420619 395718656 95801 4294967295 134512640 134716908 3221224576 3221222768 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96611 95801 1111 63 0 96548 0
vsize: 386444
[startup+810.127 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12944
Raw data (stat): 12944 (bsolo_lpr-v2) R 12943 7266 7265 0 -1 0 389837 0 0 0 80135 883 0 0 25 0 1 0 898420619 395694080 95795 4294967295 134512640 134716908 3221224576 3221222744 1074138144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96605 95795 1111 63 0 96542 0
vsize: 386420
[startup+820.128 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12944
Raw data (stat): 12944 (bsolo_lpr-v2) R 12943 7266 7265 0 -1 0 393857 0 0 0 81125 893 0 0 25 0 1 0 898420619 395718656 95801 4294967295 134512640 134716908 3221224576 3221222872 1074138153 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96611 95801 1111 63 0 96548 0
vsize: 386444
[startup+830.127 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12944
Raw data (stat): 12944 (bsolo_lpr-v2) R 12943 7266 7265 0 -1 0 398236 0 0 0 82115 903 0 0 25 0 1 0 898420619 395694080 95795 4294967295 134512640 134716908 3221224576 3221222928 1074153749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96605 95795 1111 63 0 96542 0
vsize: 386420
[startup+840.127 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12944
Raw data (stat): 12944 (bsolo_lpr-v2) R 12943 7266 7265 0 -1 0 402223 0 0 0 83106 913 0 0 25 0 1 0 898420619 395718656 95801 4294967295 134512640 134716908 3221224576 3221222872 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96611 95801 1111 63 0 96548 0
vsize: 386444
[startup+850.128 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12944
Raw data (stat): 12944 (bsolo_lpr-v2) R 12943 7266 7265 0 -1 0 406198 0 0 0 84097 922 0 0 25 0 1 0 898420619 395718656 95801 4294967295 134512640 134716908 3221224576 3221222840 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96611 95801 1111 63 0 96548 0
vsize: 386444
[startup+860.128 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12944
Raw data (stat): 12944 (bsolo_lpr-v2) R 12943 7266 7265 0 -1 0 410147 0 0 0 85088 931 0 0 25 0 1 0 898420619 395718656 95801 4294967295 134512640 134716908 3221224576 3221222816 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96611 95801 1111 63 0 96548 0
vsize: 386444
[startup+870.128 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12944
Raw data (stat): 12944 (bsolo_lpr-v2) R 12943 7266 7265 0 -1 0 414235 0 0 0 86078 941 0 0 25 0 1 0 898420619 395718656 95801 4294967295 134512640 134716908 3221224576 3221222728 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96611 95801 1111 63 0 96548 0
vsize: 386444
[startup+880.128 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12944
Raw data (stat): 12944 (bsolo_lpr-v2) R 12943 7266 7265 0 -1 0 418288 0 0 0 87069 950 0 0 25 0 1 0 898420619 395718656 95801 4294967295 134512640 134716908 3221224576 3221222160 1077814665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96611 95801 1111 63 0 96548 0
vsize: 386444
[startup+890.128 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12944
Raw data (stat): 12944 (bsolo_lpr-v2) R 12943 7266 7265 0 -1 0 422336 0 0 0 88060 959 0 0 25 0 1 0 898420619 395694080 95795 4294967295 134512640 134716908 3221224576 3221222960 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96605 95795 1111 63 0 96542 0
vsize: 386420
[startup+900.128 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12944
Raw data (stat): 12944 (bsolo_lpr-v2) R 12943 7266 7265 0 -1 0 426390 0 0 0 89052 968 0 0 25 0 1 0 898420619 395694080 95795 4294967295 134512640 134716908 3221224576 3221222760 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96605 95795 1111 63 0 96542 0
vsize: 386420
[startup+910.128 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12944
Raw data (stat): 12944 (bsolo_lpr-v2) R 12943 7266 7265 0 -1 0 430001 0 0 0 90043 976 0 0 25 0 1 0 898420619 395718656 95801 4294967295 134512640 134716908 3221224576 3221222680 1074138158 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96611 95801 1111 63 0 96548 0
vsize: 386444
[startup+920.129 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12944
Raw data (stat): 12944 (bsolo_lpr-v2) R 12943 7266 7265 0 -1 0 434121 0 0 0 91033 987 0 0 25 0 1 0 898420619 395694080 95795 4294967295 134512640 134716908 3221224576 3221222864 1074153673 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96605 95795 1111 63 0 96542 0
vsize: 386420
[startup+930.129 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12944
Raw data (stat): 12944 (bsolo_lpr-v2) R 12943 7266 7265 0 -1 0 437809 0 0 0 92023 997 0 0 25 0 1 0 898420619 396718080 95871 4294967295 134512640 134716908 3221224576 3221222400 1075823363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96855 95871 1111 63 0 96792 0
vsize: 387420
[startup+940.129 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12944
Raw data (stat): 12944 (bsolo_lpr-v2) R 12943 7266 7265 0 -1 0 441866 0 0 0 93015 1006 0 0 25 0 1 0 898420619 395694080 95795 4294967295 134512640 134716908 3221224576 3221222792 1074138158 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96605 95795 1111 63 0 96542 0
vsize: 386420
[startup+950.129 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12944
Raw data (stat): 12944 (bsolo_lpr-v2) R 12943 7266 7265 0 -1 0 445489 0 0 0 94006 1015 0 0 25 0 1 0 898420619 395718656 95801 4294967295 134512640 134716908 3221224576 3221222928 1074153783 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96611 95801 1111 63 0 96548 0
vsize: 386444
[startup+960.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12944
Raw data (stat): 12944 (bsolo_lpr-v2) R 12943 7266 7265 0 -1 0 449500 0 0 0 94997 1024 0 0 25 0 1 0 898420619 396750848 95858 4294967295 134512640 134716908 3221224576 3221221520 1074620308 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96863 95858 1111 63 0 96800 0
vsize: 387452
[startup+970.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12944
Raw data (stat): 12944 (bsolo_lpr-v2) R 12943 7266 7265 0 -1 0 453369 0 0 0 95989 1032 0 0 25 0 1 0 898420619 395694080 95795 4294967295 134512640 134716908 3221224576 3221222680 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96605 95795 1111 63 0 96542 0
vsize: 386420
[startup+980.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12944
Raw data (stat): 12944 (bsolo_lpr-v2) R 12943 7266 7265 0 -1 0 457085 0 0 0 96981 1040 0 0 25 0 1 0 898420619 395718656 95801 4294967295 134512640 134716908 3221224576 3221222872 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96611 95801 1111 63 0 96548 0
vsize: 386444
[startup+990.129 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12944
Raw data (stat): 12944 (bsolo_lpr-v2) R 12943 7266 7265 0 -1 0 460982 0 0 0 97973 1048 0 0 25 0 1 0 898420619 395718656 95801 4294967295 134512640 134716908 3221224576 3221222792 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96611 95801 1111 63 0 96548 0
vsize: 386444
[startup+1000.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12944
Raw data (stat): 12944 (bsolo_lpr-v2) R 12943 7266 7265 0 -1 0 464876 0 0 0 98964 1058 0 0 25 0 1 0 898420619 395718656 95801 4294967295 134512640 134716908 3221224576 3221222768 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96611 95801 1111 63 0 96548 0
vsize: 386444
[startup+1010.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12944
Raw data (stat): 12944 (bsolo_lpr-v2) R 12943 7266 7265 0 -1 0 468674 0 0 0 99955 1066 0 0 25 0 1 0 898420619 395718656 95801 4294967295 134512640 134716908 3221224576 3221222768 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96611 95801 1111 63 0 96548 0
vsize: 386444
[startup+1020.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12944
Raw data (stat): 12944 (bsolo_lpr-v2) R 12943 7266 7265 0 -1 0 472454 0 0 0 100947 1074 0 0 25 0 1 0 898420619 395718656 95801 4294967295 134512640 134716908 3221224576 3221222776 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96611 95801 1111 63 0 96548 0
vsize: 386444
[startup+1030.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12944
Raw data (stat): 12944 (bsolo_lpr-v2) R 12943 7266 7265 0 -1 0 476268 0 0 0 101939 1083 0 0 25 0 1 0 898420619 395718656 95801 4294967295 134512640 134716908 3221224576 3221222936 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96611 95801 1111 63 0 96548 0
vsize: 386444
[startup+1040.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12944
Raw data (stat): 12944 (bsolo_lpr-v2) R 12943 7266 7265 0 -1 0 480082 0 0 0 102931 1091 0 0 25 0 1 0 898420619 395694080 95795 4294967295 134512640 134716908 3221224576 3221222832 1074153815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96605 95795 1111 63 0 96542 0
vsize: 386420
[startup+1050.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12944
Raw data (stat): 12944 (bsolo_lpr-v2) R 12943 7266 7265 0 -1 0 484041 0 0 0 103920 1102 0 0 25 0 1 0 898420619 395694080 95795 4294967295 134512640 134716908 3221224576 3221222776 1074138158 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96605 95795 1111 63 0 96542 0
vsize: 386420
[startup+1060.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12944
Raw data (stat): 12944 (bsolo_lpr-v2) R 12943 7266 7265 0 -1 0 487488 0 0 0 104913 1109 0 0 25 0 1 0 898420619 395743232 95807 4294967295 134512640 134716908 3221224576 3221222768 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96617 95807 1111 63 0 96554 0
vsize: 386468
[startup+1070.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12944
Raw data (stat): 12944 (bsolo_lpr-v2) R 12943 7266 7265 0 -1 0 491498 0 0 0 105905 1117 0 0 25 0 1 0 898420619 395718656 95801 4294967295 134512640 134716908 3221224576 3221222776 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96611 95801 1111 63 0 96548 0
vsize: 386444
[startup+1080.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12944
Raw data (stat): 12944 (bsolo_lpr-v2) R 12943 7266 7265 0 -1 0 495498 0 0 0 106897 1126 0 0 25 0 1 0 898420619 395694080 95795 4294967295 134512640 134716908 3221224576 3221222904 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96605 95795 1111 63 0 96542 0
vsize: 386420
[startup+1090.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12944
Raw data (stat): 12944 (bsolo_lpr-v2) R 12943 7266 7265 0 -1 0 498876 0 0 0 107890 1133 0 0 25 0 1 0 898420619 395743232 95807 4294967295 134512640 134716908 3221224576 3221222928 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96617 95807 1111 63 0 96554 0
vsize: 386468
[startup+1100.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12944
Raw data (stat): 12944 (bsolo_lpr-v2) R 12943 7266 7265 0 -1 0 502742 0 0 0 108880 1143 0 0 25 0 1 0 898420619 395694080 95795 4294967295 134512640 134716908 3221224576 3221222840 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96605 95795 1111 63 0 96542 0
vsize: 386420
[startup+1110.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12944
Raw data (stat): 12944 (bsolo_lpr-v2) R 12943 7266 7265 0 -1 0 506090 0 0 0 109872 1151 0 0 25 0 1 0 898420619 395743232 95807 4294967295 134512640 134716908 3221224576 3221222872 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96617 95807 1111 63 0 96554 0
vsize: 386468
[startup+1120.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12944
Raw data (stat): 12944 (bsolo_lpr-v2) R 12943 7266 7265 0 -1 0 509937 0 0 0 110864 1160 0 0 25 0 1 0 898420619 395694080 95795 4294967295 134512640 134716908 3221224576 3221223024 134652402 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96605 95795 1111 63 0 96542 0
vsize: 386420
[startup+1130.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12944
Raw data (stat): 12944 (bsolo_lpr-v2) R 12943 7266 7265 0 -1 0 513263 0 0 0 111855 1168 0 0 25 0 1 0 898420619 395743232 95807 4294967295 134512640 134716908 3221224576 3221222816 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96617 95807 1111 63 0 96554 0
vsize: 386468
[startup+1140.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12944
Raw data (stat): 12944 (bsolo_lpr-v2) R 12943 7266 7265 0 -1 0 516926 0 0 0 112848 1176 0 0 25 0 1 0 898420619 395841536 95831 4294967295 134512640 134716908 3221224576 3221222976 1074118806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96641 95831 1111 63 0 96578 0
vsize: 386564
[startup+1150.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12944
Raw data (stat): 12944 (bsolo_lpr-v2) R 12943 7266 7265 0 -1 0 520464 0 0 0 113841 1183 0 0 25 0 1 0 898420619 395694080 95795 4294967295 134512640 134716908 3221224576 3221222768 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96605 95795 1111 63 0 96542 0
vsize: 386420
[startup+1160.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12944
Raw data (stat): 12944 (bsolo_lpr-v2) R 12943 7266 7265 0 -1 0 523814 0 0 0 114832 1192 0 0 25 0 1 0 898420619 395718656 95801 4294967295 134512640 134716908 3221224576 3221222960 1074153660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96611 95801 1111 63 0 96548 0
vsize: 386444
[startup+1170.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12944
Raw data (stat): 12944 (bsolo_lpr-v2) R 12943 7266 7265 0 -1 0 527157 0 0 0 115826 1199 0 0 25 0 1 0 898420619 395718656 95801 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96611 95801 1111 63 0 96548 0
vsize: 386444
[startup+1180.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12944
Raw data (stat): 12944 (bsolo_lpr-v2) R 12943 7266 7265 0 -1 0 530515 0 0 0 116818 1206 0 0 25 0 1 0 898420619 395743232 95807 4294967295 134512640 134716908 3221224576 3221222760 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96617 95807 1111 63 0 96554 0
vsize: 386468
[startup+1190.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12944
Raw data (stat): 12944 (bsolo_lpr-v2) R 12943 7266 7265 0 -1 0 533901 0 0 0 117811 1214 0 0 25 0 1 0 898420619 395743232 95807 4294967295 134512640 134716908 3221224576 3221222816 1074153800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96617 95807 1111 63 0 96554 0
vsize: 386468
[startup+1200.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12944
Raw data (stat): 12944 (bsolo_lpr-v2) R 12943 7266 7265 0 -1 0 537448 0 0 0 118804 1221 0 0 25 0 1 0 898420619 395743232 95807 4294967295 134512640 134716908 3221224576 3221222816 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96617 95807 1111 63 0 96554 0
vsize: 386468
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.31 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 12944
Raw data (stat): 12944 (bsolo_lpr-v2) Z 12943 7266 7265 0 -1 1036 537448 0 0 0 118804 1239 0 0 25 0 1 0 898420619 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.31
CPU time (s): 1200.44
CPU user time (s): 1188.05
CPU system time (s): 12.3901
CPU usage (%): 100.01
Max. virtual memory (Kb): 396288
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####