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/manquinho/primes-dimacs-cnf/normalized-ii16b1.opb
MD5SUM	dd9b4ae34921e1731f1a12dcd9d29b23
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1528
Optimality of the best value was proved	NO
Number of terms in the objective function	3456
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	3456
Number of bits of the sum of numbers in the objective function	12
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	3456
Number of bits of the biggest sum of numbers	12
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.09
Number of variables	3456
Total number of constraints	26520
Number of constraints which are clauses	26520
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	16
Trace number 40686

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-08 18:22:55 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28752 boxname=wulflinc3 idbench=138 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  dd9b4ae34921e1731f1a12dcd9d29b23  /oldhome/oroussel/tmp/wulflinc3/normalized-ii16b1.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-ii16b1.opb
IDLAUNCH: 28752
/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:        744960 kB
Buffers:         22720 kB
Cached:         246568 kB
SwapCached:        808 kB
Active:          36628 kB
Inactive:       234760 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        744708 kB
SwapTotal:     2097136 kB
SwapFree:      2095332 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5012 kB
Slab:            12476 kB
Committed_AS:    71788 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 18:42:57 (client local time) WITH STATUS 0 IN 1200.24 SECONDS
stats: 28752 7 1200.24 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 3456 variables and 26520 constraints.
c After prepocess the problem consists of 3456 variables and 26584 constraints.
c preprocess terminated 117.678 s
c Initial Lower Bound: 625
c Lower Bound Elapsed time: 273.694
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 1728 @ 398.962
c NEW SOLUTION FOUND: 1727 @ 398.97
c NEW SOLUTION FOUND: 1726 @ 399.023
c NEW SOLUTION FOUND: 1725 @ 399.063
c NEW SOLUTION FOUND: 1724 @ 399.101
c NEW SOLUTION FOUND: 1723 @ 399.14
c NEW SOLUTION FOUND: 1722 @ 399.182
c NEW SOLUTION FOUND: 1721 @ 399.224
c NEW SOLUTION FOUND: 1720 @ 399.265
c NEW SOLUTION FOUND: 1719 @ 399.307
c NEW SOLUTION FOUND: 1718 @ 399.352
c NEW SOLUTION FOUND: 1717 @ 399.397
c NEW SOLUTION FOUND: 1716 @ 399.443
c NEW SOLUTION FOUND: 1715 @ 399.488
c NEW SOLUTION FOUND: 1714 @ 399.537
c NEW SOLUTION FOUND: 1713 @ 399.585
c NEW SOLUTION FOUND: 1712 @ 399.634
c NEW SOLUTION FOUND: 1711 @ 399.684
c NEW SOLUTION FOUND: 1710 @ 399.735
c NEW SOLUTION FOUND: 1709 @ 399.784
c NEW SOLUTION FOUND: 1708 @ 399.835
c NEW SOLUTION FOUND: 1707 @ 399.887
c NEW SOLUTION FOUND: 1706 @ 399.939
c NEW SOLUTION FOUND: 1705 @ 400.044
c NEW SOLUTION FOUND: 1704 @ 400.151
c NEW SOLUTION FOUND: 1703 @ 400.205
c NEW SOLUTION FOUND: 1702 @ 400.262
c NEW SOLUTION FOUND: 1701 @ 400.32
c NEW SOLUTION FOUND: 1700 @ 400.379
c NEW SOLUTION FOUND: 1699 @ 400.437
c NEW SOLUTION FOUND: 1698 @ 400.497
c NEW SOLUTION FOUND: 1697 @ 400.559
c NEW SOLUTION FOUND: 1696 @ 400.62
c NEW SOLUTION FOUND: 1695 @ 400.746
c NEW SOLUTION FOUND: 1694 @ 400.811
c NEW SOLUTION FOUND: 1693 @ 400.878
c NEW SOLUTION FOUND: 1692 @ 401.02
c NEW SOLUTION FOUND: 1691 @ 401.092
c NEW SOLUTION FOUND: 1690 @ 401.167
c NEW SOLUTION FOUND: 1689 @ 401.242
c NEW SOLUTION FOUND: 1688 @ 401.316
c NEW SOLUTION FOUND: 1687 @ 401.391
c NEW SOLUTION FOUND: 1686 @ 401.468
c NEW SOLUTION FOUND: 1685 @ 401.549
c NEW SOLUTION FOUND: 1684 @ 401.629
c NEW SOLUTION FOUND: 1683 @ 401.709
c NEW SOLUTION FOUND: 1682 @ 401.869
c NEW SOLUTION FOUND: 1681 @ 401.952
c NEW SOLUTION FOUND: 1673 @ 402.043
c NEW SOLUTION FOUND: 1672 @ 402.133
c NEW SOLUTION FOUND: 1671 @ 402.315
c NEW SOLUTION FOUND: 1670 @ 402.596
c NEW SOLUTION FOUND: 1669 @ 402.694
c NEW SOLUTION FOUND: 1668 @ 402.794
c NEW SOLUTION FOUND: 1667 @ 402.894
c NEW SOLUTION FOUND: 1666 @ 402.995
c NEW SOLUTION FOUND: 1665 @ 403.095
c NEW SOLUTION FOUND: 1664 @ 403.197
c NEW SOLUTION FOUND: 1663 @ 403.301
c NEW SOLUTION FOUND: 1662 @ 403.644
c NEW SOLUTION FOUND: 1661 @ 403.991
c NEW SOLUTION FOUND: 1660 @ 404.166
c NEW SOLUTION FOUND: 1640 @ 404.754
#### 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.85 0.97 0.91 2/54 29188
Raw data (stat): 29188 (runsolver) R 29187 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 903753984 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.0006 s]
Raw data (loadavg): 0.87 0.97 0.91 2/54 29188
Raw data (stat): 29188 (bsolo_lpr_cuts-) R 29187 20224 20223 0 -1 0 5685 0 0 0 982 15 0 0 25 0 1 0 903753984 26476544 5596 4294967295 134512640 134716908 3221224576 3221222984 134543614 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6464 5596 1111 63 0 6401 0
vsize: 25856
[startup+20.0014 s]
Raw data (loadavg): 0.89 0.97 0.91 2/54 29188
Raw data (stat): 29188 (bsolo_lpr_cuts-) R 29187 20224 20223 0 -1 0 5908 0 0 0 1981 16 0 0 25 0 1 0 903753984 27422720 5819 4294967295 134512640 134716908 3221224576 3221223304 134675274 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6695 5819 1111 63 0 6632 0
vsize: 26780
[startup+30.0017 s]
Raw data (loadavg): 0.91 0.97 0.91 2/54 29188
Raw data (stat): 29188 (bsolo_lpr_cuts-) R 29187 20224 20223 0 -1 0 5915 0 0 0 2981 16 0 0 25 0 1 0 903753984 27422720 5826 4294967295 134512640 134716908 3221224576 3221222960 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6695 5826 1111 63 0 6632 0
vsize: 26780
[startup+40.002 s]
Raw data (loadavg): 0.92 0.97 0.91 2/54 29188
Raw data (stat): 29188 (bsolo_lpr_cuts-) R 29187 20224 20223 0 -1 0 5920 0 0 0 3981 16 0 0 25 0 1 0 903753984 27422720 5831 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6695 5831 1111 63 0 6632 0
vsize: 26780
[startup+50.0022 s]
Raw data (loadavg): 0.93 0.97 0.91 2/54 29188
Raw data (stat): 29188 (bsolo_lpr_cuts-) R 29187 20224 20223 0 -1 0 5925 0 0 0 4982 16 0 0 25 0 1 0 903753984 27422720 5836 4294967295 134512640 134716908 3221224576 3221223056 134539462 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6695 5836 1111 63 0 6632 0
vsize: 26780
[startup+60.0032 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 29188
Raw data (stat): 29188 (bsolo_lpr_cuts-) R 29187 20224 20223 0 -1 0 19706 0 0 0 5951 47 0 0 25 0 1 0 903753984 78741504 18376 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19224 18376 1111 63 0 19161 0
vsize: 76896
[startup+70.0036 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 29188
Raw data (stat): 29188 (bsolo_lpr_cuts-) R 29187 20224 20223 0 -1 0 19706 0 0 0 6951 47 0 0 25 0 1 0 903753984 78741504 18376 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19224 18376 1111 63 0 19161 0
vsize: 76896
[startup+80.0034 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 29188
Raw data (stat): 29188 (bsolo_lpr_cuts-) R 29187 20224 20223 0 -1 0 19706 0 0 0 7951 47 0 0 25 0 1 0 903753984 78741504 18376 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19224 18376 1111 63 0 19161 0
vsize: 76896
[startup+90.0037 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 29188
Raw data (stat): 29188 (bsolo_lpr_cuts-) R 29187 20224 20223 0 -1 0 19706 0 0 0 8951 47 0 0 25 0 1 0 903753984 78741504 18376 4294967295 134512640 134716908 3221224576 3221223248 134627186 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19224 18376 1111 63 0 19161 0
vsize: 76896
[startup+100.003 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 29188
Raw data (stat): 29188 (bsolo_lpr_cuts-) R 29187 20224 20223 0 -1 0 19706 0 0 0 9951 47 0 0 25 0 1 0 903753984 78741504 18376 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19224 18376 1111 63 0 19161 0
vsize: 76896
[startup+110.004 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 29188
Raw data (stat): 29188 (bsolo_lpr_cuts-) R 29187 20224 20223 0 -1 0 19706 0 0 0 10952 47 0 0 25 0 1 0 903753984 78741504 18376 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19224 18376 1111 63 0 19161 0
vsize: 76896
[startup+120.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 29188
Raw data (stat): 29188 (bsolo_lpr_cuts-) R 29187 20224 20223 0 -1 0 20068 0 0 0 11951 48 0 0 25 0 1 0 903753984 80461824 18738 4294967295 134512640 134716908 3221224576 3221222880 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19644 18738 1111 63 0 19581 0
vsize: 78576
[startup+130.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 29188
Raw data (stat): 29188 (bsolo_lpr_cuts-) R 29187 20224 20223 0 -1 0 20339 0 0 0 12949 50 0 0 25 0 1 0 903753984 81309696 18987 4294967295 134512640 134716908 3221224576 3221222880 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19851 18987 1111 63 0 19788 0
vsize: 79404
[startup+140.004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 29188
Raw data (stat): 29188 (bsolo_lpr_cuts-) R 29187 20224 20223 0 -1 0 20424 0 0 0 13946 53 0 0 25 0 1 0 903753984 81637376 19072 4294967295 134512640 134716908 3221224576 3221222880 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19931 19072 1111 63 0 19868 0
vsize: 79724
[startup+150.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 29188
Raw data (stat): 29188 (bsolo_lpr_cuts-) R 29187 20224 20223 0 -1 0 20515 0 0 0 14945 54 0 0 25 0 1 0 903753984 81997824 19163 4294967295 134512640 134716908 3221224576 3221222792 1074138144 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20019 19163 1111 63 0 19956 0
vsize: 80076
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29188
Raw data (stat): 29188 (bsolo_lpr_cuts-) R 29187 20224 20223 0 -1 0 20577 0 0 0 15944 55 0 0 25 0 1 0 903753984 82243584 19225 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20079 19225 1111 63 0 20016 0
vsize: 80316
[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29188
Raw data (stat): 29188 (bsolo_lpr_cuts-) R 29187 20224 20223 0 -1 0 20607 0 0 0 16942 57 0 0 25 0 1 0 903753984 82358272 19255 4294967295 134512640 134716908 3221224576 3221222720 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20107 19255 1111 63 0 20044 0
vsize: 80428
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29188
Raw data (stat): 29188 (bsolo_lpr_cuts-) R 29187 20224 20223 0 -1 0 24111 0 0 0 17935 64 0 0 25 0 1 0 903753984 100515840 21829 4294967295 134512640 134716908 3221224576 3221220752 1074961267 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24540 21829 1111 63 0 24477 0
vsize: 98160
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29188
Raw data (stat): 29188 (bsolo_lpr_cuts-) R 29187 20224 20223 0 -1 0 24151 0 0 0 18935 65 0 0 25 0 1 0 903753984 100515840 21851 4294967295 134512640 134716908 3221224576 3221220536 1074860227 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24540 21851 1111 63 0 24477 0
vsize: 98160
[startup+200.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29188
Raw data (stat): 29188 (bsolo_lpr_cuts-) R 29187 20224 20223 0 -1 0 24182 0 0 0 19935 65 0 0 25 0 1 0 903753984 100515840 21862 4294967295 134512640 134716908 3221224576 3221221292 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24540 21862 1111 63 0 24477 0
vsize: 98160
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29188
Raw data (stat): 29188 (bsolo_lpr_cuts-) R 29187 20224 20223 0 -1 0 24201 0 0 0 20935 65 0 0 25 0 1 0 903753984 100515840 21865 4294967295 134512640 134716908 3221224576 3221220700 1075116719 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24540 21865 1111 63 0 24477 0
vsize: 98160
[startup+220.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29188
Raw data (stat): 29188 (bsolo_lpr_cuts-) R 29187 20224 20223 0 -1 0 24254 0 0 0 21935 65 0 0 25 0 1 0 903753984 100515840 21898 4294967295 134512640 134716908 3221224576 3221220700 1075116767 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24540 21898 1111 63 0 24477 0
vsize: 98160
[startup+230.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29188
Raw data (stat): 29188 (bsolo_lpr_cuts-) R 29187 20224 20223 0 -1 0 24293 0 0 0 22935 66 0 0 25 0 1 0 903753984 100515840 21911 4294967295 134512640 134716908 3221224576 3221220700 1075116741 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24540 21911 1111 63 0 24477 0
vsize: 98160
[startup+240.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29188
Raw data (stat): 29188 (bsolo_lpr_cuts-) R 29187 20224 20223 0 -1 0 24321 0 0 0 23935 66 0 0 25 0 1 0 903753984 100515840 21913 4294967295 134512640 134716908 3221224576 3221220700 1075116464 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24540 21913 1111 63 0 24477 0
vsize: 98160
[startup+250.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29188
Raw data (stat): 29188 (bsolo_lpr_cuts-) R 29187 20224 20223 0 -1 0 24350 0 0 0 24934 67 0 0 25 0 1 0 903753984 100515840 21914 4294967295 134512640 134716908 3221224576 3221220700 1075116767 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24540 21914 1111 63 0 24477 0
vsize: 98160
[startup+260.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29188
Raw data (stat): 29188 (bsolo_lpr_cuts-) R 29187 20224 20223 0 -1 0 24378 0 0 0 25934 67 0 0 25 0 1 0 903753984 100515840 21916 4294967295 134512640 134716908 3221224576 3221220700 1075116856 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24540 21916 1111 63 0 24477 0
vsize: 98160
[startup+270.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29188
Raw data (stat): 29188 (bsolo_lpr_cuts-) R 29187 20224 20223 0 -1 0 24405 0 0 0 26934 67 0 0 25 0 1 0 903753984 100728832 21919 4294967295 134512640 134716908 3221224576 3221221072 1074884324 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24592 21919 1111 63 0 24529 0
vsize: 98368
[startup+280.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29188
Raw data (stat): 29188 (bsolo_lpr_cuts-) R 29187 20224 20223 0 -1 0 24429 0 0 0 27934 67 0 0 25 0 1 0 903753984 100515840 21917 4294967295 134512640 134716908 3221224576 3221220348 1074787756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24540 21917 1111 63 0 24477 0
vsize: 98160
[startup+290.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29188
Raw data (stat): 29188 (bsolo_lpr_cuts-) R 29187 20224 20223 0 -1 0 24455 0 0 0 28934 68 0 0 25 0 1 0 903753984 100515840 21917 4294967295 134512640 134716908 3221224576 3221220700 1075116866 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24540 21917 1111 63 0 24477 0
vsize: 98160
[startup+300.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29188
Raw data (stat): 29188 (bsolo_lpr_cuts-) R 29187 20224 20223 0 -1 0 24483 0 0 0 29934 68 0 0 25 0 1 0 903753984 100515840 21917 4294967295 134512640 134716908 3221224576 3221220752 1074960868 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24540 21917 1111 63 0 24477 0
vsize: 98160
[startup+310.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29188
Raw data (stat): 29188 (bsolo_lpr_cuts-) R 29187 20224 20223 0 -1 0 24512 0 0 0 30934 68 0 0 25 0 1 0 903753984 100728832 21920 4294967295 134512640 134716908 3221224576 3221221520 1075971413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24592 21920 1111 63 0 24529 0
vsize: 98368
[startup+320.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29188
Raw data (stat): 29188 (bsolo_lpr_cuts-) R 29187 20224 20223 0 -1 0 24605 0 0 0 31934 68 0 0 25 0 1 0 903753984 101421056 21987 4294967295 134512640 134716908 3221224576 3221221408 1075960378 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24761 21987 1111 63 0 24698 0
vsize: 99044
[startup+330.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29188
Raw data (stat): 29188 (bsolo_lpr_cuts-) R 29187 20224 20223 0 -1 0 30110 0 0 0 32920 83 0 0 25 0 1 0 903753984 87007232 20472 4294967295 134512640 134716908 3221224576 3221222632 1074950108 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21242 20472 1111 63 0 21179 0
vsize: 84968
[startup+340.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29188
Raw data (stat): 29188 (bsolo_lpr_cuts-) R 29187 20224 20223 0 -1 0 31662 0 0 0 33912 90 0 0 25 0 1 0 903753984 87007232 20472 4294967295 134512640 134716908 3221224576 3221222800 1074039443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21242 20472 1111 63 0 21179 0
vsize: 84968
[startup+350.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29188
Raw data (stat): 29188 (bsolo_lpr_cuts-) R 29187 20224 20223 0 -1 0 33070 0 0 0 34907 96 0 0 25 0 1 0 903753984 87666688 20476 4294967295 134512640 134716908 3221224576 3221222476 1074788950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21403 20476 1111 63 0 21340 0
vsize: 85612
[startup+360.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29188
Raw data (stat): 29188 (bsolo_lpr_cuts-) R 29187 20224 20223 0 -1 0 34482 0 0 0 35900 103 0 0 25 0 1 0 903753984 87666688 20476 4294967295 134512640 134716908 3221224576 3221222584 1075964745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21403 20476 1111 63 0 21340 0
vsize: 85612
[startup+370.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29188
Raw data (stat): 29188 (bsolo_lpr_cuts-) R 29187 20224 20223 0 -1 0 35910 0 0 0 36893 110 0 0 25 0 1 0 903753984 87666688 20476 4294967295 134512640 134716908 3221224576 3221222692 1075964214 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21403 20476 1111 63 0 21340 0
vsize: 85612
[startup+380.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29188
Raw data (stat): 29188 (bsolo_lpr_cuts-) R 29187 20224 20223 0 -1 0 37342 0 0 0 37887 116 0 0 25 0 1 0 903753984 87666688 20476 4294967295 134512640 134716908 3221224576 3221222624 1074790226 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21403 20476 1111 63 0 21340 0
vsize: 85612
[startup+390.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29188
Raw data (stat): 29188 (bsolo_lpr_cuts-) R 29187 20224 20223 0 -1 0 38790 0 0 0 38880 124 0 0 25 0 1 0 903753984 87007232 20472 4294967295 134512640 134716908 3221224576 3221222800 1074039443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21242 20472 1111 63 0 21179 0
vsize: 84968
[startup+400.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29188
Raw data (stat): 29188 (bsolo_lpr_cuts-) R 29187 20224 20223 0 -1 0 39989 0 0 0 39876 128 0 0 25 0 1 0 903753984 81866752 19264 4294967295 134512640 134716908 3221224576 3221222152 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19987 19264 1111 63 0 19924 0
vsize: 79948
[startup+410.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29188
Raw data (stat): 29188 (bsolo_lpr_cuts-) R 29187 20224 20223 0 -1 0 48257 0 0 0 40856 148 0 0 25 0 1 0 903753984 91738112 19338 4294967295 134512640 134716908 3221224576 3221220816 1075115715 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22397 19338 1111 63 0 22334 0
vsize: 89588
[startup+420.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29188
Raw data (stat): 29188 (bsolo_lpr_cuts-) R 29187 20224 20223 0 -1 0 48550 0 0 0 41854 150 0 0 25 0 1 0 903753984 82640896 19456 4294967295 134512640 134716908 3221224576 3221222624 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20176 19456 1111 63 0 20113 0
vsize: 80704
[startup+430.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29188
Raw data (stat): 29188 (bsolo_lpr_cuts-) R 29187 20224 20223 0 -1 0 48636 0 0 0 42851 152 0 0 25 0 1 0 903753984 82993152 19542 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20262 19542 1111 63 0 20199 0
vsize: 81048
[startup+440.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29188
Raw data (stat): 29188 (bsolo_lpr_cuts-) R 29187 20224 20223 0 -1 0 48701 0 0 0 43849 155 0 0 25 0 1 0 903753984 83259392 19607 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20327 19607 1111 63 0 20264 0
vsize: 81308
[startup+450.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29188
Raw data (stat): 29188 (bsolo_lpr_cuts-) R 29187 20224 20223 0 -1 0 51193 0 0 0 44844 160 0 0 25 0 1 0 903753984 98877440 21373 4294967295 134512640 134716908 3221224576 3221220848 1074961138 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24140 21373 1111 63 0 24077 0
vsize: 96560
[startup+460.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29188
Raw data (stat): 29188 (bsolo_lpr_cuts-) R 29187 20224 20223 0 -1 0 51258 0 0 0 45844 161 0 0 25 0 1 0 903753984 98877440 21404 4294967295 134512640 134716908 3221224576 3221220796 1075116767 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24140 21404 1111 63 0 24077 0
vsize: 96560
[startup+470.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29188
Raw data (stat): 29188 (bsolo_lpr_cuts-) R 29187 20224 20223 0 -1 0 51306 0 0 0 46844 161 0 0 25 0 1 0 903753984 98877440 21410 4294967295 134512640 134716908 3221224576 3221221556 1075964094 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24140 21410 1111 63 0 24077 0
vsize: 96560
[startup+480.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29188
Raw data (stat): 29188 (bsolo_lpr_cuts-) R 29187 20224 20223 0 -1 0 51341 0 0 0 47844 161 0 0 25 0 1 0 903753984 98877440 21411 4294967295 134512640 134716908 3221224576 3221221696 1074835529 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24140 21411 1111 63 0 24077 0
vsize: 96560
[startup+490.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29188
Raw data (stat): 29188 (bsolo_lpr_cuts-) R 29187 20224 20223 0 -1 0 53319 0 0 0 48839 166 0 0 25 0 1 0 903753984 81924096 19281 4294967295 134512640 134716908 3221224576 3221222828 1077404740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20001 19281 1111 63 0 19938 0
vsize: 80004
[startup+500.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29188
Raw data (stat): 29188 (bsolo_lpr_cuts-) R 29187 20224 20223 0 -1 0 53496 0 0 0 49838 167 0 0 25 0 1 0 903753984 82649088 19458 4294967295 134512640 134716908 3221224576 3221222960 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20178 19458 1111 63 0 20115 0
vsize: 80712
[startup+510.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29188
Raw data (stat): 29188 (bsolo_lpr_cuts-) R 29187 20224 20223 0 -1 0 53581 0 0 0 50835 170 0 0 25 0 1 0 903753984 82997248 19543 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20263 19543 1111 63 0 20200 0
vsize: 81052
[startup+520.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29188
Raw data (stat): 29188 (bsolo_lpr_cuts-) R 29187 20224 20223 0 -1 0 53683 0 0 0 51833 172 0 0 25 0 1 0 903753984 83415040 19645 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20365 19645 1111 63 0 20302 0
vsize: 81460
[startup+530.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29188
Raw data (stat): 29188 (bsolo_lpr_cuts-) R 29187 20224 20223 0 -1 0 53704 0 0 0 52832 174 0 0 25 0 1 0 903753984 83501056 19666 4294967295 134512640 134716908 3221224576 3221222624 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20386 19666 1111 63 0 20323 0
vsize: 81544
[startup+540.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29188
Raw data (stat): 29188 (bsolo_lpr_cuts-) R 29187 20224 20223 0 -1 0 56560 0 0 0 53825 181 0 0 25 0 1 0 903753984 100466688 21699 4294967295 134512640 134716908 3221224576 3221221120 1075088573 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24528 21699 1111 63 0 24465 0
vsize: 98112
[startup+550.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29188
Raw data (stat): 29188 (bsolo_lpr_cuts-) R 29187 20224 20223 0 -1 0 56629 0 0 0 54825 181 0 0 25 0 1 0 903753984 100466688 21742 4294967295 134512640 134716908 3221224576 3221220796 1075116862 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24528 21742 1111 63 0 24465 0
vsize: 98112
[startup+560.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29188
Raw data (stat): 29188 (bsolo_lpr_cuts-) R 29187 20224 20223 0 -1 0 56659 0 0 0 55826 181 0 0 25 0 1 0 903753984 100466688 21746 4294967295 134512640 134716908 3221224576 3221220796 1075116560 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24528 21746 1111 63 0 24465 0
vsize: 98112
[startup+570.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29188
Raw data (stat): 29188 (bsolo_lpr_cuts-) R 29187 20224 20223 0 -1 0 56697 0 0 0 56826 181 0 0 25 0 1 0 903753984 100466688 21760 4294967295 134512640 134716908 3221224576 3221220796 1075116741 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24528 21760 1111 63 0 24465 0
vsize: 98112
[startup+580.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29188
Raw data (stat): 29188 (bsolo_lpr_cuts-) R 29187 20224 20223 0 -1 0 56744 0 0 0 57826 181 0 0 25 0 1 0 903753984 100466688 21783 4294967295 134512640 134716908 3221224576 3221220796 1075116480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24528 21783 1111 63 0 24465 0
vsize: 98112
[startup+590.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29188
Raw data (stat): 29188 (bsolo_lpr_cuts-) R 29187 20224 20223 0 -1 0 56778 0 0 0 58825 182 0 0 25 0 1 0 903753984 100466688 21783 4294967295 134512640 134716908 3221224576 3221220796 1075116586 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24528 21783 1111 63 0 24465 0
vsize: 98112
[startup+600.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29188
Raw data (stat): 29188 (bsolo_lpr_cuts-) R 29187 20224 20223 0 -1 0 56811 0 0 0 59825 182 0 0 25 0 1 0 903753984 100651008 21788 4294967295 134512640 134716908 3221224576 3221221232 1075967892 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24573 21788 1111 63 0 24510 0
vsize: 98292
[startup+610.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29188
Raw data (stat): 29188 (bsolo_lpr_cuts-) R 29187 20224 20223 0 -1 0 56838 0 0 0 60825 182 0 0 25 0 1 0 903753984 100466688 21787 4294967295 134512640 134716908 3221224576 3221220796 1075116872 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24528 21787 1111 63 0 24465 0
vsize: 98112
[startup+620.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29188
Raw data (stat): 29188 (bsolo_lpr_cuts-) R 29187 20224 20223 0 -1 0 56875 0 0 0 61825 182 0 0 25 0 1 0 903753984 101343232 21794 4294967295 134512640 134716908 3221224576 3221221344 1076084175 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24742 21794 1111 63 0 24679 0
vsize: 98968
[startup+630.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29188
Raw data (stat): 29188 (bsolo_lpr_cuts-) R 29187 20224 20223 0 -1 0 56967 0 0 0 62825 183 0 0 25 0 1 0 903753984 101158912 21856 4294967295 134512640 134716908 3221224576 3221221504 1075890974 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24697 21856 1111 63 0 24634 0
vsize: 98788
[startup+640.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29188
Raw data (stat): 29188 (bsolo_lpr_cuts-) R 29187 20224 20223 0 -1 0 59372 0 0 0 63820 188 0 0 25 0 1 0 903753984 82640896 19456 4294967295 134512640 134716908 3221224576 3221222976 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20176 19456 1111 63 0 20113 0
vsize: 80704
[startup+650.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29188
Raw data (stat): 29188 (bsolo_lpr_cuts-) R 29187 20224 20223 0 -1 0 59497 0 0 0 64818 190 0 0 25 0 1 0 903753984 83152896 19581 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20301 19581 1111 63 0 20238 0
vsize: 81204
[startup+660.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29188
Raw data (stat): 29188 (bsolo_lpr_cuts-) R 29187 20224 20223 0 -1 0 59559 0 0 0 65817 191 0 0 25 0 1 0 903753984 83406848 19643 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20363 19643 1111 63 0 20300 0
vsize: 81452
[startup+670.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29188
Raw data (stat): 29188 (bsolo_lpr_cuts-) R 29187 20224 20223 0 -1 0 59582 0 0 0 66816 192 0 0 25 0 1 0 903753984 83501056 19666 4294967295 134512640 134716908 3221224576 3221222976 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20386 19666 1111 63 0 20323 0
vsize: 81544
[startup+680.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29188
Raw data (stat): 29188 (bsolo_lpr_cuts-) R 29187 20224 20223 0 -1 0 62335 0 0 0 67810 198 0 0 25 0 1 0 903753984 99790848 21610 4294967295 134512640 134716908 3221224576 3221221040 1075602675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24363 21610 1111 63 0 24300 0
vsize: 97452
[startup+690.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29188
Raw data (stat): 29188 (bsolo_lpr_cuts-) R 29187 20224 20223 0 -1 0 62374 0 0 0 68810 199 0 0 25 0 1 0 903753984 99610624 21623 4294967295 134512640 134716908 3221224576 3221220720 1074970231 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24319 21623 1111 63 0 24256 0
vsize: 97276
[startup+700.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29188
Raw data (stat): 29188 (bsolo_lpr_cuts-) R 29187 20224 20223 0 -1 0 62400 0 0 0 69810 199 0 0 25 0 1 0 903753984 99610624 21627 4294967295 134512640 134716908 3221224576 3221220796 1075116728 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24319 21627 1111 63 0 24256 0
vsize: 97276
[startup+710.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29188
Raw data (stat): 29188 (bsolo_lpr_cuts-) R 29187 20224 20223 0 -1 0 62429 0 0 0 70810 199 0 0 25 0 1 0 903753984 99610624 21634 4294967295 134512640 134716908 3221224576 3221220848 1074960865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24319 21634 1111 63 0 24256 0
vsize: 97276
[startup+720.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29188
Raw data (stat): 29188 (bsolo_lpr_cuts-) R 29187 20224 20223 0 -1 0 62457 0 0 0 71810 199 0 0 25 0 1 0 903753984 99610624 21640 4294967295 134512640 134716908 3221224576 3221220736 1074794536 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24319 21640 1111 63 0 24256 0
vsize: 97276
[startup+730.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29188
Raw data (stat): 29188 (bsolo_lpr_cuts-) R 29187 20224 20223 0 -1 0 62504 0 0 0 72810 199 0 0 25 0 1 0 903753984 99610624 21661 4294967295 134512640 134716908 3221224576 3221220796 1075116862 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24319 21661 1111 63 0 24256 0
vsize: 97276
[startup+740.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29188
Raw data (stat): 29188 (bsolo_lpr_cuts-) R 29187 20224 20223 0 -1 0 62537 0 0 0 73810 200 0 0 25 0 1 0 903753984 99610624 21666 4294967295 134512640 134716908 3221224576 3221220796 1075116549 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24319 21666 1111 63 0 24256 0
vsize: 97276
[startup+750.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29188
Raw data (stat): 29188 (bsolo_lpr_cuts-) R 29187 20224 20223 0 -1 0 62570 0 0 0 74810 200 0 0 25 0 1 0 903753984 99610624 21669 4294967295 134512640 134716908 3221224576 3221221408 1075115781 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24319 21669 1111 63 0 24256 0
vsize: 97276
[startup+760.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29188
Raw data (stat): 29188 (bsolo_lpr_cuts-) R 29187 20224 20223 0 -1 0 62598 0 0 0 75810 200 0 0 25 0 1 0 903753984 99610624 21669 4294967295 134512640 134716908 3221224576 3221220572 1074860959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24319 21669 1111 63 0 24256 0
vsize: 97276
[startup+770.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29188
Raw data (stat): 29188 (bsolo_lpr_cuts-) R 29187 20224 20223 0 -1 0 62626 0 0 0 76810 201 0 0 25 0 1 0 903753984 99790848 21671 4294967295 134512640 134716908 3221224576 3221221640 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24363 21671 1111 63 0 24300 0
vsize: 97452
[startup+780.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29188
Raw data (stat): 29188 (bsolo_lpr_cuts-) R 29187 20224 20223 0 -1 0 62709 0 0 0 77810 201 0 0 25 0 1 0 903753984 100364288 21724 4294967295 134512640 134716908 3221224576 3221221576 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24503 21724 1111 63 0 24440 0
vsize: 98012
[startup+790.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29188
Raw data (stat): 29188 (bsolo_lpr_cuts-) R 29187 20224 20223 0 -1 0 64346 0 0 0 78807 204 0 0 25 0 1 0 903753984 98189312 20564 4294967295 134512640 134716908 3221224576 3221221168 1074887946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23972 20564 1111 63 0 23909 0
vsize: 95888
[startup+800.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29188
Raw data (stat): 29188 (bsolo_lpr_cuts-) R 29187 20224 20223 0 -1 0 65045 0 0 0 79805 206 0 0 25 0 1 0 903753984 82415616 19401 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20121 19401 1111 63 0 20058 0
vsize: 80484
[startup+810.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29188
Raw data (stat): 29188 (bsolo_lpr_cuts-) R 29187 20224 20223 0 -1 0 65231 0 0 0 80804 207 0 0 25 0 1 0 903753984 83177472 19587 4294967295 134512640 134716908 3221224576 3221222960 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20307 19587 1111 63 0 20244 0
vsize: 81228
[startup+820.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29188
Raw data (stat): 29188 (bsolo_lpr_cuts-) R 29187 20224 20223 0 -1 0 65292 0 0 0 81802 210 0 0 25 0 1 0 903753984 83427328 19648 4294967295 134512640 134716908 3221224576 3221222976 1074153773 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20368 19648 1111 63 0 20305 0
vsize: 81472
[startup+830.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29188
Raw data (stat): 29188 (bsolo_lpr_cuts-) R 29187 20224 20223 0 -1 0 65307 0 0 0 82801 211 0 0 25 0 1 0 903753984 83488768 19663 4294967295 134512640 134716908 3221224576 3221222912 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20383 19663 1111 63 0 20320 0
vsize: 81532
[startup+840.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29188
Raw data (stat): 29188 (bsolo_lpr_cuts-) R 29187 20224 20223 0 -1 0 68073 0 0 0 83795 217 0 0 25 0 1 0 903753984 99758080 21614 4294967295 134512640 134716908 3221224576 3221221108 1075863647 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24355 21614 1111 63 0 24292 0
vsize: 97420
[startup+850.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29188
Raw data (stat): 29188 (bsolo_lpr_cuts-) R 29187 20224 20223 0 -1 0 68117 0 0 0 84795 218 0 0 25 0 1 0 903753984 99581952 21628 4294967295 134512640 134716908 3221224576 3221220796 1075116767 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24312 21628 1111 63 0 24249 0
vsize: 97248
[startup+860.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29188
Raw data (stat): 29188 (bsolo_lpr_cuts-) R 29187 20224 20223 0 -1 0 68149 0 0 0 85795 218 0 0 25 0 1 0 903753984 99758080 21640 4294967295 134512640 134716908 3221224576 3221221232 1075967425 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24355 21640 1111 63 0 24292 0
vsize: 97420
[startup+870.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29188
Raw data (stat): 29188 (bsolo_lpr_cuts-) R 29187 20224 20223 0 -1 0 68188 0 0 0 86795 218 0 0 25 0 1 0 903753984 99581952 21653 4294967295 134512640 134716908 3221224576 3221220848 1074960909 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24312 21653 1111 63 0 24249 0
vsize: 97248
[startup+880.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29188
Raw data (stat): 29188 (bsolo_lpr_cuts-) R 29187 20224 20223 0 -1 0 68238 0 0 0 87795 218 0 0 25 0 1 0 903753984 99581952 21677 4294967295 134512640 134716908 3221224576 3221220796 1075116498 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24312 21677 1111 63 0 24249 0
vsize: 97248
[startup+890.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29188
Raw data (stat): 29188 (bsolo_lpr_cuts-) R 29187 20224 20223 0 -1 0 68279 0 0 0 88795 218 0 0 25 0 1 0 903753984 99758080 21684 4294967295 134512640 134716908 3221224576 3221221232 1075967689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24355 21684 1111 63 0 24292 0
vsize: 97420
[startup+900.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29188
Raw data (stat): 29188 (bsolo_lpr_cuts-) R 29187 20224 20223 0 -1 0 68307 0 0 0 89795 218 0 0 25 0 1 0 903753984 99581952 21682 4294967295 134512640 134716908 3221224576 3221220796 1075116866 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24312 21682 1111 63 0 24249 0
vsize: 97248
[startup+910.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29188
Raw data (stat): 29188 (bsolo_lpr_cuts-) R 29187 20224 20223 0 -1 0 68333 0 0 0 90795 218 0 0 25 0 1 0 903753984 99581952 21682 4294967295 134512640 134716908 3221224576 3221220912 1075113493 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24312 21682 1111 63 0 24249 0
vsize: 97248
[startup+920.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29188
Raw data (stat): 29188 (bsolo_lpr_cuts-) R 29187 20224 20223 0 -1 0 68363 0 0 0 91795 219 0 0 25 0 1 0 903753984 99581952 21682 4294967295 134512640 134716908 3221224576 3221220720 1074970218 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24312 21682 1111 63 0 24249 0
vsize: 97248
[startup+930.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29188
Raw data (stat): 29188 (bsolo_lpr_cuts-) R 29187 20224 20223 0 -1 0 68447 0 0 0 92795 219 0 0 25 0 1 0 903753984 100151296 21736 4294967295 134512640 134716908 3221224576 3221220796 1075116564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24451 21736 1111 63 0 24388 0
vsize: 97804
[startup+940.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29188
Raw data (stat): 29188 (bsolo_lpr_cuts-) R 29187 20224 20223 0 -1 0 70605 0 0 0 93791 223 0 0 25 0 1 0 903753984 82137088 19333 4294967295 134512640 134716908 3221224576 3221222976 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20053 19333 1111 63 0 19990 0
vsize: 80212
[startup+950.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29188
Raw data (stat): 29188 (bsolo_lpr_cuts-) R 29187 20224 20223 0 -1 0 70707 0 0 0 94791 224 0 0 25 0 1 0 903753984 82554880 19435 4294967295 134512640 134716908 3221224576 3221223216 134652452 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20155 19435 1111 63 0 20092 0
vsize: 80620
[startup+960.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29188
Raw data (stat): 29188 (bsolo_lpr_cuts-) R 29187 20224 20223 0 -1 0 70904 0 0 0 95790 224 0 0 25 0 1 0 903753984 83361792 19632 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20352 19632 1111 63 0 20289 0
vsize: 81408
[startup+970.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29188
Raw data (stat): 29188 (bsolo_lpr_cuts-) R 29187 20224 20223 0 -1 0 70973 0 0 0 96789 226 0 0 25 0 1 0 903753984 83644416 19701 4294967295 134512640 134716908 3221224576 3221222976 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20421 19701 1111 63 0 20358 0
vsize: 81684
[startup+980.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29188
Raw data (stat): 29188 (bsolo_lpr_cuts-) R 29187 20224 20223 0 -1 0 71586 0 0 0 97787 228 0 0 25 0 1 0 903753984 87252992 20289 4294967295 134512640 134716908 3221224576 3221222688 1074867340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21302 20289 1111 63 0 21239 0
vsize: 85208
[startup+990.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29188
Raw data (stat): 29188 (bsolo_lpr_cuts-) R 29187 20224 20223 0 -1 0 73733 0 0 0 98782 233 0 0 25 0 1 0 903753984 99721216 21646 4294967295 134512640 134716908 3221224576 3221220796 1075116471 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24346 21646 1111 63 0 24283 0
vsize: 97384
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29188
Raw data (stat): 29188 (bsolo_lpr_cuts-) R 29187 20224 20223 0 -1 0 73757 0 0 0 99782 233 0 0 25 0 1 0 903753984 99721216 21652 4294967295 134512640 134716908 3221224576 3221220796 1075116498 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24346 21652 1111 63 0 24283 0
vsize: 97384
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29188
Raw data (stat): 29188 (bsolo_lpr_cuts-) R 29187 20224 20223 0 -1 0 73777 0 0 0 100782 233 0 0 25 0 1 0 903753984 99721216 21656 4294967295 134512640 134716908 3221224576 3221220796 1075116489 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24346 21656 1111 63 0 24283 0
vsize: 97384
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29188
Raw data (stat): 29188 (bsolo_lpr_cuts-) R 29187 20224 20223 0 -1 0 73794 0 0 0 101782 233 0 0 25 0 1 0 903753984 99721216 21659 4294967295 134512640 134716908 3221224576 3221220796 1075116489 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24346 21659 1111 63 0 24283 0
vsize: 97384
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29188
Raw data (stat): 29188 (bsolo_lpr_cuts-) R 29187 20224 20223 0 -1 0 73818 0 0 0 102782 234 0 0 25 0 1 0 903753984 99721216 21667 4294967295 134512640 134716908 3221224576 3221220796 1075116464 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24346 21667 1111 63 0 24283 0
vsize: 97384
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29188
Raw data (stat): 29188 (bsolo_lpr_cuts-) R 29187 20224 20223 0 -1 0 73834 0 0 0 103783 234 0 0 25 0 1 0 903753984 99721216 21669 4294967295 134512640 134716908 3221224576 3221220796 1075116731 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24346 21669 1111 63 0 24283 0
vsize: 97384
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29188
Raw data (stat): 29188 (bsolo_lpr_cuts-) R 29187 20224 20223 0 -1 0 73862 0 0 0 104783 234 0 0 25 0 1 0 903753984 99721216 21681 4294967295 134512640 134716908 3221224576 3221220848 1074960909 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24346 21681 1111 63 0 24283 0
vsize: 97384
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29188
Raw data (stat): 29188 (bsolo_lpr_cuts-) R 29187 20224 20223 0 -1 0 73896 0 0 0 105783 234 0 0 25 0 1 0 903753984 99721216 21689 4294967295 134512640 134716908 3221224576 3221220848 1074960958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24346 21689 1111 63 0 24283 0
vsize: 97384
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29188
Raw data (stat): 29188 (bsolo_lpr_cuts-) R 29187 20224 20223 0 -1 0 73934 0 0 0 106783 234 0 0 25 0 1 0 903753984 99721216 21693 4294967295 134512640 134716908 3221224576 3221220796 1075116866 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24346 21693 1111 63 0 24283 0
vsize: 97384
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29188
Raw data (stat): 29188 (bsolo_lpr_cuts-) R 29187 20224 20223 0 -1 0 73960 0 0 0 107783 234 0 0 25 0 1 0 903753984 99721216 21693 4294967295 134512640 134716908 3221224576 3221220796 1075116862 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24346 21693 1111 63 0 24283 0
vsize: 97384
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29188
Raw data (stat): 29188 (bsolo_lpr_cuts-) R 29187 20224 20223 0 -1 0 73997 0 0 0 108783 235 0 0 25 0 1 0 903753984 99721216 21696 4294967295 134512640 134716908 3221224576 3221220796 1075116722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24346 21696 1111 63 0 24283 0
vsize: 97384
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29188
Raw data (stat): 29188 (bsolo_lpr_cuts-) R 29187 20224 20223 0 -1 0 74026 0 0 0 109782 235 0 0 25 0 1 0 903753984 99721216 21697 4294967295 134512640 134716908 3221224576 3221220848 1074960879 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24346 21697 1111 63 0 24283 0
vsize: 97384
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29188
Raw data (stat): 29188 (bsolo_lpr_cuts-) R 29187 20224 20223 0 -1 0 74054 0 0 0 110782 235 0 0 25 0 1 0 903753984 99721216 21697 4294967295 134512640 134716908 3221224576 3221221136 1076046553 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24346 21697 1111 63 0 24283 0
vsize: 97384
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29188
Raw data (stat): 29188 (bsolo_lpr_cuts-) R 29187 20224 20223 0 -1 0 74136 0 0 0 111783 235 0 0 25 0 1 0 903753984 100294656 21749 4294967295 134512640 134716908 3221224576 3221220796 1075116731 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24486 21749 1111 63 0 24423 0
vsize: 97944
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29188
Raw data (stat): 29188 (bsolo_lpr_cuts-) R 29187 20224 20223 0 -1 0 76317 0 0 0 112778 240 0 0 25 0 1 0 903753984 82210816 19351 4294967295 134512640 134716908 3221224576 3221222960 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20071 19351 1111 63 0 20008 0
vsize: 80284
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29188
Raw data (stat): 29188 (bsolo_lpr_cuts-) R 29187 20224 20223 0 -1 0 76431 0 0 0 113777 241 0 0 25 0 1 0 903753984 82677760 19465 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20185 19465 1111 63 0 20122 0
vsize: 80740
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29188
Raw data (stat): 29188 (bsolo_lpr_cuts-) R 29187 20224 20223 0 -1 0 76601 0 0 0 114777 242 0 0 25 0 1 0 903753984 83374080 19635 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20355 19635 1111 63 0 20292 0
vsize: 81420
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29188
Raw data (stat): 29188 (bsolo_lpr_cuts-) R 29187 20224 20223 0 -1 0 76668 0 0 0 115775 243 0 0 25 0 1 0 903753984 83648512 19702 4294967295 134512640 134716908 3221224576 3221222912 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20422 19702 1111 63 0 20359 0
vsize: 81688
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29188
Raw data (stat): 29188 (bsolo_lpr_cuts-) R 29187 20224 20223 0 -1 0 79216 0 0 0 116770 249 0 0 25 0 1 0 903753984 99340288 21477 4294967295 134512640 134716908 3221224576 3221220796 1075116767 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24253 21477 1111 63 0 24190 0
vsize: 97012
[startup+1180.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29188
Raw data (stat): 29188 (bsolo_lpr_cuts-) R 29187 20224 20223 0 -1 0 79360 0 0 0 117769 250 0 0 25 0 1 0 903753984 99557376 21597 4294967295 134512640 134716908 3221224576 3221220796 1075116767 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24306 21597 1111 63 0 24243 0
vsize: 97224
[startup+1190.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29188
Raw data (stat): 29188 (bsolo_lpr_cuts-) R 29187 20224 20223 0 -1 0 79396 0 0 0 118770 250 0 0 25 0 1 0 903753984 99557376 21615 4294967295 134512640 134716908 3221224576 3221220848 1074960874 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24306 21615 1111 63 0 24243 0
vsize: 97224
[startup+1200.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29188
Raw data (stat): 29188 (bsolo_lpr_cuts-) R 29187 20224 20223 0 -1 0 79431 0 0 0 119770 250 0 0 25 0 1 0 903753984 99729408 21632 4294967295 134512640 134716908 3221224576 3221221648 1074867320 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24348 21632 1111 63 0 24285 0
vsize: 97392
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.09 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 29188
Raw data (stat): 29188 (bsolo_lpr_cuts-) Z 29187 20224 20223 0 -1 1036 79431 0 0 0 119770 254 0 0 25 0 1 0 903753984 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.09
CPU time (s): 1200.24
CPU user time (s): 1197.7
CPU system time (s): 2.54161
CPU usage (%): 100.013
Max. virtual memory (Kb): 99044
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####