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/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-fit2d.opb
MD5SUM	2e76b80d3e2b7702736bbbb87d69e547
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	75000
Biggest coefficient in the objective function	20812800
Number of bits for the biggest coefficient in the objective function	25
Sum of the numbers in the objective function	5499924834
Number of bits of the sum of numbers in the objective function	33
Biggest number in a constraint	20812800
Number of bits of the biggest number in a constraint	25
Biggest sum of numbers in a constraint	5499924834
Number of bits of the biggest sum of numbers	33
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.850869
Number of variables	87000
Total number of constraints	10525
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	10525
Minimum length of a constraint	7
Maximum length of a constraint	87000
Trace number 27888

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-05-24 23:34:09 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=15797 boxname=wulflinc1 idbench=1216 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  2e76b80d3e2b7702736bbbb87d69e547  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-fit2d.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-fit2d.opb
IDLAUNCH: 15797
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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:        864276 kB
Buffers:         32536 kB
Cached:         110328 kB
SwapCached:          4 kB
Active:          52636 kB
Inactive:        93328 kB
HighTotal:      131008 kB
HighFree:        17528 kB
LowTotal:       903652 kB
LowFree:        846748 kB
SwapTotal:     2097136 kB
SwapFree:      2096964 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           7152 kB
Slab:            18476 kB
Committed_AS:    92720 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 23:54:12 (client local time) WITH STATUS 0 IN 1200.45 SECONDS
stats: 15797 7 1200.45 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.93 0.97 0.91 2/55 13604
Raw data (stat): 13604 (runsolver) R 13603 8378 8377 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 719156465 1052672 99 4294967295 134512640 135381576 3221224496 3221219708 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0009 s]
Raw data (loadavg): 0.94 0.97 0.91 2/55 13604
Raw data (stat): 13604 (bsolo_lpr_cuts) R 13603 8378 8377 0 -1 0 1423 0 0 0 993 5 0 0 25 0 1 0 719156465 17465344 1347 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4264 1347 1111 63 0 4201 0
vsize: 17056
[startup+20.0016 s]
Raw data (loadavg): 0.95 0.97 0.91 2/55 13604
Raw data (stat): 13604 (bsolo_lpr_cuts) R 13603 8378 8377 0 -1 0 1993 0 0 0 1992 6 0 0 25 0 1 0 719156465 19824640 1917 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4840 1917 1111 63 0 4777 0
vsize: 19360
[startup+30.0013 s]
Raw data (loadavg): 0.96 0.97 0.91 2/55 13604
Raw data (stat): 13604 (bsolo_lpr_cuts) R 13603 8378 8377 0 -1 0 2578 0 0 0 2991 7 0 0 25 0 1 0 719156465 22200320 2502 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5420 2502 1111 63 0 5357 0
vsize: 21680
[startup+40.0021 s]
Raw data (loadavg): 0.96 0.97 0.91 2/55 13604
Raw data (stat): 13604 (bsolo_lpr_cuts) R 13603 8378 8377 0 -1 0 3160 0 0 0 3991 7 0 0 25 0 1 0 719156465 24608768 3084 4294967295 134512640 134714508 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6008 3084 1111 63 0 5945 0
vsize: 24032
[startup+50.0129 s]
Raw data (loadavg): 0.97 0.97 0.91 2/55 13604
Raw data (stat): 13604 (bsolo_lpr_cuts) R 13603 8378 8377 0 -1 0 3743 0 0 0 4991 8 0 0 25 0 1 0 719156465 26943488 3667 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6578 3667 1111 63 0 6515 0
vsize: 26312
[startup+60.0127 s]
Raw data (loadavg): 0.97 0.97 0.91 2/55 13604
Raw data (stat): 13604 (bsolo_lpr_cuts) R 13603 8378 8377 0 -1 0 4326 0 0 0 5990 10 0 0 25 0 1 0 719156465 29310976 4250 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7156 4250 1111 63 0 7093 0
vsize: 28624
[startup+70.0125 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 13604
Raw data (stat): 13604 (bsolo_lpr_cuts) R 13603 8378 8377 0 -1 0 4915 0 0 0 6989 11 0 0 25 0 1 0 719156465 31694848 4839 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7738 4839 1111 63 0 7675 0
vsize: 30952
[startup+80.0123 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 13604
Raw data (stat): 13604 (bsolo_lpr_cuts) R 13603 8378 8377 0 -1 0 5504 0 0 0 7988 12 0 0 25 0 1 0 719156465 34082816 5428 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8321 5428 1111 63 0 8258 0
vsize: 33284
[startup+90.012 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 13604
Raw data (stat): 13604 (bsolo_lpr_cuts) R 13603 8378 8377 0 -1 0 6093 0 0 0 8987 13 0 0 25 0 1 0 719156465 36491264 6017 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8909 6017 1111 63 0 8846 0
vsize: 35636
[startup+100.012 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 13604
Raw data (stat): 13604 (bsolo_lpr_cuts) R 13603 8378 8377 0 -1 0 6695 0 0 0 9986 14 0 0 25 0 1 0 719156465 38981632 6619 4294967295 134512640 134714508 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9517 6619 1111 63 0 9454 0
vsize: 38068
[startup+110.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13604
Raw data (stat): 13604 (bsolo_lpr_cuts) R 13603 8378 8377 0 -1 0 7293 0 0 0 10986 15 0 0 25 0 1 0 719156465 41504768 7217 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10133 7217 1111 63 0 10070 0
vsize: 40532
[startup+120.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13604
Raw data (stat): 13604 (bsolo_lpr_cuts) R 13603 8378 8377 0 -1 0 7889 0 0 0 11986 16 0 0 25 0 1 0 719156465 43913216 7813 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10721 7813 1111 63 0 10658 0
vsize: 42884
[startup+130.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13604
Raw data (stat): 13604 (bsolo_lpr_cuts) R 13603 8378 8377 0 -1 0 8491 0 0 0 12984 17 0 0 25 0 1 0 719156465 46456832 8415 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11342 8415 1111 63 0 11279 0
vsize: 45368
[startup+140.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13604
Raw data (stat): 13604 (bsolo_lpr_cuts) R 13603 8378 8377 0 -1 0 9087 0 0 0 13983 19 0 0 25 0 1 0 719156465 48816128 9011 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11918 9011 1111 63 0 11855 0
vsize: 47672
[startup+150.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13604
Raw data (stat): 13604 (bsolo_lpr_cuts) R 13603 8378 8377 0 -1 0 9690 0 0 0 14983 20 0 0 25 0 1 0 719156465 51331072 9614 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12532 9614 1111 63 0 12469 0
vsize: 50128
[startup+160.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13604
Raw data (stat): 13604 (bsolo_lpr_cuts) R 13603 8378 8377 0 -1 0 10294 0 0 0 15982 20 0 0 25 0 1 0 719156465 53702656 10218 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13111 10218 1111 63 0 13048 0
vsize: 52444
[startup+170.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13604
Raw data (stat): 13604 (bsolo_lpr_cuts) R 13603 8378 8377 0 -1 0 10902 0 0 0 16981 21 0 0 25 0 1 0 719156465 56242176 10826 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13731 10826 1111 63 0 13668 0
vsize: 54924
[startup+180.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13604
Raw data (stat): 13604 (bsolo_lpr_cuts) R 13603 8378 8377 0 -1 0 11517 0 0 0 17980 23 0 0 25 0 1 0 719156465 58781696 11441 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14351 11441 1111 63 0 14288 0
vsize: 57404
[startup+190.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13604
Raw data (stat): 13604 (bsolo_lpr_cuts) R 13603 8378 8377 0 -1 0 12142 0 0 0 18979 24 0 0 25 0 1 0 719156465 61317120 12066 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14970 12066 1111 63 0 14907 0
vsize: 59880
[startup+200.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13604
Raw data (stat): 13604 (bsolo_lpr_cuts) R 13603 8378 8377 0 -1 0 12764 0 0 0 19978 25 0 0 25 0 1 0 719156465 63971328 12688 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15618 12688 1111 63 0 15555 0
vsize: 62472
[startup+210.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13604
Raw data (stat): 13604 (bsolo_lpr_cuts) R 13603 8378 8377 0 -1 0 13380 0 0 0 20976 27 0 0 25 0 1 0 719156465 66486272 13304 4294967295 134512640 134714508 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16232 13304 1111 63 0 16169 0
vsize: 64928
[startup+220.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13604
Raw data (stat): 13604 (bsolo_lpr_cuts) R 13603 8378 8377 0 -1 0 14002 0 0 0 21976 28 0 0 25 0 1 0 719156465 69033984 13926 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16854 13926 1111 63 0 16791 0
vsize: 67416
[startup+230.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13604
Raw data (stat): 13604 (bsolo_lpr_cuts) R 13603 8378 8377 0 -1 0 14623 0 0 0 22975 29 0 0 25 0 1 0 719156465 71548928 14547 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17468 14547 1111 63 0 17405 0
vsize: 69872
[startup+240.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13604
Raw data (stat): 13604 (bsolo_lpr_cuts) R 13603 8378 8377 0 -1 0 15247 0 0 0 23974 30 0 0 25 0 1 0 719156465 74096640 15171 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18090 15171 1111 63 0 18027 0
vsize: 72360
[startup+250.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13604
Raw data (stat): 13604 (bsolo_lpr_cuts) R 13603 8378 8377 0 -1 0 15874 0 0 0 24973 32 0 0 25 0 1 0 719156465 76615680 15798 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18705 15798 1111 63 0 18642 0
vsize: 74820
[startup+260.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13604
Raw data (stat): 13604 (bsolo_lpr_cuts) R 13603 8378 8377 0 -1 0 16504 0 0 0 25973 33 0 0 25 0 1 0 719156465 79290368 16428 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19358 16428 1111 63 0 19295 0
vsize: 77432
[startup+270.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13604
Raw data (stat): 13604 (bsolo_lpr_cuts) R 13603 8378 8377 0 -1 0 17131 0 0 0 26972 34 0 0 25 0 1 0 719156465 81833984 17055 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19979 17055 1111 63 0 19916 0
vsize: 79916
[startup+280.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13604
Raw data (stat): 13604 (bsolo_lpr_cuts) R 13603 8378 8377 0 -1 0 17774 0 0 0 27970 36 0 0 25 0 1 0 719156465 84353024 17698 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20594 17698 1111 63 0 20531 0
vsize: 82376
[startup+290.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13604
Raw data (stat): 13604 (bsolo_lpr_cuts) R 13603 8378 8377 0 -1 0 18408 0 0 0 28969 37 0 0 25 0 1 0 719156465 87052288 18332 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21253 18332 1111 63 0 21190 0
vsize: 85012
[startup+300.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13604
Raw data (stat): 13604 (bsolo_lpr_cuts) R 13603 8378 8377 0 -1 0 19050 0 0 0 29969 38 0 0 25 0 1 0 719156465 89595904 18974 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21874 18974 1111 63 0 21811 0
vsize: 87496
[startup+310.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13604
Raw data (stat): 13604 (bsolo_lpr_cuts) R 13603 8378 8377 0 -1 0 19698 0 0 0 30968 39 0 0 25 0 1 0 719156465 92250112 19622 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22522 19622 1111 63 0 22459 0
vsize: 90088
[startup+320.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13604
Raw data (stat): 13604 (bsolo_lpr_cuts) R 13603 8378 8377 0 -1 0 20338 0 0 0 31968 39 0 0 25 0 1 0 719156465 94924800 20262 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23175 20262 1111 63 0 23112 0
vsize: 92700
[startup+330.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13604
Raw data (stat): 13604 (bsolo_lpr_cuts) R 13603 8378 8377 0 -1 0 20992 0 0 0 32967 41 0 0 25 0 1 0 719156465 97624064 20916 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23834 20916 1111 63 0 23771 0
vsize: 95336
[startup+340.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13604
Raw data (stat): 13604 (bsolo_lpr_cuts) R 13603 8378 8377 0 -1 0 21645 0 0 0 33965 42 0 0 25 0 1 0 719156465 100323328 21569 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24493 21569 1111 63 0 24430 0
vsize: 97972
[startup+350.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13604
Raw data (stat): 13604 (bsolo_lpr_cuts) R 13603 8378 8377 0 -1 0 22293 0 0 0 34963 44 0 0 25 0 1 0 719156465 102846464 22217 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25109 22217 1111 63 0 25046 0
vsize: 100436
[startup+360.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13604
Raw data (stat): 13604 (bsolo_lpr_cuts) R 13603 8378 8377 0 -1 0 22946 0 0 0 35963 45 0 0 25 0 1 0 719156465 105521152 22870 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25762 22870 1111 63 0 25699 0
vsize: 103048
[startup+370.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13604
Raw data (stat): 13604 (bsolo_lpr_cuts) R 13603 8378 8377 0 -1 0 23625 0 0 0 36961 46 0 0 25 0 1 0 719156465 108462080 23549 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26480 23549 1111 63 0 26417 0
vsize: 105920
[startup+380.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13604
Raw data (stat): 13604 (bsolo_lpr_cuts) R 13603 8378 8377 0 -1 0 24279 0 0 0 37960 48 0 0 25 0 1 0 719156465 111116288 24203 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27128 24203 1111 63 0 27065 0
vsize: 108512
[startup+390.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13604
Raw data (stat): 13604 (bsolo_lpr_cuts) R 13603 8378 8377 0 -1 0 24940 0 0 0 38959 49 0 0 25 0 1 0 719156465 113795072 24864 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27782 24864 1111 63 0 27719 0
vsize: 111128
[startup+400.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13604
Raw data (stat): 13604 (bsolo_lpr_cuts) R 13603 8378 8377 0 -1 0 25606 0 0 0 39958 50 0 0 25 0 1 0 719156465 116645888 25530 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28478 25530 1111 63 0 28415 0
vsize: 113912
[startup+410.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13604
Raw data (stat): 13604 (bsolo_lpr_cuts) R 13603 8378 8377 0 -1 0 26281 0 0 0 40957 51 0 0 25 0 1 0 719156465 119300096 26205 4294967295 134512640 134714508 3221224592 3221222820 1077414424 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29126 26205 1111 63 0 29063 0
vsize: 116504
[startup+420.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13604
Raw data (stat): 13604 (bsolo_lpr_cuts) R 13603 8378 8377 0 -1 0 26941 0 0 0 41956 53 0 0 25 0 1 0 719156465 121978880 26865 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29780 26865 1111 63 0 29717 0
vsize: 119120
[startup+430.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13604
Raw data (stat): 13604 (bsolo_lpr_cuts) R 13603 8378 8377 0 -1 0 27614 0 0 0 42954 54 0 0 25 0 1 0 719156465 124809216 27538 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30471 27538 1111 63 0 30408 0
vsize: 121884
[startup+440.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13604
Raw data (stat): 13604 (bsolo_lpr_cuts) R 13603 8378 8377 0 -1 0 28294 0 0 0 43953 55 0 0 25 0 1 0 719156465 127643648 28218 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31163 28218 1111 63 0 31100 0
vsize: 124652
[startup+450.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13604
Raw data (stat): 13604 (bsolo_lpr_cuts) R 13603 8378 8377 0 -1 0 28974 0 0 0 44952 57 0 0 25 0 1 0 719156465 130342912 28898 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31822 28898 1111 63 0 31759 0
vsize: 127288
[startup+460.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13604
Raw data (stat): 13604 (bsolo_lpr_cuts) R 13603 8378 8377 0 -1 0 29654 0 0 0 45951 58 0 0 25 0 1 0 719156465 133152768 29578 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32508 29578 1111 63 0 32445 0
vsize: 130032
[startup+470.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13604
Raw data (stat): 13604 (bsolo_lpr_cuts) R 13603 8378 8377 0 -1 0 30334 0 0 0 46950 60 0 0 25 0 1 0 719156465 135983104 30258 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33199 30258 1111 63 0 33136 0
vsize: 132796
[startup+480.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13604
Raw data (stat): 13604 (bsolo_lpr_cuts) R 13603 8378 8377 0 -1 0 31025 0 0 0 47949 60 0 0 25 0 1 0 719156465 138682368 30949 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33858 30949 1111 63 0 33795 0
vsize: 135432
[startup+490.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13604
Raw data (stat): 13604 (bsolo_lpr_cuts) R 13603 8378 8377 0 -1 0 31707 0 0 0 48948 62 0 0 25 0 1 0 719156465 141471744 31631 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34539 31631 1111 63 0 34476 0
vsize: 138156
[startup+500.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13604
Raw data (stat): 13604 (bsolo_lpr_cuts) R 13603 8378 8377 0 -1 0 32392 0 0 0 49947 63 0 0 25 0 1 0 719156465 144322560 32316 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35235 32316 1111 63 0 35172 0
vsize: 140940
[startup+510.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13604
Raw data (stat): 13604 (bsolo_lpr_cuts) R 13603 8378 8377 0 -1 0 33085 0 0 0 50945 65 0 0 25 0 1 0 719156465 147128320 33009 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35920 33009 1111 63 0 35857 0
vsize: 143680
[startup+520.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13604
Raw data (stat): 13604 (bsolo_lpr_cuts) R 13603 8378 8377 0 -1 0 33784 0 0 0 51944 66 0 0 25 0 1 0 719156465 150093824 33708 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36644 33708 1111 63 0 36581 0
vsize: 146576
[startup+530.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13604
Raw data (stat): 13604 (bsolo_lpr_cuts) R 13603 8378 8377 0 -1 0 34489 0 0 0 52943 67 0 0 25 0 1 0 719156465 152952832 34413 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37342 34413 1111 63 0 37279 0
vsize: 149368
[startup+540.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13604
Raw data (stat): 13604 (bsolo_lpr_cuts) R 13603 8378 8377 0 -1 0 35182 0 0 0 53942 69 0 0 25 0 1 0 719156465 155762688 35106 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38028 35106 1111 63 0 37965 0
vsize: 152112
[startup+550.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13604
Raw data (stat): 13604 (bsolo_lpr_cuts) R 13603 8378 8377 0 -1 0 35888 0 0 0 54941 70 0 0 25 0 1 0 719156465 158593024 35812 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38719 35812 1111 63 0 38656 0
vsize: 154876
[startup+560.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13604
Raw data (stat): 13604 (bsolo_lpr_cuts) R 13603 8378 8377 0 -1 0 36600 0 0 0 55940 71 0 0 25 0 1 0 719156465 161583104 36524 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39449 36524 1111 63 0 39386 0
vsize: 157796
[startup+570.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13604
Raw data (stat): 13604 (bsolo_lpr_cuts) R 13603 8378 8377 0 -1 0 37312 0 0 0 56939 72 0 0 25 0 1 0 719156465 164392960 37236 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40135 37236 1111 63 0 40072 0
vsize: 160540
[startup+580.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13604
Raw data (stat): 13604 (bsolo_lpr_cuts) R 13603 8378 8377 0 -1 0 38016 0 0 0 57938 73 0 0 25 0 1 0 719156465 167378944 37940 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40864 37940 1111 63 0 40801 0
vsize: 163456
[startup+590.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13604
Raw data (stat): 13604 (bsolo_lpr_cuts) R 13603 8378 8377 0 -1 0 38742 0 0 0 58937 74 0 0 25 0 1 0 719156465 170323968 38666 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41583 38666 1111 63 0 41520 0
vsize: 166332
[startup+600.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13604
Raw data (stat): 13604 (bsolo_lpr_cuts) R 13603 8378 8377 0 -1 0 39459 0 0 0 59936 75 0 0 25 0 1 0 719156465 173178880 39383 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42280 39383 1111 63 0 42217 0
vsize: 169120
[startup+610.065 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13604
Raw data (stat): 13604 (bsolo_lpr_cuts) R 13603 8378 8377 0 -1 0 40172 0 0 0 60937 77 0 0 25 0 1 0 719156465 176144384 40096 4294967295 134512640 134714508 3221224592 3221222924 1077399562 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43004 40096 1111 63 0 42941 0
vsize: 172016
[startup+620.065 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13604
Raw data (stat): 13604 (bsolo_lpr_cuts) R 13603 8378 8377 0 -1 0 40889 0 0 0 61936 78 0 0 25 0 1 0 719156465 179134464 40813 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43734 40813 1111 63 0 43671 0
vsize: 174936
[startup+630.064 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13604
Raw data (stat): 13604 (bsolo_lpr_cuts) R 13603 8378 8377 0 -1 0 41622 0 0 0 62934 80 0 0 25 0 1 0 719156465 182104064 41546 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44459 41546 1111 63 0 44396 0
vsize: 177836
[startup+640.065 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13604
Raw data (stat): 13604 (bsolo_lpr_cuts) R 13603 8378 8377 0 -1 0 42352 0 0 0 63933 81 0 0 25 0 1 0 719156465 185090048 42276 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45188 42276 1111 63 0 45125 0
vsize: 180752
[startup+650.066 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13604
Raw data (stat): 13604 (bsolo_lpr_cuts) R 13603 8378 8377 0 -1 0 43090 0 0 0 64932 82 0 0 25 0 1 0 719156465 188055552 43014 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45912 43014 1111 63 0 45849 0
vsize: 183648
[startup+660.066 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13604
Raw data (stat): 13604 (bsolo_lpr_cuts) R 13603 8378 8377 0 -1 0 43819 0 0 0 65931 84 0 0 25 0 1 0 719156465 191041536 43743 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46641 43743 1111 63 0 46578 0
vsize: 186564
[startup+670.066 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13604
Raw data (stat): 13604 (bsolo_lpr_cuts) R 13603 8378 8377 0 -1 0 44556 0 0 0 66930 85 0 0 25 0 1 0 719156465 194162688 44480 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47403 44480 1111 63 0 47340 0
vsize: 189612
[startup+680.065 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13604
Raw data (stat): 13604 (bsolo_lpr_cuts) R 13603 8378 8377 0 -1 0 45298 0 0 0 67929 86 0 0 25 0 1 0 719156465 197132288 45222 4294967295 134512640 134714508 3221224592 3221222820 1077414399 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48128 45222 1111 63 0 48065 0
vsize: 192512
[startup+690.065 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13604
Raw data (stat): 13604 (bsolo_lpr_cuts) R 13603 8378 8377 0 -1 0 46074 0 0 0 68928 88 0 0 25 0 1 0 719156465 200634368 45998 4294967295 134512640 134714508 3221224592 3221223248 134527930 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48983 45998 1111 63 0 48920 0
vsize: 195932
[startup+700.065 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13604
Raw data (stat): 13604 (bsolo_lpr_cuts) R 13603 8378 8377 0 -1 0 46825 0 0 0 69926 89 0 0 25 0 1 0 719156465 203603968 46749 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49708 46749 1111 63 0 49645 0
vsize: 198832
[startup+710.066 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13604
Raw data (stat): 13604 (bsolo_lpr_cuts) R 13603 8378 8377 0 -1 0 47577 0 0 0 70925 91 0 0 25 0 1 0 719156465 206753792 47501 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50477 47501 1111 63 0 50414 0
vsize: 201908
[startup+720.066 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13604
Raw data (stat): 13604 (bsolo_lpr_cuts) R 13603 8378 8377 0 -1 0 48340 0 0 0 71924 92 0 0 25 0 1 0 719156465 209895424 48264 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51244 48264 1111 63 0 51181 0
vsize: 204976
[startup+730.065 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13604
Raw data (stat): 13604 (bsolo_lpr_cuts) R 13603 8378 8377 0 -1 0 49103 0 0 0 72922 94 0 0 25 0 1 0 719156465 212996096 49027 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52001 49027 1111 63 0 51938 0
vsize: 208004
[startup+740.065 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13604
Raw data (stat): 13604 (bsolo_lpr_cuts) R 13603 8378 8377 0 -1 0 49941 0 0 0 73921 95 0 0 25 0 1 0 719156465 216395776 49865 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52831 49865 1111 63 0 52768 0
vsize: 211324
[startup+750.065 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13604
Raw data (stat): 13604 (bsolo_lpr_cuts) R 13603 8378 8377 0 -1 0 50792 0 0 0 74920 96 0 0 25 0 1 0 719156465 219934720 50716 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53695 50716 1111 63 0 53632 0
vsize: 214780
[startup+760.066 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13604
Raw data (stat): 13604 (bsolo_lpr_cuts) R 13603 8378 8377 0 -1 0 51639 0 0 0 75919 98 0 0 25 0 1 0 719156465 223342592 51563 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 54527 51563 1111 63 0 54464 0
vsize: 218108
[startup+770.066 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13604
Raw data (stat): 13604 (bsolo_lpr_cuts) R 13603 8378 8377 0 -1 0 52502 0 0 0 76918 99 0 0 25 0 1 0 719156465 226902016 52426 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55396 52426 1111 63 0 55333 0
vsize: 221584
[startup+780.065 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13604
Raw data (stat): 13604 (bsolo_lpr_cuts) R 13603 8378 8377 0 -1 0 53361 0 0 0 77917 100 0 0 25 0 1 0 719156465 230440960 53285 4294967295 134512640 134714508 3221224592 3221223248 134527930 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 56260 53285 1111 63 0 56197 0
vsize: 225040
[startup+790.065 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13604
Raw data (stat): 13604 (bsolo_lpr_cuts) R 13603 8378 8377 0 -1 0 54232 0 0 0 78916 101 0 0 25 0 1 0 719156465 234000384 54156 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57129 54156 1111 63 0 57066 0
vsize: 228516
[startup+800.065 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13604
Raw data (stat): 13604 (bsolo_lpr_cuts) R 13603 8378 8377 0 -1 0 55095 0 0 0 79915 103 0 0 25 0 1 0 719156465 237510656 55019 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57986 55019 1111 63 0 57923 0
vsize: 231944
[startup+810.066 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13604
Raw data (stat): 13604 (bsolo_lpr_cuts) R 13603 8378 8377 0 -1 0 55980 0 0 0 80913 104 0 0 25 0 1 0 719156465 241070080 55904 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58855 55904 1111 63 0 58792 0
vsize: 235420
[startup+820.067 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13604
Raw data (stat): 13604 (bsolo_lpr_cuts) R 13603 8378 8377 0 -1 0 56865 0 0 0 81913 105 0 0 25 0 1 0 719156465 244768768 56789 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59758 56789 1111 63 0 59695 0
vsize: 239032
[startup+830.067 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13604
Raw data (stat): 13604 (bsolo_lpr_cuts) R 13603 8378 8377 0 -1 0 57748 0 0 0 82911 107 0 0 25 0 1 0 719156465 248303616 57672 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60621 57672 1111 63 0 60558 0
vsize: 242484
[startup+840.067 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13604
Raw data (stat): 13604 (bsolo_lpr_cuts) R 13603 8378 8377 0 -1 0 58638 0 0 0 83911 107 0 0 25 0 1 0 719156465 251994112 58562 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61522 58568 1111 63 0 61459 0
vsize: 246088
[startup+850.068 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13604
Raw data (stat): 13604 (bsolo_lpr_cuts) R 13603 8378 8377 0 -1 0 59546 0 0 0 84909 109 0 0 25 0 1 0 719156465 255713280 59470 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 62430 59470 1111 63 0 62367 0
vsize: 249720
[startup+860.069 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13604
Raw data (stat): 13604 (bsolo_lpr_cuts) R 13603 8378 8377 0 -1 0 60468 0 0 0 85908 110 0 0 25 0 1 0 719156465 259383296 60392 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 63326 60392 1111 63 0 63263 0
vsize: 253304
[startup+870.068 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13604
Raw data (stat): 13604 (bsolo_lpr_cuts) R 13603 8378 8377 0 -1 0 61404 0 0 0 86907 112 0 0 25 0 1 0 719156465 263208960 61328 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 64260 61328 1111 63 0 64197 0
vsize: 257040
[startup+880.068 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13604
Raw data (stat): 13604 (bsolo_lpr_cuts) R 13603 8378 8377 0 -1 0 62357 0 0 0 87905 114 0 0 25 0 1 0 719156465 267218944 62281 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65239 62281 1111 63 0 65176 0
vsize: 260956
[startup+890.069 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13604
Raw data (stat): 13604 (bsolo_lpr_cuts) R 13603 8378 8377 0 -1 0 63337 0 0 0 88904 115 0 0 25 0 1 0 719156465 271196160 63261 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 66210 63261 1111 63 0 66147 0
vsize: 264840
[startup+900.069 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13604
Raw data (stat): 13604 (bsolo_lpr_cuts) R 13603 8378 8377 0 -1 0 64337 0 0 0 89902 117 0 0 25 0 1 0 719156465 275312640 64261 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67215 64261 1111 63 0 67152 0
vsize: 268860
[startup+910.071 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13604
Raw data (stat): 13604 (bsolo_lpr_cuts) R 13603 8378 8377 0 -1 0 65335 0 0 0 90901 118 0 0 25 0 1 0 719156465 279293952 65259 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 68187 65259 1111 63 0 68124 0
vsize: 272748
[startup+920.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13604
Raw data (stat): 13604 (bsolo_lpr_cuts) R 13603 8378 8377 0 -1 0 66347 0 0 0 91899 121 0 0 25 0 1 0 719156465 283455488 66271 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69203 66271 1111 63 0 69140 0
vsize: 276812
[startup+930.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13604
Raw data (stat): 13604 (bsolo_lpr_cuts) R 13603 8378 8377 0 -1 0 67366 0 0 0 92897 123 0 0 25 0 1 0 719156465 287727616 67290 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70246 67290 1111 63 0 70183 0
vsize: 280984
[startup+940.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13604
Raw data (stat): 13604 (bsolo_lpr_cuts) R 13603 8378 8377 0 -1 0 68423 0 0 0 93895 125 0 0 25 0 1 0 719156465 292020224 68347 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71294 68347 1111 63 0 71231 0
vsize: 285176
[startup+950.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13604
Raw data (stat): 13604 (bsolo_lpr_cuts) R 13603 8378 8377 0 -1 0 69472 0 0 0 94893 127 0 0 25 0 1 0 719156465 296288256 69396 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 72336 69396 1111 63 0 72273 0
vsize: 289344
[startup+960.071 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13604
Raw data (stat): 13604 (bsolo_lpr_cuts) R 13603 8378 8377 0 -1 0 70535 0 0 0 95892 129 0 0 25 0 1 0 719156465 300584960 70459 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73385 70459 1111 63 0 73322 0
vsize: 293540
[startup+970.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13604
Raw data (stat): 13604 (bsolo_lpr_cuts) R 13603 8378 8377 0 -1 0 71599 0 0 0 96891 130 0 0 25 0 1 0 719156465 305012736 71523 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74466 71523 1111 63 0 74403 0
vsize: 297864
[startup+980.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13604
Raw data (stat): 13604 (bsolo_lpr_cuts) R 13603 8378 8377 0 -1 0 72686 0 0 0 97888 132 0 0 25 0 1 0 719156465 309436416 72610 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 75546 72610 1111 63 0 75483 0
vsize: 302184
[startup+990.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13604
Raw data (stat): 13604 (bsolo_lpr_cuts) R 13603 8378 8377 0 -1 0 73782 0 0 0 98886 134 0 0 25 0 1 0 719156465 313864192 73706 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 76627 73706 1111 63 0 76564 0
vsize: 306508
[startup+1000.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13604
Raw data (stat): 13604 (bsolo_lpr_cuts) R 13603 8378 8377 0 -1 0 74916 0 0 0 99885 136 0 0 25 0 1 0 719156465 318582784 74840 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77779 74840 1111 63 0 77716 0
vsize: 311116
[startup+1010.07 s]
Raw data (loadavg): 0.99 0.97 0.91 3/55 13604
Raw data (stat): 13604 (bsolo_lpr_cuts) R 13603 8378 8377 0 -1 0 76081 0 0 0 100883 138 0 0 25 0 1 0 719156465 323325952 76005 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 78937 76005 1111 63 0 78874 0
vsize: 315748
[startup+1020.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13604
Raw data (stat): 13604 (bsolo_lpr_cuts) R 13603 8378 8377 0 -1 0 77266 0 0 0 101881 140 0 0 25 0 1 0 719156465 328216576 77190 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 80131 77190 1111 63 0 80068 0
vsize: 320524
[startup+1030.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13604
Raw data (stat): 13604 (bsolo_lpr_cuts) R 13603 8378 8377 0 -1 0 78457 0 0 0 102879 143 0 0 25 0 1 0 719156465 333094912 78381 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 81322 78381 1111 63 0 81259 0
vsize: 325288
[startup+1040.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13604
Raw data (stat): 13604 (bsolo_lpr_cuts) R 13603 8378 8377 0 -1 0 79655 0 0 0 103877 145 0 0 25 0 1 0 719156465 337989632 79579 4294967295 134512640 134714508 3221224592 3221223248 134527953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82517 79579 1111 63 0 82454 0
vsize: 330068
[startup+1050.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13604
Raw data (stat): 13604 (bsolo_lpr_cuts) R 13603 8378 8377 0 -1 0 80871 0 0 0 104875 148 0 0 25 0 1 0 719156465 342867968 80795 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83708 80795 1111 63 0 83645 0
vsize: 334832
[startup+1060.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13604
Raw data (stat): 13604 (bsolo_lpr_cuts) R 13603 8378 8377 0 -1 0 82075 0 0 0 105873 150 0 0 25 0 1 0 719156465 347762688 81999 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 84903 81999 1111 63 0 84840 0
vsize: 339612
[startup+1070.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13604
Raw data (stat): 13604 (bsolo_lpr_cuts) R 13603 8378 8377 0 -1 0 83298 0 0 0 106872 151 0 0 25 0 1 0 719156465 352788480 83222 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 86130 83222 1111 63 0 86067 0
vsize: 344520
[startup+1080.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13604
Raw data (stat): 13604 (bsolo_lpr_cuts) R 13603 8378 8377 0 -1 0 84535 0 0 0 107870 154 0 0 25 0 1 0 719156465 357822464 84459 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 87359 84459 1111 63 0 87296 0
vsize: 349436
[startup+1090.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13604
Raw data (stat): 13604 (bsolo_lpr_cuts) R 13603 8378 8377 0 -1 0 85763 0 0 0 108868 155 0 0 25 0 1 0 719156465 362954752 85687 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88612 85687 1111 63 0 88549 0
vsize: 354448
[startup+1100.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13604
Raw data (stat): 13604 (bsolo_lpr_cuts) R 13603 8378 8377 0 -1 0 87019 0 0 0 109866 158 0 0 25 0 1 0 719156465 367988736 86943 4294967295 134512640 134714508 3221224592 3221223248 134527930 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 89841 86943 1111 63 0 89778 0
vsize: 359364
[startup+1110.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13604
Raw data (stat): 13604 (bsolo_lpr_cuts) R 13603 8378 8377 0 -1 0 88274 0 0 0 110863 161 0 0 25 0 1 0 719156465 373145600 88198 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91100 88198 1111 63 0 91037 0
vsize: 364400
[startup+1120.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13604
Raw data (stat): 13604 (bsolo_lpr_cuts) R 13603 8378 8377 0 -1 0 89529 0 0 0 111861 162 0 0 25 0 1 0 719156465 378331136 89453 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 92366 89453 1111 63 0 92303 0
vsize: 369464
[startup+1130.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13604
Raw data (stat): 13604 (bsolo_lpr_cuts) R 13603 8378 8377 0 -1 0 90797 0 0 0 112860 164 0 0 25 0 1 0 719156465 383492096 90721 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93626 90721 1111 63 0 93563 0
vsize: 374504
[startup+1140.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13604
Raw data (stat): 13604 (bsolo_lpr_cuts) R 13603 8378 8377 0 -1 0 92212 0 0 0 113858 167 0 0 25 0 1 0 719156465 389537792 92010 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95102 92010 1111 63 0 95039 0
vsize: 380408
[startup+1150.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13604
Raw data (stat): 13604 (bsolo_lpr_cuts) R 13603 8378 8377 0 -1 0 93493 0 0 0 114856 169 0 0 25 0 1 0 719156465 394715136 93291 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96366 93291 1111 63 0 96303 0
vsize: 385464
[startup+1160.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13604
Raw data (stat): 13604 (bsolo_lpr_cuts) R 13603 8378 8377 0 -1 0 94795 0 0 0 115854 171 0 0 25 0 1 0 719156465 400035840 94593 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 97665 94593 1111 63 0 97602 0
vsize: 390660
[startup+1170.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13604
Raw data (stat): 13604 (bsolo_lpr_cuts) R 13603 8378 8377 0 -1 0 96101 0 0 0 116852 173 0 0 25 0 1 0 719156465 405483520 95899 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 98995 95899 1111 63 0 98932 0
vsize: 395980
[startup+1180.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13604
Raw data (stat): 13604 (bsolo_lpr_cuts) R 13603 8378 8377 0 -1 0 97409 0 0 0 117850 175 0 0 25 0 1 0 719156465 410804224 97207 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 100294 97207 1111 63 0 100231 0
vsize: 401176
[startup+1190.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13604
Raw data (stat): 13604 (bsolo_lpr_cuts) R 13603 8378 8377 0 -1 0 98730 0 0 0 118847 178 0 0 25 0 1 0 719156465 416120832 98528 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 101592 98528 1111 63 0 101529 0
vsize: 406368
[startup+1200.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13604
Raw data (stat): 13604 (bsolo_lpr_cuts) R 13603 8378 8377 0 -1 0 100062 0 0 0 119845 181 0 0 25 0 1 0 719156465 421568512 99860 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 102922 99860 1111 63 0 102859 0
vsize: 411688
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.27 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 13604
Raw data (stat): 13604 (bsolo_lpr_cuts) Z 13603 8378 8377 0 -1 1036 100062 0 0 0 119845 199 0 0 25 0 1 0 719156465 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.27
CPU time (s): 1200.45
CPU user time (s): 1198.45
CPU system time (s): 1.9947
CPU usage (%): 100.015
Max. virtual memory (Kb): 411688
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####