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 41388

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-09 11:17:41 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29432 boxname=wulflinc2 idbench=1216 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  2e76b80d3e2b7702736bbbb87d69e547  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-fit2d.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-fit2d.opb
IDLAUNCH: 29432
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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.191
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:        836008 kB
Buffers:          8832 kB
Cached:         168400 kB
SwapCached:       1472 kB
Active:          50640 kB
Inactive:       128628 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        835756 kB
SwapTotal:     2097136 kB
SwapFree:      2094616 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4956 kB
Slab:            13608 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 11:37:44 (client local time) WITH STATUS 0 IN 1200.44 SECONDS
stats: 29432 7 1200.44 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
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.90 0.93 0.90 2/54 27423
Raw data (stat): 27423 (runsolver) R 27422 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 909855684 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0011 s]
Raw data (loadavg): 0.91 0.93 0.90 2/54 27423
Raw data (stat): 27423 (bsolo_lpr_cuts-) R 27422 31399 31398 0 -1 0 1431 0 0 0 993 4 0 0 25 0 1 0 909855684 17465344 1351 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4264 1351 1111 63 0 4201 0
vsize: 17056
[startup+20.0017 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 27423
Raw data (stat): 27423 (bsolo_lpr_cuts-) R 27422 31399 31398 0 -1 0 2007 0 0 0 1992 6 0 0 25 0 1 0 909855684 19824640 1927 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4840 1927 1111 63 0 4777 0
vsize: 19360
[startup+30.001 s]
Raw data (loadavg): 0.94 0.94 0.90 2/54 27423
Raw data (stat): 27423 (bsolo_lpr_cuts-) R 27422 31399 31398 0 -1 0 2586 0 0 0 2991 7 0 0 25 0 1 0 909855684 22200320 2506 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5420 2506 1111 63 0 5357 0
vsize: 21680
[startup+40.0021 s]
Raw data (loadavg): 0.94 0.94 0.91 2/54 27423
Raw data (stat): 27423 (bsolo_lpr_cuts-) R 27422 31399 31398 0 -1 0 3162 0 0 0 3990 8 0 0 25 0 1 0 909855684 24608768 3082 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6008 3082 1111 63 0 5945 0
vsize: 24032
[startup+50.0028 s]
Raw data (loadavg): 0.95 0.94 0.91 2/54 27423
Raw data (stat): 27423 (bsolo_lpr_cuts-) R 27422 31399 31398 0 -1 0 3751 0 0 0 4989 9 0 0 25 0 1 0 909855684 26943488 3671 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6578 3671 1111 63 0 6515 0
vsize: 26312
[startup+60.0031 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 27423
Raw data (stat): 27423 (bsolo_lpr_cuts-) R 27422 31399 31398 0 -1 0 4334 0 0 0 5989 10 0 0 25 0 1 0 909855684 29310976 4254 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7156 4254 1111 63 0 7093 0
vsize: 28624
[startup+70.0032 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 27423
Raw data (stat): 27423 (bsolo_lpr_cuts-) R 27422 31399 31398 0 -1 0 4918 0 0 0 6987 11 0 0 25 0 1 0 909855684 31694848 4838 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7738 4838 1111 63 0 7675 0
vsize: 30952
[startup+80.0039 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 27423
Raw data (stat): 27423 (bsolo_lpr_cuts-) R 27422 31399 31398 0 -1 0 5513 0 0 0 7986 13 0 0 25 0 1 0 909855684 34234368 5433 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8358 5433 1111 63 0 8295 0
vsize: 33432
[startup+90.0043 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 27423
Raw data (stat): 27423 (bsolo_lpr_cuts-) R 27422 31399 31398 0 -1 0 6101 0 0 0 8986 14 0 0 25 0 1 0 909855684 36646912 6021 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8947 6021 1111 63 0 8884 0
vsize: 35788
[startup+100.004 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 27423
Raw data (stat): 27423 (bsolo_lpr_cuts-) R 27422 31399 31398 0 -1 0 6697 0 0 0 9985 15 0 0 25 0 1 0 909855684 38981632 6617 4294967295 134512640 134716908 3221224560 3221222788 1077414424 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9517 6617 1111 63 0 9454 0
vsize: 38068
[startup+110.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 27423
Raw data (stat): 27423 (bsolo_lpr_cuts-) R 27422 31399 31398 0 -1 0 7295 0 0 0 10984 16 0 0 25 0 1 0 909855684 41504768 7215 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10133 7215 1111 63 0 10070 0
vsize: 40532
[startup+120.007 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 27423
Raw data (stat): 27423 (bsolo_lpr_cuts-) R 27422 31399 31398 0 -1 0 7891 0 0 0 11983 17 0 0 25 0 1 0 909855684 43913216 7811 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10721 7811 1111 63 0 10658 0
vsize: 42884
[startup+130.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 27423
Raw data (stat): 27423 (bsolo_lpr_cuts-) R 27422 31399 31398 0 -1 0 8493 0 0 0 12982 18 0 0 25 0 1 0 909855684 46456832 8413 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11342 8413 1111 63 0 11279 0
vsize: 45368
[startup+140.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 27423
Raw data (stat): 27423 (bsolo_lpr_cuts-) R 27422 31399 31398 0 -1 0 9096 0 0 0 13981 20 0 0 25 0 1 0 909855684 48816128 9016 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11918 9016 1111 63 0 11855 0
vsize: 47672
[startup+150.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 27423
Raw data (stat): 27423 (bsolo_lpr_cuts-) R 27422 31399 31398 0 -1 0 9698 0 0 0 14980 21 0 0 25 0 1 0 909855684 51331072 9618 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12532 9618 1111 63 0 12469 0
vsize: 50128
[startup+160.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 27423
Raw data (stat): 27423 (bsolo_lpr_cuts-) R 27422 31399 31398 0 -1 0 10309 0 0 0 15980 21 0 0 25 0 1 0 909855684 53854208 10229 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13148 10229 1111 63 0 13085 0
vsize: 52592
[startup+170.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 27423
Raw data (stat): 27423 (bsolo_lpr_cuts-) R 27422 31399 31398 0 -1 0 10917 0 0 0 16979 22 0 0 25 0 1 0 909855684 56242176 10837 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13731 10837 1111 63 0 13668 0
vsize: 54924
[startup+180.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 27423
Raw data (stat): 27423 (bsolo_lpr_cuts-) R 27422 31399 31398 0 -1 0 11525 0 0 0 17978 24 0 0 25 0 1 0 909855684 58781696 11445 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14351 11445 1111 63 0 14288 0
vsize: 57404
[startup+190.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 27423
Raw data (stat): 27423 (bsolo_lpr_cuts-) R 27422 31399 31398 0 -1 0 12151 0 0 0 18977 24 0 0 25 0 1 0 909855684 61452288 12071 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15003 12071 1111 63 0 14940 0
vsize: 60012
[startup+200.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 27423
Raw data (stat): 27423 (bsolo_lpr_cuts-) R 27422 31399 31398 0 -1 0 12773 0 0 0 19977 25 0 0 25 0 1 0 909855684 63971328 12693 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15618 12693 1111 63 0 15555 0
vsize: 62472
[startup+210.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 27423
Raw data (stat): 27423 (bsolo_lpr_cuts-) R 27422 31399 31398 0 -1 0 13395 0 0 0 20976 26 0 0 25 0 1 0 909855684 66486272 13315 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16232 13315 1111 63 0 16169 0
vsize: 64928
[startup+220.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 27423
Raw data (stat): 27423 (bsolo_lpr_cuts-) R 27422 31399 31398 0 -1 0 14017 0 0 0 21975 27 0 0 25 0 1 0 909855684 69033984 13937 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16854 13937 1111 63 0 16791 0
vsize: 67416
[startup+230.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 27423
Raw data (stat): 27423 (bsolo_lpr_cuts-) R 27422 31399 31398 0 -1 0 14644 0 0 0 22974 29 0 0 25 0 1 0 909855684 71548928 14564 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17468 14564 1111 63 0 17405 0
vsize: 69872
[startup+240.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 27423
Raw data (stat): 27423 (bsolo_lpr_cuts-) R 27422 31399 31398 0 -1 0 15275 0 0 0 23973 30 0 0 25 0 1 0 909855684 74231808 15195 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18123 15195 1111 63 0 18060 0
vsize: 72492
[startup+250.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 27423
Raw data (stat): 27423 (bsolo_lpr_cuts-) R 27422 31399 31398 0 -1 0 15902 0 0 0 24972 31 0 0 25 0 1 0 909855684 76771328 15822 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18743 15822 1111 63 0 18680 0
vsize: 74972
[startup+260.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 27423
Raw data (stat): 27423 (bsolo_lpr_cuts-) R 27422 31399 31398 0 -1 0 16537 0 0 0 25971 33 0 0 25 0 1 0 909855684 79290368 16457 4294967295 134512640 134716908 3221224560 3221222788 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19358 16457 1111 63 0 19295 0
vsize: 77432
[startup+270.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 27423
Raw data (stat): 27423 (bsolo_lpr_cuts-) R 27422 31399 31398 0 -1 0 17171 0 0 0 26969 35 0 0 25 0 1 0 909855684 81989632 17091 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20017 17091 1111 63 0 19954 0
vsize: 80068
[startup+280.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 27423
Raw data (stat): 27423 (bsolo_lpr_cuts-) R 27422 31399 31398 0 -1 0 17808 0 0 0 27968 36 0 0 25 0 1 0 909855684 84488192 17728 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20627 17728 1111 63 0 20564 0
vsize: 82508
[startup+290.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27423
Raw data (stat): 27423 (bsolo_lpr_cuts-) R 27422 31399 31398 0 -1 0 18448 0 0 0 28968 37 0 0 25 0 1 0 909855684 87207936 18368 4294967295 134512640 134716908 3221224560 3221222892 1077399562 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21291 18368 1111 63 0 21228 0
vsize: 85164
[startup+300.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27423
Raw data (stat): 27423 (bsolo_lpr_cuts-) R 27422 31399 31398 0 -1 0 19097 0 0 0 29967 37 0 0 25 0 1 0 909855684 89886720 19017 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21945 19017 1111 63 0 21882 0
vsize: 87780
[startup+310.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27423
Raw data (stat): 27423 (bsolo_lpr_cuts-) R 27422 31399 31398 0 -1 0 19744 0 0 0 30966 38 0 0 25 0 1 0 909855684 92405760 19664 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22560 19664 1111 63 0 22497 0
vsize: 90240
[startup+320.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27423
Raw data (stat): 27423 (bsolo_lpr_cuts-) R 27422 31399 31398 0 -1 0 20399 0 0 0 31965 39 0 0 25 0 1 0 909855684 95080448 20319 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23213 20319 1111 63 0 23150 0
vsize: 92852
[startup+330.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27423
Raw data (stat): 27423 (bsolo_lpr_cuts-) R 27422 31399 31398 0 -1 0 21058 0 0 0 32965 40 0 0 25 0 1 0 909855684 97779712 20978 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23872 20978 1111 63 0 23809 0
vsize: 95488
[startup+340.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27423
Raw data (stat): 27423 (bsolo_lpr_cuts-) R 27422 31399 31398 0 -1 0 21713 0 0 0 33964 42 0 0 25 0 1 0 909855684 100589568 21633 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24558 21633 1111 63 0 24495 0
vsize: 98232
[startup+350.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27423
Raw data (stat): 27423 (bsolo_lpr_cuts-) R 27422 31399 31398 0 -1 0 22372 0 0 0 34963 44 0 0 25 0 1 0 909855684 103264256 22292 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25211 22292 1111 63 0 25148 0
vsize: 100844
[startup+360.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27423
Raw data (stat): 27423 (bsolo_lpr_cuts-) R 27422 31399 31398 0 -1 0 23031 0 0 0 35962 45 0 0 25 0 1 0 909855684 105938944 22951 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25864 22951 1111 63 0 25801 0
vsize: 103456
[startup+370.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27423
Raw data (stat): 27423 (bsolo_lpr_cuts-) R 27422 31399 31398 0 -1 0 23718 0 0 0 36961 46 0 0 25 0 1 0 909855684 108785664 23638 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26559 23638 1111 63 0 26496 0
vsize: 106236
[startup+380.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27423
Raw data (stat): 27423 (bsolo_lpr_cuts-) R 27422 31399 31398 0 -1 0 24389 0 0 0 37960 47 0 0 25 0 1 0 909855684 111665152 24309 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27262 24309 1111 63 0 27199 0
vsize: 109048
[startup+390.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27423
Raw data (stat): 27423 (bsolo_lpr_cuts-) R 27422 31399 31398 0 -1 0 25057 0 0 0 38959 49 0 0 25 0 1 0 909855684 114339840 24977 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27915 24977 1111 63 0 27852 0
vsize: 111660
[startup+400.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27423
Raw data (stat): 27423 (bsolo_lpr_cuts-) R 27422 31399 31398 0 -1 0 25724 0 0 0 39958 49 0 0 25 0 1 0 909855684 116998144 25644 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28564 25644 1111 63 0 28501 0
vsize: 114256
[startup+410.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27423
Raw data (stat): 27423 (bsolo_lpr_cuts-) R 27422 31399 31398 0 -1 0 26411 0 0 0 40957 51 0 0 25 0 1 0 909855684 119828480 26331 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29255 26331 1111 63 0 29192 0
vsize: 117020
[startup+420.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27423
Raw data (stat): 27423 (bsolo_lpr_cuts-) R 27422 31399 31398 0 -1 0 27083 0 0 0 41956 52 0 0 25 0 1 0 909855684 122679296 27003 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29951 27003 1111 63 0 29888 0
vsize: 119804
[startup+430.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27423
Raw data (stat): 27423 (bsolo_lpr_cuts-) R 27422 31399 31398 0 -1 0 27765 0 0 0 42955 53 0 0 25 0 1 0 909855684 125468672 27685 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30632 27685 1111 63 0 30569 0
vsize: 122528
[startup+440.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27423
Raw data (stat): 27423 (bsolo_lpr_cuts-) R 27422 31399 31398 0 -1 0 28449 0 0 0 43955 54 0 0 25 0 1 0 909855684 128167936 28369 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31291 28369 1111 63 0 31228 0
vsize: 125164
[startup+450.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27423
Raw data (stat): 27423 (bsolo_lpr_cuts-) R 27422 31399 31398 0 -1 0 29144 0 0 0 44954 55 0 0 25 0 1 0 909855684 130998272 29064 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31982 29064 1111 63 0 31919 0
vsize: 127928
[startup+460.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27423
Raw data (stat): 27423 (bsolo_lpr_cuts-) R 27422 31399 31398 0 -1 0 29829 0 0 0 45953 56 0 0 25 0 1 0 909855684 133808128 29749 4294967295 134512640 134716908 3221224560 3221222788 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32668 29749 1111 63 0 32605 0
vsize: 130672
[startup+470.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27423
Raw data (stat): 27423 (bsolo_lpr_cuts-) R 27422 31399 31398 0 -1 0 30522 0 0 0 46951 58 0 0 25 0 1 0 909855684 136638464 30442 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33359 30442 1111 63 0 33296 0
vsize: 133436
[startup+480.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27423
Raw data (stat): 27423 (bsolo_lpr_cuts-) R 27422 31399 31398 0 -1 0 31227 0 0 0 47950 59 0 0 25 0 1 0 909855684 139608064 31147 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34084 31147 1111 63 0 34021 0
vsize: 136336
[startup+490.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27423
Raw data (stat): 27423 (bsolo_lpr_cuts-) R 27422 31399 31398 0 -1 0 31914 0 0 0 48949 61 0 0 25 0 1 0 909855684 142438400 31834 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34775 31834 1111 63 0 34712 0
vsize: 139100
[startup+500.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27423
Raw data (stat): 27423 (bsolo_lpr_cuts-) R 27422 31399 31398 0 -1 0 32619 0 0 0 49947 62 0 0 25 0 1 0 909855684 145264640 32539 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35465 32539 1111 63 0 35402 0
vsize: 141860
[startup+510.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27423
Raw data (stat): 27423 (bsolo_lpr_cuts-) R 27422 31399 31398 0 -1 0 33325 0 0 0 50947 63 0 0 25 0 1 0 909855684 148209664 33245 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36184 33245 1111 63 0 36121 0
vsize: 144736
[startup+520.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27423
Raw data (stat): 27423 (bsolo_lpr_cuts-) R 27422 31399 31398 0 -1 0 34028 0 0 0 51945 65 0 0 25 0 1 0 909855684 151089152 33948 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36887 33948 1111 63 0 36824 0
vsize: 147548
[startup+530.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27423
Raw data (stat): 27423 (bsolo_lpr_cuts-) R 27422 31399 31398 0 -1 0 34742 0 0 0 52944 66 0 0 25 0 1 0 909855684 153899008 34662 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37573 34662 1111 63 0 37510 0
vsize: 150292
[startup+540.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27423
Raw data (stat): 27423 (bsolo_lpr_cuts-) R 27422 31399 31398 0 -1 0 35453 0 0 0 53943 67 0 0 25 0 1 0 909855684 156864512 35373 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38297 35373 1111 63 0 38234 0
vsize: 153188
[startup+550.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27423
Raw data (stat): 27423 (bsolo_lpr_cuts-) R 27422 31399 31398 0 -1 0 36166 0 0 0 54943 68 0 0 25 0 1 0 909855684 159698944 36086 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38989 36086 1111 63 0 38926 0
vsize: 155956
[startup+560.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27423
Raw data (stat): 27423 (bsolo_lpr_cuts-) R 27422 31399 31398 0 -1 0 36883 0 0 0 55942 69 0 0 25 0 1 0 909855684 162689024 36803 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39719 36803 1111 63 0 39656 0
vsize: 158876
[startup+570.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27423
Raw data (stat): 27423 (bsolo_lpr_cuts-) R 27422 31399 31398 0 -1 0 37609 0 0 0 56940 71 0 0 25 0 1 0 909855684 165675008 37529 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40448 37529 1111 63 0 40385 0
vsize: 161792
[startup+580.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27423
Raw data (stat): 27423 (bsolo_lpr_cuts-) R 27422 31399 31398 0 -1 0 38326 0 0 0 57939 72 0 0 25 0 1 0 909855684 168640512 38246 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41172 38246 1111 63 0 41109 0
vsize: 164688
[startup+590.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27423
Raw data (stat): 27423 (bsolo_lpr_cuts-) R 27422 31399 31398 0 -1 0 39063 0 0 0 58938 74 0 0 25 0 1 0 909855684 171630592 38983 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41902 38983 1111 63 0 41839 0
vsize: 167608
[startup+600.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27423
Raw data (stat): 27423 (bsolo_lpr_cuts-) R 27422 31399 31398 0 -1 0 39782 0 0 0 59937 74 0 0 25 0 1 0 909855684 174596096 39702 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42626 39702 1111 63 0 42563 0
vsize: 170504
[startup+610.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27423
Raw data (stat): 27423 (bsolo_lpr_cuts-) R 27422 31399 31398 0 -1 0 40513 0 0 0 60936 76 0 0 25 0 1 0 909855684 177582080 40433 4294967295 134512640 134716908 3221224560 3221222788 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43355 40433 1111 63 0 43292 0
vsize: 173420
[startup+620.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27423
Raw data (stat): 27423 (bsolo_lpr_cuts-) R 27422 31399 31398 0 -1 0 41250 0 0 0 61935 77 0 0 25 0 1 0 909855684 180527104 41170 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44074 41170 1111 63 0 44011 0
vsize: 176296
[startup+630.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27423
Raw data (stat): 27423 (bsolo_lpr_cuts-) R 27422 31399 31398 0 -1 0 41994 0 0 0 62934 79 0 0 25 0 1 0 909855684 183537664 41914 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44809 41914 1111 63 0 44746 0
vsize: 179236
[startup+640.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27423
Raw data (stat): 27423 (bsolo_lpr_cuts-) R 27422 31399 31398 0 -1 0 42738 0 0 0 63932 81 0 0 25 0 1 0 909855684 186638336 42658 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45566 42658 1111 63 0 45503 0
vsize: 182264
[startup+650.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27423
Raw data (stat): 27423 (bsolo_lpr_cuts-) R 27422 31399 31398 0 -1 0 43469 0 0 0 64930 83 0 0 25 0 1 0 909855684 189648896 43389 4294967295 134512640 134716908 3221224560 3221222788 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46301 43389 1111 63 0 46238 0
vsize: 185204
[startup+660.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27423
Raw data (stat): 27423 (bsolo_lpr_cuts-) R 27422 31399 31398 0 -1 0 44224 0 0 0 65929 84 0 0 25 0 1 0 909855684 192749568 44144 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47058 44144 1111 63 0 46995 0
vsize: 188232
[startup+670.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27423
Raw data (stat): 27423 (bsolo_lpr_cuts-) R 27422 31399 31398 0 -1 0 44973 0 0 0 66928 85 0 0 25 0 1 0 909855684 195739648 44893 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47788 44893 1111 63 0 47725 0
vsize: 191152
[startup+680.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27423
Raw data (stat): 27423 (bsolo_lpr_cuts-) R 27422 31399 31398 0 -1 0 45757 0 0 0 67928 86 0 0 25 0 1 0 909855684 199225344 45677 4294967295 134512640 134716908 3221224560 3221222912 134567410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48639 45677 1111 63 0 48576 0
vsize: 194556
[startup+690.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27423
Raw data (stat): 27423 (bsolo_lpr_cuts-) R 27422 31399 31398 0 -1 0 46512 0 0 0 68927 87 0 0 25 0 1 0 909855684 202342400 46432 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49400 46432 1111 63 0 49337 0
vsize: 197600
[startup+700.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27423
Raw data (stat): 27423 (bsolo_lpr_cuts-) R 27422 31399 31398 0 -1 0 47271 0 0 0 69926 88 0 0 25 0 1 0 909855684 205467648 47191 4294967295 134512640 134716908 3221224560 3221222788 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50163 47191 1111 63 0 50100 0
vsize: 200652
[startup+710.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27423
Raw data (stat): 27423 (bsolo_lpr_cuts-) R 27422 31399 31398 0 -1 0 48039 0 0 0 70925 89 0 0 25 0 1 0 909855684 208637952 47959 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50937 47959 1111 63 0 50874 0
vsize: 203748
[startup+720.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27423
Raw data (stat): 27423 (bsolo_lpr_cuts-) R 27422 31399 31398 0 -1 0 48809 0 0 0 71924 90 0 0 25 0 1 0 909855684 211759104 48729 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51699 48729 1111 63 0 51636 0
vsize: 206796
[startup+730.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27423
Raw data (stat): 27423 (bsolo_lpr_cuts-) R 27422 31399 31398 0 -1 0 49636 0 0 0 72924 91 0 0 25 0 1 0 909855684 215195648 49556 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52538 49556 1111 63 0 52475 0
vsize: 210152
[startup+740.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27423
Raw data (stat): 27423 (bsolo_lpr_cuts-) R 27422 31399 31398 0 -1 0 50487 0 0 0 73921 93 0 0 25 0 1 0 909855684 218595328 50407 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53368 50407 1111 63 0 53305 0
vsize: 213472
[startup+750.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27423
Raw data (stat): 27423 (bsolo_lpr_cuts-) R 27422 31399 31398 0 -1 0 51359 0 0 0 74920 95 0 0 25 0 1 0 909855684 222187520 51279 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54245 51279 1111 63 0 54182 0
vsize: 216980
[startup+760.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27423
Raw data (stat): 27423 (bsolo_lpr_cuts-) R 27422 31399 31398 0 -1 0 52235 0 0 0 75919 97 0 0 25 0 1 0 909855684 225701888 52155 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55103 52155 1111 63 0 55040 0
vsize: 220412
[startup+770.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27423
Raw data (stat): 27423 (bsolo_lpr_cuts-) R 27422 31399 31398 0 -1 0 53108 0 0 0 76917 98 0 0 25 0 1 0 909855684 229281792 53028 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55977 53028 1111 63 0 55914 0
vsize: 223908
[startup+780.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27423
Raw data (stat): 27423 (bsolo_lpr_cuts-) R 27422 31399 31398 0 -1 0 53990 0 0 0 77916 100 0 0 25 0 1 0 909855684 232976384 53910 4294967295 134512640 134716908 3221224560 3221222832 134525615 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56879 53911 1111 63 0 56816 0
vsize: 227516
[startup+790.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27423
Raw data (stat): 27423 (bsolo_lpr_cuts-) R 27422 31399 31398 0 -1 0 54886 0 0 0 78914 102 0 0 25 0 1 0 909855684 236646400 54806 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57775 54806 1111 63 0 57712 0
vsize: 231100
[startup+800.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27423
Raw data (stat): 27423 (bsolo_lpr_cuts-) R 27422 31399 31398 0 -1 0 55784 0 0 0 79911 105 0 0 25 0 1 0 909855684 240316416 55704 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58671 55704 1111 63 0 58608 0
vsize: 234684
[startup+810.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27423
Raw data (stat): 27423 (bsolo_lpr_cuts-) R 27422 31399 31398 0 -1 0 56680 0 0 0 80910 106 0 0 25 0 1 0 909855684 243879936 56600 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59541 56600 1111 63 0 59478 0
vsize: 238164
[startup+820.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27423
Raw data (stat): 27423 (bsolo_lpr_cuts-) R 27422 31399 31398 0 -1 0 57589 0 0 0 81909 108 0 0 25 0 1 0 909855684 247721984 57509 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60479 57509 1111 63 0 60416 0
vsize: 241916
[startup+830.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27423
Raw data (stat): 27423 (bsolo_lpr_cuts-) R 27422 31399 31398 0 -1 0 58512 0 0 0 82907 109 0 0 25 0 1 0 909855684 251392000 58432 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61375 58432 1111 63 0 61312 0
vsize: 245500
[startup+840.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27423
Raw data (stat): 27423 (bsolo_lpr_cuts-) R 27422 31399 31398 0 -1 0 59433 0 0 0 83906 111 0 0 25 0 1 0 909855684 255246336 59353 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62316 59353 1111 63 0 62253 0
vsize: 249264
[startup+850.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27423
Raw data (stat): 27423 (bsolo_lpr_cuts-) R 27422 31399 31398 0 -1 0 60374 0 0 0 84904 113 0 0 25 0 1 0 909855684 259072000 60294 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63250 60294 1111 63 0 63187 0
vsize: 253000
[startup+860.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27423
Raw data (stat): 27423 (bsolo_lpr_cuts-) R 27422 31399 31398 0 -1 0 61323 0 0 0 85903 115 0 0 25 0 1 0 909855684 262897664 61243 4294967295 134512640 134716908 3221224560 3221222788 1077414424 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64184 61243 1111 63 0 64121 0
vsize: 256736
[startup+870.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27423
Raw data (stat): 27423 (bsolo_lpr_cuts-) R 27422 31399 31398 0 -1 0 62282 0 0 0 86901 117 0 0 25 0 1 0 909855684 266928128 62202 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65168 62202 1111 63 0 65105 0
vsize: 260672
[startup+880.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27423
Raw data (stat): 27423 (bsolo_lpr_cuts-) R 27422 31399 31398 0 -1 0 63244 0 0 0 87900 118 0 0 25 0 1 0 909855684 270729216 63164 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66096 63164 1111 63 0 66033 0
vsize: 264384
[startup+890.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27423
Raw data (stat): 27423 (bsolo_lpr_cuts-) R 27422 31399 31398 0 -1 0 64237 0 0 0 88899 119 0 0 25 0 1 0 909855684 274866176 64157 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67106 64157 1111 63 0 67043 0
vsize: 268424
[startup+900.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27423
Raw data (stat): 27423 (bsolo_lpr_cuts-) R 27422 31399 31398 0 -1 0 65222 0 0 0 89898 120 0 0 25 0 1 0 909855684 278867968 65142 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68083 65142 1111 63 0 68020 0
vsize: 272332
[startup+910.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27423
Raw data (stat): 27423 (bsolo_lpr_cuts-) R 27422 31399 31398 0 -1 0 66228 0 0 0 90896 122 0 0 25 0 1 0 909855684 283009024 66148 4294967295 134512640 134716908 3221224560 3221222912 134567410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69094 66148 1111 63 0 69031 0
vsize: 276376
[startup+920.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27423
Raw data (stat): 27423 (bsolo_lpr_cuts-) R 27422 31399 31398 0 -1 0 67234 0 0 0 91895 124 0 0 25 0 1 0 909855684 287125504 67154 4294967295 134512640 134716908 3221224560 3221223216 134527930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70099 67154 1111 63 0 70036 0
vsize: 280396
[startup+930.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27423
Raw data (stat): 27423 (bsolo_lpr_cuts-) R 27422 31399 31398 0 -1 0 68258 0 0 0 92893 126 0 0 25 0 1 0 909855684 291266560 68178 4294967295 134512640 134716908 3221224560 3221223216 134527935 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71110 68178 1111 63 0 71047 0
vsize: 284440
[startup+940.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27423
Raw data (stat): 27423 (bsolo_lpr_cuts-) R 27422 31399 31398 0 -1 0 69276 0 0 0 93892 127 0 0 25 0 1 0 909855684 295403520 69196 4294967295 134512640 134716908 3221224560 3221222788 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72120 69196 1111 63 0 72057 0
vsize: 288480
[startup+950.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27423
Raw data (stat): 27423 (bsolo_lpr_cuts-) R 27422 31399 31398 0 -1 0 70307 0 0 0 94890 130 0 0 25 0 1 0 909855684 299696128 70227 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73168 70227 1111 63 0 73105 0
vsize: 292672
[startup+960.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27423
Raw data (stat): 27423 (bsolo_lpr_cuts-) R 27422 31399 31398 0 -1 0 71333 0 0 0 95887 132 0 0 25 0 1 0 909855684 303812608 71253 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 74173 71253 1111 63 0 74110 0
vsize: 296692
[startup+970.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27423
Raw data (stat): 27423 (bsolo_lpr_cuts-) R 27422 31399 31398 0 -1 0 72387 0 0 0 96885 135 0 0 25 0 1 0 909855684 308260864 72307 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 75259 72307 1111 63 0 75196 0
vsize: 301036
[startup+980.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27423
Raw data (stat): 27423 (bsolo_lpr_cuts-) R 27422 31399 31398 0 -1 0 73464 0 0 0 97884 136 0 0 25 0 1 0 909855684 312557568 73384 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 76308 73384 1111 63 0 76245 0
vsize: 305232
[startup+990.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27423
Raw data (stat): 27423 (bsolo_lpr_cuts-) R 27422 31399 31398 0 -1 0 74572 0 0 0 98882 138 0 0 25 0 1 0 909855684 317087744 74492 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 77414 74492 1111 63 0 77351 0
vsize: 309656
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27423
Raw data (stat): 27423 (bsolo_lpr_cuts-) R 27422 31399 31398 0 -1 0 75685 0 0 0 99880 140 0 0 25 0 1 0 909855684 321695744 75605 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 78539 75605 1111 63 0 78476 0
vsize: 314156
[startup+1010.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27423
Raw data (stat): 27423 (bsolo_lpr_cuts-) R 27422 31399 31398 0 -1 0 76814 0 0 0 100879 142 0 0 25 0 1 0 909855684 326303744 76734 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 79664 76734 1111 63 0 79601 0
vsize: 318656
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27423
Raw data (stat): 27423 (bsolo_lpr_cuts-) R 27422 31399 31398 0 -1 0 77959 0 0 0 101877 144 0 0 25 0 1 0 909855684 331001856 77879 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 80811 77879 1111 63 0 80748 0
vsize: 323244
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27423
Raw data (stat): 27423 (bsolo_lpr_cuts-) R 27422 31399 31398 0 -1 0 79112 0 0 0 102876 145 0 0 25 0 1 0 909855684 335765504 79032 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 81974 79032 1111 63 0 81911 0
vsize: 327896
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27423
Raw data (stat): 27423 (bsolo_lpr_cuts-) R 27422 31399 31398 0 -1 0 80284 0 0 0 103874 147 0 0 25 0 1 0 909855684 340529152 80204 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83137 80204 1111 63 0 83074 0
vsize: 332548
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27423
Raw data (stat): 27423 (bsolo_lpr_cuts-) R 27422 31399 31398 0 -1 0 81456 0 0 0 104871 150 0 0 25 0 1 0 909855684 345251840 81376 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 84290 81376 1111 63 0 84227 0
vsize: 337160
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27423
Raw data (stat): 27423 (bsolo_lpr_cuts-) R 27422 31399 31398 0 -1 0 82647 0 0 0 105869 152 0 0 25 0 1 0 909855684 350097408 82567 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 85473 82567 1111 63 0 85410 0
vsize: 341892
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27423
Raw data (stat): 27423 (bsolo_lpr_cuts-) R 27422 31399 31398 0 -1 0 83856 0 0 0 106868 154 0 0 25 0 1 0 909855684 355147776 83776 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 86706 83776 1111 63 0 86643 0
vsize: 346824
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27423
Raw data (stat): 27423 (bsolo_lpr_cuts-) R 27422 31399 31398 0 -1 0 85068 0 0 0 107866 156 0 0 25 0 1 0 909855684 360022016 84988 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87896 84988 1111 63 0 87833 0
vsize: 351584
[startup+1090.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27423
Raw data (stat): 27423 (bsolo_lpr_cuts-) R 27422 31399 31398 0 -1 0 86303 0 0 0 108864 158 0 0 25 0 1 0 909855684 365047808 86223 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 89123 86223 1111 63 0 89060 0
vsize: 356492
[startup+1100.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27423
Raw data (stat): 27423 (bsolo_lpr_cuts-) R 27422 31399 31398 0 -1 0 87566 0 0 0 109861 161 0 0 25 0 1 0 909855684 370343936 87486 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90416 87486 1111 63 0 90353 0
vsize: 361664
[startup+1110.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27423
Raw data (stat): 27423 (bsolo_lpr_cuts-) R 27422 31399 31398 0 -1 0 88814 0 0 0 110859 164 0 0 25 0 1 0 909855684 375369728 88734 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 91643 88734 1111 63 0 91580 0
vsize: 366572
[startup+1120.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27423
Raw data (stat): 27423 (bsolo_lpr_cuts-) R 27422 31399 31398 0 -1 0 90082 0 0 0 111858 165 0 0 25 0 1 0 909855684 380534784 90002 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92904 90002 1111 63 0 92841 0
vsize: 371616
[startup+1130.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27423
Raw data (stat): 27423 (bsolo_lpr_cuts-) R 27422 31399 31398 0 -1 0 91490 0 0 0 112855 168 0 0 25 0 1 0 909855684 386621440 91284 4294967295 134512640 134716908 3221224560 3221223216 134527944 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 94390 91284 1111 63 0 94327 0
vsize: 377560
[startup+1140.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27423
Raw data (stat): 27423 (bsolo_lpr_cuts-) R 27422 31399 31398 0 -1 0 92766 0 0 0 113852 171 0 0 25 0 1 0 909855684 391761920 92560 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95645 92560 1111 63 0 95582 0
vsize: 382580
[startup+1150.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27423
Raw data (stat): 27423 (bsolo_lpr_cuts-) R 27422 31399 31398 0 -1 0 94066 0 0 0 114850 174 0 0 25 0 1 0 909855684 397049856 93860 4294967295 134512640 134716908 3221224560 3221223216 134527928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96936 93860 1111 63 0 96873 0
vsize: 387744
[startup+1160.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27423
Raw data (stat): 27423 (bsolo_lpr_cuts-) R 27422 31399 31398 0 -1 0 95372 0 0 0 115848 176 0 0 25 0 1 0 909855684 402395136 95166 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 98241 95166 1111 63 0 98178 0
vsize: 392964
[startup+1170.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27423
Raw data (stat): 27423 (bsolo_lpr_cuts-) R 27422 31399 31398 0 -1 0 96668 0 0 0 116845 179 0 0 25 0 1 0 909855684 407687168 96462 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 99533 96462 1111 63 0 99470 0
vsize: 398132
[startup+1180.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27423
Raw data (stat): 27423 (bsolo_lpr_cuts-) R 27422 31399 31398 0 -1 0 97988 0 0 0 117842 183 0 0 25 0 1 0 909855684 413184000 97782 4294967295 134512640 134716908 3221224560 3221223216 134527948 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 100875 97782 1111 63 0 100812 0
vsize: 403500
[startup+1190.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27423
Raw data (stat): 27423 (bsolo_lpr_cuts-) R 27422 31399 31398 0 -1 0 99328 0 0 0 118839 185 0 0 25 0 1 0 909855684 418635776 99122 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 102206 99122 1111 63 0 102143 0
vsize: 408824
[startup+1200.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27423
Raw data (stat): 27423 (bsolo_lpr_cuts-) R 27422 31399 31398 0 -1 0 100649 0 0 0 119837 187 0 0 25 0 1 0 909855684 424087552 100443 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 103537 100443 1111 63 0 103474 0
vsize: 414148
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.25 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 27423
Raw data (stat): 27423 (bsolo_lpr_cuts-) Z 27422 31399 31398 0 -1 1036 100649 0 0 0 119837 206 0 0 25 0 1 0 909855684 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.24
CPU time (s): 1200.44
CPU user time (s): 1198.38
CPU system time (s): 2.06269
CPU usage (%): 100.016
Max. virtual memory (Kb): 414148
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####