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/MIPLIB/miplib2003/normalized-mps-v2-20-10-mod011.opb
MD5SUM	affd575590f5a6117d93002dff93565b
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	212680
Biggest coefficient in the objective function	38252041742581760
Number of bits for the biggest coefficient in the objective function	56
Sum of the numbers in the objective function	82366741301042724864
Number of bits of the sum of numbers in the objective function	67
Biggest number in a constraint	38252041742581760
Number of bits of the biggest number in a constraint	56
Biggest sum of numbers in a constraint	82366741301042724864
Number of bits of the biggest sum of numbers	67
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	2.86856
Number of variables	309773
Total number of constraints	6093
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	128
Number of constraints which are nor clauses,nor cardinality constraints	5965
Minimum length of a constraint	1
Maximum length of a constraint	24690
Trace number 26554

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc12 THE 2005-05-24 16:09:24 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=12715 boxname=wulflinc12 idbench=979 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  affd575590f5a6117d93002dff93565b  /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-20-10-mod011.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-20-10-mod011.opb
IDLAUNCH: 12715
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.091
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.091
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:        854020 kB
Buffers:         35860 kB
Cached:         123168 kB
SwapCached:        568 kB
Active:          79200 kB
Inactive:        82252 kB
HighTotal:      131008 kB
HighFree:         4088 kB
LowTotal:       903652 kB
LowFree:        849932 kB
SwapTotal:     2097136 kB
SwapFree:      2096076 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5672 kB
Slab:            13568 kB
Committed_AS:    63588 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 16:29:27 (client local time) WITH STATUS 0 IN 1200.3 SECONDS
stats: 12715 7 1200.3 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.97 0.98 0.98 2/54 1205
Raw data (stat): 1205 (runsolver) R 1204 32284 32283 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 773337341 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.0166 s]
Raw data (loadavg): 0.97 0.98 0.98 2/54 1205
Raw data (stat): 1205 (bsolo_lpr) R 1204 32284 32283 0 -1 0 1986 0 0 0 985 8 0 0 25 0 1 0 773337341 15978496 1910 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3901 1910 1111 63 0 3838 0
vsize: 15604
[startup+20.0386 s]
Raw data (loadavg): 0.98 0.98 0.98 2/54 1205
Raw data (stat): 1205 (bsolo_lpr) R 1204 32284 32283 0 -1 0 2217 0 0 0 1986 9 0 0 25 0 1 0 773337341 16875520 2141 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4120 2141 1111 63 0 4057 0
vsize: 16480
[startup+30.0384 s]
Raw data (loadavg): 0.98 0.98 0.98 2/54 1205
Raw data (stat): 1205 (bsolo_lpr) R 1204 32284 32283 0 -1 0 2395 0 0 0 2986 9 0 0 25 0 1 0 773337341 17625088 2319 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4303 2319 1111 63 0 4240 0
vsize: 17212
[startup+40.1416 s]
Raw data (loadavg): 0.98 0.98 0.98 2/54 1205
Raw data (stat): 1205 (bsolo_lpr) R 1204 32284 32283 0 -1 0 2476 0 0 0 3996 9 0 0 25 0 1 0 773337341 17903616 2400 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4371 2400 1111 63 0 4308 0
vsize: 17484
[startup+50.1425 s]
Raw data (loadavg): 0.98 0.98 0.98 2/54 1205
Raw data (stat): 1205 (bsolo_lpr) R 1204 32284 32283 0 -1 0 2550 0 0 0 4995 10 0 0 25 0 1 0 773337341 18178048 2474 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4438 2474 1111 63 0 4375 0
vsize: 17752
[startup+60.1423 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 1205
Raw data (stat): 1205 (bsolo_lpr) R 1204 32284 32283 0 -1 0 2611 0 0 0 5995 10 0 0 25 0 1 0 773337341 18452480 2535 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4505 2535 1111 63 0 4442 0
vsize: 18020
[startup+70.1432 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 1205
Raw data (stat): 1205 (bsolo_lpr) R 1204 32284 32283 0 -1 0 2673 0 0 0 6995 10 0 0 25 0 1 0 773337341 18731008 2597 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4573 2597 1111 63 0 4510 0
vsize: 18292
[startup+80.144 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 1205
Raw data (stat): 1205 (bsolo_lpr) R 1204 32284 32283 0 -1 0 2740 0 0 0 7995 11 0 0 25 0 1 0 773337341 19009536 2664 4294967295 134512640 134714508 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4641 2664 1111 63 0 4578 0
vsize: 18564
[startup+90.1434 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 1205
Raw data (stat): 1205 (bsolo_lpr) R 1204 32284 32283 0 -1 0 2815 0 0 0 8994 11 0 0 25 0 1 0 773337341 19288064 2739 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4709 2739 1111 63 0 4646 0
vsize: 18836
[startup+100.144 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 1205
Raw data (stat): 1205 (bsolo_lpr) R 1204 32284 32283 0 -1 0 2889 0 0 0 9994 12 0 0 25 0 1 0 773337341 19566592 2813 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4777 2813 1111 63 0 4714 0
vsize: 19108
[startup+110.145 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 1205
Raw data (stat): 1205 (bsolo_lpr) R 1204 32284 32283 0 -1 0 2962 0 0 0 10994 12 0 0 25 0 1 0 773337341 19976192 2886 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4877 2886 1111 63 0 4814 0
vsize: 19508
[startup+120.145 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 1205
Raw data (stat): 1205 (bsolo_lpr) R 1204 32284 32283 0 -1 0 3030 0 0 0 11993 12 0 0 25 0 1 0 773337341 20250624 2954 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4944 2954 1111 63 0 4881 0
vsize: 19776
[startup+130.146 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 1205
Raw data (stat): 1205 (bsolo_lpr) R 1204 32284 32283 0 -1 0 3108 0 0 0 12993 13 0 0 25 0 1 0 773337341 20545536 3032 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5016 3032 1111 63 0 4953 0
vsize: 20064
[startup+140.146 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 1205
Raw data (stat): 1205 (bsolo_lpr) R 1204 32284 32283 0 -1 0 3175 0 0 0 13993 13 0 0 25 0 1 0 773337341 20819968 3099 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5083 3099 1111 63 0 5020 0
vsize: 20332
[startup+150.147 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 1205
Raw data (stat): 1205 (bsolo_lpr) R 1204 32284 32283 0 -1 0 3255 0 0 0 14992 14 0 0 25 0 1 0 773337341 21094400 3179 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5150 3179 1111 63 0 5087 0
vsize: 20600
[startup+160.147 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 1205
Raw data (stat): 1205 (bsolo_lpr) R 1204 32284 32283 0 -1 0 3334 0 0 0 15992 14 0 0 25 0 1 0 773337341 21499904 3258 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5249 3258 1111 63 0 5186 0
vsize: 20996
[startup+170.148 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 1205
Raw data (stat): 1205 (bsolo_lpr) R 1204 32284 32283 0 -1 0 3395 0 0 0 16992 14 0 0 25 0 1 0 773337341 21639168 3319 4294967295 134512640 134714508 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5283 3319 1111 63 0 5220 0
vsize: 21132
[startup+180.149 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 1205
Raw data (stat): 1205 (bsolo_lpr) R 1204 32284 32283 0 -1 0 3465 0 0 0 17991 15 0 0 25 0 1 0 773337341 21921792 3389 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5352 3389 1111 63 0 5289 0
vsize: 21408
[startup+190.149 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 1205
Raw data (stat): 1205 (bsolo_lpr) R 1204 32284 32283 0 -1 0 3532 0 0 0 18991 15 0 0 25 0 1 0 773337341 22200320 3456 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5420 3456 1111 63 0 5357 0
vsize: 21680
[startup+200.15 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 1205
Raw data (stat): 1205 (bsolo_lpr) R 1204 32284 32283 0 -1 0 3599 0 0 0 19991 16 0 0 25 0 1 0 773337341 22474752 3523 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5487 3523 1111 63 0 5424 0
vsize: 21948
[startup+210.15 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 1205
Raw data (stat): 1205 (bsolo_lpr) R 1204 32284 32283 0 -1 0 3667 0 0 0 20990 16 0 0 25 0 1 0 773337341 22753280 3591 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5555 3591 1111 63 0 5492 0
vsize: 22220
[startup+220.151 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 1205
Raw data (stat): 1205 (bsolo_lpr) R 1204 32284 32283 0 -1 0 3734 0 0 0 21990 17 0 0 25 0 1 0 773337341 23027712 3658 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5622 3658 1111 63 0 5559 0
vsize: 22488
[startup+230.152 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 1205
Raw data (stat): 1205 (bsolo_lpr) R 1204 32284 32283 0 -1 0 3797 0 0 0 22989 18 0 0 25 0 1 0 773337341 23310336 3721 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5691 3721 1111 63 0 5628 0
vsize: 22764
[startup+240.152 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 1205
Raw data (stat): 1205 (bsolo_lpr) R 1204 32284 32283 0 -1 0 3877 0 0 0 23988 18 0 0 25 0 1 0 773337341 23728128 3801 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5793 3801 1111 63 0 5730 0
vsize: 23172
[startup+250.152 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 1205
Raw data (stat): 1205 (bsolo_lpr) R 1204 32284 32283 0 -1 0 3938 0 0 0 24988 19 0 0 25 0 1 0 773337341 23863296 3862 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5826 3862 1111 63 0 5763 0
vsize: 23304
[startup+260.153 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 1205
Raw data (stat): 1205 (bsolo_lpr) R 1204 32284 32283 0 -1 0 4005 0 0 0 25988 19 0 0 25 0 1 0 773337341 24141824 3929 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5894 3929 1111 63 0 5831 0
vsize: 23576
[startup+270.154 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 1205
Raw data (stat): 1205 (bsolo_lpr) R 1204 32284 32283 0 -1 0 4074 0 0 0 26988 19 0 0 25 0 1 0 773337341 24420352 3998 4294967295 134512640 134714508 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5962 3998 1111 63 0 5899 0
vsize: 23848
[startup+280.154 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 1205
Raw data (stat): 1205 (bsolo_lpr) R 1204 32284 32283 0 -1 0 4136 0 0 0 27988 19 0 0 25 0 1 0 773337341 24702976 4060 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6031 4060 1111 63 0 5968 0
vsize: 24124
[startup+290.155 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 1205
Raw data (stat): 1205 (bsolo_lpr) R 1204 32284 32283 0 -1 0 4204 0 0 0 28988 19 0 0 25 0 1 0 773337341 24981504 4128 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6099 4128 1111 63 0 6036 0
vsize: 24396
[startup+300.156 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 1205
Raw data (stat): 1205 (bsolo_lpr) R 1204 32284 32283 0 -1 0 4272 0 0 0 29988 19 0 0 25 0 1 0 773337341 25255936 4196 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6166 4196 1111 63 0 6103 0
vsize: 24664
[startup+310.156 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 1205
Raw data (stat): 1205 (bsolo_lpr) R 1204 32284 32283 0 -1 0 4346 0 0 0 30988 20 0 0 25 0 1 0 773337341 25530368 4270 4294967295 134512640 134714508 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6233 4270 1111 63 0 6170 0
vsize: 24932
[startup+320.156 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 1205
Raw data (stat): 1205 (bsolo_lpr) R 1204 32284 32283 0 -1 0 4427 0 0 0 31988 20 0 0 25 0 1 0 773337341 25948160 4351 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6335 4351 1111 63 0 6272 0
vsize: 25340
[startup+330.157 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 1205
Raw data (stat): 1205 (bsolo_lpr) R 1204 32284 32283 0 -1 0 4495 0 0 0 32987 20 0 0 25 0 1 0 773337341 26222592 4419 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6402 4419 1111 63 0 6339 0
vsize: 25608
[startup+340.157 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 1205
Raw data (stat): 1205 (bsolo_lpr) R 1204 32284 32283 0 -1 0 4562 0 0 0 33988 20 0 0 25 0 1 0 773337341 26501120 4486 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6470 4486 1111 63 0 6407 0
vsize: 25880
[startup+350.158 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 1205
Raw data (stat): 1205 (bsolo_lpr) R 1204 32284 32283 0 -1 0 4642 0 0 0 34988 20 0 0 25 0 1 0 773337341 26771456 4566 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6536 4566 1111 63 0 6473 0
vsize: 26144
[startup+360.159 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 1205
Raw data (stat): 1205 (bsolo_lpr) R 1204 32284 32283 0 -1 0 4705 0 0 0 35987 21 0 0 25 0 1 0 773337341 27049984 4629 4294967295 134512640 134714508 3221224592 3221222820 1077414399 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6604 4629 1111 63 0 6541 0
vsize: 26416
[startup+370.159 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 1205
Raw data (stat): 1205 (bsolo_lpr) R 1204 32284 32283 0 -1 0 4779 0 0 0 36987 21 0 0 25 0 1 0 773337341 27336704 4703 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6674 4703 1111 63 0 6611 0
vsize: 26696
[startup+380.159 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 1205
Raw data (stat): 1205 (bsolo_lpr) R 1204 32284 32283 0 -1 0 4853 0 0 0 37987 22 0 0 25 0 1 0 773337341 27611136 4777 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6741 4777 1111 63 0 6678 0
vsize: 26964
[startup+390.159 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 1205
Raw data (stat): 1205 (bsolo_lpr) R 1204 32284 32283 0 -1 0 4908 0 0 0 38987 22 0 0 25 0 1 0 773337341 27889664 4832 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6809 4832 1111 63 0 6746 0
vsize: 27236
[startup+400.16 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 1205
Raw data (stat): 1205 (bsolo_lpr) R 1204 32284 32283 0 -1 0 4988 0 0 0 39987 22 0 0 25 0 1 0 773337341 28164096 4912 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6876 4912 1111 63 0 6813 0
vsize: 27504
[startup+410.16 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 1205
Raw data (stat): 1205 (bsolo_lpr) R 1204 32284 32283 0 -1 0 5064 0 0 0 40987 23 0 0 25 0 1 0 773337341 28581888 4988 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6978 4988 1111 63 0 6915 0
vsize: 27912
[startup+420.161 s]
Raw data (loadavg): 1.07 1.00 0.98 2/54 1205
Raw data (stat): 1205 (bsolo_lpr) R 1204 32284 32283 0 -1 0 5150 0 0 0 41987 23 0 0 25 0 1 0 773337341 28856320 5074 4294967295 134512640 134714508 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7045 5074 1111 63 0 6982 0
vsize: 28180
[startup+430.162 s]
Raw data (loadavg): 1.06 1.00 0.98 2/54 1205
Raw data (stat): 1205 (bsolo_lpr) R 1204 32284 32283 0 -1 0 5230 0 0 0 42987 23 0 0 25 0 1 0 773337341 29261824 5154 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7144 5154 1111 63 0 7081 0
vsize: 28576
[startup+440.164 s]
Raw data (loadavg): 1.05 1.00 0.98 2/54 1205
Raw data (stat): 1205 (bsolo_lpr) R 1204 32284 32283 0 -1 0 5303 0 0 0 43987 23 0 0 25 0 1 0 773337341 29536256 5227 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7211 5227 1111 63 0 7148 0
vsize: 28844
[startup+450.164 s]
Raw data (loadavg): 1.04 1.00 0.98 2/54 1205
Raw data (stat): 1205 (bsolo_lpr) R 1204 32284 32283 0 -1 0 5372 0 0 0 44987 23 0 0 25 0 1 0 773337341 29822976 5296 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7281 5296 1111 63 0 7218 0
vsize: 29124
[startup+460.17 s]
Raw data (loadavg): 1.03 1.00 0.98 2/54 1205
Raw data (stat): 1205 (bsolo_lpr) R 1204 32284 32283 0 -1 0 5447 0 0 0 45988 23 0 0 25 0 1 0 773337341 30105600 5371 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7350 5371 1111 63 0 7287 0
vsize: 29400
[startup+470.183 s]
Raw data (loadavg): 1.03 1.00 0.98 2/54 1205
Raw data (stat): 1205 (bsolo_lpr) R 1204 32284 32283 0 -1 0 5514 0 0 0 46989 23 0 0 25 0 1 0 773337341 30392320 5438 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7420 5438 1111 63 0 7357 0
vsize: 29680
[startup+480.183 s]
Raw data (loadavg): 1.02 1.00 0.98 2/54 1205
Raw data (stat): 1205 (bsolo_lpr) R 1204 32284 32283 0 -1 0 5588 0 0 0 47989 24 0 0 25 0 1 0 773337341 30670848 5512 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7488 5512 1111 63 0 7425 0
vsize: 29952
[startup+490.183 s]
Raw data (loadavg): 1.02 1.00 0.98 2/54 1205
Raw data (stat): 1205 (bsolo_lpr) R 1204 32284 32283 0 -1 0 5662 0 0 0 48989 24 0 0 25 0 1 0 773337341 30945280 5586 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7555 5586 1111 63 0 7492 0
vsize: 30220
[startup+500.183 s]
Raw data (loadavg): 1.02 1.00 0.98 2/54 1205
Raw data (stat): 1205 (bsolo_lpr) R 1204 32284 32283 0 -1 0 5737 0 0 0 49989 24 0 0 25 0 1 0 773337341 31363072 5661 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7657 5661 1111 63 0 7594 0
vsize: 30628
[startup+510.183 s]
Raw data (loadavg): 1.01 1.00 0.98 2/54 1205
Raw data (stat): 1205 (bsolo_lpr) R 1204 32284 32283 0 -1 0 5817 0 0 0 50989 24 0 0 25 0 1 0 773337341 31633408 5741 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7723 5741 1111 63 0 7660 0
vsize: 30892
[startup+520.183 s]
Raw data (loadavg): 1.01 1.00 0.98 2/54 1205
Raw data (stat): 1205 (bsolo_lpr) R 1204 32284 32283 0 -1 0 5879 0 0 0 51989 24 0 0 25 0 1 0 773337341 31907840 5803 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7790 5803 1111 63 0 7727 0
vsize: 31160
[startup+530.183 s]
Raw data (loadavg): 1.01 1.00 0.98 2/54 1205
Raw data (stat): 1205 (bsolo_lpr) R 1204 32284 32283 0 -1 0 5946 0 0 0 52989 24 0 0 25 0 1 0 773337341 32186368 5870 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7858 5870 1111 63 0 7795 0
vsize: 31432
[startup+540.183 s]
Raw data (loadavg): 1.01 1.00 0.98 2/54 1205
Raw data (stat): 1205 (bsolo_lpr) R 1204 32284 32283 0 -1 0 6013 0 0 0 53989 24 0 0 25 0 1 0 773337341 32460800 5937 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7925 5937 1111 63 0 7862 0
vsize: 31700
[startup+550.184 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 1205
Raw data (stat): 1205 (bsolo_lpr) R 1204 32284 32283 0 -1 0 6075 0 0 0 54989 25 0 0 25 0 1 0 773337341 32743424 5999 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7994 5999 1111 63 0 7931 0
vsize: 31976
[startup+560.184 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 1205
Raw data (stat): 1205 (bsolo_lpr) R 1204 32284 32283 0 -1 0 6148 0 0 0 55989 25 0 0 25 0 1 0 773337341 33017856 6072 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8061 6072 1111 63 0 7998 0
vsize: 32244
[startup+570.184 s]
Raw data (loadavg): 1.08 1.02 0.99 2/54 1205
Raw data (stat): 1205 (bsolo_lpr) R 1204 32284 32283 0 -1 0 6211 0 0 0 56990 25 0 0 25 0 1 0 773337341 33296384 6135 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8129 6135 1111 63 0 8066 0
vsize: 32516
[startup+580.184 s]
Raw data (loadavg): 1.06 1.02 0.99 2/54 1205
Raw data (stat): 1205 (bsolo_lpr) R 1204 32284 32283 0 -1 0 6285 0 0 0 57989 25 0 0 25 0 1 0 773337341 33570816 6209 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8196 6209 1111 63 0 8133 0
vsize: 32784
[startup+590.184 s]
Raw data (loadavg): 1.05 1.01 0.99 2/54 1205
Raw data (stat): 1205 (bsolo_lpr) R 1204 32284 32283 0 -1 0 6347 0 0 0 58989 25 0 0 25 0 1 0 773337341 33845248 6271 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8263 6271 1111 63 0 8200 0
vsize: 33052
[startup+600.185 s]
Raw data (loadavg): 1.05 1.01 0.99 2/54 1205
Raw data (stat): 1205 (bsolo_lpr) R 1204 32284 32283 0 -1 0 6421 0 0 0 59990 25 0 0 25 0 1 0 773337341 34123776 6345 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8331 6345 1111 63 0 8268 0
vsize: 33324
[startup+610.186 s]
Raw data (loadavg): 1.04 1.01 0.99 2/54 1205
Raw data (stat): 1205 (bsolo_lpr) R 1204 32284 32283 0 -1 0 6494 0 0 0 60990 25 0 0 25 0 1 0 773337341 34402304 6418 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8399 6418 1111 63 0 8336 0
vsize: 33596
[startup+620.187 s]
Raw data (loadavg): 1.03 1.01 0.99 2/54 1205
Raw data (stat): 1205 (bsolo_lpr) R 1204 32284 32283 0 -1 0 6562 0 0 0 61990 25 0 0 25 0 1 0 773337341 34676736 6486 4294967295 134512640 134714508 3221224592 3221222820 1077414374 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8466 6486 1111 63 0 8403 0
vsize: 33864
[startup+630.186 s]
Raw data (loadavg): 1.10 1.03 0.99 2/54 1205
Raw data (stat): 1205 (bsolo_lpr) R 1204 32284 32283 0 -1 0 6629 0 0 0 62990 25 0 0 25 0 1 0 773337341 34955264 6553 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8534 6553 1111 63 0 8471 0
vsize: 34136
[startup+640.186 s]
Raw data (loadavg): 1.08 1.03 0.99 2/54 1205
Raw data (stat): 1205 (bsolo_lpr) R 1204 32284 32283 0 -1 0 6700 0 0 0 63990 26 0 0 25 0 1 0 773337341 35233792 6624 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8602 6624 1111 63 0 8539 0
vsize: 34408
[startup+650.187 s]
Raw data (loadavg): 1.07 1.02 0.99 2/54 1205
Raw data (stat): 1205 (bsolo_lpr) R 1204 32284 32283 0 -1 0 6786 0 0 0 64990 26 0 0 25 0 1 0 773337341 35647488 6710 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8703 6710 1111 63 0 8640 0
vsize: 34812
[startup+660.187 s]
Raw data (loadavg): 1.06 1.02 0.99 2/54 1205
Raw data (stat): 1205 (bsolo_lpr) R 1204 32284 32283 0 -1 0 6860 0 0 0 65990 26 0 0 25 0 1 0 773337341 35921920 6784 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8770 6784 1111 63 0 8707 0
vsize: 35080
[startup+670.188 s]
Raw data (loadavg): 1.05 1.02 0.99 2/54 1205
Raw data (stat): 1205 (bsolo_lpr) R 1204 32284 32283 0 -1 0 6927 0 0 0 66990 26 0 0 25 0 1 0 773337341 36196352 6851 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8837 6851 1111 63 0 8774 0
vsize: 35348
[startup+680.189 s]
Raw data (loadavg): 1.04 1.02 0.99 2/54 1205
Raw data (stat): 1205 (bsolo_lpr) R 1204 32284 32283 0 -1 0 6995 0 0 0 67990 26 0 0 25 0 1 0 773337341 36470784 6919 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8904 6919 1111 63 0 8841 0
vsize: 35616
[startup+690.188 s]
Raw data (loadavg): 1.04 1.02 0.99 2/54 1205
Raw data (stat): 1205 (bsolo_lpr) R 1204 32284 32283 0 -1 0 7070 0 0 0 68991 26 0 0 25 0 1 0 773337341 36749312 6994 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8972 6994 1111 63 0 8909 0
vsize: 35888
[startup+700.188 s]
Raw data (loadavg): 1.03 1.02 0.99 2/54 1205
Raw data (stat): 1205 (bsolo_lpr) R 1204 32284 32283 0 -1 0 7150 0 0 0 69991 26 0 0 25 0 1 0 773337341 37023744 7074 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9039 7074 1111 63 0 8976 0
vsize: 36156
[startup+710.189 s]
Raw data (loadavg): 1.02 1.02 0.99 2/54 1205
Raw data (stat): 1205 (bsolo_lpr) R 1204 32284 32283 0 -1 0 7218 0 0 0 70991 26 0 0 25 0 1 0 773337341 37298176 7142 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9106 7142 1111 63 0 9043 0
vsize: 36424
[startup+720.19 s]
Raw data (loadavg): 1.02 1.02 0.99 2/54 1205
Raw data (stat): 1205 (bsolo_lpr) R 1204 32284 32283 0 -1 0 7291 0 0 0 71991 26 0 0 25 0 1 0 773337341 37707776 7215 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9206 7215 1111 63 0 9143 0
vsize: 36824
[startup+730.19 s]
Raw data (loadavg): 1.02 1.02 0.99 2/54 1205
Raw data (stat): 1205 (bsolo_lpr) R 1204 32284 32283 0 -1 0 7366 0 0 0 72991 26 0 0 25 0 1 0 773337341 37990400 7290 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9275 7290 1111 63 0 9212 0
vsize: 37100
[startup+740.192 s]
Raw data (loadavg): 1.01 1.02 0.99 2/54 1205
Raw data (stat): 1205 (bsolo_lpr) R 1204 32284 32283 0 -1 0 7433 0 0 0 73991 27 0 0 25 0 1 0 773337341 38264832 7357 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9342 7357 1111 63 0 9279 0
vsize: 37368
[startup+750.192 s]
Raw data (loadavg): 1.01 1.02 0.99 2/54 1205
Raw data (stat): 1205 (bsolo_lpr) R 1204 32284 32283 0 -1 0 7502 0 0 0 74991 27 0 0 25 0 1 0 773337341 38543360 7426 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9410 7426 1111 63 0 9347 0
vsize: 37640
[startup+760.193 s]
Raw data (loadavg): 1.01 1.01 0.99 2/54 1205
Raw data (stat): 1205 (bsolo_lpr) R 1204 32284 32283 0 -1 0 7569 0 0 0 75991 27 0 0 25 0 1 0 773337341 38817792 7493 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9477 7493 1111 63 0 9414 0
vsize: 37908
[startup+770.193 s]
Raw data (loadavg): 1.01 1.01 0.99 2/54 1205
Raw data (stat): 1205 (bsolo_lpr) R 1204 32284 32283 0 -1 0 7649 0 0 0 76991 27 0 0 25 0 1 0 773337341 39092224 7573 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9544 7573 1111 63 0 9481 0
vsize: 38176
[startup+780.194 s]
Raw data (loadavg): 1.01 1.01 0.99 2/54 1205
Raw data (stat): 1205 (bsolo_lpr) R 1204 32284 32283 0 -1 0 7731 0 0 0 77992 27 0 0 25 0 1 0 773337341 39505920 7655 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9645 7655 1111 63 0 9582 0
vsize: 38580
[startup+790.194 s]
Raw data (loadavg): 1.00 1.01 0.99 2/54 1205
Raw data (stat): 1205 (bsolo_lpr) R 1204 32284 32283 0 -1 0 7805 0 0 0 78992 27 0 0 25 0 1 0 773337341 39784448 7729 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9713 7729 1111 63 0 9650 0
vsize: 38852
[startup+800.195 s]
Raw data (loadavg): 1.00 1.01 0.99 2/54 1205
Raw data (stat): 1205 (bsolo_lpr) R 1204 32284 32283 0 -1 0 7879 0 0 0 79992 27 0 0 25 0 1 0 773337341 40054784 7803 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9779 7803 1111 63 0 9716 0
vsize: 39116
[startup+810.195 s]
Raw data (loadavg): 1.00 1.01 0.99 2/54 1205
Raw data (stat): 1205 (bsolo_lpr) R 1204 32284 32283 0 -1 0 7959 0 0 0 80992 27 0 0 25 0 1 0 773337341 40329216 7883 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9846 7883 1111 63 0 9783 0
vsize: 39384
[startup+820.196 s]
Raw data (loadavg): 1.00 1.01 0.99 2/54 1205
Raw data (stat): 1205 (bsolo_lpr) R 1204 32284 32283 0 -1 0 8033 0 0 0 81992 28 0 0 25 0 1 0 773337341 40747008 7957 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9948 7957 1111 63 0 9885 0
vsize: 39792
[startup+830.195 s]
Raw data (loadavg): 1.00 1.01 0.99 2/54 1205
Raw data (stat): 1205 (bsolo_lpr) R 1204 32284 32283 0 -1 0 8107 0 0 0 82992 28 0 0 25 0 1 0 773337341 41021440 8031 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10015 8031 1111 63 0 9952 0
vsize: 40060
[startup+840.195 s]
Raw data (loadavg): 1.00 1.01 0.99 2/54 1205
Raw data (stat): 1205 (bsolo_lpr) R 1204 32284 32283 0 -1 0 8181 0 0 0 83992 28 0 0 25 0 1 0 773337341 41295872 8105 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10082 8105 1111 63 0 10019 0
vsize: 40328
[startup+850.196 s]
Raw data (loadavg): 1.00 1.01 0.99 2/54 1205
Raw data (stat): 1205 (bsolo_lpr) R 1204 32284 32283 0 -1 0 8255 0 0 0 84992 28 0 0 25 0 1 0 773337341 41570304 8179 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10149 8179 1111 63 0 10086 0
vsize: 40596
[startup+860.196 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 1205
Raw data (stat): 1205 (bsolo_lpr) R 1204 32284 32283 0 -1 0 8328 0 0 0 85992 28 0 0 25 0 1 0 773337341 41844736 8252 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10216 8252 1111 63 0 10153 0
vsize: 40864
[startup+870.197 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 1205
Raw data (stat): 1205 (bsolo_lpr) R 1204 32284 32283 0 -1 0 8404 0 0 0 86992 28 0 0 25 0 1 0 773337341 42262528 8328 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10318 8328 1111 63 0 10255 0
vsize: 41272
[startup+880.197 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 1205
Raw data (stat): 1205 (bsolo_lpr) R 1204 32284 32283 0 -1 0 8477 0 0 0 87992 28 0 0 25 0 1 0 773337341 42541056 8401 4294967295 134512640 134714508 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10386 8401 1111 63 0 10323 0
vsize: 41544
[startup+890.197 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 1205
Raw data (stat): 1205 (bsolo_lpr) R 1204 32284 32283 0 -1 0 8552 0 0 0 88992 28 0 0 25 0 1 0 773337341 42815488 8476 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10453 8476 1111 63 0 10390 0
vsize: 41812
[startup+900.197 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 1205
Raw data (stat): 1205 (bsolo_lpr) R 1204 32284 32283 0 -1 0 8643 0 0 0 89992 29 0 0 25 0 1 0 773337341 43241472 8567 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10557 8567 1111 63 0 10494 0
vsize: 42228
[startup+910.197 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 1205
Raw data (stat): 1205 (bsolo_lpr) R 1204 32284 32283 0 -1 0 8712 0 0 0 90992 29 0 0 25 0 1 0 773337341 43520000 8636 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10625 8636 1111 63 0 10562 0
vsize: 42500
[startup+920.198 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 1205
Raw data (stat): 1205 (bsolo_lpr) R 1204 32284 32283 0 -1 0 8786 0 0 0 91993 29 0 0 25 0 1 0 773337341 43794432 8710 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10692 8710 1111 63 0 10629 0
vsize: 42768
[startup+930.199 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 1205
Raw data (stat): 1205 (bsolo_lpr) R 1204 32284 32283 0 -1 0 8854 0 0 0 92993 29 0 0 25 0 1 0 773337341 44072960 8778 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10760 8778 1111 63 0 10697 0
vsize: 43040
[startup+940.199 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 1205
Raw data (stat): 1205 (bsolo_lpr) R 1204 32284 32283 0 -1 0 8915 0 0 0 93993 29 0 0 25 0 1 0 773337341 44351488 8839 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10828 8839 1111 63 0 10765 0
vsize: 43312
[startup+950.2 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 1205
Raw data (stat): 1205 (bsolo_lpr) R 1204 32284 32283 0 -1 0 8997 0 0 0 94993 29 0 0 25 0 1 0 773337341 44630016 8921 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10896 8921 1111 63 0 10833 0
vsize: 43584
[startup+960.201 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 1205
Raw data (stat): 1205 (bsolo_lpr) R 1204 32284 32283 0 -1 0 9071 0 0 0 95993 29 0 0 25 0 1 0 773337341 45043712 8995 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10997 8995 1111 63 0 10934 0
vsize: 43988
[startup+970.201 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 1205
Raw data (stat): 1205 (bsolo_lpr) R 1204 32284 32283 0 -1 0 9144 0 0 0 96993 30 0 0 25 0 1 0 773337341 45318144 9068 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11064 9068 1111 63 0 11001 0
vsize: 44256
[startup+980.201 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 1205
Raw data (stat): 1205 (bsolo_lpr) R 1204 32284 32283 0 -1 0 9218 0 0 0 97993 30 0 0 25 0 1 0 773337341 45592576 9142 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11131 9142 1111 63 0 11068 0
vsize: 44524
[startup+990.201 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 1205
Raw data (stat): 1205 (bsolo_lpr) R 1204 32284 32283 0 -1 0 9298 0 0 0 98993 30 0 0 25 0 1 0 773337341 45871104 9222 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11199 9222 1111 63 0 11136 0
vsize: 44796
[startup+1000.2 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 1205
Raw data (stat): 1205 (bsolo_lpr) R 1204 32284 32283 0 -1 0 9374 0 0 0 99993 30 0 0 25 0 1 0 773337341 46284800 9298 4294967295 134512640 134714508 3221224592 3221222820 1077414399 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11300 9298 1111 63 0 11237 0
vsize: 45200
[startup+1010.2 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 1205
Raw data (stat): 1205 (bsolo_lpr) R 1204 32284 32283 0 -1 0 9449 0 0 0 100993 30 0 0 25 0 1 0 773337341 46559232 9373 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11367 9373 1111 63 0 11304 0
vsize: 45468
[startup+1020.2 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 1205
Raw data (stat): 1205 (bsolo_lpr) R 1204 32284 32283 0 -1 0 9517 0 0 0 101993 30 0 0 25 0 1 0 773337341 46833664 9441 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11434 9441 1111 63 0 11371 0
vsize: 45736
[startup+1030.2 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 1205
Raw data (stat): 1205 (bsolo_lpr) R 1204 32284 32283 0 -1 0 9597 0 0 0 102993 30 0 0 25 0 1 0 773337341 47108096 9521 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11501 9521 1111 63 0 11438 0
vsize: 46004
[startup+1040.2 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 1205
Raw data (stat): 1205 (bsolo_lpr) R 1204 32284 32283 0 -1 0 9679 0 0 0 103993 31 0 0 25 0 1 0 773337341 47525888 9603 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11603 9603 1111 63 0 11540 0
vsize: 46412
[startup+1050.2 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 1205
Raw data (stat): 1205 (bsolo_lpr) R 1204 32284 32283 0 -1 0 9759 0 0 0 104993 31 0 0 25 0 1 0 773337341 47800320 9683 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11670 9683 1111 63 0 11607 0
vsize: 46680
[startup+1060.2 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 1205
Raw data (stat): 1205 (bsolo_lpr) R 1204 32284 32283 0 -1 0 9826 0 0 0 105993 31 0 0 25 0 1 0 773337341 48074752 9750 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11737 9750 1111 63 0 11674 0
vsize: 46948
[startup+1070.2 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 1205
Raw data (stat): 1205 (bsolo_lpr) R 1204 32284 32283 0 -1 0 9900 0 0 0 106993 31 0 0 25 0 1 0 773337341 48353280 9824 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11805 9824 1111 63 0 11742 0
vsize: 47220
[startup+1080.2 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 1205
Raw data (stat): 1205 (bsolo_lpr) R 1204 32284 32283 0 -1 0 9974 0 0 0 107993 32 0 0 25 0 1 0 773337341 48623616 9898 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11871 9898 1111 63 0 11808 0
vsize: 47484
[startup+1090.2 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 1205
Raw data (stat): 1205 (bsolo_lpr) R 1204 32284 32283 0 -1 0 10049 0 0 0 108993 32 0 0 25 0 1 0 773337341 49045504 9973 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11974 9973 1111 63 0 11911 0
vsize: 47896
[startup+1100.2 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 1205
Raw data (stat): 1205 (bsolo_lpr) R 1204 32284 32283 0 -1 0 10123 0 0 0 109993 32 0 0 25 0 1 0 773337341 49319936 10047 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12041 10047 1111 63 0 11978 0
vsize: 48164
[startup+1110.2 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 1205
Raw data (stat): 1205 (bsolo_lpr) R 1204 32284 32283 0 -1 0 10198 0 0 0 110993 32 0 0 25 0 1 0 773337341 49594368 10122 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12108 10122 1111 63 0 12045 0
vsize: 48432
[startup+1120.2 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 1205
Raw data (stat): 1205 (bsolo_lpr) R 1204 32284 32283 0 -1 0 10267 0 0 0 111993 32 0 0 25 0 1 0 773337341 49872896 10191 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12176 10191 1111 63 0 12113 0
vsize: 48704
[startup+1130.2 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 1205
Raw data (stat): 1205 (bsolo_lpr) R 1204 32284 32283 0 -1 0 10342 0 0 0 112993 32 0 0 25 0 1 0 773337341 50151424 10266 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12244 10266 1111 63 0 12181 0
vsize: 48976
[startup+1140.2 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 1205
Raw data (stat): 1205 (bsolo_lpr) R 1204 32284 32283 0 -1 0 10422 0 0 0 113993 32 0 0 25 0 1 0 773337341 50565120 10346 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12345 10346 1111 63 0 12282 0
vsize: 49380
[startup+1150.2 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 1205
Raw data (stat): 1205 (bsolo_lpr) R 1204 32284 32283 0 -1 0 10496 0 0 0 114993 33 0 0 25 0 1 0 773337341 50835456 10420 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12411 10420 1111 63 0 12348 0
vsize: 49644
[startup+1160.21 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 1205
Raw data (stat): 1205 (bsolo_lpr) R 1204 32284 32283 0 -1 0 10563 0 0 0 115993 33 0 0 25 0 1 0 773337341 51113984 10487 4294967295 134512640 134714508 3221224592 3221221304 1077404131 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12479 10487 1111 63 0 12416 0
vsize: 49916
[startup+1170.2 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 1205
Raw data (stat): 1205 (bsolo_lpr) R 1204 32284 32283 0 -1 0 10631 0 0 0 116994 33 0 0 25 0 1 0 773337341 51392512 10555 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12547 10555 1111 63 0 12484 0
vsize: 50188
[startup+1180.21 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 1205
Raw data (stat): 1205 (bsolo_lpr) R 1204 32284 32283 0 -1 0 10700 0 0 0 117993 33 0 0 25 0 1 0 773337341 51671040 10624 4294967295 134512640 134714508 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12615 10624 1111 63 0 12552 0
vsize: 50460
[startup+1190.2 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 1205
Raw data (stat): 1205 (bsolo_lpr) R 1204 32284 32283 0 -1 0 10773 0 0 0 118993 33 0 0 25 0 1 0 773337341 51945472 10697 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12682 10697 1111 63 0 12619 0
vsize: 50728
[startup+1200.2 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 1205
Raw data (stat): 1205 (bsolo_lpr) R 1204 32284 32283 0 -1 0 10841 0 0 0 119993 33 0 0 25 0 1 0 773337341 52224000 10765 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12750 10765 1111 63 0 12687 0
vsize: 51000
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.23 s]
Raw data (loadavg): 1.00 1.00 0.99 1/54 1205
Raw data (stat): 1205 (bsolo_lpr) Z 1204 32284 32283 0 -1 1036 10841 0 0 0 119993 35 0 0 25 0 1 0 773337341 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.23
CPU time (s): 1200.3
CPU user time (s): 1199.94
CPU system time (s): 0.359945
CPU usage (%): 100.006
Max. virtual memory (Kb): 51000
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####