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-fit2p.opb
MD5SUM	5f5cb3c37eae37e49339d7674a999c27
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	172663
Biggest coefficient in the objective function	10485760
Number of bits for the biggest coefficient in the objective function	24
Sum of the numbers in the objective function	42533442284
Number of bits of the sum of numbers in the objective function	36
Biggest number in a constraint	30985420800
Number of bits of the biggest number in a constraint	35
Biggest sum of numbers in a constraint	101083836075
Number of bits of the biggest sum of numbers	37
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.9357
Number of variables	210852
Total number of constraints	10500
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	10500
Minimum length of a constraint	10
Maximum length of a constraint	413
Trace number 27753

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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:        757572 kB
Buffers:         34628 kB
Cached:         221432 kB
SwapCached:        504 kB
Active:          83472 kB
Inactive:       175104 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        757320 kB
SwapTotal:     2097136 kB
SwapFree:      2096156 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5948 kB
Slab:            12832 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 23:33:10 (client local time) WITH STATUS 0 IN 1200.3 SECONDS
stats: 15810 7 1200.3 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.94 0.98 0.96 2/54 24491
Raw data (stat): 24491 (runsolver) R 24490 21152 21151 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 775878337 1052672 99 4294967295 134512640 135381576 3221224496 3221219708 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0038 s]
Raw data (loadavg): 0.95 0.98 0.96 2/54 24491
Raw data (stat): 24491 (bsolo_lpr_cuts) R 24490 21152 21151 0 -1 0 1458 0 0 0 993 5 0 0 25 0 1 0 775878337 15765504 1382 4294967295 134512640 134714508 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3849 1382 1111 63 0 3786 0
vsize: 15396
[startup+20.0083 s]
Raw data (loadavg): 0.95 0.98 0.96 2/54 24491
Raw data (stat): 24491 (bsolo_lpr_cuts) R 24490 21152 21151 0 -1 0 1608 0 0 0 1994 5 0 0 25 0 1 0 775878337 16322560 1532 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3985 1532 1111 63 0 3922 0
vsize: 15940
[startup+30.0092 s]
Raw data (loadavg): 0.96 0.98 0.96 2/54 24491
Raw data (stat): 24491 (bsolo_lpr_cuts) R 24490 21152 21151 0 -1 0 1756 0 0 0 2994 5 0 0 25 0 1 0 775878337 16875520 1680 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4120 1680 1111 63 0 4057 0
vsize: 16480
[startup+40.0103 s]
Raw data (loadavg): 0.97 0.98 0.96 2/54 24491
Raw data (stat): 24491 (bsolo_lpr_cuts) R 24490 21152 21151 0 -1 0 1906 0 0 0 3994 5 0 0 25 0 1 0 775878337 17571840 1830 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4290 1830 1111 63 0 4227 0
vsize: 17160
[startup+50.0099 s]
Raw data (loadavg): 0.97 0.98 0.96 2/54 24491
Raw data (stat): 24491 (bsolo_lpr_cuts) R 24490 21152 21151 0 -1 0 2055 0 0 0 4994 5 0 0 25 0 1 0 775878337 18124800 1979 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4425 1979 1111 63 0 4362 0
vsize: 17700
[startup+60.0097 s]
Raw data (loadavg): 0.97 0.98 0.96 2/54 24491
Raw data (stat): 24491 (bsolo_lpr_cuts) R 24490 21152 21151 0 -1 0 2206 0 0 0 5994 5 0 0 25 0 1 0 775878337 18825216 2130 4294967295 134512640 134714508 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4596 2130 1111 63 0 4533 0
vsize: 18384
[startup+70.01 s]
Raw data (loadavg): 0.98 0.98 0.96 2/54 24491
Raw data (stat): 24491 (bsolo_lpr_cuts) R 24490 21152 21151 0 -1 0 2362 0 0 0 6993 6 0 0 25 0 1 0 775878337 19386368 2286 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4733 2286 1111 63 0 4670 0
vsize: 18932
[startup+80.0105 s]
Raw data (loadavg): 0.98 0.98 0.96 2/54 24491
Raw data (stat): 24491 (bsolo_lpr_cuts) R 24490 21152 21151 0 -1 0 2504 0 0 0 7994 6 0 0 25 0 1 0 775878337 19939328 2428 4294967295 134512640 134714508 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4868 2428 1111 63 0 4805 0
vsize: 19472
[startup+90.0104 s]
Raw data (loadavg): 0.98 0.98 0.96 2/54 24491
Raw data (stat): 24491 (bsolo_lpr_cuts) R 24490 21152 21151 0 -1 0 2654 0 0 0 8993 6 0 0 25 0 1 0 775878337 20631552 2578 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5037 2578 1111 63 0 4974 0
vsize: 20148
[startup+100.011 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 24491
Raw data (stat): 24491 (bsolo_lpr_cuts) R 24490 21152 21151 0 -1 0 2808 0 0 0 9993 7 0 0 25 0 1 0 775878337 21184512 2732 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5172 2732 1111 63 0 5109 0
vsize: 20688
[startup+110.011 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 24491
Raw data (stat): 24491 (bsolo_lpr_cuts) R 24490 21152 21151 0 -1 0 2957 0 0 0 10993 7 0 0 25 0 1 0 775878337 21880832 2881 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5342 2881 1111 63 0 5279 0
vsize: 21368
[startup+120.011 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 24491
Raw data (stat): 24491 (bsolo_lpr_cuts) R 24490 21152 21151 0 -1 0 3112 0 0 0 11993 7 0 0 25 0 1 0 775878337 22433792 3036 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5477 3036 1111 63 0 5414 0
vsize: 21908
[startup+130.012 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 24491
Raw data (stat): 24491 (bsolo_lpr_cuts) R 24490 21152 21151 0 -1 0 3268 0 0 0 12993 7 0 0 25 0 1 0 775878337 23130112 3192 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5647 3192 1111 63 0 5584 0
vsize: 22588
[startup+140.012 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 24491
Raw data (stat): 24491 (bsolo_lpr_cuts) R 24490 21152 21151 0 -1 0 3410 0 0 0 13993 7 0 0 25 0 1 0 775878337 23678976 3334 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5781 3334 1111 63 0 5718 0
vsize: 23124
[startup+150.012 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 24491
Raw data (stat): 24491 (bsolo_lpr_cuts) R 24490 21152 21151 0 -1 0 3561 0 0 0 14993 8 0 0 25 0 1 0 775878337 24379392 3485 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5952 3485 1111 63 0 5889 0
vsize: 23808
[startup+160.013 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 24491
Raw data (stat): 24491 (bsolo_lpr_cuts) R 24490 21152 21151 0 -1 0 3716 0 0 0 15993 8 0 0 25 0 1 0 775878337 24932352 3640 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6087 3640 1111 63 0 6024 0
vsize: 24348
[startup+170.013 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 24491
Raw data (stat): 24491 (bsolo_lpr_cuts) R 24490 21152 21151 0 -1 0 3860 0 0 0 16993 8 0 0 25 0 1 0 775878337 25481216 3784 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6221 3784 1111 63 0 6158 0
vsize: 24884
[startup+180.014 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 24491
Raw data (stat): 24491 (bsolo_lpr_cuts) R 24490 21152 21151 0 -1 0 4014 0 0 0 17993 8 0 0 25 0 1 0 775878337 26177536 3938 4294967295 134512640 134714508 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6391 3938 1111 63 0 6328 0
vsize: 25564
[startup+190.015 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 24491
Raw data (stat): 24491 (bsolo_lpr_cuts) R 24490 21152 21151 0 -1 0 4163 0 0 0 18993 9 0 0 25 0 1 0 775878337 26730496 4087 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6526 4087 1111 63 0 6463 0
vsize: 26104
[startup+200.015 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 24491
Raw data (stat): 24491 (bsolo_lpr_cuts) R 24490 21152 21151 0 -1 0 4313 0 0 0 19993 9 0 0 25 0 1 0 775878337 27430912 4237 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6697 4237 1111 63 0 6634 0
vsize: 26788
[startup+210.015 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 24491
Raw data (stat): 24491 (bsolo_lpr_cuts) R 24490 21152 21151 0 -1 0 4470 0 0 0 20993 9 0 0 25 0 1 0 775878337 28123136 4394 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6866 4394 1111 63 0 6803 0
vsize: 27464
[startup+220.015 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 24491
Raw data (stat): 24491 (bsolo_lpr_cuts) R 24490 21152 21151 0 -1 0 4624 0 0 0 21993 9 0 0 25 0 1 0 775878337 28672000 4548 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7000 4548 1111 63 0 6937 0
vsize: 28000
[startup+230.016 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 24491
Raw data (stat): 24491 (bsolo_lpr_cuts) R 24490 21152 21151 0 -1 0 4773 0 0 0 22993 9 0 0 25 0 1 0 775878337 29360128 4697 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7168 4697 1111 63 0 7105 0
vsize: 28672
[startup+240.015 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 24491
Raw data (stat): 24491 (bsolo_lpr_cuts) R 24490 21152 21151 0 -1 0 4923 0 0 0 23993 10 0 0 25 0 1 0 775878337 29921280 4847 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7305 4847 1111 63 0 7242 0
vsize: 29220
[startup+250.016 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 24491
Raw data (stat): 24491 (bsolo_lpr_cuts) R 24490 21152 21151 0 -1 0 5078 0 0 0 24993 10 0 0 25 0 1 0 775878337 30609408 5002 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7473 5002 1111 63 0 7410 0
vsize: 29892
[startup+260.016 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 24491
Raw data (stat): 24491 (bsolo_lpr_cuts) R 24490 21152 21151 0 -1 0 5228 0 0 0 25992 11 0 0 25 0 1 0 775878337 31170560 5152 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7610 5152 1111 63 0 7547 0
vsize: 30440
[startup+270.016 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 24491
Raw data (stat): 24491 (bsolo_lpr_cuts) R 24490 21152 21151 0 -1 0 5378 0 0 0 26992 11 0 0 25 0 1 0 775878337 31719424 5302 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7744 5302 1111 63 0 7681 0
vsize: 30976
[startup+280.018 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 24491
Raw data (stat): 24491 (bsolo_lpr_cuts) R 24490 21152 21151 0 -1 0 5528 0 0 0 27992 11 0 0 25 0 1 0 775878337 32419840 5452 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7915 5452 1111 63 0 7852 0
vsize: 31660
[startup+290.018 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 24491
Raw data (stat): 24491 (bsolo_lpr_cuts) R 24490 21152 21151 0 -1 0 5683 0 0 0 28992 11 0 0 25 0 1 0 775878337 32972800 5607 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8050 5607 1111 63 0 7987 0
vsize: 32200
[startup+300.018 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 24491
Raw data (stat): 24491 (bsolo_lpr_cuts) R 24490 21152 21151 0 -1 0 5840 0 0 0 29992 12 0 0 25 0 1 0 775878337 33669120 5764 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8220 5764 1111 63 0 8157 0
vsize: 32880
[startup+310.019 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 24491
Raw data (stat): 24491 (bsolo_lpr_cuts) R 24490 21152 21151 0 -1 0 5988 0 0 0 30992 12 0 0 25 0 1 0 775878337 34217984 5912 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8354 5912 1111 63 0 8291 0
vsize: 33416
[startup+320.02 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 24491
Raw data (stat): 24491 (bsolo_lpr_cuts) R 24490 21152 21151 0 -1 0 6140 0 0 0 31992 12 0 0 25 0 1 0 775878337 34910208 6064 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8523 6064 1111 63 0 8460 0
vsize: 34092
[startup+330.021 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 24491
Raw data (stat): 24491 (bsolo_lpr_cuts) R 24490 21152 21151 0 -1 0 6294 0 0 0 32992 13 0 0 25 0 1 0 775878337 35467264 6218 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8659 6218 1111 63 0 8596 0
vsize: 34636
[startup+340.022 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 24491
Raw data (stat): 24491 (bsolo_lpr_cuts) R 24490 21152 21151 0 -1 0 6449 0 0 0 33992 13 0 0 25 0 1 0 775878337 36159488 6373 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8828 6373 1111 63 0 8765 0
vsize: 35312
[startup+350.021 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 24491
Raw data (stat): 24491 (bsolo_lpr_cuts) R 24490 21152 21151 0 -1 0 6600 0 0 0 34992 13 0 0 25 0 1 0 775878337 36716544 6524 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8964 6524 1111 63 0 8901 0
vsize: 35856
[startup+360.022 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 24491
Raw data (stat): 24491 (bsolo_lpr_cuts) R 24490 21152 21151 0 -1 0 6749 0 0 0 35992 13 0 0 25 0 1 0 775878337 37408768 6673 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9133 6673 1111 63 0 9070 0
vsize: 36532
[startup+370.022 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 24491
Raw data (stat): 24491 (bsolo_lpr_cuts) R 24490 21152 21151 0 -1 0 6905 0 0 0 36992 13 0 0 25 0 1 0 775878337 37965824 6829 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9269 6829 1111 63 0 9206 0
vsize: 37076
[startup+380.023 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 24491
Raw data (stat): 24491 (bsolo_lpr_cuts) R 24490 21152 21151 0 -1 0 7060 0 0 0 37992 14 0 0 25 0 1 0 775878337 38658048 6984 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9438 6984 1111 63 0 9375 0
vsize: 37752
[startup+390.024 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 24491
Raw data (stat): 24491 (bsolo_lpr_cuts) R 24490 21152 21151 0 -1 0 7210 0 0 0 38992 14 0 0 25 0 1 0 775878337 39215104 7134 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9574 7134 1111 63 0 9511 0
vsize: 38296
[startup+400.024 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 24491
Raw data (stat): 24491 (bsolo_lpr_cuts) R 24490 21152 21151 0 -1 0 7359 0 0 0 39992 14 0 0 25 0 1 0 775878337 39907328 7283 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9743 7283 1111 63 0 9680 0
vsize: 38972
[startup+410.024 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 24491
Raw data (stat): 24491 (bsolo_lpr_cuts) R 24490 21152 21151 0 -1 0 7515 0 0 0 40992 14 0 0 25 0 1 0 775878337 40464384 7439 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9879 7439 1111 63 0 9816 0
vsize: 39516
[startup+420.024 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 24491
Raw data (stat): 24491 (bsolo_lpr_cuts) R 24490 21152 21151 0 -1 0 7681 0 0 0 41992 15 0 0 25 0 1 0 775878337 41193472 7605 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10057 7605 1111 63 0 9994 0
vsize: 40228
[startup+430.025 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 24491
Raw data (stat): 24491 (bsolo_lpr_cuts) R 24490 21152 21151 0 -1 0 7837 0 0 0 42992 15 0 0 25 0 1 0 775878337 41893888 7761 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10228 7761 1111 63 0 10165 0
vsize: 40912
[startup+440.026 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 24491
Raw data (stat): 24491 (bsolo_lpr_cuts) R 24490 21152 21151 0 -1 0 7987 0 0 0 43992 15 0 0 25 0 1 0 775878337 42442752 7911 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10362 7911 1111 63 0 10299 0
vsize: 41448
[startup+450.026 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 24491
Raw data (stat): 24491 (bsolo_lpr_cuts) R 24490 21152 21151 0 -1 0 8143 0 0 0 44991 16 0 0 25 0 1 0 775878337 43139072 8067 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10532 8067 1111 63 0 10469 0
vsize: 42128
[startup+460.027 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 24491
Raw data (stat): 24491 (bsolo_lpr_cuts) R 24490 21152 21151 0 -1 0 8292 0 0 0 45991 16 0 0 25 0 1 0 775878337 43692032 8216 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10667 8216 1111 63 0 10604 0
vsize: 42668
[startup+470.028 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 24491
Raw data (stat): 24491 (bsolo_lpr_cuts) R 24490 21152 21151 0 -1 0 8449 0 0 0 46991 16 0 0 25 0 1 0 775878337 44392448 8373 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10838 8373 1111 63 0 10775 0
vsize: 43352
[startup+480.034 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 24491
Raw data (stat): 24491 (bsolo_lpr_cuts) R 24490 21152 21151 0 -1 0 8604 0 0 0 47992 16 0 0 25 0 1 0 775878337 45080576 8528 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11006 8528 1111 63 0 10943 0
vsize: 44024
[startup+490.034 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 24491
Raw data (stat): 24491 (bsolo_lpr_cuts) R 24490 21152 21151 0 -1 0 8755 0 0 0 48992 17 0 0 25 0 1 0 775878337 45633536 8679 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11141 8679 1111 63 0 11078 0
vsize: 44564
[startup+500.034 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 24491
Raw data (stat): 24491 (bsolo_lpr_cuts) R 24490 21152 21151 0 -1 0 8910 0 0 0 49992 17 0 0 25 0 1 0 775878337 46329856 8834 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11311 8834 1111 63 0 11248 0
vsize: 45244
[startup+510.034 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 24491
Raw data (stat): 24491 (bsolo_lpr_cuts) R 24490 21152 21151 0 -1 0 9065 0 0 0 50992 17 0 0 25 0 1 0 775878337 46882816 8989 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11446 8989 1111 63 0 11383 0
vsize: 45784
[startup+520.034 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 24491
Raw data (stat): 24491 (bsolo_lpr_cuts) R 24490 21152 21151 0 -1 0 9217 0 0 0 51991 18 0 0 25 0 1 0 775878337 47579136 9141 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11616 9141 1111 63 0 11553 0
vsize: 46464
[startup+530.036 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 24491
Raw data (stat): 24491 (bsolo_lpr_cuts) R 24490 21152 21151 0 -1 0 9372 0 0 0 52991 18 0 0 25 0 1 0 775878337 48132096 9296 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11751 9296 1111 63 0 11688 0
vsize: 47004
[startup+540.037 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 24491
Raw data (stat): 24491 (bsolo_lpr_cuts) R 24490 21152 21151 0 -1 0 9529 0 0 0 53992 18 0 0 25 0 1 0 775878337 48828416 9453 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11921 9453 1111 63 0 11858 0
vsize: 47684
[startup+550.037 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 24491
Raw data (stat): 24491 (bsolo_lpr_cuts) R 24490 21152 21151 0 -1 0 9678 0 0 0 54991 18 0 0 25 0 1 0 775878337 49381376 9602 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12056 9602 1111 63 0 11993 0
vsize: 48224
[startup+560.037 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 24491
Raw data (stat): 24491 (bsolo_lpr_cuts) R 24490 21152 21151 0 -1 0 9840 0 0 0 55991 19 0 0 25 0 1 0 775878337 50077696 9764 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12226 9764 1111 63 0 12163 0
vsize: 48904
[startup+570.038 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 24491
Raw data (stat): 24491 (bsolo_lpr_cuts) R 24490 21152 21151 0 -1 0 9991 0 0 0 56991 19 0 0 25 0 1 0 775878337 50630656 9915 4294967295 134512640 134714508 3221224592 3221222552 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12361 9915 1111 63 0 12298 0
vsize: 49444
[startup+580.038 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 24491
Raw data (stat): 24491 (bsolo_lpr_cuts) R 24490 21152 21151 0 -1 0 10147 0 0 0 57991 19 0 0 25 0 1 0 775878337 51326976 10071 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12531 10071 1111 63 0 12468 0
vsize: 50124
[startup+590.038 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 24491
Raw data (stat): 24491 (bsolo_lpr_cuts) R 24490 21152 21151 0 -1 0 10302 0 0 0 58991 20 0 0 25 0 1 0 775878337 52019200 10226 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12700 10226 1111 63 0 12637 0
vsize: 50800
[startup+600.039 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 24491
Raw data (stat): 24491 (bsolo_lpr_cuts) R 24490 21152 21151 0 -1 0 10454 0 0 0 59991 20 0 0 25 0 1 0 775878337 52580352 10378 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12837 10378 1111 63 0 12774 0
vsize: 51348
[startup+610.04 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 24491
Raw data (stat): 24491 (bsolo_lpr_cuts) R 24490 21152 21151 0 -1 0 10609 0 0 0 60991 20 0 0 25 0 1 0 775878337 53268480 10533 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13005 10533 1111 63 0 12942 0
vsize: 52020
[startup+620.039 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 24491
Raw data (stat): 24491 (bsolo_lpr_cuts) R 24490 21152 21151 0 -1 0 10766 0 0 0 61991 20 0 0 25 0 1 0 775878337 53829632 10690 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13142 10690 1111 63 0 13079 0
vsize: 52568
[startup+630.04 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 24491
Raw data (stat): 24491 (bsolo_lpr_cuts) R 24490 21152 21151 0 -1 0 10915 0 0 0 62990 21 0 0 25 0 1 0 775878337 54517760 10839 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13310 10839 1111 63 0 13247 0
vsize: 53240
[startup+640.041 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 24491
Raw data (stat): 24491 (bsolo_lpr_cuts) R 24490 21152 21151 0 -1 0 11078 0 0 0 63990 21 0 0 25 0 1 0 775878337 55078912 11002 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13447 11002 1111 63 0 13384 0
vsize: 53788
[startup+650.04 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 24491
Raw data (stat): 24491 (bsolo_lpr_cuts) R 24490 21152 21151 0 -1 0 11234 0 0 0 64990 22 0 0 25 0 1 0 775878337 55767040 11158 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13615 11158 1111 63 0 13552 0
vsize: 54460
[startup+660.04 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 24491
Raw data (stat): 24491 (bsolo_lpr_cuts) R 24490 21152 21151 0 -1 0 11390 0 0 0 65990 22 0 0 25 0 1 0 775878337 56463360 11314 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13785 11314 1111 63 0 13722 0
vsize: 55140
[startup+670.041 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 24491
Raw data (stat): 24491 (bsolo_lpr_cuts) R 24490 21152 21151 0 -1 0 11547 0 0 0 66990 22 0 0 25 0 1 0 775878337 57016320 11471 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13920 11471 1111 63 0 13857 0
vsize: 55680
[startup+680.041 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 24491
Raw data (stat): 24491 (bsolo_lpr_cuts) R 24490 21152 21151 0 -1 0 11703 0 0 0 67990 22 0 0 25 0 1 0 775878337 57712640 11627 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14090 11627 1111 63 0 14027 0
vsize: 56360
[startup+690.042 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 24491
Raw data (stat): 24491 (bsolo_lpr_cuts) R 24490 21152 21151 0 -1 0 11852 0 0 0 68990 23 0 0 25 0 1 0 775878337 58265600 11776 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14225 11776 1111 63 0 14162 0
vsize: 56900
[startup+700.042 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 24491
Raw data (stat): 24491 (bsolo_lpr_cuts) R 24490 21152 21151 0 -1 0 12016 0 0 0 69990 23 0 0 25 0 1 0 775878337 58961920 11940 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14395 11940 1111 63 0 14332 0
vsize: 57580
[startup+710.043 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 24491
Raw data (stat): 24491 (bsolo_lpr_cuts) R 24490 21152 21151 0 -1 0 12171 0 0 0 70990 23 0 0 25 0 1 0 775878337 59654144 12095 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14564 12095 1111 63 0 14501 0
vsize: 58256
[startup+720.043 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 24491
Raw data (stat): 24491 (bsolo_lpr_cuts) R 24490 21152 21151 0 -1 0 12329 0 0 0 71989 24 0 0 25 0 1 0 775878337 60207104 12253 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14699 12253 1111 63 0 14636 0
vsize: 58796
[startup+730.042 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 24491
Raw data (stat): 24491 (bsolo_lpr_cuts) R 24490 21152 21151 0 -1 0 12484 0 0 0 72989 24 0 0 25 0 1 0 775878337 60903424 12408 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14869 12408 1111 63 0 14806 0
vsize: 59476
[startup+740.043 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 24491
Raw data (stat): 24491 (bsolo_lpr_cuts) R 24490 21152 21151 0 -1 0 12639 0 0 0 73989 24 0 0 25 0 1 0 775878337 61452288 12563 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15003 12563 1111 63 0 14940 0
vsize: 60012
[startup+750.043 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 24491
Raw data (stat): 24491 (bsolo_lpr_cuts) R 24490 21152 21151 0 -1 0 12797 0 0 0 74989 25 0 0 25 0 1 0 775878337 62152704 12721 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15174 12721 1111 63 0 15111 0
vsize: 60696
[startup+760.057 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 24491
Raw data (stat): 24491 (bsolo_lpr_cuts) R 24490 21152 21151 0 -1 0 12952 0 0 0 75990 25 0 0 25 0 1 0 775878337 62840832 12876 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15342 12876 1111 63 0 15279 0
vsize: 61368
[startup+770.066 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 24491
Raw data (stat): 24491 (bsolo_lpr_cuts) R 24490 21152 21151 0 -1 0 13115 0 0 0 76990 26 0 0 25 0 1 0 775878337 63401984 13039 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15479 13039 1111 63 0 15416 0
vsize: 61916
[startup+780.066 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 24491
Raw data (stat): 24491 (bsolo_lpr_cuts) R 24490 21152 21151 0 -1 0 13270 0 0 0 77990 26 0 0 25 0 1 0 775878337 64090112 13194 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15647 13194 1111 63 0 15584 0
vsize: 62588
[startup+790.072 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 24491
Raw data (stat): 24491 (bsolo_lpr_cuts) R 24490 21152 21151 0 -1 0 13427 0 0 0 78991 27 0 0 25 0 1 0 775878337 64786432 13351 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15817 13351 1111 63 0 15754 0
vsize: 63268
[startup+800.072 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 24491
Raw data (stat): 24491 (bsolo_lpr_cuts) R 24490 21152 21151 0 -1 0 13588 0 0 0 79990 27 0 0 25 0 1 0 775878337 65339392 13512 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15952 13512 1111 63 0 15889 0
vsize: 63808
[startup+810.073 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 24491
Raw data (stat): 24491 (bsolo_lpr_cuts) R 24490 21152 21151 0 -1 0 13745 0 0 0 80990 27 0 0 25 0 1 0 775878337 66039808 13669 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16123 13669 1111 63 0 16060 0
vsize: 64492
[startup+820.073 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 24491
Raw data (stat): 24491 (bsolo_lpr_cuts) R 24490 21152 21151 0 -1 0 13918 0 0 0 81990 27 0 0 25 0 1 0 775878337 66895872 13842 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16332 13842 1111 63 0 16269 0
vsize: 65328
[startup+830.073 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 24491
Raw data (stat): 24491 (bsolo_lpr_cuts) R 24490 21152 21151 0 -1 0 14075 0 0 0 82990 28 0 0 25 0 1 0 775878337 67448832 13999 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16467 13999 1111 63 0 16404 0
vsize: 65868
[startup+840.074 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 24491
Raw data (stat): 24491 (bsolo_lpr_cuts) R 24490 21152 21151 0 -1 0 14231 0 0 0 83990 28 0 0 25 0 1 0 775878337 68141056 14155 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16636 14155 1111 63 0 16573 0
vsize: 66544
[startup+850.074 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 24491
Raw data (stat): 24491 (bsolo_lpr_cuts) R 24490 21152 21151 0 -1 0 14394 0 0 0 84990 28 0 0 25 0 1 0 775878337 68837376 14318 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16806 14318 1111 63 0 16743 0
vsize: 67224
[startup+860.074 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 24491
Raw data (stat): 24491 (bsolo_lpr_cuts) R 24490 21152 21151 0 -1 0 14556 0 0 0 85990 29 0 0 25 0 1 0 775878337 69529600 14480 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16975 14480 1111 63 0 16912 0
vsize: 67900
[startup+870.075 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 24491
Raw data (stat): 24491 (bsolo_lpr_cuts) R 24490 21152 21151 0 -1 0 14714 0 0 0 86990 29 0 0 25 0 1 0 775878337 70086656 14638 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17111 14638 1111 63 0 17048 0
vsize: 68444
[startup+880.075 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 24491
Raw data (stat): 24491 (bsolo_lpr_cuts) R 24490 21152 21151 0 -1 0 14869 0 0 0 87990 29 0 0 25 0 1 0 775878337 70774784 14793 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17279 14793 1111 63 0 17216 0
vsize: 69116
[startup+890.075 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 24491
Raw data (stat): 24491 (bsolo_lpr_cuts) R 24490 21152 21151 0 -1 0 15033 0 0 0 88989 30 0 0 25 0 1 0 775878337 71471104 14957 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17449 14957 1111 63 0 17386 0
vsize: 69796
[startup+900.075 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 24491
Raw data (stat): 24491 (bsolo_lpr_cuts) R 24490 21152 21151 0 -1 0 15194 0 0 0 89990 30 0 0 25 0 1 0 775878337 72024064 15118 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17584 15118 1111 63 0 17521 0
vsize: 70336
[startup+910.076 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 24491
Raw data (stat): 24491 (bsolo_lpr_cuts) R 24490 21152 21151 0 -1 0 15351 0 0 0 90989 30 0 0 25 0 1 0 775878337 72724480 15275 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17755 15275 1111 63 0 17692 0
vsize: 71020
[startup+920.076 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 24491
Raw data (stat): 24491 (bsolo_lpr_cuts) R 24490 21152 21151 0 -1 0 15508 0 0 0 91990 30 0 0 25 0 1 0 775878337 73412608 15432 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17923 15432 1111 63 0 17860 0
vsize: 71692
[startup+930.076 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 24491
Raw data (stat): 24491 (bsolo_lpr_cuts) R 24490 21152 21151 0 -1 0 15665 0 0 0 92990 30 0 0 25 0 1 0 775878337 73969664 15589 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18059 15589 1111 63 0 17996 0
vsize: 72236
[startup+940.077 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 24491
Raw data (stat): 24491 (bsolo_lpr_cuts) R 24490 21152 21151 0 -1 0 15827 0 0 0 93990 30 0 0 25 0 1 0 775878337 74661888 15751 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18228 15751 1111 63 0 18165 0
vsize: 72912
[startup+950.077 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 24491
Raw data (stat): 24491 (bsolo_lpr_cuts) R 24490 21152 21151 0 -1 0 15984 0 0 0 94990 31 0 0 25 0 1 0 775878337 75358208 15908 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18398 15908 1111 63 0 18335 0
vsize: 73592
[startup+960.078 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 24491
Raw data (stat): 24491 (bsolo_lpr_cuts) R 24490 21152 21151 0 -1 0 16146 0 0 0 95989 31 0 0 25 0 1 0 775878337 75911168 16070 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18533 16070 1111 63 0 18470 0
vsize: 74132
[startup+970.078 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 24491
Raw data (stat): 24491 (bsolo_lpr_cuts) R 24490 21152 21151 0 -1 0 16310 0 0 0 96989 32 0 0 25 0 1 0 775878337 76607488 16234 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18703 16234 1111 63 0 18640 0
vsize: 74812
[startup+980.078 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 24491
Raw data (stat): 24491 (bsolo_lpr_cuts) R 24490 21152 21151 0 -1 0 16465 0 0 0 97989 32 0 0 25 0 1 0 775878337 77295616 16389 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18871 16389 1111 63 0 18808 0
vsize: 75484
[startup+990.078 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 24491
Raw data (stat): 24491 (bsolo_lpr_cuts) R 24490 21152 21151 0 -1 0 16629 0 0 0 98989 32 0 0 25 0 1 0 775878337 77996032 16553 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19042 16553 1111 63 0 18979 0
vsize: 76168
[startup+1000.08 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 24491
Raw data (stat): 24491 (bsolo_lpr_cuts) R 24490 21152 21151 0 -1 0 16791 0 0 0 99989 32 0 0 25 0 1 0 775878337 78548992 16715 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19177 16715 1111 63 0 19114 0
vsize: 76708
[startup+1010.08 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 24491
Raw data (stat): 24491 (bsolo_lpr_cuts) R 24490 21152 21151 0 -1 0 16948 0 0 0 100989 32 0 0 25 0 1 0 775878337 79245312 16872 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19347 16872 1111 63 0 19284 0
vsize: 77388
[startup+1020.08 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 24491
Raw data (stat): 24491 (bsolo_lpr_cuts) R 24490 21152 21151 0 -1 0 17110 0 0 0 101989 32 0 0 25 0 1 0 775878337 79933440 17034 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19515 17034 1111 63 0 19452 0
vsize: 78060
[startup+1030.08 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 24491
Raw data (stat): 24491 (bsolo_lpr_cuts) R 24490 21152 21151 0 -1 0 17273 0 0 0 102989 33 0 0 25 0 1 0 775878337 80629760 17197 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19685 17197 1111 63 0 19622 0
vsize: 78740
[startup+1040.08 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 24491
Raw data (stat): 24491 (bsolo_lpr_cuts) R 24490 21152 21151 0 -1 0 17436 0 0 0 103989 33 0 0 25 0 1 0 775878337 81182720 17360 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19820 17360 1111 63 0 19757 0
vsize: 79280
[startup+1050.08 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 24491
Raw data (stat): 24491 (bsolo_lpr_cuts) R 24490 21152 21151 0 -1 0 17593 0 0 0 104989 33 0 0 25 0 1 0 775878337 81883136 17517 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19991 17517 1111 63 0 19928 0
vsize: 79964
[startup+1060.08 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 24491
Raw data (stat): 24491 (bsolo_lpr_cuts) R 24490 21152 21151 0 -1 0 17755 0 0 0 105989 33 0 0 25 0 1 0 775878337 82571264 17679 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20159 17679 1111 63 0 20096 0
vsize: 80636
[startup+1070.08 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 24491
Raw data (stat): 24491 (bsolo_lpr_cuts) R 24490 21152 21151 0 -1 0 17919 0 0 0 106989 34 0 0 25 0 1 0 775878337 83267584 17843 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20329 17843 1111 63 0 20266 0
vsize: 81316
[startup+1080.08 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 24491
Raw data (stat): 24491 (bsolo_lpr_cuts) R 24490 21152 21151 0 -1 0 18075 0 0 0 107988 34 0 0 25 0 1 0 775878337 83820544 17999 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20464 17999 1111 63 0 20401 0
vsize: 81856
[startup+1090.08 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 24491
Raw data (stat): 24491 (bsolo_lpr_cuts) R 24490 21152 21151 0 -1 0 18239 0 0 0 108989 35 0 0 25 0 1 0 775878337 84516864 18163 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20634 18163 1111 63 0 20571 0
vsize: 82536
[startup+1100.08 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 24491
Raw data (stat): 24491 (bsolo_lpr_cuts) R 24490 21152 21151 0 -1 0 18400 0 0 0 109988 35 0 0 25 0 1 0 775878337 85209088 18324 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20803 18324 1111 63 0 20740 0
vsize: 83212
[startup+1110.08 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 24491
Raw data (stat): 24491 (bsolo_lpr_cuts) R 24490 21152 21151 0 -1 0 18559 0 0 0 110988 35 0 0 25 0 1 0 775878337 85766144 18483 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20939 18483 1111 63 0 20876 0
vsize: 83756
[startup+1120.08 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 24491
Raw data (stat): 24491 (bsolo_lpr_cuts) R 24490 21152 21151 0 -1 0 18720 0 0 0 111988 35 0 0 25 0 1 0 775878337 86454272 18644 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21107 18644 1111 63 0 21044 0
vsize: 84428
[startup+1130.08 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 24491
Raw data (stat): 24491 (bsolo_lpr_cuts) R 24490 21152 21151 0 -1 0 18884 0 0 0 112988 35 0 0 25 0 1 0 775878337 87154688 18808 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21278 18808 1111 63 0 21215 0
vsize: 85112
[startup+1140.08 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 24491
Raw data (stat): 24491 (bsolo_lpr_cuts) R 24490 21152 21151 0 -1 0 19046 0 0 0 113988 36 0 0 25 0 1 0 775878337 87842816 18970 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21446 18970 1111 63 0 21383 0
vsize: 85784
[startup+1150.09 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 24491
Raw data (stat): 24491 (bsolo_lpr_cuts) R 24490 21152 21151 0 -1 0 19210 0 0 0 114988 36 0 0 25 0 1 0 775878337 88543232 19134 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21617 19134 1111 63 0 21554 0
vsize: 86468
[startup+1160.09 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 24491
Raw data (stat): 24491 (bsolo_lpr_cuts) R 24490 21152 21151 0 -1 0 19372 0 0 0 115988 36 0 0 25 0 1 0 775878337 89092096 19296 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21751 19296 1111 63 0 21688 0
vsize: 87004
[startup+1170.09 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 24491
Raw data (stat): 24491 (bsolo_lpr_cuts) R 24490 21152 21151 0 -1 0 19530 0 0 0 116988 36 0 0 25 0 1 0 775878337 89788416 19454 4294967295 134512640 134714508 3221224592 3221222820 1077414349 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21921 19454 1111 63 0 21858 0
vsize: 87684
[startup+1180.09 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 24491
Raw data (stat): 24491 (bsolo_lpr_cuts) R 24490 21152 21151 0 -1 0 19691 0 0 0 117988 37 0 0 25 0 1 0 775878337 90480640 19615 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22090 19615 1111 63 0 22027 0
vsize: 88360
[startup+1190.09 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 24491
Raw data (stat): 24491 (bsolo_lpr_cuts) R 24490 21152 21151 0 -1 0 19856 0 0 0 118988 37 0 0 25 0 1 0 775878337 91176960 19780 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22260 19780 1111 63 0 22197 0
vsize: 89040
[startup+1200.09 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 24491
Raw data (stat): 24491 (bsolo_lpr_cuts) R 24490 21152 21151 0 -1 0 20018 0 0 0 119988 37 0 0 25 0 1 0 775878337 91729920 19942 4294967295 134512640 134714508 3221224592 3221222820 1077414349 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22395 19942 1111 63 0 22332 0
vsize: 89580
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.13 s]
Raw data (loadavg): 0.99 0.98 0.96 1/54 24491
Raw data (stat): 24491 (bsolo_lpr_cuts) Z 24490 21152 21151 0 -1 1036 20018 0 0 0 119988 41 0 0 25 0 1 0 775878337 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.13
CPU time (s): 1200.3
CPU user time (s): 1199.89
CPU system time (s): 0.412937
CPU usage (%): 100.015
Max. virtual memory (Kb): 89580
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####