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/miplib/normalized-mps-v2-20-10-lseu.opb
MD5SUM	5fcfa2f72175b9723ffb2781fb76fcdc
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1120
Optimality of the best value was proved	NO
Number of terms in the objective function	85
Biggest coefficient in the objective function	517
Number of bits for the biggest coefficient in the objective function	10
Sum of the numbers in the objective function	15494
Number of bits of the sum of numbers in the objective function	14
Biggest number in a constraint	1656
Number of bits of the biggest number in a constraint	11
Biggest sum of numbers in a constraint	15494
Number of bits of the biggest sum of numbers	14
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.02184
Number of variables	89
Total number of constraints	117
Number of constraints which are clauses	2
Number of constraints which are cardinality constraints (but not clauses)	104
Number of constraints which are nor clauses,nor cardinality constraints	11
Minimum length of a constraint	1
Maximum length of a constraint	47
Trace number 28671

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc18 THE 2005-05-25 03:32:30 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=11922 boxname=wulflinc18 idbench=918 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  5fcfa2f72175b9723ffb2781fb76fcdc  /oldhome/oroussel/tmp/wulflinc18/normalized-mps-v2-20-10-lseu.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc18/normalized-mps-v2-20-10-lseu.opb
IDLAUNCH: 11922
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.177
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	: 3
cpu MHz		: 451.177
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:        931936 kB
Buffers:         17708 kB
Cached:          57048 kB
SwapCached:        588 kB
Active:          28508 kB
Inactive:        51604 kB
HighTotal:      131008 kB
HighFree:        85036 kB
LowTotal:       903652 kB
LowFree:        846900 kB
SwapTotal:     2097892 kB
SwapFree:      2096632 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5660 kB
Slab:            16964 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 03:52:33 (client local time) WITH STATUS 0 IN 1200.22 SECONDS
stats: 11922 7 1200.22 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 89 variables and 28 constraints.
c After prepocess the problem consists of 89 variables and 28 constraints.
c preprocess terminated 0.074 s
c Initial Lower Bound: 777
c Lower Bound Elapsed time: 0.0104
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 3184 @ 1.364
c NEW SOLUTION FOUND: 3074 @ 1.378
c NEW SOLUTION FOUND: 2879 @ 1.407
c NEW SOLUTION FOUND: 2798 @ 1.432
c NEW SOLUTION FOUND: 2783 @ 1.465
c NEW SOLUTION FOUND: 2709 @ 1.48
c NEW SOLUTION FOUND: 2599 @ 1.48
c NEW SOLUTION FOUND: 2596 @ 1.497
c NEW SOLUTION FOUND: 2471 @ 1.522
c NEW SOLUTION FOUND: 2401 @ 19.37
c NEW SOLUTION FOUND: 2377 @ 19.569
c NEW SOLUTION FOUND: 2283 @ 39.613
c NEW SOLUTION FOUND: 2232 @ 77.575
c NEW SOLUTION FOUND: 2156 @ 135.054
c NEW SOLUTION FOUND: 2155 @ 141.579
c NEW SOLUTION FOUND: 2144 @ 161.159
c NEW SOLUTION FOUND: 2124 @ 172.923
c NEW SOLUTION FOUND: 2088 @ 179.347
c NEW SOLUTION FOUND: 2060 @ 823.501
#### 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.91 0.95 0.98 2/54 29256
Raw data (stat): 29256 (runsolver) R 29255 24172 24171 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 835650433 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.0003 s]
Raw data (loadavg): 0.93 0.95 0.98 2/54 29256
Raw data (stat): 29256 (bsolo_lpr) R 29255 24172 24171 0 -1 0 8378 0 0 0 961 36 0 0 25 0 1 0 835650433 12611584 2394 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3079 2394 1111 63 0 3016 0
vsize: 12316
[startup+20.0013 s]
Raw data (loadavg): 0.94 0.96 0.98 2/54 29256
Raw data (stat): 29256 (bsolo_lpr) R 29255 24172 24171 0 -1 0 15842 0 0 0 1927 70 0 0 25 0 1 0 835650433 19832832 4157 4294967295 134512640 134714508 3221224592 3221222336 1075640218 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4842 4157 1111 63 0 4779 0
vsize: 19368
[startup+30.0024 s]
Raw data (loadavg): 0.95 0.96 0.98 2/54 29256
Raw data (stat): 29256 (bsolo_lpr) R 29255 24172 24171 0 -1 0 20291 0 0 0 2909 88 0 0 25 0 1 0 835650433 22429696 4802 4294967295 134512640 134714508 3221224592 3221223384 134536904 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5476 4802 1111 63 0 5413 0
vsize: 21904
[startup+40.002 s]
Raw data (loadavg): 0.95 0.96 0.98 2/54 29256
Raw data (stat): 29256 (bsolo_lpr) R 29255 24172 24171 0 -1 0 36811 0 0 0 3869 128 0 0 25 0 1 0 835650433 23375872 5032 4294967295 134512640 134714508 3221224592 3221222896 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5707 5032 1111 63 0 5644 0
vsize: 22828
[startup+50.003 s]
Raw data (loadavg): 0.96 0.96 0.98 2/54 29256
Raw data (stat): 29256 (bsolo_lpr) R 29255 24172 24171 0 -1 0 51803 0 0 0 4835 163 0 0 25 0 1 0 835650433 24465408 5271 4294967295 134512640 134714508 3221224592 3221222848 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5973 5271 1111 63 0 5910 0
vsize: 23892
[startup+60.0032 s]
Raw data (loadavg): 0.97 0.96 0.98 2/54 29256
Raw data (stat): 29256 (bsolo_lpr) R 29255 24172 24171 0 -1 0 70159 0 0 0 5792 206 0 0 25 0 1 0 835650433 25354240 5515 4294967295 134512640 134714508 3221224592 3221222968 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6190 5515 1111 63 0 6127 0
vsize: 24760
[startup+70.0038 s]
Raw data (loadavg): 0.97 0.96 0.98 2/54 29256
Raw data (stat): 29256 (bsolo_lpr) R 29255 24172 24171 0 -1 0 90640 0 0 0 6745 252 0 0 25 0 1 0 835650433 26591232 5808 4294967295 134512640 134714508 3221224592 3221222544 1074918512 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6492 5808 1111 63 0 6429 0
vsize: 25968
[startup+80.0038 s]
Raw data (loadavg): 0.98 0.96 0.98 2/54 29256
Raw data (stat): 29256 (bsolo_lpr) R 29255 24172 24171 0 -1 0 133263 0 0 0 7643 354 0 0 25 0 1 0 835650433 33239040 7372 4294967295 134512640 134714508 3221224592 3221223120 1074109715 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8115 7372 1111 63 0 8052 0
vsize: 32460
[startup+90.004 s]
Raw data (loadavg): 0.98 0.96 0.98 2/54 29256
Raw data (stat): 29256 (bsolo_lpr) R 29255 24172 24171 0 -1 0 173935 0 0 0 8549 448 0 0 25 0 1 0 835650433 38604800 8642 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9425 8642 1111 63 0 9362 0
vsize: 37700
[startup+100.005 s]
Raw data (loadavg): 0.98 0.96 0.98 2/54 29256
Raw data (stat): 29256 (bsolo_lpr) R 29255 24172 24171 0 -1 0 211827 0 0 0 9464 534 0 0 25 0 1 0 835650433 43503616 9810 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10621 9810 1111 63 0 10558 0
vsize: 42484
[startup+110.005 s]
Raw data (loadavg): 0.98 0.96 0.98 2/54 29256
Raw data (stat): 29256 (bsolo_lpr) R 29255 24172 24171 0 -1 0 240946 0 0 0 10395 603 0 0 25 0 1 0 835650433 47009792 10408 4294967295 134512640 134714508 3221224592 3221220752 1075095166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11477 10420 1111 63 0 11414 0
vsize: 45908
[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29256
Raw data (stat): 29256 (bsolo_lpr) R 29255 24172 24171 0 -1 0 242912 0 0 0 11391 607 0 0 25 0 1 0 835650433 48594944 11037 4294967295 134512640 134714508 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11864 11037 1111 63 0 11801 0
vsize: 47456
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29256
Raw data (stat): 29256 (bsolo_lpr) R 29255 24172 24171 0 -1 0 244742 0 0 0 12386 611 0 0 25 0 1 0 835650433 47046656 10676 4294967295 134512640 134714508 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11486 10676 1111 63 0 11423 0
vsize: 45944
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29256
Raw data (stat): 29256 (bsolo_lpr) R 29255 24172 24171 0 -1 0 271354 0 0 0 13321 677 0 0 25 0 1 0 835650433 48766976 11079 4294967295 134512640 134714508 3221224592 3221222976 1073990251 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11906 11079 1111 63 0 11843 0
vsize: 47624
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29256
Raw data (stat): 29256 (bsolo_lpr) R 29255 24172 24171 0 -1 0 283081 0 0 0 14292 705 0 0 25 0 1 0 835650433 50003968 11370 4294967295 134512640 134714508 3221224592 3221223396 134622267 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12208 11370 1111 63 0 12145 0
vsize: 48832
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29256
Raw data (stat): 29256 (bsolo_lpr) R 29255 24172 24171 0 -1 0 307657 0 0 0 15235 763 0 0 25 0 1 0 835650433 53149696 11798 4294967295 134512640 134714508 3221224592 3221221484 1077387418 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12976 11799 1111 63 0 12913 0
vsize: 51904
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29256
Raw data (stat): 29256 (bsolo_lpr) R 29255 24172 24171 0 -1 0 326254 0 0 0 16191 807 0 0 25 0 1 0 835650433 53862400 12232 4294967295 134512640 134714508 3221224592 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13150 12232 1111 63 0 13087 0
vsize: 52600
[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29256
Raw data (stat): 29256 (bsolo_lpr) R 29255 24172 24171 0 -1 0 350186 0 0 0 17135 863 0 0 25 0 1 0 835650433 57626624 13010 4294967295 134512640 134714508 3221224592 3221222696 1074138166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14069 13010 1111 63 0 14006 0
vsize: 56276
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29256
Raw data (stat): 29256 (bsolo_lpr) R 29255 24172 24171 0 -1 0 358440 0 0 0 18114 884 0 0 25 0 1 0 835650433 58978304 13067 4294967295 134512640 134714508 3221224592 3221221580 1077404742 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14399 13069 1111 63 0 14336 0
vsize: 57596
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29256
Raw data (stat): 29256 (bsolo_lpr) R 29255 24172 24171 0 -1 0 380423 0 0 0 19060 938 0 0 25 0 1 0 835650433 59879424 13543 4294967295 134512640 134714508 3221224592 3221222592 1074918599 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14619 13543 1111 63 0 14556 0
vsize: 58476
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29256
Raw data (stat): 29256 (bsolo_lpr) R 29255 24172 24171 0 -1 0 416145 0 0 0 19975 1023 0 0 25 0 1 0 835650433 64061440 14542 4294967295 134512640 134714508 3221224592 3221222480 1074051053 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15640 14542 1111 63 0 15577 0
vsize: 62560
[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29256
Raw data (stat): 29256 (bsolo_lpr) R 29255 24172 24171 0 -1 0 447193 0 0 0 20904 1095 0 0 25 0 1 0 835650433 67317760 15309 4294967295 134512640 134714508 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16435 15309 1111 63 0 16372 0
vsize: 65740
[startup+230.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29256
Raw data (stat): 29256 (bsolo_lpr) R 29255 24172 24171 0 -1 0 474963 0 0 0 21839 1160 0 0 25 0 1 0 835650433 69832704 15930 4294967295 134512640 134714508 3221224592 3221222240 1075818276 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17049 15930 1111 63 0 16986 0
vsize: 68196
[startup+240.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29256
Raw data (stat): 29256 (bsolo_lpr) R 29255 24172 24171 0 -1 0 514281 0 0 0 22751 1248 0 0 25 0 1 0 835650433 76025856 17103 4294967295 134512640 134714508 3221224592 3221221580 1077404742 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18561 17103 1111 63 0 18498 0
vsize: 74244
[startup+250.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29256
Raw data (stat): 29256 (bsolo_lpr) R 29255 24172 24171 0 -1 0 523880 0 0 0 23727 1272 0 0 25 0 1 0 835650433 75292672 17211 4294967295 134512640 134714508 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18382 17211 1111 63 0 18319 0
vsize: 73528
[startup+260.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29256
Raw data (stat): 29256 (bsolo_lpr) R 29255 24172 24171 0 -1 0 526854 0 0 0 24719 1280 0 0 25 0 1 0 835650433 77819904 17814 4294967295 134512640 134714508 3221224592 3221222592 1074918591 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18999 17814 1111 63 0 18936 0
vsize: 75996
[startup+270.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29256
Raw data (stat): 29256 (bsolo_lpr) R 29255 24172 24171 0 -1 0 530901 0 0 0 25708 1291 0 0 25 0 1 0 835650433 76791808 17301 4294967295 134512640 134714508 3221224592 3221220752 1075095166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18599 17301 1111 63 0 18536 0
vsize: 74992
[startup+280.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29256
Raw data (stat): 29256 (bsolo_lpr) R 29255 24172 24171 0 -1 0 562588 0 0 0 26637 1362 0 0 25 0 1 0 835650433 79433728 18182 4294967295 134512640 134714508 3221224592 3221222736 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19393 18182 1111 63 0 19330 0
vsize: 77572
[startup+290.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29256
Raw data (stat): 29256 (bsolo_lpr) R 29255 24172 24171 0 -1 0 577953 0 0 0 27601 1399 0 0 25 0 1 0 835650433 80539648 18401 4294967295 134512640 134714508 3221224592 3221222736 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19663 18401 1111 63 0 19600 0
vsize: 78652
[startup+300.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29256
Raw data (stat): 29256 (bsolo_lpr) R 29255 24172 24171 0 -1 0 579955 0 0 0 28596 1403 0 0 25 0 1 0 835650433 80912384 18501 4294967295 134512640 134714508 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19754 18501 1111 63 0 19691 0
vsize: 79016
[startup+310.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29256
Raw data (stat): 29256 (bsolo_lpr) R 29255 24172 24171 0 -1 0 603217 0 0 0 29546 1454 0 0 25 0 1 0 835650433 82903040 18966 4294967295 134512640 134714508 3221224592 3221222592 1074918576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20240 18966 1111 63 0 20177 0
vsize: 80960
[startup+320.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29256
Raw data (stat): 29256 (bsolo_lpr) R 29255 24172 24171 0 -1 0 608403 0 0 0 30533 1467 0 0 25 0 1 0 835650433 81862656 18714 4294967295 134512640 134714508 3221224592 3221223376 134622534 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19986 18714 1111 63 0 19923 0
vsize: 79944
[startup+330.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29256
Raw data (stat): 29256 (bsolo_lpr) R 29255 24172 24171 0 -1 0 609337 0 0 0 31530 1470 0 0 25 0 1 0 835650433 82829312 18953 4294967295 134512640 134714508 3221224592 3221222752 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20222 18953 1111 63 0 20159 0
vsize: 80888
[startup+340.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29256
Raw data (stat): 29256 (bsolo_lpr) R 29255 24172 24171 0 -1 0 609428 0 0 0 32529 1471 0 0 25 0 1 0 835650433 83283968 19044 4294967295 134512640 134714508 3221224592 3221222752 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20333 19044 1111 63 0 20270 0
vsize: 81332
[startup+350.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29256
Raw data (stat): 29256 (bsolo_lpr) R 29255 24172 24171 0 -1 0 609497 0 0 0 33528 1472 0 0 25 0 1 0 835650433 83505152 19113 4294967295 134512640 134714508 3221224592 3221222880 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20387 19113 1111 63 0 20324 0
vsize: 81548
[startup+360.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29256
Raw data (stat): 29256 (bsolo_lpr) R 29255 24172 24171 0 -1 0 609546 0 0 0 34528 1473 0 0 25 0 1 0 835650433 83705856 19162 4294967295 134512640 134714508 3221224592 3221222896 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20436 19162 1111 63 0 20373 0
vsize: 81744
[startup+370.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29256
Raw data (stat): 29256 (bsolo_lpr) R 29255 24172 24171 0 -1 0 609617 0 0 0 35527 1474 0 0 25 0 1 0 835650433 84033536 19233 4294967295 134512640 134714508 3221224592 3221222752 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20516 19233 1111 63 0 20453 0
vsize: 82064
[startup+380.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29256
Raw data (stat): 29256 (bsolo_lpr) R 29255 24172 24171 0 -1 0 611142 0 0 0 36523 1478 0 0 25 0 1 0 835650433 88080384 20221 4294967295 134512640 134714508 3221224592 3221222592 1074918583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21504 20221 1111 63 0 21441 0
vsize: 86016
[startup+390.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29256
Raw data (stat): 29256 (bsolo_lpr) R 29255 24172 24171 0 -1 0 611142 0 0 0 37523 1478 0 0 25 0 1 0 835650433 88080384 20221 4294967295 134512640 134714508 3221224592 3221222592 1074918583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21504 20221 1111 63 0 21441 0
vsize: 86016
[startup+400.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29256
Raw data (stat): 29256 (bsolo_lpr) R 29255 24172 24171 0 -1 0 611142 0 0 0 38523 1478 0 0 25 0 1 0 835650433 88080384 20221 4294967295 134512640 134714508 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21504 20221 1111 63 0 21441 0
vsize: 86016
[startup+410.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29256
Raw data (stat): 29256 (bsolo_lpr) R 29255 24172 24171 0 -1 0 611142 0 0 0 39523 1478 0 0 25 0 1 0 835650433 88080384 20221 4294967295 134512640 134714508 3221224592 3221222592 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21504 20221 1111 63 0 21441 0
vsize: 86016
[startup+420.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29256
Raw data (stat): 29256 (bsolo_lpr) R 29255 24172 24171 0 -1 0 611142 0 0 0 40524 1478 0 0 25 0 1 0 835650433 88080384 20221 4294967295 134512640 134714508 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21504 20221 1111 63 0 21441 0
vsize: 86016
[startup+430.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29256
Raw data (stat): 29256 (bsolo_lpr) R 29255 24172 24171 0 -1 0 611142 0 0 0 41524 1478 0 0 25 0 1 0 835650433 88080384 20221 4294967295 134512640 134714508 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21504 20221 1111 63 0 21441 0
vsize: 86016
[startup+440.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29256
Raw data (stat): 29256 (bsolo_lpr) R 29255 24172 24171 0 -1 0 616314 0 0 0 42511 1491 0 0 25 0 1 0 835650433 84213760 19291 4294967295 134512640 134714508 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20560 19291 1111 63 0 20497 0
vsize: 82240
[startup+450.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29256
Raw data (stat): 29256 (bsolo_lpr) R 29255 24172 24171 0 -1 0 616314 0 0 0 43511 1491 0 0 25 0 1 0 835650433 84213760 19291 4294967295 134512640 134714508 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20560 19291 1111 63 0 20497 0
vsize: 82240
[startup+460.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29256
Raw data (stat): 29256 (bsolo_lpr) R 29255 24172 24171 0 -1 0 616314 0 0 0 44511 1491 0 0 25 0 1 0 835650433 84213760 19291 4294967295 134512640 134714508 3221224592 3221223396 134622267 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20560 19291 1111 63 0 20497 0
vsize: 82240
[startup+470.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29256
Raw data (stat): 29256 (bsolo_lpr) R 29255 24172 24171 0 -1 0 616314 0 0 0 45512 1491 0 0 25 0 1 0 835650433 84213760 19291 4294967295 134512640 134714508 3221224592 3221223328 134622923 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20560 19291 1111 63 0 20497 0
vsize: 82240
[startup+480.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29256
Raw data (stat): 29256 (bsolo_lpr) R 29255 24172 24171 0 -1 0 616314 0 0 0 46512 1491 0 0 25 0 1 0 835650433 84213760 19291 4294967295 134512640 134714508 3221224592 3221223368 134543568 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20560 19291 1111 63 0 20497 0
vsize: 82240
[startup+490.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29256
Raw data (stat): 29256 (bsolo_lpr) R 29255 24172 24171 0 -1 0 616314 0 0 0 47512 1491 0 0 25 0 1 0 835650433 84213760 19291 4294967295 134512640 134714508 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20560 19291 1111 63 0 20497 0
vsize: 82240
[startup+500.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29256
Raw data (stat): 29256 (bsolo_lpr) R 29255 24172 24171 0 -1 0 616314 0 0 0 48512 1491 0 0 25 0 1 0 835650433 84213760 19291 4294967295 134512640 134714508 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20560 19291 1111 63 0 20497 0
vsize: 82240
[startup+510.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29256
Raw data (stat): 29256 (bsolo_lpr) R 29255 24172 24171 0 -1 0 617183 0 0 0 49510 1493 0 0 25 0 1 0 835650433 82567168 18889 4294967295 134512640 134714508 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20158 18889 1111 63 0 20095 0
vsize: 80632
[startup+520.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29256
Raw data (stat): 29256 (bsolo_lpr) R 29255 24172 24171 0 -1 0 642095 0 0 0 50444 1560 0 0 25 0 1 0 835650433 88662016 19242 4294967295 134512640 134714508 3221224592 3221221164 1076049555 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21646 19244 1111 63 0 21583 0
vsize: 86584
[startup+530.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29256
Raw data (stat): 29256 (bsolo_lpr) R 29255 24172 24171 0 -1 0 681111 0 0 0 51344 1660 0 0 25 0 1 0 835650433 86654976 19826 4294967295 134512640 134714508 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21156 19826 1111 63 0 21093 0
vsize: 84624
[startup+540.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29256
Raw data (stat): 29256 (bsolo_lpr) R 29255 24172 24171 0 -1 0 691088 0 0 0 52319 1685 0 0 25 0 1 0 835650433 87240704 19983 4294967295 134512640 134714508 3221224592 3221222592 1074918599 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21299 19983 1111 63 0 21236 0
vsize: 85196
[startup+550.024 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29256
Raw data (stat): 29256 (bsolo_lpr) R 29255 24172 24171 0 -1 0 721844 0 0 0 53242 1763 0 0 25 0 1 0 835650433 88199168 20207 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21533 20207 1111 63 0 21470 0
vsize: 86132
[startup+560.024 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29256
Raw data (stat): 29256 (bsolo_lpr) R 29255 24172 24171 0 -1 0 742514 0 0 0 54191 1814 0 0 25 0 1 0 835650433 89268224 20467 4294967295 134512640 134714508 3221224592 3221222664 1077377797 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21794 20467 1111 63 0 21731 0
vsize: 87176
[startup+570.025 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29256
Raw data (stat): 29256 (bsolo_lpr) R 29255 24172 24171 0 -1 0 776643 0 0 0 55104 1902 0 0 25 0 1 0 835650433 90189824 20685 4294967295 134512640 134714508 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22019 20685 1111 63 0 21956 0
vsize: 88076
[startup+580.026 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29256
Raw data (stat): 29256 (bsolo_lpr) R 29255 24172 24171 0 -1 0 777671 0 0 0 56100 1905 0 0 25 0 1 0 835650433 91467776 21009 4294967295 134512640 134714508 3221224592 3221222528 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22331 21009 1111 63 0 22268 0
vsize: 89324
[startup+590.026 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29256
Raw data (stat): 29256 (bsolo_lpr) R 29255 24172 24171 0 -1 0 778572 0 0 0 57098 1908 0 0 25 0 1 0 835650433 94060544 21633 4294967295 134512640 134714508 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22964 21633 1111 63 0 22901 0
vsize: 91856
[startup+600.026 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29256
Raw data (stat): 29256 (bsolo_lpr) R 29255 24172 24171 0 -1 0 778572 0 0 0 58098 1908 0 0 25 0 1 0 835650433 94060544 21633 4294967295 134512640 134714508 3221224592 3221222592 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22964 21633 1111 63 0 22901 0
vsize: 91856
[startup+610.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29256
Raw data (stat): 29256 (bsolo_lpr) R 29255 24172 24171 0 -1 0 781196 0 0 0 59092 1914 0 0 25 0 1 0 835650433 91774976 21084 4294967295 134512640 134714508 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22406 21084 1111 63 0 22343 0
vsize: 89624
[startup+620.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29256
Raw data (stat): 29256 (bsolo_lpr) R 29255 24172 24171 0 -1 0 781196 0 0 0 60092 1914 0 0 25 0 1 0 835650433 91774976 21084 4294967295 134512640 134714508 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22406 21084 1111 63 0 22343 0
vsize: 89624
[startup+630.028 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29256
Raw data (stat): 29256 (bsolo_lpr) R 29255 24172 24171 0 -1 0 781196 0 0 0 61092 1914 0 0 25 0 1 0 835650433 91774976 21084 4294967295 134512640 134714508 3221224592 3221223316 134622760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22406 21084 1111 63 0 22343 0
vsize: 89624
[startup+640.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29256
Raw data (stat): 29256 (bsolo_lpr) R 29255 24172 24171 0 -1 0 781804 0 0 0 62091 1916 0 0 25 0 1 0 835650433 92557312 21261 4294967295 134512640 134714508 3221224592 3221222592 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22597 21261 1111 63 0 22534 0
vsize: 90388
[startup+650.028 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29256
Raw data (stat): 29256 (bsolo_lpr) R 29255 24172 24171 0 -1 0 783559 0 0 0 63087 1920 0 0 25 0 1 0 835650433 91156480 20908 4294967295 134512640 134714508 3221224592 3221222528 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22255 20908 1111 63 0 22192 0
vsize: 89020
[startup+660.029 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29256
Raw data (stat): 29256 (bsolo_lpr) R 29255 24172 24171 0 -1 0 785561 0 0 0 64081 1926 0 0 25 0 1 0 835650433 90849280 20858 4294967295 134512640 134714508 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22180 20858 1111 63 0 22117 0
vsize: 88720
[startup+670.029 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29256
Raw data (stat): 29256 (bsolo_lpr) R 29255 24172 24171 0 -1 0 791749 0 0 0 65066 1941 0 0 25 0 1 0 835650433 90574848 20792 4294967295 134512640 134714508 3221224592 3221222928 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22113 20792 1111 63 0 22050 0
vsize: 88452
[startup+680.029 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29256
Raw data (stat): 29256 (bsolo_lpr) R 29255 24172 24171 0 -1 0 800766 0 0 0 66043 1964 0 0 25 0 1 0 835650433 92409856 21240 4294967295 134512640 134714508 3221224592 3221222544 1074918576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22561 21240 1111 63 0 22498 0
vsize: 90244
[startup+690.029 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29256
Raw data (stat): 29256 (bsolo_lpr) R 29255 24172 24171 0 -1 0 801767 0 0 0 67040 1968 0 0 25 0 1 0 835650433 92614656 21290 4294967295 134512640 134714508 3221224592 3221222848 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22611 21290 1111 63 0 22548 0
vsize: 90444
[startup+700.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29256
Raw data (stat): 29256 (bsolo_lpr) R 29255 24172 24171 0 -1 0 802459 0 0 0 68037 1971 0 0 25 0 1 0 835650433 94531584 21758 4294967295 134512640 134714508 3221224592 3221222592 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23079 21758 1111 63 0 23016 0
vsize: 92316
[startup+710.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29256
Raw data (stat): 29256 (bsolo_lpr) R 29255 24172 24171 0 -1 0 805414 0 0 0 69031 1977 0 0 25 0 1 0 835650433 92712960 21314 4294967295 134512640 134714508 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22635 21314 1111 63 0 22572 0
vsize: 90540
[startup+720.031 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29256
Raw data (stat): 29256 (bsolo_lpr) R 29255 24172 24171 0 -1 0 805414 0 0 0 70031 1977 0 0 25 0 1 0 835650433 92712960 21314 4294967295 134512640 134714508 3221224592 3221223304 134558490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22635 21314 1111 63 0 22572 0
vsize: 90540
[startup+730.032 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29256
Raw data (stat): 29256 (bsolo_lpr) R 29255 24172 24171 0 -1 0 805414 0 0 0 71031 1977 0 0 25 0 1 0 835650433 91803648 21092 4294967295 134512640 134714508 3221224592 3221222752 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22413 21092 1111 63 0 22350 0
vsize: 89652
[startup+740.031 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29256
Raw data (stat): 29256 (bsolo_lpr) R 29255 24172 24171 0 -1 0 808148 0 0 0 72023 1986 0 0 25 0 1 0 835650433 93212672 21436 4294967295 134512640 134714508 3221224592 3221222544 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22757 21436 1111 63 0 22694 0
vsize: 91028
[startup+750.032 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29256
Raw data (stat): 29256 (bsolo_lpr) R 29255 24172 24171 0 -1 0 810851 0 0 0 73016 1993 0 0 25 0 1 0 835650433 92430336 21245 4294967295 134512640 134714508 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22566 21245 1111 63 0 22503 0
vsize: 90264
[startup+760.033 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29256
Raw data (stat): 29256 (bsolo_lpr) R 29255 24172 24171 0 -1 0 810851 0 0 0 74016 1993 0 0 25 0 1 0 835650433 92430336 21245 4294967295 134512640 134714508 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22566 21245 1111 63 0 22503 0
vsize: 90264
[startup+770.033 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29256
Raw data (stat): 29256 (bsolo_lpr) R 29255 24172 24171 0 -1 0 813270 0 0 0 75011 1998 0 0 25 0 1 0 835650433 99917824 21291 4294967295 134512640 134714508 3221224592 3221220832 1075115715 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24394 21291 1111 63 0 24331 0
vsize: 97576
[startup+780.034 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29256
Raw data (stat): 29256 (bsolo_lpr) R 29255 24172 24171 0 -1 0 817657 0 0 0 76000 2009 0 0 25 0 1 0 835650433 92221440 21194 4294967295 134512640 134714508 3221224592 3221222592 1074918576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22515 21194 1111 63 0 22452 0
vsize: 90060
[startup+790.034 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29256
Raw data (stat): 29256 (bsolo_lpr) R 29255 24172 24171 0 -1 0 827339 0 0 0 76975 2035 0 0 25 0 1 0 835650433 91377664 20988 4294967295 134512640 134714508 3221224592 3221222832 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22309 20988 1111 63 0 22246 0
vsize: 89236
[startup+800.035 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29256
Raw data (stat): 29256 (bsolo_lpr) R 29255 24172 24171 0 -1 0 829326 0 0 0 77970 2040 0 0 25 0 1 0 835650433 91754496 21080 4294967295 134512640 134714508 3221224592 3221223384 134536900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22401 21080 1111 63 0 22338 0
vsize: 89604
[startup+810.035 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29256
Raw data (stat): 29256 (bsolo_lpr) R 29255 24172 24171 0 -1 0 830943 0 0 0 78966 2044 0 0 25 0 1 0 835650433 92393472 21236 4294967295 134512640 134714508 3221224592 3221222896 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22557 21236 1111 63 0 22494 0
vsize: 90228
[startup+820.036 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29256
Raw data (stat): 29256 (bsolo_lpr) R 29255 24172 24171 0 -1 0 832199 0 0 0 79963 2047 0 0 25 0 1 0 835650433 92151808 21177 4294967295 134512640 134714508 3221224592 3221222928 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22498 21177 1111 63 0 22435 0
vsize: 89992
[startup+830.037 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29256
Raw data (stat): 29256 (bsolo_lpr) R 29255 24172 24171 0 -1 0 840305 0 0 0 80941 2069 0 0 25 0 1 0 835650433 92508160 21268 4294967295 134512640 134714508 3221224592 3221222784 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22585 21268 1111 63 0 22522 0
vsize: 90340
[startup+840.037 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29256
Raw data (stat): 29256 (bsolo_lpr) R 29255 24172 24171 0 -1 0 840396 0 0 0 81940 2070 0 0 25 0 1 0 835650433 92880896 21359 4294967295 134512640 134714508 3221224592 3221222432 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22676 21359 1111 63 0 22613 0
vsize: 90704
[startup+850.038 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29256
Raw data (stat): 29256 (bsolo_lpr) R 29255 24172 24171 0 -1 0 840452 0 0 0 82940 2071 0 0 25 0 1 0 835650433 93110272 21415 4294967295 134512640 134714508 3221224592 3221222800 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22732 21415 1111 63 0 22669 0
vsize: 90928
[startup+860.038 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29256
Raw data (stat): 29256 (bsolo_lpr) R 29255 24172 24171 0 -1 0 841623 0 0 0 83937 2073 0 0 25 0 1 0 835650433 96374784 22207 4294967295 134512640 134714508 3221224592 3221222592 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23529 22207 1111 63 0 23466 0
vsize: 94116
[startup+870.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29256
Raw data (stat): 29256 (bsolo_lpr) R 29255 24172 24171 0 -1 0 841623 0 0 0 84937 2074 0 0 25 0 1 0 835650433 96374784 22207 4294967295 134512640 134714508 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23529 22207 1111 63 0 23466 0
vsize: 94116
[startup+880.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29256
Raw data (stat): 29256 (bsolo_lpr) R 29255 24172 24171 0 -1 0 844996 0 0 0 85930 2081 0 0 25 0 1 0 835650433 93290496 21459 4294967295 134512640 134714508 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22776 21459 1111 63 0 22713 0
vsize: 91104
[startup+890.039 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29256
Raw data (stat): 29256 (bsolo_lpr) R 29255 24172 24171 0 -1 0 844996 0 0 0 86930 2081 0 0 25 0 1 0 835650433 93290496 21459 4294967295 134512640 134714508 3221224592 3221223388 134542400 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22776 21459 1111 63 0 22713 0
vsize: 91104
[startup+900.041 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29256
Raw data (stat): 29256 (bsolo_lpr) R 29255 24172 24171 0 -1 0 844996 0 0 0 87931 2081 0 0 25 0 1 0 835650433 93290496 21459 4294967295 134512640 134714508 3221224592 3221223304 134543157 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22776 21459 1111 63 0 22713 0
vsize: 91104
[startup+910.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29256
Raw data (stat): 29256 (bsolo_lpr) R 29255 24172 24171 0 -1 0 844996 0 0 0 88931 2081 0 0 25 0 1 0 835650433 93290496 21459 4294967295 134512640 134714508 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22776 21459 1111 63 0 22713 0
vsize: 91104
[startup+920.041 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29256
Raw data (stat): 29256 (bsolo_lpr) R 29255 24172 24171 0 -1 0 846618 0 0 0 89927 2084 0 0 25 0 1 0 835650433 92332032 21225 4294967295 134512640 134714508 3221224592 3221222704 1074867340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22542 21225 1111 63 0 22479 0
vsize: 90168
[startup+930.042 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29256
Raw data (stat): 29256 (bsolo_lpr) R 29255 24172 24171 0 -1 0 860256 0 0 0 90896 2115 0 0 25 0 1 0 835650433 91955200 21126 4294967295 134512640 134714508 3221224592 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22450 21126 1111 63 0 22387 0
vsize: 89800
[startup+940.042 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29256
Raw data (stat): 29256 (bsolo_lpr) R 29255 24172 24171 0 -1 0 864066 0 0 0 91885 2126 0 0 25 0 1 0 835650433 93573120 21506 4294967295 134512640 134714508 3221224592 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22845 21506 1111 63 0 22782 0
vsize: 91380
[startup+950.042 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29256
Raw data (stat): 29256 (bsolo_lpr) R 29255 24172 24171 0 -1 0 864836 0 0 0 92883 2128 0 0 25 0 1 0 835650433 95739904 22032 4294967295 134512640 134714508 3221224592 3221222592 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23374 22032 1111 63 0 23311 0
vsize: 93496
[startup+960.043 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29256
Raw data (stat): 29256 (bsolo_lpr) R 29255 24172 24171 0 -1 0 867947 0 0 0 93877 2135 0 0 25 0 1 0 835650433 93437952 21488 4294967295 134512640 134714508 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22812 21488 1111 63 0 22749 0
vsize: 91248
[startup+970.043 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29256
Raw data (stat): 29256 (bsolo_lpr) R 29255 24172 24171 0 -1 0 867947 0 0 0 94877 2135 0 0 25 0 1 0 835650433 93437952 21488 4294967295 134512640 134714508 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22812 21488 1111 63 0 22749 0
vsize: 91248
[startup+980.043 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29256
Raw data (stat): 29256 (bsolo_lpr) R 29255 24172 24171 0 -1 0 867947 0 0 0 95877 2135 0 0 25 0 1 0 835650433 93437952 21488 4294967295 134512640 134714508 3221224592 3221223308 134558493 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22812 21488 1111 63 0 22749 0
vsize: 91248
[startup+990.044 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29256
Raw data (stat): 29256 (bsolo_lpr) R 29255 24172 24171 0 -1 0 868138 0 0 0 96876 2136 0 0 25 0 1 0 835650433 93007872 21383 4294967295 134512640 134714508 3221224592 3221222480 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22707 21383 1111 63 0 22644 0
vsize: 90828
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29256
Raw data (stat): 29256 (bsolo_lpr) R 29255 24172 24171 0 -1 0 868683 0 0 0 97875 2138 0 0 25 0 1 0 835650433 94576640 21753 4294967295 134512640 134714508 3221224592 3221222592 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23090 21753 1111 63 0 23027 0
vsize: 92360
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29256
Raw data (stat): 29256 (bsolo_lpr) R 29255 24172 24171 0 -1 0 871412 0 0 0 98868 2145 0 0 25 0 1 0 835650433 93204480 21428 4294967295 134512640 134714508 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22755 21428 1111 63 0 22692 0
vsize: 91020
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29256
Raw data (stat): 29256 (bsolo_lpr) R 29255 24172 24171 0 -1 0 874376 0 0 0 99861 2152 0 0 25 0 1 0 835650433 93249536 21442 4294967295 134512640 134714508 3221224592 3221223384 134536900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22766 21442 1111 63 0 22703 0
vsize: 91064
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29256
Raw data (stat): 29256 (bsolo_lpr) R 29255 24172 24171 0 -1 0 876961 0 0 0 100856 2157 0 0 25 0 1 0 835650433 93130752 21413 4294967295 134512640 134714508 3221224592 3221223312 134622915 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22737 21413 1111 63 0 22674 0
vsize: 90948
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29256
Raw data (stat): 29256 (bsolo_lpr) R 29255 24172 24171 0 -1 0 883022 0 0 0 101839 2175 0 0 25 0 1 0 835650433 93483008 21499 4294967295 134512640 134714508 3221224592 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22823 21499 1111 63 0 22760 0
vsize: 91292
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29256
Raw data (stat): 29256 (bsolo_lpr) R 29255 24172 24171 0 -1 0 885053 0 0 0 102833 2181 0 0 25 0 1 0 835650433 93577216 21522 4294967295 134512640 134714508 3221224592 3221223408 134622261 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22846 21522 1111 63 0 22783 0
vsize: 91384
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29256
Raw data (stat): 29256 (bsolo_lpr) R 29255 24172 24171 0 -1 0 896018 0 0 0 103804 2209 0 0 25 0 1 0 835650433 92790784 21332 4294967295 134512640 134714508 3221224592 3221223308 134543192 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22654 21332 1111 63 0 22591 0
vsize: 90616
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29256
Raw data (stat): 29256 (bsolo_lpr) R 29255 24172 24171 0 -1 0 927613 0 0 0 104729 2285 0 0 25 0 1 0 835650433 94396416 21642 4294967295 134512640 134714508 3221224592 3221223328 134622740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23046 21642 1111 63 0 22983 0
vsize: 92184
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29256
Raw data (stat): 29256 (bsolo_lpr) R 29255 24172 24171 0 -1 0 931922 0 0 0 105719 2296 0 0 25 0 1 0 835650433 95252480 21850 4294967295 134512640 134714508 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23255 21850 1111 63 0 23192 0
vsize: 93020
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29256
Raw data (stat): 29256 (bsolo_lpr) R 29255 24172 24171 0 -1 0 933236 0 0 0 106716 2299 0 0 25 0 1 0 835650433 95436800 21890 4294967295 134512640 134714508 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23300 21890 1111 63 0 23237 0
vsize: 93200
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29256
Raw data (stat): 29256 (bsolo_lpr) R 29255 24172 24171 0 -1 0 940018 0 0 0 107700 2315 0 0 25 0 1 0 835650433 95064064 21805 4294967295 134512640 134714508 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23209 21805 1111 63 0 23146 0
vsize: 92836
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29256
Raw data (stat): 29256 (bsolo_lpr) R 29255 24172 24171 0 -1 0 944180 0 0 0 108691 2324 0 0 25 0 1 0 835650433 95014912 21768 4294967295 134512640 134714508 3221224592 3221222848 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23197 21768 1111 63 0 23134 0
vsize: 92788
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29256
Raw data (stat): 29256 (bsolo_lpr) R 29255 24172 24171 0 -1 0 954980 0 0 0 109665 2349 0 0 25 0 1 0 835650433 94851072 21743 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23157 21743 1111 63 0 23094 0
vsize: 92628
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29256
Raw data (stat): 29256 (bsolo_lpr) R 29255 24172 24171 0 -1 0 964701 0 0 0 110642 2373 0 0 25 0 1 0 835650433 96923648 22184 4294967295 134512640 134714508 3221224592 3221222704 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23663 22184 1111 63 0 23600 0
vsize: 94652
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29256
Raw data (stat): 29256 (bsolo_lpr) R 29255 24172 24171 0 -1 0 964805 0 0 0 111642 2373 0 0 25 0 1 0 835650433 97333248 22288 4294967295 134512640 134714508 3221224592 3221222704 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23763 22288 1111 63 0 23700 0
vsize: 95052
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29256
Raw data (stat): 29256 (bsolo_lpr) R 29255 24172 24171 0 -1 0 964889 0 0 0 112641 2374 0 0 25 0 1 0 835650433 97628160 22372 4294967295 134512640 134714508 3221224592 3221222928 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23835 22372 1111 63 0 23772 0
vsize: 95340
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29256
Raw data (stat): 29256 (bsolo_lpr) R 29255 24172 24171 0 -1 0 964956 0 0 0 113640 2375 0 0 25 0 1 0 835650433 97972224 22439 4294967295 134512640 134714508 3221224592 3221222736 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23919 22439 1111 63 0 23856 0
vsize: 95676
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29256
Raw data (stat): 29256 (bsolo_lpr) R 29255 24172 24171 0 -1 0 965054 0 0 0 114640 2376 0 0 25 0 1 0 835650433 98299904 22537 4294967295 134512640 134714508 3221224592 3221222352 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23999 22537 1111 63 0 23936 0
vsize: 95996
[startup+1180.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29256
Raw data (stat): 29256 (bsolo_lpr) R 29255 24172 24171 0 -1 0 965099 0 0 0 115639 2377 0 0 25 0 1 0 835650433 98484224 22582 4294967295 134512640 134714508 3221224592 3221222800 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24044 22582 1111 63 0 23981 0
vsize: 96176
[startup+1190.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29256
Raw data (stat): 29256 (bsolo_lpr) R 29255 24172 24171 0 -1 0 965141 0 0 0 116639 2377 0 0 25 0 1 0 835650433 98656256 22624 4294967295 134512640 134714508 3221224592 3221222784 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24086 22624 1111 63 0 24023 0
vsize: 96344
[startup+1200.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29256
Raw data (stat): 29256 (bsolo_lpr) R 29255 24172 24171 0 -1 0 965184 0 0 0 117638 2378 0 0 25 0 1 0 835650433 98820096 22667 4294967295 134512640 134714508 3221224592 3221222736 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24126 22667 1111 63 0 24063 0
vsize: 96504
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.09 s]
Raw data (loadavg): 0.99 0.97 0.98 1/54 29256
Raw data (stat): 29256 (bsolo_lpr) Z 29255 24172 24171 0 -1 1036 965184 0 0 0 117638 2382 0 0 25 0 1 0 835650433 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.09
CPU time (s): 1200.22
CPU user time (s): 1176.39
CPU system time (s): 23.8274
CPU usage (%): 100.01
Max. virtual memory (Kb): 97576
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####