PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-NSR8K.opb
MD5SUM	2b4498b8d68d4bfe8495244ac3a43397
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	158360
Biggest coefficient in the objective function	524288000000000000
Number of bits for the biggest coefficient in the objective function	59
Sum of the numbers in the objective function	33594826051364978688
Number of bits of the sum of numbers in the objective function	65
Biggest number in a constraint	524288000000000000
Number of bits of the biggest number in a constraint	59
Biggest sum of numbers in a constraint	33607626051364978688
Number of bits of the biggest sum of numbers	65
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.60676
Number of variables	158360
Total number of constraints	38324
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	32041
Number of constraints which are nor clauses,nor cardinality constraints	6283
Minimum length of a constraint	1
Maximum length of a constraint	158360
Trace number 41703

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-09 20:17:27 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29767 boxname=wulflinc1 idbench=1551 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  2b4498b8d68d4bfe8495244ac3a43397  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-NSR8K.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-NSR8K.opb
IDLAUNCH: 29767
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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.053
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:        879824 kB
Buffers:          5508 kB
Cached:         125576 kB
SwapCached:       1108 kB
Active:          44720 kB
Inactive:        88488 kB
HighTotal:      131008 kB
HighFree:         2772 kB
LowTotal:       903652 kB
LowFree:        877052 kB
SwapTotal:     2097136 kB
SwapFree:      2094840 kB
Dirty:              52 kB
Writeback:           0 kB
Mapped:           5220 kB
Slab:            15924 kB
Committed_AS:    92716 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 20:37:30 (client local time) WITH STATUS 0 IN 1200.47 SECONDS
stats: 29767 7 1200.47 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.81 0.94 0.91 2/55 9884
Raw data (stat): 9884 (runsolver) R 9883 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 856234068 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+10.0001 s]
Raw data (loadavg): 0.84 0.94 0.91 2/55 9884
Raw data (stat): 9884 (bsolo_lpr_cuts-) R 9883 8378 8377 0 -1 0 2087 0 0 0 990 7 0 0 25 0 1 0 856234068 17915904 2007 4294967295 134512640 134716908 3221224560 3221222788 1077414349 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4374 2007 1111 63 0 4311 0
vsize: 17496
[startup+20.0008 s]
Raw data (loadavg): 0.87 0.94 0.91 2/55 9884
Raw data (stat): 9884 (bsolo_lpr_cuts-) R 9883 8378 8377 0 -1 0 2780 0 0 0 1990 8 0 0 25 0 1 0 856234068 20758528 2700 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5068 2700 1111 63 0 5005 0
vsize: 20272
[startup+30.0006 s]
Raw data (loadavg): 0.89 0.94 0.91 2/55 9884
Raw data (stat): 9884 (bsolo_lpr_cuts-) R 9883 8378 8377 0 -1 0 3473 0 0 0 2989 9 0 0 25 0 1 0 856234068 23597056 3393 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5761 3393 1111 63 0 5698 0
vsize: 23044
[startup+40.0004 s]
Raw data (loadavg): 0.90 0.94 0.91 2/55 9884
Raw data (stat): 9884 (bsolo_lpr_cuts-) R 9883 8378 8377 0 -1 0 4164 0 0 0 3988 10 0 0 25 0 1 0 856234068 26427392 4084 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6452 4084 1111 63 0 6389 0
vsize: 25808
[startup+50.0012 s]
Raw data (loadavg): 0.92 0.94 0.91 2/55 9884
Raw data (stat): 9884 (bsolo_lpr_cuts-) R 9883 8378 8377 0 -1 0 4857 0 0 0 4987 11 0 0 25 0 1 0 856234068 29265920 4777 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7145 4777 1111 63 0 7082 0
vsize: 28580
[startup+60.0009 s]
Raw data (loadavg): 0.93 0.95 0.91 2/55 9884
Raw data (stat): 9884 (bsolo_lpr_cuts-) R 9883 8378 8377 0 -1 0 5550 0 0 0 5985 13 0 0 25 0 1 0 856234068 32104448 5470 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7838 5470 1111 63 0 7775 0
vsize: 31352
[startup+70.0018 s]
Raw data (loadavg): 0.94 0.95 0.91 2/55 9884
Raw data (stat): 9884 (bsolo_lpr_cuts-) R 9883 8378 8377 0 -1 0 6248 0 0 0 6984 14 0 0 25 0 1 0 856234068 34938880 6168 4294967295 134512640 134716908 3221224560 3221222788 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8530 6168 1111 63 0 8467 0
vsize: 34120
[startup+80.0025 s]
Raw data (loadavg): 0.95 0.95 0.91 2/55 9884
Raw data (stat): 9884 (bsolo_lpr_cuts-) R 9883 8378 8377 0 -1 0 6941 0 0 0 7983 16 0 0 25 0 1 0 856234068 37777408 6861 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9223 6861 1111 63 0 9160 0
vsize: 36892
[startup+90.0027 s]
Raw data (loadavg): 0.96 0.95 0.91 2/55 9884
Raw data (stat): 9884 (bsolo_lpr_cuts-) R 9883 8378 8377 0 -1 0 7643 0 0 0 8982 17 0 0 25 0 1 0 856234068 40603648 7563 4294967295 134512640 134716908 3221224560 3221222788 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9913 7563 1111 63 0 9850 0
vsize: 39652
[startup+100.003 s]
Raw data (loadavg): 0.96 0.95 0.91 2/55 9884
Raw data (stat): 9884 (bsolo_lpr_cuts-) R 9883 8378 8377 0 -1 0 8341 0 0 0 9981 18 0 0 25 0 1 0 856234068 43438080 8261 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10605 8261 1111 63 0 10542 0
vsize: 42420
[startup+110.003 s]
Raw data (loadavg): 0.97 0.95 0.91 2/55 9884
Raw data (stat): 9884 (bsolo_lpr_cuts-) R 9883 8378 8377 0 -1 0 9034 0 0 0 10980 19 0 0 25 0 1 0 856234068 46276608 8954 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11298 8954 1111 63 0 11235 0
vsize: 45192
[startup+120.004 s]
Raw data (loadavg): 0.97 0.95 0.91 2/55 9884
Raw data (stat): 9884 (bsolo_lpr_cuts-) R 9883 8378 8377 0 -1 0 9733 0 0 0 11980 20 0 0 25 0 1 0 856234068 49262592 9653 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12027 9653 1111 63 0 11964 0
vsize: 48108
[startup+130.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 9884
Raw data (stat): 9884 (bsolo_lpr_cuts-) R 9883 8378 8377 0 -1 0 10431 0 0 0 12979 21 0 0 25 0 1 0 856234068 52097024 10351 4294967295 134512640 134716908 3221224560 3221222788 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12719 10351 1111 63 0 12656 0
vsize: 50876
[startup+140.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 9884
Raw data (stat): 9884 (bsolo_lpr_cuts-) R 9883 8378 8377 0 -1 0 11130 0 0 0 13978 22 0 0 25 0 1 0 856234068 54935552 11050 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13412 11050 1111 63 0 13349 0
vsize: 53648
[startup+150.004 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 9884
Raw data (stat): 9884 (bsolo_lpr_cuts-) R 9883 8378 8377 0 -1 0 11835 0 0 0 14977 23 0 0 25 0 1 0 856234068 57774080 11755 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14105 11755 1111 63 0 14042 0
vsize: 56420
[startup+160.004 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 9884
Raw data (stat): 9884 (bsolo_lpr_cuts-) R 9883 8378 8377 0 -1 0 12533 0 0 0 15975 25 0 0 25 0 1 0 856234068 60604416 12453 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14796 12453 1111 63 0 14733 0
vsize: 59184
[startup+170.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9884
Raw data (stat): 9884 (bsolo_lpr_cuts-) R 9883 8378 8377 0 -1 0 13232 0 0 0 16974 26 0 0 25 0 1 0 856234068 63594496 13152 4294967295 134512640 134716908 3221224560 3221222788 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15526 13152 1111 63 0 15463 0
vsize: 62104
[startup+180.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9884
Raw data (stat): 9884 (bsolo_lpr_cuts-) R 9883 8378 8377 0 -1 0 13942 0 0 0 17973 27 0 0 25 0 1 0 856234068 66408448 13862 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16213 13862 1111 63 0 16150 0
vsize: 64852
[startup+190.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9884
Raw data (stat): 9884 (bsolo_lpr_cuts-) R 9883 8378 8377 0 -1 0 14641 0 0 0 18972 28 0 0 25 0 1 0 856234068 69238784 14561 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16904 14561 1111 63 0 16841 0
vsize: 67616
[startup+200.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9884
Raw data (stat): 9884 (bsolo_lpr_cuts-) R 9883 8378 8377 0 -1 0 15340 0 0 0 19971 29 0 0 25 0 1 0 856234068 72228864 15260 4294967295 134512640 134716908 3221224560 3221222788 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17634 15260 1111 63 0 17571 0
vsize: 70536
[startup+210.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9884
Raw data (stat): 9884 (bsolo_lpr_cuts-) R 9883 8378 8377 0 -1 0 16045 0 0 0 20970 31 0 0 25 0 1 0 856234068 75067392 15965 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18327 15965 1111 63 0 18264 0
vsize: 73308
[startup+220.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9884
Raw data (stat): 9884 (bsolo_lpr_cuts-) R 9883 8378 8377 0 -1 0 16750 0 0 0 21969 32 0 0 25 0 1 0 856234068 77897728 16670 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19018 16670 1111 63 0 18955 0
vsize: 76072
[startup+230.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9884
Raw data (stat): 9884 (bsolo_lpr_cuts-) R 9883 8378 8377 0 -1 0 17448 0 0 0 22968 33 0 0 25 0 1 0 856234068 80736256 17368 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19711 17368 1111 63 0 19648 0
vsize: 78844
[startup+240.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9884
Raw data (stat): 9884 (bsolo_lpr_cuts-) R 9883 8378 8377 0 -1 0 18153 0 0 0 23968 34 0 0 25 0 1 0 856234068 83726336 18073 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20441 18073 1111 63 0 20378 0
vsize: 81764
[startup+250.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9884
Raw data (stat): 9884 (bsolo_lpr_cuts-) R 9883 8378 8377 0 -1 0 18858 0 0 0 24966 36 0 0 25 0 1 0 856234068 86564864 18778 4294967295 134512640 134716908 3221224560 3221222788 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21134 18778 1111 63 0 21071 0
vsize: 84536
[startup+260.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9884
Raw data (stat): 9884 (bsolo_lpr_cuts-) R 9883 8378 8377 0 -1 0 19562 0 0 0 25965 37 0 0 25 0 1 0 856234068 89395200 19482 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21825 19482 1111 63 0 21762 0
vsize: 87300
[startup+270.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9884
Raw data (stat): 9884 (bsolo_lpr_cuts-) R 9883 8378 8377 0 -1 0 20267 0 0 0 26964 39 0 0 25 0 1 0 856234068 92385280 20187 4294967295 134512640 134716908 3221224560 3221222788 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22555 20187 1111 63 0 22492 0
vsize: 90220
[startup+280.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9884
Raw data (stat): 9884 (bsolo_lpr_cuts-) R 9883 8378 8377 0 -1 0 20972 0 0 0 27963 40 0 0 25 0 1 0 856234068 95223808 20892 4294967295 134512640 134716908 3221224560 3221222788 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23248 20892 1111 63 0 23185 0
vsize: 92992
[startup+290.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9884
Raw data (stat): 9884 (bsolo_lpr_cuts-) R 9883 8378 8377 0 -1 0 21682 0 0 0 28962 41 0 0 25 0 1 0 856234068 98205696 21602 4294967295 134512640 134716908 3221224560 3221222788 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23976 21602 1111 63 0 23913 0
vsize: 95904
[startup+300.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9884
Raw data (stat): 9884 (bsolo_lpr_cuts-) R 9883 8378 8377 0 -1 0 22387 0 0 0 29961 42 0 0 25 0 1 0 856234068 101044224 22307 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24669 22307 1111 63 0 24606 0
vsize: 98676
[startup+310.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9884
Raw data (stat): 9884 (bsolo_lpr_cuts-) R 9883 8378 8377 0 -1 0 23092 0 0 0 30960 43 0 0 25 0 1 0 856234068 103882752 23012 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25362 23012 1111 63 0 25299 0
vsize: 101448
[startup+320.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9884
Raw data (stat): 9884 (bsolo_lpr_cuts-) R 9883 8378 8377 0 -1 0 23802 0 0 0 31959 44 0 0 25 0 1 0 856234068 106864640 23722 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26090 23722 1111 63 0 26027 0
vsize: 104360
[startup+330.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9884
Raw data (stat): 9884 (bsolo_lpr_cuts-) R 9883 8378 8377 0 -1 0 24507 0 0 0 32958 46 0 0 25 0 1 0 856234068 109703168 24427 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26783 24427 1111 63 0 26720 0
vsize: 107132
[startup+340.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9884
Raw data (stat): 9884 (bsolo_lpr_cuts-) R 9883 8378 8377 0 -1 0 25219 0 0 0 33957 46 0 0 25 0 1 0 856234068 112693248 25139 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27513 25139 1111 63 0 27450 0
vsize: 110052
[startup+350.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9884
Raw data (stat): 9884 (bsolo_lpr_cuts-) R 9883 8378 8377 0 -1 0 25935 0 0 0 34956 48 0 0 25 0 1 0 856234068 115646464 25855 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28234 25855 1111 63 0 28171 0
vsize: 112936
[startup+360.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9884
Raw data (stat): 9884 (bsolo_lpr_cuts-) R 9883 8378 8377 0 -1 0 26646 0 0 0 35954 49 0 0 25 0 1 0 856234068 118484992 26566 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28927 26566 1111 63 0 28864 0
vsize: 115708
[startup+370.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9884
Raw data (stat): 9884 (bsolo_lpr_cuts-) R 9883 8378 8377 0 -1 0 27358 0 0 0 36953 51 0 0 25 0 1 0 856234068 121475072 27278 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29657 27278 1111 63 0 29594 0
vsize: 118628
[startup+380.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9884
Raw data (stat): 9884 (bsolo_lpr_cuts-) R 9883 8378 8377 0 -1 0 28067 0 0 0 37952 52 0 0 25 0 1 0 856234068 124305408 27987 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30348 27987 1111 63 0 30285 0
vsize: 121392
[startup+390.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9884
Raw data (stat): 9884 (bsolo_lpr_cuts-) R 9883 8378 8377 0 -1 0 28780 0 0 0 38951 53 0 0 25 0 1 0 856234068 127295488 28700 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31078 28700 1111 63 0 31015 0
vsize: 124312
[startup+400.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9884
Raw data (stat): 9884 (bsolo_lpr_cuts-) R 9883 8378 8377 0 -1 0 29491 0 0 0 39950 54 0 0 25 0 1 0 856234068 130134016 29411 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31771 29411 1111 63 0 31708 0
vsize: 127084
[startup+410.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9884
Raw data (stat): 9884 (bsolo_lpr_cuts-) R 9883 8378 8377 0 -1 0 30201 0 0 0 40949 56 0 0 25 0 1 0 856234068 133115904 30121 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32499 30121 1111 63 0 32436 0
vsize: 129996
[startup+420.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9884
Raw data (stat): 9884 (bsolo_lpr_cuts-) R 9883 8378 8377 0 -1 0 30918 0 0 0 41948 57 0 0 25 0 1 0 856234068 135954432 30838 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33192 30838 1111 63 0 33129 0
vsize: 132768
[startup+430.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9884
Raw data (stat): 9884 (bsolo_lpr_cuts-) R 9883 8378 8377 0 -1 0 31629 0 0 0 42945 60 0 0 25 0 1 0 856234068 138940416 31549 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33921 31549 1111 63 0 33858 0
vsize: 135684
[startup+440.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9884
Raw data (stat): 9884 (bsolo_lpr_cuts-) R 9883 8378 8377 0 -1 0 32348 0 0 0 43945 61 0 0 25 0 1 0 856234068 141778944 32268 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34614 32268 1111 63 0 34551 0
vsize: 138456
[startup+450.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9884
Raw data (stat): 9884 (bsolo_lpr_cuts-) R 9883 8378 8377 0 -1 0 33058 0 0 0 44944 62 0 0 25 0 1 0 856234068 144760832 32978 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35342 32978 1111 63 0 35279 0
vsize: 141368
[startup+460.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9884
Raw data (stat): 9884 (bsolo_lpr_cuts-) R 9883 8378 8377 0 -1 0 33775 0 0 0 45943 63 0 0 25 0 1 0 856234068 147750912 33695 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36072 33695 1111 63 0 36009 0
vsize: 144288
[startup+470.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9884
Raw data (stat): 9884 (bsolo_lpr_cuts-) R 9883 8378 8377 0 -1 0 34492 0 0 0 46941 64 0 0 25 0 1 0 856234068 150589440 34412 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36765 34412 1111 63 0 36702 0
vsize: 147060
[startup+480.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9884
Raw data (stat): 9884 (bsolo_lpr_cuts-) R 9883 8378 8377 0 -1 0 35209 0 0 0 47941 65 0 0 25 0 1 0 856234068 153571328 35129 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37493 35129 1111 63 0 37430 0
vsize: 149972
[startup+490.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9884
Raw data (stat): 9884 (bsolo_lpr_cuts-) R 9883 8378 8377 0 -1 0 35926 0 0 0 48940 66 0 0 25 0 1 0 856234068 156557312 35846 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38222 35846 1111 63 0 38159 0
vsize: 152888
[startup+500.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9884
Raw data (stat): 9884 (bsolo_lpr_cuts-) R 9883 8378 8377 0 -1 0 36644 0 0 0 49939 67 0 0 25 0 1 0 856234068 159395840 36564 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38915 36564 1111 63 0 38852 0
vsize: 155660
[startup+510.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9884
Raw data (stat): 9884 (bsolo_lpr_cuts-) R 9883 8378 8377 0 -1 0 37360 0 0 0 50938 68 0 0 25 0 1 0 856234068 162377728 37280 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39643 37280 1111 63 0 39580 0
vsize: 158572
[startup+520.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9884
Raw data (stat): 9884 (bsolo_lpr_cuts-) R 9883 8378 8377 0 -1 0 38078 0 0 0 51938 69 0 0 25 0 1 0 856234068 165367808 37998 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40373 37998 1111 63 0 40310 0
vsize: 161492
[startup+530.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9884
Raw data (stat): 9884 (bsolo_lpr_cuts-) R 9883 8378 8377 0 -1 0 38801 0 0 0 52937 70 0 0 25 0 1 0 856234068 168206336 38721 4294967295 134512640 134716908 3221224560 3221222788 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41066 38721 1111 63 0 41003 0
vsize: 164264
[startup+540.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9884
Raw data (stat): 9884 (bsolo_lpr_cuts-) R 9883 8378 8377 0 -1 0 39517 0 0 0 53936 71 0 0 25 0 1 0 856234068 171188224 39437 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41794 39437 1111 63 0 41731 0
vsize: 167176
[startup+550.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9884
Raw data (stat): 9884 (bsolo_lpr_cuts-) R 9883 8378 8377 0 -1 0 40241 0 0 0 54934 73 0 0 25 0 1 0 856234068 174174208 40161 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42523 40161 1111 63 0 42460 0
vsize: 170092
[startup+560.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9884
Raw data (stat): 9884 (bsolo_lpr_cuts-) R 9883 8378 8377 0 -1 0 40958 0 0 0 55933 74 0 0 25 0 1 0 856234068 177164288 40878 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43253 40878 1111 63 0 43190 0
vsize: 173012
[startup+570.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9884
Raw data (stat): 9884 (bsolo_lpr_cuts-) R 9883 8378 8377 0 -1 0 41682 0 0 0 56932 75 0 0 25 0 1 0 856234068 180002816 41602 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43946 41602 1111 63 0 43883 0
vsize: 175784
[startup+580.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9884
Raw data (stat): 9884 (bsolo_lpr_cuts-) R 9883 8378 8377 0 -1 0 42404 0 0 0 57931 77 0 0 25 0 1 0 856234068 182984704 42324 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44674 42324 1111 63 0 44611 0
vsize: 178696
[startup+590.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9884
Raw data (stat): 9884 (bsolo_lpr_cuts-) R 9883 8378 8377 0 -1 0 43128 0 0 0 58930 78 0 0 25 0 1 0 856234068 185970688 43048 4294967295 134512640 134716908 3221224560 3221222788 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45403 43048 1111 63 0 45340 0
vsize: 181612
[startup+600.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9884
Raw data (stat): 9884 (bsolo_lpr_cuts-) R 9883 8378 8377 0 -1 0 43851 0 0 0 59929 79 0 0 25 0 1 0 856234068 188960768 43771 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46133 43771 1111 63 0 46070 0
vsize: 184532
[startup+610.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9884
Raw data (stat): 9884 (bsolo_lpr_cuts-) R 9883 8378 8377 0 -1 0 44573 0 0 0 60927 81 0 0 25 0 1 0 856234068 191942656 44493 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46861 44493 1111 63 0 46798 0
vsize: 187444
[startup+620.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9884
Raw data (stat): 9884 (bsolo_lpr_cuts-) R 9883 8378 8377 0 -1 0 45296 0 0 0 61927 82 0 0 25 0 1 0 856234068 194928640 45216 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47590 45216 1111 63 0 47527 0
vsize: 190360
[startup+630.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9884
Raw data (stat): 9884 (bsolo_lpr_cuts-) R 9883 8378 8377 0 -1 0 46020 0 0 0 62925 83 0 0 25 0 1 0 856234068 197767168 45940 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48283 45940 1111 63 0 48220 0
vsize: 193132
[startup+640.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9884
Raw data (stat): 9884 (bsolo_lpr_cuts-) R 9883 8378 8377 0 -1 0 46748 0 0 0 63924 85 0 0 25 0 1 0 856234068 200749056 46668 4294967295 134512640 134716908 3221224560 3221222788 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49011 46668 1111 63 0 48948 0
vsize: 196044
[startup+650.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9884
Raw data (stat): 9884 (bsolo_lpr_cuts-) R 9883 8378 8377 0 -1 0 47471 0 0 0 64923 86 0 0 25 0 1 0 856234068 203739136 47391 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49741 47391 1111 63 0 49678 0
vsize: 198964
[startup+660.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9884
Raw data (stat): 9884 (bsolo_lpr_cuts-) R 9883 8378 8377 0 -1 0 48201 0 0 0 65922 88 0 0 25 0 1 0 856234068 206725120 48121 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50470 48121 1111 63 0 50407 0
vsize: 201880
[startup+670.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9884
Raw data (stat): 9884 (bsolo_lpr_cuts-) R 9883 8378 8377 0 -1 0 48924 0 0 0 66921 88 0 0 25 0 1 0 856234068 209715200 48844 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51200 48844 1111 63 0 51137 0
vsize: 204800
[startup+680.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9884
Raw data (stat): 9884 (bsolo_lpr_cuts-) R 9883 8378 8377 0 -1 0 49652 0 0 0 67920 89 0 0 25 0 1 0 856234068 212697088 49572 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51928 49572 1111 63 0 51865 0
vsize: 207712
[startup+690.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9884
Raw data (stat): 9884 (bsolo_lpr_cuts-) R 9883 8378 8377 0 -1 0 50392 0 0 0 68919 90 0 0 25 0 1 0 856234068 215830528 50312 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52693 50312 1111 63 0 52630 0
vsize: 210772
[startup+700.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9884
Raw data (stat): 9884 (bsolo_lpr_cuts-) R 9883 8378 8377 0 -1 0 51122 0 0 0 69918 92 0 0 25 0 1 0 856234068 218816512 51042 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53422 51042 1111 63 0 53359 0
vsize: 213688
[startup+710.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9884
Raw data (stat): 9884 (bsolo_lpr_cuts-) R 9883 8378 8377 0 -1 0 51851 0 0 0 70917 93 0 0 25 0 1 0 856234068 221802496 51771 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 54151 51771 1111 63 0 54088 0
vsize: 216604
[startup+720.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9884
Raw data (stat): 9884 (bsolo_lpr_cuts-) R 9883 8378 8377 0 -1 0 52587 0 0 0 71917 94 0 0 25 0 1 0 856234068 224788480 52507 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 54880 52507 1111 63 0 54817 0
vsize: 219520
[startup+730.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9884
Raw data (stat): 9884 (bsolo_lpr_cuts-) R 9883 8378 8377 0 -1 0 53316 0 0 0 72915 96 0 0 25 0 1 0 856234068 227778560 53236 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55610 53236 1111 63 0 55547 0
vsize: 222440
[startup+740.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9884
Raw data (stat): 9884 (bsolo_lpr_cuts-) R 9883 8378 8377 0 -1 0 54051 0 0 0 73914 97 0 0 25 0 1 0 856234068 230760448 53971 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 56338 53971 1111 63 0 56275 0
vsize: 225352
[startup+750.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9884
Raw data (stat): 9884 (bsolo_lpr_cuts-) R 9883 8378 8377 0 -1 0 54780 0 0 0 74913 98 0 0 25 0 1 0 856234068 233750528 54700 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57068 54700 1111 63 0 57005 0
vsize: 228272
[startup+760.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9884
Raw data (stat): 9884 (bsolo_lpr_cuts-) R 9883 8378 8377 0 -1 0 55516 0 0 0 75911 100 0 0 25 0 1 0 856234068 236740608 55436 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57798 55436 1111 63 0 57735 0
vsize: 231192
[startup+770.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9884
Raw data (stat): 9884 (bsolo_lpr_cuts-) R 9883 8378 8377 0 -1 0 56253 0 0 0 76910 101 0 0 25 0 1 0 856234068 239726592 56173 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58527 56173 1111 63 0 58464 0
vsize: 234108
[startup+780.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9884
Raw data (stat): 9884 (bsolo_lpr_cuts-) R 9883 8378 8377 0 -1 0 56987 0 0 0 77909 103 0 0 25 0 1 0 856234068 242860032 56907 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59292 56907 1111 63 0 59229 0
vsize: 237168
[startup+790.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9884
Raw data (stat): 9884 (bsolo_lpr_cuts-) R 9883 8378 8377 0 -1 0 57724 0 0 0 78908 104 0 0 25 0 1 0 856234068 245850112 57644 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60022 57644 1111 63 0 59959 0
vsize: 240088
[startup+800.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9884
Raw data (stat): 9884 (bsolo_lpr_cuts-) R 9883 8378 8377 0 -1 0 58460 0 0 0 79907 105 0 0 25 0 1 0 856234068 248836096 58380 4294967295 134512640 134716908 3221224560 3221222788 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60751 58380 1111 63 0 60688 0
vsize: 243004
[startup+810.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9884
Raw data (stat): 9884 (bsolo_lpr_cuts-) R 9883 8378 8377 0 -1 0 59194 0 0 0 80906 106 0 0 25 0 1 0 856234068 251822080 59114 4294967295 134512640 134716908 3221224560 3221222788 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61480 59114 1111 63 0 61417 0
vsize: 245920
[startup+820.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9884
Raw data (stat): 9884 (bsolo_lpr_cuts-) R 9883 8378 8377 0 -1 0 59930 0 0 0 81905 107 0 0 25 0 1 0 856234068 254808064 59850 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 62209 59850 1111 63 0 62146 0
vsize: 248836
[startup+830.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9884
Raw data (stat): 9884 (bsolo_lpr_cuts-) R 9883 8378 8377 0 -1 0 60671 0 0 0 82904 108 0 0 25 0 1 0 856234068 257945600 60591 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 62975 60591 1111 63 0 62912 0
vsize: 251900
[startup+840.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9884
Raw data (stat): 9884 (bsolo_lpr_cuts-) R 9883 8378 8377 0 -1 0 61407 0 0 0 83904 109 0 0 25 0 1 0 856234068 260935680 61327 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 63705 61327 1111 63 0 63642 0
vsize: 254820
[startup+850.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9884
Raw data (stat): 9884 (bsolo_lpr_cuts-) R 9883 8378 8377 0 -1 0 62148 0 0 0 84902 110 0 0 25 0 1 0 856234068 263917568 62068 4294967295 134512640 134716908 3221224560 3221222788 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 64433 62068 1111 63 0 64370 0
vsize: 257732
[startup+860.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9884
Raw data (stat): 9884 (bsolo_lpr_cuts-) R 9883 8378 8377 0 -1 0 62884 0 0 0 85902 111 0 0 25 0 1 0 856234068 266907648 62804 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65163 62804 1111 63 0 65100 0
vsize: 260652
[startup+870.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9884
Raw data (stat): 9884 (bsolo_lpr_cuts-) R 9883 8378 8377 0 -1 0 63626 0 0 0 86902 112 0 0 25 0 1 0 856234068 270045184 63546 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65929 63546 1111 63 0 65866 0
vsize: 263716
[startup+880.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9884
Raw data (stat): 9884 (bsolo_lpr_cuts-) R 9883 8378 8377 0 -1 0 64368 0 0 0 87900 113 0 0 25 0 1 0 856234068 273027072 64288 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 66657 64288 1111 63 0 66594 0
vsize: 266628
[startup+890.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9884
Raw data (stat): 9884 (bsolo_lpr_cuts-) R 9883 8378 8377 0 -1 0 65109 0 0 0 88899 115 0 0 25 0 1 0 856234068 276017152 65029 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67387 65029 1111 63 0 67324 0
vsize: 269548
[startup+900.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9884
Raw data (stat): 9884 (bsolo_lpr_cuts-) R 9883 8378 8377 0 -1 0 65851 0 0 0 89898 116 0 0 25 0 1 0 856234068 279154688 65771 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 68153 65771 1111 63 0 68090 0
vsize: 272612
[startup+910.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9884
Raw data (stat): 9884 (bsolo_lpr_cuts-) R 9883 8378 8377 0 -1 0 66593 0 0 0 90897 117 0 0 25 0 1 0 856234068 282144768 66513 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 68883 66513 1111 63 0 68820 0
vsize: 275532
[startup+920.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9884
Raw data (stat): 9884 (bsolo_lpr_cuts-) R 9883 8378 8377 0 -1 0 67339 0 0 0 91895 119 0 0 25 0 1 0 856234068 285126656 67259 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69611 67259 1111 63 0 69548 0
vsize: 278444
[startup+930.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9884
Raw data (stat): 9884 (bsolo_lpr_cuts-) R 9883 8378 8377 0 -1 0 68081 0 0 0 92894 121 0 0 25 0 1 0 856234068 288264192 68001 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70377 68001 1111 63 0 70314 0
vsize: 281508
[startup+940.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9884
Raw data (stat): 9884 (bsolo_lpr_cuts-) R 9883 8378 8377 0 -1 0 68830 0 0 0 93892 123 0 0 25 0 1 0 856234068 291254272 68750 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71107 68750 1111 63 0 71044 0
vsize: 284428
[startup+950.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9884
Raw data (stat): 9884 (bsolo_lpr_cuts-) R 9883 8378 8377 0 -1 0 69571 0 0 0 94891 124 0 0 25 0 1 0 856234068 294387712 69491 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71872 69491 1111 63 0 71809 0
vsize: 287488
[startup+960.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9884
Raw data (stat): 9884 (bsolo_lpr_cuts-) R 9883 8378 8377 0 -1 0 70319 0 0 0 95890 125 0 0 25 0 1 0 856234068 297373696 70239 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 72601 70239 1111 63 0 72538 0
vsize: 290404
[startup+970.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9884
Raw data (stat): 9884 (bsolo_lpr_cuts-) R 9883 8378 8377 0 -1 0 71067 0 0 0 96889 126 0 0 25 0 1 0 856234068 300511232 70987 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73367 70987 1111 63 0 73304 0
vsize: 293468
[startup+980.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9884
Raw data (stat): 9884 (bsolo_lpr_cuts-) R 9883 8378 8377 0 -1 0 71815 0 0 0 97887 128 0 0 25 0 1 0 856234068 303501312 71735 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74097 71735 1111 63 0 74034 0
vsize: 296388
[startup+990.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9884
Raw data (stat): 9884 (bsolo_lpr_cuts-) R 9883 8378 8377 0 -1 0 72562 0 0 0 98887 129 0 0 25 0 1 0 856234068 306634752 72482 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74862 72482 1111 63 0 74799 0
vsize: 299448
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9884
Raw data (stat): 9884 (bsolo_lpr_cuts-) R 9883 8378 8377 0 -1 0 73310 0 0 0 99886 130 0 0 25 0 1 0 856234068 309620736 73230 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 75591 73230 1111 63 0 75528 0
vsize: 302364
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9884
Raw data (stat): 9884 (bsolo_lpr_cuts-) R 9883 8378 8377 0 -1 0 74058 0 0 0 100885 131 0 0 25 0 1 0 856234068 312762368 73978 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 76358 73978 1111 63 0 76295 0
vsize: 305432
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9884
Raw data (stat): 9884 (bsolo_lpr_cuts-) R 9883 8378 8377 0 -1 0 74805 0 0 0 101884 132 0 0 25 0 1 0 856234068 315744256 74725 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77086 74725 1111 63 0 77023 0
vsize: 308344
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9884
Raw data (stat): 9884 (bsolo_lpr_cuts-) R 9883 8378 8377 0 -1 0 75559 0 0 0 102884 133 0 0 25 0 1 0 856234068 318881792 75479 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77852 75479 1111 63 0 77789 0
vsize: 311408
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9884
Raw data (stat): 9884 (bsolo_lpr_cuts-) R 9883 8378 8377 0 -1 0 76308 0 0 0 103882 134 0 0 25 0 1 0 856234068 321871872 76228 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 78582 76228 1111 63 0 78519 0
vsize: 314328
[startup+1050.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9884
Raw data (stat): 9884 (bsolo_lpr_cuts-) R 9883 8378 8377 0 -1 0 77068 0 0 0 104891 135 0 0 25 0 1 0 856234068 325009408 76988 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 79348 76988 1111 63 0 79285 0
vsize: 317392
[startup+1060.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9884
Raw data (stat): 9884 (bsolo_lpr_cuts-) R 9883 8378 8377 0 -1 0 77820 0 0 0 105890 137 0 0 25 0 1 0 856234068 328138752 77740 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 80112 77740 1111 63 0 80049 0
vsize: 320448
[startup+1070.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9884
Raw data (stat): 9884 (bsolo_lpr_cuts-) R 9883 8378 8377 0 -1 0 78574 0 0 0 106889 139 0 0 25 0 1 0 856234068 331128832 78494 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 80842 78494 1111 63 0 80779 0
vsize: 323368
[startup+1080.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9884
Raw data (stat): 9884 (bsolo_lpr_cuts-) R 9883 8378 8377 0 -1 0 79328 0 0 0 107887 140 0 0 25 0 1 0 856234068 334266368 79248 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 81608 79248 1111 63 0 81545 0
vsize: 326432
[startup+1090.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9884
Raw data (stat): 9884 (bsolo_lpr_cuts-) R 9883 8378 8377 0 -1 0 80082 0 0 0 108886 141 0 0 25 0 1 0 856234068 337403904 80002 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82374 80002 1111 63 0 82311 0
vsize: 329496
[startup+1100.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9884
Raw data (stat): 9884 (bsolo_lpr_cuts-) R 9883 8378 8377 0 -1 0 80836 0 0 0 109885 143 0 0 25 0 1 0 856234068 340385792 80756 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83102 80756 1111 63 0 83039 0
vsize: 332408
[startup+1110.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9884
Raw data (stat): 9884 (bsolo_lpr_cuts-) R 9883 8378 8377 0 -1 0 81590 0 0 0 110883 145 0 0 25 0 1 0 856234068 343527424 81510 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83869 81510 1111 63 0 83806 0
vsize: 335476
[startup+1120.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9884
Raw data (stat): 9884 (bsolo_lpr_cuts-) R 9883 8378 8377 0 -1 0 82351 0 0 0 111882 145 0 0 25 0 1 0 856234068 346664960 82271 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 84635 82271 1111 63 0 84572 0
vsize: 338540
[startup+1130.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9884
Raw data (stat): 9884 (bsolo_lpr_cuts-) R 9883 8378 8377 0 -1 0 83103 0 0 0 112881 147 0 0 25 0 1 0 856234068 349794304 83023 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 85399 83023 1111 63 0 85336 0
vsize: 341596
[startup+1140.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9884
Raw data (stat): 9884 (bsolo_lpr_cuts-) R 9883 8378 8377 0 -1 0 83863 0 0 0 113880 149 0 0 25 0 1 0 856234068 352784384 83783 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 86129 83783 1111 63 0 86066 0
vsize: 344516
[startup+1150.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9884
Raw data (stat): 9884 (bsolo_lpr_cuts-) R 9883 8378 8377 0 -1 0 84623 0 0 0 114878 150 0 0 25 0 1 0 856234068 355921920 84543 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 86895 84543 1111 63 0 86832 0
vsize: 347580
[startup+1160.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9884
Raw data (stat): 9884 (bsolo_lpr_cuts-) R 9883 8378 8377 0 -1 0 85383 0 0 0 115878 151 0 0 25 0 1 0 856234068 359059456 85303 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 87661 85303 1111 63 0 87598 0
vsize: 350644
[startup+1170.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9884
Raw data (stat): 9884 (bsolo_lpr_cuts-) R 9883 8378 8377 0 -1 0 86142 0 0 0 116876 153 0 0 25 0 1 0 856234068 362192896 86062 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88426 86062 1111 63 0 88363 0
vsize: 353704
[startup+1180.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9884
Raw data (stat): 9884 (bsolo_lpr_cuts-) R 9883 8378 8377 0 -1 0 86903 0 0 0 117875 154 0 0 25 0 1 0 856234068 365330432 86823 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 89192 86823 1111 63 0 89129 0
vsize: 356768
[startup+1190.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9884
Raw data (stat): 9884 (bsolo_lpr_cuts-) R 9883 8378 8377 0 -1 0 87663 0 0 0 118874 155 0 0 25 0 1 0 856234068 368467968 87583 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 89958 87583 1111 63 0 89895 0
vsize: 359832
[startup+1200.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9884
Raw data (stat): 9884 (bsolo_lpr_cuts-) R 9883 8378 8377 0 -1 0 88423 0 0 0 119874 156 0 0 25 0 1 0 856234068 371458048 88343 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 90688 88343 1111 63 0 90625 0
vsize: 362752
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.29 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 9884
Raw data (stat): 9884 (bsolo_lpr_cuts-) Z 9883 8378 8377 0 -1 1036 88423 0 0 0 119874 172 0 0 25 0 1 0 856234068 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.29
CPU time (s): 1200.47
CPU user time (s): 1198.74
CPU system time (s): 1.72674
CPU usage (%): 100.015
Max. virtual memory (Kb): 362752
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####