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/submitted/een/normalized-nw04.opb
MD5SUM	c4c13764e2ea959929790d6ef6d0273c
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
Number of terms in the objective function	87482
Biggest coefficient in the objective function	5220
Number of bits for the biggest coefficient in the objective function	13
Sum of the numbers in the objective function	120189580
Number of bits of the sum of numbers in the objective function	27
Biggest number in a constraint	42031
Number of bits of the biggest number in a constraint	16
Biggest sum of numbers in a constraint	120189580
Number of bits of the biggest sum of numbers	27
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	18.0483
Number of variables	87482
Total number of constraints	72
Number of constraints which are clauses	36
Number of constraints which are cardinality constraints (but not clauses)	36
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	599
Maximum length of a constraint	42032
Trace number 40946

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-09 03:17:21 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29006 boxname=wulflinc3 idbench=392 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  c4c13764e2ea959929790d6ef6d0273c  /oldhome/oroussel/tmp/wulflinc3/normalized-nw04.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-nw04.opb
IDLAUNCH: 29006
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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:        860212 kB
Buffers:         27568 kB
Cached:         123592 kB
SwapCached:       3472 kB
Active:          47200 kB
Inactive:       108744 kB
HighTotal:      131008 kB
HighFree:        14980 kB
LowTotal:       903652 kB
LowFree:        845232 kB
SwapTotal:     2097136 kB
SwapFree:      2092672 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5016 kB
Slab:            12884 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 03:37:24 (client local time) WITH STATUS 0 IN 1200.23 SECONDS
stats: 29006 7 1200.23 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 2552
Raw data (stat): 2552 (runsolver) R 2551 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 906961055 884736 94 4294967295 134512640 135332820 3221224464 3221219644 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.0012 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 2552
Raw data (stat): 2552 (bsolo_lpr_cuts-) R 2551 20224 20223 0 -1 0 793 0 0 0 994 3 0 0 25 0 1 0 906961055 15347712 713 4294967295 134512640 134716908 3221224576 3221222804 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3747 713 1111 63 0 3684 0
vsize: 14988
[startup+20.002 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 2552
Raw data (stat): 2552 (bsolo_lpr_cuts-) R 2551 20224 20223 0 -1 0 848 0 0 0 1994 3 0 0 25 0 1 0 906961055 15618048 768 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3813 768 1111 63 0 3750 0
vsize: 15252
[startup+30.0024 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 2552
Raw data (stat): 2552 (bsolo_lpr_cuts-) R 2551 20224 20223 0 -1 0 900 0 0 0 2994 3 0 0 25 0 1 0 906961055 15753216 820 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3846 820 1111 63 0 3783 0
vsize: 15384
[startup+40.0027 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 2552
Raw data (stat): 2552 (bsolo_lpr_cuts-) R 2551 20224 20223 0 -1 0 958 0 0 0 3994 3 0 0 25 0 1 0 906961055 16023552 878 4294967295 134512640 134716908 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3912 878 1111 63 0 3849 0
vsize: 15648
[startup+50.0045 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 2552
Raw data (stat): 2552 (bsolo_lpr_cuts-) R 2551 20224 20223 0 -1 0 1011 0 0 0 4994 4 0 0 25 0 1 0 906961055 16158720 931 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3945 931 1111 63 0 3882 0
vsize: 15780
[startup+60.0049 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 2552
Raw data (stat): 2552 (bsolo_lpr_cuts-) R 2551 20224 20223 0 -1 0 1066 0 0 0 5994 4 0 0 25 0 1 0 906961055 16429056 986 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4011 986 1111 63 0 3948 0
vsize: 16044
[startup+70.0052 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 2552
Raw data (stat): 2552 (bsolo_lpr_cuts-) R 2551 20224 20223 0 -1 0 1127 0 0 0 6994 4 0 0 25 0 1 0 906961055 16707584 1047 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4079 1047 1111 63 0 4016 0
vsize: 16316
[startup+80.006 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 2552
Raw data (stat): 2552 (bsolo_lpr_cuts-) R 2551 20224 20223 0 -1 0 1180 0 0 0 7993 5 0 0 25 0 1 0 906961055 16977920 1100 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4145 1100 1111 63 0 4082 0
vsize: 16580
[startup+90.0064 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 2552
Raw data (stat): 2552 (bsolo_lpr_cuts-) R 2551 20224 20223 0 -1 0 1235 0 0 0 8993 5 0 0 25 0 1 0 906961055 17113088 1155 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4178 1155 1111 63 0 4115 0
vsize: 16712
[startup+100.008 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 2552
Raw data (stat): 2552 (bsolo_lpr_cuts-) R 2551 20224 20223 0 -1 0 1288 0 0 0 9993 5 0 0 25 0 1 0 906961055 17383424 1208 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4244 1208 1111 63 0 4181 0
vsize: 16976
[startup+110.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2552
Raw data (stat): 2552 (bsolo_lpr_cuts-) R 2551 20224 20223 0 -1 0 1359 0 0 0 10993 6 0 0 25 0 1 0 906961055 17612800 1279 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4300 1279 1111 63 0 4237 0
vsize: 17200
[startup+120.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2552
Raw data (stat): 2552 (bsolo_lpr_cuts-) R 2551 20224 20223 0 -1 0 1416 0 0 0 11993 6 0 0 25 0 1 0 906961055 17891328 1336 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4368 1336 1111 63 0 4305 0
vsize: 17472
[startup+130.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2552
Raw data (stat): 2552 (bsolo_lpr_cuts-) R 2551 20224 20223 0 -1 0 1469 0 0 0 12993 6 0 0 25 0 1 0 906961055 18071552 1389 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4412 1389 1111 63 0 4349 0
vsize: 17648
[startup+140.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2552
Raw data (stat): 2552 (bsolo_lpr_cuts-) R 2551 20224 20223 0 -1 0 1537 0 0 0 13993 6 0 0 25 0 1 0 906961055 18427904 1457 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4499 1457 1111 63 0 4436 0
vsize: 17996
[startup+150.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2552
Raw data (stat): 2552 (bsolo_lpr_cuts-) R 2551 20224 20223 0 -1 0 1592 0 0 0 14993 6 0 0 25 0 1 0 906961055 18644992 1512 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4552 1512 1111 63 0 4489 0
vsize: 18208
[startup+160.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2552
Raw data (stat): 2552 (bsolo_lpr_cuts-) R 2551 20224 20223 0 -1 0 1651 0 0 0 15993 6 0 0 25 0 1 0 906961055 18874368 1571 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4608 1571 1111 63 0 4545 0
vsize: 18432
[startup+170.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2552
Raw data (stat): 2552 (bsolo_lpr_cuts-) R 2551 20224 20223 0 -1 0 1713 0 0 0 16993 7 0 0 25 0 1 0 906961055 19124224 1633 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4669 1633 1111 63 0 4606 0
vsize: 18676
[startup+180.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2552
Raw data (stat): 2552 (bsolo_lpr_cuts-) R 2551 20224 20223 0 -1 0 1770 0 0 0 17993 7 0 0 25 0 1 0 906961055 19300352 1690 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4712 1690 1111 63 0 4649 0
vsize: 18848
[startup+190.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2552
Raw data (stat): 2552 (bsolo_lpr_cuts-) R 2551 20224 20223 0 -1 0 1829 0 0 0 18993 7 0 0 25 0 1 0 906961055 19570688 1749 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4778 1749 1111 63 0 4715 0
vsize: 19112
[startup+200.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2552
Raw data (stat): 2552 (bsolo_lpr_cuts-) R 2551 20224 20223 0 -1 0 1877 0 0 0 19993 7 0 0 25 0 1 0 906961055 19763200 1797 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4825 1797 1111 63 0 4762 0
vsize: 19300
[startup+210.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2552
Raw data (stat): 2552 (bsolo_lpr_cuts-) R 2551 20224 20223 0 -1 0 1941 0 0 0 20994 7 0 0 25 0 1 0 906961055 20013056 1861 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4886 1861 1111 63 0 4823 0
vsize: 19544
[startup+220.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2552
Raw data (stat): 2552 (bsolo_lpr_cuts-) R 2551 20224 20223 0 -1 0 1995 0 0 0 21993 7 0 0 25 0 1 0 906961055 20226048 1915 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4938 1915 1111 63 0 4875 0
vsize: 19752
[startup+230.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2552
Raw data (stat): 2552 (bsolo_lpr_cuts-) R 2551 20224 20223 0 -1 0 2051 0 0 0 22994 7 0 0 25 0 1 0 906961055 20447232 1971 4294967295 134512640 134716908 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4992 1971 1111 63 0 4929 0
vsize: 19968
[startup+240.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2552
Raw data (stat): 2552 (bsolo_lpr_cuts-) R 2551 20224 20223 0 -1 0 2110 0 0 0 23994 7 0 0 25 0 1 0 906961055 20676608 2030 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5048 2030 1111 63 0 4985 0
vsize: 20192
[startup+250.014 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 2552
Raw data (stat): 2552 (bsolo_lpr_cuts-) R 2551 20224 20223 0 -1 0 2170 0 0 0 24994 8 0 0 25 0 1 0 906961055 20914176 2090 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5106 2090 1111 63 0 5043 0
vsize: 20424
[startup+260.015 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 2552
Raw data (stat): 2552 (bsolo_lpr_cuts-) R 2551 20224 20223 0 -1 0 2217 0 0 0 25994 8 0 0 25 0 1 0 906961055 21102592 2137 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5152 2137 1111 63 0 5089 0
vsize: 20608
[startup+270.014 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 2552
Raw data (stat): 2552 (bsolo_lpr_cuts-) R 2551 20224 20223 0 -1 0 2314 0 0 0 26994 8 0 0 25 0 1 0 906961055 21618688 2234 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5278 2234 1111 63 0 5215 0
vsize: 21112
[startup+280.015 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 2552
Raw data (stat): 2552 (bsolo_lpr_cuts-) R 2551 20224 20223 0 -1 0 2437 0 0 0 27993 8 0 0 25 0 1 0 906961055 21753856 2269 4294967295 134512640 134716908 3221224576 3221222928 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5311 2269 1111 63 0 5248 0
vsize: 21244
[startup+290.015 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 2552
Raw data (stat): 2552 (bsolo_lpr_cuts-) R 2551 20224 20223 0 -1 0 2746 0 0 0 28992 10 0 0 25 0 1 0 906961055 22110208 2325 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5398 2325 1111 63 0 5335 0
vsize: 21592
[startup+300.016 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 2552
Raw data (stat): 2552 (bsolo_lpr_cuts-) R 2551 20224 20223 0 -1 0 3329 0 0 0 29991 11 0 0 25 0 1 0 906961055 22183936 2377 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5416 2377 1111 63 0 5353 0
vsize: 21664
[startup+310.016 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 2552
Raw data (stat): 2552 (bsolo_lpr_cuts-) R 2551 20224 20223 0 -1 0 4167 0 0 0 30988 14 0 0 25 0 1 0 906961055 22409216 2433 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5471 2433 1111 63 0 5408 0
vsize: 21884
[startup+320.016 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 2552
Raw data (stat): 2552 (bsolo_lpr_cuts-) R 2551 20224 20223 0 -1 0 5252 0 0 0 31985 17 0 0 25 0 1 0 906961055 22638592 2490 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5527 2490 1111 63 0 5464 0
vsize: 22108
[startup+330.016 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 2552
Raw data (stat): 2552 (bsolo_lpr_cuts-) R 2551 20224 20223 0 -1 0 6516 0 0 0 32982 20 0 0 25 0 1 0 906961055 22880256 2550 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5586 2550 1111 63 0 5523 0
vsize: 22344
[startup+340.017 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 2552
Raw data (stat): 2552 (bsolo_lpr_cuts-) R 2551 20224 20223 0 -1 0 8047 0 0 0 33979 24 0 0 25 0 1 0 906961055 23289856 2619 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5686 2619 1111 63 0 5623 0
vsize: 22744
[startup+350.017 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 2552
Raw data (stat): 2552 (bsolo_lpr_cuts-) R 2551 20224 20223 0 -1 0 9785 0 0 0 34975 28 0 0 25 0 1 0 906961055 23293952 2654 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5687 2654 1111 63 0 5624 0
vsize: 22748
[startup+360.018 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 2552
Raw data (stat): 2552 (bsolo_lpr_cuts-) R 2551 20224 20223 0 -1 0 11990 0 0 0 35970 34 0 0 25 0 1 0 906961055 23552000 2718 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5750 2718 1111 63 0 5687 0
vsize: 23000
[startup+370.018 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 2552
Raw data (stat): 2552 (bsolo_lpr_cuts-) R 2551 20224 20223 0 -1 0 14469 0 0 0 36964 40 0 0 25 0 1 0 906961055 23822336 2785 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5816 2785 1111 63 0 5753 0
vsize: 23264
[startup+380.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2552
Raw data (stat): 2552 (bsolo_lpr_cuts-) R 2551 20224 20223 0 -1 0 17276 0 0 0 37958 46 0 0 25 0 1 0 906961055 24190976 2845 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5906 2845 1111 63 0 5843 0
vsize: 23624
[startup+390.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2552
Raw data (stat): 2552 (bsolo_lpr_cuts-) R 2551 20224 20223 0 -1 0 20231 0 0 0 38952 52 0 0 25 0 1 0 906961055 24293376 2902 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5931 2902 1111 63 0 5868 0
vsize: 23724
[startup+400.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2552
Raw data (stat): 2552 (bsolo_lpr_cuts-) R 2551 20224 20223 0 -1 0 23346 0 0 0 39946 59 0 0 25 0 1 0 906961055 24682496 2967 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6026 2967 1111 63 0 5963 0
vsize: 24104
[startup+410.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2552
Raw data (stat): 2552 (bsolo_lpr_cuts-) R 2551 20224 20223 0 -1 0 26573 0 0 0 40939 66 0 0 25 0 1 0 906961055 24686592 3001 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6027 3001 1111 63 0 5964 0
vsize: 24108
[startup+420.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2552
Raw data (stat): 2552 (bsolo_lpr_cuts-) R 2551 20224 20223 0 -1 0 30174 0 0 0 41932 73 0 0 25 0 1 0 906961055 24993792 3077 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6102 3077 1111 63 0 6039 0
vsize: 24408
[startup+430.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2552
Raw data (stat): 2552 (bsolo_lpr_cuts-) R 2551 20224 20223 0 -1 0 34291 0 0 0 42924 81 0 0 25 0 1 0 906961055 25419776 3151 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6206 3151 1111 63 0 6143 0
vsize: 24824
[startup+440.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2552
Raw data (stat): 2552 (bsolo_lpr_cuts-) R 2551 20224 20223 0 -1 0 38514 0 0 0 43915 90 0 0 25 0 1 0 906961055 25423872 3185 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6207 3185 1111 63 0 6144 0
vsize: 24828
[startup+450.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2552
Raw data (stat): 2552 (bsolo_lpr_cuts-) R 2551 20224 20223 0 -1 0 42771 0 0 0 44909 97 0 0 25 0 1 0 906961055 25862144 3261 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6314 3261 1111 63 0 6251 0
vsize: 25256
[startup+460.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2552
Raw data (stat): 2552 (bsolo_lpr_cuts-) R 2551 20224 20223 0 -1 0 47474 0 0 0 45900 106 0 0 25 0 1 0 906961055 26091520 3319 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6370 3319 1111 63 0 6307 0
vsize: 25480
[startup+470.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2552
Raw data (stat): 2552 (bsolo_lpr_cuts-) R 2551 20224 20223 0 -1 0 52130 0 0 0 46892 114 0 0 25 0 1 0 906961055 26329088 3377 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6428 3377 1111 63 0 6365 0
vsize: 25712
[startup+480.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2552
Raw data (stat): 2552 (bsolo_lpr_cuts-) R 2551 20224 20223 0 -1 0 57087 0 0 0 47883 123 0 0 25 0 1 0 906961055 26566656 3437 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6486 3437 1111 63 0 6423 0
vsize: 25944
[startup+490.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2552
Raw data (stat): 2552 (bsolo_lpr_cuts-) R 2551 20224 20223 0 -1 0 62048 0 0 0 48874 132 0 0 25 0 1 0 906961055 26574848 3471 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6488 3471 1111 63 0 6425 0
vsize: 25952
[startup+500.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2552
Raw data (stat): 2552 (bsolo_lpr_cuts-) R 2551 20224 20223 0 -1 0 67195 0 0 0 49866 141 0 0 25 0 1 0 906961055 26820608 3533 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6548 3533 1111 63 0 6485 0
vsize: 26192
[startup+510.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2552
Raw data (stat): 2552 (bsolo_lpr_cuts-) R 2551 20224 20223 0 -1 0 72553 0 0 0 50854 152 0 0 25 0 1 0 906961055 27193344 3593 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6639 3593 1111 63 0 6576 0
vsize: 26556
[startup+520.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2552
Raw data (stat): 2552 (bsolo_lpr_cuts-) R 2551 20224 20223 0 -1 0 78498 0 0 0 51843 164 0 0 25 0 1 0 906961055 27197440 3626 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6640 3626 1111 63 0 6577 0
vsize: 26560
[startup+530.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2552
Raw data (stat): 2552 (bsolo_lpr_cuts-) R 2551 20224 20223 0 -1 0 84772 0 0 0 52832 176 0 0 25 0 1 0 906961055 27844608 3723 4294967295 134512640 134716908 3221224576 3221223232 134527930 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6798 3723 1111 63 0 6735 0
vsize: 27192
[startup+540.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2552
Raw data (stat): 2552 (bsolo_lpr_cuts-) R 2551 20224 20223 0 -1 0 91198 0 0 0 53820 187 0 0 25 0 1 0 906961055 28110848 3789 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6863 3789 1111 63 0 6800 0
vsize: 27452
[startup+550.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2552
Raw data (stat): 2552 (bsolo_lpr_cuts-) R 2551 20224 20223 0 -1 0 105884 0 0 0 54792 215 0 0 25 0 1 0 906961055 28110848 3790 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6863 3790 1111 63 0 6800 0
vsize: 27452
[startup+560.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2552
Raw data (stat): 2552 (bsolo_lpr_cuts-) R 2551 20224 20223 0 -1 0 126116 0 0 0 55751 257 0 0 25 0 1 0 906961055 28385280 3840 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6930 3840 1111 63 0 6867 0
vsize: 27720
[startup+570.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2552
Raw data (stat): 2552 (bsolo_lpr_cuts-) R 2551 20224 20223 0 -1 0 147148 0 0 0 56709 299 0 0 25 0 1 0 906961055 28655616 3894 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6996 3894 1111 63 0 6933 0
vsize: 27984
[startup+580.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2552
Raw data (stat): 2552 (bsolo_lpr_cuts-) R 2551 20224 20223 0 -1 0 168402 0 0 0 57669 340 0 0 25 0 1 0 906961055 28794880 3953 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7030 3953 1111 63 0 6967 0
vsize: 28120
[startup+590.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2552
Raw data (stat): 2552 (bsolo_lpr_cuts-) R 2551 20224 20223 0 -1 0 190139 0 0 0 58624 385 0 0 25 0 1 0 906961055 29069312 4009 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7097 4009 1111 63 0 7034 0
vsize: 28388
[startup+600.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2552
Raw data (stat): 2552 (bsolo_lpr_cuts-) R 2551 20224 20223 0 -1 0 212551 0 0 0 59580 429 0 0 25 0 1 0 906961055 29339648 4065 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7163 4065 1111 63 0 7100 0
vsize: 28652
[startup+610.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2552
Raw data (stat): 2552 (bsolo_lpr_cuts-) R 2551 20224 20223 0 -1 0 232863 0 0 0 60541 468 0 0 25 0 1 0 906961055 29478912 4118 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7197 4118 1111 63 0 7134 0
vsize: 28788
[startup+620.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2552
Raw data (stat): 2552 (bsolo_lpr_cuts-) R 2551 20224 20223 0 -1 0 254172 0 0 0 61499 510 0 0 25 0 1 0 906961055 29900800 4189 4294967295 134512640 134716908 3221224576 3221222928 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7300 4194 1111 63 0 7237 0
vsize: 29200
[startup+630.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2552
Raw data (stat): 2552 (bsolo_lpr_cuts-) R 2551 20224 20223 0 -1 0 280348 0 0 0 62449 561 0 0 25 0 1 0 906961055 29888512 4234 4294967295 134512640 134716908 3221224576 3221223232 134527930 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7297 4234 1111 63 0 7234 0
vsize: 29188
[startup+640.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2552
Raw data (stat): 2552 (bsolo_lpr_cuts-) R 2551 20224 20223 0 -1 0 305150 0 0 0 63404 605 0 0 25 0 1 0 906961055 30162944 4294 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7364 4294 1111 63 0 7301 0
vsize: 29456
[startup+650.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2552
Raw data (stat): 2552 (bsolo_lpr_cuts-) R 2551 20224 20223 0 -1 0 330988 0 0 0 64355 655 0 0 25 0 1 0 906961055 30433280 4353 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7430 4353 1111 63 0 7367 0
vsize: 29720
[startup+660.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2552
Raw data (stat): 2552 (bsolo_lpr_cuts-) R 2551 20224 20223 0 -1 0 356727 0 0 0 65306 704 0 0 25 0 1 0 906961055 30707712 4413 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7497 4413 1111 63 0 7434 0
vsize: 29988
[startup+670.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2552
Raw data (stat): 2552 (bsolo_lpr_cuts-) R 2551 20224 20223 0 -1 0 384229 0 0 0 66253 757 0 0 25 0 1 0 906961055 30978048 4475 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7563 4475 1111 63 0 7500 0
vsize: 30252
[startup+680.035 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2552
Raw data (stat): 2552 (bsolo_lpr_cuts-) R 2551 20224 20223 0 -1 0 410766 0 0 0 67206 805 0 0 25 0 1 0 906961055 31117312 4535 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7597 4535 1111 63 0 7534 0
vsize: 30388
[startup+690.036 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2552
Raw data (stat): 2552 (bsolo_lpr_cuts-) R 2551 20224 20223 0 -1 0 438033 0 0 0 68153 858 0 0 25 0 1 0 906961055 31391744 4595 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7664 4595 1111 63 0 7601 0
vsize: 30656
[startup+700.036 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2552
Raw data (stat): 2552 (bsolo_lpr_cuts-) R 2551 20224 20223 0 -1 0 462992 0 0 0 69104 907 0 0 25 0 1 0 906961055 31662080 4648 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7730 4648 1111 63 0 7667 0
vsize: 30920
[startup+710.037 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2552
Raw data (stat): 2552 (bsolo_lpr_cuts-) R 2551 20224 20223 0 -1 0 492652 0 0 0 70047 964 0 0 25 0 1 0 906961055 31936512 4713 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7797 4713 1111 63 0 7734 0
vsize: 31188
[startup+720.036 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2552
Raw data (stat): 2552 (bsolo_lpr_cuts-) R 2551 20224 20223 0 -1 0 520555 0 0 0 70993 1018 0 0 25 0 1 0 906961055 32075776 4773 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7831 4773 1111 63 0 7768 0
vsize: 31324
[startup+730.037 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2552
Raw data (stat): 2552 (bsolo_lpr_cuts-) R 2551 20224 20223 0 -1 0 548287 0 0 0 71946 1066 0 0 25 0 1 0 906961055 32346112 4829 4294967295 134512640 134716908 3221224576 3221222808 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7897 4829 1111 63 0 7834 0
vsize: 31588
[startup+740.038 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2552
Raw data (stat): 2552 (bsolo_lpr_cuts-) R 2551 20224 20223 0 -1 0 575865 0 0 0 72891 1120 0 0 25 0 1 0 906961055 32620544 4886 4294967295 134512640 134716908 3221224576 3221223232 134527972 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7964 4886 1111 63 0 7901 0
vsize: 31856
[startup+750.038 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2552
Raw data (stat): 2552 (bsolo_lpr_cuts-) R 2551 20224 20223 0 -1 0 603958 0 0 0 73839 1173 0 0 25 0 1 0 906961055 32755712 4944 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7997 4944 1111 63 0 7934 0
vsize: 31988
[startup+760.038 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2552
Raw data (stat): 2552 (bsolo_lpr_cuts-) R 2551 20224 20223 0 -1 0 632645 0 0 0 74785 1227 0 0 25 0 1 0 906961055 33030144 5001 4294967295 134512640 134716908 3221224576 3221222824 1077799185 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8064 5001 1111 63 0 8001 0
vsize: 32256
[startup+770.038 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2552
Raw data (stat): 2552 (bsolo_lpr_cuts-) R 2551 20224 20223 0 -1 0 662073 0 0 0 75727 1285 0 0 25 0 1 0 906961055 33304576 5060 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8131 5060 1111 63 0 8068 0
vsize: 32524
[startup+780.038 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2552
Raw data (stat): 2552 (bsolo_lpr_cuts-) R 2551 20224 20223 0 -1 0 688772 0 0 0 76675 1337 0 0 25 0 1 0 906961055 33439744 5110 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8164 5110 1111 63 0 8101 0
vsize: 32656
[startup+790.038 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2552
Raw data (stat): 2552 (bsolo_lpr_cuts-) R 2551 20224 20223 0 -1 0 720166 0 0 0 77615 1397 0 0 25 0 1 0 906961055 33714176 5172 4294967295 134512640 134716908 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8231 5172 1111 63 0 8168 0
vsize: 32924
[startup+800.039 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2552
Raw data (stat): 2552 (bsolo_lpr_cuts-) R 2551 20224 20223 0 -1 0 751213 0 0 0 78558 1455 0 0 25 0 1 0 906961055 33988608 5232 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8298 5232 1111 63 0 8235 0
vsize: 33192
[startup+810.039 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2552
Raw data (stat): 2552 (bsolo_lpr_cuts-) R 2551 20224 20223 0 -1 0 782090 0 0 0 79498 1515 0 0 25 0 1 0 906961055 34123776 5288 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8331 5288 1111 63 0 8268 0
vsize: 33324
[startup+820.039 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2552
Raw data (stat): 2552 (bsolo_lpr_cuts-) R 2551 20224 20223 0 -1 0 817939 0 0 0 80430 1583 0 0 25 0 1 0 906961055 34398208 5355 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8398 5355 1111 63 0 8335 0
vsize: 33592
[startup+830.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2552
Raw data (stat): 2552 (bsolo_lpr_cuts-) R 2551 20224 20223 0 -1 0 851368 0 0 0 81370 1644 0 0 25 0 1 0 906961055 34885632 5434 4294967295 134512640 134716908 3221224576 3221222928 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8517 5439 1111 63 0 8454 0
vsize: 34068
[startup+840.039 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2552
Raw data (stat): 2552 (bsolo_lpr_cuts-) R 2551 20224 20223 0 -1 0 882207 0 0 0 82309 1704 0 0 25 0 1 0 906961055 34947072 5471 4294967295 134512640 134716908 3221224576 3221223232 134527930 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8532 5471 1111 63 0 8469 0
vsize: 34128
[startup+850.039 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2552
Raw data (stat): 2552 (bsolo_lpr_cuts-) R 2551 20224 20223 0 -1 0 915437 0 0 0 83245 1769 0 0 25 0 1 0 906961055 35221504 5531 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8599 5531 1111 63 0 8536 0
vsize: 34396
[startup+860.041 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2552
Raw data (stat): 2552 (bsolo_lpr_cuts-) R 2551 20224 20223 0 -1 0 947316 0 0 0 84185 1829 0 0 25 0 1 0 906961055 35356672 5586 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8632 5586 1111 63 0 8569 0
vsize: 34528
[startup+870.041 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2552
Raw data (stat): 2552 (bsolo_lpr_cuts-) R 2551 20224 20223 0 -1 0 984718 0 0 0 85112 1902 0 0 25 0 1 0 906961055 35631104 5652 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8699 5652 1111 63 0 8636 0
vsize: 34796
[startup+880.041 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2552
Raw data (stat): 2552 (bsolo_lpr_cuts-) R 2551 20224 20223 0 -1 0 1024837 0 0 0 86030 1984 0 0 25 0 1 0 906961055 35905536 5721 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8766 5721 1111 63 0 8703 0
vsize: 35064
[startup+890.042 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2552
Raw data (stat): 2552 (bsolo_lpr_cuts-) R 2551 20224 20223 0 -1 0 1063513 0 0 0 86955 2060 0 0 25 0 1 0 906961055 36179968 5787 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8833 5787 1111 63 0 8770 0
vsize: 35332
[startup+900.041 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2552
Raw data (stat): 2552 (bsolo_lpr_cuts-) R 2551 20224 20223 0 -1 0 1102465 0 0 0 87882 2132 0 0 25 0 1 0 906961055 36679680 5861 4294967295 134512640 134716908 3221224576 3221222928 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8955 5867 1111 63 0 8892 0
vsize: 35820
[startup+910.042 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2552
Raw data (stat): 2552 (bsolo_lpr_cuts-) R 2551 20224 20223 0 -1 0 1135509 0 0 0 88819 2195 0 0 25 0 1 0 906961055 36728832 5907 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8967 5907 1111 63 0 8904 0
vsize: 35868
[startup+920.043 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2552
Raw data (stat): 2552 (bsolo_lpr_cuts-) R 2551 20224 20223 0 -1 0 1169331 0 0 0 89755 2260 0 0 25 0 1 0 906961055 36864000 5961 4294967295 134512640 134716908 3221224576 3221223232 134527928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9000 5961 1111 63 0 8937 0
vsize: 36000
[startup+930.043 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2552
Raw data (stat): 2552 (bsolo_lpr_cuts-) R 2551 20224 20223 0 -1 0 1204812 0 0 0 90687 2328 0 0 25 0 1 0 906961055 37138432 6020 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9067 6020 1111 63 0 9004 0
vsize: 36268
[startup+940.043 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2552
Raw data (stat): 2552 (bsolo_lpr_cuts-) R 2551 20224 20223 0 -1 0 1238065 0 0 0 91624 2392 0 0 25 0 1 0 906961055 37507072 6099 4294967295 134512640 134716908 3221224576 3221222928 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9157 6105 1111 63 0 9094 0
vsize: 36628
[startup+950.043 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2552
Raw data (stat): 2552 (bsolo_lpr_cuts-) R 2551 20224 20223 0 -1 0 1272251 0 0 0 92558 2457 0 0 25 0 1 0 906961055 37789696 6143 4294967295 134512640 134716908 3221224576 3221222928 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9226 6148 1111 63 0 9163 0
vsize: 36904
[startup+960.043 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2552
Raw data (stat): 2552 (bsolo_lpr_cuts-) R 2551 20224 20223 0 -1 0 1305699 0 0 0 93497 2519 0 0 25 0 1 0 906961055 37691392 6180 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9202 6180 1111 63 0 9139 0
vsize: 36808
[startup+970.044 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2552
Raw data (stat): 2552 (bsolo_lpr_cuts-) R 2551 20224 20223 0 -1 0 1341035 0 0 0 94430 2586 0 0 25 0 1 0 906961055 37961728 6234 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9268 6234 1111 63 0 9205 0
vsize: 37072
[startup+980.045 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2552
Raw data (stat): 2552 (bsolo_lpr_cuts-) R 2551 20224 20223 0 -1 0 1374860 0 0 0 95365 2651 0 0 25 0 1 0 906961055 38236160 6286 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9335 6286 1111 63 0 9272 0
vsize: 37340
[startup+990.045 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2552
Raw data (stat): 2552 (bsolo_lpr_cuts-) R 2551 20224 20223 0 -1 0 1407850 0 0 0 96304 2713 0 0 25 0 1 0 906961055 38371328 6336 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9368 6336 1111 63 0 9305 0
vsize: 37472
[startup+1000.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2552
Raw data (stat): 2552 (bsolo_lpr_cuts-) R 2551 20224 20223 0 -1 0 1444352 0 0 0 97233 2784 0 0 25 0 1 0 906961055 38645760 6391 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9435 6391 1111 63 0 9372 0
vsize: 37740
[startup+1010.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2552
Raw data (stat): 2552 (bsolo_lpr_cuts-) R 2551 20224 20223 0 -1 0 1482107 0 0 0 98162 2855 0 0 25 0 1 0 906961055 38780928 6448 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9468 6448 1111 63 0 9405 0
vsize: 37872
[startup+1020.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2552
Raw data (stat): 2552 (bsolo_lpr_cuts-) R 2551 20224 20223 0 -1 0 1526484 0 0 0 99073 2944 0 0 25 0 1 0 906961055 39059456 6514 4294967295 134512640 134716908 3221224576 3221223232 134527930 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9536 6514 1111 63 0 9473 0
vsize: 38144
[startup+1030.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2552
Raw data (stat): 2552 (bsolo_lpr_cuts-) R 2551 20224 20223 0 -1 0 1570888 0 0 0 99991 3026 0 0 25 0 1 0 906961055 39333888 6579 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9603 6579 1111 63 0 9540 0
vsize: 38412
[startup+1040.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2552
Raw data (stat): 2552 (bsolo_lpr_cuts-) R 2551 20224 20223 0 -1 0 1617363 0 0 0 100901 3117 0 0 25 0 1 0 906961055 40505344 6659 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9889 6659 1111 63 0 9826 0
vsize: 39556
[startup+1050.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2552
Raw data (stat): 2552 (bsolo_lpr_cuts-) R 2551 20224 20223 0 -1 0 1659705 0 0 0 101821 3196 0 0 25 0 1 0 906961055 40902656 6761 4294967295 134512640 134716908 3221224576 3221222928 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9986 6766 1111 63 0 9923 0
vsize: 39944
[startup+1060.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2552
Raw data (stat): 2552 (bsolo_lpr_cuts-) R 2551 20224 20223 0 -1 0 1704880 0 0 0 102735 3283 0 0 25 0 1 0 906961055 40914944 6775 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9989 6775 1111 63 0 9926 0
vsize: 39956
[startup+1070.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2552
Raw data (stat): 2552 (bsolo_lpr_cuts-) R 2551 20224 20223 0 -1 0 1747572 0 0 0 103651 3367 0 0 25 0 1 0 906961055 41189376 6836 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10056 6836 1111 63 0 9993 0
vsize: 40224
[startup+1080.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2552
Raw data (stat): 2552 (bsolo_lpr_cuts-) R 2551 20224 20223 0 -1 0 1785047 0 0 0 104576 3442 0 0 25 0 1 0 906961055 41324544 6889 4294967295 134512640 134716908 3221224576 3221223232 134527935 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10089 6889 1111 63 0 10026 0
vsize: 40356
[startup+1090.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2552
Raw data (stat): 2552 (bsolo_lpr_cuts-) R 2551 20224 20223 0 -1 0 1818796 0 0 0 105510 3508 0 0 25 0 1 0 906961055 41598976 6936 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10156 6936 1111 63 0 10093 0
vsize: 40624
[startup+1100.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2552
Raw data (stat): 2552 (bsolo_lpr_cuts-) R 2551 20224 20223 0 -1 0 1862204 0 0 0 106426 3593 0 0 25 0 1 0 906961055 41734144 6995 4294967295 134512640 134716908 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10189 6995 1111 63 0 10126 0
vsize: 40756
[startup+1110.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2552
Raw data (stat): 2552 (bsolo_lpr_cuts-) R 2551 20224 20223 0 -1 0 1903403 0 0 0 107349 3670 0 0 25 0 1 0 906961055 42008576 7051 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10256 7051 1111 63 0 10193 0
vsize: 41024
[startup+1120.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2552
Raw data (stat): 2552 (bsolo_lpr_cuts-) R 2551 20224 20223 0 -1 0 1941592 0 0 0 108274 3744 0 0 25 0 1 0 906961055 42422272 7160 4294967295 134512640 134716908 3221224576 3221222928 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10357 7165 1111 63 0 10294 0
vsize: 41428
[startup+1130.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2552
Raw data (stat): 2552 (bsolo_lpr_cuts-) R 2551 20224 20223 0 -1 0 1981946 0 0 0 109197 3823 0 0 25 0 1 0 906961055 42704896 7204 4294967295 134512640 134716908 3221224576 3221222928 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10426 7209 1111 63 0 10363 0
vsize: 41704
[startup+1140.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2552
Raw data (stat): 2552 (bsolo_lpr_cuts-) R 2551 20224 20223 0 -1 0 2019139 0 0 0 110123 3896 0 0 25 0 1 0 906961055 42975232 7275 4294967295 134512640 134716908 3221224576 3221222928 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10423 7208 1111 63 0 10360 0
vsize: 41968
[startup+1150.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2552
Raw data (stat): 2552 (bsolo_lpr_cuts-) R 2551 20224 20223 0 -1 0 2058792 0 0 0 111047 3972 0 0 25 0 1 0 906961055 42831872 7262 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10457 7262 1111 63 0 10394 0
vsize: 41828
[startup+1160.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2552
Raw data (stat): 2552 (bsolo_lpr_cuts-) R 2551 20224 20223 0 -1 0 2093217 0 0 0 111976 4043 0 0 25 0 1 0 906961055 42971136 7307 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10491 7307 1111 63 0 10428 0
vsize: 41964
[startup+1170.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2552
Raw data (stat): 2552 (bsolo_lpr_cuts-) R 2551 20224 20223 0 -1 0 2126728 0 0 0 112910 4110 0 0 25 0 1 0 906961055 43532288 7377 4294967295 134512640 134716908 3221224576 3221222928 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10628 7383 1111 63 0 10565 0
vsize: 42512
[startup+1180.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2552
Raw data (stat): 2552 (bsolo_lpr_cuts-) R 2551 20224 20223 0 -1 0 2178425 0 0 0 113810 4210 0 0 25 0 1 0 906961055 43515904 7417 4294967295 134512640 134716908 3221224576 3221223232 134527935 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10624 7417 1111 63 0 10561 0
vsize: 42496
[startup+1190.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2552
Raw data (stat): 2552 (bsolo_lpr_cuts-) R 2551 20224 20223 0 -1 0 2225429 0 0 0 114719 4301 0 0 25 0 1 0 906961055 43651072 7477 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10657 7477 1111 63 0 10594 0
vsize: 42628
[startup+1200.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2552
Raw data (stat): 2552 (bsolo_lpr_cuts-) R 2551 20224 20223 0 -1 0 2275821 0 0 0 115623 4397 0 0 25 0 1 0 906961055 43929600 7543 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10725 7543 1111 63 0 10662 0
vsize: 42900
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.07 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 2552
Raw data (stat): 2552 (bsolo_lpr_cuts-) Z 2551 20224 20223 0 -1 1036 2275821 0 0 0 115623 4399 0 0 25 0 1 0 906961055 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.07
CPU time (s): 1200.23
CPU user time (s): 1156.24
CPU system time (s): 43.9933
CPU usage (%): 100.013
Max. virtual memory (Kb): 42900
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####