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-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos9.opb
MD5SUM	44b9f0f81a9b533b0f9e0fd187bafc3d
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	198658
Biggest coefficient in the objective function	1024
Number of bits for the biggest coefficient in the objective function	11
Sum of the numbers in the objective function	38727219
Number of bits of the sum of numbers in the objective function	26
Biggest number in a constraint	30720
Number of bits of the biggest number in a constraint	15
Biggest sum of numbers in a constraint	38727219
Number of bits of the biggest sum of numbers	26
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	8.39472
Number of variables	874498
Total number of constraints	113008
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	2186
Number of constraints which are nor clauses,nor cardinality constraints	110822
Minimum length of a constraint	1
Maximum length of a constraint	14080
Trace number 28024

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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:        679828 kB
Buffers:         20048 kB
Cached:         310392 kB
SwapCached:       3780 kB
Active:         101348 kB
Inactive:       234808 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        679576 kB
SwapTotal:     2097136 kB
SwapFree:      2092924 kB
Dirty:              20 kB
Writeback:           0 kB
Mapped:           5748 kB
Slab:            12980 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 00:31:10 (client local time) WITH STATUS 0 IN 1200.95 SECONDS
stats: 14757 7 1200.95 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.91 0.97 0.91 2/54 14843
Raw data (stat): 14843 (runsolver) R 14842 7266 7265 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 776234624 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.0011 s]
Raw data (loadavg): 0.93 0.97 0.91 2/54 14843
Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 2450 0 0 0 988 8 0 0 25 0 1 0 776234624 19861504 2374 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4849 2374 1111 63 0 4786 0
vsize: 19396
[startup+20.0048 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 14843
Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 3658 0 0 0 1986 10 0 0 25 0 1 0 776234624 24936448 3582 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6088 3582 1111 63 0 6025 0
vsize: 24352
[startup+30.0051 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 14843
Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 4867 0 0 0 2984 13 0 0 25 0 1 0 776234624 29863936 4791 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7291 4791 1111 63 0 7228 0
vsize: 29164
[startup+40.0053 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 14843
Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 6076 0 0 0 3981 15 0 0 25 0 1 0 776234624 34791424 6000 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8494 6000 1111 63 0 8431 0
vsize: 33976
[startup+50.0061 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 14843
Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 7286 0 0 0 4979 18 0 0 25 0 1 0 776234624 39723008 7210 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9698 7210 1111 63 0 9635 0
vsize: 38792
[startup+60.0064 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 14843
Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 8504 0 0 0 5976 21 0 0 25 0 1 0 776234624 44785664 8428 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10934 8428 1111 63 0 10871 0
vsize: 43736
[startup+70.0137 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 14843
Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 9712 0 0 0 6976 22 0 0 25 0 1 0 776234624 49709056 9636 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12136 9636 1111 63 0 12073 0
vsize: 48544
[startup+80.0224 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 14843
Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 10927 0 0 0 7974 25 0 0 25 0 1 0 776234624 54636544 10851 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13339 10851 1111 63 0 13276 0
vsize: 53356
[startup+90.0216 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 14843
Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 12142 0 0 0 8971 28 0 0 25 0 1 0 776234624 59564032 12066 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14542 12066 1111 63 0 14479 0
vsize: 58168
[startup+100.023 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 14843
Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 13363 0 0 0 9969 30 0 0 25 0 1 0 776234624 64638976 13287 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15781 13287 1111 63 0 15718 0
vsize: 63124
[startup+110.024 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 14843
Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 14141 0 0 0 10967 32 0 0 25 0 1 0 776234624 67874816 14065 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16571 14065 1111 63 0 16508 0
vsize: 66284
[startup+120.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14843
Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 14375 0 0 0 11967 32 0 0 25 0 1 0 776234624 68730880 14299 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16780 14299 1111 63 0 16717 0
vsize: 67120
[startup+130.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14843
Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 14614 0 0 0 12967 33 0 0 25 0 1 0 776234624 69734400 14538 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17025 14538 1111 63 0 16962 0
vsize: 68100
[startup+140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14843
Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 14854 0 0 0 13967 34 0 0 25 0 1 0 776234624 70770688 14778 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17278 14778 1111 63 0 17215 0
vsize: 69112
[startup+150.134 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14843
Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 15087 0 0 0 14976 35 0 0 25 0 1 0 776234624 71643136 15011 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17491 15011 1111 63 0 17428 0
vsize: 69964
[startup+160.134 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14843
Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 15333 0 0 0 15975 35 0 0 25 0 1 0 776234624 72654848 15257 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17738 15257 1111 63 0 17675 0
vsize: 70952
[startup+170.15 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14843
Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 15566 0 0 0 16976 36 0 0 25 0 1 0 776234624 73682944 15490 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17989 15490 1111 63 0 17926 0
vsize: 71956
[startup+180.15 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14843
Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 15806 0 0 0 17976 36 0 0 25 0 1 0 776234624 74670080 15730 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18230 15730 1111 63 0 18167 0
vsize: 72920
[startup+190.161 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14843
Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 16046 0 0 0 18977 37 0 0 25 0 1 0 776234624 75546624 15970 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18444 15970 1111 63 0 18381 0
vsize: 73776
[startup+200.164 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14843
Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 16288 0 0 0 19976 38 0 0 25 0 1 0 776234624 76689408 16212 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18723 16212 1111 63 0 18660 0
vsize: 74892
[startup+210.164 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14843
Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 16532 0 0 0 20976 39 0 0 25 0 1 0 776234624 77688832 16456 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18967 16456 1111 63 0 18904 0
vsize: 75868
[startup+220.17 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14843
Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 16764 0 0 0 21976 39 0 0 25 0 1 0 776234624 78536704 16688 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19174 16688 1111 63 0 19111 0
vsize: 76696
[startup+230.17 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14843
Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 17011 0 0 0 22976 39 0 0 25 0 1 0 776234624 79544320 16935 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19420 16935 1111 63 0 19357 0
vsize: 77680
[startup+240.17 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14843
Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 17244 0 0 0 23976 40 0 0 25 0 1 0 776234624 80551936 17168 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19666 17168 1111 63 0 19603 0
vsize: 78664
[startup+250.18 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14843
Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 17486 0 0 0 24976 41 0 0 25 0 1 0 776234624 81563648 17410 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19913 17410 1111 63 0 19850 0
vsize: 79652
[startup+260.187 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14843
Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 17724 0 0 0 25976 41 0 0 25 0 1 0 776234624 82456576 17648 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20131 17648 1111 63 0 20068 0
vsize: 80524
[startup+270.187 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14843
Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 17965 0 0 0 26976 42 0 0 25 0 1 0 776234624 83443712 17889 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20372 17889 1111 63 0 20309 0
vsize: 81488
[startup+280.187 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14843
Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 18204 0 0 0 27976 42 0 0 25 0 1 0 776234624 84471808 18128 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20623 18128 1111 63 0 20560 0
vsize: 82492
[startup+290.187 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14843
Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 18439 0 0 0 28975 43 0 0 25 0 1 0 776234624 85458944 18363 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20864 18363 1111 63 0 20801 0
vsize: 83456
[startup+300.187 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14843
Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 18686 0 0 0 29975 43 0 0 25 0 1 0 776234624 86470656 18610 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21111 18610 1111 63 0 21048 0
vsize: 84444
[startup+310.29 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14843
Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 18931 0 0 0 30985 44 0 0 25 0 1 0 776234624 87498752 18855 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21362 18855 1111 63 0 21299 0
vsize: 85448
[startup+320.297 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14843
Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 19166 0 0 0 31985 44 0 0 25 0 1 0 776234624 88350720 19090 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21570 19090 1111 63 0 21507 0
vsize: 86280
[startup+330.303 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14843
Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 19410 0 0 0 32984 46 0 0 25 0 1 0 776234624 89358336 19334 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21816 19334 1111 63 0 21753 0
vsize: 87264
[startup+340.303 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14843
Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 19646 0 0 0 33984 46 0 0 25 0 1 0 776234624 90365952 19570 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22062 19570 1111 63 0 21999 0
vsize: 88248
[startup+350.303 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14843
Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 19891 0 0 0 34983 47 0 0 25 0 1 0 776234624 91369472 19815 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22307 19815 1111 63 0 22244 0
vsize: 89228
[startup+360.305 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14843
Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 20125 0 0 0 35983 47 0 0 25 0 1 0 776234624 92356608 20049 4294967295 134512640 134714508 3221224592 3221222820 1077414399 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22548 20049 1111 63 0 22485 0
vsize: 90192
[startup+370.305 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14843
Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 20370 0 0 0 36982 48 0 0 25 0 1 0 776234624 93384704 20294 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22799 20294 1111 63 0 22736 0
vsize: 91196
[startup+380.305 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14843
Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 20616 0 0 0 37982 49 0 0 25 0 1 0 776234624 94371840 20540 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23040 20540 1111 63 0 22977 0
vsize: 92160
[startup+390.305 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14843
Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 20849 0 0 0 38982 49 0 0 25 0 1 0 776234624 95244288 20773 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23253 20773 1111 63 0 23190 0
vsize: 93012
[startup+400.314 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14843
Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 21106 0 0 0 39982 50 0 0 25 0 1 0 776234624 96407552 21030 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23537 21030 1111 63 0 23474 0
vsize: 94148
[startup+410.315 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14843
Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 21340 0 0 0 40981 51 0 0 25 0 1 0 776234624 97415168 21264 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23783 21264 1111 63 0 23720 0
vsize: 95132
[startup+420.314 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14843
Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 21586 0 0 0 41980 52 0 0 25 0 1 0 776234624 98418688 21510 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24028 21510 1111 63 0 23965 0
vsize: 96112
[startup+430.315 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14843
Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 21833 0 0 0 42980 53 0 0 25 0 1 0 776234624 99405824 21757 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24269 21757 1111 63 0 24206 0
vsize: 97076
[startup+440.315 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14843
Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 22066 0 0 0 43979 53 0 0 25 0 1 0 776234624 100278272 21990 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24482 21990 1111 63 0 24419 0
vsize: 97928
[startup+450.316 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14843
Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 22313 0 0 0 44979 53 0 0 25 0 1 0 776234624 101289984 22237 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24729 22237 1111 63 0 24666 0
vsize: 98916
[startup+460.315 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14843
Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 22558 0 0 0 45979 54 0 0 25 0 1 0 776234624 102318080 22482 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24980 22482 1111 63 0 24917 0
vsize: 99920
[startup+470.328 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14843
Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 22794 0 0 0 46979 55 0 0 25 0 1 0 776234624 103329792 22718 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25227 22718 1111 63 0 25164 0
vsize: 100908
[startup+480.328 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14843
Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 23039 0 0 0 47979 55 0 0 25 0 1 0 776234624 104357888 22963 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25478 22963 1111 63 0 25415 0
vsize: 101912
[startup+490.335 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14843
Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 23285 0 0 0 48979 56 0 0 25 0 1 0 776234624 105369600 23209 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25725 23209 1111 63 0 25662 0
vsize: 102900
[startup+500.336 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14843
Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 23531 0 0 0 49978 57 0 0 25 0 1 0 776234624 106242048 23455 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25938 23455 1111 63 0 25875 0
vsize: 103752
[startup+510.336 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14843
Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 23766 0 0 0 50978 58 0 0 25 0 1 0 776234624 107229184 23690 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26179 23690 1111 63 0 26116 0
vsize: 104716
[startup+520.345 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14843
Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 24013 0 0 0 51978 58 0 0 25 0 1 0 776234624 108257280 23937 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26430 23937 1111 63 0 26367 0
vsize: 105720
[startup+530.345 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14843
Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 24258 0 0 0 52978 59 0 0 25 0 1 0 776234624 109244416 24182 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26671 24182 1111 63 0 26608 0
vsize: 106684
[startup+540.345 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14843
Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 24505 0 0 0 53977 60 0 0 25 0 1 0 776234624 110256128 24429 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26918 24429 1111 63 0 26855 0
vsize: 107672
[startup+550.354 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14843
Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 24739 0 0 0 54978 60 0 0 25 0 1 0 776234624 111284224 24663 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27169 24663 1111 63 0 27106 0
vsize: 108676
[startup+560.365 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14843
Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 24985 0 0 0 55978 61 0 0 25 0 1 0 776234624 112271360 24909 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27410 24909 1111 63 0 27347 0
vsize: 109640
[startup+570.376 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14843
Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 25231 0 0 0 56979 61 0 0 25 0 1 0 776234624 113299456 25155 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27661 25155 1111 63 0 27598 0
vsize: 110644
[startup+580.386 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14843
Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 25478 0 0 0 57979 62 0 0 25 0 1 0 776234624 114311168 25402 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27908 25402 1111 63 0 27845 0
vsize: 111632
[startup+590.386 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14843
Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 25724 0 0 0 58979 63 0 0 25 0 1 0 776234624 115339264 25648 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28159 25648 1111 63 0 28096 0
vsize: 112636
[startup+600.387 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14843
Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 25959 0 0 0 59978 64 0 0 25 0 1 0 776234624 116191232 25883 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28367 25883 1111 63 0 28304 0
vsize: 113468
[startup+610.403 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14843
Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 26204 0 0 0 60979 65 0 0 25 0 1 0 776234624 117198848 26128 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28613 26128 1111 63 0 28550 0
vsize: 114452
[startup+620.403 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14843
Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 26451 0 0 0 61979 65 0 0 25 0 1 0 776234624 118206464 26375 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28859 26375 1111 63 0 28796 0
vsize: 115436
[startup+630.403 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14843
Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 26698 0 0 0 62978 66 0 0 25 0 1 0 776234624 119218176 26622 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29106 26622 1111 63 0 29043 0
vsize: 116424
[startup+640.404 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14843
Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 26944 0 0 0 63978 66 0 0 25 0 1 0 776234624 120225792 26868 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29352 26868 1111 63 0 29289 0
vsize: 117408
[startup+650.405 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14843
Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 27191 0 0 0 64977 67 0 0 25 0 1 0 776234624 121237504 27115 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29599 27115 1111 63 0 29536 0
vsize: 118396
[startup+660.405 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14843
Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 27436 0 0 0 65976 68 0 0 25 0 1 0 776234624 122265600 27360 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29850 27360 1111 63 0 29787 0
vsize: 119400
[startup+670.419 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14843
Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 27684 0 0 0 66977 69 0 0 25 0 1 0 776234624 123277312 27608 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30097 27608 1111 63 0 30034 0
vsize: 120388
[startup+680.428 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14843
Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 27929 0 0 0 67977 69 0 0 25 0 1 0 776234624 124305408 27853 4294967295 134512640 134714508 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30348 27853 1111 63 0 30285 0
vsize: 121392
[startup+690.428 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14843
Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 28171 0 0 0 68977 70 0 0 25 0 1 0 776234624 125292544 28095 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30589 28095 1111 63 0 30526 0
vsize: 122356
[startup+700.429 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14843
Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 28410 0 0 0 69977 70 0 0 25 0 1 0 776234624 126320640 28334 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30840 28334 1111 63 0 30777 0
vsize: 123360
[startup+710.429 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14843
Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 28657 0 0 0 70976 71 0 0 25 0 1 0 776234624 127332352 28581 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31087 28581 1111 63 0 31024 0
vsize: 124348
[startup+720.429 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14843
Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 28904 0 0 0 71976 71 0 0 25 0 1 0 776234624 128344064 28828 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31334 28828 1111 63 0 31271 0
vsize: 125336
[startup+730.434 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14843
Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 29149 0 0 0 72976 72 0 0 25 0 1 0 776234624 129216512 29073 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31547 29073 1111 63 0 31484 0
vsize: 126188
[startup+740.434 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14843
Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 29396 0 0 0 73976 72 0 0 25 0 1 0 776234624 130359296 29320 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31826 29320 1111 63 0 31763 0
vsize: 127304
[startup+750.435 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14843
Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 29641 0 0 0 74976 73 0 0 25 0 1 0 776234624 131231744 29565 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32039 29565 1111 63 0 31976 0
vsize: 128156
[startup+760.435 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14843
Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 29888 0 0 0 75975 73 0 0 25 0 1 0 776234624 132374528 29812 4294967295 134512640 134714508 3221224592 3221222820 1077414424 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32318 29812 1111 63 0 32255 0
vsize: 129272
[startup+770.435 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14843
Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 30134 0 0 0 76974 74 0 0 25 0 1 0 776234624 133382144 30058 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32564 30058 1111 63 0 32501 0
vsize: 130256
[startup+780.435 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14843
Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 30380 0 0 0 77974 75 0 0 25 0 1 0 776234624 134258688 30304 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32778 30304 1111 63 0 32715 0
vsize: 131112
[startup+790.436 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14843
Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 30645 0 0 0 78973 75 0 0 25 0 1 0 776234624 135479296 30569 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33076 30569 1111 63 0 33013 0
vsize: 132304
[startup+800.436 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14843
Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 30892 0 0 0 79973 76 0 0 25 0 1 0 776234624 136466432 30816 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33317 30816 1111 63 0 33254 0
vsize: 133268
[startup+810.436 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14843
Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 31145 0 0 0 80972 77 0 0 25 0 1 0 776234624 137609216 31069 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33596 31069 1111 63 0 33533 0
vsize: 134384
[startup+820.441 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14843
Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 31396 0 0 0 81972 78 0 0 25 0 1 0 776234624 138637312 31320 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33847 31320 1111 63 0 33784 0
vsize: 135388
[startup+830.445 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14843
Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 31644 0 0 0 82972 79 0 0 25 0 1 0 776234624 139649024 31568 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34094 31568 1111 63 0 34031 0
vsize: 136376
[startup+840.445 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14843
Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 31891 0 0 0 83971 79 0 0 25 0 1 0 776234624 140677120 31815 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34345 31815 1111 63 0 34282 0
vsize: 137380
[startup+850.452 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14843
Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 32138 0 0 0 84971 80 0 0 25 0 1 0 776234624 141664256 32062 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34586 32062 1111 63 0 34523 0
vsize: 138344
[startup+860.459 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14843
Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 32383 0 0 0 85971 81 0 0 25 0 1 0 776234624 142692352 32307 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34837 32307 1111 63 0 34774 0
vsize: 139348
[startup+870.459 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14843
Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 32630 0 0 0 86970 82 0 0 25 0 1 0 776234624 143679488 32554 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35078 32554 1111 63 0 35015 0
vsize: 140312
[startup+880.459 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14843
Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 32878 0 0 0 87970 83 0 0 25 0 1 0 776234624 144691200 32802 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35325 32802 1111 63 0 35262 0
vsize: 141300
[startup+890.46 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14843
Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 33130 0 0 0 88970 83 0 0 25 0 1 0 776234624 145694720 33054 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35570 33054 1111 63 0 35507 0
vsize: 142280
[startup+900.46 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14843
Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 33383 0 0 0 89969 84 0 0 25 0 1 0 776234624 146681856 33307 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35811 33307 1111 63 0 35748 0
vsize: 143244
[startup+910.461 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14843
Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 33628 0 0 0 90969 85 0 0 25 0 1 0 776234624 147709952 33552 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36062 33552 1111 63 0 35999 0
vsize: 144248
[startup+920.461 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14843
Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 33875 0 0 0 91968 85 0 0 25 0 1 0 776234624 148697088 33799 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36303 33799 1111 63 0 36240 0
vsize: 145212
[startup+930.462 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14843
Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 34122 0 0 0 92967 86 0 0 25 0 1 0 776234624 149725184 34046 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36554 34046 1111 63 0 36491 0
vsize: 146216
[startup+940.461 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14843
Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 34370 0 0 0 93967 87 0 0 25 0 1 0 776234624 150712320 34294 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36795 34294 1111 63 0 36732 0
vsize: 147180
[startup+950.47 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14843
Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 34627 0 0 0 94967 87 0 0 25 0 1 0 776234624 151740416 34551 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37046 34551 1111 63 0 36983 0
vsize: 148184
[startup+960.475 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14843
Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 34874 0 0 0 95967 88 0 0 25 0 1 0 776234624 152883200 34798 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37325 34798 1111 63 0 37262 0
vsize: 149300
[startup+970.482 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14843
Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 35121 0 0 0 96967 89 0 0 25 0 1 0 776234624 153870336 35045 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37566 35045 1111 63 0 37503 0
vsize: 150264
[startup+980.482 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14843
Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 35368 0 0 0 97966 90 0 0 25 0 1 0 776234624 154898432 35292 4294967295 134512640 134714508 3221224592 3221222820 1077414347 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37817 35292 1111 63 0 37754 0
vsize: 151268
[startup+990.486 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14843
Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 35628 0 0 0 98966 91 0 0 25 0 1 0 776234624 155910144 35552 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38064 35552 1111 63 0 38001 0
vsize: 152256
[startup+1000.49 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14843
Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 35873 0 0 0 99965 92 0 0 25 0 1 0 776234624 156917760 35797 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38310 35797 1111 63 0 38247 0
vsize: 153240
[startup+1010.49 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14843
Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 36120 0 0 0 100964 93 0 0 25 0 1 0 776234624 157925376 36044 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38556 36044 1111 63 0 38493 0
vsize: 154224
[startup+1020.49 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14843
Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 36379 0 0 0 101964 93 0 0 25 0 1 0 776234624 158932992 36303 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38802 36303 1111 63 0 38739 0
vsize: 155208
[startup+1030.49 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14843
Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 36627 0 0 0 102964 94 0 0 25 0 1 0 776234624 159965184 36551 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39054 36551 1111 63 0 38991 0
vsize: 156216
[startup+1040.49 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14843
Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 36874 0 0 0 103963 94 0 0 25 0 1 0 776234624 160972800 36798 4294967295 134512640 134714508 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39300 36798 1111 63 0 39237 0
vsize: 157200
[startup+1050.49 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14843
Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 37125 0 0 0 104963 95 0 0 25 0 1 0 776234624 161980416 37049 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39546 37049 1111 63 0 39483 0
vsize: 158184
[startup+1060.49 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14843
Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 37378 0 0 0 105962 96 0 0 25 0 1 0 776234624 163123200 37302 4294967295 134512640 134714508 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39825 37302 1111 63 0 39762 0
vsize: 159300
[startup+1070.49 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14843
Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 37624 0 0 0 106962 96 0 0 25 0 1 0 776234624 164126720 37548 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40070 37548 1111 63 0 40007 0
vsize: 160280
[startup+1080.5 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14843
Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 37884 0 0 0 107961 97 0 0 25 0 1 0 776234624 165113856 37808 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40311 37808 1111 63 0 40248 0
vsize: 161244
[startup+1090.51 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14843
Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 38130 0 0 0 108962 98 0 0 25 0 1 0 776234624 166141952 38054 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40562 38054 1111 63 0 40499 0
vsize: 162248
[startup+1100.52 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14843
Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 38377 0 0 0 109962 98 0 0 25 0 1 0 776234624 167129088 38301 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40803 38301 1111 63 0 40740 0
vsize: 163212
[startup+1110.52 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14843
Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 38636 0 0 0 110962 99 0 0 25 0 1 0 776234624 168157184 38560 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41054 38560 1111 63 0 40991 0
vsize: 164216
[startup+1120.51 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14843
Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 38882 0 0 0 111961 100 0 0 25 0 1 0 776234624 169172992 38806 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41302 38806 1111 63 0 41239 0
vsize: 165208
[startup+1130.54 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14843
Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 39143 0 0 0 112963 101 0 0 25 0 1 0 776234624 170340352 39067 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41587 39067 1111 63 0 41524 0
vsize: 166348
[startup+1140.54 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14843
Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 39388 0 0 0 113962 102 0 0 25 0 1 0 776234624 171212800 39312 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41800 39312 1111 63 0 41737 0
vsize: 167200
[startup+1150.54 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 14843
Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 39635 0 0 0 114962 102 0 0 25 0 1 0 776234624 172355584 39559 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42079 39559 1111 63 0 42016 0
vsize: 168316
[startup+1160.65 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 14843
Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 39894 0 0 0 115972 103 0 0 25 0 1 0 776234624 173363200 39818 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42325 39818 1111 63 0 42262 0
vsize: 169300
[startup+1170.65 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 14843
Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 40147 0 0 0 116971 103 0 0 25 0 1 0 776234624 174374912 40071 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42572 40071 1111 63 0 42509 0
vsize: 170288
[startup+1180.65 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 14843
Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 40402 0 0 0 117971 104 0 0 25 0 1 0 776234624 175378432 40326 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42817 40326 1111 63 0 42754 0
vsize: 171268
[startup+1190.66 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 14843
Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 40647 0 0 0 118971 105 0 0 25 0 1 0 776234624 176386048 40571 4294967295 134512640 134714508 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43063 40571 1111 63 0 43000 0
vsize: 172252
[startup+1200.76 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 14843
Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 40907 0 0 0 119981 105 0 0 25 0 1 0 776234624 177528832 40831 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43342 40831 1111 63 0 43279 0
vsize: 173368
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.86 s]
Raw data (loadavg): 1.03 0.99 0.91 1/54 14843
Raw data (stat): 14843 (bsolo_lpr_cuts) Z 14842 7266 7265 0 -1 1036 40907 0 0 0 119981 113 0 0 24 0 1 0 776234624 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.86
CPU time (s): 1200.95
CPU user time (s): 1199.82
CPU system time (s): 1.13083
CPU usage (%): 100.008
Max. virtual memory (Kb): 173368
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####