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-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-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.02884
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 27105

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc30 THE 2005-05-24 19:15:20 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=18487 boxname=wulflinc30 idbench=1423 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  99657262afbbfce7034a3ec6b29d9b3b  /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-13-7-lseu.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-13-7-lseu.opb
IDLAUNCH: 18487
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
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.072
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        436584 kB
Buffers:         15032 kB
Cached:         551756 kB
SwapCached:        672 kB
Active:          24828 kB
Inactive:       544244 kB
HighTotal:      131008 kB
HighFree:         4648 kB
LowTotal:       903652 kB
LowFree:        431936 kB
SwapTotal:     2097892 kB
SwapFree:      2096524 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5224 kB
Slab:            23364 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 19:35:22 (client local time) WITH STATUS 0 IN 1200.24 SECONDS
stats: 18487 7 1200.24 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.077 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.354
c NEW SOLUTION FOUND: 3074 @ 1.368
c NEW SOLUTION FOUND: 2879 @ 1.396
c NEW SOLUTION FOUND: 2798 @ 1.422
c NEW SOLUTION FOUND: 2783 @ 1.455
c NEW SOLUTION FOUND: 2709 @ 1.47
c NEW SOLUTION FOUND: 2599 @ 1.471
c NEW SOLUTION FOUND: 2596 @ 1.488
c NEW SOLUTION FOUND: 2471 @ 1.512
c NEW SOLUTION FOUND: 2401 @ 19.548
c NEW SOLUTION FOUND: 2377 @ 19.742
c NEW SOLUTION FOUND: 2283 @ 39.539
c NEW SOLUTION FOUND: 2232 @ 77.794
c NEW SOLUTION FOUND: 2156 @ 135.456
c NEW SOLUTION FOUND: 2155 @ 141.887
c NEW SOLUTION FOUND: 2144 @ 161.652
c NEW SOLUTION FOUND: 2124 @ 173.594
c NEW SOLUTION FOUND: 2088 @ 180.024
c NEW SOLUTION FOUND: 2060 @ 824.216
#### 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.92 0.98 0.99 2/54 25508
Raw data (stat): 25508 (runsolver) R 25507 22056 22055 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 832676168 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.001 s]
Raw data (loadavg): 0.93 0.98 0.99 2/54 25508
Raw data (stat): 25508 (bsolo_lpr) R 25507 22056 22055 0 -1 0 8376 0 0 0 961 36 0 0 25 0 1 0 832676168 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.0015 s]
Raw data (loadavg): 0.94 0.98 0.99 2/54 25508
Raw data (stat): 25508 (bsolo_lpr) R 25507 22056 22055 0 -1 0 15718 0 0 0 1922 76 0 0 25 0 1 0 832676168 19685376 4119 4294967295 134512640 134714508 3221224592 3221223196 134542288 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4806 4119 1111 63 0 4743 0
vsize: 19224
[startup+30.0023 s]
Raw data (loadavg): 0.95 0.98 0.99 2/54 25508
Raw data (stat): 25508 (bsolo_lpr) R 25507 22056 22055 0 -1 0 20291 0 0 0 2905 92 0 0 25 0 1 0 832676168 22429696 4802 4294967295 134512640 134714508 3221224592 3221223384 134543552 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.0026 s]
Raw data (loadavg): 0.96 0.98 0.99 2/54 25508
Raw data (stat): 25508 (bsolo_lpr) R 25507 22056 22055 0 -1 0 36909 0 0 0 3868 130 0 0 25 0 1 0 832676168 23375872 5032 4294967295 134512640 134714508 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5707 5032 1111 63 0 5644 0
vsize: 22828
[startup+50.0028 s]
Raw data (loadavg): 0.96 0.98 0.99 2/54 25508
Raw data (stat): 25508 (bsolo_lpr) R 25507 22056 22055 0 -1 0 51902 0 0 0 4835 163 0 0 25 0 1 0 832676168 24891392 5370 4294967295 134512640 134714508 3221224592 3221222704 1074867334 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6077 5370 1111 63 0 6014 0
vsize: 24308
[startup+60.0027 s]
Raw data (loadavg): 0.97 0.98 0.99 2/54 25508
Raw data (stat): 25508 (bsolo_lpr) R 25507 22056 22055 0 -1 0 70159 0 0 0 5795 202 0 0 25 0 1 0 832676168 25419776 5531 4294967295 134512640 134714508 3221224592 3221223304 134543157 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6206 5531 1111 63 0 6143 0
vsize: 24824
[startup+70.0028 s]
Raw data (loadavg): 0.97 0.98 0.99 2/54 25508
Raw data (stat): 25508 (bsolo_lpr) R 25507 22056 22055 0 -1 0 90330 0 0 0 6748 250 0 0 25 0 1 0 832676168 26591232 5808 4294967295 134512640 134714508 3221224592 3221222944 1074153760 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.0033 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 25508
Raw data (stat): 25508 (bsolo_lpr) R 25507 22056 22055 0 -1 0 132412 0 0 0 7648 349 0 0 25 0 1 0 832676168 34172928 7332 4294967295 134512640 134714508 3221224592 3221220864 1074806346 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8343 7333 1111 63 0 8280 0
vsize: 33372
[startup+90.0033 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 25508
Raw data (stat): 25508 (bsolo_lpr) R 25507 22056 22055 0 -1 0 173305 0 0 0 8552 446 0 0 25 0 1 0 832676168 39837696 8723 4294967295 134512640 134714508 3221224592 3221220556 1074860626 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9726 8723 1111 63 0 9663 0
vsize: 38904
[startup+100.003 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 25508
Raw data (stat): 25508 (bsolo_lpr) R 25507 22056 22055 0 -1 0 211363 0 0 0 9470 529 0 0 25 0 1 0 832676168 43479040 9807 4294967295 134512640 134714508 3221224592 3221223304 134558490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10615 9807 1111 63 0 10552 0
vsize: 42460
[startup+110.004 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 25508
Raw data (stat): 25508 (bsolo_lpr) R 25507 22056 22055 0 -1 0 240589 0 0 0 10406 592 0 0 25 0 1 0 832676168 46911488 10370 4294967295 134512640 134714508 3221224592 3221220752 1075091317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11453 10372 1111 63 0 11390 0
vsize: 45812
[startup+120.003 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25508
Raw data (stat): 25508 (bsolo_lpr) R 25507 22056 22055 0 -1 0 242912 0 0 0 11401 598 0 0 25 0 1 0 832676168 48594944 11037 4294967295 134512640 134714508 3221224592 3221222592 1074918597 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.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25508
Raw data (stat): 25508 (bsolo_lpr) R 25507 22056 22055 0 -1 0 244742 0 0 0 12397 601 0 0 25 0 1 0 832676168 47046656 10676 4294967295 134512640 134714508 3221224592 3221223392 134622638 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.003 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25508
Raw data (stat): 25508 (bsolo_lpr) R 25507 22056 22055 0 -1 0 270280 0 0 0 13335 664 0 0 25 0 1 0 832676168 48742400 11043 4294967295 134512640 134714508 3221224592 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11900 11043 1111 63 0 11837 0
vsize: 47600
[startup+150.003 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25508
Raw data (stat): 25508 (bsolo_lpr) R 25507 22056 22055 0 -1 0 283081 0 0 0 14304 695 0 0 25 0 1 0 832676168 50003968 11370 4294967295 134512640 134714508 3221224592 3221223368 134542416 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.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25508
Raw data (stat): 25508 (bsolo_lpr) R 25507 22056 22055 0 -1 0 305490 0 0 0 15252 747 0 0 25 0 1 0 832676168 52948992 11762 4294967295 134512640 134714508 3221224592 3221220696 1075663397 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12628 11745 1111 63 0 12565 0
vsize: 51708
[startup+170.003 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25508
Raw data (stat): 25508 (bsolo_lpr) R 25507 22056 22055 0 -1 0 325291 0 0 0 16208 791 0 0 25 0 1 0 832676168 54087680 12286 4294967295 134512640 134714508 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13205 12286 1111 63 0 13142 0
vsize: 52820
[startup+180.003 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25508
Raw data (stat): 25508 (bsolo_lpr) R 25507 22056 22055 0 -1 0 349354 0 0 0 17150 850 0 0 25 0 1 0 832676168 56930304 12871 4294967295 134512640 134714508 3221224592 3221222944 1074142694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13899 12871 1111 63 0 13836 0
vsize: 55596
[startup+190.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25508
Raw data (stat): 25508 (bsolo_lpr) R 25507 22056 22055 0 -1 0 355881 0 0 0 18135 864 0 0 25 0 1 0 832676168 57503744 13003 4294967295 134512640 134714508 3221224592 3221223240 134534133 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14039 13003 1111 63 0 13976 0
vsize: 56156
[startup+200.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25508
Raw data (stat): 25508 (bsolo_lpr) R 25507 22056 22055 0 -1 0 380222 0 0 0 19079 920 0 0 25 0 1 0 832676168 62074880 13710 4294967295 134512640 134714508 3221224592 3221220664 1074950210 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15155 13710 1111 63 0 15092 0
vsize: 60620
[startup+210.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25508
Raw data (stat): 25508 (bsolo_lpr) R 25507 22056 22055 0 -1 0 411989 0 0 0 20004 996 0 0 25 0 1 0 832676168 63606784 14413 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15828 14419 1111 63 0 15765 0
vsize: 62116
[startup+220.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25508
Raw data (stat): 25508 (bsolo_lpr) R 25507 22056 22055 0 -1 0 442949 0 0 0 20932 1068 0 0 25 0 1 0 832676168 66908160 15216 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16335 15216 1111 63 0 16272 0
vsize: 65340
[startup+230.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25508
Raw data (stat): 25508 (bsolo_lpr) R 25507 22056 22055 0 -1 0 471944 0 0 0 21865 1135 0 0 25 0 1 0 832676168 69615616 15875 4294967295 134512640 134714508 3221224592 3221222992 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16996 15875 1111 63 0 16933 0
vsize: 67984
[startup+240.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25508
Raw data (stat): 25508 (bsolo_lpr) R 25507 22056 22055 0 -1 0 509511 0 0 0 22784 1217 0 0 25 0 1 0 832676168 74096640 16910 4294967295 134512640 134714508 3221224592 3221222592 1074918583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18090 16910 1111 63 0 18027 0
vsize: 72360
[startup+250.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25508
Raw data (stat): 25508 (bsolo_lpr) R 25507 22056 22055 0 -1 0 521880 0 0 0 23755 1245 0 0 25 0 1 0 832676168 75239424 17214 4294967295 134512640 134714508 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18369 17214 1111 63 0 18306 0
vsize: 73476
[startup+260.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25508
Raw data (stat): 25508 (bsolo_lpr) R 25507 22056 22055 0 -1 0 526854 0 0 0 24743 1259 0 0 25 0 1 0 832676168 77819904 17814 4294967295 134512640 134714508 3221224592 3221222592 1074918583 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.98 0.99 2/54 25508
Raw data (stat): 25508 (bsolo_lpr) R 25507 22056 22055 0 -1 0 529553 0 0 0 25738 1264 0 0 25 0 1 0 832676168 75735040 17333 4294967295 134512640 134714508 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18490 17333 1111 63 0 18427 0
vsize: 73960
[startup+280.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25508
Raw data (stat): 25508 (bsolo_lpr) R 25507 22056 22055 0 -1 0 559994 0 0 0 26668 1333 0 0 25 0 1 0 832676168 78442496 17963 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19151 17963 1111 63 0 19088 0
vsize: 76604
[startup+290.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25508
Raw data (stat): 25508 (bsolo_lpr) R 25507 22056 22055 0 -1 0 576702 0 0 0 27631 1371 0 0 25 0 1 0 832676168 80158720 18317 4294967295 134512640 134714508 3221224592 3221223320 134622758 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19570 18317 1111 63 0 19507 0
vsize: 78280
[startup+300.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25508
Raw data (stat): 25508 (bsolo_lpr) R 25507 22056 22055 0 -1 0 579955 0 0 0 28624 1378 0 0 25 0 1 0 832676168 80912384 18501 4294967295 134512640 134714508 3221224592 3221223408 134622468 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.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25508
Raw data (stat): 25508 (bsolo_lpr) R 25507 22056 22055 0 -1 0 602116 0 0 0 29575 1427 0 0 25 0 1 0 832676168 81453056 18621 4294967295 134512640 134714508 3221224592 3221222872 1074138297 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19886 18621 1111 63 0 19823 0
vsize: 79544
[startup+320.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25508
Raw data (stat): 25508 (bsolo_lpr) R 25507 22056 22055 0 -1 0 607001 0 0 0 30565 1438 0 0 25 0 1 0 832676168 82141184 18782 4294967295 134512640 134714508 3221224592 3221223312 134622766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20054 18782 1111 63 0 19991 0
vsize: 80216
[startup+330.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25508
Raw data (stat): 25508 (bsolo_lpr) R 25507 22056 22055 0 -1 0 609328 0 0 0 31558 1444 0 0 25 0 1 0 832676168 82792448 18944 4294967295 134512640 134714508 3221224592 3221222784 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20213 18944 1111 63 0 20150 0
vsize: 80852
[startup+340.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25508
Raw data (stat): 25508 (bsolo_lpr) R 25507 22056 22055 0 -1 0 609426 0 0 0 32558 1445 0 0 25 0 1 0 832676168 83275776 19042 4294967295 134512640 134714508 3221224592 3221222832 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20331 19042 1111 63 0 20268 0
vsize: 81324
[startup+350.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25508
Raw data (stat): 25508 (bsolo_lpr) R 25507 22056 22055 0 -1 0 609501 0 0 0 33557 1446 0 0 25 0 1 0 832676168 83521536 19117 4294967295 134512640 134714508 3221224592 3221222752 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20391 19117 1111 63 0 20328 0
vsize: 81564
[startup+360.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25508
Raw data (stat): 25508 (bsolo_lpr) R 25507 22056 22055 0 -1 0 609557 0 0 0 34556 1447 0 0 25 0 1 0 832676168 83750912 19173 4294967295 134512640 134714508 3221224592 3221222848 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20447 19173 1111 63 0 20384 0
vsize: 81788
[startup+370.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25508
Raw data (stat): 25508 (bsolo_lpr) R 25507 22056 22055 0 -1 0 609637 0 0 0 35556 1447 0 0 25 0 1 0 832676168 84115456 19253 4294967295 134512640 134714508 3221224592 3221222384 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20536 19253 1111 63 0 20473 0
vsize: 82144
[startup+380.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25508
Raw data (stat): 25508 (bsolo_lpr) R 25507 22056 22055 0 -1 0 611142 0 0 0 36553 1451 0 0 25 0 1 0 832676168 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+390.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25508
Raw data (stat): 25508 (bsolo_lpr) R 25507 22056 22055 0 -1 0 611142 0 0 0 37553 1451 0 0 25 0 1 0 832676168 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+400.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25508
Raw data (stat): 25508 (bsolo_lpr) R 25507 22056 22055 0 -1 0 611142 0 0 0 38553 1451 0 0 25 0 1 0 832676168 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+410.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25508
Raw data (stat): 25508 (bsolo_lpr) R 25507 22056 22055 0 -1 0 611142 0 0 0 39553 1451 0 0 25 0 1 0 832676168 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+420.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25508
Raw data (stat): 25508 (bsolo_lpr) R 25507 22056 22055 0 -1 0 611142 0 0 0 40553 1451 0 0 25 0 1 0 832676168 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+430.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25508
Raw data (stat): 25508 (bsolo_lpr) R 25507 22056 22055 0 -1 0 611142 0 0 0 41553 1451 0 0 25 0 1 0 832676168 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+440.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25508
Raw data (stat): 25508 (bsolo_lpr) R 25507 22056 22055 0 -1 0 616314 0 0 0 42542 1462 0 0 25 0 1 0 832676168 84213760 19291 4294967295 134512640 134714508 3221224592 3221223328 134622743 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.98 0.99 2/54 25508
Raw data (stat): 25508 (bsolo_lpr) R 25507 22056 22055 0 -1 0 616314 0 0 0 43542 1462 0 0 25 0 1 0 832676168 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.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25508
Raw data (stat): 25508 (bsolo_lpr) R 25507 22056 22055 0 -1 0 616314 0 0 0 44543 1462 0 0 25 0 1 0 832676168 84213760 19291 4294967295 134512640 134714508 3221224592 3221223304 134543168 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.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25508
Raw data (stat): 25508 (bsolo_lpr) R 25507 22056 22055 0 -1 0 616314 0 0 0 45543 1462 0 0 25 0 1 0 832676168 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+480.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25508
Raw data (stat): 25508 (bsolo_lpr) R 25507 22056 22055 0 -1 0 616314 0 0 0 46543 1462 0 0 25 0 1 0 832676168 84213760 19291 4294967295 134512640 134714508 3221224592 3221223320 134622752 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.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25508
Raw data (stat): 25508 (bsolo_lpr) R 25507 22056 22055 0 -1 0 616314 0 0 0 47543 1462 0 0 25 0 1 0 832676168 84213760 19291 4294967295 134512640 134714508 3221224592 3221223384 134543552 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.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25508
Raw data (stat): 25508 (bsolo_lpr) R 25507 22056 22055 0 -1 0 616314 0 0 0 48543 1462 0 0 25 0 1 0 832676168 84213760 19291 4294967295 134512640 134714508 3221224592 3221223408 134622468 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.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25508
Raw data (stat): 25508 (bsolo_lpr) R 25507 22056 22055 0 -1 0 617183 0 0 0 49542 1464 0 0 25 0 1 0 832676168 82567168 18889 4294967295 134512640 134714508 3221224592 3221223308 134558476 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.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25508
Raw data (stat): 25508 (bsolo_lpr) R 25507 22056 22055 0 -1 0 640845 0 0 0 50483 1523 0 0 25 0 1 0 832676168 88510464 19111 4294967295 134512640 134714508 3221224592 3221220752 1075091317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21609 19115 1111 63 0 21546 0
vsize: 86436
[startup+530.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25508
Raw data (stat): 25508 (bsolo_lpr) R 25507 22056 22055 0 -1 0 679870 0 0 0 51385 1621 0 0 25 0 1 0 832676168 86454272 19786 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21107 19786 1111 63 0 21044 0
vsize: 84428
[startup+540.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25508
Raw data (stat): 25508 (bsolo_lpr) R 25507 22056 22055 0 -1 0 691014 0 0 0 52359 1648 0 0 25 0 1 0 832676168 86974464 19918 4294967295 134512640 134714508 3221224592 3221222784 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21234 19918 1111 63 0 21171 0
vsize: 84936
[startup+550.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25508
Raw data (stat): 25508 (bsolo_lpr) R 25507 22056 22055 0 -1 0 720144 0 0 0 53287 1720 0 0 25 0 1 0 832676168 88227840 20209 4294967295 134512640 134714508 3221224592 3221222592 1074918599 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21540 20209 1111 63 0 21477 0
vsize: 86160
[startup+560.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25508
Raw data (stat): 25508 (bsolo_lpr) R 25507 22056 22055 0 -1 0 740998 0 0 0 54236 1771 0 0 25 0 1 0 832676168 89268224 20467 4294967295 134512640 134714508 3221224592 3221222928 1074153770 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.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25508
Raw data (stat): 25508 (bsolo_lpr) R 25507 22056 22055 0 -1 0 774735 0 0 0 55154 1853 0 0 25 0 1 0 832676168 95055872 20696 4294967295 134512640 134714508 3221224592 3221221040 1075132503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21980 20656 1111 63 0 21917 0
vsize: 92828
[startup+580.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25508
Raw data (stat): 25508 (bsolo_lpr) R 25507 22056 22055 0 -1 0 777669 0 0 0 56146 1862 0 0 25 0 1 0 832676168 91459584 21007 4294967295 134512640 134714508 3221224592 3221222528 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22329 21007 1111 63 0 22266 0
vsize: 89316
[startup+590.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25508
Raw data (stat): 25508 (bsolo_lpr) R 25507 22056 22055 0 -1 0 778572 0 0 0 57144 1864 0 0 25 0 1 0 832676168 94060544 21633 4294967295 134512640 134714508 3221224592 3221222592 1074918576 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.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25508
Raw data (stat): 25508 (bsolo_lpr) R 25507 22056 22055 0 -1 0 778572 0 0 0 58144 1864 0 0 25 0 1 0 832676168 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.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25508
Raw data (stat): 25508 (bsolo_lpr) R 25507 22056 22055 0 -1 0 781196 0 0 0 59138 1870 0 0 25 0 1 0 832676168 91774976 21084 4294967295 134512640 134714508 3221224592 3221223408 134622468 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.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25508
Raw data (stat): 25508 (bsolo_lpr) R 25507 22056 22055 0 -1 0 781196 0 0 0 60138 1870 0 0 25 0 1 0 832676168 91774976 21084 4294967295 134512640 134714508 3221224592 3221223316 134622811 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.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25508
Raw data (stat): 25508 (bsolo_lpr) R 25507 22056 22055 0 -1 0 781196 0 0 0 61138 1870 0 0 25 0 1 0 832676168 91774976 21084 4294967295 134512640 134714508 3221224592 3221223384 134536897 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.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25508
Raw data (stat): 25508 (bsolo_lpr) R 25507 22056 22055 0 -1 0 781804 0 0 0 62137 1872 0 0 25 0 1 0 832676168 92557312 21261 4294967295 134512640 134714508 3221224592 3221222592 1074918594 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.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25508
Raw data (stat): 25508 (bsolo_lpr) R 25507 22056 22055 0 -1 0 783845 0 0 0 63132 1877 0 0 25 0 1 0 832676168 91922432 21090 4294967295 134512640 134714508 3221224592 3221222592 1074918576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22442 21090 1111 63 0 22379 0
vsize: 89768
[startup+660.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25508
Raw data (stat): 25508 (bsolo_lpr) R 25507 22056 22055 0 -1 0 785561 0 0 0 64129 1881 0 0 25 0 1 0 832676168 90554368 20786 4294967295 134512640 134714508 3221224592 3221222896 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22108 20786 1111 63 0 22045 0
vsize: 88432
[startup+670.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25508
Raw data (stat): 25508 (bsolo_lpr) R 25507 22056 22055 0 -1 0 791968 0 0 0 65115 1895 0 0 25 0 1 0 832676168 90624000 20804 4294967295 134512640 134714508 3221224592 3221223384 134542412 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22125 20804 1111 63 0 22062 0
vsize: 88500
[startup+680.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25508
Raw data (stat): 25508 (bsolo_lpr) R 25507 22056 22055 0 -1 0 800766 0 0 0 66093 1917 0 0 25 0 1 0 832676168 92409856 21240 4294967295 134512640 134714508 3221224592 3221222544 1074918594 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.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25508
Raw data (stat): 25508 (bsolo_lpr) R 25507 22056 22055 0 -1 0 801775 0 0 0 67089 1921 0 0 25 0 1 0 832676168 92647424 21298 4294967295 134512640 134714508 3221224592 3221222944 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22619 21298 1111 63 0 22556 0
vsize: 90476
[startup+700.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25508
Raw data (stat): 25508 (bsolo_lpr) R 25507 22056 22055 0 -1 0 802459 0 0 0 68088 1922 0 0 25 0 1 0 832676168 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.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25508
Raw data (stat): 25508 (bsolo_lpr) R 25507 22056 22055 0 -1 0 805414 0 0 0 69081 1929 0 0 25 0 1 0 832676168 92712960 21314 4294967295 134512640 134714508 3221224592 3221223328 134622743 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.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25508
Raw data (stat): 25508 (bsolo_lpr) R 25507 22056 22055 0 -1 0 805414 0 0 0 70081 1929 0 0 25 0 1 0 832676168 92712960 21314 4294967295 134512640 134714508 3221224592 3221223408 134622468 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.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25508
Raw data (stat): 25508 (bsolo_lpr) R 25507 22056 22055 0 -1 0 805414 0 0 0 71081 1929 0 0 25 0 1 0 832676168 91803648 21092 4294967295 134512640 134714508 3221224592 3221222752 1074153782 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.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25508
Raw data (stat): 25508 (bsolo_lpr) R 25507 22056 22055 0 -1 0 808148 0 0 0 72074 1937 0 0 25 0 1 0 832676168 93212672 21436 4294967295 134512640 134714508 3221224592 3221222544 1074918597 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.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25508
Raw data (stat): 25508 (bsolo_lpr) R 25507 22056 22055 0 -1 0 810851 0 0 0 73068 1942 0 0 25 0 1 0 832676168 92430336 21245 4294967295 134512640 134714508 3221224592 3221223408 134622477 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.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25508
Raw data (stat): 25508 (bsolo_lpr) R 25507 22056 22055 0 -1 0 810851 0 0 0 74069 1943 0 0 25 0 1 0 832676168 92430336 21245 4294967295 134512640 134714508 3221224592 3221223384 134558485 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.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25508
Raw data (stat): 25508 (bsolo_lpr) R 25507 22056 22055 0 -1 0 813093 0 0 0 75063 1948 0 0 25 0 1 0 832676168 92229632 21196 4294967295 134512640 134714508 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22517 21196 1111 63 0 22454 0
vsize: 90068
[startup+780.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25508
Raw data (stat): 25508 (bsolo_lpr) R 25507 22056 22055 0 -1 0 817537 0 0 0 76053 1959 0 0 25 0 1 0 832676168 91893760 21114 4294967295 134512640 134714508 3221224592 3221222848 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22435 21114 1111 63 0 22372 0
vsize: 89740
[startup+790.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25508
Raw data (stat): 25508 (bsolo_lpr) R 25507 22056 22055 0 -1 0 825139 0 0 0 77034 1977 0 0 25 0 1 0 832676168 91377664 20988 4294967295 134512640 134714508 3221224592 3221222592 1074918583 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.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25508
Raw data (stat): 25508 (bsolo_lpr) R 25507 22056 22055 0 -1 0 829326 0 0 0 78024 1988 0 0 25 0 1 0 832676168 91754496 21080 4294967295 134512640 134714508 3221224592 3221223328 134622743 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.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25508
Raw data (stat): 25508 (bsolo_lpr) R 25507 22056 22055 0 -1 0 830884 0 0 0 79020 1992 0 0 25 0 1 0 832676168 92151808 21177 4294967295 134512640 134714508 3221224592 3221222848 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+820.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25508
Raw data (stat): 25508 (bsolo_lpr) R 25507 22056 22055 0 -1 0 831854 0 0 0 80018 1995 0 0 25 0 1 0 832676168 92479488 21257 4294967295 134512640 134714508 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22578 21257 1111 63 0 22515 0
vsize: 90312
[startup+830.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25508
Raw data (stat): 25508 (bsolo_lpr) R 25507 22056 22055 0 -1 0 840303 0 0 0 80997 2015 0 0 25 0 1 0 832676168 92499968 21266 4294967295 134512640 134714508 3221224592 3221222656 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22583 21266 1111 63 0 22520 0
vsize: 90332
[startup+840.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25508
Raw data (stat): 25508 (bsolo_lpr) R 25507 22056 22055 0 -1 0 840404 0 0 0 81995 2017 0 0 25 0 1 0 832676168 92913664 21367 4294967295 134512640 134714508 3221224592 3221222880 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22684 21367 1111 63 0 22621 0
vsize: 90736
[startup+850.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25508
Raw data (stat): 25508 (bsolo_lpr) R 25507 22056 22055 0 -1 0 840465 0 0 0 82994 2018 0 0 25 0 1 0 832676168 93163520 21428 4294967295 134512640 134714508 3221224592 3221222880 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22745 21428 1111 63 0 22682 0
vsize: 90980
[startup+860.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25508
Raw data (stat): 25508 (bsolo_lpr) R 25507 22056 22055 0 -1 0 841623 0 0 0 83991 2021 0 0 25 0 1 0 832676168 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+870.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25508
Raw data (stat): 25508 (bsolo_lpr) R 25507 22056 22055 0 -1 0 844996 0 0 0 84984 2028 0 0 25 0 1 0 832676168 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+880.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25508
Raw data (stat): 25508 (bsolo_lpr) R 25507 22056 22055 0 -1 0 844996 0 0 0 85984 2028 0 0 25 0 1 0 832676168 93290496 21459 4294967295 134512640 134714508 3221224592 3221223308 134558476 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.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25508
Raw data (stat): 25508 (bsolo_lpr) R 25507 22056 22055 0 -1 0 844996 0 0 0 86985 2028 0 0 25 0 1 0 832676168 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.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25508
Raw data (stat): 25508 (bsolo_lpr) R 25507 22056 22055 0 -1 0 844996 0 0 0 87985 2028 0 0 25 0 1 0 832676168 93290496 21459 4294967295 134512640 134714508 3221224592 3221223372 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+910.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25508
Raw data (stat): 25508 (bsolo_lpr) R 25507 22056 22055 0 -1 0 845023 0 0 0 88985 2029 0 0 25 0 1 0 832676168 91926528 21120 4294967295 134512640 134714508 3221224592 3221222800 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22443 21120 1111 63 0 22380 0
vsize: 89772
[startup+920.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25508
Raw data (stat): 25508 (bsolo_lpr) R 25507 22056 22055 0 -1 0 848541 0 0 0 89976 2037 0 0 25 0 1 0 832676168 92164096 21184 4294967295 134512640 134714508 3221224592 3221223316 134529109 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22501 21184 1111 63 0 22438 0
vsize: 90004
[startup+930.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25508
Raw data (stat): 25508 (bsolo_lpr) R 25507 22056 22055 0 -1 0 863871 0 0 0 90940 2074 0 0 25 0 1 0 832676168 92823552 21311 4294967295 134512640 134714508 3221224592 3221222784 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22662 21311 1111 63 0 22599 0
vsize: 90648
[startup+940.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25508
Raw data (stat): 25508 (bsolo_lpr) R 25507 22056 22055 0 -1 0 864829 0 0 0 91937 2077 0 0 25 0 1 0 832676168 95739904 22025 4294967295 134512640 134714508 3221224592 3221222872 1074138316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23374 22030 1111 63 0 23311 0
vsize: 93496
[startup+950.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25508
Raw data (stat): 25508 (bsolo_lpr) R 25507 22056 22055 0 -1 0 864836 0 0 0 92937 2077 0 0 25 0 1 0 832676168 95739904 22032 4294967295 134512640 134714508 3221224592 3221222592 1074918583 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.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25508
Raw data (stat): 25508 (bsolo_lpr) R 25507 22056 22055 0 -1 0 867947 0 0 0 93931 2084 0 0 25 0 1 0 832676168 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+970.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25508
Raw data (stat): 25508 (bsolo_lpr) R 25507 22056 22055 0 -1 0 867947 0 0 0 94931 2084 0 0 25 0 1 0 832676168 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+980.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25508
Raw data (stat): 25508 (bsolo_lpr) R 25507 22056 22055 0 -1 0 867947 0 0 0 95931 2084 0 0 25 0 1 0 832676168 93437952 21488 4294967295 134512640 134714508 3221224592 3221223408 134622468 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.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25508
Raw data (stat): 25508 (bsolo_lpr) R 25507 22056 22055 0 -1 0 868683 0 0 0 96928 2087 0 0 25 0 1 0 832676168 94576640 21753 4294967295 134512640 134714508 3221224592 3221222592 1074918583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23090 21753 1111 63 0 23027 0
vsize: 92360
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25508
Raw data (stat): 25508 (bsolo_lpr) R 25507 22056 22055 0 -1 0 871162 0 0 0 97922 2093 0 0 25 0 1 0 832676168 93134848 21414 4294967295 134512640 134714508 3221224592 3221223320 134622882 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22738 21414 1111 63 0 22675 0
vsize: 90952
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25508
Raw data (stat): 25508 (bsolo_lpr) R 25507 22056 22055 0 -1 0 872837 0 0 0 98918 2098 0 0 25 0 1 0 832676168 93065216 21397 4294967295 134512640 134714508 3221224592 3221222704 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22721 21397 1111 63 0 22658 0
vsize: 90884
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25508
Raw data (stat): 25508 (bsolo_lpr) R 25507 22056 22055 0 -1 0 874376 0 0 0 99915 2101 0 0 25 0 1 0 832676168 93016064 21385 4294967295 134512640 134714508 3221224592 3221222704 1074057678 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22709 21385 1111 63 0 22646 0
vsize: 90836
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25508
Raw data (stat): 25508 (bsolo_lpr) R 25507 22056 22055 0 -1 0 876961 0 0 0 100909 2107 0 0 25 0 1 0 832676168 93130752 21413 4294967295 134512640 134714508 3221224592 3221223384 134536921 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.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25508
Raw data (stat): 25508 (bsolo_lpr) R 25507 22056 22055 0 -1 0 883529 0 0 0 101893 2123 0 0 25 0 1 0 832676168 94900224 21844 4294967295 134512640 134714508 3221224592 3221222592 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23169 21844 1111 63 0 23106 0
vsize: 92676
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25508
Raw data (stat): 25508 (bsolo_lpr) R 25507 22056 22055 0 -1 0 885053 0 0 0 102889 2127 0 0 25 0 1 0 832676168 93577216 21522 4294967295 134512640 134714508 3221224592 3221223408 134622252 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.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25508
Raw data (stat): 25508 (bsolo_lpr) R 25507 22056 22055 0 -1 0 903460 0 0 0 103846 2171 0 0 25 0 1 0 832676168 92827648 21341 4294967295 134512640 134714508 3221224592 3221223376 134622539 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22663 21341 1111 63 0 22600 0
vsize: 90652
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25508
Raw data (stat): 25508 (bsolo_lpr) R 25507 22056 22055 0 -1 0 929348 0 0 0 104784 2233 0 0 25 0 1 0 832676168 95080448 21809 4294967295 134512640 134714508 3221224592 3221222352 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23213 21809 1111 63 0 23150 0
vsize: 92852
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25508
Raw data (stat): 25508 (bsolo_lpr) R 25507 22056 22055 0 -1 0 931922 0 0 0 105778 2239 0 0 25 0 1 0 832676168 95252480 21850 4294967295 134512640 134714508 3221224592 3221223408 134622252 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.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25508
Raw data (stat): 25508 (bsolo_lpr) R 25507 22056 22055 0 -1 0 935378 0 0 0 106770 2247 0 0 25 0 1 0 832676168 94834688 21749 4294967295 134512640 134714508 3221224592 3221223312 134622761 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23153 21749 1111 63 0 23090 0
vsize: 92612
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25508
Raw data (stat): 25508 (bsolo_lpr) R 25507 22056 22055 0 -1 0 940018 0 0 0 107759 2258 0 0 25 0 1 0 832676168 95064064 21805 4294967295 134512640 134714508 3221224592 3221223408 134622252 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.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25508
Raw data (stat): 25508 (bsolo_lpr) R 25507 22056 22055 0 -1 0 944425 0 0 0 108749 2269 0 0 25 0 1 0 832676168 95617024 21939 4294967295 134512640 134714508 3221224592 3221222592 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23344 21939 1111 63 0 23281 0
vsize: 93376
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25508
Raw data (stat): 25508 (bsolo_lpr) R 25507 22056 22055 0 -1 0 960711 0 0 0 109709 2309 0 0 25 0 1 0 832676168 95645696 21884 4294967295 134512640 134714508 3221224592 3221222680 1077374433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23351 21884 1111 63 0 23288 0
vsize: 93404
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25508
Raw data (stat): 25508 (bsolo_lpr) R 25507 22056 22055 0 -1 0 964723 0 0 0 110700 2318 0 0 25 0 1 0 832676168 97013760 22206 4294967295 134512640 134714508 3221224592 3221222704 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23685 22206 1111 63 0 23622 0
vsize: 94740
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25508
Raw data (stat): 25508 (bsolo_lpr) R 25507 22056 22055 0 -1 0 964817 0 0 0 111699 2319 0 0 25 0 1 0 832676168 97382400 22300 4294967295 134512640 134714508 3221224592 3221222736 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23775 22300 1111 63 0 23712 0
vsize: 95100
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25508
Raw data (stat): 25508 (bsolo_lpr) R 25507 22056 22055 0 -1 0 964898 0 0 0 112699 2320 0 0 25 0 1 0 832676168 97665024 22381 4294967295 134512640 134714508 3221224592 3221222848 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23844 22381 1111 63 0 23781 0
vsize: 95376
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25508
Raw data (stat): 25508 (bsolo_lpr) R 25507 22056 22055 0 -1 0 964963 0 0 0 113699 2320 0 0 25 0 1 0 832676168 98000896 22446 4294967295 134512640 134714508 3221224592 3221222688 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23926 22446 1111 63 0 23863 0
vsize: 95704
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25508
Raw data (stat): 25508 (bsolo_lpr) R 25507 22056 22055 0 -1 0 965061 0 0 0 114698 2321 0 0 25 0 1 0 832676168 98328576 22544 4294967295 134512640 134714508 3221224592 3221222752 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24006 22544 1111 63 0 23943 0
vsize: 96024
[startup+1180.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25508
Raw data (stat): 25508 (bsolo_lpr) R 25507 22056 22055 0 -1 0 965105 0 0 0 115697 2322 0 0 25 0 1 0 832676168 98508800 22588 4294967295 134512640 134714508 3221224592 3221222800 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24050 22588 1111 63 0 23987 0
vsize: 96200
[startup+1190.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25508
Raw data (stat): 25508 (bsolo_lpr) R 25507 22056 22055 0 -1 0 965150 0 0 0 116697 2322 0 0 25 0 1 0 832676168 98680832 22633 4294967295 134512640 134714508 3221224592 3221222784 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24092 22633 1111 63 0 24029 0
vsize: 96368
[startup+1200.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25508
Raw data (stat): 25508 (bsolo_lpr) R 25507 22056 22055 0 -1 0 965189 0 0 0 117697 2323 0 0 25 0 1 0 832676168 98840576 22672 4294967295 134512640 134714508 3221224592 3221222752 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24131 22672 1111 63 0 24068 0
vsize: 96524
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.08 s]
Raw data (loadavg): 0.99 0.98 0.99 1/54 25508
Raw data (stat): 25508 (bsolo_lpr) Z 25507 22056 22055 0 -1 1036 965189 0 0 0 117697 2326 0 0 25 0 1 0 832676168 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.08
CPU time (s): 1200.24
CPU user time (s): 1176.97
CPU system time (s): 23.2695
CPU usage (%): 100.013
Max. virtual memory (Kb): 96524
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####