PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-NSR8K.opb
MD5SUM	4969ff20db6e3c380ff3de77937a8672
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	221520
Biggest coefficient in the objective function	536870912000000000000
Number of bits for the biggest coefficient in the objective function	69
Sum of the numbers in the objective function	34400198927214220148736
Number of bits of the sum of numbers in the objective function	75
Biggest number in a constraint	536870912000000000000
Number of bits of the biggest number in a constraint	69
Biggest sum of numbers in a constraint	34400301327214220148736
Number of bits of the biggest sum of numbers	75
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	2.17367
Number of variables	221520
Total number of constraints	38324
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	32041
Number of constraints which are nor clauses,nor cardinality constraints	6283
Minimum length of a constraint	1
Maximum length of a constraint	221520
Trace number 41319

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-09 10:19:36 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29382 boxname=wulflinc6 idbench=1166 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  4969ff20db6e3c380ff3de77937a8672  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-NSR8K.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-NSR8K.opb
IDLAUNCH: 29382
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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.042
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:        454436 kB
Buffers:         24512 kB
Cached:         533788 kB
SwapCached:        932 kB
Active:          53460 kB
Inactive:       506948 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        454184 kB
SwapTotal:     2097136 kB
SwapFree:      2095216 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4996 kB
Slab:            14116 kB
Committed_AS:    63736 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 10:39:39 (client local time) WITH STATUS 0 IN 1200.52 SECONDS
stats: 29382 7 1200.52 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.93 0.95 0.90 1/54 10660
Raw data (stat): 10660 (runsolver) R 10659 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 909502550 884736 94 4294967295 134512640 135332820 3221224448 3221219628 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.0009 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 10660
Raw data (stat): 10660 (bsolo_lpr_cuts-) R 10659 25568 25567 0 -1 0 2205 0 0 0 990 8 0 0 25 0 1 0 909502550 16429056 2125 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4011 2125 1111 63 0 3948 0
vsize: 16044
[startup+20.001 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 10660
Raw data (stat): 10660 (bsolo_lpr_cuts-) R 10659 25568 25567 0 -1 0 2551 0 0 0 1989 9 0 0 25 0 1 0 909502550 17915904 2471 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4374 2471 1111 63 0 4311 0
vsize: 17496
[startup+30.0011 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 10660
Raw data (stat): 10660 (bsolo_lpr_cuts-) R 10659 25568 25567 0 -1 0 2898 0 0 0 2989 9 0 0 25 0 1 0 909502550 19267584 2818 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4704 2818 1111 63 0 4641 0
vsize: 18816
[startup+40.0013 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 10660
Raw data (stat): 10660 (bsolo_lpr_cuts-) R 10659 25568 25567 0 -1 0 3244 0 0 0 3989 10 0 0 25 0 1 0 909502550 20758528 3164 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5068 3164 1111 63 0 5005 0
vsize: 20272
[startup+50.0014 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 10660
Raw data (stat): 10660 (bsolo_lpr_cuts-) R 10659 25568 25567 0 -1 0 3590 0 0 0 4989 10 0 0 25 0 1 0 909502550 22097920 3510 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5395 3510 1111 63 0 5332 0
vsize: 21580
[startup+60.0016 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 10660
Raw data (stat): 10660 (bsolo_lpr_cuts-) R 10659 25568 25567 0 -1 0 3937 0 0 0 5989 11 0 0 25 0 1 0 909502550 23597056 3857 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5761 3857 1111 63 0 5698 0
vsize: 23044
[startup+70.0018 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 10660
Raw data (stat): 10660 (bsolo_lpr_cuts-) R 10659 25568 25567 0 -1 0 4283 0 0 0 6988 11 0 0 25 0 1 0 909502550 24936448 4203 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6088 4203 1111 63 0 6025 0
vsize: 24352
[startup+80.0019 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 10660
Raw data (stat): 10660 (bsolo_lpr_cuts-) R 10659 25568 25567 0 -1 0 4628 0 0 0 7988 12 0 0 25 0 1 0 909502550 26427392 4548 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6452 4548 1111 63 0 6389 0
vsize: 25808
[startup+90.002 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 10660
Raw data (stat): 10660 (bsolo_lpr_cuts-) R 10659 25568 25567 0 -1 0 4976 0 0 0 8987 13 0 0 25 0 1 0 909502550 27774976 4896 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6781 4896 1111 63 0 6718 0
vsize: 27124
[startup+100.002 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 10660
Raw data (stat): 10660 (bsolo_lpr_cuts-) R 10659 25568 25567 0 -1 0 5321 0 0 0 9987 14 0 0 25 0 1 0 909502550 29265920 5241 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7145 5241 1111 63 0 7082 0
vsize: 28580
[startup+110.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10660
Raw data (stat): 10660 (bsolo_lpr_cuts-) R 10659 25568 25567 0 -1 0 5667 0 0 0 10987 14 0 0 25 0 1 0 909502550 30609408 5587 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7473 5587 1111 63 0 7410 0
vsize: 29892
[startup+120.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10660
Raw data (stat): 10660 (bsolo_lpr_cuts-) R 10659 25568 25567 0 -1 0 6021 0 0 0 11987 15 0 0 25 0 1 0 909502550 32104448 5941 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7838 5941 1111 63 0 7775 0
vsize: 31352
[startup+130.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10660
Raw data (stat): 10660 (bsolo_lpr_cuts-) R 10659 25568 25567 0 -1 0 6366 0 0 0 12987 15 0 0 25 0 1 0 909502550 33595392 6286 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8202 6286 1111 63 0 8139 0
vsize: 32808
[startup+140.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10660
Raw data (stat): 10660 (bsolo_lpr_cuts-) R 10659 25568 25567 0 -1 0 6712 0 0 0 13986 16 0 0 25 0 1 0 909502550 34938880 6632 4294967295 134512640 134716908 3221224560 3221222788 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8530 6632 1111 63 0 8467 0
vsize: 34120
[startup+150.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10660
Raw data (stat): 10660 (bsolo_lpr_cuts-) R 10659 25568 25567 0 -1 0 7059 0 0 0 14986 17 0 0 25 0 1 0 909502550 36433920 6979 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8895 6979 1111 63 0 8832 0
vsize: 35580
[startup+160.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10660
Raw data (stat): 10660 (bsolo_lpr_cuts-) R 10659 25568 25567 0 -1 0 7405 0 0 0 15986 17 0 0 25 0 1 0 909502550 37777408 7325 4294967295 134512640 134716908 3221224560 3221222788 1077414399 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9223 7325 1111 63 0 9160 0
vsize: 36892
[startup+170.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10660
Raw data (stat): 10660 (bsolo_lpr_cuts-) R 10659 25568 25567 0 -1 0 7751 0 0 0 16985 18 0 0 25 0 1 0 909502550 39268352 7671 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9587 7671 1111 63 0 9524 0
vsize: 38348
[startup+180.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10660
Raw data (stat): 10660 (bsolo_lpr_cuts-) R 10659 25568 25567 0 -1 0 8101 0 0 0 17985 19 0 0 25 0 1 0 909502550 40603648 8021 4294967295 134512640 134716908 3221224560 3221222788 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9913 8021 1111 63 0 9850 0
vsize: 39652
[startup+190.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10660
Raw data (stat): 10660 (bsolo_lpr_cuts-) R 10659 25568 25567 0 -1 0 8453 0 0 0 18985 19 0 0 25 0 1 0 909502550 42094592 8373 4294967295 134512640 134716908 3221224560 3221222788 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10277 8373 1111 63 0 10214 0
vsize: 41108
[startup+200.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10660
Raw data (stat): 10660 (bsolo_lpr_cuts-) R 10659 25568 25567 0 -1 0 8799 0 0 0 19984 20 0 0 25 0 1 0 909502550 43438080 8719 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10605 8719 1111 63 0 10542 0
vsize: 42420
[startup+210.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10660
Raw data (stat): 10660 (bsolo_lpr_cuts-) R 10659 25568 25567 0 -1 0 9146 0 0 0 20984 21 0 0 25 0 1 0 909502550 44933120 9066 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10970 9066 1111 63 0 10907 0
vsize: 43880
[startup+220.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10660
Raw data (stat): 10660 (bsolo_lpr_cuts-) R 10659 25568 25567 0 -1 0 9492 0 0 0 21984 21 0 0 25 0 1 0 909502550 46276608 9412 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11298 9412 1111 63 0 11235 0
vsize: 45192
[startup+230.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10660
Raw data (stat): 10660 (bsolo_lpr_cuts-) R 10659 25568 25567 0 -1 0 9838 0 0 0 22984 22 0 0 25 0 1 0 909502550 47767552 9758 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11662 9758 1111 63 0 11599 0
vsize: 46648
[startup+240.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10660
Raw data (stat): 10660 (bsolo_lpr_cuts-) R 10659 25568 25567 0 -1 0 10191 0 0 0 23983 22 0 0 25 0 1 0 909502550 49262592 10111 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12027 10111 1111 63 0 11964 0
vsize: 48108
[startup+250.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10660
Raw data (stat): 10660 (bsolo_lpr_cuts-) R 10659 25568 25567 0 -1 0 10537 0 0 0 24983 23 0 0 25 0 1 0 909502550 50606080 10457 4294967295 134512640 134716908 3221224560 3221222788 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12355 10457 1111 63 0 12292 0
vsize: 49420
[startup+260.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10660
Raw data (stat): 10660 (bsolo_lpr_cuts-) R 10659 25568 25567 0 -1 0 10883 0 0 0 25983 24 0 0 25 0 1 0 909502550 52097024 10803 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12719 10803 1111 63 0 12656 0
vsize: 50876
[startup+270.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10660
Raw data (stat): 10660 (bsolo_lpr_cuts-) R 10659 25568 25567 0 -1 0 11236 0 0 0 26983 24 0 0 25 0 1 0 909502550 53444608 11156 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13048 11156 1111 63 0 12985 0
vsize: 52192
[startup+280.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10660
Raw data (stat): 10660 (bsolo_lpr_cuts-) R 10659 25568 25567 0 -1 0 11582 0 0 0 27982 25 0 0 25 0 1 0 909502550 54935552 11502 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13412 11502 1111 63 0 13349 0
vsize: 53648
[startup+290.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10660
Raw data (stat): 10660 (bsolo_lpr_cuts-) R 10659 25568 25567 0 -1 0 11928 0 0 0 28982 25 0 0 25 0 1 0 909502550 56274944 11848 4294967295 134512640 134716908 3221224560 3221222788 1077414399 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13739 11848 1111 63 0 13676 0
vsize: 54956
[startup+300.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10660
Raw data (stat): 10660 (bsolo_lpr_cuts-) R 10659 25568 25567 0 -1 0 12281 0 0 0 29982 26 0 0 25 0 1 0 909502550 57774080 12201 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14105 12201 1111 63 0 14042 0
vsize: 56420
[startup+310.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10660
Raw data (stat): 10660 (bsolo_lpr_cuts-) R 10659 25568 25567 0 -1 0 12627 0 0 0 30982 27 0 0 25 0 1 0 909502550 59113472 12547 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14432 12547 1111 63 0 14369 0
vsize: 57728
[startup+320.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10660
Raw data (stat): 10660 (bsolo_lpr_cuts-) R 10659 25568 25567 0 -1 0 12972 0 0 0 31981 27 0 0 25 0 1 0 909502550 60604416 12892 4294967295 134512640 134716908 3221224560 3221222788 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14796 12892 1111 63 0 14733 0
vsize: 59184
[startup+330.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10660
Raw data (stat): 10660 (bsolo_lpr_cuts-) R 10659 25568 25567 0 -1 0 13326 0 0 0 32981 28 0 0 25 0 1 0 909502550 62103552 13246 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15162 13246 1111 63 0 15099 0
vsize: 60648
[startup+340.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10660
Raw data (stat): 10660 (bsolo_lpr_cuts-) R 10659 25568 25567 0 -1 0 13672 0 0 0 33981 28 0 0 25 0 1 0 909502550 63442944 13592 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15489 13592 1111 63 0 15426 0
vsize: 61956
[startup+350.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10660
Raw data (stat): 10660 (bsolo_lpr_cuts-) R 10659 25568 25567 0 -1 0 14030 0 0 0 34981 29 0 0 25 0 1 0 909502550 64925696 13950 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15851 13950 1111 63 0 15788 0
vsize: 63404
[startup+360.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10660
Raw data (stat): 10660 (bsolo_lpr_cuts-) R 10659 25568 25567 0 -1 0 14376 0 0 0 35981 29 0 0 25 0 1 0 909502550 66408448 14296 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16213 14296 1111 63 0 16150 0
vsize: 64852
[startup+370.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10660
Raw data (stat): 10660 (bsolo_lpr_cuts-) R 10659 25568 25567 0 -1 0 14727 0 0 0 36981 29 0 0 25 0 1 0 909502550 67747840 14647 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16540 14647 1111 63 0 16477 0
vsize: 66160
[startup+380.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10660
Raw data (stat): 10660 (bsolo_lpr_cuts-) R 10659 25568 25567 0 -1 0 15074 0 0 0 37981 30 0 0 25 0 1 0 909502550 69238784 14994 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16904 14994 1111 63 0 16841 0
vsize: 67616
[startup+390.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10660
Raw data (stat): 10660 (bsolo_lpr_cuts-) R 10659 25568 25567 0 -1 0 15422 0 0 0 38980 31 0 0 25 0 1 0 909502550 70586368 15342 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17233 15342 1111 63 0 17170 0
vsize: 68932
[startup+400.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10660
Raw data (stat): 10660 (bsolo_lpr_cuts-) R 10659 25568 25567 0 -1 0 15773 0 0 0 39980 31 0 0 25 0 1 0 909502550 72077312 15693 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17597 15693 1111 63 0 17534 0
vsize: 70388
[startup+410.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10660
Raw data (stat): 10660 (bsolo_lpr_cuts-) R 10659 25568 25567 0 -1 0 16119 0 0 0 40980 32 0 0 25 0 1 0 909502550 73420800 16039 4294967295 134512640 134716908 3221224560 3221222788 1077414399 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17925 16039 1111 63 0 17862 0
vsize: 71700
[startup+420.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10660
Raw data (stat): 10660 (bsolo_lpr_cuts-) R 10659 25568 25567 0 -1 0 16473 0 0 0 41980 32 0 0 25 0 1 0 909502550 74915840 16393 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18290 16393 1111 63 0 18227 0
vsize: 73160
[startup+430.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10660
Raw data (stat): 10660 (bsolo_lpr_cuts-) R 10659 25568 25567 0 -1 0 16824 0 0 0 42980 33 0 0 25 0 1 0 909502550 76406784 16744 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18654 16744 1111 63 0 18591 0
vsize: 74616
[startup+440.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10660
Raw data (stat): 10660 (bsolo_lpr_cuts-) R 10659 25568 25567 0 -1 0 17170 0 0 0 43979 34 0 0 25 0 1 0 909502550 77750272 17090 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18982 17090 1111 63 0 18919 0
vsize: 75928
[startup+450.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10660
Raw data (stat): 10660 (bsolo_lpr_cuts-) R 10659 25568 25567 0 -1 0 17524 0 0 0 44979 34 0 0 25 0 1 0 909502550 79245312 17444 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19347 17444 1111 63 0 19284 0
vsize: 77388
[startup+460.012 s]
Raw data (loadavg): 0.99 0.97 0.91 3/54 10660
Raw data (stat): 10660 (bsolo_lpr_cuts-) R 10659 25568 25567 0 -1 0 17869 0 0 0 45979 35 0 0 25 0 1 0 909502550 80588800 17789 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19675 17789 1111 63 0 19612 0
vsize: 78700
[startup+470.013 s]
Raw data (loadavg): 0.99 0.97 0.91 3/54 10660
Raw data (stat): 10660 (bsolo_lpr_cuts-) R 10659 25568 25567 0 -1 0 18221 0 0 0 46979 36 0 0 25 0 1 0 909502550 82079744 18141 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20039 18141 1111 63 0 19976 0
vsize: 80156
[startup+480.013 s]
Raw data (loadavg): 0.99 0.97 0.91 3/54 10660
Raw data (stat): 10660 (bsolo_lpr_cuts-) R 10659 25568 25567 0 -1 0 18568 0 0 0 47978 37 0 0 25 0 1 0 909502550 83574784 18488 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20404 18488 1111 63 0 20341 0
vsize: 81616
[startup+490.013 s]
Raw data (loadavg): 0.99 0.97 0.91 3/54 10660
Raw data (stat): 10660 (bsolo_lpr_cuts-) R 10659 25568 25567 0 -1 0 18920 0 0 0 48977 38 0 0 25 0 1 0 909502550 84918272 18840 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20732 18840 1111 63 0 20669 0
vsize: 82928
[startup+500.014 s]
Raw data (loadavg): 0.99 0.97 0.91 3/54 10660
Raw data (stat): 10660 (bsolo_lpr_cuts-) R 10659 25568 25567 0 -1 0 19274 0 0 0 49977 38 0 0 25 0 1 0 909502550 86409216 19194 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21096 19194 1111 63 0 21033 0
vsize: 84384
[startup+510.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10660
Raw data (stat): 10660 (bsolo_lpr_cuts-) R 10659 25568 25567 0 -1 0 19619 0 0 0 50977 39 0 0 25 0 1 0 909502550 87756800 19539 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21425 19539 1111 63 0 21362 0
vsize: 85700
[startup+520.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10660
Raw data (stat): 10660 (bsolo_lpr_cuts-) R 10659 25568 25567 0 -1 0 19971 0 0 0 51976 40 0 0 25 0 1 0 909502550 89247744 19891 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21789 19891 1111 63 0 21726 0
vsize: 87156
[startup+530.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10660
Raw data (stat): 10660 (bsolo_lpr_cuts-) R 10659 25568 25567 0 -1 0 20325 0 0 0 52976 41 0 0 25 0 1 0 909502550 90746880 20245 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22155 20245 1111 63 0 22092 0
vsize: 88620
[startup+540.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10660
Raw data (stat): 10660 (bsolo_lpr_cuts-) R 10659 25568 25567 0 -1 0 20670 0 0 0 53976 41 0 0 25 0 1 0 909502550 92086272 20590 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22482 20590 1111 63 0 22419 0
vsize: 89928
[startup+550.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10660
Raw data (stat): 10660 (bsolo_lpr_cuts-) R 10659 25568 25567 0 -1 0 21022 0 0 0 54976 42 0 0 25 0 1 0 909502550 93577216 20942 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22846 20942 1111 63 0 22783 0
vsize: 91384
[startup+560.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10660
Raw data (stat): 10660 (bsolo_lpr_cuts-) R 10659 25568 25567 0 -1 0 21376 0 0 0 55975 42 0 0 25 0 1 0 909502550 95076352 21296 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23212 21296 1111 63 0 23149 0
vsize: 92848
[startup+570.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10660
Raw data (stat): 10660 (bsolo_lpr_cuts-) R 10659 25568 25567 0 -1 0 21728 0 0 0 56975 43 0 0 25 0 1 0 909502550 96415744 21648 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23539 21648 1111 63 0 23476 0
vsize: 94156
[startup+580.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10660
Raw data (stat): 10660 (bsolo_lpr_cuts-) R 10659 25568 25567 0 -1 0 22073 0 0 0 57975 44 0 0 25 0 1 0 909502550 97906688 21993 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23903 21993 1111 63 0 23840 0
vsize: 95612
[startup+590.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10660
Raw data (stat): 10660 (bsolo_lpr_cuts-) R 10659 25568 25567 0 -1 0 22427 0 0 0 58974 45 0 0 25 0 1 0 909502550 99254272 22347 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24232 22347 1111 63 0 24169 0
vsize: 96928
[startup+600.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10660
Raw data (stat): 10660 (bsolo_lpr_cuts-) R 10659 25568 25567 0 -1 0 22778 0 0 0 59974 45 0 0 25 0 1 0 909502550 100745216 22698 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24596 22698 1111 63 0 24533 0
vsize: 98384
[startup+610.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10660
Raw data (stat): 10660 (bsolo_lpr_cuts-) R 10659 25568 25567 0 -1 0 23130 0 0 0 60973 47 0 0 25 0 1 0 909502550 102236160 23050 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24960 23050 1111 63 0 24897 0
vsize: 99840
[startup+620.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10660
Raw data (stat): 10660 (bsolo_lpr_cuts-) R 10659 25568 25567 0 -1 0 23484 0 0 0 61973 47 0 0 25 0 1 0 909502550 103583744 23404 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25289 23404 1111 63 0 25226 0
vsize: 101156
[startup+630.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10660
Raw data (stat): 10660 (bsolo_lpr_cuts-) R 10659 25568 25567 0 -1 0 23829 0 0 0 62973 48 0 0 25 0 1 0 909502550 105074688 23749 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25653 23749 1111 63 0 25590 0
vsize: 102612
[startup+640.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10660
Raw data (stat): 10660 (bsolo_lpr_cuts-) R 10659 25568 25567 0 -1 0 24181 0 0 0 63972 49 0 0 25 0 1 0 909502550 106565632 24101 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26017 24101 1111 63 0 25954 0
vsize: 104068
[startup+650.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10660
Raw data (stat): 10660 (bsolo_lpr_cuts-) R 10659 25568 25567 0 -1 0 24535 0 0 0 64972 50 0 0 25 0 1 0 909502550 107913216 24455 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26346 24455 1111 63 0 26283 0
vsize: 105384
[startup+660.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10660
Raw data (stat): 10660 (bsolo_lpr_cuts-) R 10659 25568 25567 0 -1 0 24887 0 0 0 65971 50 0 0 25 0 1 0 909502550 109404160 24807 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26710 24807 1111 63 0 26647 0
vsize: 106840
[startup+670.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10660
Raw data (stat): 10660 (bsolo_lpr_cuts-) R 10659 25568 25567 0 -1 0 25238 0 0 0 66971 51 0 0 25 0 1 0 909502550 110895104 25158 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27074 25158 1111 63 0 27011 0
vsize: 108296
[startup+680.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10660
Raw data (stat): 10660 (bsolo_lpr_cuts-) R 10659 25568 25567 0 -1 0 25592 0 0 0 67971 51 0 0 25 0 1 0 909502550 112242688 25512 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27403 25512 1111 63 0 27340 0
vsize: 109612
[startup+690.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10660
Raw data (stat): 10660 (bsolo_lpr_cuts-) R 10659 25568 25567 0 -1 0 25944 0 0 0 68971 52 0 0 25 0 1 0 909502550 113733632 25864 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27767 25864 1111 63 0 27704 0
vsize: 111068
[startup+700.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10660
Raw data (stat): 10660 (bsolo_lpr_cuts-) R 10659 25568 25567 0 -1 0 26304 0 0 0 69971 52 0 0 25 0 1 0 909502550 115208192 26224 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28127 26224 1111 63 0 28064 0
vsize: 112508
[startup+710.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10660
Raw data (stat): 10660 (bsolo_lpr_cuts-) R 10659 25568 25567 0 -1 0 26656 0 0 0 70971 53 0 0 25 0 1 0 909502550 116695040 26576 4294967295 134512640 134716908 3221224560 3221222788 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28490 26576 1111 63 0 28427 0
vsize: 113960
[startup+720.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10660
Raw data (stat): 10660 (bsolo_lpr_cuts-) R 10659 25568 25567 0 -1 0 27007 0 0 0 71971 53 0 0 25 0 1 0 909502550 118038528 26927 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28818 26927 1111 63 0 28755 0
vsize: 115272
[startup+730.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10660
Raw data (stat): 10660 (bsolo_lpr_cuts-) R 10659 25568 25567 0 -1 0 27359 0 0 0 72970 54 0 0 25 0 1 0 909502550 119529472 27279 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29182 27279 1111 63 0 29119 0
vsize: 116728
[startup+740.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10660
Raw data (stat): 10660 (bsolo_lpr_cuts-) R 10659 25568 25567 0 -1 0 27713 0 0 0 73970 55 0 0 25 0 1 0 909502550 121024512 27633 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29547 27633 1111 63 0 29484 0
vsize: 118188
[startup+750.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10660
Raw data (stat): 10660 (bsolo_lpr_cuts-) R 10659 25568 25567 0 -1 0 28064 0 0 0 74970 55 0 0 25 0 1 0 909502550 122368000 27984 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29875 27984 1111 63 0 29812 0
vsize: 119500
[startup+760.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10660
Raw data (stat): 10660 (bsolo_lpr_cuts-) R 10659 25568 25567 0 -1 0 28416 0 0 0 75969 56 0 0 25 0 1 0 909502550 123858944 28336 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30239 28336 1111 63 0 30176 0
vsize: 120956
[startup+770.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10660
Raw data (stat): 10660 (bsolo_lpr_cuts-) R 10659 25568 25567 0 -1 0 28770 0 0 0 76969 57 0 0 25 0 1 0 909502550 125358080 28690 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30605 28690 1111 63 0 30542 0
vsize: 122420
[startup+780.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10660
Raw data (stat): 10660 (bsolo_lpr_cuts-) R 10659 25568 25567 0 -1 0 29121 0 0 0 77969 57 0 0 25 0 1 0 909502550 126697472 29041 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30932 29041 1111 63 0 30869 0
vsize: 123728
[startup+790.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10660
Raw data (stat): 10660 (bsolo_lpr_cuts-) R 10659 25568 25567 0 -1 0 29474 0 0 0 78969 58 0 0 25 0 1 0 909502550 128188416 29394 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31296 29394 1111 63 0 31233 0
vsize: 125184
[startup+800.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10660
Raw data (stat): 10660 (bsolo_lpr_cuts-) R 10659 25568 25567 0 -1 0 29828 0 0 0 79969 58 0 0 25 0 1 0 909502550 129687552 29748 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31662 29748 1111 63 0 31599 0
vsize: 126648
[startup+810.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10660
Raw data (stat): 10660 (bsolo_lpr_cuts-) R 10659 25568 25567 0 -1 0 30180 0 0 0 80969 59 0 0 25 0 1 0 909502550 131026944 30100 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31989 30100 1111 63 0 31926 0
vsize: 127956
[startup+820.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10660
Raw data (stat): 10660 (bsolo_lpr_cuts-) R 10659 25568 25567 0 -1 0 30531 0 0 0 81968 59 0 0 25 0 1 0 909502550 132517888 30451 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32353 30451 1111 63 0 32290 0
vsize: 129412
[startup+830.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10660
Raw data (stat): 10660 (bsolo_lpr_cuts-) R 10659 25568 25567 0 -1 0 30891 0 0 0 82968 60 0 0 25 0 1 0 909502550 134017024 30811 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32719 30811 1111 63 0 32656 0
vsize: 130876
[startup+840.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10660
Raw data (stat): 10660 (bsolo_lpr_cuts-) R 10659 25568 25567 0 -1 0 31243 0 0 0 83967 61 0 0 25 0 1 0 909502550 135507968 31163 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33083 31163 1111 63 0 33020 0
vsize: 132332
[startup+850.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10660
Raw data (stat): 10660 (bsolo_lpr_cuts-) R 10659 25568 25567 0 -1 0 31595 0 0 0 84967 62 0 0 25 0 1 0 909502550 136847360 31515 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33410 31515 1111 63 0 33347 0
vsize: 133640
[startup+860.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10660
Raw data (stat): 10660 (bsolo_lpr_cuts-) R 10659 25568 25567 0 -1 0 31948 0 0 0 85967 62 0 0 25 0 1 0 909502550 138346496 31868 4294967295 134512640 134716908 3221224560 3221222788 1077414424 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33776 31868 1111 63 0 33713 0
vsize: 135104
[startup+870.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10660
Raw data (stat): 10660 (bsolo_lpr_cuts-) R 10659 25568 25567 0 -1 0 32301 0 0 0 86966 63 0 0 25 0 1 0 909502550 139837440 32221 4294967295 134512640 134716908 3221224560 3221222788 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34140 32221 1111 63 0 34077 0
vsize: 136560
[startup+880.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10660
Raw data (stat): 10660 (bsolo_lpr_cuts-) R 10659 25568 25567 0 -1 0 32659 0 0 0 87966 64 0 0 25 0 1 0 909502550 141176832 32579 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34467 32579 1111 63 0 34404 0
vsize: 137868
[startup+890.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10660
Raw data (stat): 10660 (bsolo_lpr_cuts-) R 10659 25568 25567 0 -1 0 33012 0 0 0 88965 65 0 0 25 0 1 0 909502550 142675968 32932 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34833 32932 1111 63 0 34770 0
vsize: 139332
[startup+900.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10660
Raw data (stat): 10660 (bsolo_lpr_cuts-) R 10659 25568 25567 0 -1 0 33364 0 0 0 89965 66 0 0 25 0 1 0 909502550 144166912 33284 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35197 33284 1111 63 0 35134 0
vsize: 140788
[startup+910.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10660
Raw data (stat): 10660 (bsolo_lpr_cuts-) R 10659 25568 25567 0 -1 0 33716 0 0 0 90964 66 0 0 25 0 1 0 909502550 145506304 33636 4294967295 134512640 134716908 3221224560 3221222788 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35524 33636 1111 63 0 35461 0
vsize: 142096
[startup+920.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10660
Raw data (stat): 10660 (bsolo_lpr_cuts-) R 10659 25568 25567 0 -1 0 34075 0 0 0 91965 67 0 0 25 0 1 0 909502550 147005440 33995 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35890 33995 1111 63 0 35827 0
vsize: 143560
[startup+930.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10660
Raw data (stat): 10660 (bsolo_lpr_cuts-) R 10659 25568 25567 0 -1 0 34427 0 0 0 92965 67 0 0 25 0 1 0 909502550 148496384 34347 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36254 34347 1111 63 0 36191 0
vsize: 145016
[startup+940.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10660
Raw data (stat): 10660 (bsolo_lpr_cuts-) R 10659 25568 25567 0 -1 0 34779 0 0 0 93964 68 0 0 25 0 1 0 909502550 149987328 34699 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36618 34699 1111 63 0 36555 0
vsize: 146472
[startup+950.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10660
Raw data (stat): 10660 (bsolo_lpr_cuts-) R 10659 25568 25567 0 -1 0 35138 0 0 0 94964 69 0 0 25 0 1 0 909502550 151334912 35058 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36947 35058 1111 63 0 36884 0
vsize: 147788
[startup+960.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10660
Raw data (stat): 10660 (bsolo_lpr_cuts-) R 10659 25568 25567 0 -1 0 35491 0 0 0 95964 69 0 0 25 0 1 0 909502550 152825856 35411 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37311 35411 1111 63 0 37248 0
vsize: 149244
[startup+970.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10660
Raw data (stat): 10660 (bsolo_lpr_cuts-) R 10659 25568 25567 0 -1 0 35843 0 0 0 96964 70 0 0 25 0 1 0 909502550 154316800 35763 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37675 35763 1111 63 0 37612 0
vsize: 150700
[startup+980.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10660
Raw data (stat): 10660 (bsolo_lpr_cuts-) R 10659 25568 25567 0 -1 0 36202 0 0 0 97964 70 0 0 25 0 1 0 909502550 155811840 36122 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38040 36122 1111 63 0 37977 0
vsize: 152160
[startup+990.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10660
Raw data (stat): 10660 (bsolo_lpr_cuts-) R 10659 25568 25567 0 -1 0 36554 0 0 0 98964 70 0 0 25 0 1 0 909502550 157155328 36474 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38368 36474 1111 63 0 38305 0
vsize: 153472
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10660
Raw data (stat): 10660 (bsolo_lpr_cuts-) R 10659 25568 25567 0 -1 0 36914 0 0 0 99964 71 0 0 25 0 1 0 909502550 158646272 36834 4294967295 134512640 134716908 3221224560 3221222788 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38732 36834 1111 63 0 38669 0
vsize: 154928
[startup+1010.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10660
Raw data (stat): 10660 (bsolo_lpr_cuts-) R 10659 25568 25567 0 -1 0 37265 0 0 0 100963 72 0 0 25 0 1 0 909502550 160141312 37185 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39097 37185 1111 63 0 39034 0
vsize: 156388
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10660
Raw data (stat): 10660 (bsolo_lpr_cuts-) R 10659 25568 25567 0 -1 0 37617 0 0 0 101963 72 0 0 25 0 1 0 909502550 161484800 37537 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39425 37537 1111 63 0 39362 0
vsize: 157700
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10660
Raw data (stat): 10660 (bsolo_lpr_cuts-) R 10659 25568 25567 0 -1 0 37977 0 0 0 102963 73 0 0 25 0 1 0 909502550 162979840 37897 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39790 37897 1111 63 0 39727 0
vsize: 159160
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10660
Raw data (stat): 10660 (bsolo_lpr_cuts-) R 10659 25568 25567 0 -1 0 38329 0 0 0 103962 74 0 0 25 0 1 0 909502550 164470784 38249 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40154 38249 1111 63 0 40091 0
vsize: 160616
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10660
Raw data (stat): 10660 (bsolo_lpr_cuts-) R 10659 25568 25567 0 -1 0 38688 0 0 0 104963 74 0 0 25 0 1 0 909502550 165961728 38608 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40518 38608 1111 63 0 40455 0
vsize: 162072
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10660
Raw data (stat): 10660 (bsolo_lpr_cuts-) R 10659 25568 25567 0 -1 0 39041 0 0 0 105963 74 0 0 25 0 1 0 909502550 167313408 38961 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40848 38961 1111 63 0 40785 0
vsize: 163392
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10660
Raw data (stat): 10660 (bsolo_lpr_cuts-) R 10659 25568 25567 0 -1 0 39399 0 0 0 106962 75 0 0 25 0 1 0 909502550 168804352 39319 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41212 39319 1111 63 0 41149 0
vsize: 164848
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10660
Raw data (stat): 10660 (bsolo_lpr_cuts-) R 10659 25568 25567 0 -1 0 39751 0 0 0 107962 76 0 0 25 0 1 0 909502550 170291200 39671 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41575 39671 1111 63 0 41512 0
vsize: 166300
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10660
Raw data (stat): 10660 (bsolo_lpr_cuts-) R 10659 25568 25567 0 -1 0 40110 0 0 0 108961 77 0 0 25 0 1 0 909502550 171790336 40030 4294967295 134512640 134716908 3221224560 3221222788 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41941 40030 1111 63 0 41878 0
vsize: 167764
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10660
Raw data (stat): 10660 (bsolo_lpr_cuts-) R 10659 25568 25567 0 -1 0 40462 0 0 0 109960 78 0 0 25 0 1 0 909502550 173133824 40382 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42269 40382 1111 63 0 42206 0
vsize: 169076
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10660
Raw data (stat): 10660 (bsolo_lpr_cuts-) R 10659 25568 25567 0 -1 0 40820 0 0 0 110959 80 0 0 25 0 1 0 909502550 174624768 40740 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42633 40740 1111 63 0 42570 0
vsize: 170532
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10660
Raw data (stat): 10660 (bsolo_lpr_cuts-) R 10659 25568 25567 0 -1 0 41179 0 0 0 111959 81 0 0 25 0 1 0 909502550 176119808 41099 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42998 41099 1111 63 0 42935 0
vsize: 171992
[startup+1130.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10660
Raw data (stat): 10660 (bsolo_lpr_cuts-) R 10659 25568 25567 0 -1 0 41531 0 0 0 112958 82 0 0 25 0 1 0 909502550 177610752 41451 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43362 41451 1111 63 0 43299 0
vsize: 173448
[startup+1140.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10660
Raw data (stat): 10660 (bsolo_lpr_cuts-) R 10659 25568 25567 0 -1 0 41890 0 0 0 113958 82 0 0 25 0 1 0 909502550 179101696 41810 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43726 41810 1111 63 0 43663 0
vsize: 174904
[startup+1150.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10660
Raw data (stat): 10660 (bsolo_lpr_cuts-) R 10659 25568 25567 0 -1 0 42243 0 0 0 114958 83 0 0 25 0 1 0 909502550 180449280 42163 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44055 42163 1111 63 0 43992 0
vsize: 176220
[startup+1160.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10660
Raw data (stat): 10660 (bsolo_lpr_cuts-) R 10659 25568 25567 0 -1 0 42601 0 0 0 115957 84 0 0 25 0 1 0 909502550 181940224 42521 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44419 42521 1111 63 0 44356 0
vsize: 177676
[startup+1170.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10660
Raw data (stat): 10660 (bsolo_lpr_cuts-) R 10659 25568 25567 0 -1 0 42959 0 0 0 116956 85 0 0 25 0 1 0 909502550 183431168 42879 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44783 42879 1111 63 0 44720 0
vsize: 179132
[startup+1180.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10660
Raw data (stat): 10660 (bsolo_lpr_cuts-) R 10659 25568 25567 0 -1 0 43313 0 0 0 117956 86 0 0 25 0 1 0 909502550 184930304 43233 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45149 43233 1111 63 0 45086 0
vsize: 180596
[startup+1190.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10660
Raw data (stat): 10660 (bsolo_lpr_cuts-) R 10659 25568 25567 0 -1 0 43670 0 0 0 118956 87 0 0 25 0 1 0 909502550 186269696 43590 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45476 43590 1111 63 0 45413 0
vsize: 181904
[startup+1200.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10660
Raw data (stat): 10660 (bsolo_lpr_cuts-) R 10659 25568 25567 0 -1 0 44028 0 0 0 119956 87 0 0 25 0 1 0 909502550 187760640 43948 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45840 43948 1111 63 0 45777 0
vsize: 183360
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.15 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 10660
Raw data (stat): 10660 (bsolo_lpr_cuts-) Z 10659 25568 25567 0 -1 1036 44028 0 0 0 119956 95 0 0 25 0 1 0 909502550 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.15
CPU time (s): 1200.52
CPU user time (s): 1199.56
CPU system time (s): 0.959854
CPU usage (%): 100.031
Max. virtual memory (Kb): 183360
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####