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/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-NSR8K.opb
MD5SUM	2b4498b8d68d4bfe8495244ac3a43397
Bench Category	optimization, big integers (OPTBIGINT)
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	158360
Biggest coefficient in the objective function	524288000000000000
Number of bits for the biggest coefficient in the objective function	59
Sum of the numbers in the objective function	33594826051364978688
Number of bits of the sum of numbers in the objective function	65
Biggest number in a constraint	524288000000000000
Number of bits of the biggest number in a constraint	59
Biggest sum of numbers in a constraint	33607626051364978688
Number of bits of the biggest sum of numbers	65
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.60676
Number of variables	158360
Total number of constraints	38324
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	32041
Number of constraints which are nor clauses,nor cardinality constraints	6283
Minimum length of a constraint	1
Maximum length of a constraint	158360
Trace number 25347

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        742956 kB
Buffers:         31544 kB
Cached:         238232 kB
SwapCached:        932 kB
Active:         114608 kB
Inactive:       157500 kB
HighTotal:      131008 kB
HighFree:          280 kB
LowTotal:       903652 kB
LowFree:        742676 kB
SwapTotal:     2097892 kB
SwapFree:      2096072 kB
Dirty:            1720 kB
Writeback:           0 kB
Mapped:           5384 kB
Slab:            14020 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-18 19:42:46 (client local time) WITH STATUS 0 IN 1200.36 SECONDS
stats: 20152 7 1200.36 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.98 0.99 2/55 10093
Raw data (stat): 10093 (runsolver) R 10092 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 780859897 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0011 s]
Raw data (loadavg): 0.94 0.98 0.99 2/55 10093
Raw data (stat): 10093 (bsolo_lpr_cuts) R 10092 7876 7672 0 -1 0 2081 0 0 0 987 9 0 0 25 0 1 0 780859897 17920000 2004 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4375 2004 1111 63 0 4312 0
vsize: 17500
[startup+20.0017 s]
Raw data (loadavg): 0.95 0.98 0.99 2/55 10093
Raw data (stat): 10093 (bsolo_lpr_cuts) R 10092 7876 7672 0 -1 0 2768 0 0 0 1986 10 0 0 25 0 1 0 780859897 20611072 2691 4294967295 134512640 134714508 3221221776 3221220004 1077414407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5032 2691 1111 63 0 4969 0
vsize: 20128
[startup+30.0019 s]
Raw data (loadavg): 0.95 0.98 0.99 2/55 10093
Raw data (stat): 10093 (bsolo_lpr_cuts) R 10092 7876 7672 0 -1 0 3455 0 0 0 2984 12 0 0 25 0 1 0 780859897 23449600 3378 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5725 3378 1111 63 0 5662 0
vsize: 22900
[startup+40.0028 s]
Raw data (loadavg): 0.96 0.98 0.99 2/55 10093
Raw data (stat): 10093 (bsolo_lpr_cuts) R 10092 7876 7672 0 -1 0 4146 0 0 0 3983 13 0 0 25 0 1 0 780859897 26284032 4069 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6417 4069 1111 63 0 6354 0
vsize: 25668
[startup+50.0034 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 10093
Raw data (stat): 10093 (bsolo_lpr_cuts) R 10092 7876 7672 0 -1 0 4839 0 0 0 4982 15 0 0 25 0 1 0 780859897 29122560 4762 4294967295 134512640 134714508 3221221776 3221220004 1077414357 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7110 4762 1111 63 0 7047 0
vsize: 28440
[startup+60.0046 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 10093
Raw data (stat): 10093 (bsolo_lpr_cuts) R 10092 7876 7672 0 -1 0 5526 0 0 0 5980 16 0 0 25 0 1 0 780859897 31961088 5449 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7803 5449 1111 63 0 7740 0
vsize: 31212
[startup+70.0046 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 10093
Raw data (stat): 10093 (bsolo_lpr_cuts) R 10092 7876 7672 0 -1 0 6218 0 0 0 6980 17 0 0 25 0 1 0 780859897 34795520 6141 4294967295 134512640 134714508 3221221776 3221220004 1077414376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8495 6141 1111 63 0 8432 0
vsize: 33980
[startup+80.0042 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 10093
Raw data (stat): 10093 (bsolo_lpr_cuts) R 10092 7876 7672 0 -1 0 6911 0 0 0 7979 18 0 0 25 0 1 0 780859897 37634048 6834 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9188 6834 1111 63 0 9125 0
vsize: 36752
[startup+90.0044 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 10093
Raw data (stat): 10093 (bsolo_lpr_cuts) R 10092 7876 7672 0 -1 0 7607 0 0 0 8978 19 0 0 25 0 1 0 780859897 40460288 7530 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9878 7530 1111 63 0 9815 0
vsize: 39512
[startup+100.004 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 10093
Raw data (stat): 10093 (bsolo_lpr_cuts) R 10092 7876 7672 0 -1 0 8304 0 0 0 9977 20 0 0 25 0 1 0 780859897 43290624 8227 4294967295 134512640 134714508 3221221776 3221220004 1077414370 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10569 8227 1111 63 0 10506 0
vsize: 42276
[startup+110.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 10093
Raw data (stat): 10093 (bsolo_lpr_cuts) R 10092 7876 7672 0 -1 0 8998 0 0 0 10977 21 0 0 25 0 1 0 780859897 46129152 8921 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11262 8921 1111 63 0 11199 0
vsize: 45048
[startup+120.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 10093
Raw data (stat): 10093 (bsolo_lpr_cuts) R 10092 7876 7672 0 -1 0 9691 0 0 0 11975 22 0 0 25 0 1 0 780859897 48967680 9614 4294967295 134512640 134714508 3221221776 3221220004 1077414435 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11955 9614 1111 63 0 11892 0
vsize: 47820
[startup+130.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 10093
Raw data (stat): 10093 (bsolo_lpr_cuts) R 10092 7876 7672 0 -1 0 10388 0 0 0 12974 24 0 0 25 0 1 0 780859897 51949568 10311 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12683 10311 1111 63 0 12620 0
vsize: 50732
[startup+140.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 10093
Raw data (stat): 10093 (bsolo_lpr_cuts) R 10092 7876 7672 0 -1 0 11081 0 0 0 13973 25 0 0 25 0 1 0 780859897 54788096 11004 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13376 11004 1111 63 0 13313 0
vsize: 53504
[startup+150.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 10093
Raw data (stat): 10093 (bsolo_lpr_cuts) R 10092 7876 7672 0 -1 0 11780 0 0 0 14971 27 0 0 25 0 1 0 780859897 57626624 11703 4294967295 134512640 134714508 3221221776 3221220004 1077414358 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14069 11703 1111 63 0 14006 0
vsize: 56276
[startup+160.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 10093
Raw data (stat): 10093 (bsolo_lpr_cuts) R 10092 7876 7672 0 -1 0 12478 0 0 0 15971 28 0 0 25 0 1 0 780859897 60461056 12401 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14761 12401 1111 63 0 14698 0
vsize: 59044
[startup+170.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 10093
Raw data (stat): 10093 (bsolo_lpr_cuts) R 10092 7876 7672 0 -1 0 13177 0 0 0 16970 29 0 0 25 0 1 0 780859897 63299584 13100 4294967295 134512640 134714508 3221221776 3221220128 134567410 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15454 13100 1111 63 0 15391 0
vsize: 61816
[startup+180.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 10093
Raw data (stat): 10093 (bsolo_lpr_cuts) R 10092 7876 7672 0 -1 0 13875 0 0 0 17969 30 0 0 25 0 1 0 780859897 66113536 13798 4294967295 134512640 134714508 3221221776 3221220004 1077414358 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16141 13798 1111 63 0 16078 0
vsize: 64564
[startup+190.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 10093
Raw data (stat): 10093 (bsolo_lpr_cuts) R 10092 7876 7672 0 -1 0 14574 0 0 0 18969 31 0 0 25 0 1 0 780859897 69095424 14497 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16869 14497 1111 63 0 16806 0
vsize: 67476
[startup+200.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 10093
Raw data (stat): 10093 (bsolo_lpr_cuts) R 10092 7876 7672 0 -1 0 15273 0 0 0 19968 32 0 0 25 0 1 0 780859897 71933952 15196 4294967295 134512640 134714508 3221221776 3221220004 1077414358 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17562 15196 1111 63 0 17499 0
vsize: 70248
[startup+210.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 10093
Raw data (stat): 10093 (bsolo_lpr_cuts) R 10092 7876 7672 0 -1 0 15972 0 0 0 20967 33 0 0 25 0 1 0 780859897 74772480 15895 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18255 15895 1111 63 0 18192 0
vsize: 73020
[startup+220.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 10093
Raw data (stat): 10093 (bsolo_lpr_cuts) R 10092 7876 7672 0 -1 0 16670 0 0 0 21966 34 0 0 25 0 1 0 780859897 77602816 16593 4294967295 134512640 134714508 3221221776 3221220004 1077414374 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18946 16593 1111 63 0 18883 0
vsize: 75784
[startup+230.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 10093
Raw data (stat): 10093 (bsolo_lpr_cuts) R 10092 7876 7672 0 -1 0 17375 0 0 0 22965 35 0 0 25 0 1 0 780859897 80445440 17298 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19640 17298 1111 63 0 19577 0
vsize: 78560
[startup+240.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 10093
Raw data (stat): 10093 (bsolo_lpr_cuts) R 10092 7876 7672 0 -1 0 18074 0 0 0 23964 36 0 0 25 0 1 0 780859897 83431424 17997 4294967295 134512640 134714508 3221221776 3221220004 1077414433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20369 17997 1111 63 0 20306 0
vsize: 81476
[startup+250.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 10093
Raw data (stat): 10093 (bsolo_lpr_cuts) R 10092 7876 7672 0 -1 0 18772 0 0 0 24963 37 0 0 25 0 1 0 780859897 86265856 18695 4294967295 134512640 134714508 3221221776 3221220004 1077414401 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21061 18695 1111 63 0 20998 0
vsize: 84244
[startup+260.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 10093
Raw data (stat): 10093 (bsolo_lpr_cuts) R 10092 7876 7672 0 -1 0 19477 0 0 0 25962 39 0 0 25 0 1 0 780859897 89104384 19400 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21754 19400 1111 63 0 21691 0
vsize: 87016
[startup+270.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 10093
Raw data (stat): 10093 (bsolo_lpr_cuts) R 10092 7876 7672 0 -1 0 20176 0 0 0 26961 40 0 0 25 0 1 0 780859897 91942912 20099 4294967295 134512640 134714508 3221221776 3221220004 1077414399 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22447 20099 1111 63 0 22384 0
vsize: 89788
[startup+280.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 10093
Raw data (stat): 10093 (bsolo_lpr_cuts) R 10092 7876 7672 0 -1 0 20880 0 0 0 27960 41 0 0 25 0 1 0 780859897 94924800 20803 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23175 20803 1111 63 0 23112 0
vsize: 92700
[startup+290.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 10093
Raw data (stat): 10093 (bsolo_lpr_cuts) R 10092 7876 7672 0 -1 0 21585 0 0 0 28959 42 0 0 25 0 1 0 780859897 97763328 21508 4294967295 134512640 134714508 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23868 21508 1111 63 0 23805 0
vsize: 95472
[startup+300.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 10093
Raw data (stat): 10093 (bsolo_lpr_cuts) R 10092 7876 7672 0 -1 0 22290 0 0 0 29958 43 0 0 25 0 1 0 780859897 100601856 22213 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24561 22213 1111 63 0 24498 0
vsize: 98244
[startup+310.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 10093
Raw data (stat): 10093 (bsolo_lpr_cuts) R 10092 7876 7672 0 -1 0 22995 0 0 0 30957 45 0 0 25 0 1 0 780859897 103587840 22918 4294967295 134512640 134714508 3221221776 3221220004 1077414358 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25290 22918 1111 63 0 25227 0
vsize: 101160
[startup+320.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 10093
Raw data (stat): 10093 (bsolo_lpr_cuts) R 10092 7876 7672 0 -1 0 23699 0 0 0 31956 46 0 0 25 0 1 0 780859897 106422272 23622 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25982 23622 1111 63 0 25919 0
vsize: 103928
[startup+330.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 10093
Raw data (stat): 10093 (bsolo_lpr_cuts) R 10092 7876 7672 0 -1 0 24404 0 0 0 32955 47 0 0 25 0 1 0 780859897 109260800 24327 4294967295 134512640 134714508 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26675 24327 1111 63 0 26612 0
vsize: 106700
[startup+340.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 10093
Raw data (stat): 10093 (bsolo_lpr_cuts) R 10092 7876 7672 0 -1 0 25109 0 0 0 33954 48 0 0 25 0 1 0 780859897 112246784 25032 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27404 25032 1111 63 0 27341 0
vsize: 109616
[startup+350.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 10093
Raw data (stat): 10093 (bsolo_lpr_cuts) R 10092 7876 7672 0 -1 0 25822 0 0 0 34952 50 0 0 25 0 1 0 780859897 115064832 25745 4294967295 134512640 134714508 3221221776 3221220004 1077414410 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28092 25745 1111 63 0 28029 0
vsize: 112368
[startup+360.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 10093
Raw data (stat): 10093 (bsolo_lpr_cuts) R 10092 7876 7672 0 -1 0 26525 0 0 0 35952 51 0 0 25 0 1 0 780859897 118042624 26448 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28819 26448 1111 63 0 28756 0
vsize: 115276
[startup+370.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 10093
Raw data (stat): 10093 (bsolo_lpr_cuts) R 10092 7876 7672 0 -1 0 27236 0 0 0 36950 53 0 0 25 0 1 0 780859897 120881152 27159 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29512 27159 1111 63 0 29449 0
vsize: 118048
[startup+380.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 10093
Raw data (stat): 10093 (bsolo_lpr_cuts) R 10092 7876 7672 0 -1 0 27940 0 0 0 37949 54 0 0 25 0 1 0 780859897 123863040 27863 4294967295 134512640 134714508 3221221776 3221220004 1077414432 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30240 27863 1111 63 0 30177 0
vsize: 120960
[startup+390.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 10093
Raw data (stat): 10093 (bsolo_lpr_cuts) R 10092 7876 7672 0 -1 0 28651 0 0 0 38948 55 0 0 25 0 1 0 780859897 126701568 28574 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30933 28574 1111 63 0 30870 0
vsize: 123732
[startup+400.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 10093
Raw data (stat): 10093 (bsolo_lpr_cuts) R 10092 7876 7672 0 -1 0 29364 0 0 0 39947 57 0 0 25 0 1 0 780859897 129691648 29287 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31663 29287 1111 63 0 31600 0
vsize: 126652
[startup+410.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 10093
Raw data (stat): 10093 (bsolo_lpr_cuts) R 10092 7876 7672 0 -1 0 30067 0 0 0 40946 57 0 0 25 0 1 0 780859897 132521984 29990 4294967295 134512640 134714508 3221221776 3221220004 1077414401 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32354 29990 1111 63 0 32291 0
vsize: 129416
[startup+420.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 10093
Raw data (stat): 10093 (bsolo_lpr_cuts) R 10092 7876 7672 0 -1 0 30779 0 0 0 41946 58 0 0 25 0 1 0 780859897 135360512 30702 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33047 30702 1111 63 0 32984 0
vsize: 132188
[startup+430.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 10093
Raw data (stat): 10093 (bsolo_lpr_cuts) R 10092 7876 7672 0 -1 0 31490 0 0 0 42944 60 0 0 25 0 1 0 780859897 138350592 31413 4294967295 134512640 134714508 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33777 31413 1111 63 0 33714 0
vsize: 135108
[startup+440.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 10093
Raw data (stat): 10093 (bsolo_lpr_cuts) R 10092 7876 7672 0 -1 0 32201 0 0 0 43944 61 0 0 25 0 1 0 780859897 141180928 32124 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34468 32124 1111 63 0 34405 0
vsize: 137872
[startup+450.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 10093
Raw data (stat): 10093 (bsolo_lpr_cuts) R 10092 7876 7672 0 -1 0 32912 0 0 0 44943 62 0 0 25 0 1 0 780859897 144171008 32835 4294967295 134512640 134714508 3221221776 3221220004 1077414433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35198 32835 1111 63 0 35135 0
vsize: 140792
[startup+460.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 10093
Raw data (stat): 10093 (bsolo_lpr_cuts) R 10092 7876 7672 0 -1 0 33629 0 0 0 45942 63 0 0 25 0 1 0 780859897 147156992 33552 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35927 33552 1111 63 0 35864 0
vsize: 143708
[startup+470.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 10093
Raw data (stat): 10093 (bsolo_lpr_cuts) R 10092 7876 7672 0 -1 0 34339 0 0 0 46940 65 0 0 25 0 1 0 780859897 149991424 34262 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36619 34262 1111 63 0 36556 0
vsize: 146476
[startup+480.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 10093
Raw data (stat): 10093 (bsolo_lpr_cuts) R 10092 7876 7672 0 -1 0 35051 0 0 0 47939 66 0 0 25 0 1 0 780859897 152977408 34974 4294967295 134512640 134714508 3221221776 3221220004 1077414382 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37348 34974 1111 63 0 37285 0
vsize: 149392
[startup+490.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 10093
Raw data (stat): 10093 (bsolo_lpr_cuts) R 10092 7876 7672 0 -1 0 35769 0 0 0 48938 67 0 0 25 0 1 0 780859897 155815936 35692 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38041 35692 1111 63 0 37978 0
vsize: 152164
[startup+500.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 10093
Raw data (stat): 10093 (bsolo_lpr_cuts) R 10092 7876 7672 0 -1 0 36480 0 0 0 49937 69 0 0 25 0 1 0 780859897 158806016 36403 4294967295 134512640 134714508 3221221776 3221220004 1077414358 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38771 36403 1111 63 0 38708 0
vsize: 155084
[startup+510.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 10093
Raw data (stat): 10093 (bsolo_lpr_cuts) R 10092 7876 7672 0 -1 0 37196 0 0 0 50935 70 0 0 25 0 1 0 780859897 161636352 37119 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39462 37119 1111 63 0 39399 0
vsize: 157848
[startup+520.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 10093
Raw data (stat): 10093 (bsolo_lpr_cuts) R 10092 7876 7672 0 -1 0 37914 0 0 0 51934 72 0 0 25 0 1 0 780859897 164626432 37837 4294967295 134512640 134714508 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40192 37837 1111 63 0 40129 0
vsize: 160768
[startup+530.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 10093
Raw data (stat): 10093 (bsolo_lpr_cuts) R 10092 7876 7672 0 -1 0 38631 0 0 0 52933 73 0 0 25 0 1 0 780859897 167612416 38554 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40921 38554 1111 63 0 40858 0
vsize: 163684
[startup+540.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 10093
Raw data (stat): 10093 (bsolo_lpr_cuts) R 10092 7876 7672 0 -1 0 39347 0 0 0 53932 74 0 0 25 0 1 0 780859897 170446848 39270 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41613 39270 1111 63 0 41550 0
vsize: 166452
[startup+550.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 10093
Raw data (stat): 10093 (bsolo_lpr_cuts) R 10092 7876 7672 0 -1 0 40065 0 0 0 54930 76 0 0 25 0 1 0 780859897 173432832 39988 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42342 39988 1111 63 0 42279 0
vsize: 169368
[startup+560.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 10093
Raw data (stat): 10093 (bsolo_lpr_cuts) R 10092 7876 7672 0 -1 0 40782 0 0 0 55929 78 0 0 25 0 1 0 780859897 176422912 40705 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43072 40705 1111 63 0 43009 0
vsize: 172288
[startup+570.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 10093
Raw data (stat): 10093 (bsolo_lpr_cuts) R 10092 7876 7672 0 -1 0 41499 0 0 0 56928 79 0 0 25 0 1 0 780859897 179253248 41422 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43763 41422 1111 63 0 43700 0
vsize: 175052
[startup+580.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 10093
Raw data (stat): 10093 (bsolo_lpr_cuts) R 10092 7876 7672 0 -1 0 42216 0 0 0 57927 80 0 0 25 0 1 0 780859897 182243328 42139 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44493 42139 1111 63 0 44430 0
vsize: 177972
[startup+590.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 10093
Raw data (stat): 10093 (bsolo_lpr_cuts) R 10092 7876 7672 0 -1 0 42933 0 0 0 58925 82 0 0 25 0 1 0 780859897 185229312 42856 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45222 42856 1111 63 0 45159 0
vsize: 180888
[startup+600.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 10093
Raw data (stat): 10093 (bsolo_lpr_cuts) R 10092 7876 7672 0 -1 0 43655 0 0 0 59923 83 0 0 25 0 1 0 780859897 188211200 43578 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45950 43578 1111 63 0 45887 0
vsize: 183800
[startup+610.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 10093
Raw data (stat): 10093 (bsolo_lpr_cuts) R 10092 7876 7672 0 -1 0 44373 0 0 0 60922 84 0 0 25 0 1 0 780859897 191049728 44296 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 46643 44296 1111 63 0 46580 0
vsize: 186572
[startup+620.028 s]
Raw data (loadavg): 0.99 0.98 0.99 3/55 10093
Raw data (stat): 10093 (bsolo_lpr_cuts) R 10092 7876 7672 0 -1 0 45096 0 0 0 61921 85 0 0 25 0 1 0 780859897 194039808 45019 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47373 45019 1111 63 0 47310 0
vsize: 189492
[startup+630.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 10093
Raw data (stat): 10093 (bsolo_lpr_cuts) R 10092 7876 7672 0 -1 0 45819 0 0 0 62920 87 0 0 25 0 1 0 780859897 197025792 45742 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48102 45742 1111 63 0 48039 0
vsize: 192408
[startup+640.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 10093
Raw data (stat): 10093 (bsolo_lpr_cuts) R 10092 7876 7672 0 -1 0 46541 0 0 0 63919 89 0 0 25 0 1 0 780859897 200007680 46464 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48830 46464 1111 63 0 48767 0
vsize: 195320
[startup+650.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 10093
Raw data (stat): 10093 (bsolo_lpr_cuts) R 10092 7876 7672 0 -1 0 47265 0 0 0 64918 90 0 0 25 0 1 0 780859897 202997760 47188 4294967295 134512640 134714508 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49560 47188 1111 63 0 49497 0
vsize: 198240
[startup+660.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 10093
Raw data (stat): 10093 (bsolo_lpr_cuts) R 10092 7876 7672 0 -1 0 47988 0 0 0 65917 91 0 0 25 0 1 0 780859897 205836288 47911 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50253 47911 1111 63 0 50190 0
vsize: 201012
[startup+670.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 10093
Raw data (stat): 10093 (bsolo_lpr_cuts) R 10092 7876 7672 0 -1 0 48710 0 0 0 66916 92 0 0 25 0 1 0 780859897 208818176 48633 4294967295 134512640 134714508 3221221776 3221220004 1077414376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50981 48633 1111 63 0 50918 0
vsize: 203924
[startup+680.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 10093
Raw data (stat): 10093 (bsolo_lpr_cuts) R 10092 7876 7672 0 -1 0 49433 0 0 0 67915 93 0 0 25 0 1 0 780859897 211804160 49356 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51710 49356 1111 63 0 51647 0
vsize: 206840
[startup+690.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 10093
Raw data (stat): 10093 (bsolo_lpr_cuts) R 10092 7876 7672 0 -1 0 50167 0 0 0 68914 95 0 0 25 0 1 0 780859897 214937600 50090 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 52475 50090 1111 63 0 52412 0
vsize: 209900
[startup+700.036 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 10093
Raw data (stat): 10093 (bsolo_lpr_cuts) R 10092 7876 7672 0 -1 0 50896 0 0 0 69912 96 0 0 25 0 1 0 780859897 217923584 50819 4294967295 134512640 134714508 3221221776 3221220004 1077414358 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53204 50819 1111 63 0 53141 0
vsize: 212816
[startup+710.036 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 10093
Raw data (stat): 10093 (bsolo_lpr_cuts) R 10092 7876 7672 0 -1 0 51620 0 0 0 70911 98 0 0 25 0 1 0 780859897 220762112 51543 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53897 51543 1111 63 0 53834 0
vsize: 215588
[startup+720.039 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 10093
Raw data (stat): 10093 (bsolo_lpr_cuts) R 10092 7876 7672 0 -1 0 52350 0 0 0 71910 100 0 0 25 0 1 0 780859897 223752192 52273 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 54627 52273 1111 63 0 54564 0
vsize: 218508
[startup+730.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 10093
Raw data (stat): 10093 (bsolo_lpr_cuts) R 10092 7876 7672 0 -1 0 53080 0 0 0 72908 101 0 0 25 0 1 0 780859897 226734080 53003 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55355 53003 1111 63 0 55292 0
vsize: 221420
[startup+740.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 10093
Raw data (stat): 10093 (bsolo_lpr_cuts) R 10092 7876 7672 0 -1 0 53808 0 0 0 73908 102 0 0 25 0 1 0 780859897 229720064 53731 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 56084 53731 1111 63 0 56021 0
vsize: 224336
[startup+750.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 10093
Raw data (stat): 10093 (bsolo_lpr_cuts) R 10092 7876 7672 0 -1 0 54538 0 0 0 74907 103 0 0 25 0 1 0 780859897 232710144 54461 4294967295 134512640 134714508 3221221776 3221220004 1077414383 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 56814 54461 1111 63 0 56751 0
vsize: 227256
[startup+760.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 10093
Raw data (stat): 10093 (bsolo_lpr_cuts) R 10092 7876 7672 0 -1 0 55267 0 0 0 75906 104 0 0 25 0 1 0 780859897 235700224 55190 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 57544 55190 1111 63 0 57481 0
vsize: 230176
[startup+770.041 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 10093
Raw data (stat): 10093 (bsolo_lpr_cuts) R 10092 7876 7672 0 -1 0 55995 0 0 0 76905 105 0 0 25 0 1 0 780859897 238682112 55918 4294967295 134512640 134714508 3221221776 3221220004 1077414401 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 58272 55918 1111 63 0 58209 0
vsize: 233088
[startup+780.041 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 10093
Raw data (stat): 10093 (bsolo_lpr_cuts) R 10092 7876 7672 0 -1 0 56732 0 0 0 77904 106 0 0 25 0 1 0 780859897 241819648 56655 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 59038 56655 1111 63 0 58975 0
vsize: 236152
[startup+790.042 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 10093
Raw data (stat): 10093 (bsolo_lpr_cuts) R 10092 7876 7672 0 -1 0 57463 0 0 0 78903 108 0 0 25 0 1 0 780859897 244809728 57386 4294967295 134512640 134714508 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 59768 57386 1111 63 0 59705 0
vsize: 239072
[startup+800.041 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 10093
Raw data (stat): 10093 (bsolo_lpr_cuts) R 10092 7876 7672 0 -1 0 58197 0 0 0 79902 109 0 0 25 0 1 0 780859897 247791616 58120 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 60496 58120 1111 63 0 60433 0
vsize: 241984
[startup+810.042 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 10093
Raw data (stat): 10093 (bsolo_lpr_cuts) R 10092 7876 7672 0 -1 0 58927 0 0 0 80902 109 0 0 25 0 1 0 780859897 250781696 58850 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 61226 58850 1111 63 0 61163 0
vsize: 244904
[startup+820.042 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 10093
Raw data (stat): 10093 (bsolo_lpr_cuts) R 10092 7876 7672 0 -1 0 59663 0 0 0 81901 110 0 0 25 0 1 0 780859897 253767680 59586 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 61955 59586 1111 63 0 61892 0
vsize: 247820
[startup+830.043 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 10093
Raw data (stat): 10093 (bsolo_lpr_cuts) R 10092 7876 7672 0 -1 0 60398 0 0 0 82899 112 0 0 25 0 1 0 780859897 256757760 60321 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 62685 60321 1111 63 0 62622 0
vsize: 250740
[startup+840.043 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 10093
Raw data (stat): 10093 (bsolo_lpr_cuts) R 10092 7876 7672 0 -1 0 61133 0 0 0 83898 113 0 0 25 0 1 0 780859897 259739648 61056 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 63413 61056 1111 63 0 63350 0
vsize: 253652
[startup+850.043 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 10093
Raw data (stat): 10093 (bsolo_lpr_cuts) R 10092 7876 7672 0 -1 0 61868 0 0 0 84897 115 0 0 25 0 1 0 780859897 262729728 61791 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 64143 61791 1111 63 0 64080 0
vsize: 256572
[startup+860.043 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 10093
Raw data (stat): 10093 (bsolo_lpr_cuts) R 10092 7876 7672 0 -1 0 62605 0 0 0 85896 116 0 0 25 0 1 0 780859897 265867264 62528 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 64909 62528 1111 63 0 64846 0
vsize: 259636
[startup+870.044 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 10093
Raw data (stat): 10093 (bsolo_lpr_cuts) R 10092 7876 7672 0 -1 0 63340 0 0 0 86895 117 0 0 25 0 1 0 780859897 268849152 63263 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65637 63263 1111 63 0 65574 0
vsize: 262548
[startup+880.044 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 10093
Raw data (stat): 10093 (bsolo_lpr_cuts) R 10092 7876 7672 0 -1 0 64076 0 0 0 87894 118 0 0 25 0 1 0 780859897 271839232 63999 4294967295 134512640 134714508 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 66367 63999 1111 63 0 66304 0
vsize: 265468
[startup+890.045 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 10093
Raw data (stat): 10093 (bsolo_lpr_cuts) R 10092 7876 7672 0 -1 0 64818 0 0 0 88893 120 0 0 25 0 1 0 780859897 274829312 64741 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 67097 64741 1111 63 0 67034 0
vsize: 268388
[startup+900.045 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 10093
Raw data (stat): 10093 (bsolo_lpr_cuts) R 10092 7876 7672 0 -1 0 65554 0 0 0 89892 121 0 0 25 0 1 0 780859897 277819392 65477 4294967295 134512640 134714508 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 67827 65477 1111 63 0 67764 0
vsize: 271308
[startup+910.045 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 10093
Raw data (stat): 10093 (bsolo_lpr_cuts) R 10092 7876 7672 0 -1 0 66294 0 0 0 90890 122 0 0 25 0 1 0 780859897 280948736 66217 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 68591 66217 1111 63 0 68528 0
vsize: 274364
[startup+920.046 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 10093
Raw data (stat): 10093 (bsolo_lpr_cuts) R 10092 7876 7672 0 -1 0 67036 0 0 0 91889 124 0 0 25 0 1 0 780859897 283938816 66959 4294967295 134512640 134714508 3221221776 3221220004 1077414349 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69321 66959 1111 63 0 69258 0
vsize: 277284
[startup+930.046 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 10093
Raw data (stat): 10093 (bsolo_lpr_cuts) R 10092 7876 7672 0 -1 0 67778 0 0 0 92887 126 0 0 25 0 1 0 780859897 286928896 67701 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 70051 67701 1111 63 0 69988 0
vsize: 280204
[startup+940.047 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 10093
Raw data (stat): 10093 (bsolo_lpr_cuts) R 10092 7876 7672 0 -1 0 68519 0 0 0 93887 126 0 0 25 0 1 0 780859897 290058240 68442 4294967295 134512640 134714508 3221221776 3221220004 1077414376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 70815 68442 1111 63 0 70752 0
vsize: 283260
[startup+950.047 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 10093
Raw data (stat): 10093 (bsolo_lpr_cuts) R 10092 7876 7672 0 -1 0 69261 0 0 0 94886 128 0 0 25 0 1 0 780859897 293048320 69184 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 71545 69184 1111 63 0 71482 0
vsize: 286180
[startup+960.047 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 10093
Raw data (stat): 10093 (bsolo_lpr_cuts) R 10092 7876 7672 0 -1 0 70004 0 0 0 95885 129 0 0 25 0 1 0 780859897 296038400 69927 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72275 69927 1111 63 0 72212 0
vsize: 289100
[startup+970.048 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 10093
Raw data (stat): 10093 (bsolo_lpr_cuts) R 10092 7876 7672 0 -1 0 70746 0 0 0 96884 130 0 0 25 0 1 0 780859897 299175936 70669 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 73041 70669 1111 63 0 72978 0
vsize: 292164
[startup+980.048 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 10093
Raw data (stat): 10093 (bsolo_lpr_cuts) R 10092 7876 7672 0 -1 0 71486 0 0 0 97884 130 0 0 25 0 1 0 780859897 302157824 71409 4294967295 134512640 134714508 3221221776 3221220004 1077414435 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 73769 71409 1111 63 0 73706 0
vsize: 295076
[startup+990.048 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 10093
Raw data (stat): 10093 (bsolo_lpr_cuts) R 10092 7876 7672 0 -1 0 72234 0 0 0 98882 132 0 0 25 0 1 0 780859897 305295360 72157 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 74535 72157 1111 63 0 74472 0
vsize: 298140
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 10093
Raw data (stat): 10093 (bsolo_lpr_cuts) R 10092 7876 7672 0 -1 0 72976 0 0 0 99882 133 0 0 25 0 1 0 780859897 308285440 72899 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 75265 72899 1111 63 0 75202 0
vsize: 301060
[startup+1010.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 10093
Raw data (stat): 10093 (bsolo_lpr_cuts) R 10092 7876 7672 0 -1 0 73722 0 0 0 100880 135 0 0 25 0 1 0 780859897 311267328 73645 4294967295 134512640 134714508 3221221776 3221220004 1077414435 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 75993 73645 1111 63 0 75930 0
vsize: 303972
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 10093
Raw data (stat): 10093 (bsolo_lpr_cuts) R 10092 7876 7672 0 -1 0 74471 0 0 0 101878 136 0 0 25 0 1 0 780859897 314404864 74394 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 76759 74394 1111 63 0 76696 0
vsize: 307036
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 10093
Raw data (stat): 10093 (bsolo_lpr_cuts) R 10092 7876 7672 0 -1 0 75219 0 0 0 102877 138 0 0 25 0 1 0 780859897 317394944 75142 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 77489 75142 1111 63 0 77426 0
vsize: 309956
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 10093
Raw data (stat): 10093 (bsolo_lpr_cuts) R 10092 7876 7672 0 -1 0 75967 0 0 0 103877 139 0 0 25 0 1 0 780859897 320532480 75890 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 78255 75890 1111 63 0 78192 0
vsize: 313020
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 10093
Raw data (stat): 10093 (bsolo_lpr_cuts) R 10092 7876 7672 0 -1 0 76714 0 0 0 104875 140 0 0 25 0 1 0 780859897 323514368 76637 4294967295 134512640 134714508 3221221776 3221220004 1077414383 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 78983 76637 1111 63 0 78920 0
vsize: 315932
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 10093
Raw data (stat): 10093 (bsolo_lpr_cuts) R 10092 7876 7672 0 -1 0 77462 0 0 0 105874 141 0 0 25 0 1 0 780859897 326651904 77385 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 79749 77385 1111 63 0 79686 0
vsize: 318996
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 10093
Raw data (stat): 10093 (bsolo_lpr_cuts) R 10092 7876 7672 0 -1 0 78210 0 0 0 106873 143 0 0 25 0 1 0 780859897 329641984 78133 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 80479 78133 1111 63 0 80416 0
vsize: 321916
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 10093
Raw data (stat): 10093 (bsolo_lpr_cuts) R 10092 7876 7672 0 -1 0 78963 0 0 0 107871 145 0 0 25 0 1 0 780859897 332771328 78886 4294967295 134512640 134714508 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 81243 78886 1111 63 0 81180 0
vsize: 324972
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 10093
Raw data (stat): 10093 (bsolo_lpr_cuts) R 10092 7876 7672 0 -1 0 79711 0 0 0 108870 147 0 0 25 0 1 0 780859897 335912960 79634 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 82010 79634 1111 63 0 81947 0
vsize: 328040
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 10093
Raw data (stat): 10093 (bsolo_lpr_cuts) R 10092 7876 7672 0 -1 0 80466 0 0 0 109869 148 0 0 25 0 1 0 780859897 338898944 80389 4294967295 134512640 134714508 3221221776 3221220004 1077414401 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 82739 80389 1111 63 0 82676 0
vsize: 330956
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 10093
Raw data (stat): 10093 (bsolo_lpr_cuts) R 10092 7876 7672 0 -1 0 81214 0 0 0 110868 149 0 0 25 0 1 0 780859897 342036480 81137 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 83505 81137 1111 63 0 83442 0
vsize: 334020
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 10093
Raw data (stat): 10093 (bsolo_lpr_cuts) R 10092 7876 7672 0 -1 0 81966 0 0 0 111866 150 0 0 25 0 1 0 780859897 345022464 81889 4294967295 134512640 134714508 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 84234 81889 1111 63 0 84171 0
vsize: 336936
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 10093
Raw data (stat): 10093 (bsolo_lpr_cuts) R 10092 7876 7672 0 -1 0 82721 0 0 0 112865 152 0 0 25 0 1 0 780859897 348160000 82644 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 85000 82644 1111 63 0 84937 0
vsize: 340000
[startup+1140.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 10093
Raw data (stat): 10093 (bsolo_lpr_cuts) R 10092 7876 7672 0 -1 0 83475 0 0 0 113863 154 0 0 25 0 1 0 780859897 351297536 83398 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 85766 83398 1111 63 0 85703 0
vsize: 343064
[startup+1150.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 10093
Raw data (stat): 10093 (bsolo_lpr_cuts) R 10092 7876 7672 0 -1 0 84229 0 0 0 114862 155 0 0 25 0 1 0 780859897 354287616 84152 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 86496 84152 1111 63 0 86433 0
vsize: 345984
[startup+1160.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 10093
Raw data (stat): 10093 (bsolo_lpr_cuts) R 10092 7876 7672 0 -1 0 84987 0 0 0 115861 157 0 0 25 0 1 0 780859897 357416960 84910 4294967295 134512640 134714508 3221221776 3221220004 1077414410 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 87260 84910 1111 63 0 87197 0
vsize: 349040
[startup+1170.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 10093
Raw data (stat): 10093 (bsolo_lpr_cuts) R 10092 7876 7672 0 -1 0 85741 0 0 0 116860 158 0 0 25 0 1 0 780859897 360554496 85664 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 88026 85664 1111 63 0 87963 0
vsize: 352104
[startup+1180.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 10093
Raw data (stat): 10093 (bsolo_lpr_cuts) R 10092 7876 7672 0 -1 0 86495 0 0 0 117859 159 0 0 25 0 1 0 780859897 363692032 86418 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 88792 86418 1111 63 0 88729 0
vsize: 355168
[startup+1190.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 10093
Raw data (stat): 10093 (bsolo_lpr_cuts) R 10092 7876 7672 0 -1 0 87255 0 0 0 118858 160 0 0 25 0 1 0 780859897 366678016 87178 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 89521 87178 1111 63 0 89458 0
vsize: 358084
[startup+1200.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 10093
Raw data (stat): 10093 (bsolo_lpr_cuts) R 10092 7876 7672 0 -1 0 88015 0 0 0 119857 161 0 0 25 0 1 0 780859897 369815552 87938 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 90287 87938 1111 63 0 90224 0
vsize: 361148
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.22 s]
Raw data (loadavg): 0.99 0.98 0.99 1/55 10093
Raw data (stat): 10093 (bsolo_lpr_cuts) Z 10092 7876 7672 0 -1 1036 88015 0 0 0 119858 177 0 0 25 0 1 0 780859897 0 0 4294967295 0 0 0 0 0 0 0 1 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.22
CPU time (s): 1200.36
CPU user time (s): 1198.58
CPU system time (s): 1.77473
CPU usage (%): 100.011
Max. virtual memory (Kb): 361148
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####