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/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-czprob.opb
MD5SUM	cfa1bf2f1dd2df0f424e37a2971f8ba1
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	65500
Biggest coefficient in the objective function	16110321664000
Number of bits for the biggest coefficient in the objective function	44
Sum of the numbers in the objective function	32674140101032650
Number of bits of the sum of numbers in the objective function	55
Biggest number in a constraint	16110321664000
Number of bits of the biggest number in a constraint	44
Biggest sum of numbers in a constraint	32674140101032650
Number of bits of the biggest sum of numbers	55
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.588909
Number of variables	65880
Total number of constraints	927
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	927
Minimum length of a constraint	20
Maximum length of a constraint	7460
Trace number 27876

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc7 THE 2005-05-24 23:29:27 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=15640 boxname=wulflinc7 idbench=1204 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  cfa1bf2f1dd2df0f424e37a2971f8ba1  /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-13-7-czprob.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-13-7-czprob.opb
IDLAUNCH: 15640
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.050
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.050
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:        464340 kB
Buffers:         35924 kB
Cached:         512940 kB
SwapCached:        100 kB
Active:         166924 kB
Inactive:       384684 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        464088 kB
SwapTotal:     2097136 kB
SwapFree:      2096820 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6740 kB
Slab:            13108 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 23:49:30 (client local time) WITH STATUS 0 IN 1200.49 SECONDS
stats: 15640 7 1200.49 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
Raw data (loadavg): 0.86 0.95 0.90 2/54 1310
Raw data (stat): 1310 (runsolver) R 1309 24300 24299 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 775992735 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0006 s]
Raw data (loadavg): 0.88 0.96 0.91 2/54 1310
Raw data (stat): 1310 (bsolo_lpr) R 1309 24300 24299 0 -1 0 1144 0 0 0 993 4 0 0 25 0 1 0 775992735 15777792 1068 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3852 1068 1111 63 0 3789 0
vsize: 15408
[startup+20.0008 s]
Raw data (loadavg): 0.90 0.96 0.91 2/54 1310
Raw data (stat): 1310 (bsolo_lpr) R 1309 24300 24299 0 -1 0 1312 0 0 0 1993 4 0 0 25 0 1 0 775992735 16490496 1236 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4026 1236 1111 63 0 3963 0
vsize: 16104
[startup+30.0001 s]
Raw data (loadavg): 0.91 0.96 0.91 2/54 1310
Raw data (stat): 1310 (bsolo_lpr) R 1309 24300 24299 0 -1 0 1463 0 0 0 2994 4 0 0 25 0 1 0 775992735 17190912 1387 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4197 1387 1111 63 0 4134 0
vsize: 16788
[startup+40.001 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 1310
Raw data (stat): 1310 (bsolo_lpr) R 1309 24300 24299 0 -1 0 1603 0 0 0 3993 4 0 0 25 0 1 0 775992735 17764352 1527 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4337 1527 1111 63 0 4274 0
vsize: 17348
[startup+50.0016 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 1310
Raw data (stat): 1310 (bsolo_lpr) R 1309 24300 24299 0 -1 0 1771 0 0 0 4994 5 0 0 25 0 1 0 775992735 18337792 1695 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4477 1695 1111 63 0 4414 0
vsize: 17908
[startup+60.0009 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 1310
Raw data (stat): 1310 (bsolo_lpr) R 1309 24300 24299 0 -1 0 1937 0 0 0 5993 5 0 0 25 0 1 0 775992735 19050496 1861 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4651 1861 1111 63 0 4588 0
vsize: 18604
[startup+70.0012 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 1310
Raw data (stat): 1310 (bsolo_lpr) R 1309 24300 24299 0 -1 0 2090 0 0 0 6993 5 0 0 25 0 1 0 775992735 19755008 2014 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4823 2014 1111 63 0 4760 0
vsize: 19292
[startup+80.0015 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 1310
Raw data (stat): 1310 (bsolo_lpr) R 1309 24300 24299 0 -1 0 2269 0 0 0 7993 6 0 0 25 0 1 0 775992735 20463616 2193 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4996 2193 1111 63 0 4933 0
vsize: 19984
[startup+90.0019 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 1310
Raw data (stat): 1310 (bsolo_lpr) R 1309 24300 24299 0 -1 0 2426 0 0 0 8993 6 0 0 25 0 1 0 775992735 21028864 2350 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5134 2350 1111 63 0 5071 0
vsize: 20536
[startup+100.002 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 1310
Raw data (stat): 1310 (bsolo_lpr) R 1309 24300 24299 0 -1 0 2578 0 0 0 9993 6 0 0 25 0 1 0 775992735 21737472 2502 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5307 2502 1111 63 0 5244 0
vsize: 21228
[startup+110.001 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 1310
Raw data (stat): 1310 (bsolo_lpr) R 1309 24300 24299 0 -1 0 2730 0 0 0 10992 7 0 0 25 0 1 0 775992735 22306816 2654 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5446 2654 1111 63 0 5383 0
vsize: 21784
[startup+120.002 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 1310
Raw data (stat): 1310 (bsolo_lpr) R 1309 24300 24299 0 -1 0 2896 0 0 0 11992 7 0 0 25 0 1 0 775992735 23007232 2820 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5617 2820 1111 63 0 5554 0
vsize: 22468
[startup+130.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 1310
Raw data (stat): 1310 (bsolo_lpr) R 1309 24300 24299 0 -1 0 3050 0 0 0 12993 7 0 0 25 0 1 0 775992735 23576576 2974 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5756 2974 1111 63 0 5693 0
vsize: 23024
[startup+140.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 1310
Raw data (stat): 1310 (bsolo_lpr) R 1309 24300 24299 0 -1 0 3208 0 0 0 13992 8 0 0 25 0 1 0 775992735 24285184 3132 4294967295 134512640 134714508 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5929 3132 1111 63 0 5866 0
vsize: 23716
[startup+150.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1310
Raw data (stat): 1310 (bsolo_lpr) R 1309 24300 24299 0 -1 0 3368 0 0 0 14992 8 0 0 25 0 1 0 775992735 24993792 3292 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6102 3292 1111 63 0 6039 0
vsize: 24408
[startup+160.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1310
Raw data (stat): 1310 (bsolo_lpr) R 1309 24300 24299 0 -1 0 3519 0 0 0 15992 8 0 0 25 0 1 0 775992735 25554944 3443 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6239 3443 1111 63 0 6176 0
vsize: 24956
[startup+170.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1310
Raw data (stat): 1310 (bsolo_lpr) R 1309 24300 24299 0 -1 0 3678 0 0 0 16992 9 0 0 25 0 1 0 775992735 26267648 3602 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6413 3602 1111 63 0 6350 0
vsize: 25652
[startup+180.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1310
Raw data (stat): 1310 (bsolo_lpr) R 1309 24300 24299 0 -1 0 3857 0 0 0 17992 9 0 0 25 0 1 0 775992735 26992640 3781 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6590 3781 1111 63 0 6527 0
vsize: 26360
[startup+190.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1310
Raw data (stat): 1310 (bsolo_lpr) R 1309 24300 24299 0 -1 0 4038 0 0 0 18991 10 0 0 25 0 1 0 775992735 27701248 3962 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6763 3962 1111 63 0 6700 0
vsize: 27052
[startup+200.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1310
Raw data (stat): 1310 (bsolo_lpr) R 1309 24300 24299 0 -1 0 4191 0 0 0 19992 10 0 0 25 0 1 0 775992735 28266496 4115 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6901 4115 1111 63 0 6838 0
vsize: 27604
[startup+210.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1310
Raw data (stat): 1310 (bsolo_lpr) R 1309 24300 24299 0 -1 0 4356 0 0 0 20992 10 0 0 25 0 1 0 775992735 28979200 4280 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7075 4280 1111 63 0 7012 0
vsize: 28300
[startup+220.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1310
Raw data (stat): 1310 (bsolo_lpr) R 1309 24300 24299 0 -1 0 4538 0 0 0 21991 11 0 0 25 0 1 0 775992735 29687808 4462 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7248 4462 1111 63 0 7185 0
vsize: 28992
[startup+230.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1310
Raw data (stat): 1310 (bsolo_lpr) R 1309 24300 24299 0 -1 0 4717 0 0 0 22991 11 0 0 25 0 1 0 775992735 30531584 4641 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7454 4641 1111 63 0 7391 0
vsize: 29816
[startup+240.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1310
Raw data (stat): 1310 (bsolo_lpr) R 1309 24300 24299 0 -1 0 4890 0 0 0 23991 11 0 0 25 0 1 0 775992735 31244288 4814 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7628 4814 1111 63 0 7565 0
vsize: 30512
[startup+250.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1310
Raw data (stat): 1310 (bsolo_lpr) R 1309 24300 24299 0 -1 0 5078 0 0 0 24991 11 0 0 25 0 1 0 775992735 31952896 5002 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7801 5002 1111 63 0 7738 0
vsize: 31204
[startup+260.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1310
Raw data (stat): 1310 (bsolo_lpr) R 1309 24300 24299 0 -1 0 5251 0 0 0 25991 12 0 0 25 0 1 0 775992735 32657408 5175 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7973 5175 1111 63 0 7910 0
vsize: 31892
[startup+270.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1310
Raw data (stat): 1310 (bsolo_lpr) R 1309 24300 24299 0 -1 0 5411 0 0 0 26991 12 0 0 25 0 1 0 775992735 33366016 5335 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8146 5335 1111 63 0 8083 0
vsize: 32584
[startup+280.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1310
Raw data (stat): 1310 (bsolo_lpr) R 1309 24300 24299 0 -1 0 5590 0 0 0 27991 12 0 0 25 0 1 0 775992735 34074624 5514 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8319 5514 1111 63 0 8256 0
vsize: 33276
[startup+290.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1310
Raw data (stat): 1310 (bsolo_lpr) R 1309 24300 24299 0 -1 0 5785 0 0 0 28991 13 0 0 25 0 1 0 775992735 34783232 5709 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8492 5709 1111 63 0 8429 0
vsize: 33968
[startup+300.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1310
Raw data (stat): 1310 (bsolo_lpr) R 1309 24300 24299 0 -1 0 5966 0 0 0 29991 13 0 0 25 0 1 0 775992735 35635200 5890 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8700 5890 1111 63 0 8637 0
vsize: 34800
[startup+310.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1310
Raw data (stat): 1310 (bsolo_lpr) R 1309 24300 24299 0 -1 0 6158 0 0 0 30991 13 0 0 25 0 1 0 775992735 36339712 6082 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8872 6082 1111 63 0 8809 0
vsize: 35488
[startup+320.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1310
Raw data (stat): 1310 (bsolo_lpr) R 1309 24300 24299 0 -1 0 6345 0 0 0 31991 13 0 0 25 0 1 0 775992735 37191680 6269 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9080 6269 1111 63 0 9017 0
vsize: 36320
[startup+330.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1310
Raw data (stat): 1310 (bsolo_lpr) R 1309 24300 24299 0 -1 0 6544 0 0 0 32991 14 0 0 25 0 1 0 775992735 38051840 6468 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9290 6468 1111 63 0 9227 0
vsize: 37160
[startup+340.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1310
Raw data (stat): 1310 (bsolo_lpr) R 1309 24300 24299 0 -1 0 6737 0 0 0 33991 14 0 0 25 0 1 0 775992735 38760448 6661 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9463 6661 1111 63 0 9400 0
vsize: 37852
[startup+350.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1310
Raw data (stat): 1310 (bsolo_lpr) R 1309 24300 24299 0 -1 0 6917 0 0 0 34991 14 0 0 25 0 1 0 775992735 39469056 6841 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9636 6841 1111 63 0 9573 0
vsize: 38544
[startup+360.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1310
Raw data (stat): 1310 (bsolo_lpr) R 1309 24300 24299 0 -1 0 7110 0 0 0 35991 14 0 0 25 0 1 0 775992735 40312832 7034 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9842 7034 1111 63 0 9779 0
vsize: 39368
[startup+370.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1310
Raw data (stat): 1310 (bsolo_lpr) R 1309 24300 24299 0 -1 0 7292 0 0 0 36991 14 0 0 25 0 1 0 775992735 41025536 7216 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10016 7216 1111 63 0 9953 0
vsize: 40064
[startup+380.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1310
Raw data (stat): 1310 (bsolo_lpr) R 1309 24300 24299 0 -1 0 7479 0 0 0 37992 15 0 0 25 0 1 0 775992735 41877504 7403 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10224 7403 1111 63 0 10161 0
vsize: 40896
[startup+390.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1310
Raw data (stat): 1310 (bsolo_lpr) R 1309 24300 24299 0 -1 0 7671 0 0 0 38991 15 0 0 25 0 1 0 775992735 42577920 7595 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10395 7595 1111 63 0 10332 0
vsize: 41580
[startup+400.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1310
Raw data (stat): 1310 (bsolo_lpr) R 1309 24300 24299 0 -1 0 7845 0 0 0 39991 16 0 0 25 0 1 0 775992735 43290624 7769 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10569 7769 1111 63 0 10506 0
vsize: 42276
[startup+410.126 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1310
Raw data (stat): 1310 (bsolo_lpr) R 1309 24300 24299 0 -1 0 8013 0 0 0 41001 16 0 0 25 0 1 0 775992735 43995136 7937 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10741 7937 1111 63 0 10678 0
vsize: 42964
[startup+420.146 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1310
Raw data (stat): 1310 (bsolo_lpr) R 1309 24300 24299 0 -1 0 8227 0 0 0 42003 17 0 0 25 0 1 0 775992735 44847104 8151 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10949 8151 1111 63 0 10886 0
vsize: 43796
[startup+430.181 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1310
Raw data (stat): 1310 (bsolo_lpr) R 1309 24300 24299 0 -1 0 8434 0 0 0 43006 17 0 0 25 0 1 0 775992735 45694976 8358 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11156 8358 1111 63 0 11093 0
vsize: 44624
[startup+440.182 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1310
Raw data (stat): 1310 (bsolo_lpr) R 1309 24300 24299 0 -1 0 8642 0 0 0 44006 17 0 0 25 0 1 0 775992735 46542848 8566 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11363 8566 1111 63 0 11300 0
vsize: 45452
[startup+450.182 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1310
Raw data (stat): 1310 (bsolo_lpr) R 1309 24300 24299 0 -1 0 8842 0 0 0 45006 18 0 0 25 0 1 0 775992735 47386624 8766 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11569 8766 1111 63 0 11506 0
vsize: 46276
[startup+460.182 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1310
Raw data (stat): 1310 (bsolo_lpr) R 1309 24300 24299 0 -1 0 9022 0 0 0 46006 18 0 0 25 0 1 0 775992735 48095232 8946 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11742 8946 1111 63 0 11679 0
vsize: 46968
[startup+470.182 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1310
Raw data (stat): 1310 (bsolo_lpr) R 1309 24300 24299 0 -1 0 9202 0 0 0 47006 18 0 0 25 0 1 0 775992735 48799744 9126 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11914 9126 1111 63 0 11851 0
vsize: 47656
[startup+480.181 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1310
Raw data (stat): 1310 (bsolo_lpr) R 1309 24300 24299 0 -1 0 9403 0 0 0 48006 19 0 0 25 0 1 0 775992735 49647616 9327 4294967295 134512640 134714508 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12121 9327 1111 63 0 12058 0
vsize: 48484
[startup+490.183 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1310
Raw data (stat): 1310 (bsolo_lpr) R 1309 24300 24299 0 -1 0 9604 0 0 0 49006 19 0 0 25 0 1 0 775992735 50495488 9528 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12328 9528 1111 63 0 12265 0
vsize: 49312
[startup+500.183 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1310
Raw data (stat): 1310 (bsolo_lpr) R 1309 24300 24299 0 -1 0 9824 0 0 0 50006 19 0 0 25 0 1 0 775992735 51343360 9748 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12535 9748 1111 63 0 12472 0
vsize: 50140
[startup+510.184 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1310
Raw data (stat): 1310 (bsolo_lpr) R 1309 24300 24299 0 -1 0 10024 0 0 0 51005 20 0 0 25 0 1 0 775992735 52187136 9948 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12741 9948 1111 63 0 12678 0
vsize: 50964
[startup+520.188 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1310
Raw data (stat): 1310 (bsolo_lpr) R 1309 24300 24299 0 -1 0 10212 0 0 0 52005 20 0 0 25 0 1 0 775992735 53039104 10136 4294967295 134512640 134714508 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12949 10136 1111 63 0 12886 0
vsize: 51796
[startup+530.188 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1310
Raw data (stat): 1310 (bsolo_lpr) R 1309 24300 24299 0 -1 0 10406 0 0 0 53005 20 0 0 25 0 1 0 775992735 53747712 10330 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13122 10330 1111 63 0 13059 0
vsize: 52488
[startup+540.188 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1310
Raw data (stat): 1310 (bsolo_lpr) R 1309 24300 24299 0 -1 0 10625 0 0 0 54005 21 0 0 25 0 1 0 775992735 54730752 10549 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13362 10549 1111 63 0 13299 0
vsize: 53448
[startup+550.191 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1310
Raw data (stat): 1310 (bsolo_lpr) R 1309 24300 24299 0 -1 0 10835 0 0 0 55005 21 0 0 25 0 1 0 775992735 55578624 10759 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13569 10759 1111 63 0 13506 0
vsize: 54276
[startup+560.192 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1310
Raw data (stat): 1310 (bsolo_lpr) R 1309 24300 24299 0 -1 0 11028 0 0 0 56005 21 0 0 25 0 1 0 775992735 56287232 10952 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13742 10952 1111 63 0 13679 0
vsize: 54968
[startup+570.193 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1310
Raw data (stat): 1310 (bsolo_lpr) R 1309 24300 24299 0 -1 0 11227 0 0 0 57005 22 0 0 25 0 1 0 775992735 57131008 11151 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13948 11151 1111 63 0 13885 0
vsize: 55792
[startup+580.193 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1310
Raw data (stat): 1310 (bsolo_lpr) R 1309 24300 24299 0 -1 0 11441 0 0 0 58005 22 0 0 25 0 1 0 775992735 57978880 11365 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14155 11365 1111 63 0 14092 0
vsize: 56620
[startup+590.194 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1310
Raw data (stat): 1310 (bsolo_lpr) R 1309 24300 24299 0 -1 0 11634 0 0 0 59005 23 0 0 25 0 1 0 775992735 58830848 11558 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14363 11558 1111 63 0 14300 0
vsize: 57452
[startup+600.193 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1310
Raw data (stat): 1310 (bsolo_lpr) R 1309 24300 24299 0 -1 0 11820 0 0 0 60005 23 0 0 25 0 1 0 775992735 59531264 11744 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14534 11744 1111 63 0 14471 0
vsize: 58136
[startup+610.193 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1310
Raw data (stat): 1310 (bsolo_lpr) R 1309 24300 24299 0 -1 0 12033 0 0 0 61004 24 0 0 25 0 1 0 775992735 60379136 11957 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14741 11957 1111 63 0 14678 0
vsize: 58964
[startup+620.193 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1310
Raw data (stat): 1310 (bsolo_lpr) R 1309 24300 24299 0 -1 0 12274 0 0 0 62004 24 0 0 25 0 1 0 775992735 61587456 12198 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15036 12198 1111 63 0 14973 0
vsize: 60144
[startup+630.195 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1310
Raw data (stat): 1310 (bsolo_lpr) R 1309 24300 24299 0 -1 0 12496 0 0 0 63003 25 0 0 25 0 1 0 775992735 62439424 12420 4294967295 134512640 134714508 3221224592 3221223248 134527928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15244 12420 1111 63 0 15181 0
vsize: 60976
[startup+640.198 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1310
Raw data (stat): 1310 (bsolo_lpr) R 1309 24300 24299 0 -1 0 12716 0 0 0 64003 26 0 0 25 0 1 0 775992735 63279104 12640 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15449 12640 1111 63 0 15386 0
vsize: 61796
[startup+650.197 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1310
Raw data (stat): 1310 (bsolo_lpr) R 1309 24300 24299 0 -1 0 12939 0 0 0 65003 26 0 0 25 0 1 0 775992735 64270336 12863 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15691 12863 1111 63 0 15628 0
vsize: 62764
[startup+660.197 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1310
Raw data (stat): 1310 (bsolo_lpr) R 1309 24300 24299 0 -1 0 13173 0 0 0 66003 26 0 0 25 0 1 0 775992735 65261568 13097 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15933 13097 1111 63 0 15870 0
vsize: 63732
[startup+670.198 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1310
Raw data (stat): 1310 (bsolo_lpr) R 1309 24300 24299 0 -1 0 13394 0 0 0 67002 27 0 0 25 0 1 0 775992735 66109440 13318 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16140 13318 1111 63 0 16077 0
vsize: 64560
[startup+680.198 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1310
Raw data (stat): 1310 (bsolo_lpr) R 1309 24300 24299 0 -1 0 13615 0 0 0 68002 28 0 0 25 0 1 0 775992735 66953216 13539 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16346 13539 1111 63 0 16283 0
vsize: 65384
[startup+690.199 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1310
Raw data (stat): 1310 (bsolo_lpr) R 1309 24300 24299 0 -1 0 13837 0 0 0 69001 28 0 0 25 0 1 0 775992735 67940352 13761 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16587 13761 1111 63 0 16524 0
vsize: 66348
[startup+700.198 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1310
Raw data (stat): 1310 (bsolo_lpr) R 1309 24300 24299 0 -1 0 14071 0 0 0 70001 29 0 0 25 0 1 0 775992735 68931584 13995 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16829 13995 1111 63 0 16766 0
vsize: 67316
[startup+710.198 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1310
Raw data (stat): 1310 (bsolo_lpr) R 1309 24300 24299 0 -1 0 14308 0 0 0 71001 29 0 0 25 0 1 0 775992735 69779456 14232 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17036 14232 1111 63 0 16973 0
vsize: 68144
[startup+720.198 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1310
Raw data (stat): 1310 (bsolo_lpr) R 1309 24300 24299 0 -1 0 14536 0 0 0 72000 30 0 0 25 0 1 0 775992735 70762496 14460 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17276 14460 1111 63 0 17213 0
vsize: 69104
[startup+730.198 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1310
Raw data (stat): 1310 (bsolo_lpr) R 1309 24300 24299 0 -1 0 14756 0 0 0 73000 30 0 0 25 0 1 0 775992735 71614464 14680 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17484 14680 1111 63 0 17421 0
vsize: 69936
[startup+740.198 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1310
Raw data (stat): 1310 (bsolo_lpr) R 1309 24300 24299 0 -1 0 14992 0 0 0 74000 30 0 0 25 0 1 0 775992735 72601600 14916 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17725 14916 1111 63 0 17662 0
vsize: 70900
[startup+750.199 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1310
Raw data (stat): 1310 (bsolo_lpr) R 1309 24300 24299 0 -1 0 15220 0 0 0 75000 31 0 0 25 0 1 0 775992735 73592832 15144 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17967 15144 1111 63 0 17904 0
vsize: 71868
[startup+760.198 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1310
Raw data (stat): 1310 (bsolo_lpr) R 1309 24300 24299 0 -1 0 15455 0 0 0 76000 31 0 0 25 0 1 0 775992735 74579968 15379 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18208 15379 1111 63 0 18145 0
vsize: 72832
[startup+770.199 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1310
Raw data (stat): 1310 (bsolo_lpr) R 1309 24300 24299 0 -1 0 15703 0 0 0 77000 31 0 0 25 0 1 0 775992735 75567104 15627 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18449 15627 1111 63 0 18386 0
vsize: 73796
[startup+780.198 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1310
Raw data (stat): 1310 (bsolo_lpr) R 1309 24300 24299 0 -1 0 15939 0 0 0 78000 32 0 0 25 0 1 0 775992735 76554240 15863 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18690 15863 1111 63 0 18627 0
vsize: 74760
[startup+790.202 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1310
Raw data (stat): 1310 (bsolo_lpr) R 1309 24300 24299 0 -1 0 16173 0 0 0 79000 32 0 0 25 0 1 0 775992735 77402112 16097 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18897 16097 1111 63 0 18834 0
vsize: 75588
[startup+800.202 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1310
Raw data (stat): 1310 (bsolo_lpr) R 1309 24300 24299 0 -1 0 16423 0 0 0 80000 33 0 0 25 0 1 0 775992735 78532608 16347 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19173 16347 1111 63 0 19110 0
vsize: 76692
[startup+810.201 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1310
Raw data (stat): 1310 (bsolo_lpr) R 1309 24300 24299 0 -1 0 16631 0 0 0 80999 33 0 0 25 0 1 0 775992735 79380480 16555 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19380 16555 1111 63 0 19317 0
vsize: 77520
[startup+820.202 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1310
Raw data (stat): 1310 (bsolo_lpr) R 1309 24300 24299 0 -1 0 16851 0 0 0 81999 34 0 0 25 0 1 0 775992735 80224256 16775 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19586 16775 1111 63 0 19523 0
vsize: 78344
[startup+830.201 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1310
Raw data (stat): 1310 (bsolo_lpr) R 1309 24300 24299 0 -1 0 17087 0 0 0 82998 34 0 0 25 0 1 0 775992735 81215488 17011 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19828 17011 1111 63 0 19765 0
vsize: 79312
[startup+840.202 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1310
Raw data (stat): 1310 (bsolo_lpr) R 1309 24300 24299 0 -1 0 17329 0 0 0 83998 35 0 0 25 0 1 0 775992735 82202624 17253 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20069 17253 1111 63 0 20006 0
vsize: 80276
[startup+850.203 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1310
Raw data (stat): 1310 (bsolo_lpr) R 1309 24300 24299 0 -1 0 17584 0 0 0 84997 35 0 0 25 0 1 0 775992735 83193856 17508 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20311 17508 1111 63 0 20248 0
vsize: 81244
[startup+860.202 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1310
Raw data (stat): 1310 (bsolo_lpr) R 1309 24300 24299 0 -1 0 17834 0 0 0 85997 36 0 0 25 0 1 0 775992735 84180992 17758 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20552 17758 1111 63 0 20489 0
vsize: 82208
[startup+870.202 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1310
Raw data (stat): 1310 (bsolo_lpr) R 1309 24300 24299 0 -1 0 18047 0 0 0 86997 36 0 0 25 0 1 0 775992735 85168128 17971 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20793 17971 1111 63 0 20730 0
vsize: 83172
[startup+880.208 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1310
Raw data (stat): 1310 (bsolo_lpr) R 1309 24300 24299 0 -1 0 18282 0 0 0 87997 37 0 0 25 0 1 0 775992735 86016000 18206 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21000 18206 1111 63 0 20937 0
vsize: 84000
[startup+890.21 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1310
Raw data (stat): 1310 (bsolo_lpr) R 1309 24300 24299 0 -1 0 18518 0 0 0 88997 38 0 0 25 0 1 0 775992735 87003136 18442 4294967295 134512640 134714508 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21241 18442 1111 63 0 21178 0
vsize: 84964
[startup+900.222 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1310
Raw data (stat): 1310 (bsolo_lpr) R 1309 24300 24299 0 -1 0 18760 0 0 0 89998 38 0 0 25 0 1 0 775992735 87994368 18684 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21483 18684 1111 63 0 21420 0
vsize: 85932
[startup+910.222 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1310
Raw data (stat): 1310 (bsolo_lpr) R 1309 24300 24299 0 -1 0 18995 0 0 0 90998 38 0 0 25 0 1 0 775992735 88985600 18919 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21725 18919 1111 63 0 21662 0
vsize: 86900
[startup+920.222 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1310
Raw data (stat): 1310 (bsolo_lpr) R 1309 24300 24299 0 -1 0 19244 0 0 0 91998 38 0 0 25 0 1 0 775992735 89968640 19168 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21965 19168 1111 63 0 21902 0
vsize: 87860
[startup+930.222 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1310
Raw data (stat): 1310 (bsolo_lpr) R 1309 24300 24299 0 -1 0 19492 0 0 0 92998 39 0 0 25 0 1 0 775992735 90955776 19416 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22206 19416 1111 63 0 22143 0
vsize: 88824
[startup+940.223 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1310
Raw data (stat): 1310 (bsolo_lpr) R 1309 24300 24299 0 -1 0 19728 0 0 0 93997 39 0 0 25 0 1 0 775992735 91947008 19652 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22448 19652 1111 63 0 22385 0
vsize: 89792
[startup+950.223 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1310
Raw data (stat): 1310 (bsolo_lpr) R 1309 24300 24299 0 -1 0 19977 0 0 0 94997 40 0 0 25 0 1 0 775992735 92934144 19901 4294967295 134512640 134714508 3221224592 3221222820 1077414399 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22689 19901 1111 63 0 22626 0
vsize: 90756
[startup+960.223 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1310
Raw data (stat): 1310 (bsolo_lpr) R 1309 24300 24299 0 -1 0 20219 0 0 0 95997 40 0 0 25 0 1 0 775992735 93925376 20143 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22931 20143 1111 63 0 22868 0
vsize: 91724
[startup+970.224 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1310
Raw data (stat): 1310 (bsolo_lpr) R 1309 24300 24299 0 -1 0 20475 0 0 0 96996 41 0 0 25 0 1 0 775992735 95055872 20399 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23207 20399 1111 63 0 23144 0
vsize: 92828
[startup+980.224 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1310
Raw data (stat): 1310 (bsolo_lpr) R 1309 24300 24299 0 -1 0 20725 0 0 0 97996 41 0 0 25 0 1 0 775992735 96038912 20649 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23447 20649 1111 63 0 23384 0
vsize: 93788
[startup+990.225 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1310
Raw data (stat): 1310 (bsolo_lpr) R 1309 24300 24299 0 -1 0 20986 0 0 0 98996 42 0 0 25 0 1 0 775992735 97169408 20910 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23723 20910 1111 63 0 23660 0
vsize: 94892
[startup+1000.22 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1310
Raw data (stat): 1310 (bsolo_lpr) R 1309 24300 24299 0 -1 0 21234 0 0 0 99996 42 0 0 25 0 1 0 775992735 98160640 21158 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23965 21158 1111 63 0 23902 0
vsize: 95860
[startup+1010.22 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1310
Raw data (stat): 1310 (bsolo_lpr) R 1309 24300 24299 0 -1 0 21490 0 0 0 100995 43 0 0 25 0 1 0 775992735 99147776 21414 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24206 21414 1111 63 0 24143 0
vsize: 96824
[startup+1020.22 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1310
Raw data (stat): 1310 (bsolo_lpr) R 1309 24300 24299 0 -1 0 21759 0 0 0 101995 44 0 0 25 0 1 0 775992735 100278272 21683 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24482 21683 1111 63 0 24419 0
vsize: 97928
[startup+1030.23 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1310
Raw data (stat): 1310 (bsolo_lpr) R 1309 24300 24299 0 -1 0 22023 0 0 0 102994 44 0 0 25 0 1 0 775992735 101408768 21947 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24758 21947 1111 63 0 24695 0
vsize: 99032
[startup+1040.23 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1310
Raw data (stat): 1310 (bsolo_lpr) R 1309 24300 24299 0 -1 0 22292 0 0 0 103994 45 0 0 25 0 1 0 775992735 102400000 22216 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25000 22216 1111 63 0 24937 0
vsize: 100000
[startup+1050.23 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1310
Raw data (stat): 1310 (bsolo_lpr) R 1309 24300 24299 0 -1 0 22561 0 0 0 104993 45 0 0 25 0 1 0 775992735 103526400 22485 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25275 22485 1111 63 0 25212 0
vsize: 101100
[startup+1060.23 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1310
Raw data (stat): 1310 (bsolo_lpr) R 1309 24300 24299 0 -1 0 22817 0 0 0 105993 46 0 0 25 0 1 0 775992735 104656896 22741 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25551 22741 1111 63 0 25488 0
vsize: 102204
[startup+1070.23 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1310
Raw data (stat): 1310 (bsolo_lpr) R 1309 24300 24299 0 -1 0 23092 0 0 0 106993 46 0 0 25 0 1 0 775992735 105787392 23016 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25827 23016 1111 63 0 25764 0
vsize: 103308
[startup+1080.23 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1310
Raw data (stat): 1310 (bsolo_lpr) R 1309 24300 24299 0 -1 0 23400 0 0 0 107993 46 0 0 25 0 1 0 775992735 107270144 23324 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26189 23324 1111 63 0 26126 0
vsize: 104756
[startup+1090.23 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1310
Raw data (stat): 1310 (bsolo_lpr) R 1309 24300 24299 0 -1 0 23683 0 0 0 108993 47 0 0 25 0 1 0 775992735 108400640 23607 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26465 23607 1111 63 0 26402 0
vsize: 105860
[startup+1100.23 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1310
Raw data (stat): 1310 (bsolo_lpr) R 1309 24300 24299 0 -1 0 23968 0 0 0 109993 47 0 0 25 0 1 0 775992735 109531136 23892 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26741 23892 1111 63 0 26678 0
vsize: 106964
[startup+1110.23 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1310
Raw data (stat): 1310 (bsolo_lpr) R 1309 24300 24299 0 -1 0 24237 0 0 0 110993 48 0 0 25 0 1 0 775992735 110661632 24161 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27017 24161 1111 63 0 26954 0
vsize: 108068
[startup+1120.23 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1310
Raw data (stat): 1310 (bsolo_lpr) R 1309 24300 24299 0 -1 0 24541 0 0 0 111992 48 0 0 25 0 1 0 775992735 111931392 24465 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27327 24465 1111 63 0 27264 0
vsize: 109308
[startup+1130.23 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1310
Raw data (stat): 1310 (bsolo_lpr) R 1309 24300 24299 0 -1 0 24825 0 0 0 112992 49 0 0 25 0 1 0 775992735 113061888 24749 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27603 24749 1111 63 0 27540 0
vsize: 110412
[startup+1140.23 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1310
Raw data (stat): 1310 (bsolo_lpr) R 1309 24300 24299 0 -1 0 25115 0 0 0 113991 49 0 0 25 0 1 0 775992735 114192384 25039 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27879 25039 1111 63 0 27816 0
vsize: 111516
[startup+1150.23 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1310
Raw data (stat): 1310 (bsolo_lpr) R 1309 24300 24299 0 -1 0 25413 0 0 0 114991 50 0 0 25 0 1 0 775992735 115462144 25337 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28189 25337 1111 63 0 28126 0
vsize: 112756
[startup+1160.23 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1310
Raw data (stat): 1310 (bsolo_lpr) R 1309 24300 24299 0 -1 0 25717 0 0 0 115990 51 0 0 25 0 1 0 775992735 116731904 25641 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28499 25641 1111 63 0 28436 0
vsize: 113996
[startup+1170.23 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1310
Raw data (stat): 1310 (bsolo_lpr) R 1309 24300 24299 0 -1 0 26029 0 0 0 116990 51 0 0 25 0 1 0 775992735 118001664 25953 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28809 25953 1111 63 0 28746 0
vsize: 115236
[startup+1180.23 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1310
Raw data (stat): 1310 (bsolo_lpr) R 1309 24300 24299 0 -1 0 26332 0 0 0 117989 52 0 0 25 0 1 0 775992735 119275520 26256 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29120 26256 1111 63 0 29057 0
vsize: 116480
[startup+1190.23 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1310
Raw data (stat): 1310 (bsolo_lpr) R 1309 24300 24299 0 -1 0 26630 0 0 0 118989 52 0 0 25 0 1 0 775992735 120406016 26554 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29396 26554 1111 63 0 29333 0
vsize: 117584
[startup+1200.24 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1310
Raw data (stat): 1310 (bsolo_lpr) R 1309 24300 24299 0 -1 0 26934 0 0 0 119990 53 0 0 25 0 1 0 775992735 121671680 26858 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29705 26858 1111 63 0 29642 0
vsize: 118820
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.29 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 1310
Raw data (stat): 1310 (bsolo_lpr) Z 1309 24300 24299 0 -1 1036 26934 0 0 0 119990 58 0 0 25 0 1 0 775992735 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.29
CPU time (s): 1200.49
CPU user time (s): 1199.9
CPU system time (s): 0.584911
CPU usage (%): 100.017
Max. virtual memory (Kb): 118820
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####