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/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-ship08l.opb
MD5SUM	765ea624bde3931069939663462a01e5
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	128490
Biggest coefficient in the objective function	435455996723200
Number of bits for the biggest coefficient in the objective function	49
Sum of the numbers in the objective function	204823519821908064
Number of bits of the sum of numbers in the objective function	58
Biggest number in a constraint	435455996723200
Number of bits of the biggest number in a constraint	49
Biggest sum of numbers in a constraint	204823519821908064
Number of bits of the biggest sum of numbers	58
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.16382
Number of variables	128490
Total number of constraints	712
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	712
Minimum length of a constraint	30
Maximum length of a constraint	2550
Trace number 41039

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-09 04:32:41 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29096 boxname=wulflinc2 idbench=880 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  765ea624bde3931069939663462a01e5  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-ship08l.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-ship08l.opb
IDLAUNCH: 29096
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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.191
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:        791524 kB
Buffers:         24384 kB
Cached:         193368 kB
SwapCached:       4472 kB
Active:          40716 kB
Inactive:       182132 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        791272 kB
SwapTotal:     2097136 kB
SwapFree:      2091616 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4992 kB
Slab:            14576 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 04:52:43 (client local time) WITH STATUS 0 IN 1200.36 SECONDS
stats: 29096 7 1200.36 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.92 0.94 0.90 2/54 19958
Raw data (stat): 19958 (runsolver) R 19957 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 907425320 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0005 s]
Raw data (loadavg): 0.93 0.95 0.91 2/54 19958
Raw data (stat): 19958 (bsolo_lpr_cuts-) R 19957 31399 31398 0 -1 0 1358 0 0 0 992 5 0 0 25 0 1 0 907425320 15364096 1278 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3751 1278 1111 63 0 3688 0
vsize: 15004
[startup+20.0007 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 19958
Raw data (stat): 19958 (bsolo_lpr_cuts-) R 19957 31399 31398 0 -1 0 1430 0 0 0 1992 5 0 0 25 0 1 0 907425320 15663104 1350 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3824 1350 1111 63 0 3761 0
vsize: 15296
[startup+30.0004 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 19958
Raw data (stat): 19958 (bsolo_lpr_cuts-) R 19957 31399 31398 0 -1 0 1504 0 0 0 2992 5 0 0 25 0 1 0 907425320 15945728 1424 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3893 1424 1111 63 0 3830 0
vsize: 15572
[startup+40.0016 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 19958
Raw data (stat): 19958 (bsolo_lpr_cuts-) R 19957 31399 31398 0 -1 0 1571 0 0 0 3992 5 0 0 25 0 1 0 907425320 16236544 1491 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3964 1491 1111 63 0 3901 0
vsize: 15856
[startup+50.0018 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 19958
Raw data (stat): 19958 (bsolo_lpr_cuts-) R 19957 31399 31398 0 -1 0 1644 0 0 0 4992 6 0 0 25 0 1 0 907425320 16535552 1564 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4037 1564 1111 63 0 3974 0
vsize: 16148
[startup+60.0015 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 19958
Raw data (stat): 19958 (bsolo_lpr_cuts-) R 19957 31399 31398 0 -1 0 1724 0 0 0 5993 6 0 0 25 0 1 0 907425320 16838656 1644 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4111 1644 1111 63 0 4048 0
vsize: 16444
[startup+70.0018 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 19958
Raw data (stat): 19958 (bsolo_lpr_cuts-) R 19957 31399 31398 0 -1 0 1802 0 0 0 6993 6 0 0 25 0 1 0 907425320 17272832 1722 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4217 1722 1111 63 0 4154 0
vsize: 16868
[startup+80.0019 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 19958
Raw data (stat): 19958 (bsolo_lpr_cuts-) R 19957 31399 31398 0 -1 0 1882 0 0 0 7993 6 0 0 25 0 1 0 907425320 17567744 1802 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4289 1802 1111 63 0 4226 0
vsize: 17156
[startup+90.0016 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 19958
Raw data (stat): 19958 (bsolo_lpr_cuts-) R 19957 31399 31398 0 -1 0 1964 0 0 0 8993 6 0 0 25 0 1 0 907425320 17846272 1884 4294967295 134512640 134716908 3221224560 3221222788 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4357 1884 1111 63 0 4294 0
vsize: 17428
[startup+100.002 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 19958
Raw data (stat): 19958 (bsolo_lpr_cuts-) R 19957 31399 31398 0 -1 0 2044 0 0 0 9993 6 0 0 25 0 1 0 907425320 18145280 1964 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4430 1964 1111 63 0 4367 0
vsize: 17720
[startup+110.001 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 19958
Raw data (stat): 19958 (bsolo_lpr_cuts-) R 19957 31399 31398 0 -1 0 2124 0 0 0 10993 6 0 0 25 0 1 0 907425320 18591744 2044 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4539 2044 1111 63 0 4476 0
vsize: 18156
[startup+120.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19958
Raw data (stat): 19958 (bsolo_lpr_cuts-) R 19957 31399 31398 0 -1 0 2205 0 0 0 11993 6 0 0 25 0 1 0 907425320 18894848 2125 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4613 2125 1111 63 0 4550 0
vsize: 18452
[startup+130.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19958
Raw data (stat): 19958 (bsolo_lpr_cuts-) R 19957 31399 31398 0 -1 0 2291 0 0 0 12993 7 0 0 25 0 1 0 907425320 19193856 2211 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4686 2211 1111 63 0 4623 0
vsize: 18744
[startup+140.001 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19958
Raw data (stat): 19958 (bsolo_lpr_cuts-) R 19957 31399 31398 0 -1 0 2372 0 0 0 13993 7 0 0 25 0 1 0 907425320 19488768 2292 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4758 2292 1111 63 0 4695 0
vsize: 19032
[startup+150.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19958
Raw data (stat): 19958 (bsolo_lpr_cuts-) R 19957 31399 31398 0 -1 0 2454 0 0 0 14993 7 0 0 25 0 1 0 907425320 19943424 2374 4294967295 134512640 134716908 3221224560 3221222788 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4869 2374 1111 63 0 4806 0
vsize: 19476
[startup+160.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19958
Raw data (stat): 19958 (bsolo_lpr_cuts-) R 19957 31399 31398 0 -1 0 2534 0 0 0 15993 7 0 0 25 0 1 0 907425320 20242432 2454 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4942 2454 1111 63 0 4879 0
vsize: 19768
[startup+170.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19958
Raw data (stat): 19958 (bsolo_lpr_cuts-) R 19957 31399 31398 0 -1 0 2616 0 0 0 16993 7 0 0 25 0 1 0 907425320 20545536 2536 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5016 2536 1111 63 0 4953 0
vsize: 20064
[startup+180.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19958
Raw data (stat): 19958 (bsolo_lpr_cuts-) R 19957 31399 31398 0 -1 0 2696 0 0 0 17993 7 0 0 25 0 1 0 907425320 20844544 2616 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5089 2616 1111 63 0 5026 0
vsize: 20356
[startup+190.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19958
Raw data (stat): 19958 (bsolo_lpr_cuts-) R 19957 31399 31398 0 -1 0 2776 0 0 0 18993 8 0 0 25 0 1 0 907425320 21143552 2696 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5162 2696 1111 63 0 5099 0
vsize: 20648
[startup+200.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19958
Raw data (stat): 19958 (bsolo_lpr_cuts-) R 19957 31399 31398 0 -1 0 2858 0 0 0 19993 8 0 0 25 0 1 0 907425320 21602304 2778 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5274 2778 1111 63 0 5211 0
vsize: 21096
[startup+210.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19958
Raw data (stat): 19958 (bsolo_lpr_cuts-) R 19957 31399 31398 0 -1 0 2939 0 0 0 20993 8 0 0 25 0 1 0 907425320 21901312 2859 4294967295 134512640 134716908 3221224560 3221222788 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5347 2859 1111 63 0 5284 0
vsize: 21388
[startup+220.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19958
Raw data (stat): 19958 (bsolo_lpr_cuts-) R 19957 31399 31398 0 -1 0 3020 0 0 0 21993 8 0 0 25 0 1 0 907425320 22200320 2940 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5420 2940 1111 63 0 5357 0
vsize: 21680
[startup+230.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19958
Raw data (stat): 19958 (bsolo_lpr_cuts-) R 19957 31399 31398 0 -1 0 3101 0 0 0 22993 8 0 0 25 0 1 0 907425320 22503424 3021 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5494 3021 1111 63 0 5431 0
vsize: 21976
[startup+240.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19958
Raw data (stat): 19958 (bsolo_lpr_cuts-) R 19957 31399 31398 0 -1 0 3181 0 0 0 23993 9 0 0 25 0 1 0 907425320 22802432 3101 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5567 3101 1111 63 0 5504 0
vsize: 22268
[startup+250.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19958
Raw data (stat): 19958 (bsolo_lpr_cuts-) R 19957 31399 31398 0 -1 0 3272 0 0 0 24993 9 0 0 25 0 1 0 907425320 23265280 3192 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5680 3192 1111 63 0 5617 0
vsize: 22720
[startup+260.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19958
Raw data (stat): 19958 (bsolo_lpr_cuts-) R 19957 31399 31398 0 -1 0 3357 0 0 0 25993 9 0 0 25 0 1 0 907425320 23543808 3277 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5748 3277 1111 63 0 5685 0
vsize: 22992
[startup+270.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19958
Raw data (stat): 19958 (bsolo_lpr_cuts-) R 19957 31399 31398 0 -1 0 3431 0 0 0 26993 9 0 0 25 0 1 0 907425320 23842816 3351 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5821 3351 1111 63 0 5758 0
vsize: 23284
[startup+280.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19958
Raw data (stat): 19958 (bsolo_lpr_cuts-) R 19957 31399 31398 0 -1 0 3519 0 0 0 27993 9 0 0 25 0 1 0 907425320 24297472 3439 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5932 3439 1111 63 0 5869 0
vsize: 23728
[startup+290.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19958
Raw data (stat): 19958 (bsolo_lpr_cuts-) R 19957 31399 31398 0 -1 0 3600 0 0 0 28992 10 0 0 25 0 1 0 907425320 24596480 3520 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6005 3520 1111 63 0 5942 0
vsize: 24020
[startup+300.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19958
Raw data (stat): 19958 (bsolo_lpr_cuts-) R 19957 31399 31398 0 -1 0 3681 0 0 0 29992 10 0 0 25 0 1 0 907425320 24895488 3601 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6078 3601 1111 63 0 6015 0
vsize: 24312
[startup+310.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19958
Raw data (stat): 19958 (bsolo_lpr_cuts-) R 19957 31399 31398 0 -1 0 3770 0 0 0 30992 10 0 0 25 0 1 0 907425320 25350144 3690 4294967295 134512640 134716908 3221224560 3221222788 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6189 3690 1111 63 0 6126 0
vsize: 24756
[startup+320.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19958
Raw data (stat): 19958 (bsolo_lpr_cuts-) R 19957 31399 31398 0 -1 0 3844 0 0 0 31993 10 0 0 25 0 1 0 907425320 25649152 3764 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6262 3764 1111 63 0 6199 0
vsize: 25048
[startup+330.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19958
Raw data (stat): 19958 (bsolo_lpr_cuts-) R 19957 31399 31398 0 -1 0 3932 0 0 0 32993 11 0 0 25 0 1 0 907425320 25952256 3852 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6336 3852 1111 63 0 6273 0
vsize: 25344
[startup+340.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19958
Raw data (stat): 19958 (bsolo_lpr_cuts-) R 19957 31399 31398 0 -1 0 4007 0 0 0 33992 11 0 0 25 0 1 0 907425320 26251264 3927 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6409 3927 1111 63 0 6346 0
vsize: 25636
[startup+350.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19958
Raw data (stat): 19958 (bsolo_lpr_cuts-) R 19957 31399 31398 0 -1 0 4093 0 0 0 34993 11 0 0 25 0 1 0 907425320 26550272 4013 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6482 4013 1111 63 0 6419 0
vsize: 25928
[startup+360.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19958
Raw data (stat): 19958 (bsolo_lpr_cuts-) R 19957 31399 31398 0 -1 0 4176 0 0 0 35993 11 0 0 25 0 1 0 907425320 26984448 4096 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6588 4096 1111 63 0 6525 0
vsize: 26352
[startup+370.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19958
Raw data (stat): 19958 (bsolo_lpr_cuts-) R 19957 31399 31398 0 -1 0 4258 0 0 0 36992 11 0 0 25 0 1 0 907425320 27275264 4178 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6659 4178 1111 63 0 6596 0
vsize: 26636
[startup+380.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19958
Raw data (stat): 19958 (bsolo_lpr_cuts-) R 19957 31399 31398 0 -1 0 4345 0 0 0 37993 12 0 0 25 0 1 0 907425320 27574272 4265 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6732 4265 1111 63 0 6669 0
vsize: 26928
[startup+390.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19958
Raw data (stat): 19958 (bsolo_lpr_cuts-) R 19957 31399 31398 0 -1 0 4420 0 0 0 38992 12 0 0 25 0 1 0 907425320 27881472 4340 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6807 4340 1111 63 0 6744 0
vsize: 27228
[startup+400.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19958
Raw data (stat): 19958 (bsolo_lpr_cuts-) R 19957 31399 31398 0 -1 0 4507 0 0 0 39992 12 0 0 25 0 1 0 907425320 28327936 4427 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6916 4427 1111 63 0 6853 0
vsize: 27664
[startup+410.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19958
Raw data (stat): 19958 (bsolo_lpr_cuts-) R 19957 31399 31398 0 -1 0 4589 0 0 0 40992 12 0 0 25 0 1 0 907425320 28626944 4509 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6989 4509 1111 63 0 6926 0
vsize: 27956
[startup+420.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19958
Raw data (stat): 19958 (bsolo_lpr_cuts-) R 19957 31399 31398 0 -1 0 4669 0 0 0 41992 13 0 0 25 0 1 0 907425320 28934144 4589 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7064 4589 1111 63 0 7001 0
vsize: 28256
[startup+430.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19958
Raw data (stat): 19958 (bsolo_lpr_cuts-) R 19957 31399 31398 0 -1 0 4751 0 0 0 42992 13 0 0 25 0 1 0 907425320 29233152 4671 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7137 4671 1111 63 0 7074 0
vsize: 28548
[startup+440.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19958
Raw data (stat): 19958 (bsolo_lpr_cuts-) R 19957 31399 31398 0 -1 0 4833 0 0 0 43992 13 0 0 25 0 1 0 907425320 29683712 4753 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7247 4753 1111 63 0 7184 0
vsize: 28988
[startup+450.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19958
Raw data (stat): 19958 (bsolo_lpr_cuts-) R 19957 31399 31398 0 -1 0 4920 0 0 0 44992 13 0 0 25 0 1 0 907425320 29982720 4840 4294967295 134512640 134716908 3221224560 3221222788 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7320 4840 1111 63 0 7257 0
vsize: 29280
[startup+460.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19958
Raw data (stat): 19958 (bsolo_lpr_cuts-) R 19957 31399 31398 0 -1 0 5000 0 0 0 45992 14 0 0 25 0 1 0 907425320 30281728 4920 4294967295 134512640 134716908 3221224560 3221222788 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7393 4920 1111 63 0 7330 0
vsize: 29572
[startup+470.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19958
Raw data (stat): 19958 (bsolo_lpr_cuts-) R 19957 31399 31398 0 -1 0 5083 0 0 0 46992 14 0 0 25 0 1 0 907425320 30588928 5003 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7468 5003 1111 63 0 7405 0
vsize: 29872
[startup+480.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19958
Raw data (stat): 19958 (bsolo_lpr_cuts-) R 19957 31399 31398 0 -1 0 5170 0 0 0 47992 14 0 0 25 0 1 0 907425320 31039488 5090 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7578 5090 1111 63 0 7515 0
vsize: 30312
[startup+490.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19958
Raw data (stat): 19958 (bsolo_lpr_cuts-) R 19957 31399 31398 0 -1 0 5268 0 0 0 48992 14 0 0 25 0 1 0 907425320 31526912 5188 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7697 5188 1111 63 0 7634 0
vsize: 30788
[startup+500.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19958
Raw data (stat): 19958 (bsolo_lpr_cuts-) R 19957 31399 31398 0 -1 0 5349 0 0 0 49992 14 0 0 25 0 1 0 907425320 31825920 5269 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7770 5269 1111 63 0 7707 0
vsize: 31080
[startup+510.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19958
Raw data (stat): 19958 (bsolo_lpr_cuts-) R 19957 31399 31398 0 -1 0 5430 0 0 0 50992 15 0 0 25 0 1 0 907425320 32124928 5350 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7843 5350 1111 63 0 7780 0
vsize: 31372
[startup+520.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19958
Raw data (stat): 19958 (bsolo_lpr_cuts-) R 19957 31399 31398 0 -1 0 5518 0 0 0 51992 15 0 0 25 0 1 0 907425320 32432128 5438 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7918 5438 1111 63 0 7855 0
vsize: 31672
[startup+530.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19958
Raw data (stat): 19958 (bsolo_lpr_cuts-) R 19957 31399 31398 0 -1 0 5599 0 0 0 52992 15 0 0 25 0 1 0 907425320 32882688 5519 4294967295 134512640 134716908 3221224560 3221222788 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8028 5519 1111 63 0 7965 0
vsize: 32112
[startup+540.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19958
Raw data (stat): 19958 (bsolo_lpr_cuts-) R 19957 31399 31398 0 -1 0 5681 0 0 0 53992 15 0 0 25 0 1 0 907425320 33181696 5601 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8101 5601 1111 63 0 8038 0
vsize: 32404
[startup+550.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19958
Raw data (stat): 19958 (bsolo_lpr_cuts-) R 19957 31399 31398 0 -1 0 5770 0 0 0 54992 15 0 0 25 0 1 0 907425320 33484800 5690 4294967295 134512640 134716908 3221224560 3221222788 1077414374 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8175 5690 1111 63 0 8112 0
vsize: 32700
[startup+560.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19958
Raw data (stat): 19958 (bsolo_lpr_cuts-) R 19957 31399 31398 0 -1 0 5857 0 0 0 55992 15 0 0 25 0 1 0 907425320 33931264 5777 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8284 5777 1111 63 0 8221 0
vsize: 33136
[startup+570.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19958
Raw data (stat): 19958 (bsolo_lpr_cuts-) R 19957 31399 31398 0 -1 0 5940 0 0 0 56992 15 0 0 25 0 1 0 907425320 34238464 5860 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8359 5860 1111 63 0 8296 0
vsize: 33436
[startup+580.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19958
Raw data (stat): 19958 (bsolo_lpr_cuts-) R 19957 31399 31398 0 -1 0 6021 0 0 0 57992 16 0 0 25 0 1 0 907425320 34537472 5941 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8432 5941 1111 63 0 8369 0
vsize: 33728
[startup+590.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19958
Raw data (stat): 19958 (bsolo_lpr_cuts-) R 19957 31399 31398 0 -1 0 6108 0 0 0 58993 16 0 0 25 0 1 0 907425320 34836480 6028 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8505 6028 1111 63 0 8442 0
vsize: 34020
[startup+600.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19958
Raw data (stat): 19958 (bsolo_lpr_cuts-) R 19957 31399 31398 0 -1 0 6197 0 0 0 59993 16 0 0 25 0 1 0 907425320 35291136 6117 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8616 6117 1111 63 0 8553 0
vsize: 34464
[startup+610.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19958
Raw data (stat): 19958 (bsolo_lpr_cuts-) R 19957 31399 31398 0 -1 0 6279 0 0 0 60993 16 0 0 25 0 1 0 907425320 35590144 6199 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8689 6199 1111 63 0 8626 0
vsize: 34756
[startup+620.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19958
Raw data (stat): 19958 (bsolo_lpr_cuts-) R 19957 31399 31398 0 -1 0 6368 0 0 0 61992 16 0 0 25 0 1 0 907425320 35889152 6288 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8762 6288 1111 63 0 8699 0
vsize: 35048
[startup+630.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19958
Raw data (stat): 19958 (bsolo_lpr_cuts-) R 19957 31399 31398 0 -1 0 6449 0 0 0 62992 17 0 0 25 0 1 0 907425320 36343808 6369 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8873 6369 1111 63 0 8810 0
vsize: 35492
[startup+640.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19958
Raw data (stat): 19958 (bsolo_lpr_cuts-) R 19957 31399 31398 0 -1 0 6536 0 0 0 63992 17 0 0 25 0 1 0 907425320 36642816 6456 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8946 6456 1111 63 0 8883 0
vsize: 35784
[startup+650.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19958
Raw data (stat): 19958 (bsolo_lpr_cuts-) R 19957 31399 31398 0 -1 0 6624 0 0 0 64992 17 0 0 25 0 1 0 907425320 36945920 6544 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9020 6544 1111 63 0 8957 0
vsize: 36080
[startup+660.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19958
Raw data (stat): 19958 (bsolo_lpr_cuts-) R 19957 31399 31398 0 -1 0 6706 0 0 0 65992 17 0 0 25 0 1 0 907425320 37396480 6626 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9130 6626 1111 63 0 9067 0
vsize: 36520
[startup+670.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19958
Raw data (stat): 19958 (bsolo_lpr_cuts-) R 19957 31399 31398 0 -1 0 6788 0 0 0 66992 17 0 0 25 0 1 0 907425320 37695488 6708 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9203 6708 1111 63 0 9140 0
vsize: 36812
[startup+680.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19958
Raw data (stat): 19958 (bsolo_lpr_cuts-) R 19957 31399 31398 0 -1 0 6877 0 0 0 67992 18 0 0 25 0 1 0 907425320 37998592 6797 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9277 6797 1111 63 0 9214 0
vsize: 37108
[startup+690.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19958
Raw data (stat): 19958 (bsolo_lpr_cuts-) R 19957 31399 31398 0 -1 0 6964 0 0 0 68992 18 0 0 25 0 1 0 907425320 38445056 6884 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9386 6884 1111 63 0 9323 0
vsize: 37544
[startup+700.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19958
Raw data (stat): 19958 (bsolo_lpr_cuts-) R 19957 31399 31398 0 -1 0 7053 0 0 0 69992 18 0 0 25 0 1 0 907425320 38752256 6973 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9461 6973 1111 63 0 9398 0
vsize: 37844
[startup+710.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19958
Raw data (stat): 19958 (bsolo_lpr_cuts-) R 19957 31399 31398 0 -1 0 7134 0 0 0 70993 18 0 0 25 0 1 0 907425320 39051264 7054 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9534 7054 1111 63 0 9471 0
vsize: 38136
[startup+720.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19958
Raw data (stat): 19958 (bsolo_lpr_cuts-) R 19957 31399 31398 0 -1 0 7223 0 0 0 71993 18 0 0 25 0 1 0 907425320 39501824 7143 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9644 7143 1111 63 0 9581 0
vsize: 38576
[startup+730.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19958
Raw data (stat): 19958 (bsolo_lpr_cuts-) R 19957 31399 31398 0 -1 0 7306 0 0 0 72993 18 0 0 25 0 1 0 907425320 39804928 7226 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9718 7226 1111 63 0 9655 0
vsize: 38872
[startup+740.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19958
Raw data (stat): 19958 (bsolo_lpr_cuts-) R 19957 31399 31398 0 -1 0 7393 0 0 0 73992 19 0 0 25 0 1 0 907425320 40103936 7313 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9791 7313 1111 63 0 9728 0
vsize: 39164
[startup+750.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19958
Raw data (stat): 19958 (bsolo_lpr_cuts-) R 19957 31399 31398 0 -1 0 7482 0 0 0 74993 19 0 0 25 0 1 0 907425320 40558592 7402 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9902 7402 1111 63 0 9839 0
vsize: 39608
[startup+760.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19958
Raw data (stat): 19958 (bsolo_lpr_cuts-) R 19957 31399 31398 0 -1 0 7569 0 0 0 75993 19 0 0 25 0 1 0 907425320 40857600 7489 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9975 7489 1111 63 0 9912 0
vsize: 39900
[startup+770.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19958
Raw data (stat): 19958 (bsolo_lpr_cuts-) R 19957 31399 31398 0 -1 0 7657 0 0 0 76993 19 0 0 25 0 1 0 907425320 41156608 7577 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10048 7577 1111 63 0 9985 0
vsize: 40192
[startup+780.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19958
Raw data (stat): 19958 (bsolo_lpr_cuts-) R 19957 31399 31398 0 -1 0 7747 0 0 0 77993 19 0 0 25 0 1 0 907425320 41611264 7667 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10159 7667 1111 63 0 10096 0
vsize: 40636
[startup+790.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19958
Raw data (stat): 19958 (bsolo_lpr_cuts-) R 19957 31399 31398 0 -1 0 7829 0 0 0 78993 19 0 0 25 0 1 0 907425320 41910272 7749 4294967295 134512640 134716908 3221224560 3221222788 1077414399 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10232 7749 1111 63 0 10169 0
vsize: 40928
[startup+800.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19958
Raw data (stat): 19958 (bsolo_lpr_cuts-) R 19957 31399 31398 0 -1 0 7909 0 0 0 79993 19 0 0 25 0 1 0 907425320 42209280 7829 4294967295 134512640 134716908 3221224560 3221222788 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10305 7829 1111 63 0 10242 0
vsize: 41220
[startup+810.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19958
Raw data (stat): 19958 (bsolo_lpr_cuts-) R 19957 31399 31398 0 -1 0 7998 0 0 0 80993 20 0 0 25 0 1 0 907425320 42635264 7918 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10409 7918 1111 63 0 10346 0
vsize: 41636
[startup+820.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19958
Raw data (stat): 19958 (bsolo_lpr_cuts-) R 19957 31399 31398 0 -1 0 8085 0 0 0 81993 20 0 0 25 0 1 0 907425320 42934272 8005 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10482 8005 1111 63 0 10419 0
vsize: 41928
[startup+830.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19958
Raw data (stat): 19958 (bsolo_lpr_cuts-) R 19957 31399 31398 0 -1 0 8175 0 0 0 82992 20 0 0 25 0 1 0 907425320 43384832 8095 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10592 8095 1111 63 0 10529 0
vsize: 42368
[startup+840.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19958
Raw data (stat): 19958 (bsolo_lpr_cuts-) R 19957 31399 31398 0 -1 0 8257 0 0 0 83992 20 0 0 25 0 1 0 907425320 43683840 8177 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10665 8177 1111 63 0 10602 0
vsize: 42660
[startup+850.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19958
Raw data (stat): 19958 (bsolo_lpr_cuts-) R 19957 31399 31398 0 -1 0 8338 0 0 0 84992 21 0 0 25 0 1 0 907425320 43982848 8258 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10738 8258 1111 63 0 10675 0
vsize: 42952
[startup+860.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19958
Raw data (stat): 19958 (bsolo_lpr_cuts-) R 19957 31399 31398 0 -1 0 8426 0 0 0 85992 21 0 0 25 0 1 0 907425320 44290048 8346 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10813 8346 1111 63 0 10750 0
vsize: 43252
[startup+870.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19958
Raw data (stat): 19958 (bsolo_lpr_cuts-) R 19957 31399 31398 0 -1 0 8514 0 0 0 86992 21 0 0 25 0 1 0 907425320 44740608 8434 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10923 8434 1111 63 0 10860 0
vsize: 43692
[startup+880.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19958
Raw data (stat): 19958 (bsolo_lpr_cuts-) R 19957 31399 31398 0 -1 0 8603 0 0 0 87992 22 0 0 25 0 1 0 907425320 45039616 8523 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10996 8523 1111 63 0 10933 0
vsize: 43984
[startup+890.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19958
Raw data (stat): 19958 (bsolo_lpr_cuts-) R 19957 31399 31398 0 -1 0 8691 0 0 0 88992 22 0 0 25 0 1 0 907425320 45490176 8611 4294967295 134512640 134716908 3221224560 3221222788 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11106 8611 1111 63 0 11043 0
vsize: 44424
[startup+900.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19958
Raw data (stat): 19958 (bsolo_lpr_cuts-) R 19957 31399 31398 0 -1 0 8778 0 0 0 89992 22 0 0 25 0 1 0 907425320 45789184 8698 4294967295 134512640 134716908 3221224560 3221222788 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11179 8698 1111 63 0 11116 0
vsize: 44716
[startup+910.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19958
Raw data (stat): 19958 (bsolo_lpr_cuts-) R 19957 31399 31398 0 -1 0 8861 0 0 0 90992 22 0 0 25 0 1 0 907425320 46096384 8781 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11254 8781 1111 63 0 11191 0
vsize: 45016
[startup+920.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19958
Raw data (stat): 19958 (bsolo_lpr_cuts-) R 19957 31399 31398 0 -1 0 8948 0 0 0 91992 23 0 0 25 0 1 0 907425320 46546944 8868 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11364 8868 1111 63 0 11301 0
vsize: 45456
[startup+930.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19958
Raw data (stat): 19958 (bsolo_lpr_cuts-) R 19957 31399 31398 0 -1 0 9037 0 0 0 92992 23 0 0 25 0 1 0 907425320 46845952 8957 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11437 8957 1111 63 0 11374 0
vsize: 45748
[startup+940.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19958
Raw data (stat): 19958 (bsolo_lpr_cuts-) R 19957 31399 31398 0 -1 0 9118 0 0 0 93992 23 0 0 25 0 1 0 907425320 47149056 9038 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11511 9038 1111 63 0 11448 0
vsize: 46044
[startup+950.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19958
Raw data (stat): 19958 (bsolo_lpr_cuts-) R 19957 31399 31398 0 -1 0 9225 0 0 0 94991 24 0 0 25 0 1 0 907425320 47710208 9145 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11648 9145 1111 63 0 11585 0
vsize: 46592
[startup+960.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19958
Raw data (stat): 19958 (bsolo_lpr_cuts-) R 19957 31399 31398 0 -1 0 9314 0 0 0 95991 24 0 0 25 0 1 0 907425320 48152576 9234 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11756 9234 1111 63 0 11693 0
vsize: 47024
[startup+970.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19958
Raw data (stat): 19958 (bsolo_lpr_cuts-) R 19957 31399 31398 0 -1 0 9401 0 0 0 96991 24 0 0 25 0 1 0 907425320 48451584 9321 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11829 9321 1111 63 0 11766 0
vsize: 47316
[startup+980.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19958
Raw data (stat): 19958 (bsolo_lpr_cuts-) R 19957 31399 31398 0 -1 0 9489 0 0 0 97991 24 0 0 25 0 1 0 907425320 48750592 9409 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11902 9409 1111 63 0 11839 0
vsize: 47608
[startup+990.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19958
Raw data (stat): 19958 (bsolo_lpr_cuts-) R 19957 31399 31398 0 -1 0 9578 0 0 0 98991 25 0 0 25 0 1 0 907425320 49176576 9498 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12006 9498 1111 63 0 11943 0
vsize: 48024
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19958
Raw data (stat): 19958 (bsolo_lpr_cuts-) R 19957 31399 31398 0 -1 0 9666 0 0 0 99991 25 0 0 25 0 1 0 907425320 49475584 9586 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12079 9586 1111 63 0 12016 0
vsize: 48316
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19958
Raw data (stat): 19958 (bsolo_lpr_cuts-) R 19957 31399 31398 0 -1 0 9756 0 0 0 100991 25 0 0 25 0 1 0 907425320 49930240 9676 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12190 9676 1111 63 0 12127 0
vsize: 48760
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19958
Raw data (stat): 19958 (bsolo_lpr_cuts-) R 19957 31399 31398 0 -1 0 9844 0 0 0 101991 25 0 0 25 0 1 0 907425320 50229248 9764 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12263 9764 1111 63 0 12200 0
vsize: 49052
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19958
Raw data (stat): 19958 (bsolo_lpr_cuts-) R 19957 31399 31398 0 -1 0 9932 0 0 0 102991 26 0 0 25 0 1 0 907425320 50675712 9852 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12372 9852 1111 63 0 12309 0
vsize: 49488
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19958
Raw data (stat): 19958 (bsolo_lpr_cuts-) R 19957 31399 31398 0 -1 0 10021 0 0 0 103991 26 0 0 25 0 1 0 907425320 50954240 9941 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12440 9941 1111 63 0 12377 0
vsize: 49760
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19958
Raw data (stat): 19958 (bsolo_lpr_cuts-) R 19957 31399 31398 0 -1 0 10110 0 0 0 104991 26 0 0 25 0 1 0 907425320 51400704 10030 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12549 10030 1111 63 0 12486 0
vsize: 50196
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19958
Raw data (stat): 19958 (bsolo_lpr_cuts-) R 19957 31399 31398 0 -1 0 10200 0 0 0 105991 26 0 0 25 0 1 0 907425320 51707904 10120 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12624 10120 1111 63 0 12561 0
vsize: 50496
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19958
Raw data (stat): 19958 (bsolo_lpr_cuts-) R 19957 31399 31398 0 -1 0 10287 0 0 0 106993 26 0 0 25 0 1 0 907425320 52006912 10207 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12697 10207 1111 63 0 12634 0
vsize: 50788
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19958
Raw data (stat): 19958 (bsolo_lpr_cuts-) R 19957 31399 31398 0 -1 0 10383 0 0 0 107993 26 0 0 25 0 1 0 907425320 52453376 10303 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12806 10303 1111 63 0 12743 0
vsize: 51224
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19958
Raw data (stat): 19958 (bsolo_lpr_cuts-) R 19957 31399 31398 0 -1 0 10470 0 0 0 108993 27 0 0 25 0 1 0 907425320 52760576 10390 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12881 10390 1111 63 0 12818 0
vsize: 51524
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19958
Raw data (stat): 19958 (bsolo_lpr_cuts-) R 19957 31399 31398 0 -1 0 10558 0 0 0 109992 27 0 0 25 0 1 0 907425320 53207040 10478 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12990 10478 1111 63 0 12927 0
vsize: 51960
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19958
Raw data (stat): 19958 (bsolo_lpr_cuts-) R 19957 31399 31398 0 -1 0 10655 0 0 0 110992 28 0 0 25 0 1 0 907425320 53510144 10575 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13064 10575 1111 63 0 13001 0
vsize: 52256
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19958
Raw data (stat): 19958 (bsolo_lpr_cuts-) R 19957 31399 31398 0 -1 0 10744 0 0 0 111992 28 0 0 25 0 1 0 907425320 53960704 10664 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13174 10664 1111 63 0 13111 0
vsize: 52696
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19958
Raw data (stat): 19958 (bsolo_lpr_cuts-) R 19957 31399 31398 0 -1 0 10833 0 0 0 112992 28 0 0 25 0 1 0 907425320 54259712 10753 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13247 10753 1111 63 0 13184 0
vsize: 52988
[startup+1140.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19958
Raw data (stat): 19958 (bsolo_lpr_cuts-) R 19957 31399 31398 0 -1 0 10921 0 0 0 114003 28 0 0 25 0 1 0 907425320 54714368 10841 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13358 10841 1111 63 0 13295 0
vsize: 53432
[startup+1150.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19958
Raw data (stat): 19958 (bsolo_lpr_cuts-) R 19957 31399 31398 0 -1 0 11009 0 0 0 115003 28 0 0 25 0 1 0 907425320 55013376 10929 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13431 10929 1111 63 0 13368 0
vsize: 53724
[startup+1160.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19958
Raw data (stat): 19958 (bsolo_lpr_cuts-) R 19957 31399 31398 0 -1 0 11098 0 0 0 116003 28 0 0 25 0 1 0 907425320 55316480 11018 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13505 11018 1111 63 0 13442 0
vsize: 54020
[startup+1170.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19958
Raw data (stat): 19958 (bsolo_lpr_cuts-) R 19957 31399 31398 0 -1 0 11188 0 0 0 117003 29 0 0 25 0 1 0 907425320 55767040 11108 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13615 11108 1111 63 0 13552 0
vsize: 54460
[startup+1180.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19958
Raw data (stat): 19958 (bsolo_lpr_cuts-) R 19957 31399 31398 0 -1 0 11277 0 0 0 118003 29 0 0 25 0 1 0 907425320 56066048 11197 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13688 11197 1111 63 0 13625 0
vsize: 54752
[startup+1190.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19958
Raw data (stat): 19958 (bsolo_lpr_cuts-) R 19957 31399 31398 0 -1 0 11371 0 0 0 119003 29 0 0 25 0 1 0 907425320 56520704 11291 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13799 11291 1111 63 0 13736 0
vsize: 55196
[startup+1200.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19958
Raw data (stat): 19958 (bsolo_lpr_cuts-) R 19957 31399 31398 0 -1 0 11459 0 0 0 120003 29 0 0 25 0 1 0 907425320 56819712 11379 4294967295 134512640 134716908 3221224560 3221222788 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13872 11379 1111 63 0 13809 0
vsize: 55488
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.17 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 19958
Raw data (stat): 19958 (bsolo_lpr_cuts-) Z 19957 31399 31398 0 -1 1036 11459 0 0 0 120003 32 0 0 25 0 1 0 907425320 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.16
CPU time (s): 1200.36
CPU user time (s): 1200.04
CPU system time (s): 0.321951
CPU usage (%): 100.016
Max. virtual memory (Kb): 55488
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####