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/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos4.opb
MD5SUM	30059c64e21a2e364f81efb4e08403c5
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	78981
Biggest coefficient in the objective function	1400338009135513600000000
Number of bits for the biggest coefficient in the objective function	81
Sum of the numbers in the objective function	357842136202818385868750848
Number of bits of the sum of numbers in the objective function	89
Biggest number in a constraint	1400338009135513600000000
Number of bits of the biggest number in a constraint	81
Biggest sum of numbers in a constraint	357842136202818385868750848
Number of bits of the biggest sum of numbers	89
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.50277
Number of variables	151216
Total number of constraints	56505
Number of constraints which are clauses	32142
Number of constraints which are cardinality constraints (but not clauses)	17175
Number of constraints which are nor clauses,nor cardinality constraints	7188
Minimum length of a constraint	1
Maximum length of a constraint	752
Trace number 40498

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-08 12:38:31 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28560 boxname=wulflinc2 idbench=1516 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  30059c64e21a2e364f81efb4e08403c5  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-neos4.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-neos4.opb
IDLAUNCH: 28560
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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.191
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:        817756 kB
Buffers:         21604 kB
Cached:         172428 kB
SwapCached:       1332 kB
Active:          37888 kB
Inactive:       158140 kB
HighTotal:      131008 kB
HighFree:          280 kB
LowTotal:       903652 kB
LowFree:        817476 kB
SwapTotal:     2097136 kB
SwapFree:      2094736 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4980 kB
Slab:            15056 kB
Committed_AS:    71788 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 12:58:34 (client local time) WITH STATUS 0 IN 1200.34 SECONDS
stats: 28560 7 1200.34 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
#### 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.81 0.92 0.90 2/54 9575
Raw data (stat): 9575 (runsolver) R 9574 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 901699581 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0008 s]
Raw data (loadavg): 0.84 0.93 0.90 2/54 9575
Raw data (stat): 9575 (bsolo_lpr-v2) R 9574 31399 31398 0 -1 0 1078 0 0 0 993 4 0 0 25 0 1 0 901699581 15347712 998 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3747 998 1111 63 0 3684 0
vsize: 14988
[startup+20.0009 s]
Raw data (loadavg): 0.86 0.93 0.90 2/54 9575
Raw data (stat): 9575 (bsolo_lpr-v2) R 9574 31399 31398 0 -1 0 1134 0 0 0 1993 5 0 0 25 0 1 0 901699581 15482880 1054 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3780 1054 1111 63 0 3717 0
vsize: 15120
[startup+30.001 s]
Raw data (loadavg): 0.88 0.93 0.90 2/54 9575
Raw data (stat): 9575 (bsolo_lpr-v2) R 9574 31399 31398 0 -1 0 1199 0 0 0 2993 5 0 0 25 0 1 0 901699581 15753216 1119 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3846 1119 1111 63 0 3783 0
vsize: 15384
[startup+40.0017 s]
Raw data (loadavg): 0.90 0.93 0.90 2/54 9575
Raw data (stat): 9575 (bsolo_lpr-v2) R 9574 31399 31398 0 -1 0 1255 0 0 0 3993 5 0 0 25 0 1 0 901699581 16044032 1175 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3917 1175 1111 63 0 3854 0
vsize: 15668
[startup+50.0021 s]
Raw data (loadavg): 0.91 0.93 0.90 2/54 9575
Raw data (stat): 9575 (bsolo_lpr-v2) R 9574 31399 31398 0 -1 0 1311 0 0 0 4993 5 0 0 25 0 1 0 901699581 16334848 1231 4294967295 134512640 134716908 3221224576 3221222804 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3988 1231 1111 63 0 3925 0
vsize: 15952
[startup+60.0021 s]
Raw data (loadavg): 0.93 0.94 0.90 2/54 9575
Raw data (stat): 9575 (bsolo_lpr-v2) R 9574 31399 31398 0 -1 0 1379 0 0 0 5993 5 0 0 25 0 1 0 901699581 16609280 1299 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4055 1299 1111 63 0 3992 0
vsize: 16220
[startup+70.0028 s]
Raw data (loadavg): 0.94 0.94 0.90 2/54 9575
Raw data (stat): 9575 (bsolo_lpr-v2) R 9574 31399 31398 0 -1 0 1429 0 0 0 6994 5 0 0 25 0 1 0 901699581 16744448 1349 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4088 1349 1111 63 0 4025 0
vsize: 16352
[startup+80.0031 s]
Raw data (loadavg): 0.95 0.94 0.90 2/54 9575
Raw data (stat): 9575 (bsolo_lpr-v2) R 9574 31399 31398 0 -1 0 1494 0 0 0 7994 5 0 0 25 0 1 0 901699581 17014784 1414 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4154 1414 1111 63 0 4091 0
vsize: 16616
[startup+90.0032 s]
Raw data (loadavg): 0.95 0.94 0.90 2/54 9575
Raw data (stat): 9575 (bsolo_lpr-v2) R 9574 31399 31398 0 -1 0 1557 0 0 0 8994 5 0 0 25 0 1 0 901699581 17285120 1477 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4220 1477 1111 63 0 4157 0
vsize: 16880
[startup+100.003 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 9575
Raw data (stat): 9575 (bsolo_lpr-v2) R 9574 31399 31398 0 -1 0 1620 0 0 0 9994 5 0 0 25 0 1 0 901699581 17575936 1540 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4291 1540 1111 63 0 4228 0
vsize: 17164
[startup+110.002 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 9575
Raw data (stat): 9575 (bsolo_lpr-v2) R 9574 31399 31398 0 -1 0 1670 0 0 0 10994 5 0 0 25 0 1 0 901699581 17711104 1590 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4324 1590 1111 63 0 4261 0
vsize: 17296
[startup+120.003 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 9575
Raw data (stat): 9575 (bsolo_lpr-v2) R 9574 31399 31398 0 -1 0 1738 0 0 0 11994 6 0 0 25 0 1 0 901699581 18001920 1658 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4395 1658 1111 63 0 4332 0
vsize: 17580
[startup+130.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 9575
Raw data (stat): 9575 (bsolo_lpr-v2) R 9574 31399 31398 0 -1 0 1795 0 0 0 12994 6 0 0 25 0 1 0 901699581 18292736 1715 4294967295 134512640 134716908 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4466 1715 1111 63 0 4403 0
vsize: 17864
[startup+140.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 9575
Raw data (stat): 9575 (bsolo_lpr-v2) R 9574 31399 31398 0 -1 0 1855 0 0 0 13994 6 0 0 25 0 1 0 901699581 18563072 1775 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4532 1775 1111 63 0 4469 0
vsize: 18128
[startup+150.004 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 9575
Raw data (stat): 9575 (bsolo_lpr-v2) R 9574 31399 31398 0 -1 0 1918 0 0 0 14994 6 0 0 25 0 1 0 901699581 18698240 1838 4294967295 134512640 134716908 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4565 1838 1111 63 0 4502 0
vsize: 18260
[startup+160.004 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 9575
Raw data (stat): 9575 (bsolo_lpr-v2) R 9574 31399 31398 0 -1 0 1983 0 0 0 15994 6 0 0 25 0 1 0 901699581 18984960 1903 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4635 1903 1111 63 0 4572 0
vsize: 18540
[startup+170.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 9575
Raw data (stat): 9575 (bsolo_lpr-v2) R 9574 31399 31398 0 -1 0 2046 0 0 0 16994 7 0 0 25 0 1 0 901699581 19259392 1966 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4702 1966 1111 63 0 4639 0
vsize: 18808
[startup+180.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 9575
Raw data (stat): 9575 (bsolo_lpr-v2) R 9574 31399 31398 0 -1 0 2097 0 0 0 17994 7 0 0 25 0 1 0 901699581 19550208 2017 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4773 2017 1111 63 0 4710 0
vsize: 19092
[startup+190.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 9575
Raw data (stat): 9575 (bsolo_lpr-v2) R 9574 31399 31398 0 -1 0 2162 0 0 0 18994 7 0 0 25 0 1 0 901699581 19820544 2082 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4839 2082 1111 63 0 4776 0
vsize: 19356
[startup+200.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 9575
Raw data (stat): 9575 (bsolo_lpr-v2) R 9574 31399 31398 0 -1 0 2224 0 0 0 19994 7 0 0 25 0 1 0 901699581 19955712 2144 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4872 2144 1111 63 0 4809 0
vsize: 19488
[startup+210.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 9575
Raw data (stat): 9575 (bsolo_lpr-v2) R 9574 31399 31398 0 -1 0 2281 0 0 0 20994 7 0 0 25 0 1 0 901699581 20242432 2201 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4942 2201 1111 63 0 4879 0
vsize: 19768
[startup+220.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 9575
Raw data (stat): 9575 (bsolo_lpr-v2) R 9574 31399 31398 0 -1 0 2340 0 0 0 21994 7 0 0 25 0 1 0 901699581 20512768 2260 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5008 2260 1111 63 0 4945 0
vsize: 20032
[startup+230.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 9575
Raw data (stat): 9575 (bsolo_lpr-v2) R 9574 31399 31398 0 -1 0 2403 0 0 0 22994 7 0 0 25 0 1 0 901699581 20803584 2323 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5079 2323 1111 63 0 5016 0
vsize: 20316
[startup+240.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 9575
Raw data (stat): 9575 (bsolo_lpr-v2) R 9574 31399 31398 0 -1 0 2474 0 0 0 23994 8 0 0 25 0 1 0 901699581 21094400 2394 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5150 2394 1111 63 0 5087 0
vsize: 20600
[startup+250.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 9575
Raw data (stat): 9575 (bsolo_lpr-v2) R 9574 31399 31398 0 -1 0 2538 0 0 0 24994 8 0 0 25 0 1 0 901699581 21250048 2458 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5188 2458 1111 63 0 5125 0
vsize: 20752
[startup+260.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 9575
Raw data (stat): 9575 (bsolo_lpr-v2) R 9574 31399 31398 0 -1 0 2602 0 0 0 25994 8 0 0 25 0 1 0 901699581 21520384 2522 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5254 2522 1111 63 0 5191 0
vsize: 21016
[startup+270.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 9575
Raw data (stat): 9575 (bsolo_lpr-v2) R 9574 31399 31398 0 -1 0 2661 0 0 0 26994 8 0 0 25 0 1 0 901699581 21790720 2581 4294967295 134512640 134716908 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5320 2581 1111 63 0 5257 0
vsize: 21280
[startup+280.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 9575
Raw data (stat): 9575 (bsolo_lpr-v2) R 9574 31399 31398 0 -1 0 2725 0 0 0 27994 8 0 0 25 0 1 0 901699581 22081536 2645 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5391 2645 1111 63 0 5328 0
vsize: 21564
[startup+290.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 9575
Raw data (stat): 9575 (bsolo_lpr-v2) R 9574 31399 31398 0 -1 0 2784 0 0 0 28994 8 0 0 25 0 1 0 901699581 22372352 2704 4294967295 134512640 134716908 3221224576 3221222804 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5462 2704 1111 63 0 5399 0
vsize: 21848
[startup+300.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 9575
Raw data (stat): 9575 (bsolo_lpr-v2) R 9574 31399 31398 0 -1 0 2846 0 0 0 29994 9 0 0 25 0 1 0 901699581 22507520 2766 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5495 2766 1111 63 0 5432 0
vsize: 21980
[startup+310.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 9575
Raw data (stat): 9575 (bsolo_lpr-v2) R 9574 31399 31398 0 -1 0 2904 0 0 0 30994 9 0 0 25 0 1 0 901699581 22777856 2824 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5561 2824 1111 63 0 5498 0
vsize: 22244
[startup+320.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 9575
Raw data (stat): 9575 (bsolo_lpr-v2) R 9574 31399 31398 0 -1 0 2963 0 0 0 31994 9 0 0 25 0 1 0 901699581 23068672 2883 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5632 2883 1111 63 0 5569 0
vsize: 22528
[startup+330.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9575
Raw data (stat): 9575 (bsolo_lpr-v2) R 9574 31399 31398 0 -1 0 3027 0 0 0 32994 9 0 0 25 0 1 0 901699581 23363584 2947 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5704 2947 1111 63 0 5641 0
vsize: 22816
[startup+340.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9575
Raw data (stat): 9575 (bsolo_lpr-v2) R 9574 31399 31398 0 -1 0 3090 0 0 0 33994 9 0 0 25 0 1 0 901699581 23633920 3010 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5770 3010 1111 63 0 5707 0
vsize: 23080
[startup+350.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9575
Raw data (stat): 9575 (bsolo_lpr-v2) R 9574 31399 31398 0 -1 0 3156 0 0 0 34994 10 0 0 25 0 1 0 901699581 23769088 3076 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5803 3076 1111 63 0 5740 0
vsize: 23212
[startup+360.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9575
Raw data (stat): 9575 (bsolo_lpr-v2) R 9574 31399 31398 0 -1 0 3220 0 0 0 35994 10 0 0 25 0 1 0 901699581 24039424 3140 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5869 3140 1111 63 0 5806 0
vsize: 23476
[startup+370.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9575
Raw data (stat): 9575 (bsolo_lpr-v2) R 9574 31399 31398 0 -1 0 3278 0 0 0 36995 10 0 0 25 0 1 0 901699581 24330240 3198 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5940 3198 1111 63 0 5877 0
vsize: 23760
[startup+380.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9575
Raw data (stat): 9575 (bsolo_lpr-v2) R 9574 31399 31398 0 -1 0 3343 0 0 0 37994 10 0 0 25 0 1 0 901699581 24621056 3263 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6011 3263 1111 63 0 5948 0
vsize: 24044
[startup+390.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9575
Raw data (stat): 9575 (bsolo_lpr-v2) R 9574 31399 31398 0 -1 0 3398 0 0 0 38994 10 0 0 25 0 1 0 901699581 24756224 3318 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6044 3318 1111 63 0 5981 0
vsize: 24176
[startup+400.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9575
Raw data (stat): 9575 (bsolo_lpr-v2) R 9574 31399 31398 0 -1 0 3456 0 0 0 39995 11 0 0 25 0 1 0 901699581 25026560 3376 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6110 3376 1111 63 0 6047 0
vsize: 24440
[startup+410.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9575
Raw data (stat): 9575 (bsolo_lpr-v2) R 9574 31399 31398 0 -1 0 3514 0 0 0 40995 11 0 0 25 0 1 0 901699581 25296896 3434 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6176 3434 1111 63 0 6113 0
vsize: 24704
[startup+420.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9575
Raw data (stat): 9575 (bsolo_lpr-v2) R 9574 31399 31398 0 -1 0 3577 0 0 0 41995 11 0 0 25 0 1 0 901699581 25587712 3497 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6247 3497 1111 63 0 6184 0
vsize: 24988
[startup+430.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9575
Raw data (stat): 9575 (bsolo_lpr-v2) R 9574 31399 31398 0 -1 0 3642 0 0 0 42995 11 0 0 25 0 1 0 901699581 25878528 3562 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6318 3562 1111 63 0 6255 0
vsize: 25272
[startup+440.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9575
Raw data (stat): 9575 (bsolo_lpr-v2) R 9574 31399 31398 0 -1 0 3706 0 0 0 43995 11 0 0 25 0 1 0 901699581 26148864 3626 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6384 3626 1111 63 0 6321 0
vsize: 25536
[startup+450.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9575
Raw data (stat): 9575 (bsolo_lpr-v2) R 9574 31399 31398 0 -1 0 3772 0 0 0 44995 11 0 0 25 0 1 0 901699581 26419200 3692 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6450 3692 1111 63 0 6387 0
vsize: 25800
[startup+460.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9575
Raw data (stat): 9575 (bsolo_lpr-v2) R 9574 31399 31398 0 -1 0 3846 0 0 0 45995 11 0 0 25 0 1 0 901699581 26742784 3766 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6529 3766 1111 63 0 6466 0
vsize: 26116
[startup+470.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9575
Raw data (stat): 9575 (bsolo_lpr-v2) R 9574 31399 31398 0 -1 0 3910 0 0 0 46995 11 0 0 25 0 1 0 901699581 27033600 3830 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6600 3830 1111 63 0 6537 0
vsize: 26400
[startup+480.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9575
Raw data (stat): 9575 (bsolo_lpr-v2) R 9574 31399 31398 0 -1 0 3974 0 0 0 47995 12 0 0 25 0 1 0 901699581 27172864 3894 4294967295 134512640 134716908 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6634 3894 1111 63 0 6571 0
vsize: 26536
[startup+490.113 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9575
Raw data (stat): 9575 (bsolo_lpr-v2) R 9574 31399 31398 0 -1 0 4025 0 0 0 49005 12 0 0 25 0 1 0 901699581 27443200 3945 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6700 3945 1111 63 0 6637 0
vsize: 26800
[startup+500.114 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9575
Raw data (stat): 9575 (bsolo_lpr-v2) R 9574 31399 31398 0 -1 0 4089 0 0 0 50006 12 0 0 25 0 1 0 901699581 27734016 4009 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6771 4009 1111 63 0 6708 0
vsize: 27084
[startup+510.114 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9575
Raw data (stat): 9575 (bsolo_lpr-v2) R 9574 31399 31398 0 -1 0 4155 0 0 0 51006 12 0 0 25 0 1 0 901699581 28024832 4075 4294967295 134512640 134716908 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6842 4075 1111 63 0 6779 0
vsize: 27368
[startup+520.114 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9575
Raw data (stat): 9575 (bsolo_lpr-v2) R 9574 31399 31398 0 -1 0 4218 0 0 0 52006 12 0 0 25 0 1 0 901699581 28160000 4138 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6875 4138 1111 63 0 6812 0
vsize: 27500
[startup+530.114 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9575
Raw data (stat): 9575 (bsolo_lpr-v2) R 9574 31399 31398 0 -1 0 4284 0 0 0 53006 12 0 0 25 0 1 0 901699581 28430336 4204 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6941 4204 1111 63 0 6878 0
vsize: 27764
[startup+540.115 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9575
Raw data (stat): 9575 (bsolo_lpr-v2) R 9574 31399 31398 0 -1 0 4348 0 0 0 54005 13 0 0 25 0 1 0 901699581 28700672 4268 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7007 4268 1111 63 0 6944 0
vsize: 28028
[startup+550.115 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9575
Raw data (stat): 9575 (bsolo_lpr-v2) R 9574 31399 31398 0 -1 0 4414 0 0 0 55005 13 0 0 25 0 1 0 901699581 28991488 4334 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7078 4334 1111 63 0 7015 0
vsize: 28312
[startup+560.115 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9575
Raw data (stat): 9575 (bsolo_lpr-v2) R 9574 31399 31398 0 -1 0 4480 0 0 0 56005 14 0 0 25 0 1 0 901699581 29282304 4400 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7149 4400 1111 63 0 7086 0
vsize: 28596
[startup+570.116 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9575
Raw data (stat): 9575 (bsolo_lpr-v2) R 9574 31399 31398 0 -1 0 4545 0 0 0 57005 14 0 0 25 0 1 0 901699581 29552640 4465 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7215 4465 1111 63 0 7152 0
vsize: 28860
[startup+580.115 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9575
Raw data (stat): 9575 (bsolo_lpr-v2) R 9574 31399 31398 0 -1 0 4610 0 0 0 58005 14 0 0 25 0 1 0 901699581 29822976 4530 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7281 4530 1111 63 0 7218 0
vsize: 29124
[startup+590.116 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9575
Raw data (stat): 9575 (bsolo_lpr-v2) R 9574 31399 31398 0 -1 0 4675 0 0 0 59005 14 0 0 25 0 1 0 901699581 30113792 4595 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7352 4595 1111 63 0 7289 0
vsize: 29408
[startup+600.117 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9575
Raw data (stat): 9575 (bsolo_lpr-v2) R 9574 31399 31398 0 -1 0 4752 0 0 0 60005 14 0 0 25 0 1 0 901699581 30404608 4672 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7423 4672 1111 63 0 7360 0
vsize: 29692
[startup+610.117 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9575
Raw data (stat): 9575 (bsolo_lpr-v2) R 9574 31399 31398 0 -1 0 4820 0 0 0 61005 14 0 0 25 0 1 0 901699581 30674944 4740 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7489 4740 1111 63 0 7426 0
vsize: 29956
[startup+620.117 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9575
Raw data (stat): 9575 (bsolo_lpr-v2) R 9574 31399 31398 0 -1 0 4886 0 0 0 62005 15 0 0 25 0 1 0 901699581 30945280 4806 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7555 4806 1111 63 0 7492 0
vsize: 30220
[startup+630.117 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9575
Raw data (stat): 9575 (bsolo_lpr-v2) R 9574 31399 31398 0 -1 0 4958 0 0 0 63005 15 0 0 25 0 1 0 901699581 31215616 4878 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7621 4878 1111 63 0 7558 0
vsize: 30484
[startup+640.117 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9575
Raw data (stat): 9575 (bsolo_lpr-v2) R 9574 31399 31398 0 -1 0 5016 0 0 0 64005 15 0 0 25 0 1 0 901699581 31506432 4936 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7692 4936 1111 63 0 7629 0
vsize: 30768
[startup+650.117 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9575
Raw data (stat): 9575 (bsolo_lpr-v2) R 9574 31399 31398 0 -1 0 5088 0 0 0 65005 15 0 0 25 0 1 0 901699581 31797248 5008 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7763 5008 1111 63 0 7700 0
vsize: 31052
[startup+660.117 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9575
Raw data (stat): 9575 (bsolo_lpr-v2) R 9574 31399 31398 0 -1 0 5160 0 0 0 66005 15 0 0 25 0 1 0 901699581 32067584 5080 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7829 5080 1111 63 0 7766 0
vsize: 31316
[startup+670.117 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9575
Raw data (stat): 9575 (bsolo_lpr-v2) R 9574 31399 31398 0 -1 0 5227 0 0 0 67005 15 0 0 25 0 1 0 901699581 32337920 5147 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7895 5147 1111 63 0 7832 0
vsize: 31580
[startup+680.117 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9575
Raw data (stat): 9575 (bsolo_lpr-v2) R 9574 31399 31398 0 -1 0 5299 0 0 0 68005 16 0 0 25 0 1 0 901699581 32628736 5219 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7966 5219 1111 63 0 7903 0
vsize: 31864
[startup+690.118 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9575
Raw data (stat): 9575 (bsolo_lpr-v2) R 9574 31399 31398 0 -1 0 5371 0 0 0 69005 16 0 0 25 0 1 0 901699581 32919552 5291 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8037 5291 1111 63 0 7974 0
vsize: 32148
[startup+700.119 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9575
Raw data (stat): 9575 (bsolo_lpr-v2) R 9574 31399 31398 0 -1 0 5438 0 0 0 70005 16 0 0 25 0 1 0 901699581 33189888 5358 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8103 5358 1111 63 0 8040 0
vsize: 32412
[startup+710.118 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9575
Raw data (stat): 9575 (bsolo_lpr-v2) R 9574 31399 31398 0 -1 0 5517 0 0 0 71005 16 0 0 25 0 1 0 901699581 33460224 5437 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8169 5437 1111 63 0 8106 0
vsize: 32676
[startup+720.119 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9575
Raw data (stat): 9575 (bsolo_lpr-v2) R 9574 31399 31398 0 -1 0 5583 0 0 0 72005 16 0 0 25 0 1 0 901699581 33751040 5503 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8240 5503 1111 63 0 8177 0
vsize: 32960
[startup+730.119 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9575
Raw data (stat): 9575 (bsolo_lpr-v2) R 9574 31399 31398 0 -1 0 5648 0 0 0 73005 17 0 0 25 0 1 0 901699581 34021376 5568 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8306 5568 1111 63 0 8243 0
vsize: 33224
[startup+740.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9575
Raw data (stat): 9575 (bsolo_lpr-v2) R 9574 31399 31398 0 -1 0 5713 0 0 0 74005 17 0 0 25 0 1 0 901699581 34312192 5633 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8377 5633 1111 63 0 8314 0
vsize: 33508
[startup+750.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9575
Raw data (stat): 9575 (bsolo_lpr-v2) R 9574 31399 31398 0 -1 0 5786 0 0 0 75006 17 0 0 25 0 1 0 901699581 34582528 5706 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8443 5706 1111 63 0 8380 0
vsize: 33772
[startup+760.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9575
Raw data (stat): 9575 (bsolo_lpr-v2) R 9574 31399 31398 0 -1 0 5859 0 0 0 76006 17 0 0 25 0 1 0 901699581 34852864 5779 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8509 5779 1111 63 0 8446 0
vsize: 34036
[startup+770.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9575
Raw data (stat): 9575 (bsolo_lpr-v2) R 9574 31399 31398 0 -1 0 5927 0 0 0 77005 17 0 0 25 0 1 0 901699581 35143680 5847 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8580 5847 1111 63 0 8517 0
vsize: 34320
[startup+780.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9575
Raw data (stat): 9575 (bsolo_lpr-v2) R 9574 31399 31398 0 -1 0 6005 0 0 0 78005 18 0 0 25 0 1 0 901699581 35569664 5925 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8684 5925 1111 63 0 8621 0
vsize: 34736
[startup+790.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9575
Raw data (stat): 9575 (bsolo_lpr-v2) R 9574 31399 31398 0 -1 0 6072 0 0 0 79005 18 0 0 25 0 1 0 901699581 35840000 5992 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8750 5992 1111 63 0 8687 0
vsize: 35000
[startup+800.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9575
Raw data (stat): 9575 (bsolo_lpr-v2) R 9574 31399 31398 0 -1 0 6151 0 0 0 80005 18 0 0 25 0 1 0 901699581 36110336 6071 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8816 6071 1111 63 0 8753 0
vsize: 35264
[startup+810.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9575
Raw data (stat): 9575 (bsolo_lpr-v2) R 9574 31399 31398 0 -1 0 6233 0 0 0 81005 18 0 0 25 0 1 0 901699581 36421632 6153 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8892 6153 1111 63 0 8829 0
vsize: 35568
[startup+820.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9575
Raw data (stat): 9575 (bsolo_lpr-v2) R 9574 31399 31398 0 -1 0 6312 0 0 0 82005 19 0 0 25 0 1 0 901699581 36696064 6232 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8959 6232 1111 63 0 8896 0
vsize: 35836
[startup+830.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9575
Raw data (stat): 9575 (bsolo_lpr-v2) R 9574 31399 31398 0 -1 0 6387 0 0 0 83005 19 0 0 25 0 1 0 901699581 37122048 6307 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9063 6307 1111 63 0 9000 0
vsize: 36252
[startup+840.121 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9575
Raw data (stat): 9575 (bsolo_lpr-v2) R 9574 31399 31398 0 -1 0 6467 0 0 0 84005 19 0 0 25 0 1 0 901699581 37416960 6387 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9135 6387 1111 63 0 9072 0
vsize: 36540
[startup+850.121 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9575
Raw data (stat): 9575 (bsolo_lpr-v2) R 9574 31399 31398 0 -1 0 6525 0 0 0 85005 19 0 0 25 0 1 0 901699581 37687296 6445 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9201 6445 1111 63 0 9138 0
vsize: 36804
[startup+860.121 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9575
Raw data (stat): 9575 (bsolo_lpr-v2) R 9574 31399 31398 0 -1 0 6624 0 0 0 86005 20 0 0 25 0 1 0 901699581 38150144 6544 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9314 6544 1111 63 0 9251 0
vsize: 37256
[startup+870.121 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9575
Raw data (stat): 9575 (bsolo_lpr-v2) R 9574 31399 31398 0 -1 0 6689 0 0 0 87005 20 0 0 25 0 1 0 901699581 38440960 6609 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9385 6609 1111 63 0 9322 0
vsize: 37540
[startup+880.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9575
Raw data (stat): 9575 (bsolo_lpr-v2) R 9574 31399 31398 0 -1 0 6769 0 0 0 88005 20 0 0 25 0 1 0 901699581 38711296 6689 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9451 6689 1111 63 0 9388 0
vsize: 37804
[startup+890.121 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9575
Raw data (stat): 9575 (bsolo_lpr-v2) R 9574 31399 31398 0 -1 0 6836 0 0 0 89005 20 0 0 25 0 1 0 901699581 39002112 6756 4294967295 134512640 134716908 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9522 6756 1111 63 0 9459 0
vsize: 38088
[startup+900.122 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9575
Raw data (stat): 9575 (bsolo_lpr-v2) R 9574 31399 31398 0 -1 0 6916 0 0 0 90005 20 0 0 25 0 1 0 901699581 39407616 6836 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9621 6836 1111 63 0 9558 0
vsize: 38484
[startup+910.122 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9575
Raw data (stat): 9575 (bsolo_lpr-v2) R 9574 31399 31398 0 -1 0 6996 0 0 0 91005 20 0 0 25 0 1 0 901699581 39698432 6916 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9692 6916 1111 63 0 9629 0
vsize: 38768
[startup+920.122 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9575
Raw data (stat): 9575 (bsolo_lpr-v2) R 9574 31399 31398 0 -1 0 7063 0 0 0 92005 20 0 0 25 0 1 0 901699581 39989248 6983 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9763 6983 1111 63 0 9700 0
vsize: 39052
[startup+930.122 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9575
Raw data (stat): 9575 (bsolo_lpr-v2) R 9574 31399 31398 0 -1 0 7128 0 0 0 93005 20 0 0 25 0 1 0 901699581 40259584 7048 4294967295 134512640 134716908 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9829 7048 1111 63 0 9766 0
vsize: 39316
[startup+940.122 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9575
Raw data (stat): 9575 (bsolo_lpr-v2) R 9574 31399 31398 0 -1 0 7206 0 0 0 94006 20 0 0 25 0 1 0 901699581 40529920 7126 4294967295 134512640 134716908 3221224576 3221222804 1077414399 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9895 7126 1111 63 0 9832 0
vsize: 39580
[startup+950.122 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9575
Raw data (stat): 9575 (bsolo_lpr-v2) R 9574 31399 31398 0 -1 0 7274 0 0 0 95006 21 0 0 25 0 1 0 901699581 40800256 7194 4294967295 134512640 134716908 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9961 7194 1111 63 0 9898 0
vsize: 39844
[startup+960.122 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9575
Raw data (stat): 9575 (bsolo_lpr-v2) R 9574 31399 31398 0 -1 0 7355 0 0 0 96006 21 0 0 25 0 1 0 901699581 41091072 7275 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10032 7275 1111 63 0 9969 0
vsize: 40128
[startup+970.123 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9575
Raw data (stat): 9575 (bsolo_lpr-v2) R 9574 31399 31398 0 -1 0 7436 0 0 0 97006 21 0 0 25 0 1 0 901699581 41517056 7356 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10136 7356 1111 63 0 10073 0
vsize: 40544
[startup+980.122 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9575
Raw data (stat): 9575 (bsolo_lpr-v2) R 9574 31399 31398 0 -1 0 7514 0 0 0 98006 21 0 0 25 0 1 0 901699581 41787392 7434 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10202 7434 1111 63 0 10139 0
vsize: 40808
[startup+990.123 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9575
Raw data (stat): 9575 (bsolo_lpr-v2) R 9574 31399 31398 0 -1 0 7583 0 0 0 99006 21 0 0 25 0 1 0 901699581 42057728 7503 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10268 7503 1111 63 0 10205 0
vsize: 41072
[startup+1000.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9575
Raw data (stat): 9575 (bsolo_lpr-v2) R 9574 31399 31398 0 -1 0 7648 0 0 0 100006 21 0 0 25 0 1 0 901699581 42348544 7568 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10339 7568 1111 63 0 10276 0
vsize: 41356
[startup+1010.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9575
Raw data (stat): 9575 (bsolo_lpr-v2) R 9574 31399 31398 0 -1 0 7729 0 0 0 101006 22 0 0 25 0 1 0 901699581 42643456 7649 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10411 7649 1111 63 0 10348 0
vsize: 41644
[startup+1020.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9575
Raw data (stat): 9575 (bsolo_lpr-v2) R 9574 31399 31398 0 -1 0 7808 0 0 0 102006 22 0 0 25 0 1 0 901699581 42913792 7728 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10477 7728 1111 63 0 10414 0
vsize: 41908
[startup+1030.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9575
Raw data (stat): 9575 (bsolo_lpr-v2) R 9574 31399 31398 0 -1 0 7889 0 0 0 103006 22 0 0 25 0 1 0 901699581 43339776 7809 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10581 7809 1111 63 0 10518 0
vsize: 42324
[startup+1040.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9575
Raw data (stat): 9575 (bsolo_lpr-v2) R 9574 31399 31398 0 -1 0 7962 0 0 0 104006 22 0 0 25 0 1 0 901699581 43630592 7882 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10652 7882 1111 63 0 10589 0
vsize: 42608
[startup+1050.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9575
Raw data (stat): 9575 (bsolo_lpr-v2) R 9574 31399 31398 0 -1 0 8039 0 0 0 105006 22 0 0 25 0 1 0 901699581 43900928 7959 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10718 7959 1111 63 0 10655 0
vsize: 42872
[startup+1060.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9575
Raw data (stat): 9575 (bsolo_lpr-v2) R 9574 31399 31398 0 -1 0 8119 0 0 0 106006 22 0 0 25 0 1 0 901699581 44171264 8039 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10784 8039 1111 63 0 10721 0
vsize: 43136
[startup+1070.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9575
Raw data (stat): 9575 (bsolo_lpr-v2) R 9574 31399 31398 0 -1 0 8183 0 0 0 107006 22 0 0 25 0 1 0 901699581 44462080 8103 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10855 8103 1111 63 0 10792 0
vsize: 43420
[startup+1080.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9575
Raw data (stat): 9575 (bsolo_lpr-v2) R 9574 31399 31398 0 -1 0 8264 0 0 0 108006 22 0 0 25 0 1 0 901699581 44892160 8184 4294967295 134512640 134716908 3221224576 3221222804 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10960 8184 1111 63 0 10897 0
vsize: 43840
[startup+1090.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9575
Raw data (stat): 9575 (bsolo_lpr-v2) R 9574 31399 31398 0 -1 0 8344 0 0 0 109006 23 0 0 25 0 1 0 901699581 45162496 8264 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11026 8264 1111 63 0 10963 0
vsize: 44104
[startup+1100.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9575
Raw data (stat): 9575 (bsolo_lpr-v2) R 9574 31399 31398 0 -1 0 8426 0 0 0 110006 23 0 0 25 0 1 0 901699581 45432832 8346 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11092 8346 1111 63 0 11029 0
vsize: 44368
[startup+1110.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9575
Raw data (stat): 9575 (bsolo_lpr-v2) R 9574 31399 31398 0 -1 0 8505 0 0 0 111006 23 0 0 25 0 1 0 901699581 45744128 8425 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11168 8425 1111 63 0 11105 0
vsize: 44672
[startup+1120.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9575
Raw data (stat): 9575 (bsolo_lpr-v2) R 9574 31399 31398 0 -1 0 8580 0 0 0 112006 23 0 0 25 0 1 0 901699581 46149632 8500 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11267 8500 1111 63 0 11204 0
vsize: 45068
[startup+1130.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9575
Raw data (stat): 9575 (bsolo_lpr-v2) R 9574 31399 31398 0 -1 0 8662 0 0 0 113006 24 0 0 25 0 1 0 901699581 46419968 8582 4294967295 134512640 134716908 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11333 8582 1111 63 0 11270 0
vsize: 45332
[startup+1140.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9575
Raw data (stat): 9575 (bsolo_lpr-v2) R 9574 31399 31398 0 -1 0 8736 0 0 0 114006 24 0 0 25 0 1 0 901699581 46714880 8656 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11405 8656 1111 63 0 11342 0
vsize: 45620
[startup+1150.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9575
Raw data (stat): 9575 (bsolo_lpr-v2) R 9574 31399 31398 0 -1 0 8816 0 0 0 115006 24 0 0 25 0 1 0 901699581 47140864 8736 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11509 8736 1111 63 0 11446 0
vsize: 46036
[startup+1160.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9575
Raw data (stat): 9575 (bsolo_lpr-v2) R 9574 31399 31398 0 -1 0 8897 0 0 0 116006 24 0 0 25 0 1 0 901699581 47415296 8817 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11576 8817 1111 63 0 11513 0
vsize: 46304
[startup+1170.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9575
Raw data (stat): 9575 (bsolo_lpr-v2) R 9574 31399 31398 0 -1 0 8976 0 0 0 117006 25 0 0 25 0 1 0 901699581 47706112 8896 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11647 8896 1111 63 0 11584 0
vsize: 46588
[startup+1180.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9575
Raw data (stat): 9575 (bsolo_lpr-v2) R 9574 31399 31398 0 -1 0 9059 0 0 0 118006 25 0 0 25 0 1 0 901699581 48132096 8979 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11751 8979 1111 63 0 11688 0
vsize: 47004
[startup+1190.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9575
Raw data (stat): 9575 (bsolo_lpr-v2) R 9574 31399 31398 0 -1 0 9139 0 0 0 119006 25 0 0 25 0 1 0 901699581 48402432 9059 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11817 9059 1111 63 0 11754 0
vsize: 47268
[startup+1200.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9575
Raw data (stat): 9575 (bsolo_lpr-v2) R 9574 31399 31398 0 -1 0 9221 0 0 0 120006 26 0 0 25 0 1 0 901699581 48672768 9141 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11883 9141 1111 63 0 11820 0
vsize: 47532
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.15 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 9575
Raw data (stat): 9575 (bsolo_lpr-v2) Z 9574 31399 31398 0 -1 1036 9221 0 0 0 120006 27 0 0 25 0 1 0 901699581 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.15
CPU time (s): 1200.34
CPU user time (s): 1200.06
CPU system time (s): 0.279957
CPU usage (%): 100.016
Max. virtual memory (Kb): 47532
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####