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/unibo/normalized-mps-v2-20-10-NSR8K.opb
MD5SUM	4969ff20db6e3c380ff3de77937a8672
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	221520
Biggest coefficient in the objective function	536870912000000000000
Number of bits for the biggest coefficient in the objective function	69
Sum of the numbers in the objective function	34400198927214220148736
Number of bits of the sum of numbers in the objective function	75
Biggest number in a constraint	536870912000000000000
Number of bits of the biggest number in a constraint	69
Biggest sum of numbers in a constraint	34400301327214220148736
Number of bits of the biggest sum of numbers	75
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	2.17367
Number of variables	221520
Total number of constraints	38324
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	32041
Number of constraints which are nor clauses,nor cardinality constraints	6283
Minimum length of a constraint	1
Maximum length of a constraint	221520
Trace number 27937

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc11 THE 2005-05-24 23:44:28 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=15147 boxname=wulflinc11 idbench=1166 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  4969ff20db6e3c380ff3de77937a8672  /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-20-10-NSR8K.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-20-10-NSR8K.opb
IDLAUNCH: 15147
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.028
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.028
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:        894900 kB
Buffers:         25748 kB
Cached:          88576 kB
SwapCached:        868 kB
Active:          75804 kB
Inactive:        44416 kB
HighTotal:      131008 kB
HighFree:        44408 kB
LowTotal:       903652 kB
LowFree:        850492 kB
SwapTotal:     2097136 kB
SwapFree:      2095460 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           5000 kB
Slab:            13604 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 00:04:32 (client local time) WITH STATUS 0 IN 1200.4 SECONDS
stats: 15147 7 1200.4 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.81 0.93 0.95 2/54 32512
Raw data (stat): 32512 (runsolver) R 32511 25830 25829 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 776070949 1052672 99 4294967295 134512640 135381576 3221224480 3221219692 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0006 s]
Raw data (loadavg): 0.84 0.93 0.95 2/54 32512
Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 2203 0 0 0 987 9 0 0 25 0 1 0 776070949 16429056 2127 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4011 2127 1111 63 0 3948 0
vsize: 16044
[startup+20.001 s]
Raw data (loadavg): 0.86 0.93 0.95 2/54 32512
Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 2549 0 0 0 1986 10 0 0 25 0 1 0 776070949 17915904 2473 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4374 2473 1111 63 0 4311 0
vsize: 17496
[startup+30.0008 s]
Raw data (loadavg): 0.88 0.93 0.95 2/54 32512
Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 2902 0 0 0 2986 11 0 0 25 0 1 0 776070949 19415040 2826 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4740 2826 1111 63 0 4677 0
vsize: 18960
[startup+40.0041 s]
Raw data (loadavg): 0.90 0.93 0.95 2/54 32512
Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 3254 0 0 0 3985 12 0 0 25 0 1 0 776070949 20758528 3178 4294967295 134512640 134714508 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5068 3178 1111 63 0 5005 0
vsize: 20272
[startup+50.0063 s]
Raw data (loadavg): 0.91 0.94 0.95 2/54 32512
Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 3600 0 0 0 4985 12 0 0 25 0 1 0 776070949 22249472 3524 4294967295 134512640 134714508 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5432 3524 1111 63 0 5369 0
vsize: 21728
[startup+60.0071 s]
Raw data (loadavg): 0.93 0.94 0.95 2/54 32512
Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 3953 0 0 0 5984 13 0 0 25 0 1 0 776070949 23597056 3877 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5761 3877 1111 63 0 5698 0
vsize: 23044
[startup+70.0079 s]
Raw data (loadavg): 0.94 0.94 0.95 2/54 32512
Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 4299 0 0 0 6983 14 0 0 25 0 1 0 776070949 25088000 4223 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6125 4223 1111 63 0 6062 0
vsize: 24500
[startup+80.0087 s]
Raw data (loadavg): 0.95 0.94 0.95 2/54 32512
Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 4651 0 0 0 7983 15 0 0 25 0 1 0 776070949 26578944 4575 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6489 4575 1111 63 0 6426 0
vsize: 25956
[startup+90.0085 s]
Raw data (loadavg): 0.95 0.94 0.95 2/54 32512
Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 5004 0 0 0 8982 15 0 0 25 0 1 0 776070949 27926528 4928 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6818 4928 1111 63 0 6755 0
vsize: 27272
[startup+100.009 s]
Raw data (loadavg): 0.96 0.94 0.95 2/54 32512
Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 5350 0 0 0 9981 16 0 0 25 0 1 0 776070949 29417472 5274 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7182 5274 1111 63 0 7119 0
vsize: 28728
[startup+110.009 s]
Raw data (loadavg): 0.97 0.94 0.95 2/54 32512
Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 5702 0 0 0 10981 16 0 0 25 0 1 0 776070949 30756864 5626 4294967295 134512640 134714508 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7509 5626 1111 63 0 7446 0
vsize: 30036
[startup+120.01 s]
Raw data (loadavg): 0.97 0.95 0.95 2/54 32512
Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 6055 0 0 0 11980 17 0 0 25 0 1 0 776070949 32256000 5979 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7875 5979 1111 63 0 7812 0
vsize: 31500
[startup+130.01 s]
Raw data (loadavg): 0.98 0.95 0.95 2/54 32512
Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 6401 0 0 0 12980 18 0 0 25 0 1 0 776070949 33746944 6325 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8239 6325 1111 63 0 8176 0
vsize: 32956
[startup+140.01 s]
Raw data (loadavg): 0.98 0.95 0.95 2/54 32512
Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 6753 0 0 0 13979 19 0 0 25 0 1 0 776070949 35086336 6677 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8566 6677 1111 63 0 8503 0
vsize: 34264
[startup+150.015 s]
Raw data (loadavg): 0.98 0.95 0.95 2/54 32512
Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 7106 0 0 0 14978 20 0 0 25 0 1 0 776070949 36585472 7030 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8932 7030 1111 63 0 8869 0
vsize: 35728
[startup+160.015 s]
Raw data (loadavg): 0.98 0.95 0.95 2/54 32512
Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 7458 0 0 0 15977 21 0 0 25 0 1 0 776070949 38076416 7382 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9296 7382 1111 63 0 9233 0
vsize: 37184
[startup+170.015 s]
Raw data (loadavg): 0.99 0.95 0.95 2/54 32512
Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 7804 0 0 0 16976 22 0 0 25 0 1 0 776070949 39415808 7728 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9623 7728 1111 63 0 9560 0
vsize: 38492
[startup+180.015 s]
Raw data (loadavg): 0.99 0.95 0.95 2/54 32512
Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 8160 0 0 0 17976 23 0 0 25 0 1 0 776070949 40902656 8084 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9986 8084 1111 63 0 9923 0
vsize: 39944
[startup+190.015 s]
Raw data (loadavg): 0.99 0.95 0.95 2/54 32512
Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 8512 0 0 0 18975 24 0 0 25 0 1 0 776070949 42393600 8436 4294967295 134512640 134714508 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10350 8436 1111 63 0 10287 0
vsize: 41400
[startup+200.016 s]
Raw data (loadavg): 0.99 0.95 0.95 2/54 32512
Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 8864 0 0 0 19974 25 0 0 25 0 1 0 776070949 43732992 8788 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10677 8788 1111 63 0 10614 0
vsize: 42708
[startup+210.016 s]
Raw data (loadavg): 0.99 0.95 0.95 2/54 32512
Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 9217 0 0 0 20973 26 0 0 25 0 1 0 776070949 45232128 9141 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11043 9141 1111 63 0 10980 0
vsize: 44172
[startup+220.017 s]
Raw data (loadavg): 0.99 0.95 0.95 2/54 32512
Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 9563 0 0 0 21973 27 0 0 25 0 1 0 776070949 46571520 9487 4294967295 134512640 134714508 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11370 9487 1111 63 0 11307 0
vsize: 45480
[startup+230.017 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 32512
Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 9915 0 0 0 22973 27 0 0 25 0 1 0 776070949 48062464 9839 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11734 9839 1111 63 0 11671 0
vsize: 46936
[startup+240.017 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 32512
Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 10262 0 0 0 23972 27 0 0 25 0 1 0 776070949 49561600 10186 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12100 10186 1111 63 0 12037 0
vsize: 48400
[startup+250.017 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 32512
Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 10608 0 0 0 24972 28 0 0 25 0 1 0 776070949 50900992 10532 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12427 10532 1111 63 0 12364 0
vsize: 49708
[startup+260.018 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 32512
Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 10953 0 0 0 25971 29 0 0 25 0 1 0 776070949 52391936 10877 4294967295 134512640 134714508 3221224576 3221222804 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12791 10877 1111 63 0 12728 0
vsize: 51164
[startup+270.019 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 32512
Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 11307 0 0 0 26971 30 0 0 25 0 1 0 776070949 53743616 11231 4294967295 134512640 134714508 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13121 11231 1111 63 0 13058 0
vsize: 52484
[startup+280.018 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 32512
Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 11653 0 0 0 27971 30 0 0 25 0 1 0 776070949 55230464 11577 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13484 11577 1111 63 0 13421 0
vsize: 53936
[startup+290.019 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 32512
Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 11998 0 0 0 28970 31 0 0 25 0 1 0 776070949 56573952 11922 4294967295 134512640 134714508 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13812 11922 1111 63 0 13749 0
vsize: 55248
[startup+300.019 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 32512
Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 12352 0 0 0 29970 31 0 0 25 0 1 0 776070949 58073088 12276 4294967295 134512640 134714508 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14178 12276 1111 63 0 14115 0
vsize: 56712
[startup+310.019 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 32512
Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 12698 0 0 0 30969 32 0 0 25 0 1 0 776070949 59412480 12622 4294967295 134512640 134714508 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14505 12622 1111 63 0 14442 0
vsize: 58020
[startup+320.023 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 32512
Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 13045 0 0 0 31969 33 0 0 25 0 1 0 776070949 60903424 12969 4294967295 134512640 134714508 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14869 12969 1111 63 0 14806 0
vsize: 59476
[startup+330.024 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32512
Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 13397 0 0 0 32969 33 0 0 25 0 1 0 776070949 62402560 13321 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15235 13321 1111 63 0 15172 0
vsize: 60940
[startup+340.024 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32512
Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 13742 0 0 0 33969 33 0 0 25 0 1 0 776070949 63741952 13666 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15562 13666 1111 63 0 15499 0
vsize: 62248
[startup+350.032 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32512
Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 14101 0 0 0 34969 34 0 0 25 0 1 0 776070949 65212416 14025 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15921 14025 1111 63 0 15858 0
vsize: 63684
[startup+360.032 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32512
Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 14446 0 0 0 35968 35 0 0 25 0 1 0 776070949 66703360 14370 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16285 14370 1111 63 0 16222 0
vsize: 65140
[startup+370.031 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32512
Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 14798 0 0 0 36968 36 0 0 25 0 1 0 776070949 68046848 14722 4294967295 134512640 134714508 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16613 14722 1111 63 0 16550 0
vsize: 66452
[startup+380.153 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32512
Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 15153 0 0 0 37980 36 0 0 25 0 1 0 776070949 69541888 15077 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16978 15077 1111 63 0 16915 0
vsize: 67912
[startup+390.153 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32512
Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 15498 0 0 0 38979 37 0 0 25 0 1 0 776070949 70885376 15422 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17306 15422 1111 63 0 17243 0
vsize: 69224
[startup+400.153 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32512
Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 15850 0 0 0 39978 38 0 0 25 0 1 0 776070949 72376320 15774 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17670 15774 1111 63 0 17607 0
vsize: 70680
[startup+410.154 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32512
Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 16198 0 0 0 40977 39 0 0 25 0 1 0 776070949 73875456 16122 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18036 16122 1111 63 0 17973 0
vsize: 72144
[startup+420.153 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32512
Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 16549 0 0 0 41977 39 0 0 25 0 1 0 776070949 75214848 16473 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18363 16473 1111 63 0 18300 0
vsize: 73452
[startup+430.153 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32512
Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 16895 0 0 0 42977 40 0 0 25 0 1 0 776070949 76705792 16819 4294967295 134512640 134714508 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18727 16819 1111 63 0 18664 0
vsize: 74908
[startup+440.153 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32512
Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 17249 0 0 0 43977 40 0 0 25 0 1 0 776070949 78053376 17173 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19056 17173 1111 63 0 18993 0
vsize: 76224
[startup+450.154 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32512
Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 17594 0 0 0 44976 41 0 0 25 0 1 0 776070949 79544320 17518 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19420 17518 1111 63 0 19357 0
vsize: 77680
[startup+460.153 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32512
Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 17946 0 0 0 45975 42 0 0 25 0 1 0 776070949 81035264 17870 4294967295 134512640 134714508 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19784 17870 1111 63 0 19721 0
vsize: 79136
[startup+470.153 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32512
Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 18300 0 0 0 46975 42 0 0 25 0 1 0 776070949 82382848 18224 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20113 18224 1111 63 0 20050 0
vsize: 80452
[startup+480.153 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32512
Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 18645 0 0 0 47975 43 0 0 25 0 1 0 776070949 83873792 18569 4294967295 134512640 134714508 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20477 18569 1111 63 0 20414 0
vsize: 81908
[startup+490.153 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32512
Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 18997 0 0 0 48974 43 0 0 25 0 1 0 776070949 85217280 18921 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20805 18921 1111 63 0 20742 0
vsize: 83220
[startup+500.153 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32512
Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 19344 0 0 0 49973 45 0 0 25 0 1 0 776070949 86712320 19268 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21170 19268 1111 63 0 21107 0
vsize: 84680
[startup+510.153 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32512
Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 19696 0 0 0 50973 45 0 0 25 0 1 0 776070949 88203264 19620 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21534 19620 1111 63 0 21471 0
vsize: 86136
[startup+520.153 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32512
Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 20048 0 0 0 51972 46 0 0 25 0 1 0 776070949 89546752 19972 4294967295 134512640 134714508 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21862 19972 1111 63 0 21799 0
vsize: 87448
[startup+530.153 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32512
Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 20395 0 0 0 52972 47 0 0 25 0 1 0 776070949 91041792 20319 4294967295 134512640 134714508 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22227 20319 1111 63 0 22164 0
vsize: 88908
[startup+540.153 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32512
Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 20747 0 0 0 53971 48 0 0 25 0 1 0 776070949 92385280 20671 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22555 20671 1111 63 0 22492 0
vsize: 90220
[startup+550.153 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32512
Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 21099 0 0 0 54970 48 0 0 25 0 1 0 776070949 93876224 21023 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22919 21023 1111 63 0 22856 0
vsize: 91676
[startup+560.153 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32512
Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 21453 0 0 0 55970 49 0 0 25 0 1 0 776070949 95371264 21377 4294967295 134512640 134714508 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23284 21377 1111 63 0 23221 0
vsize: 93136
[startup+570.152 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32512
Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 21798 0 0 0 56970 49 0 0 25 0 1 0 776070949 96714752 21722 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23612 21722 1111 63 0 23549 0
vsize: 94448
[startup+580.152 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32512
Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 22150 0 0 0 57969 50 0 0 25 0 1 0 776070949 98205696 22074 4294967295 134512640 134714508 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23976 22074 1111 63 0 23913 0
vsize: 95904
[startup+590.153 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32512
Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 22504 0 0 0 58969 51 0 0 25 0 1 0 776070949 99700736 22428 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24341 22428 1111 63 0 24278 0
vsize: 97364
[startup+600.152 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32512
Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 22855 0 0 0 59968 51 0 0 25 0 1 0 776070949 101044224 22779 4294967295 134512640 134714508 3221224576 3221222804 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24669 22779 1111 63 0 24606 0
vsize: 98676
[startup+610.153 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32512
Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 23201 0 0 0 60968 52 0 0 25 0 1 0 776070949 102535168 23125 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25033 23125 1111 63 0 24970 0
vsize: 100132
[startup+620.153 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32512
Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 23554 0 0 0 61967 52 0 0 25 0 1 0 776070949 103882752 23478 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25362 23478 1111 63 0 25299 0
vsize: 101448
[startup+630.153 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32512
Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 23906 0 0 0 62967 53 0 0 25 0 1 0 776070949 105373696 23830 4294967295 134512640 134714508 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25726 23830 1111 63 0 25663 0
vsize: 102904
[startup+640.153 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32512
Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 24258 0 0 0 63966 54 0 0 25 0 1 0 776070949 106864640 24182 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26090 24182 1111 63 0 26027 0
vsize: 104360
[startup+650.152 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32512
Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 24612 0 0 0 64966 55 0 0 25 0 1 0 776070949 108212224 24536 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26419 24536 1111 63 0 26356 0
vsize: 105676
[startup+660.154 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32512
Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 24963 0 0 0 65965 55 0 0 25 0 1 0 776070949 109703168 24887 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26783 24887 1111 63 0 26720 0
vsize: 107132
[startup+670.153 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32512
Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 25315 0 0 0 66965 56 0 0 25 0 1 0 776070949 111194112 25239 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27147 25239 1111 63 0 27084 0
vsize: 108588
[startup+680.153 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32512
Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 25663 0 0 0 67964 57 0 0 25 0 1 0 776070949 112541696 25587 4294967295 134512640 134714508 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27476 25587 1111 63 0 27413 0
vsize: 109904
[startup+690.154 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32512
Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 26014 0 0 0 68964 57 0 0 25 0 1 0 776070949 114032640 25938 4294967295 134512640 134714508 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27840 25938 1111 63 0 27777 0
vsize: 111360
[startup+700.155 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32512
Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 26373 0 0 0 69963 58 0 0 25 0 1 0 776070949 115499008 26297 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28198 26297 1111 63 0 28135 0
vsize: 112792
[startup+710.155 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32512
Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 26726 0 0 0 70963 59 0 0 25 0 1 0 776070949 116994048 26650 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28563 26650 1111 63 0 28500 0
vsize: 114252
[startup+720.156 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32512
Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 27078 0 0 0 71963 59 0 0 25 0 1 0 776070949 118337536 27002 4294967295 134512640 134714508 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28891 27002 1111 63 0 28828 0
vsize: 115564
[startup+730.156 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32512
Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 27430 0 0 0 72962 60 0 0 25 0 1 0 776070949 119828480 27354 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29255 27354 1111 63 0 29192 0
vsize: 117020
[startup+740.16 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32512
Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 27783 0 0 0 73962 61 0 0 25 0 1 0 776070949 121323520 27707 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29620 27707 1111 63 0 29557 0
vsize: 118480
[startup+750.159 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32512
Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 28135 0 0 0 74961 62 0 0 25 0 1 0 776070949 122667008 28059 4294967295 134512640 134714508 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29948 28059 1111 63 0 29885 0
vsize: 119792
[startup+760.16 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32512
Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 28487 0 0 0 75961 62 0 0 25 0 1 0 776070949 124157952 28411 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30312 28411 1111 63 0 30249 0
vsize: 121248
[startup+770.16 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32512
Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 28840 0 0 0 76961 62 0 0 25 0 1 0 776070949 125652992 28764 4294967295 134512640 134714508 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30677 28764 1111 63 0 30614 0
vsize: 122708
[startup+780.16 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32512
Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 29192 0 0 0 77960 63 0 0 25 0 1 0 776070949 126996480 29116 4294967295 134512640 134714508 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31005 29116 1111 63 0 30942 0
vsize: 124020
[startup+790.159 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32512
Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 29545 0 0 0 78960 64 0 0 25 0 1 0 776070949 128487424 29469 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31369 29469 1111 63 0 31306 0
vsize: 125476
[startup+800.161 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32512
Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 29905 0 0 0 79960 64 0 0 25 0 1 0 776070949 129982464 29829 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31734 29829 1111 63 0 31671 0
vsize: 126936
[startup+810.161 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32512
Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 30256 0 0 0 80959 65 0 0 25 0 1 0 776070949 131473408 30180 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32098 30180 1111 63 0 32035 0
vsize: 128392
[startup+820.161 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32512
Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 30608 0 0 0 81959 65 0 0 25 0 1 0 776070949 132816896 30532 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32426 30532 1111 63 0 32363 0
vsize: 129704
[startup+830.16 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32512
Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 30962 0 0 0 82959 65 0 0 25 0 1 0 776070949 134311936 30886 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32791 30886 1111 63 0 32728 0
vsize: 131164
[startup+840.16 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32512
Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 31313 0 0 0 83958 66 0 0 25 0 1 0 776070949 135802880 31237 4294967295 134512640 134714508 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33155 31237 1111 63 0 33092 0
vsize: 132620
[startup+850.16 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32512
Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 31665 0 0 0 84958 66 0 0 25 0 1 0 776070949 137146368 31589 4294967295 134512640 134714508 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33483 31589 1111 63 0 33420 0
vsize: 133932
[startup+860.161 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32512
Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 32019 0 0 0 85958 67 0 0 25 0 1 0 776070949 138645504 31943 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33849 31943 1111 63 0 33786 0
vsize: 135396
[startup+870.162 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32512
Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 32378 0 0 0 86958 67 0 0 25 0 1 0 776070949 140132352 32302 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34212 32302 1111 63 0 34149 0
vsize: 136848
[startup+880.162 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32512
Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 32729 0 0 0 87958 68 0 0 25 0 1 0 776070949 141475840 32653 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34540 32653 1111 63 0 34477 0
vsize: 138160
[startup+890.161 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32512
Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 33083 0 0 0 88957 68 0 0 25 0 1 0 776070949 142974976 33007 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34906 33007 1111 63 0 34843 0
vsize: 139624
[startup+900.161 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32512
Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 33435 0 0 0 89957 69 0 0 25 0 1 0 776070949 144465920 33359 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35270 33359 1111 63 0 35207 0
vsize: 141080
[startup+910.162 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32512
Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 33794 0 0 0 90956 69 0 0 25 0 1 0 776070949 145956864 33718 4294967295 134512640 134714508 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35634 33718 1111 63 0 35571 0
vsize: 142536
[startup+920.162 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32512
Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 34146 0 0 0 91956 70 0 0 25 0 1 0 776070949 147304448 34070 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35963 34070 1111 63 0 35900 0
vsize: 143852
[startup+930.162 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32512
Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 34498 0 0 0 92956 70 0 0 25 0 1 0 776070949 148795392 34422 4294967295 134512640 134714508 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36327 34422 1111 63 0 36264 0
vsize: 145308
[startup+940.163 s]
Raw data (loadavg): 1.15 1.00 0.96 2/54 32565
Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 34857 0 0 0 93948 78 0 0 25 0 1 0 776070949 150290432 34781 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36692 34781 1111 63 0 36629 0
vsize: 146768
[startup+950.162 s]
Raw data (loadavg): 1.12 1.00 0.96 2/54 32565
Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 35215 0 0 0 94947 79 0 0 25 0 1 0 776070949 151781376 35139 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37056 35139 1111 63 0 36993 0
vsize: 148224
[startup+960.163 s]
Raw data (loadavg): 1.10 1.00 0.96 2/54 32565
Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 35574 0 0 0 95947 79 0 0 25 0 1 0 776070949 153124864 35498 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37384 35498 1111 63 0 37321 0
vsize: 149536
[startup+970.164 s]
Raw data (loadavg): 1.09 1.00 0.96 2/54 32565
Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 35933 0 0 0 96946 80 0 0 25 0 1 0 776070949 154619904 35857 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37749 35857 1111 63 0 37686 0
vsize: 150996
[startup+980.164 s]
Raw data (loadavg): 1.07 1.00 0.96 2/54 32565
Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 36291 0 0 0 97946 81 0 0 25 0 1 0 776070949 156110848 36215 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38113 36215 1111 63 0 38050 0
vsize: 152452
[startup+990.164 s]
Raw data (loadavg): 1.06 1.00 0.96 2/54 32565
Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 36649 0 0 0 98945 82 0 0 25 0 1 0 776070949 157601792 36573 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38477 36573 1111 63 0 38414 0
vsize: 153908
[startup+1000.16 s]
Raw data (loadavg): 1.05 1.00 0.96 2/54 32565
Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 37009 0 0 0 99945 82 0 0 25 0 1 0 776070949 159100928 36933 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38843 36933 1111 63 0 38780 0
vsize: 155372
[startup+1010.17 s]
Raw data (loadavg): 1.04 1.00 0.96 2/54 32565
Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 37367 0 0 0 100944 83 0 0 25 0 1 0 776070949 160591872 37291 4294967295 134512640 134714508 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39207 37291 1111 63 0 39144 0
vsize: 156828
[startup+1020.17 s]
Raw data (loadavg): 1.04 1.00 0.96 2/54 32567
Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 37725 0 0 0 101944 83 0 0 25 0 1 0 776070949 161931264 37649 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39534 37649 1111 63 0 39471 0
vsize: 158136
[startup+1030.17 s]
Raw data (loadavg): 1.03 1.00 0.96 2/54 32567
Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 38084 0 0 0 102944 84 0 0 25 0 1 0 776070949 163430400 38008 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39900 38008 1111 63 0 39837 0
vsize: 159600
[startup+1040.17 s]
Raw data (loadavg): 1.03 1.00 0.96 2/54 32567
Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 38443 0 0 0 103943 84 0 0 25 0 1 0 776070949 164921344 38367 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40264 38367 1111 63 0 40201 0
vsize: 161056
[startup+1050.17 s]
Raw data (loadavg): 1.02 1.00 0.96 2/54 32567
Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 38801 0 0 0 104943 85 0 0 25 0 1 0 776070949 166412288 38725 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40628 38725 1111 63 0 40565 0
vsize: 162512
[startup+1060.17 s]
Raw data (loadavg): 1.02 1.00 0.96 2/54 32567
Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 39166 0 0 0 105942 86 0 0 25 0 1 0 776070949 167907328 39090 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40993 39090 1111 63 0 40930 0
vsize: 163972
[startup+1070.17 s]
Raw data (loadavg): 1.01 1.00 0.96 2/54 32567
Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 39524 0 0 0 106942 87 0 0 25 0 1 0 776070949 169398272 39448 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41357 39448 1111 63 0 41294 0
vsize: 165428
[startup+1080.17 s]
Raw data (loadavg): 1.01 1.00 0.96 2/54 32567
Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 39882 0 0 0 107941 87 0 0 25 0 1 0 776070949 170889216 39806 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41721 39806 1111 63 0 41658 0
vsize: 166884
[startup+1090.17 s]
Raw data (loadavg): 1.01 1.00 0.96 2/54 32567
Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 40242 0 0 0 108941 88 0 0 25 0 1 0 776070949 172236800 40166 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42050 40166 1111 63 0 41987 0
vsize: 168200
[startup+1100.17 s]
Raw data (loadavg): 1.01 1.00 0.96 2/54 32567
Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 40599 0 0 0 109940 89 0 0 25 0 1 0 776070949 173727744 40523 4294967295 134512640 134714508 3221224576 3221222804 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42414 40523 1111 63 0 42351 0
vsize: 169656
[startup+1110.17 s]
Raw data (loadavg): 1.01 1.00 0.96 2/54 32567
Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 40963 0 0 0 110940 89 0 0 25 0 1 0 776070949 175218688 40887 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42778 40887 1111 63 0 42715 0
vsize: 171112
[startup+1120.17 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 32567
Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 41323 0 0 0 111940 90 0 0 25 0 1 0 776070949 176717824 41247 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43144 41247 1111 63 0 43081 0
vsize: 172576
[startup+1130.17 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 32567
Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 41682 0 0 0 112939 90 0 0 25 0 1 0 776070949 178208768 41606 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43508 41606 1111 63 0 43445 0
vsize: 174032
[startup+1140.17 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 32567
Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 42046 0 0 0 113938 91 0 0 25 0 1 0 776070949 179699712 41970 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43872 41970 1111 63 0 43809 0
vsize: 175488
[startup+1150.17 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 32567
Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 42405 0 0 0 114938 92 0 0 25 0 1 0 776070949 181194752 42329 4294967295 134512640 134714508 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44237 42329 1111 63 0 44174 0
vsize: 176948
[startup+1160.17 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 32567
Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 42763 0 0 0 115938 92 0 0 25 0 1 0 776070949 182685696 42687 4294967295 134512640 134714508 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44601 42687 1111 63 0 44538 0
vsize: 178404
[startup+1170.17 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 32567
Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 43129 0 0 0 116938 93 0 0 25 0 1 0 776070949 184176640 43053 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44965 43053 1111 63 0 44902 0
vsize: 179860
[startup+1180.17 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 32567
Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 43486 0 0 0 117937 94 0 0 25 0 1 0 776070949 185524224 43410 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45294 43410 1111 63 0 45231 0
vsize: 181176
[startup+1190.17 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 32567
Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 43844 0 0 0 118937 94 0 0 25 0 1 0 776070949 187015168 43768 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45658 43768 1111 63 0 45595 0
vsize: 182632
[startup+1200.17 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 32567
Raw data (stat): 32512 (bsolo_lpr_cuts) R 32511 25830 25829 0 -1 0 44210 0 0 0 119936 95 0 0 25 0 1 0 776070949 188514304 44134 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46024 44134 1111 63 0 45961 0
vsize: 184096
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.26 s]
Raw data (loadavg): 1.00 1.00 0.96 1/54 32567
Raw data (stat): 32512 (bsolo_lpr_cuts) Z 32511 25830 25829 0 -1 1036 44210 0 0 0 119936 103 0 0 25 0 1 0 776070949 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.25
CPU time (s): 1200.4
CPU user time (s): 1199.37
CPU system time (s): 1.03484
CPU usage (%): 100.012
Max. virtual memory (Kb): 184096
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####