PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/plato.asu.edu/pub/lptestset/fome/normalized-mps-v2-20-10-fome11.opb
MD5SUM	0bcc00bfe1019c444b568fb7268c455a
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	374066
Biggest coefficient in the objective function	2150851580428025856
Number of bits for the biggest coefficient in the objective function	61
Sum of the numbers in the objective function	1765505311698925125632
Number of bits of the sum of numbers in the objective function	71
Biggest number in a constraint	53687091200000000000
Number of bits of the biggest number in a constraint	66
Biggest sum of numbers in a constraint	4277072243466308681728
Number of bits of the biggest sum of numbers	72
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	6.86596
Number of variables	733406
Total number of constraints	12168
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	12168
Minimum length of a constraint	13
Maximum length of a constraint	6840
Trace number 28113

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc9 THE 2005-05-25 00:34:42 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=14379 boxname=wulflinc9 idbench=1107 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  0bcc00bfe1019c444b568fb7268c455a  /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-20-10-fome11.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-20-10-fome11.opb
IDLAUNCH: 14379
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
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.242
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:        624556 kB
Buffers:         17124 kB
Cached:         372220 kB
SwapCached:        364 kB
Active:         142568 kB
Inactive:       249300 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        624304 kB
SwapTotal:     2097136 kB
SwapFree:      2096368 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           6348 kB
Slab:            12624 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 00:54:47 (client local time) WITH STATUS 0 IN 1200.83 SECONDS
stats: 14379 7 1200.83 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.96 0.92 2/54 13875
Raw data (stat): 13875 (runsolver) R 13874 3944 3943 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 776375227 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0103 s]
Raw data (loadavg): 0.97 0.96 0.92 2/54 13875
Raw data (stat): 13875 (bsolo_lpr) R 13874 3944 3943 0 -1 0 2919 0 0 0 986 12 0 0 25 0 1 0 776375227 15212544 2843 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3714 2843 1111 63 0 3651 0
vsize: 14856
[startup+20.1825 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 13875
Raw data (stat): 13875 (bsolo_lpr) R 13874 3944 3943 0 -1 0 2942 0 0 0 2002 13 0 0 25 0 1 0 776375227 15364096 2866 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3751 2866 1111 63 0 3688 0
vsize: 15004
[startup+30.1823 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 13875
Raw data (stat): 13875 (bsolo_lpr) R 13874 3944 3943 0 -1 0 2964 0 0 0 3002 13 0 0 25 0 1 0 776375227 15364096 2888 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3751 2888 1111 63 0 3688 0
vsize: 15004
[startup+40.1821 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 13875
Raw data (stat): 13875 (bsolo_lpr) R 13874 3944 3943 0 -1 0 2992 0 0 0 4002 13 0 0 25 0 1 0 776375227 15511552 2916 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3787 2916 1111 63 0 3724 0
vsize: 15148
[startup+50.1828 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 13875
Raw data (stat): 13875 (bsolo_lpr) R 13874 3944 3943 0 -1 0 3015 0 0 0 5002 13 0 0 25 0 1 0 776375227 15663104 2939 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3824 2939 1111 63 0 3761 0
vsize: 15296
[startup+60.1892 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13875
Raw data (stat): 13875 (bsolo_lpr) R 13874 3944 3943 0 -1 0 3037 0 0 0 6003 13 0 0 25 0 1 0 776375227 15663104 2961 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3824 2961 1111 63 0 3761 0
vsize: 15296
[startup+70.1897 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13875
Raw data (stat): 13875 (bsolo_lpr) R 13874 3944 3943 0 -1 0 3065 0 0 0 7003 13 0 0 25 0 1 0 776375227 15810560 2989 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3860 2989 1111 63 0 3797 0
vsize: 15440
[startup+80.1978 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13875
Raw data (stat): 13875 (bsolo_lpr) R 13874 3944 3943 0 -1 0 3096 0 0 0 8004 13 0 0 25 0 1 0 776375227 15945728 3020 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3893 3020 1111 63 0 3830 0
vsize: 15572
[startup+90.1969 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13875
Raw data (stat): 13875 (bsolo_lpr) R 13874 3944 3943 0 -1 0 3118 0 0 0 9004 14 0 0 25 0 1 0 776375227 16089088 3042 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3928 3042 1111 63 0 3865 0
vsize: 15712
[startup+100.201 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13875
Raw data (stat): 13875 (bsolo_lpr) R 13874 3944 3943 0 -1 0 3140 0 0 0 10004 14 0 0 25 0 1 0 776375227 16089088 3064 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3928 3064 1111 63 0 3865 0
vsize: 15712
[startup+110.22 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13875
Raw data (stat): 13875 (bsolo_lpr) R 13874 3944 3943 0 -1 0 3161 0 0 0 11006 14 0 0 25 0 1 0 776375227 16236544 3085 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3964 3085 1111 63 0 3901 0
vsize: 15856
[startup+120.23 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13875
Raw data (stat): 13875 (bsolo_lpr) R 13874 3944 3943 0 -1 0 3184 0 0 0 12007 14 0 0 25 0 1 0 776375227 16236544 3108 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3964 3108 1111 63 0 3901 0
vsize: 15856
[startup+130.23 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13875
Raw data (stat): 13875 (bsolo_lpr) R 13874 3944 3943 0 -1 0 3213 0 0 0 13007 14 0 0 25 0 1 0 776375227 16388096 3137 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4001 3137 1111 63 0 3938 0
vsize: 16004
[startup+140.23 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13875
Raw data (stat): 13875 (bsolo_lpr) R 13874 3944 3943 0 -1 0 3235 0 0 0 14008 14 0 0 25 0 1 0 776375227 16535552 3159 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4037 3159 1111 63 0 3974 0
vsize: 16148
[startup+150.231 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13875
Raw data (stat): 13875 (bsolo_lpr) R 13874 3944 3943 0 -1 0 3258 0 0 0 15008 14 0 0 25 0 1 0 776375227 16535552 3182 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4037 3182 1111 63 0 3974 0
vsize: 16148
[startup+160.231 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13875
Raw data (stat): 13875 (bsolo_lpr) R 13874 3944 3943 0 -1 0 3286 0 0 0 16008 14 0 0 25 0 1 0 776375227 16687104 3210 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4074 3210 1111 63 0 4011 0
vsize: 16296
[startup+170.242 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13875
Raw data (stat): 13875 (bsolo_lpr) R 13874 3944 3943 0 -1 0 3316 0 0 0 17009 14 0 0 25 0 1 0 776375227 16838656 3240 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4111 3240 1111 63 0 4048 0
vsize: 16444
[startup+180.242 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13875
Raw data (stat): 13875 (bsolo_lpr) R 13874 3944 3943 0 -1 0 3339 0 0 0 18009 14 0 0 25 0 1 0 776375227 16990208 3263 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4148 3263 1111 63 0 4085 0
vsize: 16592
[startup+190.245 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13875
Raw data (stat): 13875 (bsolo_lpr) R 13874 3944 3943 0 -1 0 3361 0 0 0 19009 14 0 0 25 0 1 0 776375227 16990208 3285 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4148 3285 1111 63 0 4085 0
vsize: 16592
[startup+200.245 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13875
Raw data (stat): 13875 (bsolo_lpr) R 13874 3944 3943 0 -1 0 3382 0 0 0 20010 14 0 0 25 0 1 0 776375227 17137664 3306 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4184 3306 1111 63 0 4121 0
vsize: 16736
[startup+210.244 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13875
Raw data (stat): 13875 (bsolo_lpr) R 13874 3944 3943 0 -1 0 3408 0 0 0 21010 14 0 0 25 0 1 0 776375227 17272832 3332 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4217 3332 1111 63 0 4154 0
vsize: 16868
[startup+220.256 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13875
Raw data (stat): 13875 (bsolo_lpr) R 13874 3944 3943 0 -1 0 3436 0 0 0 22011 14 0 0 25 0 1 0 776375227 17272832 3360 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4217 3360 1111 63 0 4154 0
vsize: 16868
[startup+230.258 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13875
Raw data (stat): 13875 (bsolo_lpr) R 13874 3944 3943 0 -1 0 3459 0 0 0 23011 14 0 0 25 0 1 0 776375227 17420288 3383 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4253 3383 1111 63 0 4190 0
vsize: 17012
[startup+240.257 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13875
Raw data (stat): 13875 (bsolo_lpr) R 13874 3944 3943 0 -1 0 3481 0 0 0 24011 15 0 0 25 0 1 0 776375227 17567744 3405 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4289 3405 1111 63 0 4226 0
vsize: 17156
[startup+250.257 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13875
Raw data (stat): 13875 (bsolo_lpr) R 13874 3944 3943 0 -1 0 3509 0 0 0 25011 15 0 0 25 0 1 0 776375227 17567744 3433 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4289 3433 1111 63 0 4226 0
vsize: 17156
[startup+260.257 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13875
Raw data (stat): 13875 (bsolo_lpr) R 13874 3944 3943 0 -1 0 3539 0 0 0 26011 15 0 0 25 0 1 0 776375227 17702912 3463 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4322 3463 1111 63 0 4259 0
vsize: 17288
[startup+270.257 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13875
Raw data (stat): 13875 (bsolo_lpr) R 13874 3944 3943 0 -1 0 3562 0 0 0 27011 15 0 0 25 0 1 0 776375227 17846272 3486 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4357 3486 1111 63 0 4294 0
vsize: 17428
[startup+280.257 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13875
Raw data (stat): 13875 (bsolo_lpr) R 13874 3944 3943 0 -1 0 3584 0 0 0 28011 15 0 0 25 0 1 0 776375227 17993728 3508 4294967295 134512640 134714508 3221224592 3221222820 1077414347 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4393 3508 1111 63 0 4330 0
vsize: 17572
[startup+290.265 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13875
Raw data (stat): 13875 (bsolo_lpr) R 13874 3944 3943 0 -1 0 3613 0 0 0 29012 15 0 0 25 0 1 0 776375227 17993728 3537 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4393 3537 1111 63 0 4330 0
vsize: 17572
[startup+300.265 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13875
Raw data (stat): 13875 (bsolo_lpr) R 13874 3944 3943 0 -1 0 3635 0 0 0 30012 15 0 0 25 0 1 0 776375227 18145280 3559 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4430 3559 1111 63 0 4367 0
vsize: 17720
[startup+310.265 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13875
Raw data (stat): 13875 (bsolo_lpr) R 13874 3944 3943 0 -1 0 3658 0 0 0 31013 15 0 0 25 0 1 0 776375227 18292736 3582 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4466 3582 1111 63 0 4403 0
vsize: 17864
[startup+320.265 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13875
Raw data (stat): 13875 (bsolo_lpr) R 13874 3944 3943 0 -1 0 3686 0 0 0 32013 15 0 0 25 0 1 0 776375227 18292736 3610 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4466 3610 1111 63 0 4403 0
vsize: 17864
[startup+330.266 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13875
Raw data (stat): 13875 (bsolo_lpr) R 13874 3944 3943 0 -1 0 3714 0 0 0 33013 15 0 0 25 0 1 0 776375227 18444288 3638 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4503 3638 1111 63 0 4440 0
vsize: 18012
[startup+340.27 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13875
Raw data (stat): 13875 (bsolo_lpr) R 13874 3944 3943 0 -1 0 3732 0 0 0 34014 15 0 0 25 0 1 0 776375227 18591744 3656 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4539 3656 1111 63 0 4476 0
vsize: 18156
[startup+350.271 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13875
Raw data (stat): 13875 (bsolo_lpr) R 13874 3944 3943 0 -1 0 3760 0 0 0 35013 16 0 0 25 0 1 0 776375227 18591744 3684 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4539 3684 1111 63 0 4476 0
vsize: 18156
[startup+360.271 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13875
Raw data (stat): 13875 (bsolo_lpr) R 13874 3944 3943 0 -1 0 3776 0 0 0 36014 16 0 0 25 0 1 0 776375227 18747392 3700 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4577 3700 1111 63 0 4514 0
vsize: 18308
[startup+370.271 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13875
Raw data (stat): 13875 (bsolo_lpr) R 13874 3944 3943 0 -1 0 3805 0 0 0 37014 16 0 0 25 0 1 0 776375227 18894848 3729 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4613 3729 1111 63 0 4550 0
vsize: 18452
[startup+380.272 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13875
Raw data (stat): 13875 (bsolo_lpr) R 13874 3944 3943 0 -1 0 3833 0 0 0 38014 16 0 0 25 0 1 0 776375227 18894848 3757 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4613 3757 1111 63 0 4550 0
vsize: 18452
[startup+390.271 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13875
Raw data (stat): 13875 (bsolo_lpr) R 13874 3944 3943 0 -1 0 3855 0 0 0 39014 16 0 0 25 0 1 0 776375227 19046400 3779 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4650 3779 1111 63 0 4587 0
vsize: 18600
[startup+400.274 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13875
Raw data (stat): 13875 (bsolo_lpr) R 13874 3944 3943 0 -1 0 3884 0 0 0 40015 16 0 0 25 0 1 0 776375227 19193856 3808 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4686 3808 1111 63 0 4623 0
vsize: 18744
[startup+410.281 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13875
Raw data (stat): 13875 (bsolo_lpr) R 13874 3944 3943 0 -1 0 3904 0 0 0 41015 16 0 0 25 0 1 0 776375227 19193856 3828 4294967295 134512640 134714508 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4686 3828 1111 63 0 4623 0
vsize: 18744
[startup+420.281 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13875
Raw data (stat): 13875 (bsolo_lpr) R 13874 3944 3943 0 -1 0 3933 0 0 0 42015 16 0 0 25 0 1 0 776375227 19341312 3857 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4722 3857 1111 63 0 4659 0
vsize: 18888
[startup+430.282 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13875
Raw data (stat): 13875 (bsolo_lpr) R 13874 3944 3943 0 -1 0 3956 0 0 0 43016 16 0 0 25 0 1 0 776375227 19488768 3880 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4758 3880 1111 63 0 4695 0
vsize: 19032
[startup+440.383 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13875
Raw data (stat): 13875 (bsolo_lpr) R 13874 3944 3943 0 -1 0 3986 0 0 0 44026 16 0 0 25 0 1 0 776375227 19644416 3910 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4796 3910 1111 63 0 4733 0
vsize: 19184
[startup+450.384 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13875
Raw data (stat): 13875 (bsolo_lpr) R 13874 3944 3943 0 -1 0 4014 0 0 0 45026 16 0 0 25 0 1 0 776375227 19644416 3938 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4796 3938 1111 63 0 4733 0
vsize: 19184
[startup+460.486 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13875
Raw data (stat): 13875 (bsolo_lpr) R 13874 3944 3943 0 -1 0 4037 0 0 0 46036 16 0 0 25 0 1 0 776375227 19795968 3961 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4833 3961 1111 63 0 4770 0
vsize: 19332
[startup+470.486 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13875
Raw data (stat): 13875 (bsolo_lpr) R 13874 3944 3943 0 -1 0 4061 0 0 0 47036 16 0 0 25 0 1 0 776375227 19943424 3985 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4869 3985 1111 63 0 4806 0
vsize: 19476
[startup+480.486 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13875
Raw data (stat): 13875 (bsolo_lpr) R 13874 3944 3943 0 -1 0 4089 0 0 0 48037 16 0 0 25 0 1 0 776375227 19943424 4013 4294967295 134512640 134714508 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4869 4013 1111 63 0 4806 0
vsize: 19476
[startup+490.486 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13875
Raw data (stat): 13875 (bsolo_lpr) R 13874 3944 3943 0 -1 0 4118 0 0 0 49037 16 0 0 25 0 1 0 776375227 20094976 4042 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4906 4042 1111 63 0 4843 0
vsize: 19624
[startup+500.49 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13875
Raw data (stat): 13875 (bsolo_lpr) R 13874 3944 3943 0 -1 0 4140 0 0 0 50037 16 0 0 25 0 1 0 776375227 20242432 4064 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4942 4064 1111 63 0 4879 0
vsize: 19768
[startup+510.489 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13875
Raw data (stat): 13875 (bsolo_lpr) R 13874 3944 3943 0 -1 0 4163 0 0 0 51037 16 0 0 25 0 1 0 776375227 20242432 4087 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4942 4087 1111 63 0 4879 0
vsize: 19768
[startup+520.49 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13875
Raw data (stat): 13875 (bsolo_lpr) R 13874 3944 3943 0 -1 0 4192 0 0 0 52037 16 0 0 25 0 1 0 776375227 20393984 4116 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4979 4116 1111 63 0 4916 0
vsize: 19916
[startup+530.491 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13875
Raw data (stat): 13875 (bsolo_lpr) R 13874 3944 3943 0 -1 0 4207 0 0 0 53038 16 0 0 25 0 1 0 776375227 20545536 4131 4294967295 134512640 134714508 3221224592 3221222820 1077414374 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5016 4131 1111 63 0 4953 0
vsize: 20064
[startup+540.491 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13875
Raw data (stat): 13875 (bsolo_lpr) R 13874 3944 3943 0 -1 0 4229 0 0 0 54038 16 0 0 25 0 1 0 776375227 20545536 4153 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5016 4153 1111 63 0 4953 0
vsize: 20064
[startup+550.498 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13875
Raw data (stat): 13875 (bsolo_lpr) R 13874 3944 3943 0 -1 0 4252 0 0 0 55039 17 0 0 25 0 1 0 776375227 20697088 4176 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5053 4176 1111 63 0 4990 0
vsize: 20212
[startup+560.498 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13875
Raw data (stat): 13875 (bsolo_lpr) R 13874 3944 3943 0 -1 0 4281 0 0 0 56039 17 0 0 25 0 1 0 776375227 20844544 4205 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5089 4205 1111 63 0 5026 0
vsize: 20356
[startup+570.497 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13875
Raw data (stat): 13875 (bsolo_lpr) R 13874 3944 3943 0 -1 0 4303 0 0 0 57039 17 0 0 25 0 1 0 776375227 20844544 4227 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5089 4227 1111 63 0 5026 0
vsize: 20356
[startup+580.497 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13875
Raw data (stat): 13875 (bsolo_lpr) R 13874 3944 3943 0 -1 0 4325 0 0 0 58039 17 0 0 25 0 1 0 776375227 20996096 4249 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5126 4249 1111 63 0 5063 0
vsize: 20504
[startup+590.497 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13875
Raw data (stat): 13875 (bsolo_lpr) R 13874 3944 3943 0 -1 0 4353 0 0 0 59039 17 0 0 25 0 1 0 776375227 21143552 4277 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5162 4277 1111 63 0 5099 0
vsize: 20648
[startup+600.497 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13875
Raw data (stat): 13875 (bsolo_lpr) R 13874 3944 3943 0 -1 0 4369 0 0 0 60039 17 0 0 25 0 1 0 776375227 21143552 4293 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5162 4293 1111 63 0 5099 0
vsize: 20648
[startup+610.505 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13875
Raw data (stat): 13875 (bsolo_lpr) R 13874 3944 3943 0 -1 0 4397 0 0 0 61040 17 0 0 25 0 1 0 776375227 21295104 4321 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5199 4321 1111 63 0 5136 0
vsize: 20796
[startup+620.505 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13875
Raw data (stat): 13875 (bsolo_lpr) R 13874 3944 3943 0 -1 0 4427 0 0 0 62040 17 0 0 25 0 1 0 776375227 21450752 4351 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5237 4351 1111 63 0 5174 0
vsize: 20948
[startup+630.506 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13875
Raw data (stat): 13875 (bsolo_lpr) R 13874 3944 3943 0 -1 0 4450 0 0 0 63041 17 0 0 25 0 1 0 776375227 21450752 4374 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5237 4374 1111 63 0 5174 0
vsize: 20948
[startup+640.513 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13875
Raw data (stat): 13875 (bsolo_lpr) R 13874 3944 3943 0 -1 0 4472 0 0 0 64041 17 0 0 25 0 1 0 776375227 21602304 4396 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5274 4396 1111 63 0 5211 0
vsize: 21096
[startup+650.514 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13875
Raw data (stat): 13875 (bsolo_lpr) R 13874 3944 3943 0 -1 0 4501 0 0 0 65042 17 0 0 25 0 1 0 776375227 21749760 4425 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5310 4425 1111 63 0 5247 0
vsize: 21240
[startup+660.514 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13875
Raw data (stat): 13875 (bsolo_lpr) R 13874 3944 3943 0 -1 0 4529 0 0 0 66042 17 0 0 25 0 1 0 776375227 21749760 4453 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5310 4453 1111 63 0 5247 0
vsize: 21240
[startup+670.514 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13875
Raw data (stat): 13875 (bsolo_lpr) R 13874 3944 3943 0 -1 0 4552 0 0 0 67042 17 0 0 25 0 1 0 776375227 21901312 4476 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5347 4476 1111 63 0 5284 0
vsize: 21388
[startup+680.515 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13875
Raw data (stat): 13875 (bsolo_lpr) R 13874 3944 3943 0 -1 0 4574 0 0 0 68042 17 0 0 25 0 1 0 776375227 22048768 4498 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5383 4498 1111 63 0 5320 0
vsize: 21532
[startup+690.514 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13875
Raw data (stat): 13875 (bsolo_lpr) R 13874 3944 3943 0 -1 0 4603 0 0 0 69042 17 0 0 25 0 1 0 776375227 22048768 4527 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5383 4527 1111 63 0 5320 0
vsize: 21532
[startup+700.514 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13875
Raw data (stat): 13875 (bsolo_lpr) R 13874 3944 3943 0 -1 0 4633 0 0 0 70042 17 0 0 25 0 1 0 776375227 22200320 4557 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5420 4557 1111 63 0 5357 0
vsize: 21680
[startup+710.52 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13875
Raw data (stat): 13875 (bsolo_lpr) R 13874 3944 3943 0 -1 0 4656 0 0 0 71043 17 0 0 25 0 1 0 776375227 22351872 4580 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5457 4580 1111 63 0 5394 0
vsize: 21828
[startup+720.519 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13875
Raw data (stat): 13875 (bsolo_lpr) R 13874 3944 3943 0 -1 0 4678 0 0 0 72043 17 0 0 25 0 1 0 776375227 22351872 4602 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5457 4602 1111 63 0 5394 0
vsize: 21828
[startup+730.519 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13875
Raw data (stat): 13875 (bsolo_lpr) R 13874 3944 3943 0 -1 0 4706 0 0 0 73043 17 0 0 25 0 1 0 776375227 22503424 4630 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5494 4630 1111 63 0 5431 0
vsize: 21976
[startup+740.519 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13875
Raw data (stat): 13875 (bsolo_lpr) R 13874 3944 3943 0 -1 0 4729 0 0 0 74043 17 0 0 25 0 1 0 776375227 22650880 4653 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5530 4653 1111 63 0 5467 0
vsize: 22120
[startup+750.519 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13875
Raw data (stat): 13875 (bsolo_lpr) R 13874 3944 3943 0 -1 0 4751 0 0 0 75043 17 0 0 25 0 1 0 776375227 22650880 4675 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5530 4675 1111 63 0 5467 0
vsize: 22120
[startup+760.519 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13875
Raw data (stat): 13875 (bsolo_lpr) R 13874 3944 3943 0 -1 0 4780 0 0 0 76044 17 0 0 25 0 1 0 776375227 22802432 4704 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5567 4704 1111 63 0 5504 0
vsize: 22268
[startup+770.519 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13875
Raw data (stat): 13875 (bsolo_lpr) R 13874 3944 3943 0 -1 0 4808 0 0 0 77044 17 0 0 25 0 1 0 776375227 22949888 4732 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5603 4732 1111 63 0 5540 0
vsize: 22412
[startup+780.519 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13875
Raw data (stat): 13875 (bsolo_lpr) R 13874 3944 3943 0 -1 0 4831 0 0 0 78044 18 0 0 25 0 1 0 776375227 23101440 4755 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5640 4755 1111 63 0 5577 0
vsize: 22560
[startup+790.519 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13875
Raw data (stat): 13875 (bsolo_lpr) R 13874 3944 3943 0 -1 0 4855 0 0 0 79044 18 0 0 25 0 1 0 776375227 23101440 4779 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5640 4779 1111 63 0 5577 0
vsize: 22560
[startup+800.52 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13875
Raw data (stat): 13875 (bsolo_lpr) R 13874 3944 3943 0 -1 0 4890 0 0 0 80044 18 0 0 25 0 1 0 776375227 23265280 4814 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5680 4814 1111 63 0 5617 0
vsize: 22720
[startup+810.521 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13875
Raw data (stat): 13875 (bsolo_lpr) R 13874 3944 3943 0 -1 0 4919 0 0 0 81044 18 0 0 25 0 1 0 776375227 23400448 4843 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5713 4843 1111 63 0 5650 0
vsize: 22852
[startup+820.52 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13875
Raw data (stat): 13875 (bsolo_lpr) R 13874 3944 3943 0 -1 0 4941 0 0 0 82044 18 0 0 25 0 1 0 776375227 23543808 4865 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5748 4865 1111 63 0 5685 0
vsize: 22992
[startup+830.521 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13875
Raw data (stat): 13875 (bsolo_lpr) R 13874 3944 3943 0 -1 0 4963 0 0 0 83044 18 0 0 25 0 1 0 776375227 23543808 4887 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5748 4887 1111 63 0 5685 0
vsize: 22992
[startup+840.521 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13875
Raw data (stat): 13875 (bsolo_lpr) R 13874 3944 3943 0 -1 0 4992 0 0 0 84045 18 0 0 25 0 1 0 776375227 23695360 4916 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5785 4916 1111 63 0 5722 0
vsize: 23140
[startup+850.521 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13875
Raw data (stat): 13875 (bsolo_lpr) R 13874 3944 3943 0 -1 0 5014 0 0 0 85045 18 0 0 25 0 1 0 776375227 23842816 4938 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5821 4938 1111 63 0 5758 0
vsize: 23284
[startup+860.521 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13875
Raw data (stat): 13875 (bsolo_lpr) R 13874 3944 3943 0 -1 0 5037 0 0 0 86045 18 0 0 25 0 1 0 776375227 23842816 4961 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5821 4961 1111 63 0 5758 0
vsize: 23284
[startup+870.52 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13875
Raw data (stat): 13875 (bsolo_lpr) R 13874 3944 3943 0 -1 0 5065 0 0 0 87045 18 0 0 25 0 1 0 776375227 23994368 4989 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5858 4989 1111 63 0 5795 0
vsize: 23432
[startup+880.52 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13875
Raw data (stat): 13875 (bsolo_lpr) R 13874 3944 3943 0 -1 0 5089 0 0 0 88045 18 0 0 25 0 1 0 776375227 24145920 5013 4294967295 134512640 134714508 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5895 5013 1111 63 0 5832 0
vsize: 23580
[startup+890.52 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13875
Raw data (stat): 13875 (bsolo_lpr) R 13874 3944 3943 0 -1 0 5111 0 0 0 89045 18 0 0 25 0 1 0 776375227 24145920 5035 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5895 5035 1111 63 0 5832 0
vsize: 23580
[startup+900.521 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13875
Raw data (stat): 13875 (bsolo_lpr) R 13874 3944 3943 0 -1 0 5140 0 0 0 90045 18 0 0 25 0 1 0 776375227 24297472 5064 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5932 5064 1111 63 0 5869 0
vsize: 23728
[startup+910.521 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13875
Raw data (stat): 13875 (bsolo_lpr) R 13874 3944 3943 0 -1 0 5155 0 0 0 91045 18 0 0 25 0 1 0 776375227 24444928 5079 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5968 5079 1111 63 0 5905 0
vsize: 23872
[startup+920.521 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13875
Raw data (stat): 13875 (bsolo_lpr) R 13874 3944 3943 0 -1 0 5183 0 0 0 92046 18 0 0 25 0 1 0 776375227 24444928 5107 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5968 5107 1111 63 0 5905 0
vsize: 23872
[startup+930.521 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13875
Raw data (stat): 13875 (bsolo_lpr) R 13874 3944 3943 0 -1 0 5206 0 0 0 93046 18 0 0 25 0 1 0 776375227 24596480 5130 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6005 5130 1111 63 0 5942 0
vsize: 24020
[startup+940.521 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13875
Raw data (stat): 13875 (bsolo_lpr) R 13874 3944 3943 0 -1 0 5234 0 0 0 94046 18 0 0 25 0 1 0 776375227 24743936 5158 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6041 5158 1111 63 0 5978 0
vsize: 24164
[startup+950.522 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13875
Raw data (stat): 13875 (bsolo_lpr) R 13874 3944 3943 0 -1 0 5257 0 0 0 95046 18 0 0 25 0 1 0 776375227 24743936 5181 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6041 5181 1111 63 0 5978 0
vsize: 24164
[startup+960.522 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13875
Raw data (stat): 13875 (bsolo_lpr) R 13874 3944 3943 0 -1 0 5286 0 0 0 96046 19 0 0 25 0 1 0 776375227 24895488 5210 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6078 5210 1111 63 0 6015 0
vsize: 24312
[startup+970.624 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13875
Raw data (stat): 13875 (bsolo_lpr) R 13874 3944 3943 0 -1 0 5310 0 0 0 97056 19 0 0 25 0 1 0 776375227 25051136 5234 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6116 5234 1111 63 0 6053 0
vsize: 24464
[startup+980.625 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13875
Raw data (stat): 13875 (bsolo_lpr) R 13874 3944 3943 0 -1 0 5333 0 0 0 98056 19 0 0 25 0 1 0 776375227 25051136 5257 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6116 5257 1111 63 0 6053 0
vsize: 24464
[startup+990.625 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13875
Raw data (stat): 13875 (bsolo_lpr) R 13874 3944 3943 0 -1 0 5362 0 0 0 99056 19 0 0 25 0 1 0 776375227 25202688 5286 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6153 5286 1111 63 0 6090 0
vsize: 24612
[startup+1000.63 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13875
Raw data (stat): 13875 (bsolo_lpr) R 13874 3944 3943 0 -1 0 5391 0 0 0 100057 19 0 0 25 0 1 0 776375227 25350144 5315 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6189 5315 1111 63 0 6126 0
vsize: 24756
[startup+1010.63 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13875
Raw data (stat): 13875 (bsolo_lpr) R 13874 3944 3943 0 -1 0 5406 0 0 0 101057 19 0 0 25 0 1 0 776375227 25350144 5330 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6189 5330 1111 63 0 6126 0
vsize: 24756
[startup+1020.62 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13875
Raw data (stat): 13875 (bsolo_lpr) R 13874 3944 3943 0 -1 0 5435 0 0 0 102057 19 0 0 25 0 1 0 776375227 25501696 5359 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6226 5359 1111 63 0 6163 0
vsize: 24904
[startup+1030.63 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13875
Raw data (stat): 13875 (bsolo_lpr) R 13874 3944 3943 0 -1 0 5457 0 0 0 103057 19 0 0 25 0 1 0 776375227 25649152 5381 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6262 5381 1111 63 0 6199 0
vsize: 25048
[startup+1040.63 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13875
Raw data (stat): 13875 (bsolo_lpr) R 13874 3944 3943 0 -1 0 5479 0 0 0 104057 19 0 0 25 0 1 0 776375227 25649152 5403 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6262 5403 1111 63 0 6199 0
vsize: 25048
[startup+1050.63 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13875
Raw data (stat): 13875 (bsolo_lpr) R 13874 3944 3943 0 -1 0 5508 0 0 0 105057 19 0 0 25 0 1 0 776375227 25800704 5432 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6299 5432 1111 63 0 6236 0
vsize: 25196
[startup+1060.63 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13875
Raw data (stat): 13875 (bsolo_lpr) R 13874 3944 3943 0 -1 0 5532 0 0 0 106057 19 0 0 25 0 1 0 776375227 25952256 5456 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6336 5456 1111 63 0 6273 0
vsize: 25344
[startup+1070.63 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13875
Raw data (stat): 13875 (bsolo_lpr) R 13874 3944 3943 0 -1 0 5554 0 0 0 107058 19 0 0 25 0 1 0 776375227 25952256 5478 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6336 5478 1111 63 0 6273 0
vsize: 25344
[startup+1080.63 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13875
Raw data (stat): 13875 (bsolo_lpr) R 13874 3944 3943 0 -1 0 5583 0 0 0 108058 19 0 0 25 0 1 0 776375227 26103808 5507 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6373 5507 1111 63 0 6310 0
vsize: 25492
[startup+1090.63 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13875
Raw data (stat): 13875 (bsolo_lpr) R 13874 3944 3943 0 -1 0 5611 0 0 0 109058 20 0 0 25 0 1 0 776375227 26251264 5535 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6409 5535 1111 63 0 6346 0
vsize: 25636
[startup+1100.63 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13875
Raw data (stat): 13875 (bsolo_lpr) R 13874 3944 3943 0 -1 0 5634 0 0 0 110058 20 0 0 25 0 1 0 776375227 26402816 5558 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6446 5558 1111 63 0 6383 0
vsize: 25784
[startup+1110.63 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13875
Raw data (stat): 13875 (bsolo_lpr) R 13874 3944 3943 0 -1 0 5656 0 0 0 111058 20 0 0 25 0 1 0 776375227 26402816 5580 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6446 5580 1111 63 0 6383 0
vsize: 25784
[startup+1120.63 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13875
Raw data (stat): 13875 (bsolo_lpr) R 13874 3944 3943 0 -1 0 5685 0 0 0 112058 20 0 0 25 0 1 0 776375227 26550272 5609 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6482 5609 1111 63 0 6419 0
vsize: 25928
[startup+1130.63 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13875
Raw data (stat): 13875 (bsolo_lpr) R 13874 3944 3943 0 -1 0 5714 0 0 0 113059 20 0 0 25 0 1 0 776375227 26701824 5638 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6519 5638 1111 63 0 6456 0
vsize: 26076
[startup+1140.63 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13875
Raw data (stat): 13875 (bsolo_lpr) R 13874 3944 3943 0 -1 0 5736 0 0 0 114059 20 0 0 25 0 1 0 776375227 26701824 5660 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6519 5660 1111 63 0 6456 0
vsize: 26076
[startup+1150.63 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13875
Raw data (stat): 13875 (bsolo_lpr) R 13874 3944 3943 0 -1 0 5760 0 0 0 115059 20 0 0 25 0 1 0 776375227 26849280 5684 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6555 5684 1111 63 0 6492 0
vsize: 26220
[startup+1160.63 s]
Raw data (loadavg): 1.07 0.99 0.93 2/54 13875
Raw data (stat): 13875 (bsolo_lpr) R 13874 3944 3943 0 -1 0 5789 0 0 0 116059 20 0 0 25 0 1 0 776375227 26984448 5713 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6588 5713 1111 63 0 6525 0
vsize: 26352
[startup+1170.63 s]
Raw data (loadavg): 1.06 0.99 0.93 2/54 13875
Raw data (stat): 13875 (bsolo_lpr) R 13874 3944 3943 0 -1 0 5811 0 0 0 117059 20 0 0 25 0 1 0 776375227 27127808 5735 4294967295 134512640 134714508 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6623 5735 1111 63 0 6560 0
vsize: 26492
[startup+1180.64 s]
Raw data (loadavg): 1.05 0.99 0.93 2/54 13875
Raw data (stat): 13875 (bsolo_lpr) R 13874 3944 3943 0 -1 0 5834 0 0 0 118060 20 0 0 25 0 1 0 776375227 27127808 5758 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6623 5758 1111 63 0 6560 0
vsize: 26492
[startup+1190.64 s]
Raw data (loadavg): 1.04 0.99 0.93 2/54 13875
Raw data (stat): 13875 (bsolo_lpr) R 13874 3944 3943 0 -1 0 5863 0 0 0 119061 20 0 0 25 0 1 0 776375227 27275264 5787 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6659 5787 1111 63 0 6596 0
vsize: 26636
[startup+1200.64 s]
Raw data (loadavg): 1.03 0.99 0.93 2/54 13875
Raw data (stat): 13875 (bsolo_lpr) R 13874 3944 3943 0 -1 0 5885 0 0 0 120061 20 0 0 25 0 1 0 776375227 27426816 5809 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6696 5809 1111 63 0 6633 0
vsize: 26784
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.65 s]
Raw data (loadavg): 1.03 0.99 0.93 1/54 13875
Raw data (stat): 13875 (bsolo_lpr) Z 13874 3944 3943 0 -1 1036 5885 0 0 0 120061 21 0 0 25 0 1 0 776375227 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 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.65
CPU time (s): 1200.83
CPU user time (s): 1200.61
CPU system time (s): 0.212967
CPU usage (%): 100.014
Max. virtual memory (Kb): 26784
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####