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/miplib3/normalized-mps-v2-20-10-lseu.opb
MD5SUM	99657262afbbfce7034a3ec6b29d9b3b
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.02984
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 26446

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc21 THE 2005-05-24 15:37:48 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=13495 boxname=wulflinc21 idbench=1039 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  99657262afbbfce7034a3ec6b29d9b3b  /oldhome/oroussel/tmp/wulflinc21/normalized-mps-v2-20-10-lseu.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc21/normalized-mps-v2-20-10-lseu.opb
IDLAUNCH: 13495
/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:        923828 kB
Buffers:         21084 kB
Cached:          69004 kB
SwapCached:       1168 kB
Active:          22180 kB
Inactive:        70536 kB
HighTotal:      131008 kB
HighFree:        59528 kB
LowTotal:       903652 kB
LowFree:        864300 kB
SwapTotal:     2097892 kB
SwapFree:      2096256 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5644 kB
Slab:            12392 kB
Committed_AS:    63912 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 15:57:50 (client local time) WITH STATUS 0 IN 1200.26 SECONDS
stats: 13495 7 1200.26 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.078 s
c Initial Lower Bound: 777
c Lower Bound Elapsed time: 0.0102
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 3184 @ 1.366
c NEW SOLUTION FOUND: 3074 @ 1.38
c NEW SOLUTION FOUND: 2879 @ 1.408
c NEW SOLUTION FOUND: 2798 @ 1.433
c NEW SOLUTION FOUND: 2783 @ 1.466
c NEW SOLUTION FOUND: 2709 @ 1.481
c NEW SOLUTION FOUND: 2599 @ 1.481
c NEW SOLUTION FOUND: 2596 @ 1.499
c NEW SOLUTION FOUND: 2471 @ 1.523
c NEW SOLUTION FOUND: 2401 @ 19.535
c NEW SOLUTION FOUND: 2377 @ 19.731
c NEW SOLUTION FOUND: 2283 @ 39.335
c NEW SOLUTION FOUND: 2232 @ 77.723
c NEW SOLUTION FOUND: 2156 @ 135.26
c NEW SOLUTION FOUND: 2155 @ 141.743
c NEW SOLUTION FOUND: 2144 @ 161.507
c NEW SOLUTION FOUND: 2124 @ 173.388
c NEW SOLUTION FOUND: 2088 @ 179.848
c NEW SOLUTION FOUND: 2060 @ 822.892
#### 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.93 0.97 0.98 2/55 659
Raw data (stat): 659 (runsolver) R 658 32363 32362 0 -1 64 4 0 0 0 0 0 0 0 20 0 1 0 708640845 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+9.99992 s]
Raw data (loadavg): 0.94 0.97 0.98 2/55 659
Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 8362 0 0 0 962 35 0 0 25 0 1 0 708640845 12607488 2391 4294967295 134512640 134714508 3221224592 3221222656 1074820306 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3078 2391 1111 63 0 3015 0
vsize: 12312
[startup+20.0006 s]
Raw data (loadavg): 0.95 0.97 0.98 2/55 659
Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 15720 0 0 0 1925 72 0 0 25 0 1 0 708640845 19898368 4121 4294967295 134512640 134714508 3221224592 3221220736 1074969383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4858 4121 1111 63 0 4795 0
vsize: 19432
[startup+30.0002 s]
Raw data (loadavg): 0.95 0.97 0.98 2/55 659
Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 20291 0 0 0 2905 92 0 0 25 0 1 0 708640845 22429696 4802 4294967295 134512640 134714508 3221224592 3221223304 134543187 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 s]
Raw data (loadavg): 0.96 0.97 0.98 2/55 659
Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 37350 0 0 0 3865 131 0 0 25 0 1 0 708640845 23375872 5032 4294967295 134512640 134714508 3221224592 3221221872 1074140016 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.0006 s]
Raw data (loadavg): 0.97 0.97 0.98 2/55 659
Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 51935 0 0 0 4830 165 0 0 25 0 1 0 708640845 24825856 5370 4294967295 134512640 134714508 3221224592 3221222592 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6061 5370 1111 63 0 5998 0
vsize: 24244
[startup+60.0003 s]
Raw data (loadavg): 0.97 0.97 0.98 2/55 659
Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 70235 0 0 0 5789 207 0 0 25 0 1 0 708640845 26722304 5591 4294967295 134512640 134714508 3221224592 3221220752 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6524 5602 1111 63 0 6461 0
vsize: 26096
[startup+70.0009 s]
Raw data (loadavg): 0.97 0.97 0.98 2/55 659
Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 90534 0 0 0 6742 254 0 0 25 0 1 0 708640845 27815936 5816 4294967295 134512640 134714508 3221224592 3221221888 1075240124 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6492 5808 1111 63 0 6429 0
vsize: 27164
[startup+80.0007 s]
Raw data (loadavg): 0.98 0.97 0.98 2/55 659
Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 132655 0 0 0 7641 355 0 0 25 0 1 0 708640845 33046528 7327 4294967295 134512640 134714508 3221224592 3221223056 1073990196 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8068 7327 1111 63 0 8005 0
vsize: 32272
[startup+90.0014 s]
Raw data (loadavg): 0.98 0.97 0.98 2/55 659
Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 173741 0 0 0 8548 448 0 0 25 0 1 0 708640845 38604800 8642 4294967295 134512640 134714508 3221224592 3221222320 1075828642 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.001 s]
Raw data (loadavg): 0.98 0.97 0.98 2/55 659
Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 211546 0 0 0 9465 530 0 0 25 0 1 0 708640845 43450368 9804 4294967295 134512640 134714508 3221224592 3221223308 134558476 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10608 9804 1111 63 0 10545 0
vsize: 42432
[startup+110.001 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 659
Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 240746 0 0 0 10396 600 0 0 25 0 1 0 708640845 45764608 10355 4294967295 134512640 134714508 3221224592 3221223200 134523856 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11173 10355 1111 63 0 11110 0
vsize: 44692
[startup+120.001 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 659
Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 242912 0 0 0 11391 606 0 0 25 0 1 0 708640845 48594944 11037 4294967295 134512640 134714508 3221224592 3221222592 1074918591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11864 11037 1111 63 0 11801 0
vsize: 47456
[startup+130.001 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 659
Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 244742 0 0 0 12387 609 0 0 25 0 1 0 708640845 47046656 10676 4294967295 134512640 134714508 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11486 10676 1111 63 0 11423 0
vsize: 45944
[startup+140.001 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 659
Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 270542 0 0 0 13323 673 0 0 25 0 1 0 708640845 48766976 11079 4294967295 134512640 134714508 3221224592 3221222376 1077410205 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.002 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 659
Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 283081 0 0 0 14293 703 0 0 25 0 1 0 708640845 50003968 11370 4294967295 134512640 134714508 3221224592 3221223360 134556835 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12208 11370 1111 63 0 12145 0
vsize: 48832
[startup+160.002 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 659
Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 306061 0 0 0 15240 756 0 0 25 0 1 0 708640845 51838976 11764 4294967295 134512640 134714508 3221224592 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12731 11764 1111 63 0 12668 0
vsize: 50624
[startup+170.002 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 659
Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 325297 0 0 0 16194 803 0 0 25 0 1 0 708640845 53940224 12237 4294967295 134512640 134714508 3221224592 3221222592 1074918576 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13169 12237 1111 63 0 13106 0
vsize: 52676
[startup+180.001 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 659
Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 349972 0 0 0 17132 865 0 0 25 0 1 0 708640845 57151488 12905 4294967295 134512640 134714508 3221224592 3221222376 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13953 12905 1111 63 0 13890 0
vsize: 55812
[startup+190.002 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 659
Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 356746 0 0 0 18117 880 0 0 25 0 1 0 708640845 58728448 13014 4294967295 134512640 134714508 3221224592 3221220812 1074878880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14039 13003 1111 63 0 13976 0
vsize: 57352
[startup+200.002 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 659
Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 380374 0 0 0 19061 936 0 0 25 0 1 0 708640845 59891712 13578 4294967295 134512640 134714508 3221224592 3221223384 134536921 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14622 13578 1111 63 0 14559 0
vsize: 58488
[startup+210.002 s]
Raw data (loadavg): 0.99 0.97 0.98 3/55 659
Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 413070 0 0 0 19988 1010 0 0 25 0 1 0 708640845 63717376 14445 4294967295 134512640 134714508 3221224592 3221222920 1075332533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15556 14445 1111 63 0 15493 0
vsize: 62224
[startup+220.002 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 659
Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 443453 0 0 0 20919 1079 0 0 25 0 1 0 708640845 68169728 15241 4294967295 134512640 134714508 3221224592 3221220752 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16643 15243 1111 63 0 16580 0
vsize: 66572
[startup+230.002 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 659
Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 472167 0 0 0 21854 1143 0 0 25 0 1 0 708640845 70877184 15961 4294967295 134512640 134714508 3221224592 3221220864 1074961275 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17304 15965 1111 63 0 17241 0
vsize: 69216
[startup+240.002 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 659
Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 509996 0 0 0 22770 1228 0 0 25 0 1 0 708640845 73986048 16907 4294967295 134512640 134714508 3221224592 3221222480 1074056010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18063 16907 1111 63 0 18000 0
vsize: 72252
[startup+250.001 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 659
Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 522309 0 0 0 23742 1256 0 0 25 0 1 0 708640845 75137024 17189 4294967295 134512640 134714508 3221224592 3221222928 1074153753 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18344 17189 1111 63 0 18281 0
vsize: 73376
[startup+260.001 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 659
Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 526854 0 0 0 24731 1268 0 0 25 0 1 0 708640845 77819904 17814 4294967295 134512640 134714508 3221224592 3221222592 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18999 17814 1111 63 0 18936 0
vsize: 75996
[startup+270.001 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 659
Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 529891 0 0 0 25723 1275 0 0 25 0 1 0 708640845 75640832 17304 4294967295 134512640 134714508 3221224592 3221222592 1074918576 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18467 17304 1111 63 0 18404 0
vsize: 73868
[startup+280 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 659
Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 562430 0 0 0 26646 1353 0 0 25 0 1 0 708640845 78749696 18024 4294967295 134512640 134714508 3221224592 3221223264 134535793 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19226 18024 1111 63 0 19163 0
vsize: 76904
[startup+290.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 659
Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 577256 0 0 0 27616 1383 0 0 25 0 1 0 708640845 81289216 18299 4294967295 134512640 134714508 3221224592 3221221484 1077387418 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19846 18301 1111 63 0 19783 0
vsize: 79384
[startup+300.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 659
Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 579955 0 0 0 28610 1390 0 0 25 0 1 0 708640845 80912384 18501 4294967295 134512640 134714508 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19754 18501 1111 63 0 19691 0
vsize: 79016
[startup+310.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 659
Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 602741 0 0 0 29557 1443 0 0 25 0 1 0 708640845 81616896 18638 4294967295 134512640 134714508 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19926 18638 1111 63 0 19863 0
vsize: 79704
[startup+320.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 659
Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 607001 0 0 0 30548 1452 0 0 25 0 1 0 708640845 82141184 18782 4294967295 134512640 134714508 3221224592 3221223392 134622489 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20054 18782 1111 63 0 19991 0
vsize: 80216
[startup+330.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 659
Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 609328 0 0 0 31542 1459 0 0 25 0 1 0 708640845 82792448 18944 4294967295 134512640 134714508 3221224592 3221222736 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20213 18944 1111 63 0 20150 0
vsize: 80852
[startup+340.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 659
Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 609426 0 0 0 32540 1460 0 0 25 0 1 0 708640845 83275776 19042 4294967295 134512640 134714508 3221224592 3221222800 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20331 19042 1111 63 0 20268 0
vsize: 81324
[startup+350.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 659
Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 609501 0 0 0 33540 1461 0 0 25 0 1 0 708640845 83521536 19117 4294967295 134512640 134714508 3221224592 3221222704 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20391 19117 1111 63 0 20328 0
vsize: 81564
[startup+360.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 659
Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 609557 0 0 0 34540 1461 0 0 25 0 1 0 708640845 83750912 19173 4294967295 134512640 134714508 3221224592 3221222880 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20447 19173 1111 63 0 20384 0
vsize: 81788
[startup+370.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 659
Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 609635 0 0 0 35540 1462 0 0 25 0 1 0 708640845 84107264 19251 4294967295 134512640 134714508 3221224592 3221222752 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20534 19251 1111 63 0 20471 0
vsize: 82136
[startup+380.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 659
Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 611142 0 0 0 36536 1466 0 0 25 0 1 0 708640845 88080384 20221 4294967295 134512640 134714508 3221224592 3221222592 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21504 20221 1111 63 0 21441 0
vsize: 86016
[startup+390.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 659
Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 611142 0 0 0 37536 1466 0 0 25 0 1 0 708640845 88080384 20221 4294967295 134512640 134714508 3221224592 3221222592 1074918576 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21504 20221 1111 63 0 21441 0
vsize: 86016
[startup+400.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 659
Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 611142 0 0 0 38536 1466 0 0 25 0 1 0 708640845 88080384 20221 4294967295 134512640 134714508 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21504 20221 1111 63 0 21441 0
vsize: 86016
[startup+410.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 659
Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 611142 0 0 0 39536 1466 0 0 25 0 1 0 708640845 88080384 20221 4294967295 134512640 134714508 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21504 20221 1111 63 0 21441 0
vsize: 86016
[startup+420.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 659
Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 611142 0 0 0 40537 1466 0 0 25 0 1 0 708640845 88080384 20221 4294967295 134512640 134714508 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21504 20221 1111 63 0 21441 0
vsize: 86016
[startup+430.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 659
Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 611142 0 0 0 41537 1466 0 0 25 0 1 0 708640845 88080384 20221 4294967295 134512640 134714508 3221224592 3221222592 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21504 20221 1111 63 0 21441 0
vsize: 86016
[startup+440.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 659
Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 616314 0 0 0 42525 1478 0 0 25 0 1 0 708640845 84213760 19291 4294967295 134512640 134714508 3221224592 3221223316 134622811 0 0 7 0 0 0 0 17 1 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/55 659
Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 616314 0 0 0 43525 1478 0 0 25 0 1 0 708640845 84213760 19291 4294967295 134512640 134714508 3221224592 3221223304 134558492 0 0 7 0 0 0 0 17 1 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/55 659
Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 616314 0 0 0 44525 1478 0 0 25 0 1 0 708640845 84213760 19291 4294967295 134512640 134714508 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20560 19291 1111 63 0 20497 0
vsize: 82240
[startup+470.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 659
Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 616314 0 0 0 45525 1478 0 0 25 0 1 0 708640845 84213760 19291 4294967295 134512640 134714508 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20560 19291 1111 63 0 20497 0
vsize: 82240
[startup+480.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 659
Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 616314 0 0 0 46526 1478 0 0 25 0 1 0 708640845 84213760 19291 4294967295 134512640 134714508 3221224592 3221223372 134622696 0 0 7 0 0 0 0 17 1 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/55 659
Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 616314 0 0 0 47526 1478 0 0 25 0 1 0 708640845 84213760 19291 4294967295 134512640 134714508 3221224592 3221223396 134622267 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20560 19291 1111 63 0 20497 0
vsize: 82240
[startup+500.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 659
Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 616314 0 0 0 48526 1478 0 0 25 0 1 0 708640845 84213760 19291 4294967295 134512640 134714508 3221224592 3221223368 134543568 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20560 19291 1111 63 0 20497 0
vsize: 82240
[startup+510.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 659
Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 617183 0 0 0 49524 1480 0 0 25 0 1 0 708640845 82567168 18889 4294967295 134512640 134714508 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20158 18889 1111 63 0 20095 0
vsize: 80632
[startup+520.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 659
Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 640479 0 0 0 50467 1537 0 0 25 0 1 0 708640845 84742144 19069 4294967295 134512640 134714508 3221224592 3221222920 1077799185 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20382 19067 1111 63 0 20319 0
vsize: 82756
[startup+530.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 659
Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 679287 0 0 0 51372 1632 0 0 25 0 1 0 708640845 86458368 19787 4294967295 134512640 134714508 3221224592 3221222592 1074918583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21108 19787 1111 63 0 21045 0
vsize: 84432
[startup+540.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 659
Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 691014 0 0 0 52346 1658 0 0 25 0 1 0 708640845 87130112 19956 4294967295 134512640 134714508 3221224592 3221223368 134543568 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21272 19956 1111 63 0 21209 0
vsize: 85088
[startup+550.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 659
Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 719496 0 0 0 53278 1727 0 0 25 0 1 0 708640845 90480640 20151 4294967295 134512640 134714508 3221224592 3221221580 1077404742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22703 20153 1111 63 0 22640 0
vsize: 88360
[startup+560.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 659
Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 740636 0 0 0 54225 1780 0 0 25 0 1 0 708640845 94515200 20806 4294967295 134512640 134714508 3221224592 3221220832 1075115715 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23075 20806 1111 63 0 23012 0
vsize: 92300
[startup+570.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 659
Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 773776 0 0 0 55146 1860 0 0 25 0 1 0 708640845 90054656 20662 4294967295 134512640 134714508 3221224592 3221223304 134558485 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21986 20662 1111 63 0 21923 0
vsize: 87944
[startup+580.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 659
Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 777668 0 0 0 56137 1868 0 0 25 0 1 0 708640845 91455488 21006 4294967295 134512640 134714508 3221224592 3221222848 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22328 21006 1111 63 0 22265 0
vsize: 89312
[startup+590.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 659
Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 778572 0 0 0 57135 1870 0 0 25 0 1 0 708640845 94060544 21633 4294967295 134512640 134714508 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22964 21633 1111 63 0 22901 0
vsize: 91856
[startup+600.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 659
Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 778572 0 0 0 58136 1870 0 0 25 0 1 0 708640845 94060544 21633 4294967295 134512640 134714508 3221224592 3221222592 1074918591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22964 21633 1111 63 0 22901 0
vsize: 91856
[startup+610.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 659
Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 781196 0 0 0 59131 1875 0 0 25 0 1 0 708640845 91774976 21084 4294967295 134512640 134714508 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22406 21084 1111 63 0 22343 0
vsize: 89624
[startup+620.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 659
Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 781196 0 0 0 60131 1875 0 0 25 0 1 0 708640845 91774976 21084 4294967295 134512640 134714508 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22406 21084 1111 63 0 22343 0
vsize: 89624
[startup+630.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 659
Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 781196 0 0 0 61132 1875 0 0 25 0 1 0 708640845 91774976 21084 4294967295 134512640 134714508 3221224592 3221223308 134558493 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22406 21084 1111 63 0 22343 0
vsize: 89624
[startup+640.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 659
Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 781638 0 0 0 62130 1877 0 0 25 0 1 0 708640845 92770304 21253 4294967295 134512640 134714508 3221224592 3221222704 1074867340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22649 21253 1111 63 0 22586 0
vsize: 90596
[startup+650.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 659
Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 783560 0 0 0 63125 1882 0 0 25 0 1 0 708640845 91156480 20909 4294967295 134512640 134714508 3221224592 3221222896 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22255 20909 1111 63 0 22192 0
vsize: 89020
[startup+660.041 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 659
Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 785561 0 0 0 64123 1886 0 0 25 0 1 0 708640845 90849280 20858 4294967295 134512640 134714508 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22180 20858 1111 63 0 22117 0
vsize: 88720
[startup+670.061 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 659
Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 791416 0 0 0 65112 1900 0 0 25 0 1 0 708640845 90574848 20792 4294967295 134512640 134714508 3221224592 3221222592 1074918591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22113 20792 1111 63 0 22050 0
vsize: 88452
[startup+680.061 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 659
Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 800516 0 0 0 66088 1924 0 0 25 0 1 0 708640845 91652096 21055 4294967295 134512640 134714508 3221224592 3221222320 1077814665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22376 21055 1111 63 0 22313 0
vsize: 89504
[startup+690.061 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 659
Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 801770 0 0 0 67085 1927 0 0 25 0 1 0 708640845 92626944 21293 4294967295 134512640 134714508 3221224592 3221222896 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22614 21293 1111 63 0 22551 0
vsize: 90456
[startup+700.061 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 659
Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 802459 0 0 0 68084 1929 0 0 25 0 1 0 708640845 94531584 21758 4294967295 134512640 134714508 3221224592 3221222592 1074918583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23079 21758 1111 63 0 23016 0
vsize: 92316
[startup+710.061 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 659
Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 805414 0 0 0 69076 1936 0 0 25 0 1 0 708640845 92712960 21314 4294967295 134512640 134714508 3221224592 3221223408 134622477 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22635 21314 1111 63 0 22572 0
vsize: 90540
[startup+720.061 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 659
Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 805414 0 0 0 70076 1936 0 0 25 0 1 0 708640845 92712960 21314 4294967295 134512640 134714508 3221224592 3221223384 134543552 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22635 21314 1111 63 0 22572 0
vsize: 90540
[startup+730.06 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 659
Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 805414 0 0 0 71076 1936 0 0 25 0 1 0 708640845 91803648 21092 4294967295 134512640 134714508 3221224592 3221222736 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22413 21092 1111 63 0 22350 0
vsize: 89652
[startup+740.061 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 659
Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 808148 0 0 0 72070 1942 0 0 25 0 1 0 708640845 93212672 21436 4294967295 134512640 134714508 3221224592 3221222544 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22757 21436 1111 63 0 22694 0
vsize: 91028
[startup+750.061 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 659
Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 810851 0 0 0 73064 1949 0 0 25 0 1 0 708640845 92430336 21245 4294967295 134512640 134714508 3221224592 3221223384 134542401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22566 21245 1111 63 0 22503 0
vsize: 90264
[startup+760.06 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 659
Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 810851 0 0 0 74065 1949 0 0 25 0 1 0 708640845 91893760 21114 4294967295 134512640 134714508 3221224592 3221222928 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22435 21114 1111 63 0 22372 0
vsize: 89740
[startup+770.06 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 659
Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 813483 0 0 0 75057 1956 0 0 25 0 1 0 708640845 91893760 21114 4294967295 134512640 134714508 3221224592 3221222896 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22435 21114 1111 63 0 22372 0
vsize: 89740
[startup+780.06 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 659
Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 817657 0 0 0 76048 1966 0 0 25 0 1 0 708640845 92221440 21194 4294967295 134512640 134714508 3221224592 3221222592 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22515 21194 1111 63 0 22452 0
vsize: 90060
[startup+790.06 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 659
Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 827341 0 0 0 77024 1990 0 0 25 0 1 0 708640845 91512832 20990 4294967295 134512640 134714508 3221224592 3221222328 1077782939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22342 20990 1111 63 0 22279 0
vsize: 89368
[startup+800.06 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 659
Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 829326 0 0 0 78019 1994 0 0 25 0 1 0 708640845 91754496 21080 4294967295 134512640 134714508 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22401 21080 1111 63 0 22338 0
vsize: 89604
[startup+810.06 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 659
Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 831128 0 0 0 79016 1998 0 0 25 0 1 0 708640845 92901376 21360 4294967295 134512640 134714508 3221224592 3221222592 1074918576 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22681 21360 1111 63 0 22618 0
vsize: 90724
[startup+820.059 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 659
Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 832273 0 0 0 80014 2000 0 0 25 0 1 0 708640845 92303360 21214 4294967295 134512640 134714508 3221224592 3221222592 1074918576 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22535 21214 1111 63 0 22472 0
vsize: 90140
[startup+830.059 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 659
Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 840320 0 0 0 80993 2021 0 0 25 0 1 0 708640845 92569600 21283 4294967295 134512640 134714508 3221224592 3221222880 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22600 21283 1111 63 0 22537 0
vsize: 90400
[startup+840.06 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 659
Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 840411 0 0 0 81991 2022 0 0 25 0 1 0 708640845 92942336 21374 4294967295 134512640 134714508 3221224592 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22691 21374 1111 63 0 22628 0
vsize: 90764
[startup+850.06 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 659
Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 840471 0 0 0 82990 2023 0 0 25 0 1 0 708640845 93188096 21434 4294967295 134512640 134714508 3221224592 3221222848 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22751 21434 1111 63 0 22688 0
vsize: 91004
[startup+860.06 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 659
Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 841623 0 0 0 83987 2026 0 0 25 0 1 0 708640845 96374784 22207 4294967295 134512640 134714508 3221224592 3221222592 1074918576 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23529 22207 1111 63 0 23466 0
vsize: 94116
[startup+870.06 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 659
Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 844996 0 0 0 84980 2034 0 0 25 0 1 0 708640845 93290496 21459 4294967295 134512640 134714508 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22776 21459 1111 63 0 22713 0
vsize: 91104
[startup+880.059 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 659
Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 844996 0 0 0 85980 2034 0 0 25 0 1 0 708640845 93290496 21459 4294967295 134512640 134714508 3221224592 3221223384 134543552 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22776 21459 1111 63 0 22713 0
vsize: 91104
[startup+890.059 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 659
Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 844996 0 0 0 86980 2034 0 0 25 0 1 0 708640845 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+900.059 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 659
Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 844996 0 0 0 87979 2034 0 0 25 0 1 0 708640845 93290496 21459 4294967295 134512640 134714508 3221224592 3221223328 134622873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22776 21459 1111 63 0 22713 0
vsize: 91104
[startup+910.058 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 659
Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 845099 0 0 0 88979 2034 0 0 25 0 1 0 708640845 92078080 21163 4294967295 134512640 134714508 3221224592 3221222752 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22480 21163 1111 63 0 22417 0
vsize: 89920
[startup+920.059 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 659
Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 848709 0 0 0 89972 2042 0 0 25 0 1 0 708640845 92573696 21271 4294967295 134512640 134714508 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22601 21271 1111 63 0 22538 0
vsize: 90404
[startup+930.059 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 659
Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 863891 0 0 0 90935 2079 0 0 25 0 1 0 708640845 92876800 21331 4294967295 134512640 134714508 3221224592 3221222784 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22675 21331 1111 63 0 22612 0
vsize: 90700
[startup+940.058 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 659
Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 864836 0 0 0 91931 2083 0 0 25 0 1 0 708640845 95739904 22032 4294967295 134512640 134714508 3221224592 3221222592 1074918599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23374 22032 1111 63 0 23311 0
vsize: 93496
[startup+950.058 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 659
Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 864836 0 0 0 92931 2083 0 0 25 0 1 0 708640845 95739904 22032 4294967295 134512640 134714508 3221224592 3221222592 1074918591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23374 22032 1111 63 0 23311 0
vsize: 93496
[startup+960.058 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 659
Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 867947 0 0 0 93925 2090 0 0 25 0 1 0 708640845 93437952 21488 4294967295 134512640 134714508 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22812 21488 1111 63 0 22749 0
vsize: 91248
[startup+970.058 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 659
Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 867947 0 0 0 94925 2090 0 0 25 0 1 0 708640845 93437952 21488 4294967295 134512640 134714508 3221224592 3221223308 134543192 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22812 21488 1111 63 0 22749 0
vsize: 91248
[startup+980.058 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 659
Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 867947 0 0 0 95925 2090 0 0 25 0 1 0 708640845 93437952 21488 4294967295 134512640 134714508 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22812 21488 1111 63 0 22749 0
vsize: 91248
[startup+990.059 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 659
Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 868683 0 0 0 96922 2093 0 0 25 0 1 0 708640845 94576640 21753 4294967295 134512640 134714508 3221224592 3221222592 1074918599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23090 21753 1111 63 0 23027 0
vsize: 92360
[startup+1000.06 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 659
Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 871162 0 0 0 97916 2099 0 0 25 0 1 0 708640845 93134848 21414 4294967295 134512640 134714508 3221224592 3221223304 134543144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22738 21414 1111 63 0 22675 0
vsize: 90952
[startup+1010.06 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 659
Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 873604 0 0 0 98911 2104 0 0 25 0 1 0 708640845 95006720 21565 4294967295 134512640 134714508 3221224592 3221221076 1075863647 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23195 21565 1111 63 0 23132 0
vsize: 92780
[startup+1020.07 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 659
Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 874875 0 0 0 99910 2107 0 0 25 0 1 0 708640845 93147136 21414 4294967295 134512640 134714508 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22741 21414 1111 63 0 22678 0
vsize: 90964
[startup+1030.07 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 659
Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 880099 0 0 0 100897 2119 0 0 25 0 1 0 708640845 92917760 21361 4294967295 134512640 134714508 3221224592 3221223148 134536763 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22685 21361 1111 63 0 22622 0
vsize: 90740
[startup+1040.07 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 659
Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 883529 0 0 0 101888 2129 0 0 25 0 1 0 708640845 94900224 21844 4294967295 134512640 134714508 3221224592 3221222592 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23169 21844 1111 63 0 23106 0
vsize: 92676
[startup+1050.07 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 659
Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 885169 0 0 0 102885 2132 0 0 25 0 1 0 708640845 93294592 21440 4294967295 134512640 134714508 3221224592 3221222592 1074918280 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22777 21440 1111 63 0 22714 0
vsize: 91108
[startup+1060.07 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 659
Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 910106 0 0 0 103826 2192 0 0 25 0 1 0 708640845 98320384 21422 4294967295 134512640 134714508 3221224592 3221220752 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24004 21425 1111 63 0 23941 0
vsize: 96016
[startup+1070.07 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 659
Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 929776 0 0 0 104780 2237 0 0 25 0 1 0 708640845 96350208 22103 4294967295 134512640 134714508 3221224592 3221222592 1074918599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23523 22103 1111 63 0 23460 0
vsize: 94092
[startup+1080.07 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 659
Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 931922 0 0 0 105776 2242 0 0 25 0 1 0 708640845 94679040 21710 4294967295 134512640 134714508 3221224592 3221222848 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23115 21710 1111 63 0 23052 0
vsize: 92460
[startup+1090.07 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 659
Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 937448 0 0 0 106764 2254 0 0 25 0 1 0 708640845 94625792 21698 4294967295 134512640 134714508 3221224592 3221222880 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23102 21698 1111 63 0 23039 0
vsize: 92408
[startup+1100.07 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 659
Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 940093 0 0 0 107758 2261 0 0 25 0 1 0 708640845 95027200 21773 4294967295 134512640 134714508 3221224592 3221222896 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23200 21773 1111 63 0 23137 0
vsize: 92800
[startup+1110.07 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 659
Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 945172 0 0 0 108746 2273 0 0 25 0 1 0 708640845 95113216 21812 4294967295 134512640 134714508 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23221 21812 1111 63 0 23158 0
vsize: 92884
[startup+1120.07 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 659
Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 964299 0 0 0 109701 2318 0 0 25 0 1 0 708640845 95735808 21925 4294967295 134512640 134714508 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23373 21925 1111 63 0 23310 0
vsize: 93492
[startup+1130.08 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 659
Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 964742 0 0 0 110700 2319 0 0 25 0 1 0 708640845 97083392 22225 4294967295 134512640 134714508 3221224592 3221222784 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23702 22225 1111 63 0 23639 0
vsize: 94808
[startup+1140.08 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 659
Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 964829 0 0 0 111700 2320 0 0 25 0 1 0 708640845 97431552 22312 4294967295 134512640 134714508 3221224592 3221222784 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23787 22312 1111 63 0 23724 0
vsize: 95148
[startup+1150.08 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 659
Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 964904 0 0 0 112699 2320 0 0 25 0 1 0 708640845 97689600 22387 4294967295 134512640 134714508 3221224592 3221222784 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23850 22387 1111 63 0 23787 0
vsize: 95400
[startup+1160.08 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 659
Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 964968 0 0 0 113699 2321 0 0 25 0 1 0 708640845 98021376 22451 4294967295 134512640 134714508 3221224592 3221222752 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23931 22451 1111 63 0 23868 0
vsize: 95724
[startup+1170.08 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 659
Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 965064 0 0 0 114698 2322 0 0 25 0 1 0 708640845 98340864 22547 4294967295 134512640 134714508 3221224592 3221222800 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24009 22547 1111 63 0 23946 0
vsize: 96036
[startup+1180.08 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 659
Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 965108 0 0 0 115698 2322 0 0 25 0 1 0 708640845 98521088 22591 4294967295 134512640 134714508 3221224592 3221222752 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24053 22591 1111 63 0 23990 0
vsize: 96212
[startup+1190.08 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 659
Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 965151 0 0 0 116698 2323 0 0 25 0 1 0 708640845 98684928 22634 4294967295 134512640 134714508 3221224592 3221222784 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24093 22634 1111 63 0 24030 0
vsize: 96372
[startup+1200.08 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 659
Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 965190 0 0 0 117697 2324 0 0 25 0 1 0 708640845 98844672 22673 4294967295 134512640 134714508 3221224592 3221222800 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24132 22673 1111 63 0 24069 0
vsize: 96528
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.12 s]
Raw data (loadavg): 0.99 0.97 0.98 1/55 659
Raw data (stat): 659 (bsolo_lpr) Z 658 32363 32362 0 -1 1036 965190 0 0 0 117697 2328 0 0 25 0 1 0 708640845 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.12
CPU time (s): 1200.26
CPU user time (s): 1176.97
CPU system time (s): 23.2835
CPU usage (%): 100.011
Max. virtual memory (Kb): 96528
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####