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-dc1l.opb
MD5SUM	4d1c8086316d85cb5ef2a3148b52a8a1
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	85408
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	6807849934732110331904
Number of bits of the sum of numbers in the objective function	73
Biggest number in a constraint	536870912000000000000
Number of bits of the biggest number in a constraint	69
Biggest sum of numbers in a constraint	6807849934732110331904
Number of bits of the biggest sum of numbers	73
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.91486
Number of variables	85198
Total number of constraints	37291
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	35639
Number of constraints which are nor clauses,nor cardinality constraints	1652
Minimum length of a constraint	1
Maximum length of a constraint	35129
Trace number 41317

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-09 10:15:19 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29377 boxname=wulflinc3 idbench=1161 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  4d1c8086316d85cb5ef2a3148b52a8a1  /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-dc1l.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-dc1l.opb
IDLAUNCH: 29377
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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:        757192 kB
Buffers:         12804 kB
Cached:         244004 kB
SwapCached:        708 kB
Active:          45316 kB
Inactive:       213516 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        756940 kB
SwapTotal:     2097136 kB
SwapFree:      2095380 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5036 kB
Slab:            12956 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 10:35:22 (client local time) WITH STATUS 0 IN 1200.37 SECONDS
stats: 29377 7 1200.37 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.91 0.92 0.90 2/54 7686
Raw data (stat): 7686 (runsolver) R 7685 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 909469111 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+9.99977 s]
Raw data (loadavg): 0.92 0.92 0.90 2/54 7686
Raw data (stat): 7686 (bsolo_lpr_cuts-) R 7685 20224 20223 0 -1 0 1713 0 0 0 992 5 0 0 25 0 1 0 909469111 18067456 1633 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4411 1633 1111 63 0 4348 0
vsize: 17644
[startup+20.0005 s]
Raw data (loadavg): 0.93 0.92 0.90 2/54 7686
Raw data (stat): 7686 (bsolo_lpr_cuts-) R 7685 20224 20223 0 -1 0 2455 0 0 0 1990 7 0 0 25 0 1 0 909469111 21053440 2375 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5140 2375 1111 63 0 5077 0
vsize: 20560
[startup+30.0007 s]
Raw data (loadavg): 0.94 0.92 0.90 2/54 7686
Raw data (stat): 7686 (bsolo_lpr_cuts-) R 7685 20224 20223 0 -1 0 3190 0 0 0 2989 9 0 0 25 0 1 0 909469111 24043520 3110 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5870 3110 1111 63 0 5807 0
vsize: 23480
[startup+40.0002 s]
Raw data (loadavg): 0.95 0.93 0.90 2/54 7686
Raw data (stat): 7686 (bsolo_lpr_cuts-) R 7685 20224 20223 0 -1 0 3920 0 0 0 3988 10 0 0 25 0 1 0 909469111 27029504 3840 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6599 3840 1111 63 0 6536 0
vsize: 26396
[startup+50.001 s]
Raw data (loadavg): 0.96 0.93 0.91 2/54 7686
Raw data (stat): 7686 (bsolo_lpr_cuts-) R 7685 20224 20223 0 -1 0 4648 0 0 0 4987 11 0 0 25 0 1 0 909469111 30011392 4568 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7327 4568 1111 63 0 7264 0
vsize: 29308
[startup+60.0008 s]
Raw data (loadavg): 0.96 0.93 0.91 2/54 7686
Raw data (stat): 7686 (bsolo_lpr_cuts-) R 7685 20224 20223 0 -1 0 5389 0 0 0 5986 12 0 0 25 0 1 0 909469111 33001472 5309 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8057 5309 1111 63 0 7994 0
vsize: 32228
[startup+70.0007 s]
Raw data (loadavg): 0.97 0.93 0.91 2/54 7686
Raw data (stat): 7686 (bsolo_lpr_cuts-) R 7685 20224 20223 0 -1 0 6125 0 0 0 6985 14 0 0 25 0 1 0 909469111 36139008 6045 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8823 6045 1111 63 0 8760 0
vsize: 35292
[startup+80.0016 s]
Raw data (loadavg): 0.97 0.93 0.91 2/54 7686
Raw data (stat): 7686 (bsolo_lpr_cuts-) R 7685 20224 20223 0 -1 0 6859 0 0 0 7984 15 0 0 25 0 1 0 909469111 39120896 6779 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9551 6779 1111 63 0 9488 0
vsize: 38204
[startup+90.0019 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 7686
Raw data (stat): 7686 (bsolo_lpr_cuts-) R 7685 20224 20223 0 -1 0 7597 0 0 0 8983 16 0 0 25 0 1 0 909469111 42094592 7517 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10277 7517 1111 63 0 10214 0
vsize: 41108
[startup+100.002 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 7686
Raw data (stat): 7686 (bsolo_lpr_cuts-) R 7685 20224 20223 0 -1 0 8333 0 0 0 9982 17 0 0 25 0 1 0 909469111 45080576 8253 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11006 8253 1111 63 0 10943 0
vsize: 44024
[startup+110.002 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 7686
Raw data (stat): 7686 (bsolo_lpr_cuts-) R 7685 20224 20223 0 -1 0 9074 0 0 0 10980 19 0 0 25 0 1 0 909469111 48214016 8994 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11771 8994 1111 63 0 11708 0
vsize: 47084
[startup+120.003 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 7686
Raw data (stat): 7686 (bsolo_lpr_cuts-) R 7685 20224 20223 0 -1 0 9814 0 0 0 11979 20 0 0 25 0 1 0 909469111 51200000 9734 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12500 9734 1111 63 0 12437 0
vsize: 50000
[startup+130.003 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 7686
Raw data (stat): 7686 (bsolo_lpr_cuts-) R 7685 20224 20223 0 -1 0 10556 0 0 0 12978 22 0 0 25 0 1 0 909469111 54190080 10476 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13230 10476 1111 63 0 13167 0
vsize: 52920
[startup+140.003 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 7686
Raw data (stat): 7686 (bsolo_lpr_cuts-) R 7685 20224 20223 0 -1 0 11298 0 0 0 13977 23 0 0 25 0 1 0 909469111 57327616 11218 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13996 11218 1111 63 0 13933 0
vsize: 55984
[startup+150.004 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 7686
Raw data (stat): 7686 (bsolo_lpr_cuts-) R 7685 20224 20223 0 -1 0 12038 0 0 0 14976 24 0 0 25 0 1 0 909469111 60309504 11958 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14724 11958 1111 63 0 14661 0
vsize: 58896
[startup+160.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 7686
Raw data (stat): 7686 (bsolo_lpr_cuts-) R 7685 20224 20223 0 -1 0 12791 0 0 0 15975 25 0 0 25 0 1 0 909469111 63442944 12711 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15489 12711 1111 63 0 15426 0
vsize: 61956
[startup+170.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 7686
Raw data (stat): 7686 (bsolo_lpr_cuts-) R 7685 20224 20223 0 -1 0 13544 0 0 0 16974 27 0 0 25 0 1 0 909469111 66408448 13464 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16213 13464 1111 63 0 16150 0
vsize: 64852
[startup+180.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 7686
Raw data (stat): 7686 (bsolo_lpr_cuts-) R 7685 20224 20223 0 -1 0 14287 0 0 0 17973 28 0 0 25 0 1 0 909469111 69541888 14207 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16978 14207 1111 63 0 16915 0
vsize: 67912
[startup+190.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 7686
Raw data (stat): 7686 (bsolo_lpr_cuts-) R 7685 20224 20223 0 -1 0 15033 0 0 0 18971 29 0 0 25 0 1 0 909469111 72523776 14953 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17706 14953 1111 63 0 17643 0
vsize: 70824
[startup+200.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 7686
Raw data (stat): 7686 (bsolo_lpr_cuts-) R 7685 20224 20223 0 -1 0 15780 0 0 0 19970 31 0 0 25 0 1 0 909469111 75661312 15700 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18472 15700 1111 63 0 18409 0
vsize: 73888
[startup+210.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 7686
Raw data (stat): 7686 (bsolo_lpr_cuts-) R 7685 20224 20223 0 -1 0 16528 0 0 0 20969 32 0 0 25 0 1 0 909469111 78651392 16448 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19202 16448 1111 63 0 19139 0
vsize: 76808
[startup+220.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 7686
Raw data (stat): 7686 (bsolo_lpr_cuts-) R 7685 20224 20223 0 -1 0 17482 0 0 0 21967 34 0 0 25 0 1 0 909469111 82534400 17402 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20150 17402 1111 63 0 20087 0
vsize: 80600
[startup+230.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 7686
Raw data (stat): 7686 (bsolo_lpr_cuts-) R 7685 20224 20223 0 -1 0 18337 0 0 0 22965 36 0 0 25 0 1 0 909469111 86110208 18257 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21023 18257 1111 63 0 20960 0
vsize: 84092
[startup+240.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 7686
Raw data (stat): 7686 (bsolo_lpr_cuts-) R 7685 20224 20223 0 -1 0 19079 0 0 0 23963 37 0 0 25 0 1 0 909469111 89100288 18999 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21753 18999 1111 63 0 21690 0
vsize: 87012
[startup+250.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 7686
Raw data (stat): 7686 (bsolo_lpr_cuts-) R 7685 20224 20223 0 -1 0 19821 0 0 0 24962 39 0 0 25 0 1 0 909469111 92237824 19741 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22519 19741 1111 63 0 22456 0
vsize: 90076
[startup+260.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7686
Raw data (stat): 7686 (bsolo_lpr_cuts-) R 7685 20224 20223 0 -1 0 20568 0 0 0 25960 40 0 0 25 0 1 0 909469111 95223808 20488 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23248 20488 1111 63 0 23185 0
vsize: 92992
[startup+270.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7686
Raw data (stat): 7686 (bsolo_lpr_cuts-) R 7685 20224 20223 0 -1 0 21619 0 0 0 26959 42 0 0 25 0 1 0 909469111 99553280 21539 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24305 21539 1111 63 0 24242 0
vsize: 97220
[startup+280.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7686
Raw data (stat): 7686 (bsolo_lpr_cuts-) R 7685 20224 20223 0 -1 0 22365 0 0 0 27957 44 0 0 25 0 1 0 909469111 102535168 22285 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25033 22285 1111 63 0 24970 0
vsize: 100132
[startup+290.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7686
Raw data (stat): 7686 (bsolo_lpr_cuts-) R 7685 20224 20223 0 -1 0 23113 0 0 0 28955 46 0 0 25 0 1 0 909469111 105672704 23033 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25799 23033 1111 63 0 25736 0
vsize: 103196
[startup+300.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7686
Raw data (stat): 7686 (bsolo_lpr_cuts-) R 7685 20224 20223 0 -1 0 23970 0 0 0 29954 48 0 0 25 0 1 0 909469111 109109248 23890 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26638 23890 1111 63 0 26575 0
vsize: 106552
[startup+310.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7686
Raw data (stat): 7686 (bsolo_lpr_cuts-) R 7685 20224 20223 0 -1 0 25088 0 0 0 30952 50 0 0 25 0 1 0 909469111 113733632 25008 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27767 25008 1111 63 0 27704 0
vsize: 111068
[startup+320.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7686
Raw data (stat): 7686 (bsolo_lpr_cuts-) R 7685 20224 20223 0 -1 0 25848 0 0 0 31950 52 0 0 25 0 1 0 909469111 116846592 25768 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28527 25768 1111 63 0 28464 0
vsize: 114108
[startup+330.017 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7686
Raw data (stat): 7686 (bsolo_lpr_cuts-) R 7685 20224 20223 0 -1 0 26600 0 0 0 32949 53 0 0 25 0 1 0 909469111 119975936 26520 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29291 26520 1111 63 0 29228 0
vsize: 117164
[startup+340.017 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7686
Raw data (stat): 7686 (bsolo_lpr_cuts-) R 7685 20224 20223 0 -1 0 27354 0 0 0 33947 55 0 0 25 0 1 0 909469111 123113472 27274 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30057 27274 1111 63 0 29994 0
vsize: 120228
[startup+350.017 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7686
Raw data (stat): 7686 (bsolo_lpr_cuts-) R 7685 20224 20223 0 -1 0 28320 0 0 0 34945 57 0 0 25 0 1 0 909469111 126996480 28240 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31005 28240 1111 63 0 30942 0
vsize: 124020
[startup+360.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7686
Raw data (stat): 7686 (bsolo_lpr_cuts-) R 7685 20224 20223 0 -1 0 29075 0 0 0 35944 59 0 0 25 0 1 0 909469111 130134016 28995 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31771 28995 1111 63 0 31708 0
vsize: 127084
[startup+370.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7686
Raw data (stat): 7686 (bsolo_lpr_cuts-) R 7685 20224 20223 0 -1 0 29835 0 0 0 36943 60 0 0 25 0 1 0 909469111 133271552 29755 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32537 29755 1111 63 0 32474 0
vsize: 130148
[startup+380.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7686
Raw data (stat): 7686 (bsolo_lpr_cuts-) R 7685 20224 20223 0 -1 0 30593 0 0 0 37941 62 0 0 25 0 1 0 909469111 136253440 30513 4294967295 134512640 134716908 3221224560 3221222788 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33265 30513 1111 63 0 33202 0
vsize: 133060
[startup+390.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7686
Raw data (stat): 7686 (bsolo_lpr_cuts-) R 7685 20224 20223 0 -1 0 31359 0 0 0 38939 64 0 0 25 0 1 0 909469111 139386880 31279 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34030 31279 1111 63 0 33967 0
vsize: 136120
[startup+400.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7686
Raw data (stat): 7686 (bsolo_lpr_cuts-) R 7685 20224 20223 0 -1 0 32429 0 0 0 39938 66 0 0 25 0 1 0 909469111 143867904 32349 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35124 32349 1111 63 0 35061 0
vsize: 140496
[startup+410.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7686
Raw data (stat): 7686 (bsolo_lpr_cuts-) R 7685 20224 20223 0 -1 0 33347 0 0 0 40936 67 0 0 25 0 1 0 909469111 147599360 33267 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36035 33267 1111 63 0 35972 0
vsize: 144140
[startup+420.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7686
Raw data (stat): 7686 (bsolo_lpr_cuts-) R 7685 20224 20223 0 -1 0 34112 0 0 0 41934 69 0 0 25 0 1 0 909469111 150736896 34032 4294967295 134512640 134716908 3221224560 3221222788 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36801 34032 1111 63 0 36738 0
vsize: 147204
[startup+430.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7686
Raw data (stat): 7686 (bsolo_lpr_cuts-) R 7685 20224 20223 0 -1 0 34878 0 0 0 42934 70 0 0 25 0 1 0 909469111 153870336 34798 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37566 34798 1111 63 0 37503 0
vsize: 150264
[startup+440.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7686
Raw data (stat): 7686 (bsolo_lpr_cuts-) R 7685 20224 20223 0 -1 0 35650 0 0 0 43932 72 0 0 25 0 1 0 909469111 157007872 35570 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38332 35570 1111 63 0 38269 0
vsize: 153328
[startup+450.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7686
Raw data (stat): 7686 (bsolo_lpr_cuts-) R 7685 20224 20223 0 -1 0 36416 0 0 0 44930 74 0 0 25 0 1 0 909469111 160141312 36336 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39097 36336 1111 63 0 39034 0
vsize: 156388
[startup+460.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7686
Raw data (stat): 7686 (bsolo_lpr_cuts-) R 7685 20224 20223 0 -1 0 37285 0 0 0 45928 76 0 0 25 0 1 0 909469111 163725312 37205 4294967295 134512640 134716908 3221224560 3221222788 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39972 37205 1111 63 0 39909 0
vsize: 159888
[startup+470.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7686
Raw data (stat): 7686 (bsolo_lpr_cuts-) R 7685 20224 20223 0 -1 0 38056 0 0 0 46926 78 0 0 25 0 1 0 909469111 166858752 37976 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40737 37976 1111 63 0 40674 0
vsize: 162948
[startup+480.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7686
Raw data (stat): 7686 (bsolo_lpr_cuts-) R 7685 20224 20223 0 -1 0 38828 0 0 0 47925 80 0 0 25 0 1 0 909469111 169996288 38748 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41503 38748 1111 63 0 41440 0
vsize: 166012
[startup+490.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7686
Raw data (stat): 7686 (bsolo_lpr_cuts-) R 7685 20224 20223 0 -1 0 39600 0 0 0 48924 81 0 0 25 0 1 0 909469111 173133824 39520 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42269 39520 1111 63 0 42206 0
vsize: 169076
[startup+500.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7686
Raw data (stat): 7686 (bsolo_lpr_cuts-) R 7685 20224 20223 0 -1 0 40596 0 0 0 49922 82 0 0 25 0 1 0 909469111 177311744 40516 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43289 40516 1111 63 0 43226 0
vsize: 173156
[startup+510.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7686
Raw data (stat): 7686 (bsolo_lpr_cuts-) R 7685 20224 20223 0 -1 0 41618 0 0 0 50920 85 0 0 25 0 1 0 909469111 181493760 41538 4294967295 134512640 134716908 3221224560 3221222788 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44310 41538 1111 63 0 44247 0
vsize: 177240
[startup+520.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7686
Raw data (stat): 7686 (bsolo_lpr_cuts-) R 7685 20224 20223 0 -1 0 42396 0 0 0 51919 86 0 0 25 0 1 0 909469111 184631296 42316 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45076 42316 1111 63 0 45013 0
vsize: 180304
[startup+530.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7686
Raw data (stat): 7686 (bsolo_lpr_cuts-) R 7685 20224 20223 0 -1 0 43172 0 0 0 52918 87 0 0 25 0 1 0 909469111 187760640 43092 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45840 43092 1111 63 0 45777 0
vsize: 183360
[startup+540.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7686
Raw data (stat): 7686 (bsolo_lpr_cuts-) R 7685 20224 20223 0 -1 0 43950 0 0 0 53917 89 0 0 25 0 1 0 909469111 191045632 43870 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46642 43870 1111 63 0 46579 0
vsize: 186568
[startup+550.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7686
Raw data (stat): 7686 (bsolo_lpr_cuts-) R 7685 20224 20223 0 -1 0 45153 0 0 0 54914 91 0 0 25 0 1 0 909469111 195973120 45073 4294967295 134512640 134716908 3221224560 3221222788 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47845 45073 1111 63 0 47782 0
vsize: 191380
[startup+560.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7686
Raw data (stat): 7686 (bsolo_lpr_cuts-) R 7685 20224 20223 0 -1 0 45980 0 0 0 55913 93 0 0 25 0 1 0 909469111 199258112 45900 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48647 45900 1111 63 0 48584 0
vsize: 194588
[startup+570.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7686
Raw data (stat): 7686 (bsolo_lpr_cuts-) R 7685 20224 20223 0 -1 0 46764 0 0 0 56911 95 0 0 25 0 1 0 909469111 202547200 46684 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49450 46684 1111 63 0 49387 0
vsize: 197800
[startup+580.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7686
Raw data (stat): 7686 (bsolo_lpr_cuts-) R 7685 20224 20223 0 -1 0 47548 0 0 0 57910 96 0 0 25 0 1 0 909469111 205680640 47468 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50215 47468 1111 63 0 50152 0
vsize: 200860
[startup+590.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7686
Raw data (stat): 7686 (bsolo_lpr_cuts-) R 7685 20224 20223 0 -1 0 48336 0 0 0 58908 98 0 0 25 0 1 0 909469111 208961536 48256 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51016 48256 1111 63 0 50953 0
vsize: 204064
[startup+600.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7686
Raw data (stat): 7686 (bsolo_lpr_cuts-) R 7685 20224 20223 0 -1 0 49127 0 0 0 59906 100 0 0 25 0 1 0 909469111 212246528 49047 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51818 49047 1111 63 0 51755 0
vsize: 207272
[startup+610.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7686
Raw data (stat): 7686 (bsolo_lpr_cuts-) R 7685 20224 20223 0 -1 0 49927 0 0 0 60905 101 0 0 25 0 1 0 909469111 215531520 49847 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52620 49847 1111 63 0 52557 0
vsize: 210480
[startup+620.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7686
Raw data (stat): 7686 (bsolo_lpr_cuts-) R 7685 20224 20223 0 -1 0 50717 0 0 0 61904 103 0 0 25 0 1 0 909469111 218816512 50637 4294967295 134512640 134716908 3221224560 3221222788 1077414393 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53422 50637 1111 63 0 53359 0
vsize: 213688
[startup+630.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7686
Raw data (stat): 7686 (bsolo_lpr_cuts-) R 7685 20224 20223 0 -1 0 51507 0 0 0 62902 104 0 0 25 0 1 0 909469111 221949952 51427 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54187 51427 1111 63 0 54124 0
vsize: 216748
[startup+640.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7686
Raw data (stat): 7686 (bsolo_lpr_cuts-) R 7685 20224 20223 0 -1 0 52303 0 0 0 63901 106 0 0 25 0 1 0 909469111 225234944 52223 4294967295 134512640 134716908 3221224560 3221222788 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54989 52223 1111 63 0 54926 0
vsize: 219956
[startup+650.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7686
Raw data (stat): 7686 (bsolo_lpr_cuts-) R 7685 20224 20223 0 -1 0 53099 0 0 0 64900 107 0 0 25 0 1 0 909469111 228519936 53019 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55791 53019 1111 63 0 55728 0
vsize: 223164
[startup+660.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7686
Raw data (stat): 7686 (bsolo_lpr_cuts-) R 7685 20224 20223 0 -1 0 53896 0 0 0 65898 109 0 0 25 0 1 0 909469111 231804928 53816 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56593 53816 1111 63 0 56530 0
vsize: 226372
[startup+670.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7686
Raw data (stat): 7686 (bsolo_lpr_cuts-) R 7685 20224 20223 0 -1 0 54825 0 0 0 66897 110 0 0 25 0 1 0 909469111 235540480 54745 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57505 54745 1111 63 0 57442 0
vsize: 230020
[startup+680.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7686
Raw data (stat): 7686 (bsolo_lpr_cuts-) R 7685 20224 20223 0 -1 0 55626 0 0 0 67896 111 0 0 25 0 1 0 909469111 238821376 55546 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58306 55546 1111 63 0 58243 0
vsize: 233224
[startup+690.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7686
Raw data (stat): 7686 (bsolo_lpr_cuts-) R 7685 20224 20223 0 -1 0 56423 0 0 0 68894 113 0 0 25 0 1 0 909469111 242106368 56343 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59108 56343 1111 63 0 59045 0
vsize: 236432
[startup+700.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7686
Raw data (stat): 7686 (bsolo_lpr_cuts-) R 7685 20224 20223 0 -1 0 57226 0 0 0 69892 115 0 0 25 0 1 0 909469111 245391360 57146 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59910 57146 1111 63 0 59847 0
vsize: 239640
[startup+710.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7686
Raw data (stat): 7686 (bsolo_lpr_cuts-) R 7685 20224 20223 0 -1 0 58174 0 0 0 70890 117 0 0 25 0 1 0 909469111 249274368 58094 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60858 58094 1111 63 0 60795 0
vsize: 243432
[startup+720.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7686
Raw data (stat): 7686 (bsolo_lpr_cuts-) R 7685 20224 20223 0 -1 0 58977 0 0 0 71889 119 0 0 25 0 1 0 909469111 252559360 58897 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61660 58897 1111 63 0 61597 0
vsize: 246640
[startup+730.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7686
Raw data (stat): 7686 (bsolo_lpr_cuts-) R 7685 20224 20223 0 -1 0 59789 0 0 0 72887 121 0 0 25 0 1 0 909469111 255987712 59709 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62497 59709 1111 63 0 62434 0
vsize: 249988
[startup+740.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7686
Raw data (stat): 7686 (bsolo_lpr_cuts-) R 7685 20224 20223 0 -1 0 60598 0 0 0 73885 123 0 0 25 0 1 0 909469111 259276800 60518 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63300 60518 1111 63 0 63237 0
vsize: 253200
[startup+750.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7686
Raw data (stat): 7686 (bsolo_lpr_cuts-) R 7685 20224 20223 0 -1 0 61436 0 0 0 74883 125 0 0 25 0 1 0 909469111 262709248 61356 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64138 61356 1111 63 0 64075 0
vsize: 256552
[startup+760.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7686
Raw data (stat): 7686 (bsolo_lpr_cuts-) R 7685 20224 20223 0 -1 0 62258 0 0 0 75882 126 0 0 25 0 1 0 909469111 265998336 62178 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 64941 62178 1111 63 0 64878 0
vsize: 259764
[startup+770.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7686
Raw data (stat): 7686 (bsolo_lpr_cuts-) R 7685 20224 20223 0 -1 0 63292 0 0 0 76881 127 0 0 25 0 1 0 909469111 270327808 63212 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65998 63212 1111 63 0 65935 0
vsize: 263992
[startup+780.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7686
Raw data (stat): 7686 (bsolo_lpr_cuts-) R 7685 20224 20223 0 -1 0 64112 0 0 0 77880 129 0 0 25 0 1 0 909469111 273612800 64032 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 66800 64032 1111 63 0 66737 0
vsize: 267200
[startup+790.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7686
Raw data (stat): 7686 (bsolo_lpr_cuts-) R 7685 20224 20223 0 -1 0 64943 0 0 0 78878 131 0 0 25 0 1 0 909469111 277041152 64863 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67637 64863 1111 63 0 67574 0
vsize: 270548
[startup+800.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7686
Raw data (stat): 7686 (bsolo_lpr_cuts-) R 7685 20224 20223 0 -1 0 65861 0 0 0 79877 132 0 0 25 0 1 0 909469111 280776704 65781 4294967295 134512640 134716908 3221224560 3221222788 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 68549 65781 1111 63 0 68486 0
vsize: 274196
[startup+810.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7686
Raw data (stat): 7686 (bsolo_lpr_cuts-) R 7685 20224 20223 0 -1 0 66693 0 0 0 80876 133 0 0 25 0 1 0 909469111 284209152 66613 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69387 66613 1111 63 0 69324 0
vsize: 277548
[startup+820.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7686
Raw data (stat): 7686 (bsolo_lpr_cuts-) R 7685 20224 20223 0 -1 0 67587 0 0 0 81874 135 0 0 25 0 1 0 909469111 287793152 67507 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70262 67507 1111 63 0 70199 0
vsize: 281048
[startup+830.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7686
Raw data (stat): 7686 (bsolo_lpr_cuts-) R 7685 20224 20223 0 -1 0 68420 0 0 0 82873 136 0 0 25 0 1 0 909469111 291229696 68340 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71101 68340 1111 63 0 71038 0
vsize: 284404
[startup+840.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7686
Raw data (stat): 7686 (bsolo_lpr_cuts-) R 7685 20224 20223 0 -1 0 69271 0 0 0 83872 138 0 0 25 0 1 0 909469111 294813696 69191 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71976 69191 1111 63 0 71913 0
vsize: 287904
[startup+850.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7686
Raw data (stat): 7686 (bsolo_lpr_cuts-) R 7685 20224 20223 0 -1 0 70103 0 0 0 84870 139 0 0 25 0 1 0 909469111 298094592 70023 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 72777 70023 1111 63 0 72714 0
vsize: 291108
[startup+860.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7686
Raw data (stat): 7686 (bsolo_lpr_cuts-) R 7685 20224 20223 0 -1 0 70942 0 0 0 85869 141 0 0 25 0 1 0 909469111 301527040 70862 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73615 70862 1111 63 0 73552 0
vsize: 294460
[startup+870.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7686
Raw data (stat): 7686 (bsolo_lpr_cuts-) R 7685 20224 20223 0 -1 0 71811 0 0 0 86868 142 0 0 25 0 1 0 909469111 305115136 71731 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74491 71731 1111 63 0 74428 0
vsize: 297964
[startup+880.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7686
Raw data (stat): 7686 (bsolo_lpr_cuts-) R 7685 20224 20223 0 -1 0 72656 0 0 0 87867 143 0 0 25 0 1 0 909469111 308547584 72576 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 75329 72576 1111 63 0 75266 0
vsize: 301316
[startup+890.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7686
Raw data (stat): 7686 (bsolo_lpr_cuts-) R 7685 20224 20223 0 -1 0 73506 0 0 0 88865 145 0 0 25 0 1 0 909469111 312131584 73426 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 76204 73426 1111 63 0 76141 0
vsize: 304816
[startup+900.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7686
Raw data (stat): 7686 (bsolo_lpr_cuts-) R 7685 20224 20223 0 -1 0 74393 0 0 0 89863 148 0 0 25 0 1 0 909469111 315711488 74313 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77078 74313 1111 63 0 77015 0
vsize: 308312
[startup+910.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7686
Raw data (stat): 7686 (bsolo_lpr_cuts-) R 7685 20224 20223 0 -1 0 75292 0 0 0 90861 149 0 0 25 0 1 0 909469111 319442944 75212 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77989 75212 1111 63 0 77926 0
vsize: 311956
[startup+920.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7686
Raw data (stat): 7686 (bsolo_lpr_cuts-) R 7685 20224 20223 0 -1 0 76150 0 0 0 91860 151 0 0 25 0 1 0 909469111 322879488 76070 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 78828 76070 1111 63 0 78765 0
vsize: 315312
[startup+930.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7686
Raw data (stat): 7686 (bsolo_lpr_cuts-) R 7685 20224 20223 0 -1 0 77001 0 0 0 92859 152 0 0 25 0 1 0 909469111 326463488 76921 4294967295 134512640 134716908 3221224560 3221222788 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 79703 76921 1111 63 0 79640 0
vsize: 318812
[startup+940.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7686
Raw data (stat): 7686 (bsolo_lpr_cuts-) R 7685 20224 20223 0 -1 0 77852 0 0 0 93857 154 0 0 25 0 1 0 909469111 329900032 77772 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 80542 77772 1111 63 0 80479 0
vsize: 322168
[startup+950.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7686
Raw data (stat): 7686 (bsolo_lpr_cuts-) R 7685 20224 20223 0 -1 0 78709 0 0 0 94856 156 0 0 25 0 1 0 909469111 333332480 78629 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 81380 78629 1111 63 0 81317 0
vsize: 325520
[startup+960.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7686
Raw data (stat): 7686 (bsolo_lpr_cuts-) R 7685 20224 20223 0 -1 0 79558 0 0 0 95855 157 0 0 25 0 1 0 909469111 336912384 79478 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82254 79478 1111 63 0 82191 0
vsize: 329016
[startup+970.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7686
Raw data (stat): 7686 (bsolo_lpr_cuts-) R 7685 20224 20223 0 -1 0 80422 0 0 0 96853 158 0 0 25 0 1 0 909469111 340348928 80342 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83093 80342 1111 63 0 83030 0
vsize: 332372
[startup+980.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7686
Raw data (stat): 7686 (bsolo_lpr_cuts-) R 7685 20224 20223 0 -1 0 81279 0 0 0 97852 160 0 0 25 0 1 0 909469111 343932928 81199 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83968 81199 1111 63 0 83905 0
vsize: 335872
[startup+990.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7686
Raw data (stat): 7686 (bsolo_lpr_cuts-) R 7685 20224 20223 0 -1 0 82185 0 0 0 98851 162 0 0 25 0 1 0 909469111 347664384 82105 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 84879 82105 1111 63 0 84816 0
vsize: 339516
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7686
Raw data (stat): 7686 (bsolo_lpr_cuts-) R 7685 20224 20223 0 -1 0 83048 0 0 0 99850 163 0 0 25 0 1 0 909469111 351100928 82968 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 85718 82968 1111 63 0 85655 0
vsize: 342872
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7686
Raw data (stat): 7686 (bsolo_lpr_cuts-) R 7685 20224 20223 0 -1 0 84063 0 0 0 100847 165 0 0 25 0 1 0 909469111 355278848 83983 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 86738 83983 1111 63 0 86675 0
vsize: 346952
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7686
Raw data (stat): 7686 (bsolo_lpr_cuts-) R 7685 20224 20223 0 -1 0 84956 0 0 0 101846 167 0 0 25 0 1 0 909469111 359014400 84876 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 87650 84876 1111 63 0 87587 0
vsize: 350600
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7686
Raw data (stat): 7686 (bsolo_lpr_cuts-) R 7685 20224 20223 0 -1 0 85946 0 0 0 102845 168 0 0 25 0 1 0 909469111 363044864 85866 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88634 85866 1111 63 0 88571 0
vsize: 354536
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7686
Raw data (stat): 7686 (bsolo_lpr_cuts-) R 7685 20224 20223 0 -1 0 86815 0 0 0 103843 170 0 0 25 0 1 0 909469111 366624768 86735 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 89508 86735 1111 63 0 89445 0
vsize: 358032
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7686
Raw data (stat): 7686 (bsolo_lpr_cuts-) R 7685 20224 20223 0 -1 0 87720 0 0 0 104842 172 0 0 25 0 1 0 909469111 370356224 87640 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 90419 87640 1111 63 0 90356 0
vsize: 361676
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7686
Raw data (stat): 7686 (bsolo_lpr_cuts-) R 7685 20224 20223 0 -1 0 88639 0 0 0 105841 173 0 0 25 0 1 0 909469111 374091776 88559 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91331 88559 1111 63 0 91268 0
vsize: 365324
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7686
Raw data (stat): 7686 (bsolo_lpr_cuts-) R 7685 20224 20223 0 -1 0 89635 0 0 0 106839 175 0 0 25 0 1 0 909469111 378122240 89555 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 92315 89555 1111 63 0 92252 0
vsize: 369260
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7686
Raw data (stat): 7686 (bsolo_lpr_cuts-) R 7685 20224 20223 0 -1 0 90686 0 0 0 107838 176 0 0 25 0 1 0 909469111 382451712 90606 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93372 90606 1111 63 0 93309 0
vsize: 373488
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7686
Raw data (stat): 7686 (bsolo_lpr_cuts-) R 7685 20224 20223 0 -1 0 91616 0 0 0 108836 178 0 0 25 0 1 0 909469111 386183168 91536 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94283 91536 1111 63 0 94220 0
vsize: 377132
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7686
Raw data (stat): 7686 (bsolo_lpr_cuts-) R 7685 20224 20223 0 -1 0 92533 0 0 0 109835 180 0 0 25 0 1 0 909469111 390066176 92453 4294967295 134512640 134716908 3221224560 3221222788 1077414424 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95231 92453 1111 63 0 95168 0
vsize: 380924
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7686
Raw data (stat): 7686 (bsolo_lpr_cuts-) R 7685 20224 20223 0 -1 0 93675 0 0 0 110833 182 0 0 25 0 1 0 909469111 394694656 93595 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96361 93595 1111 63 0 96298 0
vsize: 385444
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7686
Raw data (stat): 7686 (bsolo_lpr_cuts-) R 7685 20224 20223 0 -1 0 94562 0 0 0 111831 184 0 0 25 0 1 0 909469111 398278656 94482 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 97236 94482 1111 63 0 97173 0
vsize: 388944
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7686
Raw data (stat): 7686 (bsolo_lpr_cuts-) R 7685 20224 20223 0 -1 0 95456 0 0 0 112830 185 0 0 25 0 1 0 909469111 402014208 95376 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 98148 95376 1111 63 0 98085 0
vsize: 392592
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7686
Raw data (stat): 7686 (bsolo_lpr_cuts-) R 7685 20224 20223 0 -1 0 96349 0 0 0 113829 186 0 0 25 0 1 0 909469111 405598208 96269 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 99023 96269 1111 63 0 98960 0
vsize: 396092
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7686
Raw data (stat): 7686 (bsolo_lpr_cuts-) R 7685 20224 20223 0 -1 0 97279 0 0 0 114828 188 0 0 25 0 1 0 909469111 409481216 97199 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 99971 97199 1111 63 0 99908 0
vsize: 399884
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7686
Raw data (stat): 7686 (bsolo_lpr_cuts-) R 7685 20224 20223 0 -1 0 98295 0 0 0 115826 190 0 0 25 0 1 0 909469111 413736960 98215 4294967295 134512640 134716908 3221224560 3221222912 134567410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 101010 98215 1111 63 0 100947 0
vsize: 404040
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7686
Raw data (stat): 7686 (bsolo_lpr_cuts-) R 7685 20224 20223 0 -1 0 99203 0 0 0 116825 191 0 0 25 0 1 0 909469111 417456128 99123 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 101918 99123 1111 63 0 101855 0
vsize: 407672
[startup+1180.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7686
Raw data (stat): 7686 (bsolo_lpr_cuts-) R 7685 20224 20223 0 -1 0 100126 0 0 0 117823 193 0 0 25 0 1 0 909469111 421187584 100046 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 102829 100046 1111 63 0 102766 0
vsize: 411316
[startup+1190.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7686
Raw data (stat): 7686 (bsolo_lpr_cuts-) R 7685 20224 20223 0 -1 0 101026 0 0 0 118822 195 0 0 25 0 1 0 909469111 424923136 100946 4294967295 134512640 134716908 3221224560 3221222788 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 103741 100946 1111 63 0 103678 0
vsize: 414964
[startup+1200.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7686
Raw data (stat): 7686 (bsolo_lpr_cuts-) R 7685 20224 20223 0 -1 0 101943 0 0 0 119820 197 0 0 25 0 1 0 909469111 428654592 101863 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 104652 101863 1111 63 0 104589 0
vsize: 418608
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.24 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 7686
Raw data (stat): 7686 (bsolo_lpr_cuts-) Z 7685 20224 20223 0 -1 1036 101943 0 0 0 119820 215 0 0 25 0 1 0 909469111 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.24
CPU time (s): 1200.37
CPU user time (s): 1198.21
CPU system time (s): 2.15767
CPU usage (%): 100.01
Max. virtual memory (Kb): 418608
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####