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-momentum3.opb
MD5SUM	fd20bcfe4a71405dc1e0ef3cb894b630
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	87370
Biggest coefficient in the objective function	1310720000
Number of bits for the biggest coefficient in the objective function	31
Sum of the numbers in the objective function	13573186735
Number of bits of the sum of numbers in the objective function	34
Biggest number in a constraint	10240000000000000927712935936
Number of bits of the biggest number in a constraint	94
Biggest sum of numbers in a constraint	29801266744107043904416645120
Number of bits of the biggest sum of numbers	95
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.893863
Number of variables	93400
Total number of constraints	70153
Number of constraints which are clauses	6081
Number of constraints which are cardinality constraints (but not clauses)	7185
Number of constraints which are nor clauses,nor cardinality constraints	56887
Minimum length of a constraint	1
Maximum length of a constraint	1018
Trace number 26566

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc21 THE 2005-05-24 16:10:10 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=12767 boxname=wulflinc21 idbench=983 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  fd20bcfe4a71405dc1e0ef3cb894b630  /oldhome/oroussel/tmp/wulflinc21/normalized-mps-v2-20-10-momentum3.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc21/normalized-mps-v2-20-10-momentum3.opb
IDLAUNCH: 12767
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.161
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	: 3
cpu MHz		: 451.161
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:        311272 kB
Buffers:         22076 kB
Cached:         679672 kB
SwapCached:       1168 kB
Active:         329068 kB
Inactive:       375424 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        311020 kB
SwapTotal:     2097892 kB
SwapFree:      2096256 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5644 kB
Slab:            13220 kB
Committed_AS:    63912 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 16:30:19 (client local time) WITH STATUS 0 IN 1200.32 SECONDS
stats: 12767 7 1200.32 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): 1.00 1.00 0.99 2/55 1013
Raw data (stat): 1013 (runsolver) R 1012 32363 32362 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 708835769 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 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 1013
Raw data (stat): 1013 (bsolo_lpr) R 1012 32363 32362 0 -1 0 1217 0 0 0 994 4 0 0 25 0 1 0 708835769 16711680 1141 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4080 1141 1111 63 0 4017 0
vsize: 16320
[startup+20.0003 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 1013
Raw data (stat): 1013 (bsolo_lpr) R 1012 32363 32362 0 -1 0 1616 0 0 0 1994 4 0 0 25 0 1 0 708835769 18345984 1540 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4479 1540 1111 63 0 4416 0
vsize: 17916
[startup+29.9999 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 1013
Raw data (stat): 1013 (bsolo_lpr) R 1012 32363 32362 0 -1 0 2025 0 0 0 2993 5 0 0 25 0 1 0 708835769 19992576 1949 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4881 1949 1111 63 0 4818 0
vsize: 19524
[startup+40.0006 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 1013
Raw data (stat): 1013 (bsolo_lpr) R 1012 32363 32362 0 -1 0 2430 0 0 0 3992 6 0 0 25 0 1 0 708835769 21762048 2354 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5313 2354 1111 63 0 5250 0
vsize: 21252
[startup+50.0013 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 1013
Raw data (stat): 1013 (bsolo_lpr) R 1012 32363 32362 0 -1 0 2841 0 0 0 4991 7 0 0 25 0 1 0 708835769 23392256 2765 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5711 2765 1111 63 0 5648 0
vsize: 22844
[startup+60.001 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 1013
Raw data (stat): 1013 (bsolo_lpr) R 1012 32363 32362 0 -1 0 3247 0 0 0 5990 8 0 0 25 0 1 0 708835769 25026560 3171 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6110 3171 1111 63 0 6047 0
vsize: 24440
[startup+70.0011 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 1013
Raw data (stat): 1013 (bsolo_lpr) R 1012 32363 32362 0 -1 0 3709 0 0 0 6989 9 0 0 25 0 1 0 708835769 26976256 3633 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6586 3633 1111 63 0 6523 0
vsize: 26344
[startup+80.0014 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 1013
Raw data (stat): 1013 (bsolo_lpr) R 1012 32363 32362 0 -1 0 4252 0 0 0 7988 10 0 0 25 0 1 0 708835769 29147136 4176 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7116 4176 1111 63 0 7053 0
vsize: 28464
[startup+90.0011 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 1013
Raw data (stat): 1013 (bsolo_lpr) R 1012 32363 32362 0 -1 0 4767 0 0 0 8987 11 0 0 25 0 1 0 708835769 31272960 4691 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7635 4691 1111 63 0 7572 0
vsize: 30540
[startup+100.001 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 1013
Raw data (stat): 1013 (bsolo_lpr) R 1012 32363 32362 0 -1 0 5275 0 0 0 9985 14 0 0 25 0 1 0 708835769 33406976 5199 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8156 5199 1111 63 0 8093 0
vsize: 32624
[startup+110 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 1013
Raw data (stat): 1013 (bsolo_lpr) R 1012 32363 32362 0 -1 0 5772 0 0 0 10984 15 0 0 25 0 1 0 708835769 35409920 5696 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8645 5696 1111 63 0 8582 0
vsize: 34580
[startup+120.001 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 1013
Raw data (stat): 1013 (bsolo_lpr) R 1012 32363 32362 0 -1 0 6283 0 0 0 11983 16 0 0 25 0 1 0 708835769 37548032 6207 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9167 6207 1111 63 0 9104 0
vsize: 36668
[startup+130.001 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 1013
Raw data (stat): 1013 (bsolo_lpr) R 1012 32363 32362 0 -1 0 6791 0 0 0 12982 18 0 0 25 0 1 0 708835769 39526400 6715 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9650 6715 1111 63 0 9587 0
vsize: 38600
[startup+140 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 1013
Raw data (stat): 1013 (bsolo_lpr) R 1012 32363 32362 0 -1 0 7301 0 0 0 13981 19 0 0 25 0 1 0 708835769 41664512 7225 4294967295 134512640 134714508 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10172 7225 1111 63 0 10109 0
vsize: 40688
[startup+150.001 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 1013
Raw data (stat): 1013 (bsolo_lpr) R 1012 32363 32362 0 -1 0 7810 0 0 0 14980 20 0 0 25 0 1 0 708835769 43798528 7734 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10693 7734 1111 63 0 10630 0
vsize: 42772
[startup+160.001 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 1013
Raw data (stat): 1013 (bsolo_lpr) R 1012 32363 32362 0 -1 0 8325 0 0 0 15979 21 0 0 25 0 1 0 708835769 45801472 8249 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11182 8249 1111 63 0 11119 0
vsize: 44728
[startup+170.001 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 1013
Raw data (stat): 1013 (bsolo_lpr) R 1012 32363 32362 0 -1 0 8840 0 0 0 16978 22 0 0 25 0 1 0 708835769 47939584 8764 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11704 8764 1111 63 0 11641 0
vsize: 46816
[startup+180 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 1013
Raw data (stat): 1013 (bsolo_lpr) R 1012 32363 32362 0 -1 0 9365 0 0 0 17977 23 0 0 25 0 1 0 708835769 50221056 9289 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12261 9289 1111 63 0 12198 0
vsize: 49044
[startup+190 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 1013
Raw data (stat): 1013 (bsolo_lpr) R 1012 32363 32362 0 -1 0 9880 0 0 0 18976 24 0 0 25 0 1 0 708835769 52224000 9804 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12750 9804 1111 63 0 12687 0
vsize: 51000
[startup+200.001 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 1013
Raw data (stat): 1013 (bsolo_lpr) R 1012 32363 32362 0 -1 0 10405 0 0 0 19976 24 0 0 25 0 1 0 708835769 54358016 10329 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13271 10329 1111 63 0 13208 0
vsize: 53084
[startup+210 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 1013
Raw data (stat): 1013 (bsolo_lpr) R 1012 32363 32362 0 -1 0 10926 0 0 0 20975 26 0 0 25 0 1 0 708835769 56496128 10850 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13793 10850 1111 63 0 13730 0
vsize: 55172
[startup+220.001 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 1013
Raw data (stat): 1013 (bsolo_lpr) R 1012 32363 32362 0 -1 0 11449 0 0 0 21974 27 0 0 25 0 1 0 708835769 58634240 11373 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14315 11373 1111 63 0 14252 0
vsize: 57260
[startup+230.001 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 1013
Raw data (stat): 1013 (bsolo_lpr) R 1012 32363 32362 0 -1 0 11970 0 0 0 22972 29 0 0 25 0 1 0 708835769 60768256 11894 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14836 11894 1111 63 0 14773 0
vsize: 59344
[startup+240 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 1013
Raw data (stat): 1013 (bsolo_lpr) R 1012 32363 32362 0 -1 0 12495 0 0 0 23971 30 0 0 25 0 1 0 708835769 62902272 12419 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15357 12419 1111 63 0 15294 0
vsize: 61428
[startup+250 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 1013
Raw data (stat): 1013 (bsolo_lpr) R 1012 32363 32362 0 -1 0 13023 0 0 0 24971 31 0 0 25 0 1 0 708835769 65179648 12947 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15913 12947 1111 63 0 15850 0
vsize: 63652
[startup+260.001 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 1013
Raw data (stat): 1013 (bsolo_lpr) R 1012 32363 32362 0 -1 0 13552 0 0 0 25970 31 0 0 25 0 1 0 708835769 67313664 13476 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16434 13476 1111 63 0 16371 0
vsize: 65736
[startup+270 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 1013
Raw data (stat): 1013 (bsolo_lpr) R 1012 32363 32362 0 -1 0 14086 0 0 0 26969 32 0 0 25 0 1 0 708835769 69447680 14010 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16955 14010 1111 63 0 16892 0
vsize: 67820
[startup+280 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 1013
Raw data (stat): 1013 (bsolo_lpr) R 1012 32363 32362 0 -1 0 14624 0 0 0 27968 34 0 0 25 0 1 0 708835769 71589888 14548 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17478 14548 1111 63 0 17415 0
vsize: 69912
[startup+290 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 1013
Raw data (stat): 1013 (bsolo_lpr) R 1012 32363 32362 0 -1 0 15158 0 0 0 28967 35 0 0 25 0 1 0 708835769 73859072 15082 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18032 15082 1111 63 0 17969 0
vsize: 72128
[startup+299.999 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 1013
Raw data (stat): 1013 (bsolo_lpr) R 1012 32363 32362 0 -1 0 15695 0 0 0 29965 36 0 0 25 0 1 0 708835769 75993088 15619 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18553 15619 1111 63 0 18490 0
vsize: 74212
[startup+310 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 1013
Raw data (stat): 1013 (bsolo_lpr) R 1012 32363 32362 0 -1 0 16229 0 0 0 30964 38 0 0 25 0 1 0 708835769 78286848 16153 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19113 16153 1111 63 0 19050 0
vsize: 76452
[startup+320 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 1013
Raw data (stat): 1013 (bsolo_lpr) R 1012 32363 32362 0 -1 0 16772 0 0 0 31963 39 0 0 25 0 1 0 708835769 80424960 16696 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19635 16696 1111 63 0 19572 0
vsize: 78540
[startup+330 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 1013
Raw data (stat): 1013 (bsolo_lpr) R 1012 32363 32362 0 -1 0 17313 0 0 0 32963 39 0 0 25 0 1 0 708835769 82698240 17237 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20190 17237 1111 63 0 20127 0
vsize: 80760
[startup+340 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 1013
Raw data (stat): 1013 (bsolo_lpr) R 1012 32363 32362 0 -1 0 17880 0 0 0 33962 40 0 0 25 0 1 0 708835769 85053440 17804 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20765 17804 1111 63 0 20702 0
vsize: 83060
[startup+350 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 1013
Raw data (stat): 1013 (bsolo_lpr) R 1012 32363 32362 0 -1 0 18429 0 0 0 34961 41 0 0 25 0 1 0 708835769 87326720 18353 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21320 18353 1111 63 0 21257 0
vsize: 85280
[startup+360 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 1013
Raw data (stat): 1013 (bsolo_lpr) R 1012 32363 32362 0 -1 0 18978 0 0 0 35960 42 0 0 25 0 1 0 708835769 89620480 18902 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21880 18902 1111 63 0 21817 0
vsize: 87520
[startup+370 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 1013
Raw data (stat): 1013 (bsolo_lpr) R 1012 32363 32362 0 -1 0 19526 0 0 0 36960 43 0 0 25 0 1 0 708835769 91889664 19450 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22434 19450 1111 63 0 22371 0
vsize: 89736
[startup+380 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 1013
Raw data (stat): 1013 (bsolo_lpr) R 1012 32363 32362 0 -1 0 20077 0 0 0 37959 44 0 0 25 0 1 0 708835769 94031872 20001 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22957 20001 1111 63 0 22894 0
vsize: 91828
[startup+390 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 1013
Raw data (stat): 1013 (bsolo_lpr) R 1012 32363 32362 0 -1 0 20636 0 0 0 38958 45 0 0 25 0 1 0 708835769 96321536 20560 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23516 20560 1111 63 0 23453 0
vsize: 94064
[startup+400.012 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 1013
Raw data (stat): 1013 (bsolo_lpr) R 1012 32363 32362 0 -1 0 21192 0 0 0 39958 47 0 0 25 0 1 0 708835769 98590720 21116 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24070 21116 1111 63 0 24007 0
vsize: 96280
[startup+410.012 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 1013
Raw data (stat): 1013 (bsolo_lpr) R 1012 32363 32362 0 -1 0 21748 0 0 0 40957 48 0 0 25 0 1 0 708835769 100868096 21672 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24626 21672 1111 63 0 24563 0
vsize: 98504
[startup+420.012 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 1013
Raw data (stat): 1013 (bsolo_lpr) R 1012 32363 32362 0 -1 0 22310 0 0 0 41956 49 0 0 25 0 1 0 708835769 103157760 22234 4294967295 134512640 134714508 3221224592 3221223248 134527935 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25185 22234 1111 63 0 25122 0
vsize: 100740
[startup+430.03 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 1013
Raw data (stat): 1013 (bsolo_lpr) R 1012 32363 32362 0 -1 0 22877 0 0 0 42956 51 0 0 25 0 1 0 708835769 105586688 22801 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25778 22801 1111 63 0 25715 0
vsize: 103112
[startup+440.029 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 1013
Raw data (stat): 1013 (bsolo_lpr) R 1012 32363 32362 0 -1 0 23447 0 0 0 43954 52 0 0 25 0 1 0 708835769 107859968 23371 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26333 23371 1111 63 0 26270 0
vsize: 105332
[startup+450.029 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 1013
Raw data (stat): 1013 (bsolo_lpr) R 1012 32363 32362 0 -1 0 24007 0 0 0 44953 54 0 0 25 0 1 0 708835769 110129152 23931 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26887 23931 1111 63 0 26824 0
vsize: 107548
[startup+460.028 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 1013
Raw data (stat): 1013 (bsolo_lpr) R 1012 32363 32362 0 -1 0 24582 0 0 0 45952 55 0 0 25 0 1 0 708835769 112533504 24506 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27474 24506 1111 63 0 27411 0
vsize: 109896
[startup+470.029 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 1013
Raw data (stat): 1013 (bsolo_lpr) R 1012 32363 32362 0 -1 0 25144 0 0 0 46950 57 0 0 25 0 1 0 708835769 114782208 25068 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28023 25068 1111 63 0 27960 0
vsize: 112092
[startup+480.029 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 1013
Raw data (stat): 1013 (bsolo_lpr) R 1012 32363 32362 0 -1 0 25719 0 0 0 47949 58 0 0 25 0 1 0 708835769 117075968 25643 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28583 25643 1111 63 0 28520 0
vsize: 114332
[startup+490.029 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 1013
Raw data (stat): 1013 (bsolo_lpr) R 1012 32363 32362 0 -1 0 26294 0 0 0 48947 60 0 0 25 0 1 0 708835769 119500800 26218 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29175 26218 1111 63 0 29112 0
vsize: 116700
[startup+500.029 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 1013
Raw data (stat): 1013 (bsolo_lpr) R 1012 32363 32362 0 -1 0 26869 0 0 0 49946 61 0 0 25 0 1 0 708835769 121778176 26793 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29731 26793 1111 63 0 29668 0
vsize: 118924
[startup+510.029 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 1013
Raw data (stat): 1013 (bsolo_lpr) R 1012 32363 32362 0 -1 0 27443 0 0 0 50945 62 0 0 25 0 1 0 708835769 124203008 27367 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30323 27367 1111 63 0 30260 0
vsize: 121292
[startup+520.029 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 1013
Raw data (stat): 1013 (bsolo_lpr) R 1012 32363 32362 0 -1 0 28032 0 0 0 51944 63 0 0 25 0 1 0 708835769 126615552 27956 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30912 27956 1111 63 0 30849 0
vsize: 123648
[startup+530.029 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 1013
Raw data (stat): 1013 (bsolo_lpr) R 1012 32363 32362 0 -1 0 28606 0 0 0 52943 65 0 0 25 0 1 0 708835769 128905216 28530 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31471 28530 1111 63 0 31408 0
vsize: 125884
[startup+540.029 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 1013
Raw data (stat): 1013 (bsolo_lpr) R 1012 32363 32362 0 -1 0 29194 0 0 0 53941 67 0 0 25 0 1 0 708835769 131309568 29118 4294967295 134512640 134714508 3221224592 3221222820 1077414399 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32058 29118 1111 63 0 31995 0
vsize: 128232
[startup+550.029 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 1013
Raw data (stat): 1013 (bsolo_lpr) R 1012 32363 32362 0 -1 0 29781 0 0 0 54940 68 0 0 25 0 1 0 708835769 133742592 29705 4294967295 134512640 134714508 3221224592 3221223248 134527928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32652 29705 1111 63 0 32589 0
vsize: 130608
[startup+560.028 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 1013
Raw data (stat): 1013 (bsolo_lpr) R 1012 32363 32362 0 -1 0 30369 0 0 0 55939 69 0 0 25 0 1 0 708835769 136167424 30293 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33244 30293 1111 63 0 33181 0
vsize: 132976
[startup+570.029 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 1013
Raw data (stat): 1013 (bsolo_lpr) R 1012 32363 32362 0 -1 0 30957 0 0 0 56938 70 0 0 25 0 1 0 708835769 138579968 30881 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33833 30881 1111 63 0 33770 0
vsize: 135332
[startup+580.029 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 1013
Raw data (stat): 1013 (bsolo_lpr) R 1012 32363 32362 0 -1 0 31545 0 0 0 57936 72 0 0 25 0 1 0 708835769 141004800 31469 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34425 31469 1111 63 0 34362 0
vsize: 137700
[startup+590.028 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 1013
Raw data (stat): 1013 (bsolo_lpr) R 1012 32363 32362 0 -1 0 32146 0 0 0 58935 73 0 0 25 0 1 0 708835769 143409152 32070 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35012 32070 1111 63 0 34949 0
vsize: 140048
[startup+600.028 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 1013
Raw data (stat): 1013 (bsolo_lpr) R 1012 32363 32362 0 -1 0 32734 0 0 0 59934 74 0 0 25 0 1 0 708835769 145788928 32658 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35593 32658 1111 63 0 35530 0
vsize: 142372
[startup+610.028 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 1013
Raw data (stat): 1013 (bsolo_lpr) R 1012 32363 32362 0 -1 0 33335 0 0 0 60933 76 0 0 25 0 1 0 708835769 148348928 33259 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36218 33259 1111 63 0 36155 0
vsize: 144872
[startup+620.028 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 1013
Raw data (stat): 1013 (bsolo_lpr) R 1012 32363 32362 0 -1 0 33936 0 0 0 61932 77 0 0 25 0 1 0 708835769 150781952 33860 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36812 33860 1111 63 0 36749 0
vsize: 147248
[startup+630.028 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 1013
Raw data (stat): 1013 (bsolo_lpr) R 1012 32363 32362 0 -1 0 34535 0 0 0 62930 79 0 0 25 0 1 0 708835769 153206784 34459 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37404 34459 1111 63 0 37341 0
vsize: 149616
[startup+640.028 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 1013
Raw data (stat): 1013 (bsolo_lpr) R 1012 32363 32362 0 -1 0 35136 0 0 0 63928 81 0 0 25 0 1 0 708835769 155619328 35060 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37993 35060 1111 63 0 37930 0
vsize: 151972
[startup+650.027 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 1013
Raw data (stat): 1013 (bsolo_lpr) R 1012 32363 32362 0 -1 0 35781 0 0 0 64927 82 0 0 25 0 1 0 708835769 158568448 35705 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38713 35705 1111 63 0 38650 0
vsize: 154852
[startup+660.027 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 1013
Raw data (stat): 1013 (bsolo_lpr) R 1012 32363 32362 0 -1 0 36385 0 0 0 65926 84 0 0 25 0 1 0 708835769 161001472 36309 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39307 36309 1111 63 0 39244 0
vsize: 157228
[startup+670.028 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 1013
Raw data (stat): 1013 (bsolo_lpr) R 1012 32363 32362 0 -1 0 36996 0 0 0 66924 85 0 0 25 0 1 0 708835769 163561472 36920 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39932 36920 1111 63 0 39869 0
vsize: 159728
[startup+680.028 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 1013
Raw data (stat): 1013 (bsolo_lpr) R 1012 32363 32362 0 -1 0 37612 0 0 0 67924 86 0 0 25 0 1 0 708835769 165986304 37536 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40524 37536 1111 63 0 40461 0
vsize: 162096
[startup+690.028 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 1013
Raw data (stat): 1013 (bsolo_lpr) R 1012 32363 32362 0 -1 0 38224 0 0 0 68922 88 0 0 25 0 1 0 708835769 168554496 38148 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41151 38148 1111 63 0 41088 0
vsize: 164604
[startup+700.028 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 1013
Raw data (stat): 1013 (bsolo_lpr) R 1012 32363 32362 0 -1 0 38839 0 0 0 69921 89 0 0 25 0 1 0 708835769 171114496 38763 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41776 38763 1111 63 0 41713 0
vsize: 167104
[startup+710.028 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 1013
Raw data (stat): 1013 (bsolo_lpr) R 1012 32363 32362 0 -1 0 39454 0 0 0 70919 90 0 0 25 0 1 0 708835769 173527040 39378 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42365 39378 1111 63 0 42302 0
vsize: 169460
[startup+720.028 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 1013
Raw data (stat): 1013 (bsolo_lpr) R 1012 32363 32362 0 -1 0 40080 0 0 0 71918 92 0 0 25 0 1 0 708835769 176087040 40004 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42990 40004 1111 63 0 42927 0
vsize: 171960
[startup+730.028 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 1013
Raw data (stat): 1013 (bsolo_lpr) R 1012 32363 32362 0 -1 0 40708 0 0 0 72918 93 0 0 25 0 1 0 708835769 178655232 40632 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43617 40632 1111 63 0 43554 0
vsize: 174468
[startup+740.028 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 1013
Raw data (stat): 1013 (bsolo_lpr) R 1012 32363 32362 0 -1 0 41327 0 0 0 73917 93 0 0 25 0 1 0 708835769 181215232 41251 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44242 41251 1111 63 0 44179 0
vsize: 176968
[startup+750.027 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 1013
Raw data (stat): 1013 (bsolo_lpr) R 1012 32363 32362 0 -1 0 41956 0 0 0 74916 95 0 0 25 0 1 0 708835769 183783424 41880 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44869 41880 1111 63 0 44806 0
vsize: 179476
[startup+760.027 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 1013
Raw data (stat): 1013 (bsolo_lpr) R 1012 32363 32362 0 -1 0 42581 0 0 0 75914 96 0 0 25 0 1 0 708835769 186343424 42505 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45494 42505 1111 63 0 45431 0
vsize: 181976
[startup+770.028 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 1013
Raw data (stat): 1013 (bsolo_lpr) R 1012 32363 32362 0 -1 0 43216 0 0 0 76913 98 0 0 25 0 1 0 708835769 188911616 43140 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46121 43140 1111 63 0 46058 0
vsize: 184484
[startup+780.028 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 1013
Raw data (stat): 1013 (bsolo_lpr) R 1012 32363 32362 0 -1 0 43843 0 0 0 77911 100 0 0 25 0 1 0 708835769 191471616 43767 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46746 43767 1111 63 0 46683 0
vsize: 186984
[startup+790.028 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 1013
Raw data (stat): 1013 (bsolo_lpr) R 1012 32363 32362 0 -1 0 44483 0 0 0 78910 101 0 0 25 0 1 0 708835769 194195456 44407 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47411 44407 1111 63 0 47348 0
vsize: 189644
[startup+800.029 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 1013
Raw data (stat): 1013 (bsolo_lpr) R 1012 32363 32362 0 -1 0 45117 0 0 0 79909 102 0 0 25 0 1 0 708835769 196755456 45041 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48036 45041 1111 63 0 47973 0
vsize: 192144
[startup+810.028 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 1013
Raw data (stat): 1013 (bsolo_lpr) R 1012 32363 32362 0 -1 0 45750 0 0 0 80908 104 0 0 25 0 1 0 708835769 199323648 45674 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48663 45674 1111 63 0 48600 0
vsize: 194652
[startup+820.029 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 1013
Raw data (stat): 1013 (bsolo_lpr) R 1012 32363 32362 0 -1 0 46397 0 0 0 81907 105 0 0 25 0 1 0 708835769 202022912 46321 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49322 46321 1111 63 0 49259 0
vsize: 197288
[startup+830.029 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 1013
Raw data (stat): 1013 (bsolo_lpr) R 1012 32363 32362 0 -1 0 47042 0 0 0 82906 106 0 0 25 0 1 0 708835769 204587008 46966 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49948 46966 1111 63 0 49885 0
vsize: 199792
[startup+840.028 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 1013
Raw data (stat): 1013 (bsolo_lpr) R 1012 32363 32362 0 -1 0 47684 0 0 0 83904 108 0 0 25 0 1 0 708835769 207286272 47608 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50607 47608 1111 63 0 50544 0
vsize: 202428
[startup+850.029 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 1013
Raw data (stat): 1013 (bsolo_lpr) R 1012 32363 32362 0 -1 0 48330 0 0 0 84903 109 0 0 25 0 1 0 708835769 209846272 48254 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51232 48254 1111 63 0 51169 0
vsize: 204928
[startup+860.029 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 1013
Raw data (stat): 1013 (bsolo_lpr) R 1012 32363 32362 0 -1 0 48977 0 0 0 85902 110 0 0 25 0 1 0 708835769 212516864 48901 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51884 48901 1111 63 0 51821 0
vsize: 207536
[startup+870.029 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 1013
Raw data (stat): 1013 (bsolo_lpr) R 1012 32363 32362 0 -1 0 49630 0 0 0 86901 111 0 0 25 0 1 0 708835769 215212032 49554 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52542 49554 1111 63 0 52479 0
vsize: 210168
[startup+880.029 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 1013
Raw data (stat): 1013 (bsolo_lpr) R 1012 32363 32362 0 -1 0 50283 0 0 0 87900 113 0 0 25 0 1 0 708835769 217915392 50207 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53202 50207 1111 63 0 53139 0
vsize: 212808
[startup+890.029 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 1013
Raw data (stat): 1013 (bsolo_lpr) R 1012 32363 32362 0 -1 0 50936 0 0 0 88899 114 0 0 25 0 1 0 708835769 220475392 50860 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53827 50860 1111 63 0 53764 0
vsize: 215308
[startup+900.029 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 1013
Raw data (stat): 1013 (bsolo_lpr) R 1012 32363 32362 0 -1 0 51602 0 0 0 89898 115 0 0 25 0 1 0 708835769 223199232 51526 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 54492 51526 1111 63 0 54429 0
vsize: 217968
[startup+910.029 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 1013
Raw data (stat): 1013 (bsolo_lpr) R 1012 32363 32362 0 -1 0 52256 0 0 0 90897 116 0 0 25 0 1 0 708835769 225902592 52180 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55152 52180 1111 63 0 55089 0
vsize: 220608
[startup+920.03 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 1013
Raw data (stat): 1013 (bsolo_lpr) R 1012 32363 32362 0 -1 0 52923 0 0 0 91896 117 0 0 25 0 1 0 708835769 228597760 52847 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55810 52847 1111 63 0 55747 0
vsize: 223240
[startup+930.03 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 1013
Raw data (stat): 1013 (bsolo_lpr) R 1012 32363 32362 0 -1 0 53588 0 0 0 92895 118 0 0 25 0 1 0 708835769 231321600 53512 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 56475 53512 1111 63 0 56412 0
vsize: 225900
[startup+940.029 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 1013
Raw data (stat): 1013 (bsolo_lpr) R 1012 32363 32362 0 -1 0 54261 0 0 0 93894 120 0 0 25 0 1 0 708835769 234151936 54185 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57166 54185 1111 63 0 57103 0
vsize: 228664
[startup+950.029 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 1013
Raw data (stat): 1013 (bsolo_lpr) R 1012 32363 32362 0 -1 0 54947 0 0 0 94892 122 0 0 25 0 1 0 708835769 236875776 54871 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57831 54871 1111 63 0 57768 0
vsize: 231324
[startup+960.029 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 1013
Raw data (stat): 1013 (bsolo_lpr) R 1012 32363 32362 0 -1 0 55633 0 0 0 95890 124 0 0 25 0 1 0 708835769 239710208 55557 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58523 55557 1111 63 0 58460 0
vsize: 234092
[startup+970.03 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 1013
Raw data (stat): 1013 (bsolo_lpr) R 1012 32363 32362 0 -1 0 56332 0 0 0 96889 125 0 0 25 0 1 0 708835769 242561024 56256 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59219 56256 1111 63 0 59156 0
vsize: 236876
[startup+980.03 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 1013
Raw data (stat): 1013 (bsolo_lpr) R 1012 32363 32362 0 -1 0 57038 0 0 0 97888 126 0 0 25 0 1 0 708835769 245526528 56962 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59943 56962 1111 63 0 59880 0
vsize: 239772
[startup+990.03 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 1013
Raw data (stat): 1013 (bsolo_lpr) R 1012 32363 32362 0 -1 0 57763 0 0 0 98886 128 0 0 25 0 1 0 708835769 248365056 57687 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60636 57687 1111 63 0 60573 0
vsize: 242544
[startup+1000.03 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 1013
Raw data (stat): 1013 (bsolo_lpr) R 1012 32363 32362 0 -1 0 58494 0 0 0 99885 130 0 0 25 0 1 0 708835769 251351040 58418 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61365 58418 1111 63 0 61302 0
vsize: 245460
[startup+1010.03 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 1013
Raw data (stat): 1013 (bsolo_lpr) R 1012 32363 32362 0 -1 0 59232 0 0 0 100883 131 0 0 25 0 1 0 708835769 254500864 59156 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 62134 59156 1111 63 0 62071 0
vsize: 248536
[startup+1020.03 s]
Raw data (loadavg): 1.00 1.00 0.99 3/55 1013
Raw data (stat): 1013 (bsolo_lpr) R 1012 32363 32362 0 -1 0 59990 0 0 0 101882 133 0 0 25 0 1 0 708835769 257490944 59914 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 62864 59914 1111 63 0 62801 0
vsize: 251456
[startup+1030.03 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 1013
Raw data (stat): 1013 (bsolo_lpr) R 1012 32363 32362 0 -1 0 60761 0 0 0 102881 134 0 0 25 0 1 0 708835769 260620288 60685 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 63628 60685 1111 63 0 63565 0
vsize: 254512
[startup+1040.03 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 1013
Raw data (stat): 1013 (bsolo_lpr) R 1012 32363 32362 0 -1 0 61539 0 0 0 103880 135 0 0 25 0 1 0 708835769 263905280 61463 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 64430 61463 1111 63 0 64367 0
vsize: 257720
[startup+1050.03 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 1013
Raw data (stat): 1013 (bsolo_lpr) R 1012 32363 32362 0 -1 0 62335 0 0 0 104878 137 0 0 25 0 1 0 708835769 267165696 62259 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65226 62259 1111 63 0 65163 0
vsize: 260904
[startup+1060.03 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 1013
Raw data (stat): 1013 (bsolo_lpr) R 1012 32363 32362 0 -1 0 63139 0 0 0 105876 139 0 0 25 0 1 0 708835769 270422016 63063 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 66021 63063 1111 63 0 65958 0
vsize: 264084
[startup+1070.03 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 1013
Raw data (stat): 1013 (bsolo_lpr) R 1012 32363 32362 0 -1 0 63936 0 0 0 106874 141 0 0 25 0 1 0 708835769 273674240 63860 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 66815 63860 1111 63 0 66752 0
vsize: 267260
[startup+1080.03 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 1013
Raw data (stat): 1013 (bsolo_lpr) R 1012 32363 32362 0 -1 0 64745 0 0 0 107872 144 0 0 25 0 1 0 708835769 276938752 64669 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67612 64669 1111 63 0 67549 0
vsize: 270448
[startup+1090.03 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 1013
Raw data (stat): 1013 (bsolo_lpr) R 1012 32363 32362 0 -1 0 65555 0 0 0 108870 146 0 0 25 0 1 0 708835769 280354816 65479 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 68446 65479 1111 63 0 68383 0
vsize: 273784
[startup+1100.03 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 1013
Raw data (stat): 1013 (bsolo_lpr) R 1012 32363 32362 0 -1 0 66372 0 0 0 109868 148 0 0 25 0 1 0 708835769 283639808 66296 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69248 66296 1111 63 0 69185 0
vsize: 276992
[startup+1110.03 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 1013
Raw data (stat): 1013 (bsolo_lpr) R 1012 32363 32362 0 -1 0 67188 0 0 0 110866 150 0 0 25 0 1 0 708835769 286924800 67112 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70050 67112 1111 63 0 69987 0
vsize: 280200
[startup+1120.03 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 1013
Raw data (stat): 1013 (bsolo_lpr) R 1012 32363 32362 0 -1 0 67999 0 0 0 111864 152 0 0 25 0 1 0 708835769 290340864 67923 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70884 67923 1111 63 0 70821 0
vsize: 283536
[startup+1130.03 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 1013
Raw data (stat): 1013 (bsolo_lpr) R 1012 32363 32362 0 -1 0 68822 0 0 0 112863 153 0 0 25 0 1 0 708835769 293605376 68746 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71681 68746 1111 63 0 71618 0
vsize: 286724
[startup+1140.03 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 1013
Raw data (stat): 1013 (bsolo_lpr) R 1012 32363 32362 0 -1 0 69645 0 0 0 113862 155 0 0 25 0 1 0 708835769 297046016 69569 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 72521 69569 1111 63 0 72458 0
vsize: 290084
[startup+1150.03 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 1013
Raw data (stat): 1013 (bsolo_lpr) R 1012 32363 32362 0 -1 0 70602 0 0 0 114860 157 0 0 25 0 1 0 708835769 301191168 70400 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73533 70400 1111 63 0 73470 0
vsize: 294132
[startup+1160.03 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 1013
Raw data (stat): 1013 (bsolo_lpr) R 1012 32363 32362 0 -1 0 71433 0 0 0 115858 159 0 0 25 0 1 0 708835769 304582656 71231 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74361 71231 1111 63 0 74298 0
vsize: 297444
[startup+1170.03 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 1013
Raw data (stat): 1013 (bsolo_lpr) R 1012 32363 32362 0 -1 0 72268 0 0 0 116857 160 0 0 25 0 1 0 708835769 308002816 72066 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 75196 72066 1111 63 0 75133 0
vsize: 300784
[startup+1180.03 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 1013
Raw data (stat): 1013 (bsolo_lpr) R 1012 32363 32362 0 -1 0 73106 0 0 0 117856 161 0 0 25 0 1 0 708835769 311443456 72904 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 76036 72904 1111 63 0 75973 0
vsize: 304144
[startup+1190.03 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 1013
Raw data (stat): 1013 (bsolo_lpr) R 1012 32363 32362 0 -1 0 73943 0 0 0 118854 163 0 0 25 0 1 0 708835769 314839040 73741 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 76865 73741 1111 63 0 76802 0
vsize: 307460
[startup+1200.03 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 1013
Raw data (stat): 1013 (bsolo_lpr) R 1012 32363 32362 0 -1 0 74781 0 0 0 119853 165 0 0 25 0 1 0 708835769 318255104 74579 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77699 74579 1111 63 0 77636 0
vsize: 310796
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.17 s]
Raw data (loadavg): 1.00 1.00 0.99 1/55 1013
Raw data (stat): 1013 (bsolo_lpr) Z 1012 32363 32362 0 -1 1036 74781 0 0 0 119853 178 0 0 25 0 1 0 708835769 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.17
CPU time (s): 1200.32
CPU user time (s): 1198.53
CPU system time (s): 1.78973
CPU usage (%): 100.013
Max. virtual memory (Kb): 310796
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####