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/milp/normalized-mps-v2-13-7-neos9.opb
MD5SUM	450ad3720278f8a937b0ae6f1c4dfd6d
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	145051
Biggest coefficient in the objective function	128
Number of bits for the biggest coefficient in the objective function	8
Sum of the numbers in the objective function	4825267
Number of bits of the sum of numbers in the objective function	23
Biggest number in a constraint	3840
Number of bits of the biggest number in a constraint	12
Biggest sum of numbers in a constraint	4825267
Number of bits of the biggest sum of numbers	23
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	6.26005
Number of variables	636571
Total number of constraints	113008
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	2186
Number of constraints which are nor clauses,nor cardinality constraints	110822
Minimum length of a constraint	1
Maximum length of a constraint	10240
Trace number 41675

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        713616 kB
Buffers:         24136 kB
Cached:         275256 kB
SwapCached:       1440 kB
Active:          76000 kB
Inactive:       225428 kB
HighTotal:      131008 kB
HighFree:          280 kB
LowTotal:       903652 kB
LowFree:        713336 kB
SwapTotal:     2097136 kB
SwapFree:      2094656 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4976 kB
Slab:            13880 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 19:49:26 (client local time) WITH STATUS 0 IN 1200.3 SECONDS
stats: 29737 7 1200.3 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): 1.03 1.01 0.93 2/54 32342
Raw data (stat): 32342 (runsolver) R 32341 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 912806341 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0011 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 32342
Raw data (stat): 32342 (bsolo_lpr_cuts-) R 32341 31399 31398 0 -1 0 2686 0 0 0 989 8 0 0 25 0 1 0 912806341 21798912 2606 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5322 2606 1111 63 0 5259 0
vsize: 21288
[startup+20.0014 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 32342
Raw data (stat): 32342 (bsolo_lpr_cuts-) R 32341 31399 31398 0 -1 0 4375 0 0 0 1987 11 0 0 25 0 1 0 912806341 28819456 4295 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7036 4295 1111 63 0 6973 0
vsize: 28144
[startup+30.0011 s]
Raw data (loadavg): 1.02 1.00 0.93 2/54 32342
Raw data (stat): 32342 (bsolo_lpr_cuts-) R 32341 31399 31398 0 -1 0 6065 0 0 0 2982 15 0 0 25 0 1 0 912806341 35688448 5985 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8713 5985 1111 63 0 8650 0
vsize: 34852
[startup+40.003 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 32342
Raw data (stat): 32342 (bsolo_lpr_cuts-) R 32341 31399 31398 0 -1 0 7762 0 0 0 3979 19 0 0 25 0 1 0 912806341 42692608 7682 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10423 7682 1111 63 0 10360 0
vsize: 41692
[startup+50.0035 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 32342
Raw data (stat): 32342 (bsolo_lpr_cuts-) R 32341 31399 31398 0 -1 0 9463 0 0 0 4975 23 0 0 25 0 1 0 912806341 49561600 9383 4294967295 134512640 134716908 3221224560 3221222788 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12100 9383 1111 63 0 12037 0
vsize: 48400
[startup+60.0042 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 32342
Raw data (stat): 32342 (bsolo_lpr_cuts-) R 32341 31399 31398 0 -1 0 11163 0 0 0 5972 26 0 0 25 0 1 0 912806341 56573952 11083 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13812 11083 1111 63 0 13749 0
vsize: 55248
[startup+70.0043 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 32342
Raw data (stat): 32342 (bsolo_lpr_cuts-) R 32341 31399 31398 0 -1 0 12865 0 0 0 6970 28 0 0 25 0 1 0 912806341 63594496 12785 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15526 12785 1111 63 0 15463 0
vsize: 62104
[startup+80.0046 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 32342
Raw data (stat): 32342 (bsolo_lpr_cuts-) R 32341 31399 31398 0 -1 0 14003 0 0 0 7968 30 0 0 25 0 1 0 912806341 68227072 13923 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16657 13923 1111 63 0 16594 0
vsize: 66628
[startup+90.0043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32342
Raw data (stat): 32342 (bsolo_lpr_cuts-) R 32341 31399 31398 0 -1 0 14447 0 0 0 8967 32 0 0 25 0 1 0 912806341 70074368 14367 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17108 14367 1111 63 0 17045 0
vsize: 68432
[startup+100.005 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32342
Raw data (stat): 32342 (bsolo_lpr_cuts-) R 32341 31399 31398 0 -1 0 14904 0 0 0 9966 33 0 0 25 0 1 0 912806341 71917568 14824 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17558 14824 1111 63 0 17495 0
vsize: 70232
[startup+110.006 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32342
Raw data (stat): 32342 (bsolo_lpr_cuts-) R 32341 31399 31398 0 -1 0 15348 0 0 0 10965 34 0 0 25 0 1 0 912806341 73764864 15268 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18009 15268 1111 63 0 17946 0
vsize: 72036
[startup+120.006 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32342
Raw data (stat): 32342 (bsolo_lpr_cuts-) R 32341 31399 31398 0 -1 0 15805 0 0 0 11964 35 0 0 25 0 1 0 912806341 75608064 15725 4294967295 134512640 134716908 3221224560 3221222788 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18459 15725 1111 63 0 18396 0
vsize: 73836
[startup+130.007 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32342
Raw data (stat): 32342 (bsolo_lpr_cuts-) R 32341 31399 31398 0 -1 0 16250 0 0 0 12964 35 0 0 25 0 1 0 912806341 77455360 16170 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18910 16170 1111 63 0 18847 0
vsize: 75640
[startup+140.007 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32342
Raw data (stat): 32342 (bsolo_lpr_cuts-) R 32341 31399 31398 0 -1 0 16705 0 0 0 13962 37 0 0 25 0 1 0 912806341 79319040 16625 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19365 16625 1111 63 0 19302 0
vsize: 77460
[startup+150.007 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32342
Raw data (stat): 32342 (bsolo_lpr_cuts-) R 32341 31399 31398 0 -1 0 17169 0 0 0 14961 38 0 0 25 0 1 0 912806341 81137664 17089 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19809 17089 1111 63 0 19746 0
vsize: 79236
[startup+160.009 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32342
Raw data (stat): 32342 (bsolo_lpr_cuts-) R 32341 31399 31398 0 -1 0 17614 0 0 0 15961 39 0 0 25 0 1 0 912806341 82980864 17534 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20259 17534 1111 63 0 20196 0
vsize: 81036
[startup+170.009 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32342
Raw data (stat): 32342 (bsolo_lpr_cuts-) R 32341 31399 31398 0 -1 0 18070 0 0 0 16960 40 0 0 25 0 1 0 912806341 84828160 17990 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20710 17990 1111 63 0 20647 0
vsize: 82840
[startup+180.009 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32342
Raw data (stat): 32342 (bsolo_lpr_cuts-) R 32341 31399 31398 0 -1 0 18528 0 0 0 17959 41 0 0 25 0 1 0 912806341 86827008 18448 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21198 18448 1111 63 0 21135 0
vsize: 84792
[startup+190.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32342
Raw data (stat): 32342 (bsolo_lpr_cuts-) R 32341 31399 31398 0 -1 0 18986 0 0 0 18958 42 0 0 25 0 1 0 912806341 88674304 18906 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21649 18906 1111 63 0 21586 0
vsize: 86596
[startup+200.009 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32342
Raw data (stat): 32342 (bsolo_lpr_cuts-) R 32341 31399 31398 0 -1 0 19441 0 0 0 19957 43 0 0 25 0 1 0 912806341 90537984 19361 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22104 19361 1111 63 0 22041 0
vsize: 88416
[startup+210.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32342
Raw data (stat): 32342 (bsolo_lpr_cuts-) R 32341 31399 31398 0 -1 0 19892 0 0 0 20956 45 0 0 25 0 1 0 912806341 92381184 19812 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22554 19812 1111 63 0 22491 0
vsize: 90216
[startup+220.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32342
Raw data (stat): 32342 (bsolo_lpr_cuts-) R 32341 31399 31398 0 -1 0 20351 0 0 0 21955 46 0 0 25 0 1 0 912806341 94228480 20271 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23005 20271 1111 63 0 22942 0
vsize: 92020
[startup+230.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32342
Raw data (stat): 32342 (bsolo_lpr_cuts-) R 32341 31399 31398 0 -1 0 20808 0 0 0 22954 47 0 0 25 0 1 0 912806341 96047104 20728 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23449 20728 1111 63 0 23386 0
vsize: 93796
[startup+240.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32342
Raw data (stat): 32342 (bsolo_lpr_cuts-) R 32341 31399 31398 0 -1 0 21264 0 0 0 23953 48 0 0 25 0 1 0 912806341 97890304 21184 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23899 21184 1111 63 0 23836 0
vsize: 95596
[startup+250.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32342
Raw data (stat): 32342 (bsolo_lpr_cuts-) R 32341 31399 31398 0 -1 0 21721 0 0 0 24952 49 0 0 25 0 1 0 912806341 99893248 21641 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24388 21641 1111 63 0 24325 0
vsize: 97552
[startup+260.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32342
Raw data (stat): 32342 (bsolo_lpr_cuts-) R 32341 31399 31398 0 -1 0 22183 0 0 0 25951 50 0 0 25 0 1 0 912806341 101761024 22103 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24844 22103 1111 63 0 24781 0
vsize: 99376
[startup+270.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32342
Raw data (stat): 32342 (bsolo_lpr_cuts-) R 32341 31399 31398 0 -1 0 22640 0 0 0 26950 52 0 0 25 0 1 0 912806341 103604224 22560 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25294 22560 1111 63 0 25231 0
vsize: 101176
[startup+280.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32342
Raw data (stat): 32342 (bsolo_lpr_cuts-) R 32341 31399 31398 0 -1 0 23097 0 0 0 27949 53 0 0 25 0 1 0 912806341 105451520 23017 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25745 23017 1111 63 0 25682 0
vsize: 102980
[startup+290.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32342
Raw data (stat): 32342 (bsolo_lpr_cuts-) R 32341 31399 31398 0 -1 0 23564 0 0 0 28949 54 0 0 25 0 1 0 912806341 107442176 23484 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26231 23484 1111 63 0 26168 0
vsize: 104924
[startup+300.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32342
Raw data (stat): 32342 (bsolo_lpr_cuts-) R 32341 31399 31398 0 -1 0 24027 0 0 0 29948 54 0 0 25 0 1 0 912806341 109289472 23947 4294967295 134512640 134716908 3221224560 3221222788 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26682 23947 1111 63 0 26619 0
vsize: 106728
[startup+310.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32342
Raw data (stat): 32342 (bsolo_lpr_cuts-) R 32341 31399 31398 0 -1 0 24491 0 0 0 30947 55 0 0 25 0 1 0 912806341 111263744 24411 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27164 24411 1111 63 0 27101 0
vsize: 108656
[startup+320.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32342
Raw data (stat): 32342 (bsolo_lpr_cuts-) R 32341 31399 31398 0 -1 0 24949 0 0 0 31946 57 0 0 25 0 1 0 912806341 113106944 24869 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27614 24869 1111 63 0 27551 0
vsize: 110456
[startup+330.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32342
Raw data (stat): 32342 (bsolo_lpr_cuts-) R 32341 31399 31398 0 -1 0 25411 0 0 0 32945 58 0 0 25 0 1 0 912806341 114970624 25331 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28069 25331 1111 63 0 28006 0
vsize: 112276
[startup+340.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32342
Raw data (stat): 32342 (bsolo_lpr_cuts-) R 32341 31399 31398 0 -1 0 25874 0 0 0 33944 59 0 0 25 0 1 0 912806341 116817920 25794 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28520 25794 1111 63 0 28457 0
vsize: 114080
[startup+350.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32342
Raw data (stat): 32342 (bsolo_lpr_cuts-) R 32341 31399 31398 0 -1 0 26332 0 0 0 34942 61 0 0 25 0 1 0 912806341 118816768 26252 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29008 26252 1111 63 0 28945 0
vsize: 116032
[startup+360.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32342
Raw data (stat): 32342 (bsolo_lpr_cuts-) R 32341 31399 31398 0 -1 0 26802 0 0 0 35942 62 0 0 25 0 1 0 912806341 120664064 26722 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29459 26722 1111 63 0 29396 0
vsize: 117836
[startup+370.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32342
Raw data (stat): 32342 (bsolo_lpr_cuts-) R 32341 31399 31398 0 -1 0 27265 0 0 0 36941 62 0 0 25 0 1 0 912806341 122507264 27185 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29909 27185 1111 63 0 29846 0
vsize: 119636
[startup+380.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32342
Raw data (stat): 32342 (bsolo_lpr_cuts-) R 32341 31399 31398 0 -1 0 27730 0 0 0 37940 64 0 0 25 0 1 0 912806341 124485632 27650 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30392 27650 1111 63 0 30329 0
vsize: 121568
[startup+390.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32342
Raw data (stat): 32342 (bsolo_lpr_cuts-) R 32341 31399 31398 0 -1 0 28200 0 0 0 38939 65 0 0 25 0 1 0 912806341 126328832 28120 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30842 28120 1111 63 0 30779 0
vsize: 123368
[startup+400.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32342
Raw data (stat): 32342 (bsolo_lpr_cuts-) R 32341 31399 31398 0 -1 0 28656 0 0 0 39939 65 0 0 25 0 1 0 912806341 128196608 28576 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31298 28576 1111 63 0 31235 0
vsize: 125192
[startup+410.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32342
Raw data (stat): 32342 (bsolo_lpr_cuts-) R 32341 31399 31398 0 -1 0 29125 0 0 0 40937 67 0 0 25 0 1 0 912806341 130195456 29045 4294967295 134512640 134716908 3221224560 3221222788 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31786 29045 1111 63 0 31723 0
vsize: 127144
[startup+420.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32342
Raw data (stat): 32342 (bsolo_lpr_cuts-) R 32341 31399 31398 0 -1 0 29596 0 0 0 41936 69 0 0 25 0 1 0 912806341 132042752 29516 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32237 29516 1111 63 0 32174 0
vsize: 128948
[startup+430.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32342
Raw data (stat): 32342 (bsolo_lpr_cuts-) R 32341 31399 31398 0 -1 0 30066 0 0 0 42935 69 0 0 25 0 1 0 912806341 134041600 29986 4294967295 134512640 134716908 3221224560 3221222788 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32725 29986 1111 63 0 32662 0
vsize: 130900
[startup+440.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32342
Raw data (stat): 32342 (bsolo_lpr_cuts-) R 32341 31399 31398 0 -1 0 30529 0 0 0 43934 71 0 0 25 0 1 0 912806341 135888896 30449 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33176 30449 1111 63 0 33113 0
vsize: 132704
[startup+450.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32342
Raw data (stat): 32342 (bsolo_lpr_cuts-) R 32341 31399 31398 0 -1 0 30993 0 0 0 44933 72 0 0 25 0 1 0 912806341 137887744 30913 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33664 30913 1111 63 0 33601 0
vsize: 134656
[startup+460.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32342
Raw data (stat): 32342 (bsolo_lpr_cuts-) R 32341 31399 31398 0 -1 0 31464 0 0 0 45931 73 0 0 25 0 1 0 912806341 139735040 31384 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34115 31384 1111 63 0 34052 0
vsize: 136460
[startup+470.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32342
Raw data (stat): 32342 (bsolo_lpr_cuts-) R 32341 31399 31398 0 -1 0 31932 0 0 0 46930 75 0 0 25 0 1 0 912806341 141598720 31852 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34570 31852 1111 63 0 34507 0
vsize: 138280
[startup+480.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32342
Raw data (stat): 32342 (bsolo_lpr_cuts-) R 32341 31399 31398 0 -1 0 32401 0 0 0 47929 76 0 0 25 0 1 0 912806341 143572992 32321 4294967295 134512640 134716908 3221224560 3221222788 1077414424 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35052 32321 1111 63 0 34989 0
vsize: 140208
[startup+490.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32342
Raw data (stat): 32342 (bsolo_lpr_cuts-) R 32341 31399 31398 0 -1 0 32873 0 0 0 48928 77 0 0 25 0 1 0 912806341 145571840 32793 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35540 32793 1111 63 0 35477 0
vsize: 142160
[startup+500.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32342
Raw data (stat): 32342 (bsolo_lpr_cuts-) R 32341 31399 31398 0 -1 0 33342 0 0 0 49927 78 0 0 25 0 1 0 912806341 147419136 33262 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35991 33262 1111 63 0 35928 0
vsize: 143964
[startup+510.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32342
Raw data (stat): 32342 (bsolo_lpr_cuts-) R 32341 31399 31398 0 -1 0 33812 0 0 0 50926 79 0 0 25 0 1 0 912806341 149417984 33732 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36479 33732 1111 63 0 36416 0
vsize: 145916
[startup+520.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32342
Raw data (stat): 32342 (bsolo_lpr_cuts-) R 32341 31399 31398 0 -1 0 34282 0 0 0 51925 81 0 0 25 0 1 0 912806341 151265280 34202 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36930 34202 1111 63 0 36867 0
vsize: 147720
[startup+530.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32342
Raw data (stat): 32342 (bsolo_lpr_cuts-) R 32341 31399 31398 0 -1 0 34764 0 0 0 52923 83 0 0 25 0 1 0 912806341 153264128 34684 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37418 34684 1111 63 0 37355 0
vsize: 149672
[startup+540.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32342
Raw data (stat): 32342 (bsolo_lpr_cuts-) R 32341 31399 31398 0 -1 0 35234 0 0 0 53922 84 0 0 25 0 1 0 912806341 155111424 35154 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37869 35154 1111 63 0 37806 0
vsize: 151476
[startup+550.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32342
Raw data (stat): 32342 (bsolo_lpr_cuts-) R 32341 31399 31398 0 -1 0 35702 0 0 0 54921 85 0 0 25 0 1 0 912806341 157130752 35622 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38362 35622 1111 63 0 38299 0
vsize: 153448
[startup+560.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32342
Raw data (stat): 32342 (bsolo_lpr_cuts-) R 32341 31399 31398 0 -1 0 36191 0 0 0 55920 86 0 0 25 0 1 0 912806341 159195136 36111 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38866 36111 1111 63 0 38803 0
vsize: 155464
[startup+570.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32342
Raw data (stat): 32342 (bsolo_lpr_cuts-) R 32341 31399 31398 0 -1 0 36673 0 0 0 56919 87 0 0 25 0 1 0 912806341 161193984 36593 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39354 36593 1111 63 0 39291 0
vsize: 157416
[startup+580.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32342
Raw data (stat): 32342 (bsolo_lpr_cuts-) R 32341 31399 31398 0 -1 0 37143 0 0 0 57918 88 0 0 25 0 1 0 912806341 163041280 37063 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39805 37063 1111 63 0 39742 0
vsize: 159220
[startup+590.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32342
Raw data (stat): 32342 (bsolo_lpr_cuts-) R 32341 31399 31398 0 -1 0 37627 0 0 0 58918 88 0 0 25 0 1 0 912806341 165040128 37547 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40293 37547 1111 63 0 40230 0
vsize: 161172
[startup+600.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32342
Raw data (stat): 32342 (bsolo_lpr_cuts-) R 32341 31399 31398 0 -1 0 38097 0 0 0 59917 89 0 0 25 0 1 0 912806341 167043072 38017 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40782 38017 1111 63 0 40719 0
vsize: 163128
[startup+610.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32342
Raw data (stat): 32342 (bsolo_lpr_cuts-) R 32341 31399 31398 0 -1 0 38578 0 0 0 60916 90 0 0 25 0 1 0 912806341 169041920 38498 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41270 38498 1111 63 0 41207 0
vsize: 165080
[startup+620.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32342
Raw data (stat): 32342 (bsolo_lpr_cuts-) R 32341 31399 31398 0 -1 0 39048 0 0 0 61915 92 0 0 25 0 1 0 912806341 170889216 38968 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41721 38968 1111 63 0 41658 0
vsize: 166884
[startup+630.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32342
Raw data (stat): 32342 (bsolo_lpr_cuts-) R 32341 31399 31398 0 -1 0 39531 0 0 0 62914 93 0 0 25 0 1 0 912806341 172883968 39451 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42208 39451 1111 63 0 42145 0
vsize: 168832
[startup+640.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32342
Raw data (stat): 32342 (bsolo_lpr_cuts-) R 32341 31399 31398 0 -1 0 40000 0 0 0 63913 94 0 0 25 0 1 0 912806341 174731264 39920 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42659 39920 1111 63 0 42596 0
vsize: 170636
[startup+650.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32342
Raw data (stat): 32342 (bsolo_lpr_cuts-) R 32341 31399 31398 0 -1 0 40482 0 0 0 64913 95 0 0 25 0 1 0 912806341 176730112 40402 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43147 40402 1111 63 0 43084 0
vsize: 172588
[startup+660.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32342
Raw data (stat): 32342 (bsolo_lpr_cuts-) R 32341 31399 31398 0 -1 0 40966 0 0 0 65912 96 0 0 25 0 1 0 912806341 178733056 40886 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43636 40886 1111 63 0 43573 0
vsize: 174544
[startup+670.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32342
Raw data (stat): 32342 (bsolo_lpr_cuts-) R 32341 31399 31398 0 -1 0 41442 0 0 0 66911 97 0 0 25 0 1 0 912806341 180731904 41362 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44124 41362 1111 63 0 44061 0
vsize: 176496
[startup+680.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32342
Raw data (stat): 32342 (bsolo_lpr_cuts-) R 32341 31399 31398 0 -1 0 41918 0 0 0 67910 98 0 0 25 0 1 0 912806341 182579200 41838 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44575 41838 1111 63 0 44512 0
vsize: 178300
[startup+690.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32342
Raw data (stat): 32342 (bsolo_lpr_cuts-) R 32341 31399 31398 0 -1 0 42401 0 0 0 68908 100 0 0 25 0 1 0 912806341 184578048 42321 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45063 42321 1111 63 0 45000 0
vsize: 180252
[startup+700.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32342
Raw data (stat): 32342 (bsolo_lpr_cuts-) R 32341 31399 31398 0 -1 0 42884 0 0 0 69907 101 0 0 25 0 1 0 912806341 186552320 42804 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45545 42804 1111 63 0 45482 0
vsize: 182180
[startup+710.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32342
Raw data (stat): 32342 (bsolo_lpr_cuts-) R 32341 31399 31398 0 -1 0 43366 0 0 0 70906 102 0 0 25 0 1 0 912806341 188555264 43286 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46034 43286 1111 63 0 45971 0
vsize: 184136
[startup+720.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32342
Raw data (stat): 32342 (bsolo_lpr_cuts-) R 32341 31399 31398 0 -1 0 43848 0 0 0 71905 103 0 0 25 0 1 0 912806341 190574592 43768 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46527 43768 1111 63 0 46464 0
vsize: 186108
[startup+730.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32342
Raw data (stat): 32342 (bsolo_lpr_cuts-) R 32341 31399 31398 0 -1 0 44331 0 0 0 72904 104 0 0 25 0 1 0 912806341 192573440 44251 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47015 44251 1111 63 0 46952 0
vsize: 188060
[startup+740.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32342
Raw data (stat): 32342 (bsolo_lpr_cuts-) R 32341 31399 31398 0 -1 0 44813 0 0 0 73904 105 0 0 25 0 1 0 912806341 194420736 44733 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47466 44733 1111 63 0 47403 0
vsize: 189864
[startup+750.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32342
Raw data (stat): 32342 (bsolo_lpr_cuts-) R 32341 31399 31398 0 -1 0 45295 0 0 0 74903 106 0 0 25 0 1 0 912806341 196419584 45215 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47954 45215 1111 63 0 47891 0
vsize: 191816
[startup+760.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32342
Raw data (stat): 32342 (bsolo_lpr_cuts-) R 32341 31399 31398 0 -1 0 45780 0 0 0 75902 107 0 0 25 0 1 0 912806341 198422528 45700 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48443 45700 1111 63 0 48380 0
vsize: 193772
[startup+770.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32342
Raw data (stat): 32342 (bsolo_lpr_cuts-) R 32341 31399 31398 0 -1 0 46262 0 0 0 76901 108 0 0 25 0 1 0 912806341 200421376 46182 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48931 46182 1111 63 0 48868 0
vsize: 195724
[startup+780.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32342
Raw data (stat): 32342 (bsolo_lpr_cuts-) R 32341 31399 31398 0 -1 0 46744 0 0 0 77901 109 0 0 25 0 1 0 912806341 202424320 46664 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49420 46664 1111 63 0 49357 0
vsize: 197680
[startup+790.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32342
Raw data (stat): 32342 (bsolo_lpr_cuts-) R 32341 31399 31398 0 -1 0 47226 0 0 0 78900 110 0 0 25 0 1 0 912806341 204423168 47146 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49908 47146 1111 63 0 49845 0
vsize: 199632
[startup+800.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32342
Raw data (stat): 32342 (bsolo_lpr_cuts-) R 32341 31399 31398 0 -1 0 47709 0 0 0 79898 112 0 0 25 0 1 0 912806341 206397440 47629 4294967295 134512640 134716908 3221224560 3221222788 1077414424 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50390 47629 1111 63 0 50327 0
vsize: 201560
[startup+810.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32342
Raw data (stat): 32342 (bsolo_lpr_cuts-) R 32341 31399 31398 0 -1 0 48190 0 0 0 80897 113 0 0 25 0 1 0 912806341 208261120 48110 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50845 48110 1111 63 0 50782 0
vsize: 203380
[startup+820.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32342
Raw data (stat): 32342 (bsolo_lpr_cuts-) R 32341 31399 31398 0 -1 0 48686 0 0 0 81896 114 0 0 25 0 1 0 912806341 210264064 48606 4294967295 134512640 134716908 3221224560 3221222788 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51334 48606 1111 63 0 51271 0
vsize: 205336
[startup+830.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32342
Raw data (stat): 32342 (bsolo_lpr_cuts-) R 32341 31399 31398 0 -1 0 49169 0 0 0 82896 115 0 0 25 0 1 0 912806341 212262912 49089 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51822 49089 1111 63 0 51759 0
vsize: 207288
[startup+840.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32342
Raw data (stat): 32342 (bsolo_lpr_cuts-) R 32341 31399 31398 0 -1 0 49651 0 0 0 83895 115 0 0 25 0 1 0 912806341 214265856 49571 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52311 49571 1111 63 0 52248 0
vsize: 209244
[startup+850.031 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32342
Raw data (stat): 32342 (bsolo_lpr_cuts-) R 32341 31399 31398 0 -1 0 50146 0 0 0 84894 116 0 0 25 0 1 0 912806341 216264704 50066 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52799 50066 1111 63 0 52736 0
vsize: 211196
[startup+860.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32342
Raw data (stat): 32342 (bsolo_lpr_cuts-) R 32341 31399 31398 0 -1 0 50630 0 0 0 85894 117 0 0 25 0 1 0 912806341 218267648 50550 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53288 50550 1111 63 0 53225 0
vsize: 213152
[startup+870.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32342
Raw data (stat): 32342 (bsolo_lpr_cuts-) R 32341 31399 31398 0 -1 0 51118 0 0 0 86892 119 0 0 25 0 1 0 912806341 220266496 51038 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53776 51038 1111 63 0 53713 0
vsize: 215104
[startup+880.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32342
Raw data (stat): 32342 (bsolo_lpr_cuts-) R 32341 31399 31398 0 -1 0 51607 0 0 0 87891 120 0 0 25 0 1 0 912806341 222269440 51527 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54265 51527 1111 63 0 54202 0
vsize: 217060
[startup+890.033 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32342
Raw data (stat): 32342 (bsolo_lpr_cuts-) R 32341 31399 31398 0 -1 0 52096 0 0 0 88890 121 0 0 25 0 1 0 912806341 224268288 52016 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54753 52016 1111 63 0 54690 0
vsize: 219012
[startup+900.033 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32342
Raw data (stat): 32342 (bsolo_lpr_cuts-) R 32341 31399 31398 0 -1 0 52586 0 0 0 89889 122 0 0 25 0 1 0 912806341 226271232 52506 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55242 52506 1111 63 0 55179 0
vsize: 220968
[startup+910.033 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32342
Raw data (stat): 32342 (bsolo_lpr_cuts-) R 32341 31399 31398 0 -1 0 53075 0 0 0 90888 124 0 0 25 0 1 0 912806341 228265984 52995 4294967295 134512640 134716908 3221224560 3221222912 134567410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55729 52995 1111 63 0 55666 0
vsize: 222916
[startup+920.034 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32342
Raw data (stat): 32342 (bsolo_lpr_cuts-) R 32341 31399 31398 0 -1 0 53562 0 0 0 91887 125 0 0 25 0 1 0 912806341 230264832 53482 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56217 53482 1111 63 0 56154 0
vsize: 224868
[startup+930.033 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32342
Raw data (stat): 32342 (bsolo_lpr_cuts-) R 32341 31399 31398 0 -1 0 54058 0 0 0 92886 126 0 0 25 0 1 0 912806341 232267776 53978 4294967295 134512640 134716908 3221224560 3221222788 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56706 53978 1111 63 0 56643 0
vsize: 226824
[startup+940.034 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32342
Raw data (stat): 32342 (bsolo_lpr_cuts-) R 32341 31399 31398 0 -1 0 54547 0 0 0 93885 127 0 0 25 0 1 0 912806341 234266624 54467 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57194 54467 1111 63 0 57131 0
vsize: 228776
[startup+950.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32342
Raw data (stat): 32342 (bsolo_lpr_cuts-) R 32341 31399 31398 0 -1 0 55036 0 0 0 94884 128 0 0 25 0 1 0 912806341 236265472 54956 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57682 54956 1111 63 0 57619 0
vsize: 230728
[startup+960.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32342
Raw data (stat): 32342 (bsolo_lpr_cuts-) R 32341 31399 31398 0 -1 0 55532 0 0 0 95884 129 0 0 25 0 1 0 912806341 238268416 55452 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58171 55452 1111 63 0 58108 0
vsize: 232684
[startup+970.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32342
Raw data (stat): 32342 (bsolo_lpr_cuts-) R 32341 31399 31398 0 -1 0 56026 0 0 0 96883 130 0 0 25 0 1 0 912806341 240398336 55946 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58691 55946 1111 63 0 58628 0
vsize: 234764
[startup+980.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32342
Raw data (stat): 32342 (bsolo_lpr_cuts-) R 32341 31399 31398 0 -1 0 56521 0 0 0 97882 131 0 0 25 0 1 0 912806341 242397184 56441 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59179 56441 1111 63 0 59116 0
vsize: 236716
[startup+990.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32342
Raw data (stat): 32342 (bsolo_lpr_cuts-) R 32341 31399 31398 0 -1 0 57011 0 0 0 98881 131 0 0 25 0 1 0 912806341 244400128 56931 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59668 56931 1111 63 0 59605 0
vsize: 238672
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32342
Raw data (stat): 32342 (bsolo_lpr_cuts-) R 32341 31399 31398 0 -1 0 57501 0 0 0 99880 133 0 0 25 0 1 0 912806341 246398976 57421 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60156 57421 1111 63 0 60093 0
vsize: 240624
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32342
Raw data (stat): 32342 (bsolo_lpr_cuts-) R 32341 31399 31398 0 -1 0 57995 0 0 0 100879 134 0 0 25 0 1 0 912806341 248401920 57915 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60645 57915 1111 63 0 60582 0
vsize: 242580
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32342
Raw data (stat): 32342 (bsolo_lpr_cuts-) R 32341 31399 31398 0 -1 0 58490 0 0 0 101878 135 0 0 25 0 1 0 912806341 250421248 58410 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61138 58410 1111 63 0 61075 0
vsize: 244552
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32342
Raw data (stat): 32342 (bsolo_lpr_cuts-) R 32341 31399 31398 0 -1 0 58985 0 0 0 102877 136 0 0 25 0 1 0 912806341 252424192 58905 4294967295 134512640 134716908 3221224560 3221222788 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61627 58905 1111 63 0 61564 0
vsize: 246508
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32342
Raw data (stat): 32342 (bsolo_lpr_cuts-) R 32341 31399 31398 0 -1 0 59480 0 0 0 103877 137 0 0 25 0 1 0 912806341 254423040 59400 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62115 59400 1111 63 0 62052 0
vsize: 248460
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32342
Raw data (stat): 32342 (bsolo_lpr_cuts-) R 32341 31399 31398 0 -1 0 59975 0 0 0 104875 138 0 0 25 0 1 0 912806341 256581632 59895 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62642 59895 1111 63 0 62579 0
vsize: 250568
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32342
Raw data (stat): 32342 (bsolo_lpr_cuts-) R 32341 31399 31398 0 -1 0 60470 0 0 0 105874 140 0 0 25 0 1 0 912806341 258580480 60390 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63130 60390 1111 63 0 63067 0
vsize: 252520
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32342
Raw data (stat): 32342 (bsolo_lpr_cuts-) R 32341 31399 31398 0 -1 0 60965 0 0 0 106873 141 0 0 25 0 1 0 912806341 260579328 60885 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63618 60885 1111 63 0 63555 0
vsize: 254472
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32342
Raw data (stat): 32342 (bsolo_lpr_cuts-) R 32341 31399 31398 0 -1 0 61493 0 0 0 107872 143 0 0 25 0 1 0 912806341 262918144 61413 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64189 61413 1111 63 0 64126 0
vsize: 256756
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32342
Raw data (stat): 32342 (bsolo_lpr_cuts-) R 32341 31399 31398 0 -1 0 62000 0 0 0 108870 144 0 0 25 0 1 0 912806341 265072640 61920 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64715 61920 1111 63 0 64652 0
vsize: 258860
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32342
Raw data (stat): 32342 (bsolo_lpr_cuts-) R 32341 31399 31398 0 -1 0 62495 0 0 0 109869 145 0 0 25 0 1 0 912806341 267075584 62415 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65204 62415 1111 63 0 65141 0
vsize: 260816
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32342
Raw data (stat): 32342 (bsolo_lpr_cuts-) R 32341 31399 31398 0 -1 0 62992 0 0 0 110868 147 0 0 25 0 1 0 912806341 269074432 62912 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65692 62912 1111 63 0 65629 0
vsize: 262768
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32342
Raw data (stat): 32342 (bsolo_lpr_cuts-) R 32341 31399 31398 0 -1 0 63493 0 0 0 111867 148 0 0 25 0 1 0 912806341 271233024 63413 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66219 63413 1111 63 0 66156 0
vsize: 264876
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32342
Raw data (stat): 32342 (bsolo_lpr_cuts-) R 32341 31399 31398 0 -1 0 63994 0 0 0 112866 149 0 0 25 0 1 0 912806341 273231872 63914 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66707 63914 1111 63 0 66644 0
vsize: 266828
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32342
Raw data (stat): 32342 (bsolo_lpr_cuts-) R 32341 31399 31398 0 -1 0 64490 0 0 0 113865 150 0 0 25 0 1 0 912806341 275255296 64410 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67201 64410 1111 63 0 67138 0
vsize: 268804
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32342
Raw data (stat): 32342 (bsolo_lpr_cuts-) R 32341 31399 31398 0 -1 0 64991 0 0 0 114864 151 0 0 25 0 1 0 912806341 277254144 64911 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67689 64911 1111 63 0 67626 0
vsize: 270756
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32342
Raw data (stat): 32342 (bsolo_lpr_cuts-) R 32341 31399 31398 0 -1 0 65492 0 0 0 115863 152 0 0 25 0 1 0 912806341 279408640 65412 4294967295 134512640 134716908 3221224560 3221222788 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68215 65412 1111 63 0 68152 0
vsize: 272860
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32342
Raw data (stat): 32342 (bsolo_lpr_cuts-) R 32341 31399 31398 0 -1 0 65988 0 0 0 116862 154 0 0 25 0 1 0 912806341 281411584 65908 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68704 65908 1111 63 0 68641 0
vsize: 274816
[startup+1180.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32342
Raw data (stat): 32342 (bsolo_lpr_cuts-) R 32341 31399 31398 0 -1 0 66496 0 0 0 117861 154 0 0 25 0 1 0 912806341 283410432 66416 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69192 66416 1111 63 0 69129 0
vsize: 276768
[startup+1190.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32342
Raw data (stat): 32342 (bsolo_lpr_cuts-) R 32341 31399 31398 0 -1 0 66991 0 0 0 118860 156 0 0 25 0 1 0 912806341 285413376 66911 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69681 66911 1111 63 0 69618 0
vsize: 278724
[startup+1200.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32342
Raw data (stat): 32342 (bsolo_lpr_cuts-) R 32341 31399 31398 0 -1 0 67499 0 0 0 119859 157 0 0 25 0 1 0 912806341 287567872 67419 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70207 67419 1111 63 0 70144 0
vsize: 280828
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.17 s]
Raw data (loadavg): 1.00 1.00 0.93 1/54 32342
Raw data (stat): 32342 (bsolo_lpr_cuts-) Z 32341 31399 31398 0 -1 1036 67499 0 0 0 119859 170 0 0 25 0 1 0 912806341 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.17
CPU time (s): 1200.3
CPU user time (s): 1198.59
CPU system time (s): 1.70474
CPU usage (%): 100.011
Max. virtual memory (Kb): 280828
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####