PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n370d.opb
MD5SUM	5482c063922cabc25678dee80f9b5125
Bench Category	optimization, medium integers (OPTMEDINT)
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	105000
Biggest coefficient in the objective function	4194304
Number of bits for the biggest coefficient in the objective function	23
Sum of the numbers in the objective function	39256355821
Number of bits of the sum of numbers in the objective function	36
Biggest number in a constraint	4194304
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	39256355821
Number of bits of the biggest sum of numbers	36
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.965852
Number of variables	105000
Total number of constraints	5150
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	5150
Minimum length of a constraint	21
Maximum length of a constraint	2000
Trace number 41626

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-09 17:57:17 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29691 boxname=wulflinc5 idbench=1475 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  5482c063922cabc25678dee80f9b5125  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-n370d.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-n370d.opb
IDLAUNCH: 29691
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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.007
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:        748996 kB
Buffers:         25480 kB
Cached:         238200 kB
SwapCached:        636 kB
Active:          34156 kB
Inactive:       231516 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        748744 kB
SwapTotal:     2097136 kB
SwapFree:      2095492 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5076 kB
Slab:            14256 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 18:17:19 (client local time) WITH STATUS 0 IN 1200.28 SECONDS
stats: 29691 7 1200.28 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.97 0.91 2/54 4779
Raw data (stat): 4779 (runsolver) R 4778 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 912249881 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0008 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 4779
Raw data (stat): 4779 (bsolo_lpr_cuts-) R 4778 7266 7265 0 -1 0 1161 0 0 0 994 3 0 0 25 0 1 0 912249881 16052224 1081 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3919 1081 1111 63 0 3856 0
vsize: 15676
[startup+20.0015 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 4779
Raw data (stat): 4779 (bsolo_lpr_cuts-) R 4778 7266 7265 0 -1 0 1407 0 0 0 1994 4 0 0 25 0 1 0 912249881 17178624 1327 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4194 1327 1111 63 0 4131 0
vsize: 16776
[startup+30.0011 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 4779
Raw data (stat): 4779 (bsolo_lpr_cuts-) R 4778 7266 7265 0 -1 0 1664 0 0 0 2993 5 0 0 25 0 1 0 912249881 18178048 1584 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4438 1584 1111 63 0 4375 0
vsize: 17752
[startup+40.0029 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 4779
Raw data (stat): 4779 (bsolo_lpr_cuts-) R 4778 7266 7265 0 -1 0 1912 0 0 0 3993 5 0 0 25 0 1 0 912249881 19165184 1832 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4679 1832 1111 63 0 4616 0
vsize: 18716
[startup+50.0039 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 4779
Raw data (stat): 4779 (bsolo_lpr_cuts-) R 4778 7266 7265 0 -1 0 2166 0 0 0 4992 6 0 0 25 0 1 0 912249881 20291584 2086 4294967295 134512640 134716908 3221224560 3221222788 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4954 2086 1111 63 0 4891 0
vsize: 19816
[startup+60.0033 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 4779
Raw data (stat): 4779 (bsolo_lpr_cuts-) R 4778 7266 7265 0 -1 0 2419 0 0 0 5992 7 0 0 25 0 1 0 912249881 21274624 2339 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5194 2339 1111 63 0 5131 0
vsize: 20776
[startup+70.0041 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 4779
Raw data (stat): 4779 (bsolo_lpr_cuts-) R 4778 7266 7265 0 -1 0 2668 0 0 0 6992 7 0 0 25 0 1 0 912249881 22261760 2588 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5435 2588 1111 63 0 5372 0
vsize: 21740
[startup+80.0049 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 4779
Raw data (stat): 4779 (bsolo_lpr_cuts-) R 4778 7266 7265 0 -1 0 2922 0 0 0 7992 7 0 0 25 0 1 0 912249881 23388160 2842 4294967295 134512640 134716908 3221224560 3221222788 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5710 2842 1111 63 0 5647 0
vsize: 22840
[startup+90.0056 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 4779
Raw data (stat): 4779 (bsolo_lpr_cuts-) R 4778 7266 7265 0 -1 0 3175 0 0 0 8992 8 0 0 25 0 1 0 912249881 24367104 3095 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5949 3095 1111 63 0 5886 0
vsize: 23796
[startup+100.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 4779
Raw data (stat): 4779 (bsolo_lpr_cuts-) R 4778 7266 7265 0 -1 0 3423 0 0 0 9991 8 0 0 25 0 1 0 912249881 25354240 3343 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6190 3343 1111 63 0 6127 0
vsize: 24760
[startup+110.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4779
Raw data (stat): 4779 (bsolo_lpr_cuts-) R 4778 7266 7265 0 -1 0 3688 0 0 0 10992 8 0 0 25 0 1 0 912249881 26488832 3608 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6467 3608 1111 63 0 6404 0
vsize: 25868
[startup+120.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4779
Raw data (stat): 4779 (bsolo_lpr_cuts-) R 4778 7266 7265 0 -1 0 3940 0 0 0 11991 9 0 0 25 0 1 0 912249881 27488256 3860 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6711 3860 1111 63 0 6648 0
vsize: 26844
[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4779
Raw data (stat): 4779 (bsolo_lpr_cuts-) R 4778 7266 7265 0 -1 0 4188 0 0 0 12991 9 0 0 25 0 1 0 912249881 28475392 4108 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6952 4108 1111 63 0 6889 0
vsize: 27808
[startup+140.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4779
Raw data (stat): 4779 (bsolo_lpr_cuts-) R 4778 7266 7265 0 -1 0 4450 0 0 0 13991 9 0 0 25 0 1 0 912249881 29601792 4370 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7227 4370 1111 63 0 7164 0
vsize: 28908
[startup+150.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4779
Raw data (stat): 4779 (bsolo_lpr_cuts-) R 4778 7266 7265 0 -1 0 4699 0 0 0 14991 10 0 0 25 0 1 0 912249881 30584832 4619 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7467 4619 1111 63 0 7404 0
vsize: 29868
[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4779
Raw data (stat): 4779 (bsolo_lpr_cuts-) R 4778 7266 7265 0 -1 0 4952 0 0 0 15990 11 0 0 25 0 1 0 912249881 31711232 4872 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7742 4872 1111 63 0 7679 0
vsize: 30968
[startup+170.016 s]
Raw data (loadavg): 1.07 0.99 0.91 3/57 4823
Raw data (stat): 4779 (bsolo_lpr_cuts-) R 4778 7266 7265 0 -1 0 5208 0 0 0 16990 11 0 0 25 0 1 0 912249881 32694272 5128 4294967295 134512640 134716908 3221224560 3221222788 1077414374 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7982 5128 1111 63 0 7919 0
vsize: 31928
[startup+180.015 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 4832
Raw data (stat): 4779 (bsolo_lpr_cuts-) R 4778 7266 7265 0 -1 0 5469 0 0 0 17987 14 0 0 25 0 1 0 912249881 33820672 5389 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8257 5389 1111 63 0 8194 0
vsize: 33028
[startup+190.016 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 4832
Raw data (stat): 4779 (bsolo_lpr_cuts-) R 4778 7266 7265 0 -1 0 5724 0 0 0 18986 14 0 0 25 0 1 0 912249881 34811904 5644 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8499 5644 1111 63 0 8436 0
vsize: 33996
[startup+200.016 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 4832
Raw data (stat): 4779 (bsolo_lpr_cuts-) R 4778 7266 7265 0 -1 0 5979 0 0 0 19986 15 0 0 25 0 1 0 912249881 35794944 5899 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8739 5899 1111 63 0 8676 0
vsize: 34956
[startup+210.015 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 4832
Raw data (stat): 4779 (bsolo_lpr_cuts-) R 4778 7266 7265 0 -1 0 6240 0 0 0 20985 16 0 0 25 0 1 0 912249881 36921344 6160 4294967295 134512640 134716908 3221224560 3221222788 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9014 6160 1111 63 0 8951 0
vsize: 36056
[startup+220.016 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 4832
Raw data (stat): 4779 (bsolo_lpr_cuts-) R 4778 7266 7265 0 -1 0 6506 0 0 0 21985 16 0 0 25 0 1 0 912249881 38064128 6426 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9293 6426 1111 63 0 9230 0
vsize: 37172
[startup+230.016 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 4832
Raw data (stat): 4779 (bsolo_lpr_cuts-) R 4778 7266 7265 0 -1 0 6762 0 0 0 22984 17 0 0 25 0 1 0 912249881 39043072 6682 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9532 6682 1111 63 0 9469 0
vsize: 38128
[startup+240.017 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 4834
Raw data (stat): 4779 (bsolo_lpr_cuts-) R 4778 7266 7265 0 -1 0 7021 0 0 0 23983 18 0 0 25 0 1 0 912249881 40169472 6941 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9807 6941 1111 63 0 9744 0
vsize: 39228
[startup+250.016 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 4834
Raw data (stat): 4779 (bsolo_lpr_cuts-) R 4778 7266 7265 0 -1 0 7284 0 0 0 24983 19 0 0 25 0 1 0 912249881 41295872 7204 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10082 7204 1111 63 0 10019 0
vsize: 40328
[startup+260.016 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 4834
Raw data (stat): 4779 (bsolo_lpr_cuts-) R 4778 7266 7265 0 -1 0 7546 0 0 0 25982 20 0 0 25 0 1 0 912249881 42283008 7466 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10323 7466 1111 63 0 10260 0
vsize: 41292
[startup+270.016 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 4834
Raw data (stat): 4779 (bsolo_lpr_cuts-) R 4778 7266 7265 0 -1 0 7807 0 0 0 26981 21 0 0 25 0 1 0 912249881 43409408 7727 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10598 7727 1111 63 0 10535 0
vsize: 42392
[startup+280.016 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 4834
Raw data (stat): 4779 (bsolo_lpr_cuts-) R 4778 7266 7265 0 -1 0 8064 0 0 0 27980 22 0 0 25 0 1 0 912249881 44396544 7984 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10839 7984 1111 63 0 10776 0
vsize: 43356
[startup+290.017 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 4834
Raw data (stat): 4779 (bsolo_lpr_cuts-) R 4778 7266 7265 0 -1 0 8326 0 0 0 28979 23 0 0 25 0 1 0 912249881 45522944 8246 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11114 8246 1111 63 0 11051 0
vsize: 44456
[startup+300.017 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 4834
Raw data (stat): 4779 (bsolo_lpr_cuts-) R 4778 7266 7265 0 -1 0 8594 0 0 0 29978 24 0 0 25 0 1 0 912249881 46649344 8514 4294967295 134512640 134716908 3221224560 3221223216 134527941 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11389 8514 1111 63 0 11326 0
vsize: 45556
[startup+310.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4834
Raw data (stat): 4779 (bsolo_lpr_cuts-) R 4778 7266 7265 0 -1 0 8857 0 0 0 30978 25 0 0 25 0 1 0 912249881 47636480 8777 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11630 8777 1111 63 0 11567 0
vsize: 46520
[startup+320.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4834
Raw data (stat): 4779 (bsolo_lpr_cuts-) R 4778 7266 7265 0 -1 0 9118 0 0 0 31977 26 0 0 25 0 1 0 912249881 48762880 9038 4294967295 134512640 134716908 3221224560 3221222788 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11905 9038 1111 63 0 11842 0
vsize: 47620
[startup+330.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4834
Raw data (stat): 4779 (bsolo_lpr_cuts-) R 4778 7266 7265 0 -1 0 9380 0 0 0 32976 26 0 0 25 0 1 0 912249881 49741824 9300 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12144 9300 1111 63 0 12081 0
vsize: 48576
[startup+340.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4834
Raw data (stat): 4779 (bsolo_lpr_cuts-) R 4778 7266 7265 0 -1 0 9642 0 0 0 33976 27 0 0 25 0 1 0 912249881 50868224 9562 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12419 9562 1111 63 0 12356 0
vsize: 49676
[startup+350.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4834
Raw data (stat): 4779 (bsolo_lpr_cuts-) R 4778 7266 7265 0 -1 0 9905 0 0 0 34975 28 0 0 25 0 1 0 912249881 51998720 9825 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12695 9825 1111 63 0 12632 0
vsize: 50780
[startup+360.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4834
Raw data (stat): 4779 (bsolo_lpr_cuts-) R 4778 7266 7265 0 -1 0 10173 0 0 0 35975 29 0 0 25 0 1 0 912249881 52985856 10093 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12936 10093 1111 63 0 12873 0
vsize: 51744
[startup+370.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4834
Raw data (stat): 4779 (bsolo_lpr_cuts-) R 4778 7266 7265 0 -1 0 10441 0 0 0 36974 29 0 0 25 0 1 0 912249881 54112256 10361 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13211 10361 1111 63 0 13148 0
vsize: 52844
[startup+380.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4834
Raw data (stat): 4779 (bsolo_lpr_cuts-) R 4778 7266 7265 0 -1 0 10704 0 0 0 37974 30 0 0 25 0 1 0 912249881 55238656 10624 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13486 10624 1111 63 0 13423 0
vsize: 53944
[startup+390.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4834
Raw data (stat): 4779 (bsolo_lpr_cuts-) R 4778 7266 7265 0 -1 0 10973 0 0 0 38973 31 0 0 25 0 1 0 912249881 56365056 10893 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13761 10893 1111 63 0 13698 0
vsize: 55044
[startup+400.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4834
Raw data (stat): 4779 (bsolo_lpr_cuts-) R 4778 7266 7265 0 -1 0 11241 0 0 0 39973 31 0 0 25 0 1 0 912249881 57352192 11161 4294967295 134512640 134716908 3221224560 3221222788 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14002 11161 1111 63 0 13939 0
vsize: 56008
[startup+410.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4834
Raw data (stat): 4779 (bsolo_lpr_cuts-) R 4778 7266 7265 0 -1 0 11503 0 0 0 40972 32 0 0 25 0 1 0 912249881 58478592 11423 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14277 11423 1111 63 0 14214 0
vsize: 57108
[startup+420.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4834
Raw data (stat): 4779 (bsolo_lpr_cuts-) R 4778 7266 7265 0 -1 0 11778 0 0 0 41972 33 0 0 25 0 1 0 912249881 59604992 11698 4294967295 134512640 134716908 3221224560 3221222788 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14552 11698 1111 63 0 14489 0
vsize: 58208
[startup+430.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4834
Raw data (stat): 4779 (bsolo_lpr_cuts-) R 4778 7266 7265 0 -1 0 12056 0 0 0 42971 34 0 0 25 0 1 0 912249881 60809216 11976 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14846 11976 1111 63 0 14783 0
vsize: 59384
[startup+440.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4834
Raw data (stat): 4779 (bsolo_lpr_cuts-) R 4778 7266 7265 0 -1 0 12332 0 0 0 43970 35 0 0 25 0 1 0 912249881 61931520 12252 4294967295 134512640 134716908 3221224560 3221222788 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15120 12252 1111 63 0 15057 0
vsize: 60480
[startup+450.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4834
Raw data (stat): 4779 (bsolo_lpr_cuts-) R 4778 7266 7265 0 -1 0 12594 0 0 0 44970 35 0 0 25 0 1 0 912249881 63057920 12514 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15395 12514 1111 63 0 15332 0
vsize: 61580
[startup+460.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4834
Raw data (stat): 4779 (bsolo_lpr_cuts-) R 4778 7266 7265 0 -1 0 12869 0 0 0 45969 36 0 0 25 0 1 0 912249881 64184320 12789 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15670 12789 1111 63 0 15607 0
vsize: 62680
[startup+470.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4834
Raw data (stat): 4779 (bsolo_lpr_cuts-) R 4778 7266 7265 0 -1 0 13139 0 0 0 46969 37 0 0 25 0 1 0 912249881 65310720 13059 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15945 13059 1111 63 0 15882 0
vsize: 63780
[startup+480.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4834
Raw data (stat): 4779 (bsolo_lpr_cuts-) R 4778 7266 7265 0 -1 0 13408 0 0 0 47968 38 0 0 25 0 1 0 912249881 66437120 13328 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16220 13328 1111 63 0 16157 0
vsize: 64880
[startup+490.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4834
Raw data (stat): 4779 (bsolo_lpr_cuts-) R 4778 7266 7265 0 -1 0 13683 0 0 0 48967 39 0 0 25 0 1 0 912249881 67567616 13603 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16496 13603 1111 63 0 16433 0
vsize: 65984
[startup+500.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4834
Raw data (stat): 4779 (bsolo_lpr_cuts-) R 4778 7266 7265 0 -1 0 13959 0 0 0 49967 39 0 0 25 0 1 0 912249881 68694016 13879 4294967295 134512640 134716908 3221224560 3221222788 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16771 13879 1111 63 0 16708 0
vsize: 67084
[startup+510.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4836
Raw data (stat): 4779 (bsolo_lpr_cuts-) R 4778 7266 7265 0 -1 0 14229 0 0 0 50966 40 0 0 25 0 1 0 912249881 69681152 14149 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17012 14149 1111 63 0 16949 0
vsize: 68048
[startup+520.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4836
Raw data (stat): 4779 (bsolo_lpr_cuts-) R 4778 7266 7265 0 -1 0 14504 0 0 0 51965 41 0 0 25 0 1 0 912249881 70807552 14424 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17287 14424 1111 63 0 17224 0
vsize: 69148
[startup+530.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4836
Raw data (stat): 4779 (bsolo_lpr_cuts-) R 4778 7266 7265 0 -1 0 14774 0 0 0 52965 42 0 0 25 0 1 0 912249881 71933952 14694 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17562 14694 1111 63 0 17499 0
vsize: 70248
[startup+540.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4836
Raw data (stat): 4779 (bsolo_lpr_cuts-) R 4778 7266 7265 0 -1 0 15049 0 0 0 53964 43 0 0 25 0 1 0 912249881 73060352 14969 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17837 14969 1111 63 0 17774 0
vsize: 71348
[startup+550.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4836
Raw data (stat): 4779 (bsolo_lpr_cuts-) R 4778 7266 7265 0 -1 0 15325 0 0 0 54964 43 0 0 25 0 1 0 912249881 74186752 15245 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18112 15245 1111 63 0 18049 0
vsize: 72448
[startup+560.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4836
Raw data (stat): 4779 (bsolo_lpr_cuts-) R 4778 7266 7265 0 -1 0 15602 0 0 0 55963 44 0 0 25 0 1 0 912249881 75309056 15522 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18386 15522 1111 63 0 18323 0
vsize: 73544
[startup+570.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4836
Raw data (stat): 4779 (bsolo_lpr_cuts-) R 4778 7266 7265 0 -1 0 15882 0 0 0 56962 45 0 0 25 0 1 0 912249881 76435456 15802 4294967295 134512640 134716908 3221224560 3221222788 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18661 15802 1111 63 0 18598 0
vsize: 74644
[startup+580.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4836
Raw data (stat): 4779 (bsolo_lpr_cuts-) R 4778 7266 7265 0 -1 0 16159 0 0 0 57962 46 0 0 25 0 1 0 912249881 77561856 16079 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18936 16079 1111 63 0 18873 0
vsize: 75744
[startup+590.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4836
Raw data (stat): 4779 (bsolo_lpr_cuts-) R 4778 7266 7265 0 -1 0 16434 0 0 0 58962 46 0 0 25 0 1 0 912249881 78688256 16354 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19211 16354 1111 63 0 19148 0
vsize: 76844
[startup+600.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4836
Raw data (stat): 4779 (bsolo_lpr_cuts-) R 4778 7266 7265 0 -1 0 16716 0 0 0 59961 47 0 0 25 0 1 0 912249881 79953920 16636 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19520 16636 1111 63 0 19457 0
vsize: 78080
[startup+610.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4836
Raw data (stat): 4779 (bsolo_lpr_cuts-) R 4778 7266 7265 0 -1 0 16993 0 0 0 60960 48 0 0 25 0 1 0 912249881 81080320 16913 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19795 16913 1111 63 0 19732 0
vsize: 79180
[startup+620.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4836
Raw data (stat): 4779 (bsolo_lpr_cuts-) R 4778 7266 7265 0 -1 0 17275 0 0 0 61960 48 0 0 25 0 1 0 912249881 82206720 17195 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20070 17195 1111 63 0 20007 0
vsize: 80280
[startup+630.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4836
Raw data (stat): 4779 (bsolo_lpr_cuts-) R 4778 7266 7265 0 -1 0 17558 0 0 0 62959 49 0 0 25 0 1 0 912249881 83333120 17478 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20345 17478 1111 63 0 20282 0
vsize: 81380
[startup+640.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4836
Raw data (stat): 4779 (bsolo_lpr_cuts-) R 4778 7266 7265 0 -1 0 17834 0 0 0 63958 50 0 0 25 0 1 0 912249881 84459520 17754 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20620 17754 1111 63 0 20557 0
vsize: 82480
[startup+650.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4836
Raw data (stat): 4779 (bsolo_lpr_cuts-) R 4778 7266 7265 0 -1 0 18117 0 0 0 64957 51 0 0 25 0 1 0 912249881 85590016 18037 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20896 18037 1111 63 0 20833 0
vsize: 83584
[startup+660.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4836
Raw data (stat): 4779 (bsolo_lpr_cuts-) R 4778 7266 7265 0 -1 0 18400 0 0 0 65956 53 0 0 25 0 1 0 912249881 86716416 18320 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21171 18320 1111 63 0 21108 0
vsize: 84684
[startup+670.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4836
Raw data (stat): 4779 (bsolo_lpr_cuts-) R 4778 7266 7265 0 -1 0 18689 0 0 0 66955 54 0 0 25 0 1 0 912249881 87982080 18609 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21480 18609 1111 63 0 21417 0
vsize: 85920
[startup+680.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4836
Raw data (stat): 4779 (bsolo_lpr_cuts-) R 4778 7266 7265 0 -1 0 18966 0 0 0 67955 54 0 0 25 0 1 0 912249881 89108480 18886 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21755 18886 1111 63 0 21692 0
vsize: 87020
[startup+690.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4836
Raw data (stat): 4779 (bsolo_lpr_cuts-) R 4778 7266 7265 0 -1 0 19254 0 0 0 68954 55 0 0 25 0 1 0 912249881 90234880 19174 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22030 19174 1111 63 0 21967 0
vsize: 88120
[startup+700.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4836
Raw data (stat): 4779 (bsolo_lpr_cuts-) R 4778 7266 7265 0 -1 0 19543 0 0 0 69954 56 0 0 25 0 1 0 912249881 91500544 19463 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22339 19463 1111 63 0 22276 0
vsize: 89356
[startup+710.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4836
Raw data (stat): 4779 (bsolo_lpr_cuts-) R 4778 7266 7265 0 -1 0 19821 0 0 0 70953 57 0 0 25 0 1 0 912249881 92631040 19741 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22615 19741 1111 63 0 22552 0
vsize: 90460
[startup+720.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4836
Raw data (stat): 4779 (bsolo_lpr_cuts-) R 4778 7266 7265 0 -1 0 20110 0 0 0 71952 58 0 0 25 0 1 0 912249881 93757440 20030 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22890 20030 1111 63 0 22827 0
vsize: 91560
[startup+730.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4836
Raw data (stat): 4779 (bsolo_lpr_cuts-) R 4778 7266 7265 0 -1 0 20399 0 0 0 72952 58 0 0 25 0 1 0 912249881 94883840 20319 4294967295 134512640 134716908 3221224560 3221222788 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23165 20319 1111 63 0 23102 0
vsize: 92660
[startup+740.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4836
Raw data (stat): 4779 (bsolo_lpr_cuts-) R 4778 7266 7265 0 -1 0 20682 0 0 0 73952 58 0 0 25 0 1 0 912249881 96149504 20602 4294967295 134512640 134716908 3221224560 3221222788 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23474 20602 1111 63 0 23411 0
vsize: 93896
[startup+750.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4836
Raw data (stat): 4779 (bsolo_lpr_cuts-) R 4778 7266 7265 0 -1 0 20972 0 0 0 74951 59 0 0 25 0 1 0 912249881 97275904 20892 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23749 20892 1111 63 0 23686 0
vsize: 94996
[startup+760.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4836
Raw data (stat): 4779 (bsolo_lpr_cuts-) R 4778 7266 7265 0 -1 0 21261 0 0 0 75951 60 0 0 25 0 1 0 912249881 98402304 21181 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24024 21181 1111 63 0 23961 0
vsize: 96096
[startup+770.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4836
Raw data (stat): 4779 (bsolo_lpr_cuts-) R 4778 7266 7265 0 -1 0 21551 0 0 0 76951 60 0 0 25 0 1 0 912249881 99672064 21471 4294967295 134512640 134716908 3221224560 3221222788 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24334 21471 1111 63 0 24271 0
vsize: 97336
[startup+780.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4836
Raw data (stat): 4779 (bsolo_lpr_cuts-) R 4778 7266 7265 0 -1 0 21841 0 0 0 77950 61 0 0 25 0 1 0 912249881 100798464 21761 4294967295 134512640 134716908 3221224560 3221222788 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24609 21761 1111 63 0 24546 0
vsize: 98436
[startup+790.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4836
Raw data (stat): 4779 (bsolo_lpr_cuts-) R 4778 7266 7265 0 -1 0 22130 0 0 0 78950 62 0 0 25 0 1 0 912249881 102064128 22050 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24918 22050 1111 63 0 24855 0
vsize: 99672
[startup+800.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4836
Raw data (stat): 4779 (bsolo_lpr_cuts-) R 4778 7266 7265 0 -1 0 22426 0 0 0 79949 63 0 0 25 0 1 0 912249881 103190528 22346 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25193 22346 1111 63 0 25130 0
vsize: 100772
[startup+810.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4836
Raw data (stat): 4779 (bsolo_lpr_cuts-) R 4778 7266 7265 0 -1 0 22715 0 0 0 80948 63 0 0 25 0 1 0 912249881 104456192 22635 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25502 22635 1111 63 0 25439 0
vsize: 102008
[startup+820.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4836
Raw data (stat): 4779 (bsolo_lpr_cuts-) R 4778 7266 7265 0 -1 0 23004 0 0 0 81948 64 0 0 25 0 1 0 912249881 105582592 22924 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25777 22924 1111 63 0 25714 0
vsize: 103108
[startup+830.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4836
Raw data (stat): 4779 (bsolo_lpr_cuts-) R 4778 7266 7265 0 -1 0 23327 0 0 0 82947 65 0 0 25 0 1 0 912249881 107212800 23247 4294967295 134512640 134716908 3221224560 3221222788 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26175 23247 1111 63 0 26112 0
vsize: 104700
[startup+840.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4836
Raw data (stat): 4779 (bsolo_lpr_cuts-) R 4778 7266 7265 0 -1 0 23623 0 0 0 83947 65 0 0 25 0 1 0 912249881 108339200 23543 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26450 23543 1111 63 0 26387 0
vsize: 105800
[startup+850.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4836
Raw data (stat): 4779 (bsolo_lpr_cuts-) R 4778 7266 7265 0 -1 0 23919 0 0 0 84946 66 0 0 25 0 1 0 912249881 109604864 23839 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26759 23839 1111 63 0 26696 0
vsize: 107036
[startup+860.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4836
Raw data (stat): 4779 (bsolo_lpr_cuts-) R 4778 7266 7265 0 -1 0 24215 0 0 0 85946 67 0 0 25 0 1 0 912249881 110731264 24135 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27034 24135 1111 63 0 26971 0
vsize: 108136
[startup+870.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4836
Raw data (stat): 4779 (bsolo_lpr_cuts-) R 4778 7266 7265 0 -1 0 24512 0 0 0 86944 69 0 0 25 0 1 0 912249881 111996928 24432 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27343 24432 1111 63 0 27280 0
vsize: 109372
[startup+880.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4836
Raw data (stat): 4779 (bsolo_lpr_cuts-) R 4778 7266 7265 0 -1 0 24808 0 0 0 87944 69 0 0 25 0 1 0 912249881 113266688 24728 4294967295 134512640 134716908 3221224560 3221222788 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27653 24728 1111 63 0 27590 0
vsize: 110612
[startup+890.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4836
Raw data (stat): 4779 (bsolo_lpr_cuts-) R 4778 7266 7265 0 -1 0 25105 0 0 0 88944 70 0 0 25 0 1 0 912249881 114393088 25025 4294967295 134512640 134716908 3221224560 3221222788 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27928 25025 1111 63 0 27865 0
vsize: 111712
[startup+900.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4836
Raw data (stat): 4779 (bsolo_lpr_cuts-) R 4778 7266 7265 0 -1 0 25401 0 0 0 89943 71 0 0 25 0 1 0 912249881 115658752 25321 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28237 25321 1111 63 0 28174 0
vsize: 112948
[startup+910.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4836
Raw data (stat): 4779 (bsolo_lpr_cuts-) R 4778 7266 7265 0 -1 0 25698 0 0 0 90941 72 0 0 25 0 1 0 912249881 116785152 25618 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28512 25618 1111 63 0 28449 0
vsize: 114048
[startup+920.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4836
Raw data (stat): 4779 (bsolo_lpr_cuts-) R 4778 7266 7265 0 -1 0 26001 0 0 0 91941 73 0 0 25 0 1 0 912249881 118054912 25921 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28822 25921 1111 63 0 28759 0
vsize: 115288
[startup+930.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4836
Raw data (stat): 4779 (bsolo_lpr_cuts-) R 4778 7266 7265 0 -1 0 26297 0 0 0 92941 73 0 0 25 0 1 0 912249881 119320576 26217 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29131 26217 1111 63 0 29068 0
vsize: 116524
[startup+940.035 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4836
Raw data (stat): 4779 (bsolo_lpr_cuts-) R 4778 7266 7265 0 -1 0 26595 0 0 0 93941 74 0 0 25 0 1 0 912249881 120446976 26515 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29406 26515 1111 63 0 29343 0
vsize: 117624
[startup+950.035 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4836
Raw data (stat): 4779 (bsolo_lpr_cuts-) R 4778 7266 7265 0 -1 0 26897 0 0 0 94940 75 0 0 25 0 1 0 912249881 121712640 26817 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29715 26817 1111 63 0 29652 0
vsize: 118860
[startup+960.035 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4836
Raw data (stat): 4779 (bsolo_lpr_cuts-) R 4778 7266 7265 0 -1 0 27202 0 0 0 95939 76 0 0 25 0 1 0 912249881 122978304 27122 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30024 27122 1111 63 0 29961 0
vsize: 120096
[startup+970.035 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4836
Raw data (stat): 4779 (bsolo_lpr_cuts-) R 4778 7266 7265 0 -1 0 27504 0 0 0 96938 77 0 0 25 0 1 0 912249881 124248064 27424 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30334 27424 1111 63 0 30271 0
vsize: 121336
[startup+980.035 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4836
Raw data (stat): 4779 (bsolo_lpr_cuts-) R 4778 7266 7265 0 -1 0 27808 0 0 0 97937 78 0 0 25 0 1 0 912249881 125513728 27728 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30643 27728 1111 63 0 30580 0
vsize: 122572
[startup+990.036 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4836
Raw data (stat): 4779 (bsolo_lpr_cuts-) R 4778 7266 7265 0 -1 0 28118 0 0 0 98937 79 0 0 25 0 1 0 912249881 126783488 28038 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30953 28038 1111 63 0 30890 0
vsize: 123812
[startup+1000.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4836
Raw data (stat): 4779 (bsolo_lpr_cuts-) R 4778 7266 7265 0 -1 0 28421 0 0 0 99936 79 0 0 25 0 1 0 912249881 127909888 28341 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31228 28341 1111 63 0 31165 0
vsize: 124912
[startup+1010.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4836
Raw data (stat): 4779 (bsolo_lpr_cuts-) R 4778 7266 7265 0 -1 0 28732 0 0 0 100935 81 0 0 25 0 1 0 912249881 129175552 28652 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31537 28652 1111 63 0 31474 0
vsize: 126148
[startup+1020.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4836
Raw data (stat): 4779 (bsolo_lpr_cuts-) R 4778 7266 7265 0 -1 0 29034 0 0 0 101936 81 0 0 25 0 1 0 912249881 130441216 28954 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31846 28954 1111 63 0 31783 0
vsize: 127384
[startup+1030.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4836
Raw data (stat): 4779 (bsolo_lpr_cuts-) R 4778 7266 7265 0 -1 0 29352 0 0 0 102935 82 0 0 25 0 1 0 912249881 131706880 29272 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32155 29272 1111 63 0 32092 0
vsize: 128620
[startup+1040.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4836
Raw data (stat): 4779 (bsolo_lpr_cuts-) R 4778 7266 7265 0 -1 0 29655 0 0 0 103934 83 0 0 25 0 1 0 912249881 132976640 29575 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32465 29575 1111 63 0 32402 0
vsize: 129860
[startup+1050.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4836
Raw data (stat): 4779 (bsolo_lpr_cuts-) R 4778 7266 7265 0 -1 0 29965 0 0 0 104933 84 0 0 25 0 1 0 912249881 134242304 29885 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32774 29885 1111 63 0 32711 0
vsize: 131096
[startup+1060.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4836
Raw data (stat): 4779 (bsolo_lpr_cuts-) R 4778 7266 7265 0 -1 0 30274 0 0 0 105933 85 0 0 25 0 1 0 912249881 135507968 30194 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33083 30194 1111 63 0 33020 0
vsize: 132332
[startup+1070.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4836
Raw data (stat): 4779 (bsolo_lpr_cuts-) R 4778 7266 7265 0 -1 0 30584 0 0 0 106932 86 0 0 25 0 1 0 912249881 136773632 30504 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33392 30504 1111 63 0 33329 0
vsize: 133568
[startup+1080.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4836
Raw data (stat): 4779 (bsolo_lpr_cuts-) R 4778 7266 7265 0 -1 0 30895 0 0 0 107931 86 0 0 25 0 1 0 912249881 138043392 30815 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33702 30815 1111 63 0 33639 0
vsize: 134808
[startup+1090.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4836
Raw data (stat): 4779 (bsolo_lpr_cuts-) R 4778 7266 7265 0 -1 0 31204 0 0 0 108931 87 0 0 25 0 1 0 912249881 139309056 31124 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34011 31124 1111 63 0 33948 0
vsize: 136044
[startup+1100.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4836
Raw data (stat): 4779 (bsolo_lpr_cuts-) R 4778 7266 7265 0 -1 0 31517 0 0 0 109931 87 0 0 25 0 1 0 912249881 140578816 31437 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34321 31437 1111 63 0 34258 0
vsize: 137284
[startup+1110.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4836
Raw data (stat): 4779 (bsolo_lpr_cuts-) R 4778 7266 7265 0 -1 0 31833 0 0 0 110931 88 0 0 25 0 1 0 912249881 141848576 31753 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34631 31753 1111 63 0 34568 0
vsize: 138524
[startup+1120.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4836
Raw data (stat): 4779 (bsolo_lpr_cuts-) R 4778 7266 7265 0 -1 0 32145 0 0 0 111930 88 0 0 25 0 1 0 912249881 143118336 32065 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34941 32065 1111 63 0 34878 0
vsize: 139764
[startup+1130.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4836
Raw data (stat): 4779 (bsolo_lpr_cuts-) R 4778 7266 7265 0 -1 0 32460 0 0 0 112929 89 0 0 25 0 1 0 912249881 144523264 32380 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35284 32380 1111 63 0 35221 0
vsize: 141136
[startup+1140.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4836
Raw data (stat): 4779 (bsolo_lpr_cuts-) R 4778 7266 7265 0 -1 0 32772 0 0 0 113929 90 0 0 25 0 1 0 912249881 145788928 32692 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35593 32692 1111 63 0 35530 0
vsize: 142372
[startup+1150.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4836
Raw data (stat): 4779 (bsolo_lpr_cuts-) R 4778 7266 7265 0 -1 0 33088 0 0 0 114929 90 0 0 25 0 1 0 912249881 147058688 33008 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35903 33008 1111 63 0 35840 0
vsize: 143612
[startup+1160.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4836
Raw data (stat): 4779 (bsolo_lpr_cuts-) R 4778 7266 7265 0 -1 0 33405 0 0 0 115928 91 0 0 25 0 1 0 912249881 148324352 33325 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36212 33325 1111 63 0 36149 0
vsize: 144848
[startup+1170.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4836
Raw data (stat): 4779 (bsolo_lpr_cuts-) R 4778 7266 7265 0 -1 0 33723 0 0 0 116927 92 0 0 25 0 1 0 912249881 149590016 33643 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36521 33643 1111 63 0 36458 0
vsize: 146084
[startup+1180.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4836
Raw data (stat): 4779 (bsolo_lpr_cuts-) R 4778 7266 7265 0 -1 0 34045 0 0 0 117927 93 0 0 25 0 1 0 912249881 150999040 33965 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36865 33965 1111 63 0 36802 0
vsize: 147460
[startup+1190.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4836
Raw data (stat): 4779 (bsolo_lpr_cuts-) R 4778 7266 7265 0 -1 0 34370 0 0 0 118926 94 0 0 25 0 1 0 912249881 152264704 34290 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37174 34290 1111 63 0 37111 0
vsize: 148696
[startup+1200.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4836
Raw data (stat): 4779 (bsolo_lpr_cuts-) R 4778 7266 7265 0 -1 0 34686 0 0 0 119926 95 0 0 25 0 1 0 912249881 153530368 34606 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37483 34606 1111 63 0 37420 0
vsize: 149932
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.12 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 4836
Raw data (stat): 4779 (bsolo_lpr_cuts-) Z 4778 7266 7265 0 -1 1036 34686 0 0 0 119926 101 0 0 25 0 1 0 912249881 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.12
CPU time (s): 1200.28
CPU user time (s): 1199.26
CPU system time (s): 1.01384
CPU usage (%): 100.013
Max. virtual memory (Kb): 149932
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####